Лема Цорна: відмінності між версіями
[неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Олюсь (обговорення | внесок) мНемає опису редагування |
|||
Рядок 1:
'''Лема Цорна''' (
Лема:
:Нехай (P,≤) — деяка [[частково впорядкована множина]]. Якщо кожна [[лінійно впорядкована множина|лінійно впорядкована]] [[підмножина]] ''T''
▲Нехай (P,≤) — деяка [[частково впорядкована множина]]. Якщо кожна [[лінійно впорядкована множина|лінійно впорядкована]] підмножина ''T'' (тобто така підмножина, що якщо ''s, t'' належать ''T'' то ''s ≤ t'' або ''t ≤ s'' ) має верхню межу, то ''P'' має максимальний елемент.
== Еквівалентні твердження ==
Рядок 10 ⟶ 9:
* [[Теорема Цермело]]
* [[Принцип максимуму Гаусдорфа]]
== Застосування ==
* [[Теорема Гана-Банаха]]
* Теорема про існування [[базис Гамеля|базиса Гамеля]].
* Теорема про існування [[алгебраїчно замкнуте поле|алгебраїчного замикання]] довільного поля.
== Література ==
{{Портал математика}}
* Александров П. С. Введение в теорию множеств и общую топологию. — М.: «НАУКА», 1977. — 368 с.▼
* {{Хаусдорф.Теория множеств}}
* {{Куратовский.Мостовский.Теория множеств}}
▲* {{Александров
* {{Колмогоров.Фомин}}
[[Категорія:Теорія
[[Категорія:Аксіома вибору]]
[[ca:Lema de Zorn]]
|