PROFILPELAJAR.COM

Абсолютная Бесконечность — расширение идеи бесконечности, предложенной математиком Георгом Кантором. Обозначается символом Ω.

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

Кантор связал Абсолютную Бесконечность с Богом^[1]^[2]^[3] и считал, что она обладает различными математическими свойствами, включая принцип отражения: каждое свойство Абсолютной Бесконечности также принадлежит какому-то меньшему объекту^[4].

Взгляд Кантора

Кантор писал:

Действительное бесконечное отличалось тремя отношениями: во-первых, поскольку оно реализуется в высшем совершенстве, в полностью независимом, внеземном существовании, in Deo, где я называю его абсолютным бесконечным или просто абсолютным; во-вторых, в той мере, в какой оно представлено в зависимом, существующем мире; в-третьих, как оно может быть понято абстрактно в мышлении как математическая величина, число или тип порядка. В последних двух отношениях, где оно явно обнаруживает себя ограниченным и способным к дальнейшему распространению и, следовательно, знакомым конечному, я называю его Трансфинитным и решительно противопоставляю его абсолюту^[5].

Кантор также упомянул эту идею в своих письмах Рихарду Дедекинду (текст в квадратных скобках отсутствует в оригинале):

Множество называется хорошо упорядоченным, если она удовлетворяет условию, согласно которому каждое подмножество имеет первый элемент; такое множество я для краткости называю «последовательностью».
…
Теперь я представляю себе систему всех [порядковых] чисел и обозначаю её Ω.
…
Система Ω в её естественном упорядочении по величине является «последовательностью».
Теперь присоединим к этой последовательности 0 как дополнительный элемент и поместим его, очевидно, на первое место; то получим последовательность Ω′:
0, 1, 2, 3, … ω0, ω0+1, …, γ, …
из которых легко убедиться, что каждое входящее в него число γ есть тип [то есть порядковый тип] последовательности всех предшествующих ему элементов (включая 0). (Последовательность Ω обладает этим свойством сначала для ω0+1. [ω0+1 следует за ω0.])
Теперь Ω′ (а значит, и Ω) не может быть согласованной кратностью. В самом деле, если бы Ω′ было непротиворечивым, то ему как упорядоченному множеству соответствовало бы число δ, которое было бы больше всех чисел системы Ω; однако число δ также принадлежит системе Ω, поскольку оно включает в себя все числа. Таким образом, δ будет больше, чем δ, что является противоречием. Поэтому:

Система Ω всех [порядковых] чисел есть противоречивая, абсолютно бесконечная кратность.

По Кантору трансфинитная бесконечность отличается от абсолютной^[6]:

первое следует мыслить, конечно, бесконечным, но все же доступным дальнейшему увеличению, тогда как последнее приходится считать недоступным увеличению, а потому математически неопределимымКантор, Юшкевич, 1986b:266

Парадокс Бурали-Форти

Идея о том, что совокупность всех порядковых числительных не может логически существовать, многим кажется парадоксальной. Это связано с «парадоксом» Чезаре Бурали-Форти, который утверждает, что не может быть наибольшего порядкового числа. Все эти проблемы восходят к идее, что для каждого свойства, которое может быть определено логически, существует набор всех объектов, обладающих этим свойством. Однако, как и в аргументе Кантора (выше), эта идея приводит к трудностям.

В более общем смысле, как заметил А. В. Мур, процесс формирования множеств не может быть бесконечным, и, следовательно, не может быть такой вещи, как совокупность всех множеств или иерархия множеств. Любая такая тотальность сама по себе должна быть множеством, лежащим, таким образом, где-то внутри иерархии и, таким образом, не содержащим всякого множества.

Стандартное решение этой проблемы найдено в теории множеств Цермело, которая не допускает неограниченного формирования множеств из произвольных свойств. Скорее, мы можем сформировать множество всех объектов, которые обладают заданным свойством и лежат в некотором заданном множестве (аксиома разделения Цермело). Это позволяет формировать множества, основанные на свойствах, в ограниченном смысле, при этом (надеюсь) сохраняя непротиворечивость теории.

Примечания

↑ Ignacio Jané. The role of the absolute infinite in Cantor's conception of set (англ.) // Erkenntnis. — 1995. — 1 May (vol. 42, iss. 3). — P. 375–402. — ISSN 1572-8420. — doi:10.1007/BF01129011. — JSTOR 20012628.
↑ Georg Cantor. Gesammelte Abhandlungen mathematischen und philosophischen Inhalts (нем.) / Ernst Zermelo. — Berlin: Verlag von Julius Springer, 1932. — ISBN 3-540-09849-6. Архивировано 17 августа 2023 года.
↑ Georg Cantor. Ueber unendliche, lineare Punktmannichfaltigkeiten (нем.) // Rudolf Friedrich Alfred Clebsch, C. Neumann Mathematische Annalen : журнал. — Leipzig, 1883. — Bd. XXI. — S. 545–591. Архивировано 5 мая 2023 года.
↑ Michael Heller, W. Hugh Woodin. Infinity: New Research Frontiers. — Cambridge University Press, 2011-02-07. — 327 с. — ISBN 978-1-139-49556-1. Архивировано 17 августа 2023 года.
↑ https://www.uni-siegen.de/fb6/phima/lehre/phima10/quellentexte/handout-phima-teil4b.pdf Архивная копия от 31 мая 2023 на Wayback Machine
Es wurde das Aktual-Unendliche (A-U.) nach drei Beziehungen unterschieden: erstens, sofern es in der höchsten Vollkommenheit, im völlig unabhängigen außerweltlichen Sein, in Deo realisiert ist, wo ich es Absolut Unendliches oder kurzweg Absolutes nenne; zweitens, sofern es in der abhängigen, kreatürlichen Welt vertreten ist; drittens, sofern es als mathematische Größe, Zahl oder Ordnungstypus vom Denken in abstracto aufgefaßt werden kann. In den beiden letzten Beziehungen, wo es offenbar als beschränktes, noch weiterer Vermehrung fähiges und insofern dem Endlichen verwandtes A.-U. sich darstellt, nenne ich es Transfinitum und setze es dem Absoluten strengstens entgegen.
↑ Левина Т. В. [https://publications.hse.ru/pubs/share/direct/229291965.pdf Символ и познание «абсолютная бесконечность» у Георга Кантора и Павла Флоренского] (рус.) // Философия. Журнал Высшей школы экономики : журнал. — 2018. — 30 декабря (т. 2, № 4). — С. 32—50. — doi:10.17323/2587-8719-2018-II-4-32-50. Архивировано 17 августа 2023 года.