Verzameling (wiskunde)
In de wiskunde is een verzameling een abstract object dat het totaal voorstelt van verschillende objecten, die elementen van de verzameling genoemd worden. Het begrip verzameling is een wiskundig basisbegrip. Dat wil zeggen dat het niet verder gereduceerd (herleid) kan worden tot een samenstel van andere, nog fundamentelere theoretische wiskundige begrippen (axioma's), maar dat het zelf axiomatisch gedefinieerd moet worden. Verzamelingen vormen het studieobject van de verzamelingenleer.

De verzameling behoort tot de fundamentele concepten van de wiskunde. De grondslag voor dit wiskundige concept werd aan het einde van de negentiende eeuw gelegd door de Duitse wiskundige Georg Cantor. Hij noemde een verzameling informeel: "een veelheid aan elementen, die volgens een bepaalde definitie bij elkaar horen, en daardoor een geheel vormen".

De verzamelingenleer is inmiddels alomtegenwoordig in de wiskunde en vormt een basis van waaruit bijna de hele wiskunde kan worden afgeleid. In het wiskundeonderwijs aan de middelbare scholen worden elementaire onderwerpen als venndiagrammen onderwezen, als aanschouwelijke voorstellingen van verzamelingen.

Twee verzamelingen zijn volgens het gelijkheidsaxioma identiek als ze dezelfde elementen bevatten. Een verzameling zonder element noemt men een lege verzameling. Bij de beschrijving van een verzameling gaat het uitsluitend om de vraag welke elementen in de verzameling zijn opgenomen. Elementen komen daarom maar een keer in een verzameling voor. De elementen in een verzameling zijn binnen de verzameling nooit geordend.

De mandelbrotverzameling is een bekend voorbeeld van een wiskundige verzameling, en bestaat uit die complexe getallen die, nadat er herhaald dezelfde bewerking op is uitgevoerd, naar een eindige waarde itereren.

Definitie 
Hier wordt alleen een globaal overzicht gegeven van het concept verzameling. Dit overzicht is erop gericht om met verzamelingen te kunnen werken en belangrijke begrippen als afbeeldingen, functies, getallen en relaties te kunnen definiëren.

Georg Cantor gaf aan het begin van zijn Beiträge zur Begründung der transfiniten Mengenlehre: de volgende definitie van een verzameling:

De elementen of leden van een verzameling kunnen bijvoorbeeld zijn: getallen, letters van het alfabet, andere verzamelingen en zo verder. Een verzameling wordt gewoonlijk aangeduid door een hoofdletter. De verzamelingen  en  zijn aan elkaar gelijk als zij dezelfde elementen hebben.

Zoals hieronder wordt besproken, bleek de hierboven gegeven definitie ontoereikend voor de formele wiskunde. In plaats daarvan wordt het begrip 'verzameling' in de axiomatische verzamelingenleer als een ongedefinieerde primitieve (Engels: 'primitive notion') genomen, en worden haar eigenschappen gedefinieerd door de axioma's van Zermelo-Fraenkel. De twee meest fundamentele eigenschappen zijn dat een verzameling elementen "heeft" en dat twee verzamelingen dan en slechts dan aan elkaar gelijk zijn, als deze dezelfde elementen hebben.

Beschrijving van verzamelingen 

In het dagelijkse spraakgebruik komt het begrip 'verzameling' ook voor: met "bestek" wordt in een huishouden de verzameling lepels, vorken en messen bedoeld, het "servies" van oma is een verzameling borden, schalen .... Een "pak" speelkaarten is een verzameling speelkaarten.

Er zijn twee manieren om de elementen van een verzameling vast te leggen. Eén manier is door een beschrijving, waarbij gebruik wordt gemaakt van een regel of een semantische beschrijving van de elementen:
  is de verzameling waarvan de elementen de eerste vier positieve getallen zijn.
  is de verzameling van alle kleuren van de Nederlandse vlag: . In plaats van de verticale streep schrijft men ook wel een dubbelepunt: .

De tweede manier is door opsomming, dat is wanneer elk element van de verzameling expliciet wordt genoemd. De elementen van de verzameling worden hierbij tussen accolades geplaatst:
 
 

Als  een element is van de verzameling , wordt dit genoteerd als . Is  géén element van , dan wordt dit wel aangeduid door .

Met betrekking tot de verzamelingen  en  bijvoorbeeld, zoals hierboven gedefinieerd, geldt
 
en
 

Twee verzamelingen zijn aan elkaar gelijk, als ze dezelfde elementen bevatten. Dat twee verzamelingen  en  aan elkaar gelijk zijn, noteert men eenvoudigweg als . Formeel:
  betekent dat voor alle  geldt: 
Ook geldt omgekeerd:
 Als voor alle  geldt: , dan is 

Anders dan bij een multiset komt elk element van een verzameling maar één keer voor als element van de verzameling, ook al wordt een element meer keren genoemd. Zo is de verzameling letters  dezelfde als de verzameling  en de verzameling . Ieder element van een verzameling  blijft onder alle bewerkingen op  uniek. De volgorde waarin de elementen van een verzameling worden opgesomd, telt niet, dit in tegenstelling tot bij een rij of een tupel. Elementen staan in een rij opeenvolgend opgesomd en mogen in tegenstelling tot in een verzameling wel meer dan één keer in een rij voorkomen.

Een verzameling objecten in het dagelijks leven, bijvoorbeeld een platenverzameling, of de spullen in een tas, kan identieke objecten bevatten, waarbij de multipliciteit vaak relevant is, en moet dan als een multiset worden beschreven, niet als verzameling.

De lege verzameling, die geen elementen heeft, wordt met het symbool ∅ genoteerd. Minder gebruikelijk is de notatie {}.

Het aantal elementen in een verzameling noemt men de kardinaliteit van de verzameling.

Deelverzamelingen 

  is een deelverzameling van 

Als elk element van de verzameling  ook element is van de verzameling , zegt men dat  een deelverzameling is van . Dit wordt genoteerd als  of als , en uitgesproken als  is een deel(verzameling) van , of als  wordt door  omvat. In plaats daarvan kan ook worden geschreven: , of  zeg:  omvat ,  sluit  in, of  is een superset van . De relatie tussen verzamelingen die wordt vastgelegd door ⊆ wordt inclusie of omvatting genoemd.

Als  een deelverzameling is van , maar niet daaraan gelijk is, wordt  een echte of strikte deelverzameling van  genoemd. Dit wordt wel genoteerd als , of :  is een strikte superset van .

Voorbeeld:
 De verzameling van alle mannen is een strikte deelverzameling van de verzameling van alle mensen.
 , maar ook 
 

De uitdrukkingen  en  worden door verschillende auteurs verschillend gebruikt: sommigen gebruiken deze relatie in de betekenis van  (respectievelijk ), terwijl anderen er  (respectievelijk ) mee bedoelen.

De lege verzameling is een deelverzameling van elke verzameling en elke verzameling is een deelverzameling van zichzelf:
 
 

Een vanzelfsprekende identiteit, die vaak kan worden gebruikt om aan te tonen dat twee ogenschijnlijk verschillende verzamelingen toch aan elkaar gelijk zijn:
  dan en slechts dan als  en

Kardinaliteit 

De kardinaliteit  van een verzameling  is "het aantal elementen van ". Aangezien bijvoorbeeld de Nederlandse vlag drie kleuren kent, is de kardinaliteit van de verzameling  gelijk aan .

De lege verzameling  heeft kardinaliteit 0. Hoewel het misschien triviaal lijkt, is de lege verzameling, net zoals het getal nul, belangrijk in de wiskunde. Het bestaan van de lege verzameling is zelfs een van de fundamentele concepten uit de axiomatische verzamelingenleer.

Sommige verzamelingen hebben een oneindige kardinaliteit. De verzameling  van de natuurlijke getallen is bijvoorbeeld oneindig. Men kan echter aantonen dat sommige oneindige kardinaliteiten groter zijn dan andere. De verzameling van de reële getallen bijvoorbeeld heeft een grotere kardinaliteit dan de verzameling van de natuurlijke getallen. Het kan worden aangetoond dat de kardinaliteit van, dat wil zeggen: het aantal punten op, een lijn dezelfde is als de kardinaliteit van enig lijnstuk van die lijn, dezelfde als die van het gehele vlak en ook dezelfde als die van enige eindig-dimensionale euclidische ruimte.

Machtsverzamelingen 

De machtsverzameling van een verzameling  is de verzameling van alle deelverzamelingen van . Daartoe behoort de verzameling  zelf en de lege verzameling. Als een eindige verzameling  een kardinaliteit  heeft, is de kardinaliteit van de machtsverzameling van  gelijk aan . De machtsverzameling wordt genoteerd als  of als .

Als  een oneindige (aftelbare dan wel overaftelbare) verzameling is, is de machtsverzameling van  altijd overaftelbaar. Als  bovendien een verzameling is, dan is er nooit een bijectie van  op  mogelijk. Met andere woorden: de machtsverzameling van  is altijd strikt "groter" dan  zelf.

De machtsverzameling van de verzameling {1, 2, 3} is bijvoorbeeld { {1, 2, 3}, {1, 2}, {1, 3}, {2, 3}, {1}, {2}, {3}, ∅ }. De kardinaliteit van de oorspronkelijke verzameling is 3 en de kardinaliteit van de machtsverzameling is 23 = 8. Deze relatie is een van de redenen voor de terminologie machtsverzameling.

Operaties 
 De vereniging van twee verzamelingen  en  wordt gevormd door de elementen die in  of in  (of in beide) zitten. Notatie: .
 De doorsnede van twee verzamelingen  en  wordt gevormd door de verzameling van gemeenschappelijke elementen, dus alle elementen die zowel in  als in  zitten. Notatie: .
 Een verzameling is een deel van het universum , waarmee in dit verband wordt bedoeld de verzameling met alle mogelijke relevante elementen. De complementaire verzameling van een verzameling  is dan de verzameling van alle elementen in  die niet in  zitten, notatie: .  wordt in het algemeen als het complement van  aangeduid. Andere notaties voor het complement zijn  en .

Er gelden de volgende eigenschappen:
 {| class="wikitable"
! Eigenschap || Doorsnede || Vereniging
|-
| commutatief
| A ∩ B = B ∩ A
| A ∪ B = B ∪ A
|-
| associatief
| A ∩ (B ∩ C) = (A ∩ B) ∩ C
| A ∪ (B ∪ C) = (A ∪ B) ∪ C
|-
| distributief
| A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
| A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
|-
| neutraal element
| A ∩ U = A voor alle A
| A ∪ ∅ = A voor alle A
|-
| 'kleinste' en 'grootste' verzameling
| A ∩ ∅ = ∅ voor alle A
| A ∪ U = U voor alle A
|}

Een partitie is een opdeling van een verzameling in niet-lege, onderling disjuncte, deelverzamelingen, die wel blokken worden genoemd. Bijvoorbeeld: als , dan vormen de deelverzamelingen {1,3}, {2,4,5,7} en {6,8} een partitie van  met drie blokken.

De deelverzamelingen van een gegeven verzameling vormen een booleaanse algebra onder doorsnede en vereniging.

Bekende verzamelingen 
Voorbeelden van getallenverzamelingen zijn:
 De natuurlijke getallen die in het algemeen aantallen voorstellen en gesloten zijn onder optelling en vermenigvuldiging.
 De gehele getallen, die ook gesloten zijn onder aftrekking
 De rationale getallen, die bestaan uit de gehele getallen en de breuken.
 De reële getallen, waaronder ook de transcendente getallen vallen.
 De complexe getallen verschijnen als oplossing van vergelijkingen als .

Relatief complement 
Het relatieve complement van  ten opzichte van  is de verzameling van de elementen van  die niet tot  behoren. Het wordt genoteerd als:
 

Lees:  met daaruit weggelaten . Het relatieve complement wordt ook wel genoteerd als:

Wetten van De Morgan 
De wetten van De Morgan luiden:

Modellering 
Men dient voorzichtig te zijn met verbale beschrijvingen van verzamelingen, omdat deze gemakkelijk tot paradoxen kunnen leiden. De axiomatische verzamelingenleer is geconstrueerd om deze paradoxen te vermijden.

Toepassingen 
Vrijwel alle andere takken van de wiskunde worden gebaseerd op de verzamelingenleer. Zo is bijvoorbeeld in de kansrekening de uitkomstenruimte de universele verzameling van alle mogelijkheden en zijn de gebeurtenissen de (deel)verzamelingen. Andere elementaire begrippen in de wiskunde, zoals functies en rijen, worden ook in termen van verzamelingen gedefinieerd. 

De ordetheorie houdt zich bezig met de verschillende manieren om de elementen van een verzameling te ordenen. Een relatie legt daartoe de volgorde tussen de elementen van de verzameling in een rij vast en geeft zo aan welke van de elementen opvolger is van het andere. Dat begint met het bepalen van een bovengrens en ondergrens van de verzameling.

 Er wordt in de topologie verschil tussen open verzamelingen en gesloten verzamelingen gemaakt.
 Verzamelingen zijn in de informatica geïmplementeerd en heten daar ook weer verzamelingen.

Literatuur 
  . Georg Cantor: His Mathematics and Philosophy of the Infinite, 1979. .

Verzamelingenleer