Professional Documents
Culture Documents
Halmazelmelet
Halmazelmelet
Halmazelmélet
A halmaz fogalma alapfogalom, más néven axióma, ami azt jelenti, hogy nem definiáljuk
csak körülírjuk, példákkal szemléltetjük.
Leginkább tárgyak, számok, élőlények csoportjára, gyűjteményére mondjuk azt, hogy egy
halmazt képeznek, és a halmazt képező tárgyak, számok, élőlények a halmaz elemei.
Egy halmazt véges halmaznak nevezünk, ha véges sok eleme van; vagyis elemeinek számát
meg tudjuk adni egy természetes számmal.
Pl.: az előbbi B halmaz elemeinek száma: 7, vagyis a B halmaz véges.
Végtelen halmazról beszélünk akkor, ha a halmaz elemeinek száma nem adható meg egy
természetes számmal.
Pl.: egy adott egyenes pontjainak a halmaza.
Csak akkor tudunk halmazról beszélni, ha egy dologról pontosan el tudjuk dönteni, hogy
benne van a halmazban, vagy nincs.
Azt mondjuk, hogy két halmaz egyenlő, ha a két halmaz elemei ugyanazok.
Nevezetes számhalmazok:
Részhalmaz:
A B, ha A minden eleme eleme B-nek is.
Két halmaz egyenlő, ha A B, és B A.
Valódi részhalmaz:
A B, ha az A minden egyes eleme eleme B-nek is, és B-nek van olyan eleme, amely nem
eleme A-nak.
Nevezetes számhalmazok:
Unio (egyesítés):
A B: Azon elemek halmaza, amelyek A és B halmazok
közül legalább az
egyiknek elemei.
Metszet:
A B: Azon elemek halmaza, amelyek egyaránt elemei A-nak és
B-nek is.
Két halmazt diszjunktnak nevezünk, ha nincs közös elemük, vagyis a metszetük üres halmaz.
Pl.: Ha A:= {1; 21; 31}, és B:= {2; 12; 32}, akkor A B = , A és B diszjunkt egymással
Különbség:
A\B: Azon elemek halmaza, melyek elemei A-nak, de B-nek nem.
Pl.: Ha
A:={2; 4; 7; 9; 13}, és
B:={1; 3; 7; 8; 9; 18}
akkor: A\B:={2; 4; 13}
Szimmetrikus különbség:
Pl.: Ha
A:={2; 4; 7; 9; 13}, és B:={1; 3; 7; 8; 9; 8} akkor:
A B:={1; 2; 3; 4; 8; 13; 18}
De Morgan azonosságok:
és
Pl.: Ha az A:={3; 5; 11; 19; 37}, akkor az A halmaz elemeinek száma 5, vagyis az A
számossága 5, azaz: |A| = 5
Pl.: | | = ∞
|A B| = |A| + |B| - |A B|
Számegyenes: olyan egyenes, melyen kijelölünk egy irányt és két pontot, melyekhez
számokat rendelünk. Ezzel meghatározzuk a 0 és az 1 helyét.
A számegyenes minden pontjához tartozik egy valós szám, és fordítva: minden valós számhoz
tartozik egy pont a számegyenesen.
Zárt intervallum:
[a;b]
Nyitott intervallum:
]a;b[
a<x<b | x
a≤x<b | x
a<x≤b | x