Relaatio

Relaatio on erilaisuussuhde kahden asian välillä. Monesti relaatio tarkoittaa kahden suureen, esimerkiksi painon ja koon riippuvuutta toisistaan.

Esimerkkejä:
 Marko on Matin isä. Tässä relaatio on "x on y:n isä" ja x ja y ovat esimerkiksi ihmisiä.
 Pallo on punainen. Relaatio "X on Y:n värinen" ja X on jokin esine tai asia ja Y on väri.
 Mikko on pitempi kuin Merja. Relaatio "on pitempi kuin".
 Luku kaksi on suurempi kuin yksi, 2 > 1. Relaatio "x on suurempi kuin y", missä x ja y ovat reaalilukuja.

Kuva:Injection.svg 

Kuvassa joukon X={1, 2, 3} ja joukon Y={a, b, c, d} välillä on relaatio, joka liittää X:n alkioita Y:n alkioihin: 
1→D, 2→B, 3→A, missä relaatiota on merkitty symbolilla →. 

Relaatiotyyppejä

 Yksi-yhteen: 1) jos x:llä on tietty relaatio y:hyn, eikä muilla x'  ole samaa relaatiota y:hyn, ja 2) x:llä ei ole samaa relaatiota mihinkään y' . Esimerkiksi länsimaissa miehellä (x) on yksi vaimo (y), ja päinvastoin. Mikään muu mies (x ') ei voi olla saman vaimon (y) aviomies, eikä tämä aviomies (x) voi olla kenenkään muun naisen (y ') kanssa naimisissa.
 Yksi-moneen: Jos yllä olevasta vain ensimmäinen ehto täyttyy.
 Moni-yhteen: Jos yllä olevasta vain toinen ehto täyttyy. Russell, Bertrand. 1948. Introduction to mathematical philosophy. London: George Allen & Unwin.

Matemaattinen relaatio

Yllä olevissa esimerkeissä relaatiot olivat kaksipaikkaisia eli binäärisiä. Määritellään siis ensin binäärirelaatio:

Olkoot X ja Y epätyhjiä joukkoja. Niiden karteesisen tulon X × Y = { (x, y) | x ∈ X ja y ∈ Y} osajoukkoa R kutsutaan binäärirelaatioksi joukoissa X ja Y. Jos pari (x, y) kuuluu joukkoon R eli (x, y) ∈ R, niin merkitään x R y tai R(x, y) ja sanotaan, että alkio x on relaatiossa R alkion y kanssa.

Esimerkkejä binäärisistä relaatioista ovat relaatiot "<" ja "=" reaalilukujen joukossa R. Jos A = {1, 2, 3, 4, 5} ja B = {1, 3, 5}, niin A × B = {(1, 1), (1, 3), (1, 5),..., (5, 5)}. Tällöin pienempi kuin -relaatio "<" joukosta A joukkoon B on joukon A × B osajoukko:
"<" := {(1, 3), (1, 5), (2, 3), (2, 5), (3, 5), (4, 5)}. Yhtäsuuruusrelaatio "=" taas tarkoittaa joukkoa
 "=" := {(1, 1), (3, 3), (5, 5)}.

 Katso myös 
 Ekvivalenssirelaatio

 Lähteet 

Kirjallisuutta


 Aiheesta muualla 

Luokka:Joukko-oppi