Halmaz (matematika)

matematikai fogalom

A halmaz a matematika egyik legalapvetőbb fogalma, melyet leginkább az „összesség”, „sokaság” szavakkal tudunk körülírni (egy Georg Cantor által adott körülírását ld. lentebb); de mivel igazából alapfogalom, így nem tartjuk definiálandónak. A halmazok általános tulajdonságaival a matematika egyik ága, a halmazelmélet foglalkozik.

A modern matematika alapvető, egységes tárgyalásmódot és számos tudományos eredményt hozó hozzáállását fejezi ki az a kijelentés, miszerint végső soron minden, a matematika által vizsgált dolog: halmaz. Szakszerűbben fogalmazva, a matematika teljes egészének, de legalábbis minden hagyományosan vizsgált területének (számelmélet, geometria, valószínűségszámítás stb.) megadható a halmazelméleti modellje. Így, annak ellenére, hogy a halmazelmélet csak a 19. században fejlődött ki, mára a modern matematika minden ágának ez a tudományág (a matematikai logika mellett) az alapja. A matematikának ez a jelenleg is uralkodó „halmazelméleti” paradigmája elsősorban a huszadik században működő matematikustársaság, a Bourbaki-csoport munkásságának köszönhető. A halmazelméleti ismeretek az elemi iskolai matematika részét is képezik.

A halmazelmélet eredeti és korai formája, a naiv halmazelmélet, ellentmondásosnak bizonyult. Ezért a matematikusok létrehoztak más, különféle axiómarendszerekre épülő, ún. axiomatikus halmazelméleteket is.

Történet és áttekintés szerkesztés

Fő szócikk: A halmazelmélet története

A halmazelmélet kialakulása a 19. század végére tehető, elsődleges okának ma a valós függvényanalízis bizonyos ellentmondásainak felfedezését tartjuk; melyek felvetették a valós számok elméletének szigorúbb megalapozásának igényét.

A halmazelmélet úttörői és első képviselői, az úgynevezett naiv halmazelmélet kidolgozói Georg Cantor és Richard Dedekind voltak. A halmazelmélet e paradigmája szerint a halmaz fogalma nincs matematikai precizitással meghatározva, hanem az ösztönös szemléletre támaszkodik. A naiv halmazelmélet ellentmondásokhoz, úgynevezett antinómiákhoz vezet. Ilyen például az a feltételezés, hogy létezik az összes halmazok halmaza. Mivel közben az is kiderült, hogy a matematika teljességgel visszavezethető a halmazelméletre, ezért ezek az ellentmondások az egész matematika számára is problémát jelentettek.

Megoldásképp létrejött az a paradigma, amit axiomatikus halmazelméletnek nevezünk. Erre alapozva több „rivális” halmazelmélet is keletkezett, mindegyik alapfogalmak, axiómák és logikai törvények rendszerére alapozva alkotja meg elméletét; de egymástól eltérően. A fontosabb axiómarendszerek a Zermelo-Fraenkel és a Neumann-Bernays-Gödel axiómarendszer. Eddig ezekben a rendszerekben nem találtak ellentmondásokat

Főbb fogalmak szerkesztés

A naiv halmazelméletben egy halmaz meghatározott, egymástól különböző objektumok gyűjteménye, összessége. Ezeket az objektumokat a halmaz elemeinek nevezzük. Azt, hogy   eleme az   halmaznak, így jelöljük:  .

Az axiomatikus halmazelméletben a halmaz és az eleme reláció alapfogalom, melyekre a halmazelmélet axiómái vonatkoznak.

A halmazok halmazait halmazrendszereknek is nevezik. A rendszer elnevezést Dedekind vezette be a halmaz szinonímájaként.

Halmazok egyenlősége szerkesztés

A halmazt elemei határozzák meg. Két halmaz akkor és csak akkor egyenlő, ha elemeik ugyanazok.

