Binäärirelaatio eli binäärisuhde on kaksipaikkainen relaatio eli järjestettyjen parien joukko.

Yleistä muokkaa

Binäärirelaatio on erilaisuussuhde kahden asian välillä. Yleensä sillä kuvataan kahden suureen riippuvuutta toisistaan. Binäärirelaatiota käytetään useilla matematiikan osa-alueilla, kun halutaan mallintaa käsitteitä ”olla suurempi kuin” tai ”olla yhtä suuri kuin”. Myös esimerkiksi graafiteoriassa binäärirelaatiolla kuvataan vierekkäisyyttä ja lineaarialgebrassa sillä havainnollistetaan ortogonaalisuutta. Alla on esimerkkejä siitä, millainen tämä suhde näiden kahden objektin välillä voisi olla.

Esimerkki 1 muokkaa

♦ Iisak on Jaakobin isä, jossa relaatio on ”x on y:n isä” ja x ja y ovat ihmisiä.

♦ Luku 5 on suurempi kuin luku -3, eli 5> -3, jossa relaatio on ”x on suurempi kuin y” ja x ja y ovat reaalilukuja, siis x, y ∈ R.

Esimerkki 2 muokkaa

♦ Relaatio "<" reaalilukujen joukossa R. Olkoon A = {1, 2, 3, 4} ja B = {1, 3, 4}, niin A × B = {(1, 1) , (1, 3) , (1, 4) , ... , (4, 4)}. Tällöin relaatio "<" joukolta A joukolle B on joukon A × B osajoukko {(1, 3) , (1, 4) , (2, 3) , (2, 4) , (3, 4)}.

♦ Relaatio "=" reaalilukujen joukossa R. Olkoon A = {1, 2, 3, 4} ja B = {1, 3, 4}, niin A × B = {(1, 1) , (1, 3) , (1, 4) , ... , (4, 4)}. Tällöin relaatio "=" tarkoittaa joukkoa {(1, 1) , (3, 3) , (4, 4)}.

Määritelmä I muokkaa

Matematiikassa binäärirelaatiolla (kaksipaikkaisella relaatiolla) joukossa A tarkoitetaan joukon A alkioiden osajoukkojen muodostamaa kokoelmaa. Toisin sanoen binäärirelaatio on karteesisen tulon A2 = A × A osajoukko. Binäärirelaation alkiot ovat järjestettyjä pareja (x, y). Merkintä (x, y) ∈ R tarkoittaa samaa kuin xRy.

Määritelmä II muokkaa

Olkoot X ja Y ei-tyhjiä joukkoja. Joukon 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, (x, y) ∈ R, niin merkitään xRy tai R(x, y) ja sanotaan, että x on relaatiossa y:n kanssa.

Sanotaan, että R on relaatio joukosta X joukkoon Y. Joukkoa X kutsutaan relaation R lähtöjoukoksi ja joukkoa Y tämän relaation maalijoukoksi. Kaksipaikkainen relaatio R on usein määritelty myös järjestetyn kolmikon (X, Y, G) kautta, jossa X ja Y ovat mielivaltaisia joukkoja ja G Karteesisen tulon osajoukko. Joukot X ja Y ovat lähtö- ja maalijoukot, kun taas G on kuvaaja.

Relaation ominaisuuksia muokkaa

Relaatiot voidaan luokitella niiden ominaisuuksien mukaan.

Olkoon R joukossa X määritelty relaatio. R on

♦ refleksiivinen, jos xRx, kaikilla x ∈ X

♦ symmetrinen, jos xRy ja yRx, kaikilla x,y ∈ X

♦ antisymmetrinen, jos xRy ja yRx niin x = y, kaikilla x,y ∈ X

♦ transitiivinen, jos xRy ja yRz niin xRz, kaikilla x,y,z ∈ X

♦ vertailullinen, jos xRy tai yRx, kaikilla x,y ∈ X.

Lähteet muokkaa

  • Merikoski, J., Koivisto, P., Virtanen, A. 2001. Diskreetti matematiikka I. Opetusmoniste B 42.
  • Fletcher, T. (toim.) 1965. Some lessons in mathematics. Cambridge University Press.
  • Myberg, L. 1978. Algebra. Kirjayhtymä, Helsinki.