Txmlhpj

Matematický pojem restrikce zobrazení vyjadřuje zobrazení, které má menší definiční obor, než původní zobrazení.

Význam[editovat | editovat zdroj]

Je-li ${\displaystyle f}$ zobrazení a ${\displaystyle C}$ podmnožina definičního oboru, pak restrikce zobrazení ${\displaystyle f}$ na množinu ${\displaystyle C}$ (značení ${\displaystyle {f|}_C}$) je zobrazení, které prvkům ${\displaystyle C}$ přiřadí totéž, co ${\displaystyle f}$, ale jiným prvkům nepřiřadí nic.

Příklad: Označme ${\displaystyle f(x)=x^2}$ operaci mocnina celých čísel a g(x) jeho restrikci na čísla přirozená. Pak platí:

${\displaystyle f(3)=g(3)=9}$

${\displaystyle f(-<!--\; -\; -->2)=4}$

${\displaystyle g(-<!--\; -\; -->2)}$ není definováno

Definičním oborem f jsou celá čísla, definičním oborem g jsou jen přirozená čísla

Formální definice[editovat | editovat zdroj]

Formálně se zobrazení definuje jako množina uspořádaných dvojic, tzn. jako podmnožina kartézského součinu:

${\displaystyle f}$ je zobrazení z množiny ${\displaystyle A}$ do množiny ${\displaystyle B}$ (značíme ${\displaystyle f:A\to <!--\; \to \; -->B}$ ), právě když ${\displaystyle f\subseteq <!--\; \subseteq \; -->A\times <!--\; \times \; -->B}$.

Mějme zobrazení ${\displaystyle f:A\to <!--\; \to \; -->B}$ a množinu ${\displaystyle C\subseteq <!--\; \subseteq \; -->A}$, pak restrikce ${\displaystyle f}$ na ${\displaystyle C}$ je definována takto:

${\displaystyle {f|}_C=f\bigcap <!--\; \bigcap \; -->(C\times <!--\; \times \; -->B)}$

Jinými slovy, ${\displaystyle {f|}_C}$ restrikce zobrazení ${\displaystyle f}$ obsahuje pouze ty dvojice, jejichž levý prvek (tzv. vzor) leží v množině ${\displaystyle C}$.

Příklad[editovat | editovat zdroj]

Je-li f funkce "druhá mocnina" na oboru ${\displaystyle N^{+}}$ přirozených čísel, pak formálně vzato je f nekonečná množina dvojic:

f = { (1,1), (2,4), (3,9), (4,16), (5,25) ... }

Restrikcí f na množinu {1,2,3} je tříprvková množina

${\displaystyle {f|}_{\{1,2,3\}}=f\bigcap <!--\; \bigcap \; -->(\{1,2,3\}\times <!--\; \times \; -->N^{+})=\{(1,1),(2,4),(3,9)\}}$

Množina ${\displaystyle \{1,2,3\}\times <!--\; \times \; -->N^{+}}$ obsahuje všechny uspořádané dvojice ${\displaystyle (a,b)}$, kde b je přirozené číslo a ${\displaystyle a\in <!--\; \in \; -->\{1,2,3\}}$. Dvojice (4,16) v této množině není, proto není ani prvkem průniku (tj. restrikce, kterou tento průnik definuje). Naopak dvojice (1,2) a (1, 2345) v této množině jsou, ale nejsou prvkem f, takže také nejsou prvkem výsledného zobrazení.