Алгебра - Варден Б.Л.
Скачать (прямая ссылка):
Всюду в дальнейшем, где это будет нужно, мы предполагаем выполненной аксиому выбора.
Важными следствиями из аксиомы выбора являются лемма Цорна и теорема о том, что каждое множество можно вполне упорядочить. В настоящем параграфе мы сформулируем и докажем лемму Цорна, а в следующем параграфе —теорему о полном упорядочении.
Подмножества а, Ь, ... некоторого основного множества д в свою очередь составляют некоторое множество: степень Р множества д. Между двумя подмножествами а и Ь может иметь место соотношение асб, означающее, что а— собственное подмножество множества Ь. С помощью этого соотношения множество Р оказывается полуупорядоченным. Линейно упорядоченное подмножество множества Р называется, в соответствии с терминологией Цорна, цепью. Для любых двух элементов а и Ь некоторой цепи К должно, следовательно, выполняться одно из соотношений: асб или Ьсл или а = 6.
Подмножество А в Р называется замкнутым по Цорну, если с каждой цепью оно содержит и объединение ее элементов.
Максимальный элемент в подмножестве А множества Р — это такое множество т из А, которое не содержится ни в каком другом множестве, являющемся элементом в А.
Принцип максимума или лемма Цорна утверждает:
Каждое замкнутое подмножество А в множестве Р содержит по меньшей мере один максимальный элемент ш.
Эту лемму можно сформулировать несколько более общим образом, следуя Бурбаки. Вместо подмножества А из Р можно рассматривать произвольное полуупорядоченное множество М. Цепь К в М, как и прежде, определяется как линейно упорядоченное подмножество в М. Для любых двух элементов а и Ь некоторой цепи должно, следовательно, выполняться одно из соотношений: а<_Ь или Ь<.а или а = Ь.
Множество М называется замкнутым, если вместе с каждой цепью оно содержит и ее верхнюю грань. Принцип максимума тогда утверждает:
Любое частично упорядоченное замкнутое множество М содержит максимальный элемент ш,
240
УПОРЯДОЧЕННЫЕ МНОЖЕСТВА
[ГЛ IX
Согласно К н е з е р у ') существование максимального элемента можно доказать при более слабых предположениях. Вместо требования о том, чтобы множество М содержало вместе с каждым своим линейно упорядоченным подмножеством К и его верхнюю грань, достаточно предположить, что М содержит вместе с каждым своим вполне упорядоченным подмножеством К какую-либо его верхнюю границу Кроме того, как показал Кнезер, при этом ослабленном предположении доказывается «основная лемма Бурбаки».
Покажем, что принцип максимума следует из аксиомы выбора. Для этой цели докажем сначала, не используя аксиому выбора, следующую основную лемму Бурбаки:
Пусть М — частично упорядоченное замкнутое множество, и пусть х>—*?
I—*? {х — некоторое отображение множества М в себя, обладающее следующим свойством:
хе?.]х для всех х из М.
Тогда в М существует элемент т со свойством: т = ^т.
Подмножество А частично упорядоченного множества М называется началом множества М, если вместе с каждым элементом у множество А содержит все х из М, предшествующие элементу у.
Отрезок Мг, определенный в М элементом г, состоит из элементов х множества М, предшествующих элементу г. Каждый такой отрезок является началом множества М. Кроме того, все множество М является началом себя самого.
В частности, если М вполне упорядочено, то каждое начало множества М является либо отрезком Мг, либо всем М. Действительно, если некоторое начало А отлично от М и если г —первый из несодержащихся в Л, то Л — это в точности отрезок Мг.
Пусть теперь М — частично упорядоченное и замкнутое множество. Каждая цепь К в М обладает тогда некоторой верхней гранью g (К) в М. Каждый отрезок Ку вновь является некоторой цепью и поэтому обладает верхней гранью ?(Ку)? Если подмножество К вполне упорядочено и для каждого у из К имеет место равенство у = !ц{Ку), то К называется 1р-цепью. Каждое начало любой fg-u.eпи вновь является /^-цепью.
Пусть К и Б — некоторые fg-цeпи. Покажем, что если К не является началом множества Б, то Б — начало множества К-
Начала множества К — это отрезки Ку и само множество К? Так как К вполне упорядочено отношением х < у, множество начал вполне упорядочивается отношением ст. Если К не является началом множества Б, то существует первое начало Л множества К, не являющееся началом множества Т.
Если бы в Л не было последнего элемента, то для каждого х из Л существовал бы у из Л со свойством X < у, т. е. Л было бы объединением собственных начал Ау. Однако таковыми являются начала множества Ь, и, следовательно, объединение этих частей было бы равно Л и было бы началом в Т, что противоречит предположению.
Следовательно, мы можем предположить, что Л обладает некоторым последним элементом у. Начало А' = Ау является началом в Если Т=й=Л' и если г —первый элементе Б, не принадлежащий множеству Л', то
Кг/ = Л' = Бг,
следовательно,
Теперь Л состоит в точности из Л' и у, т. е. Л является началом в Ьу, что противоречит предположению. Остается лишь одна возможность: А=Л' и Ь является началом в К-
Таким образом, из двух ^-цепей всегда одна является началом другой.
*) Kneser H. Direckte Ableitung des Zornischen Lemmas aus dem Auswahlaxiom.— Math. Z., 1950, 53, S. 110.
