Verzamelingenleer

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken
Een venndiagram illustreert de doorsnede van twee verzamelingen.

De verzamelingenleer vormt sinds het begin van de twintigste eeuw een van de grondslagen van de wiskunde. De verzamelingenleer betreft de bestudering en formalisering van het begrip verzameling, en ondersteunt daarmee de axiomatische onderbouwing van andere deelgebieden van de wiskunde.

Geschiedenis[bewerken]

Wiskundige onderwerpen ontstaan en ontwikkelen zich meestal door middel van interacties tussen vele onderzoekers. Het punt van oorsprong van de verzamelingenleer is in die zin vrij ongebruikelijk, omdat de oorsprong kan worden geïdentificeerd als het artikel van Georg Cantor uit 1874: "Over een karakteristieke eigenschap van alle reële algebraïsche getallen". [1] [2] [3]

De verzamelingenleer begint rond 450 voor Christus met het werk van Zeno. Wiskundigen hadden in die tijd veel moeite met het concept van de oneindigheid. Zeno probeerde de vinger op de zere plek te leggen. Opmerkelijk is in de eerste helft van de 19e eeuw het werk van Bernard Bolzano. Het moderne begrip van de notie van oneindigheid begon in 1867-71 met het werk van Georg Cantor aan de getaltheorie. Een ontmoeting in 1872 tussen Cantor en Dedekind beïnvloedde Cantor's denken, en resulteerden in Cantor (1874) [1].

Cantor's werk werkte aanvankelijk polariserend op de wiskundigen van zijn tijd. Terwijl Weierstrass en Dedekind Cantor ondersteunden, werd hij fel bestreden door Kronecker, die nu wordt gezien als een van de grondleggers van het wiskundig constructivisme. Maar het nut van Cantoriaanse concepten zoals een-op-een correspondentie tussen de verzamelingen, zijn bewijs dat er meer reële getallen dan gehele getallen bestaan, en "de oneindigheid van oneindigheden" ( "Cantor paradijs") die uit de machtsverzameling operatie voortvloeide, heeft uiteindelijk geleid tot de wijdverbreide acceptatie van Cantoriaanse verzamelingenleer-theorie.

De volgende golf van opwinding in de verzamelingenleer kwam zo rond 1900, toen werd ontdekt dat de Cantoriaanse verzamelingenleer tot verschillende tegenstrijdigheden leidt, de zogenaamde antinomieën of paradoxen. Russell en Zermelo vonden onafhankelijk van elkaar de eenvoudigste en meest bekende paradox, de nu naar Russell vernoemde Russells paradox. Deze paradox gaat over "de verzameling van alle verzamelingen die geen lid zijn van zichzelf". Het is duidelijk dat deze verzameling geen lid kan zijn van zichzelf, en daarom een lid moet zijn van zichzelf! In 1899 had Cantor zichzelf de vraag gesteld: "Wat is het kardinaalgetal van de verzameling van alle verzamelingen?". Deze vraag leidde Cantor naar de gerelateerde paradox. Later heeft men zich gerealiseerd dat deze paradoxen niet louter verzamelingtheoretisch zijn, maar ook voorkomen in de logica. De zin "deze zin is onwaar" geeft aanleiding tot een soortgelijk probleem, want als deze zin waar is, moet hij tegelijkertijd "onwaar" zijn. Kurt Gödel maakte in 1931 van dit feit gebruik in zijn bewijs van zijn beroemde onvolledigheidsstelling.

Het momentum van de verzamelingenleer was van dien aard dat debat over de paradoxen niet heeft geleid tot de beëindiging van de verzamelingenleer. De werkzaamheden van Zermelo in 1908 en Fraenkel in 1922 resulteerden in de canonieke axiomatische verzamelingentheorie (ZFC), waarvan men gelooft dat deze vrij is van paradoxen. Het werk van analisten zoals Lebesgue heeft het grote wiskundige nut van de verzamelingenleer aangetoond. De axiomatische verzamelingenleer is in de twintigste eeuw sterk verweven geraakt met de structuur van de huidige wiskunde.

Betekenis van de verzamelingenleer[bewerken]

In de wiskunde werden vaak stellingen geformuleerd en bewezen, die uitspraken over eigenschappen van zaken deden, zonder precies te definiëren voor welke zaken die uitspraken golden. Neem bijvoorbeeld de meetkunde.

In de meetkunde worden stellingen geformuleerd over onder andere punten en lijnen, maar geen van beide worden gedefinieerd.

Een ander voorbeeld komt uit de rekenkunde.

Als je van tien munten er drie weghaalt, hou je er zeven over. De rekenkunde leert nu, "Als je van tien van iets er drie weghaalt, hou je zeven van dat iets over" - zonder te definiëren wat dat 'iets' kan zijn.

Een laatste voorbeeld, met worteltrekken:

Volgens de ene definitie is worteltrekken uit een negatief getal niet mogelijk, volgens de andere is het wel mogelijk, en levert dat een complex getal op.


Cantor ontdekte dat theorieën over wiskundige bewerkingen aan duidelijkheid wonnen, door te spreken van "de verzameling van zaken waarvoor een stelling geldt". Het kan dan bijvoorbeeld gaan om de verzameling van gehele getallen of de verzameling van rationale getallen.

Zo kan voor de verzameling van gehele getallen gezegd worden, dat elf niet deelbaar is door vier, omdat je dan een rest overhoudt.
In de verzameling van rationale getallen, is elf wèl deelbaar door vier. Dan levert dit .

