Halmaz (matematika) forrásának megtekintése

{{hasonló}}
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. [[#Főbb fogalmak|lentebb]]); de mivel igazából [[alapfogalom]], így nem tartjuk [[definíció|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” [[paradigma|paradigmája]] elsősorban a [[20. század|huszadik században]] működő [[matematikus]]tá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ás]]osnak bizonyult. Ezért a matematikusok létrehoztak más, különféle [[axiómarendszer]]ekre épülő, ún. [[axiomatikus halmazelmélet]]eket is.

== Történet és áttekinté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 analízis]] bizonyos [[ellentmondás]]ainak 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ómia|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élet]]nek nevezünk. Erre alapozva több „rivális” halmazelmélet is keletkezett, mindegyik [[alapfogalom|alapfogalmak]], [[axióma|axiómák]] és [[logikai törvény]]ek 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 ==

A [[naiv halmazelmélet]]ben 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 <math>\mbox{ }{a}</math> eleme az <math>\mbox{ }{A}</math> halmaznak, így jelöljük: <math>\mbox{ }{a \in A}</math>.

Az [[axiomatikus halmazelmélet]]ben 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 ===
A halmazt elemei határozzák meg. Két halmaz akkor és csak akkor egyenlő, ha elemeik ugyanazok.

Legyenek <math>A</math> és <math>B</math> tetszőleges halmazok. Akkor mondjuk, hogy az <math>A</math> és <math>B</math> halmazok '''egyenlőek''', ha minden elemük megegyezik, és ezt így jelöljük: <math>A=B</math>. Jelben:
: <math>A=B :\Longleftrightarrow \forall x \left(x \in A \,\leftrightarrow x \in B \right)</math>

Tetszőleges <math>A</math>, <math>B</math>, <math>C</math> halmazokra érvényesek a következő állítások:
* <math>A=A</math>; (reflexivitás)
* ha <math>A=B</math>, akkor <math>B=A</math>; (szimmetria)
* ha <math>A=B</math> és <math>B=C</math>, akkor <math>A=C</math>; (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 <math>M = \{\text{kék}, \, \text{sárga}, \,\text{piros} \}</math> halmaz ugyanaz, mint <math> \{\text{kék},\,\text{piros},\, \text{sárga} \} = \{\text{kék}, \, \text{sárga}, \, \text{piros} \} = \{ \text{kék}, \, \text{kék}, \, \text{sárga}, \, \text{piros}\}</math>.<ref>[http://www.ti.inf.uni-due.de/fileadmin/public/teaching/mast/slides/ss2011/grundlagen-2x2.pdf ti.inf.uni-due.de] {{Wayback|url=http://www.ti.inf.uni-due.de/fileadmin/public/teaching/mast/slides/ss2011/grundlagen-2x2.pdf |date=20160304003814 }} (PDF) Abgerufen am 18. November 2011.</ref>

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: <math>M = \{x \, |\,x \, \text{ alapszín} \}</math> esetén gondolhatunk erre: <math>M = \{\text{kék}, \, \text{sárga}, \,\text{piros} \}</math>, de lehet az additív színkeverés alapszíneinek halmaza: <math>M = \{\text{kék}, \, \text{zöld}, \,\text{piros} \}</math>, vagy a nyomtatásban használt alapszínek halmaza is: <math>M = \{\text{cián}, \, \text{sárga}, \,\text{magenta} \}</math>.

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 <math>M = \{ 3, 6, 9, 12 \dots 96, 99 \}</math> véges halmaz, ugyanaz, mint <math>M = \{ x \, | \, x \; \text{egy 1 és 100 közötti hárommal osztható szám} \}</math>. Végtelen halmazra példa a kettőnél nagyobb páros számok halmaza: <math>G = \{ 4, 6, 8, 10 \dots \}</math>. 

Adva legyen a <math>P(x)</math> állítás, ahol <math>x</math> egy <math>U</math> univerzum tetszőleges eleme. Hogyha <math>A</math> azokat és csak azokat az <math>x \in A</math> elemeket foglalja magában, melyekre <math>P(x)</math> teljesül, akkor <math>P(x)</math> meghatározza az <math>A</math>halmazt. Ekkor:
: <math>A = \{x \in U \mid \mathit{P}(x) \}</math>

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:
: <math>A=B\iff(A\subseteq B\land B\subseteq A)</math>.

További módszer a teljes indukció alkalmazása:
: i) <math>4</math>  <math>\in G</math>, és
: ii) Ha <math>x</math>  <math>\in G</math>, akkor <math>(x + 2)</math> is <math>\in G</math>, végül
: iii) A <math>G</math> 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 ===
[[Fájl:Venn A subset B.svg|thumb|<math>A \subseteq B</math>]]
{{Bővebben|Részhalmaz}}
Legyenek <math>A</math> és <math>B</math> tetszőleges halmazok. Azt mondjuk, hogy az <math>A</math> halmaz '''részhalmaza''' a <math>B</math> halmaznak (vagy más szavakkal: a <math>B</math> halmaz '''tartalmazza''' az <math>A</math> halmazt), ha az <math>A</math> minden eleme a <math>B</math> halmaznak is eleme. Ezt így jelöljük: <math>A\subseteq B</math>.
Az <math>A</math> nemüres halmazt a <math>B</math> halmaz '''valódi részhalmazának''' nevezzük, ha <math>A\subseteq B</math>, és <math>A \neq B</math>.

Tetszőleges <math>A</math>, <math>B</math>, <math>C</math> halmazokra érvényesek a következő állítások:
* <math>A\subseteq A</math>; ([[reflexivitás]])
* ha <math>A\subseteq B</math> és <math>B\subseteq A</math>, akkor <math>A=B</math>; ([[antiszimmetria]])
* ha <math>A\subseteq B</math> és <math>B\subseteq C</math>, akkor <math>A\subseteq C</math>; ([[tranzitív reláció|tranzitivitás]])

Kétféle jelölés használatos:
* <math>{A}\subseteq {B}</math> részhalmaz, <math>{A}\subset {B}</math> valódi részhalmaz
* <math> {A}\subset {B} </math> részhalmaz, <math>A \subsetneq B</math> valódi részhalmaz.

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

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

=== Üres halmaz ===
{{Bővebben|Üres halmaz}}
Azt a halmazt, amelynek egyetlen eleme sincsen, '''üres halmaznak''' nevezzük, és így jelöljük: <math>\emptyset</math>. 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 ===
{{Bővebben|Hatványhalmaz}}
Tetszőleges <math>A</math> halmaz összes részhalmazainak a halmazát, az <math>A</math> halmaz '''hatványhalmazának''' nevezzük, és <math>P(A)</math>-val, <math>\weierp(A)</math>-val vagy <math>2^A</math>-val jelöljük. A <math>B \in 2^A</math> pontosan azt jelenti, hogy <math>B \subseteq A</math>. 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 <math>\mathcal P(\emptyset)=\{\emptyset\}</math>. Az <math>\{a\}</math> egyelemű halmaz hatványa kételemű: <math>\mathcal P(\{a\})=\{\emptyset, \{a\}\}</math> 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 ===
==== Halmazok egyesítése és metszete ====
{{Bővebben|Metszet (halmazelmélet)|Unió (halmazelmélet)}}
Legyenek <math>A</math> és <math>B</math> tetszőleges halmazok. Azt a halmazt, amelynek minden <math>a</math> elemére teljesül, hogy <math>a\in A</math> és/vagy <math>a\in B</math>, az <math>A</math> és <math>B</math> halmazok '''egyesítésének''' (más szóval [[Unió (halmazelmélet)|uniójának]]) nevezzük, és így jelöljük: <math>A\cup B</math>. Azt a halmazt pedig, amelynek minden <math>a</math> elemére teljesül, hogy <math>a\in A</math> és <math>a\in B</math>, az <math>A</math> és <math>B</math> halmazok '''metszetének''' nevezzük, és így jelöljük: <math>A\cap B</math>.

Ha <math>A\cap B = \emptyset</math>, akkor az <math>A</math> és <math>B</math> halmazokat {{vhorgony|diszjunkt halmaz}}'''oknak''' 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 <math>A</math> és <math>B</math> halmazok egyesítése az <math>A \dot{\cup} B</math> diszjunkt unió.

