Kelas ekuivalen: Perbedaan antara revisi

Konten dihapus Konten ditambahkan
Hadithfajri (bicara | kontrib)
Tidak ada ringkasan suntingan
Dedhert.Jr (bicara | kontrib)
convert to LaTeX
 
Baris 1:
Dalam [[matematika]], '''kelas ekuivalen''' (atau '''kelas kesetaraan ('''{{Lang-en|equivalence class}}) adalah pembagian (''partisi'') dalam suatu himpunan yang dilakukan berdasarkan suatu [[relasi ekuivalensi]]. Kelas-kelas ekuivalen dalam suatu himpunan dibentuk sehingga elemen ''<math>a''</math> dan ''<math>b''</math> berada dalam satu kelas ekuivalen jika dan hanya jika <math>a</math> dan <math>b</math> terhubung dalam relasi ekivalenekuivalen.
 
Secara formal, kelas ekuivalen didefinisikan sebagai berikut: bila<blockquote>Bila ada himpunan {{mvar|<math>S}}</math> dan relasi ekuivalen {{<math|~}}>\sim</math>, ''kelas ekuivalen'' suatu elemen {{mvar|<math>a}}</math> dalam {{mvar|<math>S}}</math> adalah himpunan<blockquote><math>\{ x \in S \mid x \sim a \}</math></blockquote>elemen-elemen yang ekuivalen dengan <math>a</math>.</blockquote>
 
elemen-elemen yang ekuivalen dengan {{mvar|a}}. Dapat dibuktikan dari definisi relasi ekuivalen bahwa kelas-kelas ekuivalen membentuk partisi dari {{mvar|<math>S}}</math>. Artinya, himpunan {{mvar|<math>S}}</math> bisa dibagi menjadi beberapa bagian yang [[Himpunan_saling_lepas|saling lepas]], dan bagian-bagian ini adalah kelas-kelas ekuivalen pada {{mvar|<math>S}}</math>.
:<math>\{ x \in S \mid x \sim a \}</math>
 
elemen-elemen yang ekuivalen dengan {{mvar|a}}. Dapat dibuktikan dari definisi relasi ekuivalen bahwa kelas-kelas ekuivalen membentuk partisi dari {{mvar|S}}. Artinya, himpunan {{mvar|S}} bisa dibagi menjadi beberapa bagian yang [[Himpunan_saling_lepas|saling lepas]], dan bagian-bagian ini adalah kelas-kelas ekuivalen pada {{mvar|S}}.
 
== Referensi ==