Naar inhoud springen

Kardinaliteit

Uit Wikipedia, de vrije encyclopedie

In de verzamelingenleer, een deelgebied van de wiskunde, is de kardinaliteit van een verzameling een algemene vorm om het aantal elementen in die verzameling mee aan te duiden. Deze maat is ook voor oneindige verzamelingen van toepassing. Een verzameling is eindig, aftelbaar oneindig of overaftelbaar. De kardinaliteit van een eindige verzameling is het aantal elementen van die verzameling. Alle aftelbaar oneindige verzamelingen hebben dezelfde kardinaliteit, maar er bestaan overaftelbare verzamelingen van verschillende kardinaliteiten.

De kardinaliteit van een verzameling wordt aangeduid met , zoals bij de notatie voor de absolute waarde. De betekenis is afhankelijk van de context. Soms wordt ook wel de notatie gebruikt.

Er zijn twee manieren om het begrip kardinaliteit te benaderen. In de ene benadering vergelijkt men verzamelingen rechtstreeks door gebruik te maken van bijecties en injecties, in de andere maakt men gebruik van kardinaalgetallen. Twee verzamelingen hebben dezelfde kardinaliteit als ze een-op-een op elkaar kunnen worden afgebeeld, dat wil zeggen dat er een bijectie tussen de beide verzamelingen kan worden gegeven. Deze verzamelingen worden dan gelijkmachtig genoemd.

Vergelijken van verzamelingen

[bewerken | brontekst bewerken]

Men kan de volgende drie gevallen onderscheiden:

Twee verzamelingen en hebben dezelfde kardinaliteit als er een bijectie tussen en bestaat.
Galileo heeft al opgemerkt dat de verzameling van even natuurlijke getallen dezelfde kardinaliteit heeft als de verzameling van natuurlijke getallen zelf, aangezien de functie een bijectie is van naar .
heeft een kardinaliteit die strikt groter is dan de kardinaliteit van als er een injectie van naar bestaat, maar geen bijectie.
De verzameling van alle reële getallen heeft bijvoorbeeld een kardinaliteit die strikt groter is dan de kardinaliteit van de verzameling van alle natuurlijke getallen, omdat de identieke afbeelding injectief is en het met het diagonaalbewijs van Cantor kan worden aangetoond dat er geen bijectieve functie van naar bestaat.
heeft een kardinaliteit groter dan of gelijk aan de kardinaliteit van als er een injectie van naar bestaat.

Kardinaalgetallen

[bewerken | brontekst bewerken]
Zie Kardinaalgetal voor het hoofdartikel over dit onderwerp.

De relatie dat twee verzamelingen dezelfde kardinaliteit hebben wordt gelijkmachtigheid genoemd. Gelijkmachtigheid is een equivalentierelatie op de klasse van alle verzamelingen. De equivalentieklasse van een verzameling bestaat onder deze relatie uit al die verzamelingen die dezelfde kardinaliteit als hebben. Er zijn twee manieren om de kardinaliteit van een verzameling te definiëren:

  1. De kardinaliteit van een verzameling wordt gedefinieerd als haar equivalentieklasse onder gelijkmachtigheid.
  2. Er wordt voor elke equivalentieklasse een representatieve verzameling aangewezen.

De kardinaliteiten van de oneindige verzamelingen worden aangeduid door

Voor ieder ordinaalgetal is het kleinste kardinaalgetal groter dan . Als het keuzeaxioma wordt aangenomen, worden op deze manier alle kardinaalgetallen opgesomd.

Eindige verzameling

[bewerken | brontekst bewerken]

De kardinaliteit van een eindige verzameling is het aantal elementen in de verzameling. Omgekeerd geldt ook, dat als de kardinaliteit van een verzameling een natuurlijk getal is, die verzameling eindig is. Twee eindige verzamelingen hebben dezelfde kardinaliteit als ze hetzelfde aantal elementen hebben.

Een verzameling met een enkel element wordt een singleton of eenpuntsverzameling genoemd.

Oneindige verzameling

[bewerken | brontekst bewerken]

Een oneindige verzameling heeft altijd een hogere kardinaliteit dan een eindige. Dat wil zeggen, we kunnen elk element van de eindige verzameling op een verschillend element van de oneindige verzameling afbeelden, maar omgekeerd kan dat niet. De kleinste oneindige kardinaliteit is die van de natuurlijke getallen en die wordt (alef-nul) genoemd. Verzamelingen met deze kardinaliteit heten aftelbaar oneindig. Het diagonaalbewijs van Cantor toont aan dat er een verzameling met een hogere kardinaliteit bestaat. Verzamelingen met een hogere kardinaliteit worden met alef-getallen aangegeven: .

Kardinaliteit van het continuüm

[bewerken | brontekst bewerken]
Zie Kardinaliteit van het continuüm voor het hoofdartikel over dit onderwerp.

Een van Cantors belangrijkste resultaten was dat de kardinaliteit van het continuüm (c of ) groter is dan de kardinaliteit van de natuurlijke getallen. Dat wil zeggen dat er meer reële getallen dan natuurlijke getallen bestaan. Cantor toonde dit met zijn diagonaalbewijs aan:

De continuümhypothese stelt dat er geen kardinaalgetal bestaat tussen de kardinaliteit van de reële getallen en de kardinaliteit van de natuurlijke getallen. De continuümhypothese kan binnen de algemeen aanvaarde Zermelo-Fraenkel-verzamelingenleer, ten minste indien deze axiomatische verzamelingenleer consistent is, noch worden bewezen noch worden verworpen.

Het kan wel worden bewezen dat de kardinaliteit van de machtsverzameling van gelijk is aan de kardinaliteit van en dat de kardinaliteit van de machtsverzameling van een verzameling altijd groter is dan de kardinaliteit van zelf.

In de informatica heeft kardinaliteit betrekking op relaties tussen tabellen of associaties tussen klassen en objecten. Dan is dit het aantal keer dat die voorkomen. Dat kan met een getal of een interval worden vastgelegd.