Zhrnutie na Binárne relácie a porovnávanie v predškolskej výchove

## Úvod Binárne relácie sú základným pojmom v matematike a informatike. Pomáhajú popísať, ako sú prvky množiny navzájom prepojené. V tomto materiáli sa zameriame na tri základné vlastnosti binárnych relácií na množine: **reflexívnosť**, **symetrickosť** a **tranzitívnosť**. Materiál je určený pre samostatné štúdium (Not attending student) a obsahuje definície, príklady a praktické aplikácie. ### Čo je binárna relácia? > Binárna relácia $R$ na množine $A$ je množina usporiadaných dvojíc $[x,y]$ takých, že $x,y \in A$. ## Reflexívnosť > Relácia $R$ na množine $A$ je **reflexívna**, ak pre každý prvok $x \in A$ platí, že $[x,x] \in R$. - Význam: každý prvok je v relácii sám so sebou. - Symbolicky: pre každé $x \in A$ platí $[x,x] \in R$. Príklady: - Na množine $A = \{1,2,3\}$ je relácia $R = \{[1,1],[2,2],[3,3]\}$ reflexívna. - Relácia rovnosti $=$ na ľubovoľnej množine je vždy reflexívna, pretože pre každé $x$ platí $x = x$. Praktická aplikácia: - Reflexívne relácie sa používajú pri definovaní pořadí a identity v databázach (napr. primárny kľúč je v relačnej schéme unikátny a každý záznam korešponduje sám so sebou cez identitu). ## Symetrickosť > Relácia $R$ na množine $A$ je **symetrická**, ak pre každé $x,y \in A$ platí, že ak $[x,y] \in R$, potom $[y,x] \in R$. - Význam: ak je $x$ v relácii s $y$, potom je aj $y$ v relácii s $x$. - Symbolicky: ak $[x,y] \in R$ tak $[y,x] \in R$. Príklady: - Relácia "byť súrodencami" medzi ľuďmi je symetrická: ak $x$ je súrodenec $y$, potom $y$ je súrodenec $x$. - Relácia nepotrebuje byť reflexívna ani tranzitívna, aby bola symetrická. Praktická aplikácia: - Symetrické relácie sú dôležité pri modelovaní obojsmerných spojení v sieťach, napr. pri priateľstvách na sociálnych sieťach, ak je priateľstvo definované obojsmerne. ## Tranzitívnosť > Relácia $R$ na množine $A$ je **tranzitívna**, ak pre každé $x,y,z \in A$ platí, že ak $[x,y] \in R$ a $[y,z] \in R$, potom $[x,z] \in R$. - Význam: relácia prechádza cez prostredníka; ak $x$ súvisí s $y$ a $y$ súvisí s $z$, potom $x$ súvisí s $z$. - Symbolicky: ak $[x,y] \in R$ a $[y,z] \in R$ tak $[x,z] \in R$. Príklady: - Relácia "byť starším než" môže byť tranzitívna: ak $x$ je starší než $y$ a $y$ je starší než $z$, tak $x$ je starší než $z$. - Relácia "byť priateľom" zvyčajne nie je tranzitívna: ak $x$ je priateľ s $y$ a $y$ je priateľ s $z$, nemusí platiť, že $x$ je priateľ so $z$. Praktická aplikácia: - Tranzitívne vzťahy sú základom pre inferenciu v logike a modely dedukcie, napr. v dedukčných systémoch alebo pri výpočte uzáveru v databázach. ## Porovnanie vlastností (tabuľka) | Vlastnosť | Podmienka | Príklad | Typický prípad | | --- | --- | --- | --- | | Reflexívnosť | Pre každé $x \in A$ platí $[x,x] \in R$ | Rovnosť $=$ | Identita | | Symetrickosť | Ak $[x,y] \in R$ potom $[y,x] \in R$ | Byť súrodencom | Obojsmerné vzťahy | | Tranzitívnosť | Ak $[x,y] \in R$ a $[y,z] \in R$ potom $[x,z] \in R$ | Byť starším než | Príčinné reťazce | ## Kombinácie vlastností - Relácia môže mať ľubovoľnú kombináciu týchto vlastností. - Dôležitý prípad: **ekvivalencia** je relácia, ktorá je **reflexívna**, **symetrická** a **tranzitívna** súčasne. Príklad ekvivalencie: - Rovnako modulo $n$: pre množinu celých čísel a pevné $n$ definujeme $a \equiv b\pmod{n}$ ak $n$ delí $a-b$. Táto relácia je reflexívna, symetrická a tranzitívna. Did you know that ekvivalenčné triedy relatívne k relácii rovnosti modulo $n$ rozdeľujú množinu celých čísel na presné disjunktné bloky, každá trieda obsahuje čísla so zhodným zvyškom pri delení $n$? ## Praktické cvičenia (samostatné) 1. Pre množinu $A = \{1,2,3\}$ skontrolujte, či je relácia $R = \{[1,1],[2,2],[3,3],[1,2],[2,1]\}$ reflexívna, symetrická, tranzitívna. 2. Uveďte príklad relácie na množine osôb, ktorá je reflexívna a tranzitívna, ale nie je symetrická. 3. Overte, že relácia rovnosti modulo $4$ je ekvivalencia a vypíšte ekvivalenčné triedy pre čísla $0,1,2,3$. Fun fact: V teórii grafov možno binárné relácie