Legyenek   és   tetszőleges halmazok. Akkor mondjuk, hogy az   és   halmazok egyenlőek, ha minden elemük megegyezik, és ezt így jelöljük:  . Jelben:

 

Tetszőleges  ,  ,   halmazokra érvényesek a következő állítások:

  •  ; (reflexivitás)
  • ha  , akkor  ; (szimmetria)
  • ha   és  , akkor  ; (tranzitivitás)

A véges halmazok, amennyiben kevés elemük van, megadhatók elemeik felsorolásával. A halmazok esetén nem számít, hogy az elemeket hányszor és milyen sorrendben soroljuk fel. Példáiul az   halmaz ugyanaz, mint  .[1]

A halmazok, elemszámuktól (számosságuktól) függetlenül megadhatók egyértelmű leírással is. Az egyértelműség fontos, mivel ha az olvasó nem ugyanazt érti, mint amit az író gondol, akkor az olvasó egy másik halmazt definiál magának, így arra nem biztos, hogy ugyanazok teljesülnek, mint amit az író feltételez. Például az alapszínek halmaza:   esetén gondolhatunk erre:  , de lehet az additív színkeverés alapszíneinek halmaza:  , vagy a nyomtatásban használt alapszínek halmaza is:  .

Egy bizonyos szabályszerűséget teljesítő halmazt meg lehet adni úgy, hogy az első néhány eleméből látszódjon a szabály, majd kihagyással az utolsó elemekkel befejezni a megadást. Ha nincsenek utolsó elemek felsorolva, akkor a halmaz végtelen. Például   véges halmaz, ugyanaz, mint  . Végtelen halmazra példa a kettőnél nagyobb páros számok halmaza:  .

Adva legyen a   állítás, ahol   egy   univerzum tetszőleges eleme. Hogyha   azokat és csak azokat az   elemeket foglalja magában, melyekre   teljesül, akkor   meghatározza az  halmazt. Ekkor:

 

Egy halmazt több állítás is leírhat; ennek bizonyítása azonban általában nem triviális. A matematikában sok állításnak éppen az az formája, hogy két kijelentés ugyanazt a halmazt definiálja. Egy gyakran alkalmazott formula az egyenlőségek bizonyításakor:

 .

További módszer a teljes indukció alkalmazása:

i)    , és
ii) Ha    , akkor   is  , végül
iii) A   halmaz csak az első két szabállyal képzett elemeket tartalmazza.

Egy halmaz megadható halmazműveletekkel és más halmazok felhasználásával is.

Részhalmaz szerkesztés

 
 

Legyenek   és   tetszőleges halmazok. Azt mondjuk, hogy az   halmaz részhalmaza a   halmaznak (vagy más szavakkal: a   halmaz tartalmazza az   halmazt), ha az   minden eleme a   halmaznak is eleme. Ezt így jelöljük:  . Az   nemüres halmazt a   halmaz valódi részhalmazának nevezzük, ha  , és  .

Tetszőleges  ,  ,   halmazokra érvényesek a következő állítások:

  •  ; (reflexivitás)
  • ha   és  , akkor  ; (antiszimmetria)
  • ha   és  , akkor  ; (tranzitivitás)

Kétféle jelölés használatos:

  •   részhalmaz,   valódi részhalmaz
  •   részhalmaz,   valódi részhalmaz.

Ezek közül az elsőt Bertrand Russell használta.

A  ,   és   relációk tagadását az adott szimbólum áthúzása jelöli, például a nem eleme  . A két argumentum sorrendje megfordítható, ekkor a jelet is meg kell fordítani. Például   úgy is, mint  ;   ekvivalens azzal, hogy  ; és   ugyanaz, mint  . Az áthúzott jelek is használhatók fordított irányban.

Üres halmaz szerkesztés

Azt a halmazt, amelynek egyetlen eleme sincsen, üres halmaznak nevezzük, és így jelöljük:  . Az üres halmaz számossága nulla. Mivel a halmazokat elemeik határozzák meg, azért üres halmazból csak egy van. A többi halmaz nemüres halmaz, és legalább egy eleme van.

