Relasi, dalam matematika, adalah hubungan antara dua elemen
himpunan. Hubungan ini bersifat abstrak, dan tidak perlu memiliki arti apapun
baik secara konkrit maupun secara matematis.
Definisi
Jika
terdapat himpunan A dan himpunan B (A bisa sama dengan B),
maka relasi R dari A ke B adalah subhimpunan dari A×B.
Sebuah
relasi dapat dikaitkan dengan sebuah fungsi proposisi
atau kalimat
terbuka
yang himpunan penyelesaiannya tidak lain adalah relasi tersebut.
Sebagai contoh, pandang himpunan B = { apel, jeruk, mangga, pisang } dengan himpunan W = { hijau, kuning, orange}. Suatu relasi R dari A ke B didefinisikan sebagai R = {(apel, hijau), (jeruk, orange), (mangga, hijau), (pisang, kuning)}. Terdapat fungsi proposisi w(x, y) = "x berwarna y", yang himpunan penyelesaiannya adalah {(apel, hijau), (jeruk, orange), (mangga, hijau), (pisang, kuning)}, yang tidak lain adalah relasi R.
Sebagai contoh, pandang himpunan B = { apel, jeruk, mangga, pisang } dengan himpunan W = { hijau, kuning, orange}. Suatu relasi R dari A ke B didefinisikan sebagai R = {(apel, hijau), (jeruk, orange), (mangga, hijau), (pisang, kuning)}. Terdapat fungsi proposisi w(x, y) = "x berwarna y", yang himpunan penyelesaiannya adalah {(apel, hijau), (jeruk, orange), (mangga, hijau), (pisang, kuning)}, yang tidak lain adalah relasi R.
Relasi A×A
Sebuah
relasi A×A, yaitu relasi dari himpunan A kepada A
sendiri, dapat memiliki sifat-sifat berikut:
Kita
menyebut relasi R dari A kepada A sebagai relasi R
dalam A.
RELASI KHUSUS
Relasi Ekivalen
Sebuah
relasi disebut sebagai relasi ekivalen jika relasi tersebut bersifat:
Relasi
ekuivalen memiliki hubungan erat dengan partisi, yang merupakan alasan mengapa
partisi dari sebuah himpunan disebut kelas ekivalen atau kelas kesetaraan.
Orde Parsial
Orde
parsial adalah relasi yang bersifat:
0 comments: