Zorni lemma

Zorni lemma ehk Kuratowski-Zorni lemma on oluline hulgateooria teoreem, mis ütleb: 

 Kui osaliselt järjestatud hulga iga lineaarselt järjestatud alamhulk on ülalt tõkestatud, siis leidub sellel hulgal maksimaalne element.

Zorni lemma kehtib, kui eeldatakse valikuaksioomi. Õigupoolest on see Zermelo-Fraenkeli hulgateoorias valikuaksioomiga ekvivalentne: Zorni lemmat eeldades on omakorda võimalik tõestada valikuaksioom. Zorni lemma on ekvivalentne ka Zermelo teoreemiga.

Ajalugu 
Max Zorn sõnastas 1935 "maksimumiprintsiibi" , millele John Tukey pani nimeks "Zorni lemma". Sarnase oli varem sõnastanud Kazimierz Kuratowski aastal 1922 , mistõttu Zorni lemmat nimetatakse ka Kuratowski-Zorni lemmaks. 

Zorn sõnastas oma maksimumiprintsiipi hulkade ahelate jaoks, mille järjestus on määratud sisalduvusseose kaudu. Ahel on definitsiooni järgi niisugune hulkade süsteem, mille igast kahest elemendist üks on teise alamhulk. Hulkade süsteem on definitsiooni järgi kinnine, kui iga selle elementide ahela ühend sisaldub selles süsteemis. Maksimumiprintsiip väidab, et igal kinnisel hulkade süsteemil leidub maksimaalne element, st hulk, mis ei ole selle hulkade süsteemi ühegi teise elemendi pärisalamhulk.

Viited 

Hulgateooria
Teoreemid