Szürjekció

Szürjektív leképezés Injektív és szürjektív leképezés Nem szürjektív leképezés Szürjektív leképezésszorzat: a szorzat első tényezőjének nem kell szürjektívnek lennie

A matematikában ráképezésnek vagy szürjekciónak, illetve szürjektív leképezésnek vagy szürjektív függvénynek nevezzük azokat a leképezéseket, illetve függvényeket, amelyeknél a függvény (vagy leképzeés) értékkészlete megegyezik a függvény érkezési halmazával, azaz egy $\varphi :A\to B$ függvény pontosan akkor ráképezés, ha minden $b\in B$ elemnek létezik őse a $\varphi$ függvény mellett.

Definíció

Legyenek $A,B$ tetszőleges halmazok és $f:A\to B$ függvény. Akkor mondjuk, hogy $f$ szürjekció, ha minden $b\in B$-re létezik $a\in A$ úgy, hogy $f(a)=b$.

Példák

• Definíció szerint minden bijektív leképezés szürjektív.
• Az $f:\mathbb{ℝ}\to \mathbb{ℝ},x\mapsto 2x+1$ függvény is szürjektív, mert minden y valós számra létezik olyan x (jelesül $x=\frac{y-1}{2}$), hogy $f(x)=y$.
• Az $\ln :(0,+\mathrm{\infty })\to \mathbb{ℝ}$ természetes alapú logaritmus függvény szürjektív.
• Az $f:\mathbb{\mathbb{Z}}\to \{0,1,2,3\},x\mapsto x\mapsto x(\mathrm{mod}4)$ függvény szürjektív.

Tulajdonságok

• Ha az $f,g$ függvények szürjektívek, akkor a kompozíciójuk is szürjektív függvény.
• Ha az $g\circ f$ függvénykompozíció szürjektív leképezés, akkor a $g$ függvény szürjekció.
• Ha $X,Y$ véges halmazok és $|X|=|Y|$, továbbá $f:X\to Y$ függvény, akkor a következő állítások ekvivalensek:

1. $f$ bijekció.
2. $f$ szürjekció.
3. $f$ injekció.

Végtelen halmazokra az előző állítás nem marad érvényben. Például az $f:\mathbb{\mathbb{N}}\to \mathbb{\mathbb{N}},n\mapsto n+1$ leképezés injektív de nem szürjektív. A $g:\mathbb{\mathbb{N}}\to \mathbb{\mathbb{N}},n\mapsto |n-2|$ leképezés szürjektív de nem injektív.

Lásd még

• Injektív leképezés
• Bijekció

Hivatkozások

• Szendrei, Ágnes, Diszkrét matematika, Polygon, JATE Bolyai Intézet, Szeged (1994)

További információk

• Alice és Bob - 13. rész: Alice és Bob eladósodik