8.

hét: gyakorlati anyag

Függvények tulajdonságai, bijektív leképezések, végtelen számosságok

1. Feltéve, hogy az alábbi függvényeknek mind az értelmezési tartományuk (D f ), mind pedig az értékkészletük
(R f ) véges elemszámú halmaz, döntse el, hogy mely állítások igazak és melyek hamisak. (Ha az állítás igaz,
bizonyítsa be; ha hamis, mondjon ellenpéldát.)
   
a) Ha f függvény injektív, akkor D f  = R f .
b) Ha f : X → Y függvény injektív, akkor |X| = |Y|.
   
c) Ha f függvény szürjektív, akkor D f  ≥ R f .
d) Ha f függvény szürjektív, akkor van inverze.
e) Ha f : X → Y függvényre igaz, hogy |X| ≥ |Y|, akkor szürjetív.
f) Ha f : X → Y függvény szürjektív, akkor |X| ≥ |Y|.
   
g) Ha f bijektív, akkor D f  = R f .
   
h) Ha D f  = R f , akkor f bijektív.
 
i) Ha f : X → Y függvényre igaz, hogy |X| = |Y| = R f , akkor f bijektív.

2. Adjunk meg bijekt1v leképezést az alábbi halmazok között:

a) [0, 2] és a [0, 5] intervellumok pontjainak halmaza
b) R , B = ] 0, ∞ [
c) R , B = ] 0, 1 [
3. Mikor mondjuk, hogy két halmaz ekvivalens, mit tudunk mondani a fenti halmazok számosságáról?
4. Mutassuk meg, hogy ha a természetes számok halmazát egyesítjük egy tetsz őleges véges elemszámú hal-
mazzal, az így kapott halmaz valamint a természetes számok halmaza között létezik bijektív megfeleltetés.
5. Mutassuk meg, hogy ha a természetes számok halmazából véges számú elemet elhagyunk az így kapott
halmaz és a természetes számok halmaza között létezik bijekció.
6. Mutassuk meg, hogy két megszámlálhatóan végtelen halmaz egyesítése megszámlálhatóan végtelen szá-
mosságú.
7. Mutassuk meg, hogy bármely végtelen elemszámú halmaznak van megszámlálhatóan végtelen számosságú
részhalmaza.
8. Mutassuk meg, hogy a ] 0, 1 [ intervallum pontjai és a természetes számok között nem létezik bijektív meg-
feleltetés, azaz az intervallum pontjainak a száma nem megszámlálhatóan végtelen.