Zermelo teoreem
From Wikipedia, the free encyclopedia
Zermelo teoreem ehk täieliku järjestuse teoreem on oluline teoreem hulgateoorias (täpsemalt Zermelo-Fraenkeli hulgateoorias), mis ütleb:
- Iga mittetühja hulka on võimalik täielikult järjestada.
Kui eeldada ülejäänud aksioome Zermelo-Fraenkeli aksiomaatikas, on Zermelo teoreem samaväärne nii valikuaksioomiga kui ka Zorni lemmaga.[1] Seetõttu võidakse ZFC-s asendada valikuaksioom Zermelo teoreemiga.
Zermelo teoreem on saanud nime saksa matemaatiku Ernst Zermelo järgi, kes tõestas selle väite 1904, eeldades valikuaksioomi.[2].
Viited
Wikiwand in your browser!
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.
