Теория Множеств on kenji.blog

Парадокс Ришара: Противоречие, вызванное бесконечными десятичными дробями и "диагональным аргументом"

Thu, 10 Sep 2026 12:00:00 +0900

1. Список чисел, которые можно определить словами

«Парадокс Ришара», представленный французским математиком Жюлем Ришаром в 1905 году, является своего рода родственником упомянутого ранее «парадокса Берри». Однако он более математический и содержит в себе глубокое противоречие, словно заглядывающее в бесконечность.

Сначала представьте, что мы собираем «все действительные числа (десятичные дроби) от 0 до 1, которые можно полностью определить с помощью предложений на русском языке».

Например, такие числа:

«Ноль целых пять десятых» $\rightarrow$ $0.5$
«Одна третья» $\rightarrow$ $0.333333...$
«Число, состоящее из цифр числа пи после запятой» $\rightarrow$ $0.14159265...$

Поскольку комбинации предложений, которые можно выразить на русском языке, — это просто перестановка букв, имеющихся в словаре, мы можем установить для них «порядок». (Например, расположить их в порядке возрастания количества букв, а если количество букв совпадает — в алфавитном порядке.)

Таким образом, мы смогли создать бесконечный список, присвоив номера 1, 2, 3… «всем действительным числам, которые можно определить на русском языке».

$$ \begin{align*} r_1 &= 0.\mathbf{3}333... \\ r_2 &= 0.5\mathbf{0}00... \\ r_3 &= 0.14\mathbf{1}5... \\ r_4 &= 0.777\mathbf{7}... \\ &\vdots \end{align*} $$

В этом списке должны быть абсолютно все «действительные числа, которые можно определить на русском языке», без единого исключения.

2. Дьявольская техника: «Диагональный аргумент»

Здесь Ришар применяет пугающую операцию. Он искусственно создает «совершенно новое число $X$», которое обходит все числа из этого списка.

Способ создания прост:

Берем первую цифру после запятой первого числа в списке (в примере выше это $3$). Прибавляем к ней $1$, и это становится первой цифрой числа $X$ ($3+1=4$).
Берем вторую цифру после запятой второго числа в списке (в примере выше это $0$). Прибавляем к ней $1$, и это становится второй цифрой числа $X$ ($0+1=1$).
Берем третью цифру после запятой третьего числа в списке (в примере выше это $1$). Прибавляем к ней $1$, и это становится третьей цифрой числа $X$ ($1+1=2$).

※ Если исходная цифра — $9$, то мы превращаем её в $0$.

Новое число $X$, созданное таким образом (в нашем примере $X = 0.4128...$), абсолютно точно не совпадает ни с одним числом в списке. Причина в том, что оно намеренно отличается от $n$-го числа как минимум его «$n$-й цифрой после запятой». (Этот метод называется «диагональным аргументом» (или канторовым диагональным процессом), и он был разработан гениальным математиком Георгом Кантором для доказательства того, что множество действительных чисел несчетно бесконечно.)

3. Завершение парадокса Ришара

А вот теперь начинается сам парадокс.

Мы только что создали новое число $X$. И «правило» создания этого числа $X$ сейчас было полностью объяснено (определено) текстом на русском языке, который я написал выше.

То есть $X$ — это «действительное число, которое можно определить на русском языке».

Но вспомните исходную предпосылку: «Действительные числа, которые можно определить на русском языке», должны быть полностью охвачены исходным списком ($r_1, r_2, r_3...$). И тем не менее, $X$ было создано таким образом, чтобы не совпадать ни с одним числом в этом списке.

$X$ должно быть в списке (так как оно было определено на русском языке).
$X$ не должно быть в списке (поскольку с помощью диагонального аргумента оно было создано так, чтобы отличаться от всех чисел в списке).

Идеальное противоречие! Это и есть парадокс Ришара.

4. Почему рухнула логика? (Ловушка метаязыка)

Причина возникновения этого парадокса, как и в случае с парадоксом Берри, кроется в смешении «языковых уровней».

Для того чтобы заниматься математикой со всей строгостью, мы должны четко разделять «список целевых чисел (объектный язык)» и «правила, которые описывают свойства этого списка извне (метаязык)».

