Лемма Цорна (англ. Zorn's lemma), также известная как лемма Куратовского — Цорна (англ. Kuratowski – Zorn lemma), утверждает:
Лемма носит имена немецкого математика Макса Цорна и польского математика Казимира Куратовского.
Лемма Цорна, наряду с теоремой Цермело (принцип вполнеупорядочивания) и принципом максимума Хаусдорфа (который, по сути, является альтернативной формулировкой леммы Цорна), является одним из утверждений, эквивалентных аксиоме выбора.
Содержание |
Цорн не был первым, кто сформулировал предложение, которое теперь нам известно под названием лемма Цорна. Аналогичные и равносильные лемме Цорна утверждения предлагались математиками и раньше.
В 1904 году Эрнст Цермело доказал теорему, согласно которой каждое множество может быть вполне упорядочено. Для доказательства он привлек «неоспоримый логический принцип», который назвал аксиомой выбора. Сегодня мы знаем, что аксиома выбора, теорема Цермело и лемма Цорна — эквивалентные утверждения.
Принцип максимума Хаусдорфа, сформулированный и доказанный им в 1914 году, является альтернативной и более ранней формулировкой леммы Цорна.
В 1922 году Куратовски доказал лемму в формулировке, близкой к современной (для семейства множеств, упорядоченных по включению и замкнутых относительно объединения вполне упорядоченных цепей). Практически то же утверждение (в более слабой формулировке — не для вполне упорядоченных цепей, а для произвольных) независимо от него было сформулировано Цорном в 1935 году в его статье «Об одном методе из трансфинитной алгебры». Сам Цорн называл его «принципом максимума», и предлагал включить его в состав аксиом теории множеств и использовать для доказательства различных теорем теории полей вместо принципа вполнеупорядочивания Цермело.
Интересно, что современная формулировка леммы Цорна отличается от той, что была предложена Цорном в его статье 1935 года.
Название «лемма Цорна» впервые ввёл Джон Тьюки в 1940 году.
Существует несколько формулировок леммы Цорна.
Одна из них была приведена выше:
Лемма Цорна.Если в частично упорядоченном множестве M для всякого линейного упорядоченного подмножества существует верхняя грань, то в M существует максимальный элемент.
Лемма Цорна (первая формулировка). Частично упорядоченное множество, в котором любая цепь имеет верхную грань, содержит максимальный элемент.
В приложениях наиболее удобна следующая формулировка, в которой утверждается существование максимального элемента, который не меньше заданного.
Лемма Цорна (вторая формулировка). Если всякая цепь в частично упорядоченном множестве имеет верхнюю грань, то всякий элемент из подчинен некоторому максимальному.
В оригинальной статье 1935 года Цорн сформулировал свое утверждение для множеств, частично упорядоченных по отношению включения.
Лемма Цорна (третья, оригинальная формулировка). Пусть семейство множеств обладает тем свойством, что объединение любой цепи множеств из есть снова множество из этого семейства. Тогда содержит максимальное множество.
Доказательство эквивалентности этих формулировок можно найти в статье «Утверждения, эквивалентные аксиоме выбора».
Во многих задачах лемма Цорна является наиболее удобной из всех формулировок, эквивалентных аксиоме выбора. Лемма Цорна используется в доказательстве следующих теорем:
В качестве примера использования леммы Цорна рассмотрим доказательство существования базиса в произвольном линейном пространстве.
Пусть — линейное пространство над полем . Базисом (точнее, базисом Гамеля) в называется множество , такое, что каждый вектор единственным образом может быть представлен как линейная комбинация конечного числа векторов из . Другими словами, — базис, если удовлетворены следующие условия:
Заметим, что если система линейно независима, то условие полноты означает в точности, что при присоединении любого вектора , не входящего в , новая система будет линейно зависима. Таким образом, базис есть максимальная (по включению) линейно независимая система векторов.
Если пространство конечномерно (то есть существует , такое что любая линейно независимая система состоит из векторов), то доказательство существования базиса тривиально и не требует применения леммы Цорна. Начав с системы , состоящей из ненулевого вектора , и присоединяя на каждом шаге вектор , такой что система линейно независима, через конечное число шагов получим максимальную линейно независимую систему.
В случае, если бесконечномерно, то существование максимальной линейно независимой системы векторов следует из леммы Цорна и того факта, что если — цепь линейно независимых систем, то их объединение есть также линейно независимая система.
Лемма Куратовского — Цорна.