Üres halmaz
A matematikában üres halmaz alatt olyan halmazt értünk, amelynek nincsen eleme. Tekintettel arra, hogy két halmaz pontosan akkor egyenlő, ha az elemeik megegyeznek, ezért üres halmaz legfeljebb egy van, hiszen ezen definíció értelmében bármely két üres halmaz egyenlő egymással. Azt, hogy létezik legalább egy üres halmaz, az axiomatikus halmazelméletben általában külön axióma mondja ki.
Nem tévesztendő össze a nullhalmazokkal, melyek nulla mértékű halmazok. Egy ilyen halmaz végtelen sok elemet tartalmazhat.
Definíció
szerkesztésAzt a halmazt, amelynek egyetlen eleme sincsen, üres halmaznak nevezzük. Jelölése (André Weil vezette be[1]) vagy (az előbbi a nulla elemszámra utal, az utóbbi pedig arra, hogy nincsen eleme). Az iskolai matematikatanításban inkább az utóbbit használják, hogy elkerüljék a félreértést: az üres halmaz nem semmi, hanem elem nélküli halmaz. Korábban használt jelölések: és [2][3]
Az ∅ HTML kódja ∅
, illetve ∅
. Unicode-ban U+2205
, LaTeX-ben \varnothing
jelöli. Alternatív jele LaTeX-ben , melynek kódja \emptyset
. Nem tévesztendő össze az átmérő ⌀ jelének, melynek kódja U+2300
vagy az Ø skandináv betűvel (U+00D8
illetve U+00F8
).
Axiomatikus halmazelméleti vonatkozások
szerkesztésAz üres halmaz létezése egy formális-axiomatikus halmazelméletben a részhalmazaxióma következménye. Ha A tetszőleges halmaz, akkor a részhalmazaxióma szerint az {x ∈ A | x ≠ x } szintén egy létező halmaz. Azt, hogy egyáltalán létezik halmaz vagy egy külön létezési axiómából tudjuk, vagy a végtelenségi axióma rögzíti. (Valójában egy formális halmazelméletben egyáltalán nem szükséges egy létezési axióma megkövetelése, hiszen az előbbi A halmaz szerepét a halmazelmélet akármelyik termje játszhatja. Az informális, természetes nyelven kifejtett halmazelméletekben általában „kívánkozik” egy létezési axióma megkövetelése.)
Az üres halmaz egyértelműen van meghatározva a következő értelemben. A
formula tétel, egyrészt az előzőek miatt igaz az egzisztencia, másrészt a meghatározottsági axióma miatt ha van és , melyre a fenti egzisztenciatulajdonság igaz, akkor ezek egyenlők.
A létezés axiómáját először Ernst Zermelo fogalmazta meg halmazelméletében (lásd Zermelo-halmazelmélet). Később bekerült a ZF Zermelo-Fraenkel-halmazelméletbe. Szavakkal: Van olyan halmaz, melynek nincsenek elemei. Képlettel:
Tulajdonságok
szerkesztésTetszőleges halmazra érvényesek a következő állítások:
- Legyen halmaz, és leképezés. Ekkor üres.
- Minden topologikus térben egyszerre nyílt és zárt halmaz.
- Minden mértéktérben mérhető, mértéke minden mérték szerint 0.
- A nullvektortér egyetlen bázisa.
Az üres halmaz egy érdekes tulajdonsága, hogy tetszőleges tulajdonságra teljesül a
kijelentés, ellenkező esetben ugyanis létezne nem T tulajdonságú eleme az üres halmaznak, ami azért ellentmondás, mert az üres halmaznak egyáltalán nincs eleme. Például az üres halmaz függvény, rendezett halmaz, sőt szigorúan monoton függvény és félcsoport (alaphalmaza) is, de például nem lehet csoport (alaphalmaza), hiszen ott megkövetelnek legalább egy elem létezését. Semmilyen egzisztenciális tulajdonság nem teljesül az üres halmazra, de azok az állítások, amelyek nem egzisztenciálisak, igen.
Az üres halmaz rendezett párok üres halmaza, így tekinthető relációnak, sőt függvénynek. Ez mondható úgy is, mint: Az üres halmaz a halmazok kategóriájának kezdeti eleme.
A halmazok számosságának a definíciója értelmében a üres halmaz véges halmaz és a számossága . Így reprezentálja a 0 kardinális számot és a 0 rendszámot. Az egyetlen halmaz, melyet számossága egyértelműen meghatároz.
Ugyanis tetszőleges véges H halmaz számossága az n ∈ N természetes szám, ha létezik bijekció H-ból n-be (ahol n a sztenderd halmazelméleti definíció természetes szám objektuma, melyre teljesül az n = {0,1,…,n-1} patologikus tulajdonság). Persze, n = 0 esetén az előbbi halmaz üres, így létezik = bijekció, hisz az üres függvény ilyen.
Jegyzetek
szerkesztés- ↑ Deiser, S. 31.
- ↑ Willard van Orman Quine. Set Theory And Its Logic (angol nyelven). Belknap Press of Harvard University Press, 359 (HC)/ 380 (PB). o. (1963) – Hier: Seite 19.
Willard van Orman Quine. Mengenlehre und ihre Logik (német nyelven). Vieweg+Teubner Verlag, 264. o. (1973) - ↑ Akihiro Kanamori: The Empty Set, The Singleton, And The Ordered Pair. Archiválva 2018. február 1-i dátummal a Wayback Machine-ben In: The Bulletin of Symbolic Logic. Bd. 9, Nr. 3, Sept. 2003, Seite 289 (Norbert Wiener zitierend).
Hivatkozások
szerkesztés- Rédei László: Algebra I. kötet, Akadémiai Kiadó, Bp. (1954)
- Szendrei Ágnes: Diszkrét matematika Logika, algebra, kombinatorika, Polygon, JATE Bolyai Intézet, Szeged (1994)
- Hajnal András és Hamburger Péter: Halmazelmélet, 3. kiadás, (1994), Nemzeti Tankönyvkiadó, Bp., ISBN 963-18-5998-3
- Oliver Deiser. Einführung in die Mengenlehre. Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo, 3., Berlin, Heidelberg: Springer Verlag (2010)
Fordítás
szerkesztésEz a szócikk részben vagy egészben a Leere Menge 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.