Loading AI tools
Van Wikipedia, de vrije encyclopedie
Het keuzeaxioma is een enigszins controversieel axioma uit de verzamelingenleer, dat in 1904 werd geformuleerd door Ernst Zermelo.[1] Het keuzeaxioma zegt dat het, gegeven een oneindige verzameling[2] van verzamelingen, altijd mogelijk is om uit elk van deze verzamelingen precies één element te kiezen, ook al is er geen keuzeregel gedefinieerd die bepaalt welk element uit ieder van deze verzamelingen gekozen moet worden. Preciezer geformuleerd:
of in formule
Het keuzeaxioma wordt in tal van deelgebieden van de wiskunde gebruikt. Het heet een axioma omdat het niet kan worden bewezen uit de andere axioma's van de verzamelingenleer. Het is er echter ook niet mee in tegenspraak. Het is equivalent met een aantal stellingen, waaronder het lemma van Zorn en de welordeningsstelling. Elk van deze zou dus ook als axioma beschouwd kunnen worden, en het keuzeaxioma een stelling die op basis van dat axioma bewezen kan worden.
Het keuzeaxioma wordt niet vereist als er sprake is van een eindig aantal verzamelingen of als er wel een "keuzeregel" is gedefinieerd.
Het keuzeaxioma werd in 1904 door Ernst Zermelo opgesteld.[1] Hoewel aanvankelijk omstreden, wordt het keuzeaxioma nu zonder voorbehoud door de meeste wiskundigen gebruikt.[4] Een motivatie voor dit gebruik is dat een aantal belangrijke wiskundige resultaten, zoals de stelling van Tychonov, het keuzeaxioma voor hun bewijzen vereisen. Hedendaagse verzamelingentheoretici bestuderen ook axioma's die niet compatibel zijn met het keuzeaxioma, zoals het axioma van bepaaldheid. In tegenstelling tot het keuzeaxioma worden deze alternatieven gewoonlijk niet voorgesteld als axioma's van de wiskunde, maar alleen als beginselen met interessante gevolgen in de verzamelingenleer.
Een keuzefunctie is een functie , gedefinieerd op een verzameling van niet-lege verzamelingen, zodanig dat voor elke verzameling in , een element van is. Met dit concept kan het axioma als volgt worden geformuleerd:
De ontkenning van het keuzeaxioma stelt dat er een verzameling van niet-lege verzamelingen bestaat die geen keuzefunctie heeft.
Elke keuzefunctie op een verzameling van niet-lege verzamelingen kan worden beschouwd als (of kan worden geïdentificeerd met) een element van het cartesisch product van de verzamelingen in . Dit leidt tot een gelijkwaardige stelling aan het keuzeaxioma:
Er zijn vele andere gelijkwaardige formuleringen van het keuzeaxioma. Deze zijn in die zin equivalent dat zij, in het bijzijn van andere fundamentele axioma's van de verzamelingenleer, het keuzeaxioma impliceren en dat omgekeerd het keuzeaxioma door hen geïmpliceerd wordt.
Een variant vermijdt het gebruik van keuzefuncties door elke keuzefunctie in feite te vervangen door haar bereik.
Een ander gelijkwaardig axioma beschouwt alleen verzamelingen , die in wezen machtsverzamelingen van andere verzamelingen zijn:
Auteurs die gebruikmaken van deze formulering, spreken vaak van de keuzefunctie op , maar ga ervan uit dat dit een iets andere notie van een keuzefunctie betreft. Haar domein is de machtsverzameling op (waar de lege verzameling uit is verwijderd), en is dus zinvol voor elke verzameling , terwijl met de definitie, die elders in dit artikel wordt gebruikt, het domein van een keuzefunctie op een verzameling van verzamelingen die verzameling zelf is en dus alleen voor verzamelingen van verzamelingen zinvol is. Met deze alternatieve notie van een keuzefunctie kan het keuzeaxioma compact als volgt worden geformuleerd
wat gelijkwaardig is aan
De ontkenning van het keuzeaxioma kan dus uitgedrukt worden als:
De gebruikelijke formulering van het keuzeaxioma refereert niet aan enige specifieke oneindige verzameling, en heeft als zodanig een eindige restrictie die beweert dat elke eindige verzameling van niet-lege verzamelingen een (eindige) keuzefunctie heeft. De eindige restrictie is een stelling van de Zermelo-Fraenkel-verzamelingenleer (ZF) en kan gemakkelijk worden bewezen door gebruik te maken van volledige inductie.[7] De intuïtiviteit van het keuzeaxioma kan te danken zijn het aan het veralgemenen van dit eindige geval.
Hoewel het keuzeaxioma toen nog niet formeel was geformuleerd, werd het in de laat-19de eeuw wel al vaak impliciet gebruikt. Na bijvoorbeeld te hebben vastgesteld dat de verzameling alleen niet-lege verzamelingen bevat, zou een wiskundige gezegd kunnen hebben: "Laat voor alle in een van de elementen van zijn." In het algemeen is het onmogelijk om te bewijzen dat bestaat zonder het keuzeaxioma, maar dit lijkt totdat Zermelo zich hierin verdiepte onopgemerkt te zijn gebleven.
Niet elke situatie vereist het keuzeaxioma. Voor eindige verzamelingen volgt het keuzeaxioma uit de andere axioma's van de verzamelingenleer. In dat geval is het gelijkwaardig met zeggen dat als we meerdere (maar wel een eindig aantal) dozen hebben, die elk ten minste een object bevatten, dat wij dan uit elke doos precies een object kiezen. Uiteraard kunnen we dit doen: We beginnen bij de eerste doos, kiezen een object, gaan naar de tweede doos, kiezen een object, en ga zo maar door. Het aantal dozen is eindig, dus uiteindelijk komt onze keuzeprocedure tot een einde. Het resultaat is een expliciete keuzefunctie: een functie die uit de eerste doos het eerste object geeft dat we kozen, uit de tweede doos het tweede object dat we kozen, en zo verder. (Een formeel bewijs voor alle eindige verzamelingen zou gebruikmaken van het principe van volledige inductie.)
Voor bepaalde oneindige verzamelingen is het ook mogelijk om te voorkomen dat wij de hulp van het keuzeaxioma moeten inroepen. Stel bijvoorbeeld dat de elementen van verzamelingen van natuurlijke getallen zijn. Iedere niet-lege verzameling van natuurlijke getallen heeft een kleinste element, dus om onze keuzefunctie te specificeren kunnen we gewoonweg zeggen dat het elke verzameling afbeeldt op het kleinste element van deze verzameling. Dit geeft ons een definiete keuzefunctie van een element uit elke verzameling en we kunnen een expliciete uitdrukking formuleren, die ons vertelt welke waarde onze keuzefunctie aanneemt. Iedere keer als het mogelijk blijkt te zijn om zo'n expliciete keuze te specificeren, is het niet nodig een beroep te doen op het keuzeaxioma.
De moeilijkheid treedt op wanneer er geen natuurlijke keuze van elementen uit elke verzameling is. Als we geen expliciete keuzes kunnen maken, hoe weten we dat onze verzameling bestaat? Stel bijvoorbeeld dat de verzameling is van alle niet-lege deelverzamelingen van de reële getallen. Allereerst kunnen we proberen net te doen alsof eindig is. Als we proberen om een element uit elke verzameling te kiezen, dan zal, omdat oneindig is, onze keuzeprocedure nooit tot een einde komen, en zullen we dus ook nooit in staat zijn een keuzefunctie voor alle elementen van te produceren. Vervolgens zouden wij kunnen proberen om het kleinste element uit elke verzameling te specificeren. Sommige deelverzamelingen van de reële getallen kennen echter geen kleinste elementen. Bijvoorbeeld, het open interval (0,1) heeft geen kleinste element: als in (0,1) ligt, dan doet dat ook en is strikt genomen altijd kleiner dan . Deze poging mislukt dus ook.
De verklaring voor het feit dat we in staat zijn de kleinste elementen uit deelverzamelingen van de natuurlijke getallen te kiezen, is dat de natuurlijke getallen zijn uitgerust met een welgeordendheid: Iedere niet-lege deelverzameling van de natuurlijke getallen heeft onder deze natuurlijke ordening een uniek kleinste element. Men zou kunnen zeggen, "Zelfs als de gebruikelijke ordening van de reële getallen niet werkt, kan het mogelijk zijn om een andere ordening van de reële getallen te vinden, die welgeordend is. In dat geval kan onze keuzefunctie het kleinste element van elke verzameling vinden met inachtneming van onze ongebruikelijke ordening". Het probleem wordt dan het vinden van de constructie van een welgeordendheid, wanneer die voor haar bestaan het keuzeaxioma blijkt te vereisen. Elke verzameling kan dan en slechts dan welgeordend zijn als het keuzeaxioma waar is.
Een bewijs dat gebruikmaakt van het keuzeaxioma is, in een betekenis van het woord, niet-constructief: zelfs als het bewijs het bestaan van een object staaft, kan het toch onmogelijk zijn om het object in de taal van de verzamelingenleer te definiëren. Terwijl het keuzeaxioma bijvoorbeeld impliceert dat er een welgeordendheid van de reële getallen bestaat, zijn er modellen van de verzamelingenleer met het keuzeaxioma, waarin geen welgeordendheid van de reële getallen kan worden gedefinieerd. Als een ander voorbeeld kan men van een deelverzameling van de reële getallen, die niet Lebesgue-meetbaar is, bewijzen dat deze bestaat door gebruik te maken van het keuzeaxioma, maar is het consistent dat geen enkele van dergelijke verzamelingen definieerbaar is.
Het keuzeaxioma produceert deze ondefinieerbare zaken (objecten waarvan men door gebruik te maken van een niet-constructief bewijs kan bewijzen dat zij bestaan, maar die niet expliciet geconstrueerd kunnen worden), wat in strijd kan zijn met sommige filosofische principes. Omdat er geen welgeordendheid van alle verzamelingen bestaat, hoeft een constructie die zich verlaat op een welgeordendheid geen kanoniek resultaat te produceren, zelfs als een kanoniek resultaat gewenst zou zijn (zoals vaak het geval is in de categorietheorie). In het constructivisme vereist men dat alle existentiebewijzen volledig expliciet zijn. Dat wil zeggen dat men in staat moet zijn om, op een expliciete en canonieke manier, alles te construeren waarvan men kan bewijzen dat het bestaat. Dit raamwerk verwerpt het volledige keuzeaxioma, omdat het keuzeaxioma het bestaan van een object stelt zonder haar structuur op unieke wijze te bepalen. In feite laat de stelling van Diaconescu-Goodman-Myhill zien hoe de constructief onaanvaardbare wet van de uitgesloten derde, of een beperkte vorm daarvan, in de constructieve verzamelingenleer valt af te leiden uit de aanname van het keuzeaxioma.
Een ander argument tegen het keuzeaxioma is dat het het bestaan van contra-intuïtieve objecten impliceert. Een voorbeeld hiervan is de Banach-Tarskiparadox, die zegt dat het mogelijk is om de 3-dimensionale eenheidsbol in eindig veel stukjes te "ontleden", en vervolgens uitsluitend door gebruik te maken van rotaties en translaties deze stukjes te herassembleren tot twee massieve ballen, elk met hetzelfde volume als het origineel. De stukjes in deze, met behulp van het keuzeaxioma geconstrueerde, decompositie zijn bijzonder gecompliceerd.
De meerderheid van de wiskundigen accepteert het keuze-axioma tegenwoordig als een geldig principe, waarvan gebruik kan worden gemaakt bij het bewijzen van nieuwe resultaten in de wiskunde. Het debat is echter dusdanig interessant, dat het van belang wordt geacht wanneer een stelling in ZFC (ZF plus het keuzeaxioma) logisch equivalent is (met alleen de ZF-axioma's) aan het keuzeaxioma, en wiskundigen zoeken naar resultaten die vereisen dat het keuzeaxioma onwaar is, hoewel dit type van deductie minder gebruikelijk is dan het type, waarbij men vereist dat het keuzeaxioma waar is.
Het is mogelijk om vele stellingen te bewijzen zonder daarbij gebruik te maken van het keuzeaxioma, noch van de ontkenning daarvan; dit is gebruikelijk in de constructieve wiskunde. Dergelijke beweringen zullen in elk model van de Zermelo-Fraenkel-verzamelingenleer (ZF), ongeacht de waarheid of onwaarheid van het keuzeaxioma in dat specifieke model, waar zijn. De beperking tot ZF maakt elke claim, die zich hetzij op het keuzeaxioma hetzij op de ontkenning daarvan baseert, onbewijsbaar. De Banach-Tarskiparadox is bijvoorbeeld noch bewijsbaar noch weerlegbaar aan de hand van alleen ZF: het is onmogelijk om de geëiste decompositie van de eenheidsbal in ZF te construeren, maar het is ook onmogelijk te bewijzen dat er niet een dergelijke decompositie bestaat. Op gelijkwaardige wijze zijn alle genoemde onderstaande beweringen, die het keuzeaxioma of een zwakkere vorm daarvan vereisen voor wat betreft hun bewijs onbewijsbaar in ZF, maar aangezien elke bewering bewijsbaar is in ZFC, zijn er modellen van ZF waarin elke bewering waar is. Beweringen, zoals de Banach-Tarskiparadox, kunnen worden geherformuleerd als voorwaardelijke stellingen, bijvoorbeeld: "Als het keuzeaxioma waar is, bestaat de decompositie in de Banach-Tarskiparadox." Dergelijke voorwaardelijke beweringen kunnen in ZF worden bewezen, wanneer de oorspronkelijke beweringen bewijsbaar zijn vanuit ZFC.
Er bestaat een opmerkelijk aantal belangrijke resultaten die, uitgaande van de axioma's van ZF, maar zonder het keuzeaxioma of de ontkenning ervan, gelijkwaardig zijn aan het keuzeaxioma. De belangrijkste resultaten zijn het lemma van Zorn en de welgeordendheidstelling. In feite introduceerde Zermelo zijn keuzeaxioma in eerste instantie om zijn bewijs van het welgeordendheidsprincipe te formaliseren.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.