Definiční obor: Porovnání verzí

Smazaný obsah Přidaný obsah
→‎Související články: Doplněn wikiodkaz
Bez shrnutí editace
značky: možný vandalismus vulgarity editace z Vizuálního editoru
Řádek 1:
[[Image:Codomain2.SVG|right|thumb|250px|Funkce <math>\scriptstyle f</math> zobrazuje množinu <math>\scriptstyle X</math> do množiny <math>\scriptstyle Y</math>. V tomto případě je <math>\scriptstyle f</math> definována na celé množině <math>\scriptstyle X</math>. V obecnějším případě se však může stát, že ne pro všechny prvky z množiny <math>\scriptstyle X</math> existuje jejich [[vzor množiny|vzor]] při zobrazení <math>\scriptstyle f</math>.]]
 
'''Definiční obor''' [[Funkce (matematika)|funkce]] <math>\scriptstyle f</math> je [[množina]] všech hodnot, pro které je funkce <math>\scriptstyle f</math> definována. Definiční obor můžeme definovat pro jakékoli [[Zobrazení (matematika)|množinové zobrazení]]. Nechť <math>\scriptstyle T: X \to Y</math> je zobrazení z množiny <math>\scriptstyle X</math> do množiny <math>\scriptstyle Y</math>. Pak definiční obor zobrazení <math>\scriptstyle T</math> tvoří právě ty prvky množiny <math>\scriptstyle X</math>, pro něž je definován [[obraz množiny|obraz]] při zobrazení <math>\scriptstyle T</math>. Obecně nemusí být zobrazení <math>\scriptstyle T</math> definováno na celé množině <math>\scriptstyle X</math>. V tom případě tvoří jeho definiční obor [[vlastní podmnožina|vlastní podmnožinu]] množiny <math>\scriptstyle X</math>. Občas se kromě názvu ''definiční obor'' používá také označení '''doména'''. Definiční obor zobrazení <math>\scriptstyle T</math> se značí většinou <math>\scriptstyle D_T</math>, <math>\scriptstyle D(T)</math> či <math>\scriptstyle \text{Dom}(T)</math>. Posledně uvedený symbol pak vychází z anglického názvu pro definiční obor (''domain'') a je běžně používán v cizojazyčné literatuře. V matematické notaci lze definiční obor pro zobrazení <math>\scriptstyle T: X \to Y</math> zapsat jako prdíky co má Tony
 
:<math> D_T = \{ x \in X| (\exists y \in Y)(T(x) = y)\}.</math>