WikiDer > Вселенная фон Неймана

В теория множеств и смежные отрасли математика, то Вселенная фон Неймана, или же фон Неймана иерархия множеств, обозначаемый V, это учебный класс из наследственный обоснованные наборы. Этот сборник, оформленный Теория множеств Цермело – Френкеля (ZFC), часто используется для интерпретации или мотивации аксиом ZFC.

В классифицировать обоснованного множества индуктивно определяется как наименьшее порядковый номер выше, чем ряды всех членов набора.^[1] В частности, ранг пустой набор равен нулю, и каждый ординал имеет ранг, равный самому себе. Наборы в V делятся на трансфинитный иерархия V_α , называется совокупная иерархияв зависимости от их ранга.

Определение

Кумулятивная иерархия - это набор наборов V_αиндексируется по классу порядковые номера; особенно, V_α - множество всех множеств ранга меньше α. Таким образом, есть один набор V_α для каждого порядкового числа α. V_α может быть определено трансфинитная рекурсия следующее:

• Позволять V₀ быть пустой набор:

  ${ displaystyle V_ {0}: = varnothing.}$

• Для любого порядковый номер β, пусть V_{β + 1} быть набор мощности из V_β:

  ${ displaystyle V _ { beta +1}: = { mathcal {P}} (V _ { beta}).}$

• Для любого предельный порядковый номер λ, пусть V_λ быть союз из всех V-этапы пока:

  ${ displaystyle V _ { lambda}: = bigcup _ { beta < lambda} V _ { beta}.}$

Ключевым фактом этого определения является то, что существует единственная формула φ (α,Икс) на языке ZFC, который определяет "множество Икс в V_α".

Наборы V_α называются этапы или же разряды.

Начальный сегмент вселенной фон Неймана. Порядковое умножение противоположно нашему обычному соглашению; видеть Порядковая арифметика.

Класс V определяется как объединение всех V-этапы:

${ Displaystyle V: = bigcup _ { alpha} V _ { alpha}.}$

Наборы эквивалентных определений

${ Displaystyle V _ { alpha}: = bigcup _ { beta < alpha} { mathcal {P}} (V _ { beta})}$

для каждого ординала α, где ${ Displaystyle { mathcal {P}} (Х) !}$ это powerset из ${ displaystyle X}$.

Ранг набора S - наименьшее α такое, что ${ Displaystyle S substeq V _ { alpha} ,.}$ Другой способ расчета рейтинга:

${ displaystyle operatorname {rank} (S) = bigcup { operatorname {rank} (z) +1 mid z in S }}$.

Конечная и малая мощности ступеней иерархии

Первые пять этапов фон Неймана V₀ к V₄ можно представить себе следующим образом. (Пустое поле представляет собой пустой набор. Поле, содержащее только пустое поле, представляет набор, содержащий только пустой набор, и так далее.)

Набор V₅ содержит 2¹⁶ = 65536 элементов. Набор V₆ содержит 2⁶⁵⁵³⁶ элементов, что очень существенно превышает количество атомов в известной вселенной. Таким образом, конечные этапы кумулятивной иерархии не могут быть явно записаны после этапа 5. Множество V_ω имеет ту же мощность, что и ω. Набор V_{ω + 1} имеет ту же мощность, что и множество действительных чисел.

Приложения и интерпретации

Применение V как модели для теорий множеств

Если ω - множество натуральные числа, тогда V_ω это набор наследственно конечные множества, который является модель теории множеств без аксиома бесконечности.^[2][3]

V_{ω + ω} это вселенная «обычной математики», и является моделью Теория множеств Цермело.^[4] Простой аргумент в пользу адекватности V_{ω + ω} это наблюдение, что V_{ω + 1} подходит для целых чисел, а V_{ω + 2} адекватна действительным числам, и большая часть другой нормальной математики может быть построена как отношения различного рода из этих множеств без необходимости аксиома замены Выйти наружу V_{ω + ω}.

Если κ - недоступный кардинал, тогда V_κ это модель Теория множеств Цермело – Френкеля (ZFC) и V_{κ + 1} это модель Теория множеств Морса – Келли.^[5][6] (Обратите внимание, что каждая модель ZFC также является моделью ZF, и каждая модель ZF также является моделью Z.)

Толкование V как «набор всех наборов»

V не является набор всех наборов"по двум причинам. Во-первых, это не набор; хотя каждый отдельный этап V_α это набор, их союз V это правильный класс. Во-вторых, наборы в V являются лишь хорошо обоснованными наборами. В аксиома основания (или регулярность) требует, чтобы каждый набор был хорошо обоснован и, следовательно, в V, и, таким образом, в ZFC каждый набор находится в V. Но другие системы аксиом могут опускать аксиому основания или заменять ее сильным отрицанием (например, Антиосновная аксиома Акзеля). Эти необоснованные теории множеств обычно не используются, но их все еще можно изучать.

