Лемма Цорна
- Лемма Цорна — фундаментальный результат в теории множеств, утверждающий существование максимального элемента в частично упорядоченном множестве.
- Лемма эквивалентна принципу максимума Хаусдорфа, аксиоме выбора и хорошо упорядочивающей теореме.
- Она имеет важные приложения в алгебре, топологии и других областях математики.
- Ослабленная форма леммы Цорна может быть доказана из ZF + DC.
- Лемма Цорна упоминается в массовой культуре, включая фильм «Лемма Зорнса» и эпизод «Новый друг Барта» в сериале «Симпсоны».
Полный текст статьи: