Reláció

A Wikipédiából, a szabad enciklopédiából

A reláció dolgok viszonyát jelenti; és hasonló jelentéssel bír a matematikában is. A köznapi életben és a matematikában is egy nagyon általános (ezzel összefüggésben, elvont) fogalom, de a matematikában nem számít alapfogalomnak, lehetséges definiálni.

Meghatározásai[szerkesztés]

A reláció alapvető fogalom a matematikában, de nem alapfogalom. Lehetséges a meghatározása más alapfogalmakra hagyatkozva. Ezáltal egy olyan reláció-fogalmat kapunk, amely nem feltétlenül felel meg mindenben a köznapi relációfogalomnak, de a matematikai szempontból hasznos, fontos tulajdonságokat a tudományos céloknak megfelelően tükrözi; tehát a köznapi relációfogalom egy modellje adódik.

A köznapinál tudományosabb definíciónak a matematikatörténetben két fontosabb paradigmája alakult ki, az ősibb, logikai modell és az újabb, a huszadik század matematikájában teljesen egyeduralkodóvá vált strukturalista, halmazelméleti modell.

Halmazelméleti definíció[szerkesztés]

1. definíció[szerkesztés]

Egy, az halmazokon (vagy másképpen fogalmazva ezen halmazok felett) értelmezett n-változós (vagy más néven n-áris) reláció a következő n+1 elemű rendezett n-es:

ahol

tehát R a halmazok direkt szorzatának egy részhalmaza. Hogy melyik részhalmaza, az szabja meg a reláció mibenlétét.

Az R részhalmazt a reláció gráfjának (grafikonjának) is nevezzük, és szokás graph(ρ)-val jelölni.

Homogénnek nevezzük a relációt, ha a fenti definícióban szereplő halmazok megegyeznek. Homogén reláció például a sík egyenesei között fennálló párhuzamossági reláció, hiszen itt a reláció egyenesek és egyenesek között áll fönn. Nem homogén reláció az emberek és országok közötti „állampolgára” reláció (amely szerint pl. Orbán Viktor állampolgára Magyarországnak, de Barack Obama nem állampolgára Indiának), hiszen ennek a relációnak az első tényezője mindig egy ember, második tényezője pedig mindig egy ország.

2. definíció[szerkesztés]

Egy, az halmazokon (vagy másképpen fogalmazva ezen halmazok felett) értelmezett n-változós (vagy más néven n-áris) reláció az halmazok direkt szorzatának egy részhalmaza, azaz:

.

Tehát ez a definíció az előzőtől annyiban tér el, hogy . Ez az, amit az 1. definícióban a reláció grafikonjának neveztünk.

E definíció fontos tulajdonsága a fentivel szemben, nagyobb egyszerűsége, sőt nagyobb elvontsága (mivel két, az 1. definíció szerint különböző reláció a 2. definíció szerint azonos lehet; a reláció mibenlétét tekintve, „megfeledkezünk” az alaphalmazokról). Viszont például e felépítésben értelmetlenné válik egy igen fontos matematikai fogalom, a „szürjektív függvény” fogalma. Igaz, ez a probléma könnyen kiküszöbölhető.

3. definíció[szerkesztés]

Egy halmazt relációnak nevezünk, ha minden eleme rendezett n-es.

E definíció rendelkezik a 2. definíció minden már említett előnyével és hátrányával. További hátránya, hogy az „értelmezési tartomány” és „értékkészlet” meghatározása nehézkesebbé válik, az axiomatikus halmazelméletben való nagyobb jártasságot igényel az előzőhöz képest.

A definíciók értelmezése[szerkesztés]

Az Descartes-szorzatra tekinthetünk úgy, mint az olyan lehetséges elempárok felsorolására (halmazára), mely elempárok első és második eleme is az halmazból kerül ki. Ha ezen összes lehetséges elempárok közül kiválasztjuk azokat, melyek az általunk meghatározni kívánt relációnak elemei, akkor egyértelműen meghatároztuk egy részhalmazát. Ebből láthatjuk, hogy az részhalmazai és az halmaz elemei közötti relációk lényegében megegyeznek.