Hatványhalmaz szerkesztés

Tetszőleges   halmaz összes részhalmazainak a halmazát, az   halmaz hatványhalmazának nevezzük, és  -val,  -val vagy  -val jelöljük. A   pontosan azt jelenti, hogy  . Nem tévesztendő össze a Descartes-hatvánnyal.

A hatványhalmaz tartalmazza a halmazt és az üres halmazt. Például az üres halmaz hatványhalmaza  . Az   egyelemű halmaz hatványa kételemű:   Nem megszámlálható esetben a halmazhatvány fogalma nem problémamentes. Az axiomatikus halmazelméletben külön axióma követeli meg létezését.

A konstruktív matematikában a nem megszámlálható halmazok hatványát nem tekintik lezártnak, hiszen mindig újabb és újabb részhalmazok képezhetők. A konstruktív matematikusok ezt ahhoz hasonlítják, hogy a tudomány újabb és újabb részhalmazokról bizonyítja be, hogy a nem megszámlálható részei.

Halmazműveletek szerkesztés

Halmazok egyesítése és metszete szerkesztés

Legyenek   és   tetszőleges halmazok. Azt a halmazt, amelynek minden   elemére teljesül, hogy   és/vagy  , az   és   halmazok egyesítésének (más szóval uniójának) nevezzük, és így jelöljük:  . Azt a halmazt pedig, amelynek minden   elemére teljesül, hogy   és  , az   és   halmazok metszetének nevezzük, és így jelöljük:  .

Ha  , akkor az   és   halmazokat diszjunkt halmazoknak nevezzük. A diszjunkt halmazok egyesítését szokták diszjunkt uniónak is nevezni, és külön jelölést bevezetni rá. A német szakirodalom ilyenkor pontot tesz az unió jelére. Így például a diszjunkt   és   halmazok egyesítése az   diszjunkt unió.

Tetszőleges   halmazokra érvényesek a következő állítások:

  •  ; (idempotencia)
  •  ; (idempotencia)
  •  ; (kommutativitás)
  •  ; (kommutativitás)
  •  ; (asszociativitás)
  •  ; (asszociativitás)
  •  ; (disztributivitás)
  •  ; (disztributivitás)

továbbá:

  •  
  •  
 
 
   
 
 
   
 
 

A metszet és az egyesítés általánosítható tetszőleges számosságú halmazra. Legyen   egy nemüres halmazrendszer. Ekkor   metszete az a halmaz, melynek elemeit   összes eleme tartalmazza. Jelben:

 .

Hasonlóan, az unió az a halmaz, melyet   legalább egy eleme tartalmaz:

 .

Üres halmazrendszerre a halmazrendszer metszete nem értelmezhető. Ellenben az unió igen, melynek eredménye az üres halmaz:

 .

Ha a halmazrendszer kételemű, akkor visszakapjuk a kételemű metszetet, illetve uniót:

 

illetve

 

Az írásmód általánosítható tetszőleges véges esetre:

 

Általános esetben használható indexhalmaz is; ahol is bevezetnek egy   indexhalmazt, melynek egy-egy eleme   egy-egy elemét jelöli. A megfeleltetés bijektív. Ekkor a metszet:

 ,

és az unió

 .

Halmazok különbsége és szimmetrikus különbsége szerkesztés

Legyenek   és   tetszőleges halmazok. Azt a halmazt, amelynek minden   elemére teljesül, hogy   és  , az   és   halmazok különbségének nevezzük, és így jelöljük:  . Az   különbséget karakterizálja, hogy bármely   halmazra teljesül:

 .

A szimmetrikus különbség definiálható, mint:

 

A különbségképzés nem kommutatív és nem asszociatív. A szimmetrikus különbség kommutatív.

Komplementer halmaz szerkesztés

Ha  , akkor mondjuk, hogy az   különbség   komplementere  -ban.

