Halmazok, halmazműveletek
Tételszám: #1 | Kategória: Gondolkodási módszerek, halmazok, logika, kombinatorika, gráfok | Szint: Emelt szint (2026)
1. Bevezetés
A halmaz a matematika legegyszerűbb és egyben legfontosabb alapfogalma: dolgok összessége, amelyről minden esetben egyértelműen eldönthető, hogy beletartozik-e vagy sem. A halmazokra épül a számhalmazok rendszere, a függvény értelmezési tartománya, az egyenletek megoldáshalmaza és a valószínűség-számítás eseménytere is. Ezért nem véletlen, hogy ez az első tétel: ha ez megvan, sok másik tétel fele már kész.
Ebben a tételben végigmegyünk az alapfogalmakon és a jelöléseken, a négy halmazműveleten, a de Morgan azonosságokon, az elemszám kiszámításán (logikai szita), a koordináta-rendszerbeli ponthalmazokon, végül a számosság emelt szintű kérdésén: mit jelent az, hogy egy végtelen halmaz megszámlálhatóan végtelen. Három érettségi mintapélda mutatja meg, hogyan kell mindezt leírni a dolgozatban.
2. Mire jó ez, és mikor ismerd fel
A halmazos feladatot az érettségin ritkán hívják „halmazos feladatnak”. Öt jel árulja el, hogy halmazokkal kell dolgoznod.
- A szövegben „vagy”, „és”, „egyik sem”, „csak az egyik” szerepel. Ez mindig halmazművelet: a „vagy” unió, az „és” metszet, az „egyik sem” komplementer.
- Elemszámokat kapsz, és egy átfedő csoport elemszámát kérdezik. Ilyenkor a logikai szita kell, mert az átfedést különben kétszer számolod.
- Egy halmaz elemeit tulajdonsággal adják meg. Például „a 7-es számjegyet tartalmazó húszjegyű számok”. Ilyenkor először azt döntsd el, mi az alaphalmaz.
- Részhalmazok számát kérdezik. Ez kombinatorika, de a halmaz nyelvén van kimondva.
- Egy állításról kell eldönteni, hogy igaz-e, és a megfordítását is kérik. Ez a halmazok és a logika közös területe, és emelt szinten rendszeresen visszatér.
A gyakorlati életből származó, szöveges feladatot az írásbeli II. részében kifejezetten kérik: a feladatsor 30-40 százaléka szöveges, modellalkotást igénylő feladat. A modellalkotás első lépése sokszor épp az, hogy a szöveget halmazokra fordítod le.
3. Alapfogalmak és jelölések
A halmazt és az elem fogalmát a matematika alapfogalomnak tekinti, tehát nem definiálja, hanem a tulajdonságaival írja le. Amit viszont pontosan ki kell tudni mondani, az mind lentebb áll.
3.1 A halmaz megadási módjai
Egy halmazt akkor adtunk meg jól, ha minden dologról egyértelműen eldönthető, hogy eleme-e. Három megadási mód használatos.
- Felsorolással, kapcsos zárójelben: A = {2; 3; 5; 7}. Az elemek sorrendje nem számít, és minden elem csak egyszer szerepel: {1; 2; 2} ugyanaz a halmaz, mint {1; 2}.
- Tulajdonsággal, függőleges vonal után: B = {x | x egyjegyű pozitív prímszám}. Ezt így olvasd: „azon x-ek halmaza, amelyekre igaz, hogy...”. Ez a két halmaz ugyanaz: A = B.
- Intervallummal, ha valós számokról van szó: [-2; 5] a zárt, ]-2; 5[ a nyílt intervallum. A szögletes zárójel felé eső végpont hozzátartozik a halmazhoz, a kifelé fordított nem.
A gyakran használt számhalmazoknak saját jelük van: N a természetes számok, Z az egész számok, Q a racionális számok, R a valós számok halmaza. Ezek egymásba ágyazódnak: N ⊆ Z ⊆ Q ⊆ R.
3.2 Eleme, részhalmaz, egyenlőség
Ez a három reláció adja a tétel szóbeli definícióit, ezért szó szerint tanuld meg őket.
- Eleme. Ha az a dolog az A halmazhoz tartozik, azt így jelöljük: a ∈ A. Ha nem tartozik hozzá: a ∉ A.
- Részhalmaz. Az A halmaz részhalmaza a B halmaznak, ha A minden eleme B-nek is eleme. Jelölés: A ⊆ B.
- Valódi részhalmaz. Az A halmaz valódi részhalmaza B-nek, ha A ⊆ B és A ≠ B, tehát B-nek van olyan eleme, ami A-nak nem eleme. Jelölés: A ⊂ B.
- Halmazok egyenlősége. A = B akkor és csak akkor, ha A ⊆ B és B ⊆ A, vagyis pontosan ugyanazok az elemeik.
Az egyenlőség fenti alakja nem szőrszálhasogatás: két halmaz egyenlőségét mindig két tartalmazás igazolásával bizonyítjuk. Ezt fogod használni a de Morgan azonosságoknál is.
Vigyázz a jelölésre: a magyar középiskolai gyakorlatban a ⊆ jelenti a részhalmazt, a ⊂ pedig a valódi részhalmazt, de sok tankönyv a ⊂ jelet használja a részhalmazra is. A dolgozatban ezért írd oda szóval is, melyikre gondolsz.
3.3 Üres halmaz, alaphalmaz, véges és végtelen halmaz
Az üres halmaz az a halmaz, amelynek egyetlen eleme sincs. Jelölése ∅ vagy { }. Az üres halmaz minden halmaznak részhalmaza, és ezt a vizsgán gyakran elfelejtik.
Az alaphalmaz (jele általában H) az a halmaz, amelynek a részhalmazaival éppen dolgozunk. Az alaphalmaz nélkül a komplementer értelmetlen: „a nem prímszámok halmaza” mást jelent az egyjegyű számok között és a valós számok között.
Egy halmaz véges, ha elemeinek száma egy természetes szám, tehát meg tudod számolni őket. Az A halmaz elemszámát |A| jelöli. A véges halmazok elemszáma 0 is lehet: |∅| = 0. Ha egy halmaz nem véges, akkor végtelen. Véges halmaz például az egyjegyű pozitív egészek halmaza (elemszáma 9), végtelen halmaz N, Z, Q és R.
4. A halmazműveletek
Négy műveletet kell tudni elvégezni és definiálni. Mindegyiknél ugyanaz a séma: mit gyűjtünk össze, és milyen feltétellel.
4.1 Unió, metszet, különbség
- Unió (egyesítés). A ∪ B azon elemek halmaza, amelyek A-nak vagy B-nek elemei. A „vagy” itt megengedő: a mindkettőben szereplő elem is beletartozik, de csak egyszer.
- Metszet (közös rész). A ∩ B azon elemek halmaza, amelyek A-nak is és B-nek is elemei.
- Különbség. A \ B azon elemek halmaza, amelyek A-nak elemei, de B-nek nem. A különbség nem felcserélhető: A \ B általában nem ugyanaz, mint B \ A.
Példa: A = {1; 2; 3; 4}, B = {3; 4; 5}. Ekkor A ∪ B = {1; 2; 3; 4; 5}, A ∩ B = {3; 4}, A \ B = {1; 2}, B \ A = {5}.
4.2 Komplementer halmaz és a diszjunkt halmazok
A komplementer halmaz csak alaphalmazzal együtt értelmes. Ha A ⊆ H, akkor A komplementere Ā = H \ A, tehát H azon elemeinek halmaza, amelyek nem elemei A-nak. Más jelöléssel A' is előfordul.
Két hasznos összefüggés, amit érdemes fejben tartani: A ∪ Ā = H és A ∩ Ā = ∅, továbbá |A| + |Ā| = |H|. Ez utóbbi a komplementer módszer alapja: ha a keresett esetek számát nehéz megszámolni, számold meg a maradékot, és vond ki az egészből.
Két halmaz diszjunkt (idegen), ha nincs közös elemük, tehát A ∩ B = ∅. Diszjunkt halmazokra a szita egyszerűbb alakot ölt: |A ∪ B| = |A| + |B|.
4.3 Venn-diagram szöveggel felépítve
A Venn-diagram a halmazok viszonyát mutató rajz, és a dolgozatban a legerősebb eszközöd. A halmazos feladatnál mindig rajzold le, mert a részpontok gyakran a helyes ábrához kötődnek, és az ábra a saját ellenőrzésed is.
Két halmaz esetén így néz ki. Rajzolj egy téglalapot: ez az alaphalmaz, H. Bele két egymást átfedő kört: a bal az A, a jobb a B. Így négy tartomány keletkezik:
- csak A: A \ B,
- a két kör közös része: A ∩ B,
- csak B: B \ A,
- a köröket körülvevő terület a téglalapon belül: az uniót nem tartalmazó rész, azaz H \ (A ∪ B).
Három halmaz esetén három, páronként átfedő kör kell, és nyolc tartomány keletkezik: a hármas metszet, három darab „pontosan két halmazhoz tartozó” rész, három darab „csak egy halmazhoz tartozó” rész, és a köröket körülvevő terület. Ha egy tartomány üres, azt besatírozzuk. Elemszámos feladatnál mindig belülről kifelé tölts: előbb a hármas metszet, aztán a párok, végül az egyedi részek.
4.4 A halmazműveletek azonosságai
A halmazműveletek sok tulajdonsága megegyezik a számokkal végzett műveletekével, ezért ugyanazok a szavak írják le őket.
- Kommutativitás: A ∪ B = B ∪ A és A ∩ B = B ∩ A. A különbségre nem igaz.
- Asszociativitás: (A ∪ B) ∪ C = A ∪ (B ∪ C), és ugyanez metszetre.
- Disztributivitás: A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C), és A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C).
- Kétszeres komplementer: a komplementer komplementere maga a halmaz.
- A különbség átírása: A \ B = A ∩ B̄. Ez a legtöbbet érő átalakítás, mert így a különbség is metszetté válik.
4.5 Tétel és bizonyítás: a de Morgan azonosságok
A tétel kimondása. Legyen A és B a H alaphalmaz két részhalmaza. Ekkor
A ∪ B komplementere = Ā ∩ B̄
A ∩ B komplementere = Ā ∪ B̄
Szavakkal: az unió komplementere a komplementerek metszete, a metszet komplementere pedig a komplementerek uniója. A komplementálás felcseréli az uniót és a metszetet.
Bizonyítás (az első azonosságra). Két halmaz egyenlőségét két tartalmazás igazolásával bizonyítjuk.
1. Legyen x eleme az (A ∪ B) komplementerének.
Ekkor x ∈ H, és x nem eleme A ∪ B-nek.
Ha x nem eleme az uniónak, akkor x sem A-nak, sem B-nek nem eleme,
mert az unió éppen azokat gyűjti össze, amelyek legalább az egyikben benne vannak.
Tehát x ∈ Ā és x ∈ B̄, vagyis x ∈ Ā ∩ B̄.
Ezzel az (A ∪ B) komplementere ⊆ Ā ∩ B̄ tartalmazás megvan.
2. Legyen most x ∈ Ā ∩ B̄.
Ekkor x ∈ H, és x nem eleme A-nak, és x nem eleme B-nek sem.
Ha egyik halmaznak sem eleme, akkor az uniójuknak sem eleme,
tehát x eleme az (A ∪ B) komplementerének.
Ezzel a Ā ∩ B̄ ⊆ (A ∪ B) komplementere tartalmazás is megvan.
3. A két tartalmazásból a két halmaz egyenlő. Ezt kellett bizonyítani.
A második azonosság ugyanígy megy, csak az „egyik sem” helyére a „nem mindkettő” kerül. Ha x nem eleme a metszetnek, akkor legalább az egyik halmaznak nem eleme, tehát benne van Ā-ban vagy B̄-ban.
Miért hasznos ez? Mert a tagadást átfordítja. A „nem igaz, hogy angolul is és németül is tanul” állítás ugyanaz, mint az „angolul nem tanul, vagy németül nem tanul”. Feladatban ez azt jelenti, hogy a nehéz feltételt sokszor a komplementerén keresztül érdemes megszámolni.
5. Elemszám és a logikai szita
A logikai szita arra ad választ, hogyan számoljuk meg az unió elemszámát úgy, hogy az átfedést ne vegyük kétszer figyelembe.
5.1 A szita két halmazra
|A ∪ B| = |A| + |B| - |A ∩ B|
Az indoklás fél mondat: ha az |A|-t és a |B|-t összeadjuk, a közös elemeket kétszer számoltuk, ezért egyszer le kell vonni őket.
Mintaszámolás: egy 30 fős osztályban 18-an tanulnak angolul, 14-en németül, 6-an mindkettőt. Ekkor |A ∪ N| = 18 + 14 - 6 = 26, tehát 26 diák tanul legalább az egyik nyelven, és 30 - 26 = 4 diák egyiket sem. A „legalább az egyik” mindig unió, az „egyiket sem” mindig az unió komplementere.
5.2 A szita három halmazra
|A ∪ B ∪ C| = |A| + |B| + |C| - |A ∩ B| - |A ∩ C| - |B ∩ C| + |A ∩ B ∩ C|
A hármas metszetet háromszor adtuk hozzá és háromszor vontuk le, ezért a végén egyszer vissza kell tenni. A váltakozó előjel a szabály: egyesével plusz, párosával mínusz, hármasával plusz.
Mintaszámolás: 40 diák közül 22 angolul, 17 németül, 10 franciául tanul; 9-en angolul és németül, 6-an angolul és franciául, 4-en németül és franciául, és 2 diák mind a hármat tanulja. Ekkor
|A ∪ N ∪ F| = 22 + 17 + 10 - 9 - 6 - 4 + 2 = 32,
tehát 40 - 32 = 8 diák egyik nyelvet sem tanulja. Az egyes tartományok visszafelé is kiszámolhatók: csak angolt 22 - 9 - 6 + 2 = 9 diák tanul. Az ellenőrzés az, hogy a nyolc tartomány elemszámának összege 40 legyen, és egyik se legyen negatív.
5.3 Részhalmazok száma
Ha egy halmaznak n eleme van, akkor 2ⁿ részhalmaza van, mert minden elemről külön-külön eldöntjük, hogy beletesszük-e vagy sem, és ez elemenként 2 lehetőség. Ebbe beleszámít az üres halmaz és maga a halmaz is, tehát a valódi részhalmazok száma 2ⁿ - 1.
Ha azt kérdezik, hány pontosan k elemű részhalmaza van egy n elemű halmaznak, a válasz a binomiális együttható: n alatt a k. Például egy 9 elemű halmaznak 9 alatt a 4, azaz 126 darab négyelemű részhalmaza van. Ezt a 2. mintapélda használja.
6. Ponthalmazok a koordináta-rendszerben
A koordináta-rendszerben a halmaz elemei számpárok, és a halmazt itt is tulajdonsággal adjuk meg. A művelet ugyanaz, csak most rajzban látszik: a metszet az átfedő tartomány, az unió a két tartomány együtt, a komplementer a maradék síkrész.
Néhány alaptípus, amit fel kell ismerned:
- {(x; y) | y = 2x - 1} egy egyenes, mert a feltétel elsőfokú egyenlet.
- {(x; y) | y ≥ 2x - 1} az egyenes és a fölötte lévő félsík. Ha a feltételben egyenlőség is szerepel, a határvonal hozzátartozik a halmazhoz, ezt folytonos vonallal jelöljük; ha nem, szaggatottal.
- {(x; y) | x² + y² ≤ 9} egy origó középpontú, 3 egység sugarú körlap, a határoló körvonallal együtt.
- {(x; y) | |x| ≤ 2} egy függőleges sáv, a -2 és a 2 abszcisszájú egyenesek között.
Két feltétel metszete a két tartomány közös része. Például {(x; y) | |x| ≤ 2} ∩ {(x; y) | |y| ≤ 1} egy 4 egység széles és 2 egység magas, origó középpontú téglalap a határvonalaival együtt. A dolgozatban mindig írd is le szavakkal, milyen alakzatot kaptál, mert az ábra önmagában félreolvasható.
7. Számosság: véges és végtelen halmazok
Két véges halmazról ránézésre eldöntjük, melyikben van több elem: megszámoljuk őket. Végtelen halmazoknál ez nem megy, ezért a matematika egy másik, általánosabb eszközt használ.
7.1 A megszámlálhatóan végtelen halmaz definíciója
Két halmaz egyenlő számosságú, ha elemeik között létesíthető kölcsönösen egyértelmű megfeleltetés, vagyis minden elemnek pontosan egy párja van a másik halmazban, és minden elem párja valaki.
Egy halmaz megszámlálhatóan végtelen, ha elemei kölcsönösen egyértelműen megfeleltethetők a pozitív egész számoknak. Szemléletesen: a halmaz elemei sorba állíthatók úgy, hogy van első, második, harmadik elem, és minden elem előbb-utóbb sorra kerül.
Ezt a definíciót szó szerint kérdezhetik a szóbelin, ezért így tanuld meg. Példák a három számosságtípusra:
- véges halmaz: az egyjegyű pozitív egész számok halmaza, elemszáma 9;
- megszámlálhatóan végtelen halmaz: a pozitív egészek, az egészek, a páros számok és a racionális számok halmaza;
- nem megszámlálhatóan végtelen halmaz: a valós számok halmaza, és már a [0; 1] intervallum is.
7.2 Tétel és bizonyítás: a pozitív páros számok halmaza megszámlálhatóan végtelen
A tétel kimondása. A pozitív páros számok P = {2; 4; 6; 8; ...} halmaza megszámlálhatóan végtelen, tehát ugyanakkora számosságú, mint a pozitív egész számok N⁺ halmaza.
Bizonyítás. A definíció szerint elég megadnunk egy kölcsönösen egyértelmű megfeleltetést N⁺ és P között, és megmutatni, hogy tényleg az.
Legyen a hozzárendelés f(n) = 2n, ahol n pozitív egész.
1. Az f minden pozitív egészhez pozitív páros számot rendel,
mert 2n mindig osztható 2-vel és pozitív. (az f valóban P-be képez)
2. Különböző n-ekhez különböző kép tartozik:
ha 2n₁ = 2n₂, akkor 2-vel osztva n₁ = n₂. (az f nem duplikál)
3. Minden p ∈ P elő is áll: p páros, tehát p = 2k
valamely k pozitív egészre, és ekkor f(k) = p. (az f nem hagy ki elemet)
A 2. és a 3. lépés együtt azt jelenti, hogy az f kölcsönösen egyértelmű
megfeleltetés N⁺ és P között, tehát P megszámlálhatóan végtelen.
Ezt kellett bizonyítani.
A megfeleltetés első néhány párja: 1 ↔ 2, 2 ↔ 4, 3 ↔ 6, 4 ↔ 8. A bizonyítás lényege, hogy mindhárom lépést le kell írni: a megfeleltetés megadása önmagában nem elég, azt is meg kell mutatni, hogy nem hagy ki és nem duplikál.
Itt bukkan fel a végtelen halmazok furcsasága: P valódi részhalmaza N⁺-nak, mégis ugyanannyi eleme van. Véges halmazoknál ez lehetetlen, végtelen halmazoknál viszont megengedett, sőt éppen ez különbözteti meg őket. Ugyanígy bizonyítható, hogy a pozitív egészek négyzeteinek halmaza is megszámlálhatóan végtelen: ott a megfeleltetés f(n) = n².
7.3 Nem megszámlálhatóan végtelen halmaz
Nem minden végtelen halmaz megszámlálható. A valós számok halmaza nem megszámlálhatóan végtelen: az elemei nem állíthatók olyan sorba, amelyben minden valós szám előbb-utóbb sorra kerül. Ez már a [0; 1] intervallumra is igaz.
A bizonyítás ötlete az úgynevezett átlós módszer: tegyük fel, hogy sorba tudtuk állítani a [0; 1] intervallum összes számát a végtelen tizedes tört alakjukkal. Ekkor készíthetünk egy olyan új számot, amelynek az első tizedesjegye különbözik az első szám első jegyétől, a második jegye a második szám második jegyétől, és így tovább. Ez a szám a [0; 1]-ben van, de a listában nem szerepelhet, tehát a lista nem volt teljes. Emelt szinten a példa és a tény kell, a részletes bizonyítás nem.
Ebből az következik, hogy a végtelennek több „mérete” van: a racionális számoké megszámlálhatóan végtelen, a valós számoké ennél nagyobb.
8. Mintapélda 1: számhalmazok, hova kerül a szám
A feladat (3 pont). Az f függvény hozzárendelési szabálya f(x) = 3⁻ˣ, ahol x valós szám. Helyezd el a számhalmazok ábrájának megfelelő részeibe az f(-2), f(0,5) és f(5) függvényértékeket.
Az ábra szöveggel. A feladatlap halmazábráján két tartomány áll egymás mellett: a Q (benne a Z, azon belül az N) és mellette az R \ Q, vagyis az irracionális számok halmaza. Ugyanez egymásba ágyazva is felrajzolható: legkívül R, benne Q, azon belül Z, legbelül N, az R-en belüli, de a Q-n kívüli rész pedig az R \ Q.
Megoldás.
f(-2) = 3^(-(-2)) = 3² = 9.
A 9 pozitív egész szám, tehát 9 ∈ N. A legbelső tartományba kerül.
f(0,5) = 3^(-0,5) = 1 / √3 = √3 / 3 ≈ 0,577.
A √3 irracionális, és egy irracionális szám harmada is irracionális,
tehát f(0,5) ∈ R \ Q. Az R-en belüli, Q-n kívüli tartományba kerül.
f(5) = 3^(-5) = 1 / 3⁵ = 1 / 243.
Két egész szám hányadosa, tehát racionális, de nem egész,
ezért f(5) ∈ Q \ Z. A Q-n belüli, Z-n kívüli tartományba kerül.
Amit ez a feladat tanít. A negatív kitevő reciprokot jelent, tehát 3⁻ˣ értéke pozitív x-re 1-nél kisebb. A besoroláshoz mindig a legszűkebb halmazt kell megadni: a 9 ugyan valós is meg racionális is, de a helye N-ben van. A dolgozatban a besorolás mellé írd oda a kiszámított függvényértéket is: az útmutató szerint aki a megoldását nem indokolja (a kiszámított függvényértékeket nem tünteti fel), legfeljebb 2 pontot kaphat a 3-ból.
9. Mintapélda 2: részhalmazok száma és egy állítás megfordítása
A feladat (4 + 3 pont). Legyen H az egyjegyű pozitív egész számok halmaza.
b) Hány olyan 4 elemű részhalmaza van H-nak, amelynek az 1 vagy a 2 eleme?
c) A és B legyen a fenti H alaphalmaz két részhalmaza. Add meg az alábbi (igaz) állítás megfordítását, és add meg a megfordítás logikai értékét. Válaszodat indokold. Az állítás: „Ha A = B̄, akkor A ∩ B = ∅.”
Megoldás, b) rész, logikai szitával. H elemei az 1-től 9-ig terjedő egészek, tehát |H| = 9.
Jelölje E azokat a négyelemű részhalmazokat, amelyeknek az 1 eleme,
K pedig azokat, amelyeknek a 2 eleme. A kérdés |E ∪ K|.
|E|: az 1 fix, a maradék 3 elemet a többi 8 közül választjuk:
8 alatt a 3 = 56.
|K|: ugyanígy, a 2 fix: 8 alatt a 3 = 56.
|E ∩ K|: az 1 és a 2 is benne van, a maradék 2 elemet a többi 7 közül:
7 alatt a 2 = 21.
|E ∪ K| = 56 + 56 - 21 = 91.
Tehát 91 ilyen részhalmaz van. A 21 levonása a feladat lelke: azokat a részhalmazokat, amelyekben az 1 és a 2 is benne van, mindkét oldalon megszámoltuk.
Ugyanez komplementer módszerrel, ellenőrzésnek.
Az összes négyelemű részhalmaz száma: 9 alatt a 4 = 126.
Rosszak azok, amelyekben sem az 1, sem a 2 nincs benne:
mind a 4 elem a maradék 7 közül kerül ki, ez 7 alatt a 4 = 35.
Megfelelő: 126 - 35 = 91.
A két úton ugyanaz jött ki, tehát az eredmény jó. Az útmutató mindkét megoldást teljes értékűnek fogadja el.
Megoldás, c) rész. Egy „ha P, akkor Q” alakú állítás megfordítása a „ha Q, akkor P” állítás.
Az eredeti állítás: Ha A = B̄, akkor A ∩ B = ∅.
A megfordítása: Ha A ∩ B = ∅, akkor A = B̄.
A megfordítás HAMIS.
Ellenpélda: legyen A = {1} és B = {2}.
Ekkor A ∩ B = ∅, tehát a feltétel teljesül.
De B̄ = H \ B = {1; 3; 4; 5; 6; 7; 8; 9}, ami nem egyenlő A-val,
tehát a következmény nem teljesül.
Amit ez a feladat tanít. Egy állítás cáfolatához egyetlen ellenpélda elég, de azt konkrétan le kell írni, és meg kell mutatni, hogy a feltétel teljesül, a következtetés viszont nem. Az is látszik, hogy két diszjunkt halmaz nem feltétlenül egymás komplementere: a komplementerségnek az is feltétele, hogy együtt kiadják az alaphalmazt.
10. Mintapélda 3: melyik nagyobb, a halmaz vagy a komplementere
A feladat (5 pont). Legyen a H alaphalmaz a húszjegyű pozitív egész számok halmaza, az A halmaz pedig a 7-es számjegyet tartalmazó húszjegyű pozitív egész számok halmaza. Melyik a nagyobb: |A| vagy |Ā|?
A felismerés. Az A halmazt közvetlenül nehéz megszámolni, mert a 7-es számjegy sokféleképpen elhelyezkedhet. A komplementerét viszont könnyű: Ā azokat a húszjegyű számokat tartalmazza, amelyekben egyetlen 7-es sincs. Ezért komplementer módszerrel dolgozunk.
Megoldás.
1. Az alaphalmaz elemszáma.
Egy húszjegyű szám első számjegye 9-féle lehet (1-től 9-ig, a 0 nem),
a további 19 helyiértéken mind a 10 számjegy állhat.
|H| = 9 · 10¹⁹.
2. A komplementer elemszáma.
Ha nincs benne 7-es, az első számjegy 8-féle lehet (nem lehet 0 és nem lehet 7),
a további 19 helyiértéken 9-féle számjegy állhat (a 7-es kivételével).
|Ā| = 8 · 9¹⁹ ≈ 1,08 · 10¹⁹.
3. A halmaz elemszáma.
|A| = |H| - |Ā| = 9 · 10¹⁹ - 8 · 9¹⁹ ≈ 9 · 10¹⁹ - 1,08 · 10¹⁹ = 7,92 · 10¹⁹.
4. Összehasonlítás.
7,92 · 10¹⁹ > 1,08 · 10¹⁹, tehát |A| > |Ā|.
Tehát a 7-es számjegyet tartalmazó húszjegyű számokból lényegesen több van, mint amennyiben nincs 7-es. Ez elsőre meglepő, de érthető: húsz helyiértéken már ritka, hogy egyszer se szerepeljen a 7-es: ez a húszjegyű számoknak csak nagyjából a 12 százalékára igaz.
Amit ez a feladat tanít. A |A| + |Ā| = |H| összefüggés akkor is használható, ha a számok csillagászatiak, mert a nagyságrendeket normálalakban hasonlítjuk össze. A számológép a 9¹⁹-t kiszámolja, de az összehasonlításhoz elég a normálalak: 10¹⁹ kitevője mindkét oldalon ugyanaz, tehát a szorzótényezőket kell nézni.
11. Tipikus hibák
- Itt a legtöbben elrontják: az uniónál kétszer számolják a közös részt. Ha 18 + 14 = 32 jött ki egy 30 fős osztályban, az azonnal árulkodik. A helyes lépés a szita: 18 + 14 - 6 = 26.
- Komplementer alaphalmaz nélkül. Az Ā jelölésnek csak akkor van értelme, ha megmondtad, mi a H. Írd le a dolgozat elején egy mondatban: „Az alaphalmaz legyen H = ...”.
- A különbség felcserélése. A \ B nem ugyanaz, mint B \ A. A visszaellenőrzés egyszerű: a különbség első tagja adja az elemeket, a második csak kivesz belőle.
- Az üres halmaz kifelejtése. Az üres halmaz minden halmaznak részhalmaza, és a 2ⁿ részhalmaz közé is beleszámít. Ha a feladat valódi részhalmazt kér, akkor sem az üres halmazt kell levonni, hanem magát a halmazt.
- A megfordítás összekeverése a tagadással. A „ha P, akkor Q” megfordítása „ha Q, akkor P”, nem pedig „ha nem P, akkor nem Q”. Ez a kettő nem ugyanaz, és a javítási útmutató külön pontot ad a helyes megfordításért.
- A de Morgan azonosság fél alkalmazása. A komplementálásnál nemcsak a halmazok fölé kerül vonás, hanem a műveleti jel is megfordul: az unióból metszet lesz, a metszetből unió.
- A végtelen halmazok elemszámával számolnak. A |A ∪ B| = |A| + |B| - |A ∩ B| képlet véges halmazokra szól. Végtelen halmazoknál számosságról beszélünk, nem elemszámról.
- Az ellenpélda hiánya. Ha egy állításról azt írod, hogy hamis, de nem adsz konkrét ellenpéldát, a pont nem jár. Egyetlen jól leírt ellenpélda viszont elég.
12. Ellenőrzés: hogyan nézd meg, jó-e az eredményed
Halmazos feladatnál négy gyors ellenőrzés van, és mind a négy másfél percbe kerül.
- Összeadás-próba a Venn-diagramon. Töltsd ki a tartományokat elemszámokkal, és add össze őket: az összegnek az alaphalmaz elemszámát kell adnia. Ha ennél többet kapsz, valahol kétszer számoltál.
- Negatív tartomány nincs. Ha a szitából egy tartományra negatív elemszám jön ki, akkor vagy a feladat adatai ellentmondásosak, vagy elszámoltad az előjeleket.
- Nagyságrendi becslés. A metszet elemszáma soha nem lehet nagyobb egyik halmaz elemszámánál sem, az unióé pedig soha nem lehet kisebb a nagyobbiknál: |A ∩ B| ≤ |A| ≤ |A ∪ B|.
- Két úton számolj. A komplementer módszer és a közvetlen számolás egymás ellenőrzése. A 2. mintapéldában pontosan ez történt: 56 + 56 - 21 és 126 - 35 is 91-et adott.
13. Alkalmazás és matematikatörténeti vonatkozás
Keresés és adatbázisok. A keresőkben és az adatbázis-lekérdezésekben a három logikai kapcsolószó pontosan a három halmazművelet: az AND a metszet, az OR az unió, a NOT a komplementer. Amikor egy webáruházban két szűrőt egyszerre kapcsolsz be, metszetet képzel; amikor egy keresés túl kevés találatot ad, jellemzően azért, mert metszetet kértél unió helyett. A de Morgan azonosságok itt is dolgoznak: a „nem (piros és nagy)” feltétel ugyanaz, mint a „nem piros vagy nem nagy”, és a keresőmotor ilyen átalakításokkal egyszerűsíti a lekérdezést.
Beszámlálás a logikai szitával. A szitát mindenütt használják, ahol átfedő csoportokat kell megszámolni: hányan vettek részt legalább egy programon, hány szám osztható 3-mal vagy 5-tel. Például 1-től 100-ig 33 szám osztható 3-mal, 20 osztható 5-tel, és 6 osztható 15-tel, tehát 33 + 20 - 6 = 47 szám osztható 3-mal vagy 5-tel, és 53 szám egyikkel sem.
A halmazelmélet szerepe a mai matematikában. A halmazelmélet a 19. század második felében jött létre, megalapozója Georg Cantor német matematikus, aki a végtelen halmazok számosságát vizsgálta. Tőle származik az a felismerés, hogy a végtelennek több különböző mérete van: a racionális számok halmaza megszámlálhatóan végtelen, a valós számoké viszont nem. Ez akkoriban komoly vitát váltott ki. Mára a halmazelmélet a matematika közös nyelve lett: a függvény, a reláció, a számhalmazok és a geometriai ponthalmazok mind halmazokkal vannak megfogalmazva, és a részletes érettségi vizsgakövetelmény is a halmazokkal kezdi a felsorolást.
14. Összefoglaló
- A halmaz és az elem alapfogalom: egy halmaz akkor van jól megadva, ha minden dologról eldönthető, hogy eleme-e.
- Halmazt felsorolással, tulajdonsággal vagy intervallummal adhatunk meg, és a számhalmazok jelölése N, Z, Q, R, ahol N ⊆ Z ⊆ Q ⊆ R.
- Az A halmaz részhalmaza B-nek, ha A minden eleme B-nek is eleme; valódi részhalmaz, ha ezen felül A ≠ B.
- Két halmaz akkor egyenlő, ha kölcsönösen részhalmazai egymásnak, és minden halmazegyenlőséget így bizonyítunk.
- A négy művelet: unió (vagy), metszet (és), különbség (az egyikben igen, a másikban nem) és a komplementer (ami az alaphalmazból kimarad).
- A de Morgan azonosságok szerint az unió komplementere a komplementerek metszete, a metszet komplementere pedig a komplementerek uniója: a komplementálás felcseréli a két műveletet.
- A logikai szita két halmazra |A ∪ B| = |A| + |B| - |A ∩ B|, három halmazra pedig váltakozó előjellel folytatódik, a végén a hármas metszet visszaadásával.
- Egy n elemű halmaznak 2ⁿ részhalmaza van, és pontosan k elemű részhalmazainak száma n alatt a k.
- Koordináta-rendszerben a halmaz elemei számpárok: az elsőfokú feltétel egyenest vagy félsíkot, az x² + y² alakú feltétel kört vagy körlapot ad.
- Egy halmaz megszámlálhatóan végtelen, ha elemei kölcsönösen egyértelműen megfeleltethetők a pozitív egész számoknak, tehát sorba állíthatók.
- A pozitív páros számok halmaza megszámlálhatóan végtelen, amit az f(n) = 2n megfeleltetés bizonyít, pedig valódi részhalmaza a pozitív egészeknek.
- A valós számok halmaza nem megszámlálhatóan végtelen, tehát a végtelennek több különböző mérete van.
15. Kulcsfogalmak
- Halmaz - dolgok olyan összessége, amelyről minden esetben egyértelműen eldönthető, hogy egy adott dolog beletartozik-e.
- Alaphalmaz (H) - az a halmaz, amelynek a részhalmazaival éppen dolgozunk; a komplementer csak ehhez képest értelmes.
- Részhalmaz (A ⊆ B) - A minden eleme B-nek is eleme.
- Valódi részhalmaz (A ⊂ B) - A ⊆ B, és A ≠ B.
- Üres halmaz (∅) - az a halmaz, amelynek egyetlen eleme sincs; minden halmaznak részhalmaza.
- Unió (A ∪ B) - azon elemek halmaza, amelyek A-nak vagy B-nek elemei.
- Metszet (A ∩ B) - azon elemek halmaza, amelyek A-nak is és B-nek is elemei.
- Különbség (A \ B) - azon elemek halmaza, amelyek A-nak elemei, de B-nek nem.
- Komplementer (Ā) - a H alaphalmaz azon elemeinek halmaza, amelyek nem elemei A-nak.
- Diszjunkt halmazok - olyan halmazok, amelyeknek nincs közös elemük, tehát A ∩ B = ∅.
- Elemszám (|A|) - egy véges halmaz elemeinek száma.
- Logikai szita - az unió elemszámának kiszámítása úgy, hogy a többszörösen számolt metszeteket váltakozó előjellel korrigáljuk.
- Venn-diagram - a halmazok viszonyát tartományokkal ábrázoló rajz, amelyen az alaphalmaz a téglalap, a halmazok az átfedő körök.
- Számosság - az elemek „mennyiségét” leíró fogalom; két halmaz egyenlő számosságú, ha elemeik között kölcsönösen egyértelmű megfeleltetés létesíthető.
- Megszámlálhatóan végtelen halmaz - olyan halmaz, amelynek elemei kölcsönösen egyértelműen megfeleltethetők a pozitív egész számoknak.
- Ne keverd össze: diszjunkt és komplementer. Két diszjunkt halmaznak nincs közös eleme, de a komplementerséghez az is kell, hogy együtt kiadják az alaphalmazt.
- Ne keverd össze: megfordítás és tagadás. A „ha P, akkor Q” megfordítása „ha Q, akkor P”, a tagadása viszont az, hogy P teljesül, de Q nem.
16. Lehetséges vizsgakérdések és rövid válaszok
1. Mondd ki pontosan, mit jelent, hogy A részhalmaza B-nek, és hogyan bizonyítjuk két halmaz egyenlőségét!
Az A halmaz részhalmaza a B halmaznak, ha A minden eleme B-nek is eleme. Jelölése A ⊆ B. Ha ezen felül A ≠ B is teljesül, akkor A valódi részhalmaza B-nek, jelölése A ⊂ B. Két halmaz akkor egyenlő, ha kölcsönösen részhalmazai egymásnak, tehát A = B pontosan akkor, ha A ⊆ B és B ⊆ A. Ezért egy halmazegyenlőséget mindig két tartalmazás igazolásával bizonyítunk: előbb megmutatjuk, hogy a bal oldal minden eleme a jobb oldalé is, aztán fordítva.
2. Mondd ki a de Morgan azonosságokat, és bizonyítsd az egyiket!
Ha A és B a H alaphalmaz részhalmazai, akkor az A ∪ B komplementere egyenlő Ā ∩ B̄-vel, az A ∩ B komplementere pedig Ā ∪ B̄-vel. Az elsőt így bizonyítjuk. Ha x eleme az unió komplementerének, akkor x nem eleme az uniónak, tehát sem A-nak, sem B-nek nem eleme, vagyis x benne van Ā-ban és B̄-ban is, tehát a metszetükben. Fordítva: ha x eleme Ā-nak és B̄-nak is, akkor egyik halmaznak sem eleme, tehát az uniójuknak sem, vagyis az unió komplementerébe tartozik. A két tartalmazásból a két halmaz egyenlő.
3. Írd fel a logikai szita képletét két és három halmazra, és indokold meg!
Két halmazra |A ∪ B| = |A| + |B| - |A ∩ B|, mert az |A| és a |B| összeadásakor a közös elemeket kétszer számoltuk, ezért egyszer le kell vonni őket. Három halmazra |A ∪ B ∪ C| = |A| + |B| + |C| - |A ∩ B| - |A ∩ C| - |B ∩ C| + |A ∩ B ∩ C|. Itt a páronkénti metszetek levonása után a hármas metszetet háromszor adtuk hozzá és háromszor vontuk le, ezért a végén egyszer vissza kell tenni. A szabály a váltakozó előjel: egyesével plusz, párosával mínusz, hármasával plusz.
4. Mit jelent az, hogy egy halmaz megszámlálhatóan végtelen? Mondj mindhárom számosságtípusra példát!
Egy halmaz megszámlálhatóan végtelen, ha elemei kölcsönösen egyértelműen megfeleltethetők a pozitív egész számoknak, vagyis sorba állíthatók úgy, hogy minden elem előbb-utóbb sorra kerül. Véges halmaz például az egyjegyű pozitív egészek halmaza, amelynek 9 eleme van. Megszámlálhatóan végtelen az egész számok, a páros számok és a racionális számok halmaza. Nem megszámlálhatóan végtelen a valós számok halmaza, és már a [0; 1] intervallum is.
5. Bizonyítsd be, hogy a pozitív páros számok halmaza megszámlálhatóan végtelen!
Legyen a hozzárendelés f(n) = 2n, ahol n pozitív egész. Ez minden pozitív egészhez pozitív páros számot rendel. Különböző n-ekhez különböző kép tartozik, mert ha 2n₁ = 2n₂, akkor 2-vel osztva n₁ = n₂. Minden pozitív páros szám elő is áll, mert egy p páros szám p = 2k alakú, és ekkor f(k) = p. Tehát f kölcsönösen egyértelmű megfeleltetés a pozitív egészek és a pozitív páros számok között, vagyis a pozitív páros számok halmaza megszámlálhatóan végtelen. Érdekesség, hogy ez a halmaz valódi részhalmaza a pozitív egészeknek, mégis ugyanakkora a számossága.
6. Mi a különbség a diszjunkt halmazok és az egymás komplementerét alkotó halmazok között?
Két halmaz diszjunkt, ha nincs közös elemük, tehát A ∩ B = ∅. A komplementerséghez ennél több kell: A akkor egyenlő B komplementerével, ha A ∩ B = ∅ és A ∪ B = H, tehát ketten együtt kiadják az alaphalmazt. Ezért a diszjunktságból nem következik a komplementerség. Ellenpélda az egyjegyű pozitív egészek alaphalmazán: A = {1} és B = {2} diszjunkt, de B komplementere {1; 3; 4; 5; 6; 7; 8; 9}, ami nem A.
7. Hol használjuk a halmazokat a matematikán kívül, és ki alapozta meg a halmazelméletet?
A keresőkben és az adatbázis-lekérdezésekben az AND a metszet, az OR az unió, a NOT a komplementer művelete, tehát minden szűrés halmazművelet. A logikai szitával számoljuk meg az átfedő csoportok elemeit, például hogy hány szám osztható 3-mal vagy 5-tel. A halmazelmélet a 19. század második felében jött létre, megalapozója Georg Cantor, aki a végtelen halmazok számosságát vizsgálta, és megmutatta, hogy a végtelennek több különböző mérete van. Mára a halmazelmélet a matematika közös nyelve: a függvények, a relációk és a ponthalmazok is halmazokkal vannak megfogalmazva.