Zobrazenie (matematika)

Zobrazenie (iné názvy: jednoznačné zobrazenie, funkcia (v širšom zmysle), totálna funkcia (v širšom zmysle), priradenie) je predpis (presnejšie binárna relácia), ktorý priraďuje každému prvku jednej množiny (A) práve jeden prvok druhej množiny (B).

Terminológia upraviť

Pojem viacznačné zobrazenie/viacznačná funkcia nie je (napriek svojmu názvu) nikdy zobrazenie/funkcia podľa vyššie uvedenej definície. Pojem parciálna funkcia takisto (napriek svojmu názvu) nie je nevyhnutne zobrazenie/funkcia podľa vyššie uvedenej definície. Pojem (len) "zobrazenie" sa však ojedinele definuje tak, že zahŕňa aj parciálne funkcie.

Pojem jednoznačné zobrazenie je "opačný" pojem k pojmu viacznačné zobrazenie. Pojem totálna funkcia je "opačný" pojem k pojmu parciálna funkcia.

Z historických dôvodov sa hovorí v niektorých prípadoch zobrazeniam (hlavne, ak je definičný obor karteziánska mocina) operácie (napr. hovoríme o operácii sčítania či násobenia).

V minulosti mali viacerí známi matematici svoju vlastnú definíciu funkcie (vždy síce podobnú vyššie uvedenej ale odlišnú).

Výraz funkcia (totálna funkcia) v užšom zmysle je taká funkcia v širšom zmysle, u ktorej je B množinou čísiel (podľa iných zdrojov musí byť navyše A množina čísiel či skupín (usporiadaných n-tíc) čísiel).

Význam upraviť

Pojem zobrazenie patrí medzi najzákladnejšie v matematike. Pôvodne vznikol ako abstrakcia vzťahov a pozorovaných zákonitostí v prírodných vedách (napr. veľkosť gravitačnej sily, ktorou je priťahované teleso k inému telesu, závisí od ich hmotností; počet jedincov za určitých podmienok je závislý od času a i.).

Definícia pomocou množín upraviť

Zobrazenie (funkcia)   z množiny A do množiny B je ľubovoľná podmnožina karteziánskeho súčinu  , ktorá spĺňa nasledovné vlastnosti:

  •  ,
  •   ak , potom  .

Prvá vlastnosť hovorí, že každému prvku množiny A musí zobrazenie   priradiť aspoň jeden prvok množiny B, kým druhá hovorí, že ho môže priradiť najviac jeden. Inými slovami, zobrazenie priradí každému prvku množiny A práve jeden prvok množiny B.

Súvisiace pojmy upraviť

Množine A hovoríme definičný obor (alebo len obor, niekedy aj doména), množine B koobor (alebo kodoména).

Obor hodnôt zobrazenia   je množina všetkých takých prvkov množiny B na ktoré sa v zobrazení   zobrazuje nejaký prvok množiny A.

Ak označíme danú funkciu napr. f, tak číslo, ktoré funkcia f priraďuje prvku z A, sa nazýva hodnota funkcie f v bode a a zapisuje sa f(a).

Zápis upraviť

Fakt, že  , často označujeme buď tzv. prefixovým zápisom:   alebo postfixovým zápisom:  . Druhá forma sa používa hlavne v algebre.

V prípade, že zobrazenie nazývame operácia (pozri vyššie), nazývame symboly označujúce operáciu operátory. Pri binárnych operáciach používame najčastejšie na zápis poznatku   tzv. infixový zápis:  .

Elementárne funkcie upraviť

Externé odkazy upraviť