OBSAH WEBU
ČTĚTE!
Rozdíly
Zde můžete vidět rozdíly mezi vybranou verzí a aktuální verzí dané stránky.
|
temata:16-mnoziny-relace-zobrazeni:main [2012/05/14 11:01] conyx [Binární relace] |
temata:16-mnoziny-relace-zobrazeni:main [2012/05/14 11:06] (aktuální) conyx [Binární relace] |
||
|---|---|---|---|
| Řádek 78: | Řádek 78: | ||
| <box round blue 90%|**Definice**> | <box round blue 90%|**Definice**> | ||
| - | Buď f <m>subset</m> X x Y relace z X do Y: <m>forall</m>x <m>x</m> Dom f <m>subset</m> X <m>exists</m>! y <m>in</m>Y: (x, y) <m>in</m> f | + | Buď f <m>subset</m> X x Y relace z X do Y: <m>forall</m>x <m>x</m> Dom f <m>subset</m> X <m>exists</m> y <m>in</m>Y: (x, y) <m>in</m> f |
| - | (x, y) <m>in</m> f, y = f(x), f: X <m>right</m> Y\\\\ | + | (x, y) <m>in</m> f, y = f(x), f: X <m>right</m> Y\\ |
| Jednoznačnost zobrazení je důležitá a znamená, že každý prvek vzoru se zobrazí na právě jeden prvek v obrazu.\\ | Jednoznačnost zobrazení je důležitá a znamená, že každý prvek vzoru se zobrazí na právě jeden prvek v obrazu.\\ | ||
| **zobrazeni** nazýváme: | **zobrazeni** nazýváme: | ||
| Řádek 92: | Řádek 92: | ||
| <box round blue 90%|**Definice**> | <box round blue 90%|**Definice**> | ||
| - | Nechť R <m>subset</m> X x Y, potom **inverzní relaci** značíme <m>R^{-1}</m> a platí <m>R^{-1}</m> <m>in</m> Y x X. Je li inverzní relace zobrazíme, potom mluvíme o inverzním zobrazení | + | Nechť R <m>subset</m> X x Y, potom **inverzní relaci** značíme <m>R^{-1}</m> a platí <m>R^{-1}</m> <m>in</m> Y x X. Je li inverzní relace zobrazením, potom mluvíme o inverzním zobrazení |
| </box> | </box> | ||