Tetszőleges <math>A, B, C</math> halmazokra érvényesek a következő állítások:
* <math>A\cup A=A</math>; ([[idempotencia]])
* <math>A\cap A=A</math>; (idempotencia)
* <math>A\cup B=B\cup A</math>; ([[kommutativitás]])
* <math>A\cap B=B\cap A</math>; (kommutativitás)
* <math>A\cup (B\cup C)=(A\cup B) \cup C</math>; ([[asszociativitás]])
* <math>A\cap (B\cap C)=(A\cap B) \cap C</math>; (asszociativitás)
* <math>A\cap (B\cup C)=(A\cap B)\cup (A\cap C)</math>; ([[disztributivitás]])
* <math>A\cup (B\cap C)=(A\cup B)\cap (A\cup C)</math>; (disztributivitás)
továbbá:
* <math>A\cup \emptyset =A</math>
* <math>A\cap \emptyset =\emptyset</math>

{| style="margin: 0 auto;"
| [[Fájl:Venn0001.svg|thumb|<math>A \cap B</math>]] ||&nbsp;&nbsp;&nbsp;|| [[Fájl:Venn0111.svg|thumb|<math>A \cup B</math>]] ||&nbsp;&nbsp;&nbsp;|| [[Fájl:Venn0100.svg|thumb|<math>A \setminus B</math>]]
|}

A metszet és az egyesítés általánosítható tetszőleges számosságú halmazra. Legyen <math>U</math> egy nemüres halmazrendszer. Ekkor <math>U</math> metszete az a halmaz, melynek elemeit <math>U</math> összes eleme tartalmazza. Jelben:
: <math>\bigcap U := \bigcap_{a\in U} a = \{x \mid \forall a\in U : x\in a\} </math>.
Hasonlóan, az unió az a halmaz, melyet <math>U</math> legalább egy eleme tartalmaz:
: <math>\bigcup U := \bigcup_{a\in U} a = \{x \mid \exists a\in U : x\in a\} </math>.
Üres halmazrendszerre a halmazrendszer metszete nem értelmezhető. Ellenben az unió igen, melynek eredménye az üres halmaz:
:<math>\bigcup \emptyset = \emptyset</math>.

Ha a halmazrendszer kételemű, akkor visszakapjuk a kételemű metszetet, illetve uniót:
: <math> \bigcap \, \{A,B\} = \{ x \mid \left( x \in {A} \right) \land \left( x \in {B} \right) \} =: {A}\cap{B} </math>
illetve
: <math> \bigcup \, \{A,B\} = \{ x \mid \left( x \in {A} \right) \lor \left( x \in {B} \right) \} =: {A}\cup{B} </math>
Az írásmód általánosítható tetszőleges véges esetre:
:<math>{A_1, A_2,\dotsc, A_n}</math>
Általános esetben használható indexhalmaz is; ahol is bevezetnek egy <math>\Lambda</math> indexhalmazt, melynek egy-egy eleme <math>U</math> egy-egy elemét jelöli. A megfeleltetés bijektív. Ekkor a metszet:
: <math>\bigcap_{\lambda\in\Lambda} A_\lambda := \{x \mid \forall\lambda\in\Lambda: x\in A_\lambda\}</math>,
és az unió
: <math>\bigcup_{\lambda\in\Lambda} A_\lambda := \{x \mid \exists\lambda\in\Lambda: x\in A_\lambda\}</math>.

==== Halmazok különbsége és szimmetrikus különbsége ====
{{Bővebben|Különbség (halmazelmélet)}}
Legyenek <math>A</math> és <math>B</math> tetszőleges halmazok. Azt a halmazt, amelynek minden <math>a</math> elemére teljesül, hogy <math>a\in A</math> és <math>a\notin B</math>, az <math>A</math> és <math>B</math> halmazok '''különbségének''' nevezzük, és így jelöljük: <math>A\backslash B</math>. 
Az <math>A \setminus B</math> különbséget karakterizálja, hogy bármely <math>X</math> halmazra teljesül:
: <math>A \setminus B \subseteq X \iff A \subseteq B\cup X</math>.

