Relasi
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 keB adalah subhimpunan dari A×B.
Relasi dan fungsi proposisi
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 himpunanW = { hijau, kuning, orange}. Suatu relasi R dari A ke B didefinisikan sebagai R = {(apel, hijau), (jeruk, orange), (mangga, hijau), (pisang, kuning)}. Terdapat fungsi proposisiw(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:- Refleksif
- Irefleksif
- Simetrik
- Anti-simetrik
- Transitif
Relasi Refleksif
Sebuah relasi R dalam A disebut memiliki sifat refleksif, jika setiap elemen A berhubungan dengan dirinya sendiri.Relasi Irefleksif
Relasi R dalam A disebut memiliki sifat irefleksif, jika setiap elemen A tidak berhubungan dengan dirinya sendiri.Contoh lain dalam himpunan bilangan bulat adalah, relasi < dan > adalah irefleksif.
Relasi Simetrik
Relasi R dalam A disebut memiliki sifat simetrik, jika setiap pasangan anggota Aberhubungan satu sama lain. Dengan kata lain, jika a terhubung dengan b, maka b juga terhubung dengan a. Jadi terdapat hubungan timbal balik.Relasi Anti-simetrik
Jika setiap a dan b yang terhubung hanya terhubung salah satunya saja (dengan asumsi adan b berlainan), maka relasi macam ini disebut relasi anti-simetrik.
bersifat anti-simetrik, karena
mengakibatkan
. Demikian juga jika ada p dan q yang terhadap mereka berlaku
dan
berarti p = q.Relasi Transitif
Sebuah relasi disebut transitif jika memiliki sifat, jika a berhubungan dengan b, dan bberhubungan dengan c, maka a berhubungan dengan c secara langsung.Relasi khusus
Relasi Ekivalen
Sebuah relasi disebut sebagai relasi ekivalen jika relasi tersebut bersifat:- Refleksif
- Simetrik, dan
- Transitif
Orde Parsial
Orde parsial adalah relasi yang bersifat:- Refleksif
- Anti-simetrik, dan
- Transitif














0 komentar:
Posting Komentar