Russellparadox

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

De Russellparadox, ook antinomie van Russell genoemd, is een paradox over verzamelingen waarvan de elementen zelf ook weer verzamelingen zijn. De paradox toonde aan dat bepaalde pogingen om de intuïteve verzamelingenleer, zoals die door Georg Cantor geformuleerd was, te formalizeren, tot een tegenspraak leiden. De paradox veroorzaakte een schok in de wereld van de fundamenten van de wiskunde.

De paradox werd ontdekt in 1901 door Bertrand Russell, en onafhankelijk van hem een jaar daarvoor, maar niet gepubliceerd, door Ernst Zermelo.[1]

De paradox[bewerken]

Volgens de intuïteve verzamelingenleer is iedere definieerbare collectie een verzameling. Russell beschouwde verzamelingen waarvan de elementen zelf ook verzamelingen zijn. Hij onderscheidde verzamelingen die zichzelf bevatten en verzamelingen die zichzelf niet bevatten.

Een voorbeeld van een verzameling die zichzelf niet bevat, is de verzameling , bestaande uit bloemenverzamelingen:

= {tulpenverzameling, hyacintenverzameling, rozenverzameling, narcissenverzameling, ...}.

Elk element van is zelf ook weer een verzameling. Duidelijk is dat .

Met andere woorden: is zelf geen element van . Immers, een verzameling bestaande uit bloemenverzamelingen is zelf geen bloemenverzameling.

Er zijn dus verzamelingen die zichzelf niet bevatten. Russell definieerde de verzameling (Russellverzameling) van al zulke verzamelingen:

De verzameling is niet de lege verzameling, want de bovengenoemde verzameling bevat zichzelf niet en is dus een element van .

Russell stelde nu de vraag: "bevat zichzelf?", dus geldt er dat ?

Stel dat het antwoord 'ja' is. In dat geval moet voldoen aan de eigenschappen die alle elementen van bezitten en dus geldt dan dat . Dus een tegenspraak.

Dan is het antwoord dus niet 'ja', maar 'nee': kan zichzelf niet bevatten: . Maar dan voldoet aan de eigenschap die geldt voor de elementen van , dus is . Ook een tegenspraak.

Het blijkt dat

,

dus is geen van beide mogelijkheden en juist.

Voor de Russellverzameling is het zowel onmogelijk dat een bepaald object er wel in zit als dat het er niet in zit. Dit is de paradox van Russell.

Verband met Cantor[bewerken]

De paradox van Russell is sterk verbonden met het diagonaalbewijs van Cantor. Daarmee kan aangetoond worden dat de verzameling van alle deelverzamelingen van een verzameling een element bevat dat geen element is van de oorspronkelijke verzameling. Alle deelverzamelingen van de verzameling van alle verzamelingen is de verzameling van alle verzamelingsverzamelingen. Maar dit is zelf een deelverzameling van de verzameling van alle verzamelingen, wat een paradox is.

Past men het bewijs van Cantor toe om te bewijzen dat die verzameling desondanks groter is, dan is de Russellverzameling de verzameling waarvan aangetoond wordt dat die niet in de verzameling van alle verzamelingen zit.

Men kan de moeilijkheid die volgt uit het begrip 'verzameling van alle verzamelingen' vermijden door een onderscheid te maken tussen klassen en verzamelingen. Een klasse wordt in het bijzonder een verzameling genoemd indien ze zelf element kan zijn van een andere klasse. Op deze manier is de 'verzameling van alle verzamelingen ' een klasse en geen verzameling.

Oplossing van de paradox[bewerken]

De paradox van Russell toonde aan dat er iets ernstig mis was met de verzamelingenleer zoals die rond de eeuwwisseling (van de 19e op de 20e eeuw) bekend was. Om de paradox van Russell op te lossen, werden de axioma's veranderd. In het bijzonder werd het volgende axioma, dat tot dan toe werd aangenomen, verworpen:

  • Voor elke eigenschap A bestaat de verzameling van alle dingen met eigenschap A

In plaats daarvan kwamen regels zoals:

  • Voor elke verzameling V bestaat de verzameling van alle deelverzamelingen van V
  • Voor elke verzameling V en elke eigenschap A bestaat de verzameling van alle elementen in V met eigenschap A

Deze regels zijn nu opgesteld zodat alle verzamelingen die in de wiskundige praktijk voorkomen door de axioma's gedefinieerd worden, maar paradoxale verzamelingen zoals de verzameling van alle verzamelingen en de Russellverzameling niet.

Varianten van deze paradox[bewerken]

Varianten van de paradox van Russell, die ogenschijnlijk binnen een ander gebied liggen maar in essentie neerkomen op dezelfde paradox, zijn:

Zie ook[bewerken]

Referenties[bewerken]

  1. Zie: Brief van Hilbert van 7 november 1903, in: Gottlob Frege: Briefwechsel mit D. Hilbert, E. Husserl, B. Russell, ed. G. Gabriel, F. Kambartel, C. Thiel, Hamburg 1980, p. 23f/47