TMBE 0201 — Halmazok és függvények

(2014/15–I. félév)

Kollokviumi tételek

1. Halmazelméleti alapfogalmak: részhalmaz; halmazok egyenlősége; Russell tétele; műveletek

halmazokkal, műveleti tulajdonságok, de Morgan azonosságok.

2. Relációk : rendezett párok, Descartes szorzat; reláció értelmezési tartománya, értékkészlete,

inverze; relációk kompozı́ciója, a kompozı́ció tulajdonságai.

3. Speciális relációk I: függvények és a velük kapcsolatos alapvető fogalmak és ismeretek.
A halmazelméleti műveletek és a függvényhatás kapcsolata. Indexelt halmazrendszerek,
a kiválasztási axióma.

4. Speciális relációk II: Ekvivalencia reláció és az általa indukált osztályozás. Rendezési
reláció és parciális rendezés. Korlátosság, minimum, maximum, infimum, szuprémum.
A kiválasztási axióma.

5. Halmazok számossága. Egyenlő számosság, kisebb vagy egyenlő számosság. A Tarski-

féle fixponttétel és a Schröder–Bernstein tétel. A számossági relációk tulajdonságai.
Hatványhalmaz számossága. Végtelen és véges halmazok.

6. A valós számok axiómarendszere és ennek néhány közvetlen következménye. Az abszolút

érték függvény. A Dedekind-tétel és a Cantor-féle metszettétel.

7. A természetes számok halmaza: Peano-axiómák, Archimédeszi tulajdonság, teljes in-

dukcó, a rekurzı́v definı́ció elve. Műveleti tulajdonságok.

8. Az egész számok, a racionális- és irracionális számok halmaza. Az egészrész- és törtrész-
függvény. Sűrűségi tételek.

9. Az n-edik gyök fogalma és létezése, racionális kitevőjű hatványok. A p-adikus törtbe
fejtés tétele.

10. Nevezetes egyenlőtlenségek. A p-edik hatványközép fogalma. A számtani–mértani–

harmónikus közepek közötti egyenlőtlenségek. A Cauchy–Bunyakovszkij–Schwarz- és a
Minkowski-egyenlőtlenség.

11. A komplex számok halmaza és algebrai struktúrája. Komplex szám valós része, képzetes
része, konjugáltja és abszolút értéke. A Cauchy–Bunyakovszkij–Schwarz-egyenlőtlenség
komplex számokra.

12. Számhalmazok számossága. Véges halmazok jellemzése. Megszámlálhatóan végtelen és

kontinuum számosság. Végtelen halmaz megszámlálható részhalmaza. N, Z, Q, R és C
számossága.