V matematike je surjektívne zobrazenie, často nazývané surjekcia, typ funkcie s úplným dosahom na kodoménu. Formálne ide o funkciu f: A → B takú, že pre každý prvok b v množine B existuje aspoň jedno a v množine A s vlastnosťou f(a) = b. To znamená, že každý prvok kodomény je obrazom niektorého prvku domény a rozsah funkcie sa rovná celej kodoméne.

Definícia a základné vlastnosti

Nech f: A → B. Funkcia f je surjektívna akplatí: ∀b ∈ B ∃a ∈ A: f(a) = b. Dôsledky tejto definície zahŕňajú:

  • Rozsah (obrazy) funkcie f sa rovná kodoméne B.
  • Ak existuje pravá inverzná funkcia g: B → A taká, že f(g(b)) = b pre všetky b ∈ B, potom f je surjektívna. Pravá inverzia je charakteristickým príznakom surjektivity.
  • Pri zloženiach funkcií, ak g ◦ f je surjektívne, tak g musí byť surjektívne (fotu však nemusí byť).

Príklady a neformálne vysvetlenie

Jednoduché príklady zahŕňajú: lineárne zobrazenie medzi vektorovými priestormi, ktoré pokrýva cieľový priestor; zmapovanie celých čísel na zvyšky modulo n je surjektívne na súbor tried zvyškov; projekcia kartézskeho súčinu A × B na druhý faktor je surjektívna. Naopak, funkcia ktorú niektoré hodnoty v kodoméne nikdy neprijme, nie je surjektívna.

Význam a použitie

Surjektívne zobrazenia sú dôležité v rôznych oblastiach matematiky: v teórii množín, v lineárnej algebre pri štúdiu obrazov a jadier zobrazení, v algebraickej topológii pri definovaní kvocientov a v teórii skupín pri homomorfizmoch, kde surjektivita znamená, že homomorfizmus je „na“ cieľovú štruktúru. V kontexte počtu prvkov (kardinálnosti) surjekcia z A do B môže existovať len ak |B| ≤ |A| v zmysle kardinálnych nerovností.

Rozdiely: injekcia a bijekcia

Surjekcia sa často porovnáva s injekciou a bijekciou. Injketívna funkcia mapuje rôzne prvky domény na rôzne prvky kodomény (žiadne dva rôzne prvky nemajú rovnaký obraz). Bijekcia je súčasne injektívna aj surjektívna a teda vytvára vzájomne jednoznačné zodpovednosti medzi prvkami domény a kodomény. Tieto pojmy sú základom pri definovaní rovnosti kardinalít dvoch množín.

Krátka história pojmu

Pojmy surjekcie, injekcie a bijekcie sa v modernej terminológii začali používať v priebehu 20. storočia; označenie a súvislé systematizovanie úloh tohto typu v algebraickej a fundamentálnej matematike podporila francúzska skupina známa ako Nicolas Bourbaki. Slovo „surjekcia" vychádza z francúzskej predpony sur- znamenajúcej "na" alebo "nad", teda funkcia ktorá pokrýva celú kodoménu. Pre viac všeobecných informácií o funkciách si možno pozrieť pojmy funkcia a rozsah.

Surjektívne zobrazenia sú základným stavebným prvkom pri formulovaní presných vzťahov medzi množinami a pri konštrukcii algebraických a topologických kvocientov. Ich rozpoznanie a vlastnosti sa používajú pri riešení rovníc, pri štúdiu riešiteľnosti a pri konštrukcii invertovateľných transformácií.