Fungsi indikator - Riwayat revisi

Maintenance script: Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi

2026-08-24T23:08:42Z

Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi

← Revisi sebelumnya		Revisi per 24 Agustus 2026 23.08
Baris 1:		Baris 1:
			[[File:Indicator_function_illustration.png\|thumb\|right\|280px\|Indicator function illustration]]

	Dalam [[matematika]], sebuah '''fungsi indikator''' atau sebuah '''fungsi karakteristik''' adalah sebuah [[Fungsi (matematika)\|fungsi]] didefinisikan pada sebuah [[Himpunan (matematika)\|himpunan]] <math>X</math> yang mengindikasikan keanggotaan [[Elemen (matematika)\|unsur]] dalam sebuah [[himpunan bagian]] <math>A</math> dari <math>X</math>, memiliki nilai 1 untuk semua unsur <math>X</math> di <math>A</math> dan nilai 0 untuk semua unsur <math>X</math> bukan di <math>A</math>. Ini biasanya dilambangkan oleh sebuah simbol 1 atau <math>I</math>, terkadang dalam huruf tebal atau [[huruf tebal papan tulis]], dengan sebuah subskrip menentukan himpunan bagian.		Dalam [[matematika]], sebuah '''fungsi indikator''' atau sebuah '''fungsi karakteristik''' adalah sebuah [[Fungsi (matematika)\|fungsi]] didefinisikan pada sebuah [[Himpunan (matematika)\|himpunan]] <math>X</math> yang mengindikasikan keanggotaan [[Elemen (matematika)\|unsur]] dalam sebuah [[himpunan bagian]] <math>A</math> dari <math>X</math>, memiliki nilai 1 untuk semua unsur <math>X</math> di <math>A</math> dan nilai 0 untuk semua unsur <math>X</math> bukan di <math>A</math>. Ini biasanya dilambangkan oleh sebuah simbol 1 atau <math>I</math>, terkadang dalam huruf tebal atau [[huruf tebal papan tulis]], dengan sebuah subskrip menentukan himpunan bagian.

Baris 42:		Baris 44:
	:<math>\mathbf{1}_{A\cap B} = \min\{\mathbf{1}_A,\mathbf{1}_B\} = \mathbf{1}_A \cdot\mathbf{1}_B</math>,		:<math>\mathbf{1}_{A\cap B} = \min\{\mathbf{1}_A,\mathbf{1}_B\} = \mathbf{1}_A \cdot\mathbf{1}_B</math>,

	:<math>\mathbf{1}_{A\cup B} = \max\ (-1)^ \mathbf{1}_{\bigcap_F A_k} = \sum_{\emptyset \neq F \subseteq \{1, 2, \dotsc, n\}} (-1)^{\|F\|+1} \mathbf{1}_{\bigcap_F A_k}</math>		:<math>\mathbf{1}_{A\cup B} = \max\ (-1)^{\|F\|} \mathbf{1}_{\bigcap_F A_k} = \sum_{\emptyset \neq F \subseteq \{1, 2, \dotsc, n\}} (-1)^{\|F\|+1} \mathbf{1}_{\bigcap_F A_k}</math>

	di mana <math>\left\|F\right\|</math> adalah kekardinalan <math>F</math>. Ini adalah salah satu bentuk dari prunsip [[inklusi-eksklusi]].		di mana <math>\left\|F\right\|</math> adalah kekardinalan <math>F</math>. Ini adalah salah satu bentuk dari prunsip [[inklusi-eksklusi]].
