U matematici, relacija je neprazan podskup Dekartovog proizvoda skupova.

DefinicijeUredi

Relacija ρ dužine n je neprazan podskup Dekartovog proizvoda 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 Dekartovog proizvoda   Ako je   tada kažemo da je element   u relaciji sa elementom   i pišemo  .

Za binarnu relaciju   moguće je definisati sledeće izraze:

  • Domen, tj. oblast definisanosti  
  • kodomen, tj. oblast vrednosti  
  • inverzna relacija  
  • komplement  
  • kompozicija relacija  
ako je   i   tada relaciju   datu sa   nazivamo kompozicija relacija   i  

Primer relacijaUredi

 
Graf relacije
  1. Dati su skupovi:   Dekartov proizvod je skup uređenih parova   a (jedna od) relacija je   na slici desno. 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 je biti paralelan, u skupu pravih. Za dve prave   kažemo da su paralelne i pišemo   ako je to jedna ista prava, ili ako su to dve prave koje leže u istoj ravni i nemaju zajedničkih tačaka.
  4. Relacija manje ili jednako u skupu realnih brojeva.

Osnovne osobineUredi

Osnovne četiri osobine su:

  • Refleksivnost:  . Drugim rečima, data relacija je refleksivna ako i samo ako je svaki element u relaciji sa sobom.
  • Simetričnost:   Drugim rečima, ako za svaki uređeni par elemenata koji je u relaciji postoji i par sa obrnutim poretkom.
  • Antisimetričnost:   Drugim reč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 mnoštvo 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 sledeća svojstva relacija:

  •  
  •  
  •  
  •  
  •  
  •  

Relacija   je linearna ili totalna ako važi   Primetite da su linearne relacije obavezno refleksivne.

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

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

Vidi jošUredi