Cvičení 4
Zobrazení a jejich vlastnosti
Kartézský součin a relace, definiční obor a obor hodnot, obraz a vzor množiny, složené zobrazení, prostá, surjektivní a bijektivní zobrazení, inverzní zobrazení.
Stručná teorie
Definice 3.1Kartézský součin a relace#
Kartézský součin dvou množin a je množina
Relace mezi množinami a je libovolná podmnožina kartézského součinu , tj. . Zapisujeme , pokud .
Definice 3.2Zobrazení#
Zobrazení (funkce) je relace splňující podmínku, že pro každý prvek existuje nejvýše jeden prvek tak, že :
Pro tento prvek využíváme značení , tj.
Prvek nazýváme obrazem prvku při zobrazení a prvek vzorem prvku .
Definice 3.3Definiční obor a obor hodnot#
Definiční obor zobrazení je množina
obor hodnot zobrazení je množina
Označení 3.4Zobrazení do a na množinu#
| zobrazení z množiny do množiny | ||
| zobrazení množiny do množiny | ||
| zobrazení množiny na množinu |
Definice 3.5Obraz a vzor množiny#
Nechť .
Obraz množiny při zobrazení je množina
speciálně pak .
Vzor množiny při zobrazení je množina
Poznámka 3.6#
Pozor, symbol používáme ve dvou různých významech – jednak pro vzor množiny (ten existuje vždy), jednak pro inverzní zobrazení (to existuje jen pro prosté , viz definice 3.9). Co je čím, poznáte podle toho, zda je argumentem množina, nebo prvek.
Definice 3.7Zúžení a složené zobrazení#
Zúžení (restrikce) zobrazení na množinu je zobrazení s vlastností
Složením zobrazení a je zobrazení dané předpisem
Definice 3.8Prosté, surjektivní a bijektivní zobrazení#
Nechť a je libovolná množina. Zobrazení nazýváme
- injektivní (prosté), jestliže ;
- -surjektivní („na “), jestliže ;
- -bijektivní (vzájemně jednoznačné), je-li současně injektivní a -surjektivní.
Definice 3.9Identické a inverzní zobrazení#
Identické zobrazení na množině je zobrazení splňující
Je-li prosté zobrazení, pak relaci
nazýváme inverzním zobrazením k zobrazení .
Poznámka 3.10#
Bez prostoty by relace zobrazením nebyla. Pokud pro , obsahuje dvojice i , takže prvek má dva různé obrazy.
Věta 3.11Vlastnosti inverzního zobrazení#
Je-li prosté zobrazení, pak pro inverzní zobrazení platí
Úkoly k procvičení
Příklad 3.1#
Definujme množiny a . Vypište všechny podmnožiny , které definují zobrazení:
- ;
- .
Příklad 3.2#
Určete definiční obory funkcí daných předpisem
Příklad 3.3#
Určete obory hodnot funkcí , a z předchozí úlohy.
Příklad 3.4#
Nalezněte obory hodnot funkcí:
- ;
- ;
- ;
- .
Příklad 3.5#
Nalezněte obory hodnot funkcí:
- ;
- .
Příklad 3.6#
Určete obor hodnot funkce definované vztahem
Příklad 3.7#
Určete definiční obory funkcí a , kde
Okomentujte, zda se tyto dvě složené funkce rovnají či nikoli.
Příklad 3.8#
Buďte . Určete definiční obory a obory hodnot funkcí , kde , a napočítejte .
Příklad 3.9#
Nechť zobrazení je definováno vztahem . Určete
- a ;
- pro ;
- pro .
Příklad 3.10#
Zapište pomocí kvantifikátorů, že zobrazení je injektivní, resp. -surjektivní, resp. -bijektivní.
Příklad 3.11#
Volte vhodný definiční obor pro funkci danou předpisem tak, aby byla
- -surjektivní a současně neinjektivní;
- injektivní a současně nebyla -surjektivní;
- -bijektivní;
- neinjektivní ani nebyla -surjektivní.
Příklad 3.12#
Najděte inverzní funkci k funkci na jejím definičním oboru. Jakou podmínku musí splňovat koeficienty , aby inverze existovala?
Příklad 3.13#
Nechť zobrazení je definováno vztahem .
- Určete a obor hodnot zúžení .
- Vyšetřete injektivitu zobrazení i injektivitu zúžení .
Příklad 3.14#
Nechť zobrazení je definováno vztahem a zobrazení vztahem . Vyšetřete u funkcí a , zda jsou
- injektivní;
- -surjektivní (u funkce ), resp. -surjektivní (u funkce ).
Příklad 3.15#
Nechť zobrazení je definováno vztahem . Určete a vyšetřete, jestli je injektivní a -surjektivní.