From Wikipedia, the free encyclopedia
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.
Azt 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
).
Az ü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:
Tetszőleges halmazra érvényesek a következő állítások:
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.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.