Lemma van Zorn

Uit Wikipedia, de vrije encyclopedie
Naar navigatie springen Naar zoeken springen

Het lemma van Zorn, ook bekend als het lemma van Kuratowski-Zorn, is een bewering uit de verzamelingenleer. Het lemma is genoemd naar de wiskundigen Max Zorn en Kazimierz Kuratowski.

Lemma[bewerken | brontekst bewerken]

Elke partieel geordende verzameling waarin elke totaal geordende deelverzameling een bovengrens heeft, bevat ten minste een maximaal element.

Een deelverzameling van een partieel geordende verzameling is totaal geordend als voor elke geldt en/of . Een dergelijke verzameling wordt een keten genoemd en een element is een bovengrens van de keten als voor alle . Merk op dat weliswaar een element van is, maar geen element van hoeft te zijn. Een maximaal element van is een element , zodanig dat voor alle geldt: , d.w.z. er is geen enkele met .

Het lemma van Zorn is equivalent met de welordeningsstelling en het keuzeaxioma, in de zin dat een van hen, samen met de axioma's van Zermelo-Fraenkel uit de verzamelingenleer, voldoende is om de andere te bewijzen. Het lemma van Zorn wordt gebruikt in de bewijzen van verschillende stellingen van cruciaal belang, bijvoorbeeld de stelling van Hahn-Banach in de functionaalanalyse, de stelling dat elke vectorruimte een basis heeft, de stelling van Tychonov in de topologie, die stelt dat elk product van compacte ruimten zelf ook compact is, en de stellingen in abstracte algebra dat elke niet-nulzijnde ring een maximaalideaal heeft en dat elk lichaam een algebraïsche sluiting heeft.

Geschiedenis[bewerken | brontekst bewerken]

Het maximaal-principe van Hausdorff is een vroegere formulering, die vergelijkbaar is met het lemma van Zorn.

Kazimierz Kuratowski bewees in 1922[1] een versie van het lemma van Zorn die nauw verwant was aan de moderne formulering. Zijn stelling was van toepassing op verzamelingen die geordend waren door inclusie en gesloten onder vereningen van welgeordende ketens. In essentie dezelfde formulering, afgezwakt door het gebruik van willekeurige ketens, niet alleen welgeordende, werd in 1935 onafhankelijk gegeven door Max Zorn,[2] die een nieuw axioma in de verzamelingenleer voorstelde, dat de welordeningsstelling moest vervangen, en sommige van haar toepassingen in algebra liet zien. Zorn kondigde ook aan de equivalentie van het lemma met het keuzeaxioma in een ander artikel aan te tonen, maar dat artikel is nooit verschenen.

De naam van het lemma lijkt te zijn verzonnen door John Tukey, die deze naam in 1940 in zijn boek Convergence and Uniformity in Topology (Convergentie en de uniformiteit in de topologie) voor het eerste gebruikte. Bourbaki's Theorie des ensembles uit 1939 verwijst naar een soortgelijk maximaalprincipe als de stelling van Zorn.

Voetnoten[bewerken | brontekst bewerken]

  1. (fr) Kazimierz Kuratowski, Une methode d'elimination des nombres transfinis des raisonnements mathématiques, Fundamenta Mathematicae 3 (1922), pp. 76-108. icm
  2. (en) Max Zorn, A remark on method in transfinite algebra (Een opmerking over de methode in de transfiniete algebra), Bulletin of the American Mathematical Society 41 (1935), nr. 10, pag. 667-670.