Математики предложили отказаться от линейной иерархии бесконечностей в пользу двумерной системы координат, основанной на аксиоме детерминированности, что устраняет прежние логические тупики.
Ключевые тезисы
- Вещественных чисел больше, чем натуральных, но определить промежуточные размеры в рамках стандартной математики оказалось невозможно.
- Исключение аксиомы выбора разрушает концепцию единой «лестницы» размеров для бесконечных множеств.
- Использование аксиомы детерминированности позволяет разместить различные бесконечности на двумерной карте, где алгебра их сравнения становится прозрачной и простой.
Один из величайших вопросов математики: что на самом деле означает «бесконечность»? Какие бесконечности больше других? Можно ли расположить бесконечности в последовательности, подобно ступеням бесконечной лестницы, так чтобы для любых двух из них всегда можно было сказать, какая из них находится выше другой?
Математики столетиями пытались выстроить бесконечности в единую, строгую иерархию, но раз за разом терпели неудачу. Оказалось, что если отказаться от фундаментальных правил, загоняющих множества в рамки линейной лестницы, запутанная проблема превращается в двумерную плоскость.
Коты, миски и парадоксы счета
Чтобы понять суть проблемы, нужно сначала разобраться, как вообще можно сравнить два числа. Самый простой и безотказный способ — метод парного сопоставления. Если у нас есть пять котов и пять мисок с кормом, мы можем посадить каждого кота перед отдельной миской. Если всем хватило места, значит, количество котов и мисок совпадает. Если же остались лишние миски — их изначально было больше.
Как отмечает исследователь Уильям Чан из Института дискретной математики и геометрии при Венском техническом университете (TU Wien), эта же элементарная логика отлично работает и с бесконечными множествами. Например, множество натуральных чисел абсолютно равно по размеру множеству четных чисел.
На первый взгляд это кажется парадоксом, ведь четные числа составляют лишь половину от всех целых. Однако их можно безошибочно пронумеровать: двойке присвоить первый номер, четверке — второй, шестерке — третий, и так до бесконечности. В итоге каждому четному числу гарантированно достанется свой порядковый номер.
Но еще математик Георг Кантор доказал, что этот трюк не проходит с действительными (вещественными) числами. Множество чисел с бесконечным количеством десятичных знаков после запятой физически невозможно выстроить в такой список. Оно несоизмеримо больше множества натуральных чисел, хотя оба они бесконечны.
Сломанная лестница и аксиома выбора
Это открытие привело к знаменитой проблеме: бывают ли бесконечности промежуточного размера? Математики долго пытались понять, можно ли найти такое множество, которое уже не умещается в рамки натуральных чисел, но все еще уступает по масштабу вещественным.
Чтобы подступиться к таким задачам, математики традиционно опираются на базовый каркас — теорию множеств Цермело — Френкеля, дополненную так называемой аксиомой выбора. Она гласит, что если у нас есть любая коллекция непустых множеств, мы всегда можем выбрать по одному элементу из каждого. Звучит логично: если перед вами стоит миска с клубникой, вы без проблем возьмете оттуда одну ягоду. Но когда перед вами бесконечное количество непустых множеств, а четких правил выбора нет, наличие такой «функции выбора» перестает быть очевидным фактом.
Именно аксиома выбора позволяет расставить бесконечные множества по росту, превращая их в упорядоченную и бесконечно длинную лестницу. Логично спросить: если на самой первой, базовой ступени стоит бесконечность натуральных чисел, то куда ведут вещественные числа? Занимают ли они следующую же ступеньку или находятся гораздо выше по этой лестнице?
Спустя десятилетия исследований выяснилось, что в рамках привычных математических аксиом ответить на этот вопрос невозможно. Общепринятые базовые правила не содержат ответа.
Новые правила игры: аксиома детерминированности
Вместо поиска выхода из тупика Уильям Чан решил полностью изменить правила игры и задался вопросом: что произойдет, если просто убрать аксиому выбора из математических расчетов?
В своих исследованиях он обратился к идеям, разработанным еще в 1960-х годах. Тогда было доказано, что вместо аксиомы выбора можно использовать аксиому детерминированности — совершенно иной принцип регулярности, который с выбором категорически несовместим.
Аксиома детерминированности утверждает, что в любой бесконечной игре по четким правилам, где два участника по очереди создают бесконечную последовательность чисел, у одного из них всегда есть выигрышная стратегия. Простыми словами, исход такого поединка математически предопределен, и случайность здесь исключена. Этот принцип кажется сложнее и суше, чем простой выбор ягод из мисок, но он задает четкую математическую логику. В мире детерминированности становится возможным строго проследить, как одни бесконечные множества порождают другие.
Классический метод такого моделирования заключается в том, чтобы детально разобрать все потенциальные отображения из одного заданного множества в другое. Любое вещественное число легко представить в виде бесконечной череды десятичных знаков. При этом на абсолютно каждой позиции гарантированно находится одна из 10 базовых цифр, а само количество таких позиций бесконечно. Языком формул это выражается как десять в степени алеф-ноль (10^ℵ₀), что в итоге и формирует мощность континуума. И вместо того чтобы возводить простое число 10 в бесконечную степень, исследователи могут возводить одно бесконечное множество в степень другого, открывая новые колоссальные величины.
Карта вместо бесконечной линии
Главный прорыв Уильяма Чана заключается в изменении самой парадигмы. Он предложил не пытаться втиснуть все бесконечности в одну последовательность, а расположить их в двумерной схеме, подобно координатам на карте. Результаты этой работы опубликованы в научном журнале Proceedings of the National Academy of Sciences.
Представим четыре разные бесконечности: A, B, C и D. Можно ли сравнить A в степени B с C в степени D? По словам Чана, если A больше C, а B больше D, то сравнение тривиально — первая величина больше. Но как поступить, если мы сталкиваемся с обратным случаем, когда заведомо меньшая бесконечность возводится в большую степень, а крупная — в меньшую?
В двухмерной системе координат Чана эти масштабы вовсе не обязаны выстраиваться в одну линию. Каждая такая пара задается строго двумя показателями, где величины A и B обозначают одну конкретную точку на общей карте бесконечностей, в то время как параметры C and D указывают на совершенно иную позицию.
Выяснилось, что стоит только науке отбросить концепцию единой «лестницы» и полностью исключить аксиому выбора, как арифметика больших величин мгновенно приобретает удивительную ясность и упорядоченность. Все уже известные результаты можно легко перенести на эту карту без малейших противоречий. Решает ли это многовековую загадку размеров бесконечных множеств окончательно? Вероятно, нет. Однако, по твердому убеждению самого исследователя, предложенная им концепция дает на удивление мощный и красивый инструмент для глубокого понимания того, по каким законам устроена математическая бесконечность.
Поддержать нас на Boosty
Поддержать нас на Дзен
Вопросы и ответы
Как в математике сравнивают бесконечные множества?
Для этого используют метод парного сопоставления. Каждому элементу одного множества пытаются найти пару из другого множества (по аналогии с котами и мисками). Если всем элементам хватает пар и не остается лишних, множества признаются равными по размеру.
Почему вещественных чисел больше, чем натуральных?
Натуральные и четные числа можно пересчитать и выстроить в бесконечный, но последовательный список. Георг Кантор доказал, что числа с бесконечным количеством десятичных знаков (вещественные) невозможно уложить в такой же список — они всегда будут «выпадать» из него, образуя более крупную бесконечность.
В чем суть нового двумерного подхода к бесконечности?
Вместо использования аксиомы выбора, которая выстраивает множества в единую линию, математики применили аксиому детерминированности. Это позволило рассматривать бесконечности как точки на двумерной карте с двумя координатами, что сделало алгебру бесконечных величин гораздо более понятной и лишенной противоречий.