A szimmetrikus különbség definiálható, mint:
: <math>A \bigtriangleup B := \left( A \setminus B \right) \cup \left( B \setminus A \right) = ( A \cup B) \setminus (A \cap B)</math>

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

==== Komplementer halmaz ====
{{fő|Komplementerképzés}}
Ha <math>B \subseteq A</math>, akkor mondjuk, hogy az <math>\!\ A \setminus B</math> különbség <math>B</math> komplementere <math>A</math>-ban. 

Legyen adott valamely <math>U</math> halmaz. Ekkor tetszőleges <math>A\subseteq U</math> halmaz esetén az <math>U\backslash A</math> halmazt az a <math>A</math> halmaz '''komplementerének''' (komplementerhalmazának) nevezzük.<ref>{{mathworld|urlname=ComplementSet|title=Komplementer halmaz}}</ref> Általában ekkor az <math>U</math> 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 <math>B^{\mathsf C}</math>, <math>\overline B</math>, <math>\complement B</math> vagy <math>\displaystyle B'</math>.

==== Halmazok Descartes-szorzata és Descartes-hatványa ====
{{Bővebben|Rendezett pár|Descartes-szorzat}}
Tetszőleges <math>a, b</math> elemekre az <math>\{ \{ a \}, \{ a, b \} \}</math> halmazt '''elempárnak''' nevezzük és <math>(a,b)</math>-vel jelöljük.

Tetszőleges <math>a</math>, <math>b</math>, <math>c</math>, <math>d</math> elemekre <math>(a, b)=(c, d)</math> akkor és csak akkor teljesül, ha <math>a=c</math> és <math>b=d</math>, azaz az így definiált elempárok ''rendezett'' elempárok.

Legyenek <math>A, B</math> tetszőleges halmazok. Az <math>\{ (a, b) | a\in A, b\in B\}</math> elempárok halmazát az <math>A</math> és <math>B</math> halmazok '''Descartes-szorzatának''' (vagy másképpen: '''direkt szorzatának''') nevezzük és így jelöljük: <math>A\times B</math>. 

Tetszőleges <math>A, B, C</math> halmazokra érvényes a következő állítás:
* <math>A\times (B\times C) = ( A\times B ) \times C</math>; (asszociativitás)

