Wikipedie

Restrikce zobrazení: Porovnání verzí

Interaktivně procházet historii
← Přejít na předchozí porovnáníPřejít na další porovnání →
Smazaný obsah Přidaný obsah
VizuálníWikitext
m interlinky
Řádek 14:
== Formální definice ==
 
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:Říkáme, že ''f'' je zobrazení z množiny ''A'' do množiny ''B'' (značení: <math>f: A \to B </math> a), pokud <math> Cf \subseteq A \times B </math>, pak restrikce '''f''' na ''C'' je definována takto:.
 
:Je-li <math>f: A \to B </math> a <math> C \subseteq A </math>, pak restrikce '''f''' na ''C'' je definována takto:
 
:: <math>f \upharpoonleft C = f \bigcap ( C \times B ) </math>
Citováno z „https://cs.wikipedia.org/wiki/Restrikce_zobrazení“