Список Ришара представляет собой совокупность «определений вычислимых чисел». Однако правило для создания нового числа $X$ — «взять $n$-ю цифру $n$-го числа в списке» — это метаязыковая операция, которую нельзя выполнить без взгляда на список извне.

Парадокс Ришара взорвался самопротиворечием из-за того, что мы попытались тайком протащить «метаязыковое число $X$, созданное путем манипуляции списком извне» внутрь самого этого «внутреннего списка».

5. Передача эстафеты Гёделю

Этот парадокс Ришара произвел настоящий фурор в математическом мире того времени. «Человеческий язык (и логические системы) могут легко привести к самопротиворечиям, если не быть осторожными. Как же сделать математику совершенной и непротиворечивой?»

В 1931 году окончательную точку в этом вопросе поставил молодой 25-летний гениальный математик Курт Гёдель. Гёдель смог идеально перевести и воспроизвести структуру этого парадокса, который Ришар создал, используя «неоднозначность человеческого языка», с помощью «строгих математических формул (гёделевых чисел)».

В результате появилась на свет знаменитая «теорема Гёделя о неполноте». Это было великое открытие, доказавшее пределы человеческого познания: «Как бы строго мы ни выстраивали математические правила, внутри этих правил обязательно возникнет “истина, которую невозможно ни доказать, ни опровергнуть” (математика неполна)».

Парадокс Ришара, начавшийся как простая противоречивая игра слов, со временем эволюционировал в мощнейшее оружие, разрушившее «абсолютность» самой математики как науки.

Отель бесконечности Гильберта: как разместить бесконечное число гостей в полностью занятом отеле

Thu, 10 Sep 2026 06:00:00 +0900

1. Добро пожаловать в абсолютный отель

Великий немецкий математик Давид Гильберт придумал следующий забавный мысленный эксперимент, чтобы проиллюстрировать, насколько концепция «бесконечности» далека от человеческой интуиции.

Представьте себе: где-то во Вселенной находится отель под названием «Отель бесконечности Гильберта». В этом отеле существует бесконечное количество пронумерованных номеров: номер 1, номер 2, номер 3 и так далее.

В один прекрасный день во Вселенной произошло грандиозное событие, и все номера в этом бесконечном отеле были заняты, он оказался «заполнен». В этот момент прибывает уставший путешественник и спрашивает на стойке регистрации: «Не могли бы вы найти для меня один номер?»

Обычный отель мог бы только отказаться, сказав: «Извините, свободных мест нет». Однако это отель бесконечности. Менеджер улыбнулся и ответил: «Конечно. Сейчас подготовим для вас номер». Как же можно разместить нового гостя, если отель переполнен?

2. Случай 1: Как разместить 1 нового гостя

Менеджер по системе громкой связи отеля сделал следующее объявление для всех уже проживающих гостей:

«Уважаемые гости, пожалуйста, переместитесь в номер, номер которого равен вашему текущему номеру “плюс 1”.»

Что же произойдет?

Гость из номера 1 переместится в номер 2.
Гость из номера 2 переместится в номер 3.
Гость из номера 3 переместится в номер 4.
Гость из номера $n$ переместится в номер $n+1$.