Baris 72:		Baris 74:
	[[Kurt Gödel]] menjelaskan ''fungsi wakilan'' dalam makalahnya tahun 1934 berjudul "On undecidable propositions of formal mathematical systems":		[[Kurt Gödel]] menjelaskan ''fungsi wakilan'' dalam makalahnya tahun 1934 berjudul "On undecidable propositions of formal mathematical systems":

	:"Mereka seharusnya berpadanan untuk setiap kelas atau relasi <math>R</math>, sebuah fungsi wakilan <math>\varphi(x_1,\dots,x_n) = 0</math> jika <math>R(x_1,\dots,x_n)</math> dan <math>\varphi(x_1,\dots,x_n) = 1</math> jika <math>\neg R(x_1,\dots,x_n)</math>." ("<math>\neg</math>" mengindikasikan balikan logis, yaitu "BUKAN")		:"Mereka seharusnya berpadanan untuk setiap kelas atau relasi <math>R</math>, sebuah fungsi wakilan <math>\varphi(x_1,\dots,x_n) = 0</math> jika <math>R(x_1,\dots,x_n)</math> dan <math>\varphi(x_1,\dots,x_n) = 1</math> jika <math>\neg R(x_1,\dots,x_n)</math>."<ref>[https://archive.org/details/undecidablebasic0000mart The Undecidable]. Raven Press Books. 1965. hlm. [https://archive.org/details/undecidablebasic0000mart/page/n50 41]–74.</ref> ("<math>\neg</math>" mengindikasikan balikan logis, yaitu "BUKAN")

	[[Stephen Kleene\|Kleene]] (1952) menawarkan definisi yang sama dalam konteks dari [[fungsi rekursif primitif]] sebagai sebuah fungsi <math>\varphi</math> predikat <math>\operatorname{P}</math> mengambil nilai 0 jika predikatnya benar dan 1 jika predikatnya palsu.		[[Stephen Kleene\|Kleene]] (1952)<ref>Stephen Kleene. ''Introduction to Metamathematics''. Wolters-Noordhoff Publishing and North Holland Publishing Company. 1971. hlm. 227.</ref> menawarkan definisi yang sama dalam konteks dari [[fungsi rekursif primitif]] sebagai sebuah fungsi <math>\varphi</math> predikat <math>\operatorname{P}</math> mengambil nilai 0 jika predikatnya benar dan 1 jika predikatnya palsu.

	Contohnya, karena darab fungsi karakteristik <math>\varphi_1 \varphi_2 \dots \varphi_n = 0</math> setiap kali salah satu dari fungsi sama dengan 0, ini memainkan peran logis OR: JIKA <math>\varphi_1 = 0 \operatorname{ OR } \varphi_2 = 0 \operatorname{ OR } \cdots \operatorname{ OR } \varphi_n = 0</math> MAKA darabnya adalah 0. Apa yang muncul ke pembaca modern mewakili fungsi balikan logis, yaitu, mewakili fungsi adalah 0 ketika fungsi <math>R</math> adalah "benar" atau terpenuhi", memainkan sebuah peran yang berguna dalam definisi Kleene dari fungsi logis [[operator mu]] <math>\operatorname{OR}</math>, <math>\operatorname{AND}</math>, dan <math>\operatorname{IMPLY}</math> (hlm. 228), -terbatas (hlm. 228) dan takterbatas (hlm. 279 ff) (Kleene (1952)) dan fungsi KASUS (hlm. 229).		Contohnya, karena darab fungsi karakteristik <math>\varphi_1 \varphi_2 \dots \varphi_n = 0</math> setiap kali salah satu dari fungsi sama dengan 0, ini memainkan peran logis OR: JIKA <math>\varphi_1 = 0 \operatorname{ OR } \varphi_2 = 0 \operatorname{ OR } \cdots \operatorname{ OR } \varphi_n = 0</math> MAKA darabnya adalah 0. Apa yang muncul ke pembaca modern mewakili fungsi balikan logis, yaitu, mewakili fungsi adalah 0 ketika fungsi <math>R</math> adalah "benar" atau terpenuhi", memainkan sebuah peran yang berguna dalam definisi Kleene dari fungsi logis [[operator mu]] <math>\operatorname{OR}</math>, <math>\operatorname{AND}</math>, dan <math>\operatorname{IMPLY}</math> (hlm. 228), -terbatas (hlm. 228) dan takterbatas (hlm. 279 ff) (Kleene (1952)) dan fungsi KASUS (hlm. 229).
Baris 101:		Baris 103:

	== Lihat pula ==		== Lihat pula ==

	* [[Ukuran Dirac]]		* [[Ukuran Dirac]]
	* [[Laplace dari indikator]]		* [[Laplace dari indikator]]
Baris 119:		Baris 120:

	== Catatan ==		== Catatan ==


	~~== Referensi ==~~


	== Sumber ==		== Sumber ==
			*
	*		*
	*		*
	*		*
	*		*
	*		*
	*
	*		*

			== Referensi ==
			<references />

			== Sumber dan atribusi ==

	== ~~Sumber~~ dan ~~atribusi ==~~		Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Fungsi+indikator&oldid=29299259 Wikipedia bahasa Indonesia], revisi 29299259 (2026-05-31T21:03:53Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Gambar pada artikel ini bersumber dari Wikimedia Commons dan mengikuti ketentuan lisensi masing-masing berkas. Mohon gunakan konten dan media secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.

	~~Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Fungsi+indikator&oldid=29299259 Wikipedia bahasa Indonesia], revisi 29299259 (2026~~-05-~~31T21:03:53Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi~~-~~BerbagiSerupa (CC BY~~-~~SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.~~		<!-- WIKI_UNISSULA_PRESENTATION_V4 -->

Maintenance script: Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 29299259; atribusi sumber disertakan.

2026-08-24T22:44:14Z

Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 29299259; atribusi sumber disertakan.

Halaman baru

Dalam [[matematika]], sebuah '''fungsi indikator''' atau sebuah '''fungsi karakteristik''' adalah sebuah [[Fungsi (matematika)|fungsi]] didefinisikan pada sebuah [[Himpunan (matematika)|himpunan]] <math>X</math> yang mengindikasikan keanggotaan [[Elemen (matematika)|unsur]] dalam sebuah [[himpunan bagian]] <math>A</math> dari <math>X</math>, memiliki nilai 1 untuk semua unsur <math>X</math> di <math>A</math> dan nilai 0 untuk semua unsur <math>X</math> bukan di <math>A</math>. Ini biasanya dilambangkan oleh sebuah simbol 1 atau <math>I</math>, terkadang dalam huruf tebal atau [[huruf tebal papan tulis]], dengan sebuah subskrip menentukan himpunan bagian.

Dalam konteks lainnya, seperti [[ilmu komputer]], ini akan lebih sering digambarkan sebagai '''fungsi [[Predikat (logika matematis)|predikat]] boole''' (untuk menguji inklusi himpunan).

[[Fungsi Dirichlet]] adalah sebuah contoh fungsi indikator dan merupakan indikator dari [[Bilangan rasional|rasional]].

== Definisi ==
Fungsi indikator himpunan bagian <math>A</math> dari sebuah himpunan <math>X</math> adalah sebuah fungsi

:<math>\mathbf{1}_A \colon X \to \{ 0, 1 \} </math>

didefinisikan sebagai

:<math>\mathbf{1}_A(x) :=
\begin{cases}
1 ~&\text{ if }~ x \in A~, \\
0 ~&\text{ if }~ x \notin A~.
\end{cases}</math>

[[Tanda kurung Iverson]] menyediakan notasi setara, <math>[x \in A]</math> atau untuk digunakan sebagai ganti dari <math>\mathbf{1}_A (x)</math>.

Fungsi <math>\mathbf{1}_A</math> terkadang dilambangkan <math>I_A</math>, <math>\chi_A</math>, <math>K_A</math> atau bahkan hanya <math>A</math>.

== Notasi dan terminologi ==
Notasi <math>\chi_A</math> juga digunakan untuk melambangkan [[Fungsi karakteristik (analisis cembung)|fungsi karakteristik]] dalam [[analisis cembung]], yang didefinisikan seakan-akan menggunakan [[Invers perkalian|timbal balik]] dari definisi standar dari fungsi indikator.

Sebuah konsep yang berkaitan dalam [[statistik]] adalah bahwa [[Peubah rekaan (statistika)|peubah rekaan]]. (Ini tidak boleh bingung dengan "peubah rekaan" karena istilah tersebut biasanya digunakan dalam matematika, disebut juga sebuah [[Peubah bebas dan peubah batas|peubah batas]].)

Istilah "[[Fungsi karakteristik (teori probabilitas)|fungsi karakteristik]]" memiliki sebuah arti yang tidak berkaitan dalam [[Teori probabilitas|teori probabilitas klasik]]. Untuk alasan ini, [[Daftar probabilitas|probabilitas tradisional]] menggunakan istilah '''fungsi indikator''' untuk fungsi didefinisikan di sini hampir secara eksklusif, sementara para matematikawan dalam bidang lainnya lebih suka menggunakan istilah ''fungsi karakteristik'' untuk menggambarkan fungsi yang mengindikasikan keanggotaan dalam sebuah himpunan.

Dalam [[logika kabur]] dan [[Logika bernilai banyak|logika bernilai banyak modern]], predikatnya adalah [[Fungsi karakteristik (teori probabilitas)|fungsi karakteristik]] [[sebaran probabilitas]]. Yaitu, penilaian benar/salah yang teliti dari predikat digantikan oleh sebuah kuantitas diinterpretasi sebagai derajat kebenaran.

== Sifat-sifat dasar ==
[[Fungsi (matematika)|Fungsi]] ''indikator'' atau ''karakteristik'' dari sebuah himpunan bagian <math>A</math> dari beberapa himpunan <math>X</math> [[Peta (matematika)|memetakan]] unsur <math>X</math> ke [[Kisaran fungsi|kisaran]] <math>\{0,1\}</math>.

Pemetaan ini [[surjektif]] hanya ketika <math>A</math> adalah sebuah [[Himpunan bagian|himpunan bagian wajar]] takkosong dari <math>X</math>. Jika <math>A \equiv X</math>, maka <math>\mathbf{1}_A = 1</math>. Dengan sebuah argumen yang serupa, jika <math>A \equiv \varnothing</math> maka <math>\mathbf{1}_A = 0</math>.

Dalam berikut ini, titik mewakili perkalian, <math>1 \cdot 1 = 1</math>, <math>1 \cdot 0 = 0</math>, dst. "<math>+</math>" dan "<math>-</math>" mewakili penambahan dan pengurangan. "<math>\cap</math>" dan "<math>\cup</math>" adalah irisan dan gabungan, masing-masing.

Jika <math>A</math> dan <math>B</math> adalah dua himpunan bagian <math>X</math>, maka

:<math>\mathbf{1}_{A\cap B} = \min\{\mathbf{1}_A,\mathbf{1}_B\} = \mathbf{1}_A \cdot\mathbf{1}_B</math>,

:<math>\mathbf{1}_{A\cup B} = \max\ (-1)^ \mathbf{1}_{\bigcap_F A_k} = \sum_{\emptyset \neq F \subseteq \{1, 2, \dotsc, n\}} (-1)^{|F|+1} \mathbf{1}_{\bigcap_F A_k}</math>

di mana <math>\left|F\right|</math> adalah kekardinalan <math>F</math>. Ini adalah salah satu bentuk dari prunsip [[inklusi-eksklusi]].

Seperti yang disarankan oleh contoh sebelumnya, fungsi indikator adalah sebuah alat notasional yang berguna dalam [[kombinatorika]]. Notasinya digunakan dalam tempat lainnya juga, misalnya dalam [[teori probabilitas]]. Jika <math>X</math> adalah [[ruang probabilitas]] dengan ukuran probabilitas <math>\operatorname{P}</math> dan <math>A</math> adalah sebuah [[Ukuran (matematika)|himpunan terukurkan,]] maka <math>\mathbf{1}_A</math> menjadi sebuah [[peubah acak]] yang [[nilai harapan]]<nowiki/>nya sama dengan probabilitas dari <math>A</math>:

:<math>\operatorname{E}(\mathbf{1}_A)= \int_{X} \mathbf{1}_A(x)\,d\operatorname{P} = \int_{A} d\operatorname{P} = \operatorname{P}(A)</math>

Identitas ini digunakan dalam sebuah bukti sederhana [[pertidaksamaan Markov]].

Dalam banyak kasus, seperti [[teori tatanan]], invers dari fungsi indikator dapat didefinisikan. Ini biasanya disebut [[fungsi Möbius rampat]], sebagai sebuah perampatan dari balikan fungsi indikator dalam [[teori bilangan]] elementer, [[fungsi Möbius]]. (Lihat paragraf di bawah mengenai penggunaan balikan dalam teori rekursi klasik.)

== Purata, ragam, dan peragam ==
Diberikan sebuah [[ruang probabilitas]] <math>(\Omega, \mathcal F, \operatorname{P})</math> dengan <math>A \in \mathcal F</math>, peubah acak indikator <math>\mathbf{1}_A \colon \Omega \rightarrow \mathbb{R}</math> didefinisikan oleh <math>\mathbf{1}_A(\omega) = 1</math> jika <math>\omega \in A</math>, jika tidak <math>\mathbf{1}_A (\omega) = 0</math>.

'''[[Purata]]'''

:<math>\operatorname{E}(\mathbf{1}_A (\omega)) = \operatorname{P}(A)</math>

'''[[Varians|Ragam]]'''

:<math>\operatorname{Var}(\mathbf{1}_A (\omega)) = \operatorname{P}(A)(1 - \operatorname{P}(A))</math>

'''[[Peragam]]'''

:<math>\operatorname{Cov}(\mathbf{1}_A (\omega), \mathbf{1}_B (\omega)) = \operatorname{P}(A \cap B) - \operatorname{P}(A)\operatorname{P}(B)</math>

== Fungsi karakteristik dalam teori rekursi, fungsi wakilan Gödel's dan Kleene ==
[[Kurt Gödel]] menjelaskan ''fungsi wakilan'' dalam makalahnya tahun 1934 berjudul "On undecidable propositions of formal mathematical systems":

:"Mereka seharusnya berpadanan untuk setiap kelas atau relasi <math>R</math>, sebuah fungsi wakilan <math>\varphi(x_1,\dots,x_n) = 0</math> jika <math>R(x_1,\dots,x_n)</math> dan <math>\varphi(x_1,\dots,x_n) = 1</math> jika <math>\neg R(x_1,\dots,x_n)</math>." ("<math>\neg</math>" mengindikasikan balikan logis, yaitu "BUKAN")

[[Stephen Kleene|Kleene]] (1952) menawarkan definisi yang sama dalam konteks dari [[fungsi rekursif primitif]] sebagai sebuah fungsi <math>\varphi</math> predikat <math>\operatorname{P}</math> mengambil nilai 0 jika predikatnya benar dan 1 jika predikatnya palsu.

Contohnya, karena darab fungsi karakteristik <math>\varphi_1 \varphi_2 \dots \varphi_n = 0</math> setiap kali salah satu dari fungsi sama dengan 0, ini memainkan peran logis OR: JIKA <math>\varphi_1 = 0 \operatorname{ OR } \varphi_2 = 0 \operatorname{ OR } \cdots \operatorname{ OR } \varphi_n = 0</math> MAKA darabnya adalah 0. Apa yang muncul ke pembaca modern mewakili fungsi balikan logis, yaitu, mewakili fungsi adalah 0 ketika fungsi <math>R</math> adalah "benar" atau terpenuhi", memainkan sebuah peran yang berguna dalam definisi Kleene dari fungsi logis [[operator mu]] <math>\operatorname{OR}</math>, <math>\operatorname{AND}</math>, dan <math>\operatorname{IMPLY}</math> (hlm. 228), -terbatas (hlm. 228) dan takterbatas (hlm. 279 ff) (Kleene (1952)) dan fungsi KASUS (hlm. 229).

== Fungsi karakteristik dalam teori himpunan kabur ==
Dalam matematika klasik, fungsi karakteristik mengenai himpunan hanya mengambil nilai 1 (anggota) atau 0 (bukan anggota). Dalam ''[[Himpunan kabur|teori himpunan kabur]]'', fungsi karakteristik rampat dengan mengambil nilai dalam selang satuan real <math>[0,1]</math>, atau lebih umumnya, dalam beberapa [[Aljabar semesta|aljabar]] atau [[Struktur aljabar|struktur]] (biasanya dibutuhkan setidaknya sebuah [[himpunan terurut parsial]] atau [[Kekisi (tatanan)|kekisi]]). Seperti fungsi karakteristik rampat lebih biasanya disebut [[fungsi keanggotaan]], dan "himpunan" padanan disebut himpunan ''kabur''. Himpunan kabur memodelkan perubahan bertahap dalam [[Derajat kebenaran|derajat]] keanggotaan dilihat dalam banyak [[Predikat (matematika)|predikat]] dunia nyata seperti "tinggi", "hangat", dst.

== Turunan dari fungsi indikator ==
Sebuah fungsi indikator khusus adalah [[fungsi langkah Heaviside]]. Fungsi tangga Heaviside <math>H(x)</math> adalah fungsi indikator dari garis setengah positif berdimensi satu, yaitu, ranah <math>[0,\infty)</math>. [[Turunan sebaran]] dari fungsi tangga Heaviside adalah sama dengan [[fungsi delta Dirac]], yaitu.

:<math>\delta(x)=\frac{\mathrm d H(x)}{\mathrm dx}</math>,

dengan sifat berikut:

:<math>\int_{-\infty}^\infty f(x) \, \delta(x) dx = f(0)</math>.

Turunan dari fungsi tangga Heaviside dapat dilihat sebagai ''turunan normal ke dalam'' pada ''batas'' dari ranah diberikan oleh setengah garis positif. Dalam dimensi lebih tinggi, turunan secara alami merampat dengan turunan normal ke dalam, sementara fungsi tangga Heaviside secara alami merampat ke fungsi indikator mengenai suatu domain <math>D</math>. Permukaan <math>D</math> akan dilambangkan oleh <math>S</math>. Dengan melanjutkan, ini dapat diturunkan bahwa [[Laplace dari indikator#Fungsi delta permukaan Dirac|turunan normal ke dalam dari indikator]] memunculkan sebuah 'fungsi delta permukaan', yang dapat diindikasikan oleh <math>\delta_S(x)</math>:

:<math>\delta_S(\mathbf{x}) = -\mathbf{n}_x\cdot\nabla_x\mathbf{1}_{\mathbf{x}\in D}</math>

di mana <math>n</math> adalah [[Normal (geometri)|normal]] ke luar dari permukaan <math>S</math>. 'Fungsi delta permukaan' ini memiliki sifat berikut:

:<math>-\int_{\mathbf{R}^n}f(\mathbf{x})\,\mathbf{n}_x\cdot\nabla_x\mathbf{1}_{\mathbf{x}\in D}\;d^{n}\mathbf{x}=\oint_{S}\,f(\mathbf{\beta})\;d^{n-1}\mathbf{\beta}</math>.

Dengan menetapkan fungsi <math>f</math> sama dengan satu, ini mengikuti bahwa [[Laplace dari indikator#Fungsi delta permukaan Dirac|turunan normal ke dalam dari indikator]] mengintegralkan ke nilai numerik ke [[luas permukaan]] <math>S</math>.

== Lihat pula ==

* [[Ukuran Dirac]]
* [[Laplace dari indikator]]
* [[Fungsi delta Dirac]]
* [[Perluasan (logika predikat)]]
* [[Peubah bebas dan peubah rekaan]]
* [[Fungsi tangga Heaviside]]
* [[Tanda kurung Iverson]]
* [[Delta Kronecker]], sebuah fungsi yang dapat dipandang sebagai sebuah indikator untuk [[Kesamaan|relasi identitas]]
* [[Tanda kurung Macaulay]]
* [[Multihimpunan]]
* [[Fungsi keanggotaan]]
* [[Fungsi sederhana]]
* [[Peubah rekaan (statistik)]]
* [[Klasifikasi statistika]]
* [[Fungsi kerugian nol-satu]]

== Catatan ==

== Referensi ==

== Sumber ==

*
*
*
*
*
*
*

== Sumber dan atribusi ==

Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Fungsi+indikator&oldid=29299259 Wikipedia bahasa Indonesia], revisi 29299259 (2026-05-31T21:03:53Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.