Эквиваленты аксиомы выбора - Equivalents of the Axiom of Choice

Эквиваленты аксиомы выбора это книга по математике, в которой собраны верные математические утверждения если и только если то аксиома выбора держит. Его написал Герман Рубин и Жан Э. Рубин, и опубликовано в 1963 г. Северная Голландия как том 34 их серии исследований по логике и основам математики. Обновленное издание, Эквиваленты аксиомы выбора, IIбыл опубликован в том же 116 томе той же серии в 1985 году.

Темы

На момент первоначальной публикации книги было неизвестно, аксиома выбора вытекает из других аксиом Теория множеств Цермело – Френкеля (ZF), или не зависел от них, хотя было известно, что последовательный с ними из работы Курт Гёдель. Эта книга систематизировала проект классификации математических теорем в зависимости от того, была ли аксиома выбора необходима в их доказательствах, или же их можно было доказать без нее. Примерно в то же время, когда вышла книга, Пол Коэн доказал, что отрицание аксиомы выбора также непротиворечиво, что означает, что аксиома выбора и все ее эквивалентные утверждения в этой книге действительно не зависят от ZF.[1]

Первое издание книги включает более 150 математических утверждений, эквивалентных выбранной аксиоме, в том числе некоторые из них являются новыми для книги.[1][2] Настоящее издание разделено на две части, первая из которых посвящена понятиям, выраженным с помощью наборы а второй вовлекает классы вместо наборов. В первой части темы сгруппированы в утверждения, связанные с принцип хорошего порядка, сама аксиома выбора, трихотомия (возможность сравнивать Количественные числительные ), и Лемма Цорна и связанные принципы максимальности. Этот раздел также включает еще три главы, посвященные утверждениям в абстрактная алгебра, заявления для Количественные числительные, и последний сборник различных утверждений. Второй раздел состоит из четырех глав по темам, параллельным четырем главам первого раздела.[3]

Книга включает в себя историю каждого утверждения и множество доказательств их эквивалентности.[3] Вместо ZF он использует Теория множеств фон Неймана – Бернейса – Гёделя. за свои доказательства, в основном в форме, называемой NBG0 это позволяет урэлементы (вопреки аксиома протяженности ), а также не включает аксиома регулярности.

Во втором издании добавлено много дополнительных эквивалентных утверждений, более чем в два раза больше, чем в первом издании, с дополнительным списком из более чем 80 утверждений, которые связаны с аксиомой выбора, но не известны как эквивалентные ей.[2] Он включает в себя два дополнительных раздела: один об эквивалентных утверждениях, требующих аксиом экстенсиональности и регулярности в их доказательствах эквивалентности, а другой - об утверждениях в топология, математический анализ, и математическая логика.[4] Он также включает в себя более недавние разработки о независимости выбранной аксиомы и улучшенное изложение истории леммы Цорна.[2]

Аудитория и прием

Эта книга написана как справочник для профессиональных математиков, особенно тех, кто работает в теория множеств.[2] Рецензент Чен Чунг Чанг пишет, что он «будет полезен как специалистам в данной области, так и обычным работающим математикам», и что его результаты будут «ясными и понятными».[3] Ко времени выхода второго издания рецензенты Дж. М. Плоткин и Дэвид Пинкус назвали это «стандартным справочником» в этой области.[4][5]

использованная литература

  1. ^ а б Гудштейн, Р. Л. (Октябрь 1964 г.), "Обзор Эквиваленты аксиомы выбора", Математический вестник, 48 (365): 348, Дои:10.2307/3613069, JSTOR  3613069
  2. ^ а б c d Смит, Перри (1987), "Обзор Эквиваленты аксиомы выбора, II", Математические обзоры, Г-Н  0798475
  3. ^ а б c Чанг, К.-К., "Обзор Эквиваленты аксиомы выбора", Математические обзоры, Г-Н  0153590
  4. ^ а б Плоткин, Дж. М., "Обзор Эквиваленты аксиомы выбора, II", zbMATH, Zbl  0582.03033
  5. ^ Пинкус, Дэвид (сентябрь 1987 г.), "Обзор Эквиваленты аксиомы выбора, II", Журнал символической логики, 52 (3): 867–869, Дои:10.2307/2274372, JSTOR  2274372

внешние ссылки