Legyen adott valamely   halmaz. Ekkor tetszőleges   halmaz esetén az   halmazt az a   halmaz komplementerének (komplementerhalmazának) nevezzük.[2] Általában ekkor az   halmaz tartalmazza az összes szóba jöhető elemet, és a továbbiakban nem is említik.

A jelölés nem egységes, lehet  ,  ,   vagy  .

Halmazok Descartes-szorzata és Descartes-hatványa szerkesztés

Tetszőleges   elemekre az   halmazt elempárnak nevezzük és  -vel jelöljük.

Tetszőleges  ,  ,  ,   elemekre   akkor és csak akkor teljesül, ha   és  , azaz az így definiált elempárok rendezett elempárok.

Legyenek   tetszőleges halmazok. Az   elempárok halmazát az   és   halmazok Descartes-szorzatának (vagy másképpen: direkt szorzatának) nevezzük és így jelöljük:  .

Tetszőleges   halmazokra érvényes a következő állítás:

  •  ; (asszociativitás)

A halmazok direkt szorzata nem kommutatív művelet.

Ha a tényezők egyenlőek, akkor Descartes-hatványról beszélünk. Ha a szorzat n tagú, akkor a jelölés  . Nem tévesztendő össze a hatványhalmazzal.

Példák a halmazműveletekre szerkesztés

Az alábbi példákban  ,   és  . Teljesülnek a következők:

  •  ,  
  •  
  •  ,  ,  
  •  
  •  
  • Az  -re vonatkozó komplementerekre:  ,  ,  ,  .
  •  ,  ,  ,  
  •  ,  ,  
  •   = 3,   =   = 2,   = 0,   = 1
  •  
  •  
  •  ,  ,  ,  
  •  ,  ,  
  •  ,  
  •  

További konkrét példák:

  • A 11-gyel osztható kétjegyű számok:  . Ennek eleme a 33, de a 23 nem.
  • A természetes számok halmaza részhalmaza az egész számok halmazának:  .

A modern matematikában a számköröket lépésenként építik fel, az üres halmazból elindulva (lásd Peano-számok). Ezekből megkaphatók a prímszámok, az egész számok, a racionális számok, a valós számok, a komplex számok, a kvaterniók és további számkörök.

Az egyenes, a sík, a tér vagy az akárhány dimenziós tér részhalmazait ponthalmazoknak is nevezik.

Bourbaki javasolta az új matematikát, ami a matematika tanításának reformja volt az 1950-es évektől az 1970-es évekig az Amerikai Egyesült Államokban és Nyugat-Európában. Alapgondolata az volt, hogy a gyerekeknek bemutatja, hogyan épül fel a matematika, így a számolás tanítása helyett halmazelmélettel kezdték az oktatást, a logikus gondolkodás támogatására. A reform egyik országban sem vált be, aminek az volt a fő oka, hogy az emberek nem értették: sem a gyerekek, sem a szülők, de még a tanárok sem. Nem alkalmazkodott sem az életkori sajátosságokhoz, sem a matematika felépülő jellegéhez. Túlzottan is absztrakt volt.

A végtelen halmazoknál olyan jelenségek jelennek meg, melyek szokatlanok a véges halmazokban gondolkodók számára.

A halmazok közötti kapcsolatokat halmazdiagramokon lehet ábrázolni.

Reláció szerkesztés

Legyenek   tetszőleges halmazok. Az   halmaz részhalmazait az   és   halmazok közt értelmezett relációknak (vagy hozzárendeléseknek) nevezzük, és így jelöljük:  .

Parciális leképezés, leképezés szerkesztés

Legyenek  ,   tetszőleges halmazok. A ρ:    -ból  -be történő megfeleltetést  -t  -be képező parciális leképezésnek nevezzük, ha minden    esetén legfeljebb egy olyan    van, amire  ∈ρ. A ρ:   A-ból  -be történő megfeleltetést  -t  -be képező leképezésnek nevezzük, ha minden    esetén pontosan egy olyan    van, amire  ∈ρ. A leképezés szó helyett használják a függvény elnevezést is.