Третье возражение против интерпретации «множества всех множеств» состоит в том, что не все множества обязательно являются «чистыми множествами», которые построены из пустого множества с использованием степенных множеств и объединений. Цермело предложил в 1908 году включить урэлементы, из которого он построил трансфинитную рекурсивную иерархию в 1930 году.^[7] Такие урэлементы широко используются в теория моделей, особенно в моделях Френкеля-Мостовского.^[8]

V и аксиома регулярности

Формула V = ⋃_αV_α часто считается теоремой, а не определением.^[9][10] Ройтман заявляет (без ссылок), что осознание того, что аксиома регулярности эквивалентно равенству вселенной множеств ZF кумулятивной иерархии, обязанной фон Нейману.^[11]

Экзистенциальный статус V

Поскольку класс V может считаться ареной для большей части математики, важно установить, что она в некотором смысле «существует». Поскольку существование - сложная концепция, обычно вопрос о существовании заменяется вопросом о согласованности, то есть о том, свободна ли концепция от противоречий. Серьезное препятствие создается Теоремы Гёделя о неполноте, что фактически означает невозможность доказательства непротиворечивости теории множеств ZF в самой теории множеств ZF, при условии, что она на самом деле непротиворечива.^[12]

Целостность вселенной фон Неймана в основном зависит от целостности порядковые номера, которые действуют как параметр ранга в конструкции, и целостность трансфинитная индукция, по которому строятся как порядковые числа, так и вселенная фон Неймана. Можно сказать, что целостность построения порядкового числа опирается на работы фон Неймана 1923 и 1928 годов.^[13] Целостность конструкции V с помощью трансфинитной индукции можно сказать, что она была установлена ​​в статье Цермело 1930 года.^[7]

История

Кумулятивная иерархия типов, также известная как вселенная фон Неймана, как утверждает Грегори Х. Мур (1982), неточно приписывается фон Нейман.^[14] Первая публикация вселенной фон Неймана была сделана Эрнст Цермело в 1930 г.^[7]

Существование и единственность общего трансфинитного рекурсивного определения множеств было продемонстрировано в 1928 году фон Нейманом как для теории множеств Цермело-Френкеля.^[15] и собственная теория множеств Неймана (которая позже превратилась в Теория множеств NBG).^[16] Ни в одной из этих работ он не применил свой трансфинитный рекурсивный метод для построения вселенной всех множеств. Презентации вселенной фон Неймана Бернейсом^[9] и Мендельсон^[10] оба отдают должное фон Нейману за метод построения трансфинитной индукции, хотя и не за его применение к построению универсума обычных множеств.

Обозначение V это не дань уважения имени фон Неймана. Он был использован Пеано для создания вселенной множеств в 1889 году, буква V означающее "Verum", которое он использовал как логический символ, так и для обозначения класса всех людей.^[17] Обозначение Пеано V был принят также Уайтхедом и Расселом для класса всех наборов в 1910 году.^[18] В V обозначение (для класса всех множеств) не использовалось фон Нейманом в его работах 1920-х годов об порядковых числах и трансфинитной индукции. Пол Коэн^[19] прямо указывает, что он использовал письмо V (для класса всех множеств) к статье 1940 года Гёделя,^[20] хотя Гедель, скорее всего, получил обозначения из более ранних источников, таких как Уайтхед и Рассел.^[18]

Философские перспективы

Есть два подхода к пониманию отношения вселенной V фон Неймана к ZFC (вместе со многими вариациями каждого подхода и оттенками между ними). Грубо говоря, формалисты будут склонны рассматривать V как нечто вытекающее из аксиом ZFC (например, ZFC доказывает, что каждое множество находится в V). С другой стороны, реалисты с большей вероятностью будут рассматривать иерархию фон Неймана как нечто, непосредственно доступное интуиции, а аксиомы ZFC как предложения, истинность которых в V мы можем дать прямые интуитивные аргументы на естественном языке. Возможная средняя позиция состоит в том, что ментальная картина иерархии фон Неймана дает аксиомам ZFC мотивацию (так что они не являются произвольными), но не обязательно описывает объекты, существующие в реальности.

Смотрите также

Примечания

Рекомендации

