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.[1]

  1. Kilp M. (2005). Algebra I, lk 31. Eesti Matemaatika Selts.

From Wikipedia, the free encyclopedia · View on Wikipedia

Developed by Nelliwinne