Restrikce zobrazení: Porovnání verzí

Formálně se zobrazení definuje jako množina [[Uspořádaná dvojice|uspořádaných dvojic]], tzn. jako [[podmnožina]] [[Kartézský součin|kartézského součinu]]: Říkáme, že ''f'' je zobrazení z množiny ''A'' do množiny ''B'' (značení: <math>f: A \to B </math> ), pokud <math>f \subseteq A \times B </math>.

Je-li <math>f: A \to B </math> a <math> C \subseteq A </math>, pak restrikce '''f''' na ''C'' je definována takto:

Je-li ''f'' funkce "druhá mocnina" na oboru <math> N^+ </math> 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) ... }

Množina <math> \{1,2,3\} \times N^+ </math> obsahuje všechny uspořádané dvojice <math> (a,b) </math>, kde ''b'' je přirozené číslo a <math> a \in \{1,2,3\} </math>. Dvojice (4,16) v této množině není, proto není ani prvkem [[průnik|průniku]]u (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í.

[[enca:Restriction_Restricció (mathematicsmatemàtiques)]]