Лемма Цорна
Лемма Цорна (иногда лемма Куратовского — Цорна) — одно из утверждений, эквивалентных аксиоме выбора, наряду с теоремой Цермело (принципом вполнеупорядочивания) и принципом максимума Хаусдорфа (который, по сути, является альтернативной формулировкой леммы Цорна).
Носит имя немецкого математика
Формулировка:
История
Аналогичные и равносильные лемме Цорна утверждения предлагались математиками намного ранее Цорна. Так, в
В
Название «лемма Цорна» впервые ввёл
Формулировки
Существует несколько альтернативных формулировок леммы Цорна.
Основная формулировка:
Если в частично упорядоченном множестве для всякого линейно-упорядоченного подмножества существует верхняя грань, то в существует максимальный элемент. |
Стоит понимать, что именно имеется в виду в этой формулировке. Условие существования верхней грани для каждого линейно-упорядоченного подмножества не требует, чтобы эта грань обязательно лежала в самом этом подмножестве. Оно требует лишь того, чтобы верхняя грань содержалась во всём множестве . Максимальный элемент здесь понимается в том смысле, что он не меньше всех тех, с которыми он сравним. Он не обязан быть большим или равным любому элементу. К примеру, элемент, несравнимый ни с каким другим элементом множества , будет максимальным.
Основную формулировку леммы Цорна можно усилить.
Усиленная формулировка:
Если в частично упорядоченном множестве для всякого линейно-упорядоченного подмножества существует верхняя грань, то для каждого элемента существует максимальный элемент множества , больший или равный элементу . |
Основная формулировка утверждает существование элемента, который для каждого отдельного элемента либо больше или равен , либо с ним несравним. Усиленная же формулировка утверждает существование для каждого , такого элемента, что он больше или равен , и при этом для всех остальных элементов либо больше или равен, либо несравним. То есть для каждого конкретного элемента можно выделить максимальный такой, что он будет больше или равен ему. Такой максимальный элемент может быть разным в зависимости от конкретного элемента .
В оригинальной статье 1935 года Цорн сформулировал утверждение для множеств, частично упорядоченных по отношению включения.
Формулировка для семейства множеств:
Если семейство множеств обладает тем свойством, что объединение любой цепи множеств из есть снова множество из этого семейства, то содержит максимальное множество. |
Эта формулировка очевидно следует из основной. При этом как можно видеть даже для семейств множеств она слабее, чем основная, поскольку тут требуется нахождения в семействе именно объединения множеств, а не произвольного надмножества.
Несмотря на то, что некоторые из формулировок сильнее, а некоторые слабее, все 3 формулировки леммы Цорна эквивалентны в системе аксиом Цермело — Френкеля. Доказательство этого в статье утверждения, эквивалентные аксиоме выбора.
Применения
Во многих задачах лемма Цорна является наиболее удобной из всех формулировок, эквивалентных аксиоме выбора, в частности, используется в доказательстве следующих теорем:
- теорема Хана — Банаха о продолжении линейного функционала;
- теорема о существовании линейном пространстве;
- теорема Тихонова;
- теорема о существовании алгебраического замыкания произвольного поля;
- теорема о существовании кольце с единицей.
Литература
- Александров П. С. Введение в теорию множеств и общую топологию. — М.: Наука, 1977. — 368 с.
- Иосида К. Функциональный анализ. — М.: Мир, 1967. — гл. IV, V, 616 с.
- Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа. — 7-е изд. — М.: Физматлит, 2004. — 572 с. — ISBN 5-9221-0266-4.
- Курош А. Г. Лекции по общей алгебре. — 2-е изд. — М.: Наука, 1973. — 400 с.
- Хаусдорф Ф. Теория множеств. — 4-е изд. — М.: УРСС, 2007. — 304 с. — ISBN 978-5-382-00127-2.