share: true
aliases:
  - Reprezentace relace
  - definující předpis
  - množinová reprezentace
  - booleovská matice
  - diagram relace

Reprezentace relace

Zadání relace

#definice Matice relace

Buď , kde a .
Pak definujeme booleovskou matici relace jako matici rozměru (tedy ) splňující

#definice Diagram relace (na 2 množinách)

Buď , pro konečné.
Diagram relace je orientovaný bipartitní graf .

Jeho vrcholy jsou tedy všechny prvky množin a (případné společné prvky jsou v grafu dvakrát) a mezi vrcholy a vede šipka právě tehdy, pokud .

#definice Diagram relace (na množině)

Buď , relace na konečné .
Diagram relace je orientovaný graf .

Jeho vrcholy jsou tedy všechny prvky množiny a mezi vrcholy vede šipka právě tehdy, pokud .

../Attachments/Pasted image 20240114153457.png

Vytvořeno: 7. 8. 2024, 13:25
Poslední aktualizace: 7. 8. 2024, 13:25