A halmazok direkt szorzata nem [[kommutativitás|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 <math>A^n</math>. Nem tévesztendő össze a hatványhalmazzal.

==== Példák a halmazműveletekre ====
Az alábbi példákban <math>X = \{1,2,3\}</math>, <math>A = \{1,2\}</math> és <math>B = \{1,3\}</math>. Teljesülnek a következők:
* <math>2\in A</math>, <math>2\notin B</math>
* <math>X\subseteq X</math>
* <math>A\subset X</math>, <math>B\subset X</math>, <math>A\nsubseteq B</math>
* <math>A\cap B = \{1\}</math>
* <math>A\cup B = X</math>
* Az <math>X</math>-re vonatkozó komplementerekre: <math>A^{\mathsf C} = \{3\}</math>, <math>B^{\mathsf C} = \{2\}</math>, <math>X^{\mathsf C}=\emptyset</math>, <math>\emptyset^{\mathsf C}=X</math>.
* <math>A\setminus B = \{2\}</math>, <math>B\setminus A = \{3\}</math>, <math>X\setminus A = \{3\}</math>, <math>A\setminus X = \emptyset</math>
* <math>A\bigtriangleup B = \{2,3\}</math>, <math>A\bigtriangleup X = \{3\}</math>, <math>B\bigtriangleup X = \{2\}</math>
* <math>|X|</math> = 3, <math>|A|</math> = <math>|B|</math> = 2, <math>|\emptyset|</math> = 0, <math>\left|\{\emptyset\}\right|</math> = 1
* <math>\mathcal P(A) = \{\emptyset,\{1\},\{2\},\{1,2\}\}</math>
* <math>\mathcal P(X) = \{\emptyset, A\cap B, B^{\mathsf C}, B\setminus A, A, B, A\bigtriangleup B, A \cup B\}</math>
* <math>A\times B = \{(1,1),(1,3),(2,1),(2,3)\}</math>, <math>A\times\{3\} = \{(1,3),(2,3)\}</math>, <math>A^2 = \{(1,1),(1,2),(2,1),(2,2)\}</math>, <math>\{3\}^3 = \{(3,3,3)\}</math>
* <math>\emptyset\notin\emptyset</math>, <math>\emptyset\in\{\emptyset\}</math>, <math>\emptyset\subset A</math>
* <math>\mathcal P(\emptyset) = \{\emptyset\}</math>, <math>\mathcal P\left(\{\emptyset\}\right) = \{\emptyset,\{\emptyset\}\}</math>
* <math>A\times\emptyset = \emptyset\times A = \emptyset</math>

További konkrét példák: 
* A 11-gyel osztható kétjegyű számok: <math> \lbrace 11, \, 22, \, 33, \, 44, \, 55, \, 66, \, 77, \, 88, \, 99 \rbrace </math>. Ennek eleme a 33, de a 23 nem.
* A természetes számok halmaza részhalmaza az egész számok halmazának: <math>\mathbb{N} = \lbrace 0, 1, \, 2, \, 3, \dotsc \rbrace \subset \mathbb{Z} = \lbrace \dotsc, -3, \, -2, \, -1, \, 0, \, 1, \, 2, \, 3, \dotsc \rbrace</math>.

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ó ===

{{Bővebben|Reláció}}

Legyenek <math>A, B</math> tetszőleges halmazok. Az <math>A\times B</math> halmaz részhalmazait az <math>A</math> és <math>B</math> halmazok közt értelmezett '''reláció'''knak (vagy hozzárendeléseknek) nevezzük, és így jelöljük: <math>\rho :A\to B</math>.

=== Parciális leképezés, leképezés ===
{{Bővebben|Leképezés}}
Legyenek <math>A</math>, <math>B</math> tetszőleges halmazok. A ρ:<math>A</math>→<math>B</math> <math>A</math>-ból <math>B</math>-be történő megfeleltetést <math>A</math>-t <math>B</math>-be képező '''parciális leképezésnek''' nevezzük, ha minden <math>a</math>∈<math>A</math> esetén legfeljebb egy olyan <math>b</math>∈<math>B</math> van, amire <math>(a,b)</math>∈ρ.
A ρ:<math>A</math>→<math>B</math> A-ból <math>B</math>-be történő megfeleltetést <math>A</math>-t <math>B</math>-be képező '''leképezésnek''' nevezzük, ha minden <math>a</math>∈<math>A</math> esetén pontosan egy olyan <math>b</math>∈<math>B</math> van, amire <math>(a,b)</math>∈ρ. 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 ===
{{Bővebben|Számosság}}

Azt mondjuk, hogy egy halmaz '''véges''' (azaz a halmaz elemeinek a száma véges), ha nem létezik olyan [[bijekció|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ámok|természetes szám]] fogalmát is használó definícióval: Tetszőleges <math>A</math> halmazt '''véges halmaznak''' nevezünk, ha valamely <math>n \in N</math> természetes számra létezik <math> \{1,\dots, n \} \to A</math> [[bijekció]].

== Lásd még ==
* [[Mértani hely]]
* [[De Morgan-azonosságok]]

== További információk ==
* [https://youproof.hu/kriptografia/19-foidealgyuruk-generalt-ideal-foideal-szamelmelet-alaptetele-halmaz-halmazrendszer-metszet-unio Alice és Bob – 19. rész: Alice és Bob ideáljai]

== Hivatkozások ==
* [[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 (matematikus)|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}}.
* {{cite book |author=Oliver Deiser |title=Einführung in die Mengenlehre. Die Mengenlehre [[Georg Cantor]]s und ihre Axiomatisierung durch [[Ernst Zermelo]] |edition=3. |publisher=[[Springer Science+Business Media|Springer Verlag]] |location=Berlin/ Heidelberg |year=2010 |ISBN=978-3-642-01444-4 |DOI=10.1007/978-3-642-01445-1}}

== Jegyzetek ==
{{jegyzetek}}

==Fordítás==
*{{fordítás|de|Menge (Mathematik)}}
{{Adatszerkezetek}}{{Nemzetközi katalógusok}}

[[Kategória:Halmazelmélet]]