Лема Куратовського — Цорна

Лема Цорна (лема Куратовського — Цорна, аксіома Цорна) — одне з тверджень теорії множин еквівалентне аксіомі вибору. Названа на честь німецького математика (інші мови).

Лема:

Нехай (P,≤) — деяка частково впорядкована множина. Якщо кожна лінійно впорядкована підмножина T має верхню межу, то P має максимальний елемент.

Еквівалентні твердження

Еквівалентними до леми Цорна є такі твердження:

• Аксіома вибору
• Теорема Цермело
• Принцип максимуму Гаусдорфа

Застосування

• Теорема Гана — Банаха
• Теорема про існування .
• Теорема про існування алгебраїчного замикання довільного поля.

Література

• Хаусдорф Ф. Теория множеств. — Москва ; Ленинград : , 1937. — 304 с. — .(рос.)

• Куратовский К., Мостовский А. Теория множеств = Set Theory (Teoria mnogości). — М. : Мир, 1970. — 416 с.(рос.)

• Александров П.С. Введение в теорию множеств и общую топологию. — Москва : Наука, 1977. — 368 с. — .(рос.)
• Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа. — 4-е изд. — Москва : Наука, 1976. — 544 с. — .(рос.)