A definíciónak gráfelméleti vonatkozása is van.

Jelölési konvenció: amennyiben teljes általánosságban akarunk relációkról beszélni, általában -val (görög "ró" betű) jelöljük a relációt, azt pedig, hogy és elemek relációban állnak a következő módon: vagy .

Példák[szerkesztés]

Matematikán kívüli példák[szerkesztés]

  • A Harap utca 3. alatt élő kutyafalka jelenleg 7 tagot számlál: Anzelm (A), Barbár (B), Cézár (C), Dézi (D), Edina (E), Farkas (F) és Gina (G). A az apja, E az anyja B-nek és F-nek, míg B az apja, D az anyja C-nek és G-nek. Az X = {A,B,C,D,E,F,G} alaphalmazon értelmezhető a homogén bináris „… apja …-nak” reláció, mely a következő párokra igaz: Anzelm és Barbár (A,B), Anzelm és Farkas (A,F); Barbár és Cézár (B,C); Barbár és Gina (B,G). Tehát az „apja” apasági reláció – a 2. halmazelméleti definíció szerint – a következő elempárok halmaza: R= {(A,B); (A,F); (B,C); (B,G)}. Az halmazelméleti definíció szerint ugyanez a reláció a következő elemhármas: (X, X, R), ahol R az előző R halmaz.
    1. Az értelmezési tartomány bármely definíció elfogadása esetén is {A,B}, az értékkészlet (B,F,C,G). A
  • Legyen V valamely város lakosainak halmaza, és tekintsük az „… és … ismerik egymást” kijelentéssel leírt relációt. Akkor ez a reláció halmazelméletileg V×V azon (u,v) elempárjainak S halmaza, ahol u-ra és v-re igaz a fenti kijelentés. A másik definíció szerint ugyanez a reláció "valójában" a (V, V, S) elemhármas.

Matematikai példák[szerkesztés]

  • A halmazok körében az elemként való tartalmazás vagy a részhalmazként való tartalmazás
  • Az egész számok körében az oszthatóság
  • A geometriában az egyenesek párhuzamossága vagy merőlegessége.
  • Ha a természetes számok halmazán értelmezett kisebb relációt () szeretnénk definiálni, akkor vennünk kell a természetes számok halmazának () önmagával vett Descartes-szorzatát () – ami az összes természetes számpárt tartalmazó halmaz – s ennek elemei közül ki kell választani azokat, melyekre teljesül, hogy az első elem kisebb, mint a második ( és így tovább) s ezzel meg is határoztuk azon kérdéses részhalmazát, mely a kisebb relációt definiálja.

Műveletek relációkkal[szerkesztés]

A relációk – ha elfogadjuk azt a definíciót, hogy bizonyos halmazok direkt szorzatainak részhalmazai – maguk is halmazok, tehát velük halmazműveletek végezhetőek. Másrészről a relációkon értelmezhetőek a szorzás és inverzképzés műveletek.

Relációk tulajdonságai[szerkesztés]

ReflexivitásSzimmetriaAntiszimmetriaAszimmetriaTranzitivitásEuklideszi relációDichotómiaTrichotómiaEgyértelműségTotalitásEgységrelációUniverzális relációEkvivalenciarelációRendezésKongruenciareláció

Megjegyzés[szerkesztés]

Már az általános- és középiskolai képzésben is találkozunk nagyon sok relációval, ugyanakkor a pontos definícióját nem tanuljuk. A precíz matematikai definíció általában a halmazelméletre épít, ebből is látható, hogy a matematika tudományában is igen későn került megfogalmazásra ez a fogalom.

Hivatkozások[szerkesztés]

  • Maurer Gyula, Virág Imre. Bevezetés a struktúrák elméletébe. Kolozsvár: Dacia könyvkiadó (1976) 

Külső hivatkozások[szerkesztés]