12. Аксиома выбора. Теорема Цермело. 13. Лемма Цорна.

Цепью называется линейно упорядоченное множество.

Пусть – частично упорядоченное множество и Г – его подмножество, являющееся цепью.Мажорантой (или верхней границей) цепи Г называется любой элемент такой, чтодля всех

Обозначим через множество всех мажорант цепи Г. Введём ещё одно обозначение. Пусть Г – цепь иПоложим

Наша дальнейшая цель – сформулировать два новых утверждения – лемму Цорна и теорему Цермело – и доказать их эквивалентность аксиоме выбора.

1. Аксиома выбора (формулировку см. в начале раздела).

2. Лемма Цорна. Пусть – частично упорядоченное множество, в котором каждая цепь имеет мажоранту. Тогдаимеет хотя бы один максимальный элемент.

3. Теорема Цермело. На всяком множестве можно ввести отношение порядка, превращающее его во вполне упорядоченное множество.

Докажем эквивалентность этих утверждений по схеме

С помощью аксиомы выбора нам надо доказать лемму Цорна. Пусть – частично упорядоченное множество, в котором каждая цепь имеет мажоранту. Обозначим черезфункцию выбораПредположим, что множествоне имеет максимального элемента, и приведём это предположение к противоречию. Так как внет максимального элемента, тодля любой цепи

Назовём подмножество множестваотмеченным, если выполняются условия:

(а) вполне упорядочено отношением порядка, перенесённым наиз

(б) для любого имеет место равенство

Отмеченные подмножества существуют. Например, Примером непустого отмеченного подмножества может служитьгдеПустьи– два отмеченных подмножества,ТогдапоэтомуИтак, минимальные элементы всех отмеченных подмножеств совпадают друг с другом (и совпадают с

Докажем, что для любых отмеченных подмножеств илиболибоПо предыдущей теореме одно из этих множеств изоморфно начальному отрезку другого. Пусть, например,изоморфно начальному отрезку множестваи– изоморфизмнаТак кактоДокажем, чтодля всехПусть это не так и– минимальный элемент такой, чтоВвиду (б)Ввиду минимальности элементаотображениетождественно наЗначит,Докажем, что между элементами изи элементомв цепиэлементов нет. Действительно, пустьдля всехТак кактоЗначит,при некоторомТак кактооткудаЗначит,что противоречит выбору элементаИтак, междуивэлементов нет. Это означает, чтоТак какотмеченное, тоЭто влечёт, что– противоречие. Следовательно,

Пусть – объединение всех отмеченных подмножеств. Ранее было показано, что для любых двух отмеченных подмножеств одно из них содержится в другом в качестве начального отрезка. Отсюда следует, чтотоже является отмеченным подмножеством. Очевидно,– наибольшее отмеченное подмножество. По условиюСледовательно, существует элементЦепьтоже является отмеченным подмножеством, поэтомуНо это противоречит тому, чтоУтверждение доказано.

Предположим, что справедлива лемма Цорна. Докажем теорему Цермело. Пусть – множество иХ – множество пар где– подмножество множестваа– отношение порядка натакое, чтовполне упорядочено этим отношением. Введём на множествеотношение порядка, положивесли(т.е. на множествепорядкиисовпадают) иявляется начальным отрезком вПусть– цепь в(здесь– какое-либо

3