Лемма Цорна¶

Лемма Цорна — это утверждение теории множеств, эквивалентное аксиоме выбора и принципу трансфинитной индукции. В наиболее распространённой формулировке лемма гласит: если в частично упорядоченном множестве любая цепь (то есть линейно упорядоченное подмножество) имеет верхнюю грань, то всё множество содержит хотя бы один максимальный элемент. Лемма Цорна является одним из фундаментальных инструментов современной математики, позволяющим доказывать существование объектов, которые невозможно построить явно, но существование которых следует из аксиоматических принципов.

¶История

Лемма впервые была сформулирована и доказана немецким математиком Максом Цорном (Max Zorn) в 1935 году. Цорн работал в США, в Калифорнийском университете в Лос-Анджелесе, и опубликовал свою работу в журнале «Bulletin of the American Mathematical Society». Первоначально лемма называлась «принципом максимальности» (Maximum Principle). Цорн использовал её для доказательства теорем в алгебре, в частности, для доказательства существования базиса в любом векторном пространстве и существования алгебраического замыкания поля.

Однако, как выяснилось позже, аналогичные утверждения были известны и ранее. В 1914 году польский математик Казимеж Куратовский (Kazimierz Kuratowski) сформулировал похожий принцип, а в 1922 году Феликс Хаусдорф (Felix Hausdorff) доказал версию, известную как «принцип максимальности Хаусдорфа». Тем не менее, именно формулировка Цорна, наиболее удобная для применения в алгебре и анализе, закрепилась в математической литературе. Лемма Цорна стала стандартным инструментом в курсах теории множеств и общей алгебры.

¶Формулировка

Пусть \( (P, \le) \) — непустое частично упорядоченное множество. Подмножество \( C \subseteq P \) называется цепью, если любые два элемента из \( C \) сравнимы (то есть для любых \( x, y \in C \) выполняется \( x \le y \) или \( y \le x \)). Элемент \( u \in P \) называется верхней гранью цепи \( C \), если \( c \le u \) для всех \( c \in C \). Элемент \( m \in P \) называется максимальным, если в \( P \) нет элемента, строго большего \( m \) (то есть из \( m \le x \) следует \( m = x \)).

Лемма Цорна. Если в непустом частично упорядоченном множестве \( P \) любая цепь имеет верхнюю грань, то \( P \) содержит хотя бы один максимальный элемент.

¶Эквивалентность аксиоме выбора

Лемма Цорна логически эквивалентна аксиоме выбора (AC) в рамках теории множеств Цермело — Френкеля (ZF). Это означает, что:

• Если принять аксиому выбора, то лемма Цорна может быть доказана.
• Если принять лемму Цорна, то аксиома выбора может быть доказана.

Таким образом, лемма Цорна является одной из форм аксиомы выбора, наиболее удобной для применения в конструктивных доказательствах. В математической практике часто используется именно лемма Цорна, а не сама аксиома выбора, поскольку её условие (существование верхней грани у любой цепи) легче проверять в конкретных ситуациях.

¶Применение

Лемма Цорна широко используется в различных разделах математики для доказательства существования объектов, которые невозможно построить явно. Ниже приведены наиболее известные примеры.

¶В алгебре

1. Существование базиса в любом векторном пространстве. Пусть \( V \) — векторное пространство над полем \( F \). Рассмотрим множество \( S \) всех линейно независимых подмножеств \( V \), частично упорядоченное по включению. Любая цепь в \( S \) имеет верхнюю грань (объединение всех элементов цепи), которая также является линейно независимым множеством. По лемме Цорна, \( S \) содержит максимальный элемент — максимальное линейно независимое множество, то есть базис.

1. Существование алгебраического замыкания поля. Для любого поля \( F \) существует алгебраическое расширение \( \overline{F} \), которое является алгебраически замкнутым. Доказательство использует лемму Цорна для построения максимального алгебраического расширения.

1. Существование максимального идеала в кольце с единицей. В любом кольце \( R \) с единицей существует максимальный идеал. Рассмотрим множество всех собственных идеалов \( R \), частично упорядоченное по включению. Любая цепь имеет верхнюю грань (объединение), и по лемме Цорна существует максимальный элемент — максимальный идеал.

¶В анализе

1. Теорема Хана — Банаха. Одно из ключевых утверждений функционального анализа, гарантирующее продолжение линейного функционала с подпространства на всё пространство с сохранением нормы. Доказательство использует лемму Цорна для построения максимального продолжения.

1. Существование ультрафильтра. В теории меры и топологии лемма Цорна применяется для доказательства существования ультрафильтра на любом бесконечном множестве.

¶В теории множеств

1. Теорема Цермело о вполне упорядочении. Любое множество может быть вполне упорядочено. Доказательство использует лемму Цорна для построения максимального вполне упорядоченного подмножества.

1. Принцип сравнения мощностей. Любые два множества сравнимы по мощности (теорема Кантора — Бернштейна — Шрёдера, хотя она не требует леммы Цорна, но её доказательство в общем виде может быть упрощено с её помощью).

¶Критика и контекст

Лемма Цорна, как и аксиома выбора, является объектом философских и математических дискуссий. В конструктивистской математике (например, в интуиционизме) она не принимается, поскольку её применение не даёт конструктивного способа построения объекта, а лишь утверждает его существование. В классической математике лемма Цорна считается стандартным инструментом, хотя некоторые математики (например, Эррет Бишоп) предпочитали избегать её использования, отдавая предпочтение конструктивным методам.

С точки зрения теории множеств, лемма Цорна не является независимой от ZF: она эквивалентна аксиоме выбора, которая, в свою очередь, независима от ZF (доказано Полом Коэном в 1963 году). Таким образом, принятие или непринятие леммы Цорна — это выбор аксиоматической системы.

¶Интересные факты

• Макс Цорн первоначально сформулировал лемму в 1935 году, но позже обнаружил, что аналогичный принцип был опубликован Хаусдорфом в 1914 году. Тем не менее, название «лемма Цорна» закрепилось в математической литературе.
• Лемма Цорна часто используется в доказательствах, которые в противном случае потребовали бы трансфинитной индукции. Она позволяет избежать громоздких рассуждений с ординалами.
• В некоторых учебниках лемму Цорна называют «принципом максимальности Куратовского — Цорна» или «леммой Куратовского — Цорна».

¶Источники

• Zorn, M. (1935). "A remark on method in transfinite algebra". Bulletin of the American Mathematical Society, 41(10), 667–670.
• Куратовский, К., Мостовский, А. (1970). Теория множеств. Москва: Мир.
• Ершов, Ю. Л., Палютин, Е. А. (1979). Математическая логика. Москва: Наука.
• Halmos, P. R. (1960). Naive Set Theory. Princeton: Van Nostrand.
• Jech, T. (2003). Set Theory: The Third Millennium Edition. Springer.