Vežbe 1 - Relacije Flashcards
Šta je binarna relacija?
Binarna relacija skupa A je bilo koji podskup Dekartovog proizvoda A^2
Da li prazan skup može biti binarna relacija?
Može, i zove se prazna relacija
Šta su prazna i puna relacija?
Prazna relacija je prazan skup, a puna relacija je partitivni skup od skupa nad kome je definisana relacija
Koje su poznate relacije u geometriji?
Paralelnost, ortogonalnost, podudarnost, sličnost
Koje su osobine relacija?
Refleksivnost, simetričnost, antisimetričnost, tranzitivnost, funkcija
Koji je ultimativni uslov za refleksivnost?
Sadrži celu dijagonalu
Koja je geometrijska interpretacija refleksivnosti?
Grafik relacije sadrži celu y=x pravu
Koja je geometrijska interpretacija simetričnosti?
Grafik relacije je osno simetričan u odnosu na y=x
Koja je geometrijska interpretacija antisimetričnosti?
Ne postoji par tačaka koje pripadaju grafiku relacije i simetrične su u odnosu na y=x (osim same ose simetrije)
Koja je geometrijska interpretacija funkcije?
Prave paralelne sa y osom seku grafik u najviše jednoj tački (poznato od ranije, šta ne sme biti funkcija)
Koja je geometrijska interpretacija tranzitivnosti?
Nema tačne interpretacije, ali postoji pravilo da ako nije površina ne može biti tranzitivna
Šta je relacija ekvivalencije?
Relacija koja je refleksivna, simetrična i tranzitivna
Šta je RST relacija?
Relacija ekvivalencije
Šta je ono sa particijom?
Relacija ekvivalencije na skupu A vrši particiju skupa A
Šta je particija skupa?
Particija jednoznačno određuje neprazne podskupove skupa A od kojih su svaka 2 disjunktna, a njihova unija je ceo skup A
Šta su klase ekvivalencije?
Svaka relacija ekvivalencije vrši particiju skupa nad kom je definisana. Tako dobijeni skupovi su klase ekvivalencije.
Klasi ekvivalencije pripadaju svi elementi koji su međusobno u relaciji
Kako su elementi skupa grupisani u klase ekvivalencije?
U klasi ekvivalencije su svi elementi skupa koji su međusobno u relaciji
Šta je faktor skup?
Skup svih klasa ekvivalencije
Kako se obeležava klasa ekvivalencije?
C sa indeksom - predstavnik skupa
Kako se obeležava faktor skup?
A/p, gde je A skup i p relacija ekvivalencije nad kom je definisana
Da li se faktor skup može odrediti za svaku relaciju?
Ne, već samo za relacije ekvivalencije, jer za njih važi disjunktnost i da u uniji daju ceo skup A
Kako se piše particija skupa?
Skup skupova {{},{},{}}
Šta zapravo treba napisati kada se traži particija skupa relacije ekvivalencije?
Treba napisati faktor skup
Kako napisati relaciju ekvivalencije ako je dat faktor skup?
Kod faktor skupa njegovi elementi su klase ekvivalencije. Relaciju treba pisati tako da svi elementi u klasi ekvivalencije su u relaciji i nisu u relaciji ni sa jednim elementom van svoje klase. Pamti da za relaciju ekvivalencije mora da važi RST, pa poštuj refleksivnost
Šta da radim ako kaže da napišem sve relacije ekvivalencije na nekom skupu?
Ispiši sve particije tog skupa - to su faktor skupovi. Po njima ispiši relacije ekvivalencije (poštujući RST i klase ekvivalencije)
Šta je relacija poretka?
RAT relacija
Koja je RAT, a koja RST relacija?
RST je relacija ekvivalencije, a RAT relacija poretka
Šta je parcijalno uređen skup?
To je uređeni par (A,p) gde je p relacija poretka
Za koje relacije se crta Haseov dijagram?
Za relacije poretka
Da li se Haseov dijagram crta za parcijalno ili totalno uređen skup?
Za parcijalno uređen skup
Da li se Haseov dijagram može nacrtati za bilo koju relaciju?
Ne, već samo za relaciju poretka
Da li smo radili totalno uređen skup?
Nismo
Da li smo radili parcijalno uređen skup?
Jesmo
Da li se Haseov dijagram crta za relacije poretka?
Da, samo za njih
Da li se Haseov dijagram crta za relacije ekvivalencije?
Ne, već za relacije poretka
Koliko osobina ima koje prate Haseov dijagram?
4
Koje su četiri osobine koje prate Haseov dijagram?
Najmanji element, najveći element, minimalni element i maksimalni element
Kako sam ja modifikovala pravila za značajne elemente Haseovog dijagrama?
Zamisli da je relacija poretka manje ili jednako
Kada je element najmanji?
Ako i samo ako niko nije ≥ (veći ili jednak) od njega osim njega samog
//u relaciji
Kada je element maksimalni?
Akko on nije