X és Y halmazokat ekvivalensnek nevezünk, ha létezik X-et Y-ra képező kölcsönösen egyértelmű leképezés. Ez az ekvivalencia egy tranzitív, szimmetrikus, és reflexív reláció.

Halmazok számossága szerkesztés

Azt mondjuk, hogy egy halmaz véges (azaz a halmaz elemeinek a száma véges), ha nem létezik olyan bijektív leképezés, ami a halmazt egy valódi részhalmazába képezi le. Ellenkező esetben végtelen halmazról beszélünk.

Megjegyzés. A véges halmazok fenti definíciója ekvivalens a következő, a természetes szám fogalmát is használó definícióval: Tetszőleges   halmazt véges halmaznak nevezünk, ha valamely   természetes számra létezik   bijekció.

Lásd még szerkesztés

További információk szerkesztés

Hivatkozások szerkesztés

  • Rédei László: Algebra I. kötet, Akadémiai Kiadó, Bp (1954)
  • Szendrei Ágnes: Diszkrét matematika, Polygon, JATE Bolyai Intézet, Szeged (1994)
  • Totik Vilmos: Halmazelméleti feladatok és tételek, Polygon, JATE Bolyai Intézet, Szeged (1997)
  • Hajnal András & Hamburger Péter: Halmazelmélet, 3. kiadás, Nemzeti Tankönyvkiadó, Bp (1994) ISBN 963-18-5998-3
  • Halmos, Paul R., Naive Set Theory, Princeton, N. J.: Van Nostrand (1960) ISBN 0-387-90092-6
  • Stoll, Robert R., Set Theory and Logic, Mineola, N. Y.: Dover Publications (1979) ISBN 0-486-63829-4
  • Klaus Kursawe: Mengen, Zahlen, Operationen. Scripta Mathematica. Aulis Verlag Deubner, Köln 1973, ISBN 3-7614-0176-0.
  • Hans-Dieter Gerster: Aussagenlogik, Mengen, Relationen. Studium und Lehre Mathematik. Franzbecker, Hildesheim 1998, ISBN 3-88120-287-0.
  • Adolf Fraenkel: Einleitung in die Mengenlehre. Springer, Berlin/ Heidelberg/ New York 1928. (Nachdruck: Dr. Martin Sändig, Walluf 1972, ISBN 3-500-24960-4)
  • Erich Kamke: Mengenlehre. 6. Auflage. Walter de Gruyter, Berlin 1969.
  • Paul R. Halmos: Naive Mengenlehre. Vandenhoeck & Ruprecht, Göttingen 1968, ISBN 3-525-40527-8.
  • H. Schinköthe: Mengen und Längen, Lehrbuch der elementaren Grundlagen mathematischen Denkens und seiner Entwicklung für die Bereiche: Kindergarten, Vorschule, Grundschule, Sonderschule, Rechenschwächetherapie. RESI, Volxheim 2000 (Libri/BoD), ISBN 3-8311-0701-7.
  • Oliver Deiser. Einführung in die Mengenlehre. Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo, 3., Berlin/ Heidelberg: Springer Verlag (2010) 

Jegyzetek szerkesztés

  1. ti.inf.uni-due.de Archiválva 2016. március 4-i dátummal a Wayback Machine-ben (PDF) Abgerufen am 18. November 2011.
  2. Weisstein, Eric W.: Komplementer halmaz (angol nyelven). Wolfram MathWorld

Fordítás szerkesztés

  • Ez a szócikk részben vagy egészben a Menge (Mathematik) című német Wikipédia-szócikk fordításán alapul. Az eredeti cikk szerkesztőit annak laptörténete sorolja fel. Ez a jelzés csupán a megfogalmazás eredetét és a szerzői jogokat jelzi, nem szolgál a cikkben szereplő információk forrásmegjelöléseként.