Relacija

U matematici, relacija je neprazan podskup Descartesovog produkta skupova.

DefinicijeUredi

Relacija ρ dužine n je neprazan podskup Descartesovog produkta n skupova. Kada je n = 2 tada govorimo o binarnoj relaciji, dakle o relaciji između elementa x sa elementom y, odnosno o uređenom paru (x, y) iz Descartesovog proizvoda   Ako je   tada kažemo da je element   u relaciji sa elementom   i pišemo  .

Za binarnu relaciju   moguće je definirati sljedeće izraze:

  • Domena, tj. područje definicije  
  • kodomena, tj. područje vrijednosti  
  • inverzna relacija  
  • komplement  
  • kompozicija relacija  
ako je   i   tada relaciju   datu sa   nazivamo kompozicija relacija   i  

Primjeri relacijaUredi

  1. Dati su skupovi:   Descartesov produkt je skup uređenih parova   a (jedna od) relacija je   . Pišemo npr.   i kažemo uređen par a, 2 je element relacije ro, odnosno čitamo, a je u relaciji ro sa 2.
  2. Relacija jednakosti brojeva. Pišemo i   odnosno   i čitamo, broj h jednak je broju u.
  3. Relacija biti paralelan, u skupu pravaca. Za dvije prave   kažemo da su paralelne i pišemo   ako je to jedan te isti pravac, ili ako su to dva pravca koji leže u istoj ravnina i nemaju zajedničkih točaka.
  4. Relacija manje ili jednako u skupu realnih brojeva.

Osnovne osobineUredi

Osnovne četiri osobine su:

  • Refleksivnost:   Drugim riječima, data relacija je refleksivna ako i samo ako je svaki element u relaciji sa sobom.
  • Simetričnost:   Drugim riječima, za svaki uređeni par elemenata koji je u relaciji postoji i par sa obrnutim poretkom.
  • Antisimetričnost:   Drugim riječima, ako u datoj relaciji imamo oba poretka jednog para elemenata, onda ih ne možemo imati na način da to mora biti samo jedan element (taj je u relaciji sam sa sobom).
  • Tranzitivnost:   Ako je prvi element u relaciji sa drugim, drugi sa trećim, onda mora biti i prvi sa trećim!

Kada neka relacija ima osobinu refleksivnosti, simetričnosti, antisimetričnosti, ili tranzitivnosti kažemo da je ta relacija refleksivna, simetrična, antisimetrična, odnosno tranzitivna.

Relacija ekvivalencije je ona koja ima sve tri osobine RST zajedno (Refleksivnost, Simetričnost i Tranzitivnost). Privremeno je možemo označavati sa "~" tilda.

Klasa ekvivalencije je skup međusobno ekvivalentnih elemenata:  

Količnički skup je skup klasa ekvivalencije.

Relacija poretka je ona koja ima osobine RAT (Refleksivnost, Antisimetričnost, Tranzitivnost).

Ostale osobineUredi

Iz definicija se lako mogu dobiti sljedeća svojstva relacija:

  •  
  •  
  •  
  •  
  •  
  •  

Relacija   je linearna ili totalna ako vrijedi   Primijetite da su linearne relacije obavezno refleksivne.

Antisimetrična, tranzitivna i linearna relacija nekog skupa naziva se relacija linearnog poretka (ili totalnog uređaja) danog skupa.

Relacija preduređaja je refleksivna i tranzitivna. Relacija kvaziuređaja je tranzitivna relacija. Posljednja dva naziva pojavljuju se u Teoriji društvenog izbora, tj. oblasti matematičke ekonomije.