• Бернейс, Пол (1991) [1958]. Аксиоматическая теория множеств. Dover Publications. ISBN 0-486-66637-9.CS1 maint: ref = harv (связь)
• Коэн, Пол Джозеф (2008) [1966]. Теория множеств и гипотеза континуума. Минеола, Нью-Йорк: Dover Publications. ISBN 978-0-486-46921-8.CS1 maint: ref = harv (связь)
• Гёдель, Курт (1931). "Уверенные формальные основы математических принципов и систем, I". Monatshefte für Mathematik und Physik. 38: 173–198.CS1 maint: ref = harv (связь)
• Гёдель, Курт (1940). Согласованность аксиомы выбора и обобщенной гипотезы континуума с аксиомами теории множеств. Анналы математических исследований. 3. Принстон, штат Нью-Джерси: Издательство Принстонского университета.CS1 maint: ref = harv (связь)
• Говард, Пол; Рубин, Жан Э. (1998). Последствия аксиомы выбора. Провиденс, Род-Айленд: Американское математическое общество. стр.175–221. ISBN 9780821809778.CS1 maint: ref = harv (связь)
• Jech, Thomas (2003). Теория множества: издание третьего тысячелетия, переработанное и дополненное. Springer. ISBN 3-540-44085-2.CS1 maint: ref = harv (связь)
• Кунен, Кеннет (1980). Теория множеств: введение в доказательства независимости. Эльзевир. ISBN 0-444-86839-9.CS1 maint: ref = harv (связь)
• Манин, Юрий Иванович (2010) [1977]. Курс математической логики для математиков. Тексты для выпускников по математике. 53. Переведено Коблиц, Н. (2-е изд.). Нью-Йорк: Springer-Verlag. С. 89–96. Дои:10.1007/978-1-4419-0615-1. ISBN 978-144-190-6144.CS1 maint: ref = harv (связь)
• Мендельсон, Эллиотт (1964). Введение в математическую логику. Ван Ностранд Рейнхольд.CS1 maint: ref = harv (связь)
• Мириманов Дмитрий (1917). "Антиномии Рассела и Бурали-Форти и проблема фундаментальной теории ансамблей". L'Enseignement Mathématique. 19: 37–52.CS1 maint: ref = harv (связь)
• Мур, Грегори Х (2013) [1982]. Аксиома выбора Цермело: ее происхождение, развитие и влияние. Dover Publications. ISBN 978-0-486-48841-7.CS1 maint: ref = harv (связь)
• Пеано, Джузеппе (1889). Принципы арифметики: nova Methodo exposita. Fratres Bocca.CS1 maint: ref = harv (связь)
• Ройтман, Юдифь (2011) [1990]. Введение в современную теорию множеств. Университет Содружества Вирджинии. ISBN 978-0-9824062-4-3.CS1 maint: ref = harv (связь)
• Рубин, Жан Э. (1967). Теория множеств для математика. Сан-Франциско: Холден-Дэй. КАК В B0006BQH7S.CS1 maint: ref = harv (связь)
• Смуллян, Раймонд М.; Примерка, Мелвин (2010) [исправленное и исправленное переиздание работы, первоначально опубликованной в 1996 году издательством Oxford University Press, Нью-Йорк]. Теория множеств и проблема континуума. Дувр. ISBN 978-0-486-47484-7.CS1 maint: ref = harv (связь)
• фон Нейман, Джон (1923). "Zur Einführung der transfiniten Zahlen". Acta litt. Акад. Sc. Сегед X. 1: 199–208.CS1 maint: ref = harv (связь). Английский перевод: ван Хейеноорт, Жан (1967), "О введении трансфинитных чисел", От Фреге до Гёделя: Справочник по математической логике, 1879-1931 гг., Harvard University Press, стр. 346–354.CS1 maint: несколько имен: список авторов (связь)
• фон Нейман, Джон (1928а). "Die Axiomatisierung der Mengenlehre". Mathematische Zeitschrift. 27: 669–752. Дои:10.1007 / bf01171122.CS1 maint: ref = harv (связь)
• фон Нейман, Джон (1928b). "Uber die Definition durch transfinite Induktion und verwandte Fragen der allgemeinen Mengenlehre". Mathematische Annalen. 99: 373–391. Дои:10.1007 / bf01459102.CS1 maint: ref = harv (связь)
• Уайтхед, Альфред Норт; Рассел, Бертран (2009) [1910]. Principia Mathematica. Том первый. Купеческие книги. ISBN 978-1-60386-182-3.CS1 maint: ref = harv (связь)
• Цермело, Эрнст (1930). "Über Grenzzahlen und Mengenbereiche: Neue Untersuchungen über die Grundlagen der Mengenlehre". Fundamenta Mathematicae. 16: 29–47.CS1 maint: ref = harv (связь)