Halmaz (matematika)

Hasonló cikkcímek és megnevezések: Halmaz (egyértelműsítő lap).

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.