De verzamelingenleer kent basisbegrippen als:

  • deelverzameling
  • doorsnee en vereniging van twee verzamelingen
  • lege verzameling

(In het artikel Verzameling (wiskunde) staat hier meer over).

Door middel van de verzamelingenleer kan men bijvoorbeeld afleiden:

"Als de verzameling van gehele getallen een deelverzameling van de rationale getallen is, en een bepaalde uitspraak geldt voor alle rationale getallen, dan geldt die uitspraak voor alle gehele getallen."

De verzamelingenleer kreeg al in het begin van de 20e eeuw de positie van basistheorie, een theorie die de basis voor het wiskundig bouwwerk vormde. Zo worden alle begrippen als natuurlijke getallen en functies gedefinieerd op basis van verzamelingen.

Initieel werd de theorie echter als controversieel beschouwd. In zijn oorspronkelijke versie bleek de theorie namelijk tot een aantal ongerijmdheden te leiden. Deze versie, die tegenwoordig de intuïtieve verzamelingenleer wordt genoemd, is later vervangen door de formele verzamelingenleer, die een iets strengere definitie van het begrip verzameling gebruikt.

Intuïtieve verzamelingenleer[bewerken]

De intuïtieve verzamelingenleer is de oorspronkelijke versie van de verzamelingenleer, zoals Georg Cantor die had ontwikkeld.

Deze intuïtieve verzamelingenleer gaat uit van de regel, dat

"voor elke eigenschap A bestaat de verzameling van alle dingen met eigenschap A".

Met deze regel kan bijvoorbeeld de verzameling van alle blauwgekleurde dingen gedefinieerd worden.

Het was met dit verzamelingbegrip reeds wel mogelijk om bestaande wiskundige theorieën van een nieuwe formulering te voorzien, maar bij het verder uitwerken van deze leer, bleek het intuïtieve verzamelingbegrip aanleiding te geven tot een aantal paradoxen, waarvan hier enkele beschreven worden.

De catalogusparadox[bewerken]

Dit is een bekende paradoxen uit de verzamelingenleer, bedacht door Bertrand Russell, daarom ook bekend onder de naam Russellparadox. Om de paradox uit te leggen wordt vaak het volgende voorbeeld gebruikt: Een bibliothecaris vindt op een goede dag in een hoekje van zijn bibliotheek een grote stapel catalogi. Sommige van deze catalogi vermelden zichzelf, terwijl andere dat niet doen. Voor het gemak maakt hij twee nieuwe catalogi: een eerste catalogus A die alle catalogi vermeldt die zichzelf vermelden, en een tweede catalogus B die alleen de catalogi vermeldt die zichzelf niet vermelden. Natuurlijk zorgt hij ervoor dat ook catalogus A zichzelf vermeldt.

Moet catalogus B zichzelf nu opnemen of niet? Als hij zichzelf opneemt, mag hij per definitie niet opgenomen worden omdat hij al in zichzelf opgenomen is. Als hij zichzelf niet opneemt, moet hij per definitie opgenomen worden, omdat hij zichzelf niet vermeldt! Deze paradox toont aan dat er niet voor elk logisch probleem een wiskundige oplossing bestaat.

De paradox van de barbier van Sevilla[bewerken]

Een andere vorm van de catalogusparadox is de barbier van Sevilla. In de Middeleeuwen had de barbier van Sevilla een uithangbord: "Ik scheer alle mannen die niet zichzelf scheren". Hij wist echter geen antwoord toen iemand hem vroeg: en scheert u uzelf of niet? Met andere woorden, gegeven de verzameling van alle mannen die zichzelf niet scheren, behoort de barbier tot deze verzameling?

Soms wordt gegrapt dat de barbier een vrouw is, waardoor de paradox vermeden wordt.

Formele verzamelingenleer[bewerken]

De formele verzamelingenleer lost de paradoxen uit de intuïtieve verzamelingenleer op door de regel te laten vallen dat

"voor elke eigenschap A bestaat de verzameling van alle dingen met eigenschap A",

en deze te vervangen door

"voor elke verzameling V en eigenschap A bestaat de verzameling van alle elementen van V die eigenschap A hebben".

Deze regel wordt gecombineerd met een aantal andere regels, zoals

"voor elke verzameling V bestaat de verzameling van alle deelverzamelingen van V".

Deze formulering laat de resultaten, die met de intuïtieve verzamelingenleer behaald waren, volledig in stand. Zo kunnen op deze wijze alle verzamelingen die daadwerkelijk in de wiskunde en logica gebruikt worden geconstrueerd worden, terwijl bovenstaande paradoxen en andere problematische verzamelingen (zoals de verzameling van alle verzamelingen, die volgens het diagonaalbewijs van Cantor kleiner dan een deel van zichzelf moet zijn) worden vermeden.

Verder lezen[bewerken]

Externe link[bewerken]

  • (en) Foreman, M., A. Kanamori, en M. Magidor, eds. Handboek van de verzamelingenleer. 3 vols. planned; werk in uitvoering. Elk hoofdstuk verkent sommige aspecten van hedendaags onderzoek in de verzamelingenleer. Voor elementaire verzamelingenleer, zie Devlin (1993).

Voetnoten[bewerken]

  1. a b G. Cantor, Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen, Crelles Journal, Suzuki 77 (1874) 258 - 262.
  2. Philip Johnson, 1972, A History of Set Theory (Een geschiedenis van de verzamelingenleer), Prindle, Weber & Schmidt ISBN 0871501546
  3. Een geschiedenis van de verzamelingenleer.