graph LR subgraph "До перемещения (полный)" R1["Номер 1
(Гость A)"] R2["Номер 2
(Гость B)"] R3["Номер 3
(Гость C)"] R4["..."] end subgraph "После перемещения" NewR1["Номер 1
(Свободно!)"] NewR2["Номер 2
(Гость A)"] NewR3["Номер 3
(Гость B)"] NewR4["Номер 4
(Гость C)"] end R1 -->|Перемещение| NewR2 R2 -->|Перемещение| NewR3 R3 -->|Перемещение| NewR4 NewGuest["Новый гость"] -->|Заселение| NewR1 style NewR1 fill:#aaffaa,stroke:#333,stroke-width:2px style NewGuest fill:#ffaaaa,stroke:#333,stroke-width:2px

Так как комнат бесконечное множество, ситуации, при которой «гостя из самой последней комнаты выгонят», не произойдет. Все благополучно переезжают в соседнюю комнату. И вот, номер 1 стал свободным. Новый путешественник смог благополучно заселиться в номер 1.

В мире бесконечности справедливо равенство $\infty + 1 = \infty$. Даже если прибавить или отнять «один» от «целого (бесконечности)», размер целого не изменится.

3. Случай 2: Как разместить бесконечное число новых гостей

Итак, на следующий день. Отель снова вернулся в состояние заполненности. И вот прибывает бесконечный автобус с «бесконечным числом пассажиров». Гости, выходящие из автобуса, подходят к стойке регистрации и требуют: «Подготовьте номера для всех!»

Если просить переместиться на «плюс 1», как вчера, это займет вечность. Но менеджер не паникует. Он снова делает объявление по громкой связи:

«Уважаемые гости, пожалуйста, переместитесь в номер, номер которого в “2 раза” больше вашего текущего номера.»

Что же произойдет?

Гость из номера 1 переместится в номер 2.
Гость из номера 2 переместится в номер 4.
Гость из номера 3 переместится в номер 6.
Гость из номера $n$ переместится в номер $2n$.

Благодаря этому перемещению бесконечное число уже проживающих гостей идеально разместилось во «всех номерах с четными номерами». И чудесным образом «все номера с нечетными номерами (номер 1, номер 3, номер 5…)» стали совершенно свободными!

Так как нечетных чисел также бесконечно много, менеджер может по очереди направлять пассажиров из бесконечного автобуса в номера 1, 3, 5… и таким образом разместить всех.

В мире бесконечности справедливо равенство $\infty + \infty = \infty$. Даже если к бесконечности прибавить бесконечность, размер останется тем же — «бесконечностью».

4. Случай 3: Что если прибудет бесконечное число бесконечных автобусов?

На следующий день. Отель снова заполнен. Но вот прибывает бесконечная колонна из «бесконечных автобусов, каждый из которых перевозит бесконечное число пассажиров».

Бесконечное число людей в автобусе №1, бесконечное число в автобусе №2, бесконечное число в автобусе №3… и так до бесконечности. Тут бы и менеджеру поддаться панике, но он был математическим гением. Он догадался использовать «простые числа».

Менеджер отдал следующие распоряжения:

Перемещение уже проживающих в отеле гостей Если текущий номер комнаты равен $n$, гости должны переехать в номер «$2^n$». (Номер 1 $\rightarrow$ номер 2, номер 2 $\rightarrow$ номер 4, номер 3 $\rightarrow$ номер 8…) Таким образом, все текущие гости размещены.
Размещение гостей из автобуса №1 (бесконечное число) Если номер места гостя равен $n$, направить его в номер «$3^n$». (Номер 3, номер 9, номер 27…)
Размещение гостей из автобуса №2 (бесконечное число) Используя следующее простое число 5, направить их в номер «$5^n$». (Номер 5, номер 25, номер 125…)
Размещение гостей из автобуса №$k$ (бесконечное число) Используя $k+1$-е простое число $P$, направить их в номер «$P^n$».

Благодаря мощной математической теореме об «однозначности разложения на простые множители» (любое число может быть представлено в виде произведения простых чисел только одним способом), номера комнат $2^n, 3^n, 5^n, 7^n \dots$ абсолютно никогда не совпадут ни с чьими другими.

Таким образом, менеджер блестяще разместил в одном бесконечном отеле невероятное количество гостей: «бесконечность $\times$ бесконечность»!

5. В бесконечностях есть разница в «размерах» (Теорема Кантора)

Отель бесконечности Гильберта учит нас тому, что «счетная бесконечность (бесконечность, которую можно пересчитать, присвоив номера 1, 2, 3…)», сколько бы вы ее ни складывали или ни умножали, в конечном итоге умещается в рамки «счетной бесконечности» того же размера.

Однако математик Георг Кантор открыл еще более пугающий факт. Всех «натуральных» или «дробных» чисел (рациональных) можно заселить в этот бесконечный отель. Но если прибудут гости, являющиеся «действительными числами (все десятичные дроби, включая иррациональные)», то даже в этом бесконечном отеле невозможно будет разместить всех.

Доказано, что множество действительных чисел является фундаментально «бóльшей (бесконечностью более высокого уровня)», чем количество номеров в бесконечном отеле (счетная бесконечность). Хотя мы склонны обобщать все словом «бесконечность», на самом деле внутри нее существует иерархическая структура (мощность): от «малых бесконечностей» до «настолько больших бесконечностей, что их невозможно достичь».

6. Заключение: «Бесконечность», разрушающая человеческую интуицию

Отель бесконечности Гильберта ярко демонстрирует, как наш «конечный здравый смысл», взращенный в повседневной жизни, не работает в «мире бесконечности».

«Целое больше своей части» «В полностью занятом отеле нет мест ни для кого» «Если к бесконечности прибавить бесконечность, она станет больше»

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

В следующий раз, когда вам откажут, сказав: «Отель полностью занят», обязательно представьте себе: «А что, если бы этот отель был Отелем бесконечности Гильберта».

Парадокс Банаха-Тарского: если разрезать один шар, получатся два таких же?

Thu, 10 Sep 2026 02:00:00 +0900

1. Волшебная теорема: 1 = 1 + 1 ?

Представьте, что перед вами находится один шар из чистого золота. Вы разрезаете этот шар ножом на несколько частей. Затем вы собираете эти части вместе, словно пазл. Вы не растягиваете, не сгибаете части и не добавляете новое золото. Вы просто перемещаете их и соединяете.

Однако, взглянув на собранный пазл, вы обнаруживаете, что получились «два шара из чистого золота, абсолютно такого же размера, как и исходный шар».

Вы наверняка подумаете: «Что за вздор! Это противоречит закону сохранения массы и похоже на бред алхимика!» В реальном физическом мире это абсолютно невозможно. Однако в мире чистой математики (геометрии и теории множеств) это доказано как логически на 100% верная теорема.

Это и есть «парадокс Банаха-Тарского», доказанный в 1924 году двумя математиками — Стефаном Банахом и Альфредом Тарским.

2. Точное понимание сути парадокса

Если выразить теорему, доказанную Банахом и Тарским, математически точным языком, она будет звучать следующим образом:

Теорема Банаха-Тарского Любой шар $S$ в трехмерном пространстве может быть разбит на конечное число частей. Затем, путем перестановки этих частей (используя только вращение и параллельный перенос), можно составить два шара, имеющих точно такой же радиус, как и исходный шар $S$.

Что еще более удивительно, применяя эту теорему, можно утверждать следующее:

Разделив одну горошину на конечное число частей и собрав их заново, можно создать шар размером с Солнце. (Также известно как парадокс горошины и Солнца)

Почему же такие магические вещи допускаются в математике? Секрет кроется в двух ключевых понятиях: «бесконечность» и «аксиома выбора».

3. Удивительные свойства «бесконечности»

Первый шаг к пониманию этого парадокса — узнать о странных свойствах «бесконечных множеств».

В привычном нам «конечном» мире целое всегда больше своей части. Например, если из чисел от 1 до 10 (10 штук) выбрать только четные (5 штук), количество чисел уменьшится вдвое.

Однако в мире «бесконечности» этот здравый смысл не работает. Чего больше: всех «натуральных чисел» (1, 2, 3, 4, …) или всех «четных чисел» (2, 4, 6, 8, …)? Интуитивно кажется, что натуральных чисел больше, так как четные числа составляют лишь их половину. Но попробуйте составить пары следующим образом:

1 $\rightarrow$ 2
2 $\rightarrow$ 4
3 $\rightarrow$ 6
$n \rightarrow 2n$

Таким образом, для каждого натурального числа можно составить в пару ровно одно четное число, которое в два раза больше (взаимно однозначное соответствие). Ни одного числа не останется без пары. С математической точки зрения это означает, что «количество натуральных чисел (бесконечность)» и «количество четных чисел (бесконечность)» абсолютно одинаковы по размеру!

Мы вроде бы взяли половину (четные числа) из целого (натуральные числа), но размер остался прежним. В бесконечных множествах может случиться так, что «часть равна целому». Теорема Банаха-Тарского — это высшая форма применения этой «магии бесконечности» к множеству «точек» в трехмерном пространстве.

4. Точки пространства разбиваются на «неизмеримые» части

Если разрезать реальный объект (золото или яблоко) ножом, у каждой части обязательно будет «объем». Однако в математике шар — это «совокупность бесконечного числа точек», которые сами по себе не имеют объема.

Банах и Тарский разделили эти бесконечные точки на группы (части) весьма специфическим и сложным способом. Такое разделение настолько сложное и рассеянное, что полученные части приходят в состояние, когда их «объем невозможно измерить (неизмеримые множества)».

graph TD S["Исходный шар S (объем V)"] -->|Специфическое разбиение| P1["Часть 1 (объем неизмерим)"] S --> P2["Часть 2 (объем неизмерим)"] S --> P3["Часть 3 (объем неизмерим)"] S --> P4["Часть 4 (объем неизмерим)"] S --> P5["Часть 5 (объем неизмерим)"] P1 -->|Вращение и перенос| S1["Новый шар 1 (объем V)"] P2 -->|Вращение и перенос| S1 P3 -->|Вращение и перенос| S1 P4 -->|Вращение и перенос| S2["Новый шар 2 (объем V)"] P5 -->|Вращение и перенос| S2 style S fill:#ffddaa,stroke:#333,stroke-width:2px style S1 fill:#aaddff,stroke:#333,stroke-width:2px style S2 fill:#aaddff,stroke:#333,stroke-width:2px

Когда каждая часть становится туманным скоплением точек, «не имеющим объема (неизмеримым)», мы можем обойти физическое правило о том, что «сумма частей должна быть равна исходному объему» (аддитивность меры).

А затем, если мы повернем и удачно скомбинируем эти туманные части точек, благодаря «магии бесконечности» получатся два шара, так же плотно заполненные точками, как и исходный шар. Фактически доказано, что операция «создания двух шаров из одного» возможна при разделении исходного шара всего на 5 частей.

5. Корень всех бед: что такое «аксиома выбора»?

Так почему же математически возможно такое «разбиение, настолько сложное, что невозможно измерить объем»? Это потому, что мы признаем правило, известное как «аксиома выбора (Axiom of Choice)», которое лежит в основе современной математики.

Грубо говоря, аксиома выбора — это следующее правило:

Суть аксиомы выбора Когда есть много коробок, в каждой из которых что-то лежит, это правило гласит: «можно выбрать по одному элементу из каждой коробки и создать из них новый набор (множество)».

Если количество коробок конечно, то любой с легкостью может это сделать. Однако, если коробок «бесконечно много», человек не может завершить процесс «выбора по одному» бесконечное число раз. Тем не менее, аксиома выбора позволяет утверждать, что «созданное путем такого выбора множество существует».

Эта аксиома оказалась чрезвычайно удобной и необходимой для построения современной математики. Большинство математиков приняли это правило, подумав: «Ну, это же очевидно».

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

6. Заключение: «Мир за пределами интуиции», нарисованный математикой

Парадокс Банаха-Тарского — это не парадокс в смысле «противоречия в логике». Это парадокс в том смысле, что логика на 100% верна, но выводы из нее резко противоречат человеческой интуиции и законам физики.

Когда эта теорема была опубликована, некоторые математики заявили: «Раз из нее следуют такие абсурдные выводы, значит, аксиома выбора наверняка ошибочна!» Но сегодня большинство математиков принимают аксиому выбора, а также признают теорему Банаха-Тарского как «странное, но прекрасное свойство трехмерного пространства и бесконечных множеств».

Поскольку физический мир, в котором мы живем, состоит из атомов, которые являются «частицами, имеющими размер (конечными)», мы не можем сделать горошину размером с Солнце. Однако на холсте «математики», созданном человеческим разумом, размер точки равен нулю, и допускаются бесконечные операции.

Парадокс Банаха-Тарского по праву можно назвать одним из величайших шедевров современной математики, показывающим, насколько легко понятие «бесконечности» превосходит наивную человеческую интуицию.