Бесконечность on kenji.blog

Какой длины береговая линия Великобритании?: Парадокс береговой линии

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

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

Это и есть Парадокс береговой линии (Coastline Paradox). Это открытие позже послужило толчком к созданию совершенно новой области математики под названием «фрактальная геометрия».

Чем короче линейка, тем больше расстояние

Береговая линия — это не прямая линия, она состоит из бесчисленных заливов, мысов и неровностей скалистых берегов.

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

Теперь давайте перемеряем её с помощью линейки длиной 1 км. При этом мы будем следовать контурам небольших заливов и мысов, которые ранее были проигнорированы, поэтому общая длина определенно станет больше.

Что же произойдет, если мы будем измерять каждую неровность камня линейкой в 1 м, поверхность гальки линейкой в 1 см, а контур песчинки линейкой в 1 мм?

graph TD A["Измерение береговой линии"] --> B["Линейка 100 км"] A --> C["Линейка 1 км"] A --> D["Линейка 1 м"] B --> B1["Игнорирует мелкие заливы"] B1 --> B2["Результат: около 2 800 км"] C --> C1["Огибает форму заливов"] C1 --> C2["Результат: около 3 400 км"] D --> D1["Измеряет неровности камней"] D1 --> D2["Результат: увеличивается дальше (теоретически до бесконечности)"] style B2 fill:#FFCDD2,stroke:#333 style C2 fill:#E57373,stroke:#333 style D2 fill:#F44336,stroke:#333,color:#fff

Льюис Фрай Ричардсон эмпирически обнаружил это явление в 1951 году. По мере уменьшения единицы измерения (длины линейки) измеряемая длина береговой линии бесконечно увеличивается.

Фрактальная размерность: между 1 и 2 измерениями

Математическое объяснение этому парадоксу дал математик Бенуа Мандельброт. В 1967 году он опубликовал в журнале Science знаменитую статью под названием «Какой длины побережье Великобритании? Статистическое самоподобие и дробная размерность».

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

В случае чистой математической прямой линии (1 измерение), даже если вы уменьшите линейку вдвое, длина не изменится. Однако из-за того, что береговая линия настолько зубчатая, она сложнее, чем одномерная линия, но в то же время она не является двумерной поверхностью, имеющей площадь.

Чтобы выразить сложность таких фигур, Мандельброт ввел понятие «фрактальной размерности (размерности Хаусдорфа)». Фрактальная размерность береговой линии Великобритании оценивается как $D \approx 1.25$. Иными словами, береговая линия Великобритании — это загадочная сущность, «размерность которой выше одномерной линии, но ниже двумерной плоскости».

Если мы обозначим длину линейки как $s$, а измеряемую длину береговой линии как $L(s)$, то между ними и фрактальной размерностью $D$ существует следующее соотношение:

$$ L(s) \propto s^{1-D} $$

В случае береговой линии Великобритании $D = 1.25$, поэтому $1 - D = -0.25$.

$$ L(s) \propto s^{-0.25} $$

Это математически показывает, что по мере того как длина линейки $s$ приближается к 0, результат измерения $L(s)$ стремится к бесконечности $\infty$.

Окончательный вывод: длина не может быть определена

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

«Какой длины береговая линия Великобритании?» Правильный ответ: «Зависит от длины линейки, которой измеряют», и теоретически она «бесконечна». Тот факт, что в ограниченном небольшом пространстве скрыта бесконечная длина, является поистине прекрасным парадоксом для нашего восприятия пространства.

Летящая стрела неподвижна? Парадокс Зенона «Летящая стрела»

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

Стрела, выпущенная из лука, летит по воздуху. Эта стрела определенно движется. Однако в V веке до нашей эры греческий философ Зенон выдвинул следующую пугающую логику:

«Летящая стрела на самом деле неподвижна»

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

Аргумент Зенона

В основе аргумента Зенона лежит понятие «мгновение времени».

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

graph TD A["Летящая стрела"] --> B["Время - последовательность мгновений"] B --> C["Мгновение t1: стрела неподвижна в точке A"] B --> D["Мгновение t2: стрела неподвижна в точке B"] B --> E["Мгновение t3: стрела неподвижна в точке C"] C --> F{"В каждое мгновение стрела неподвижна"} D --> F E --> F F --> G["Вывод: стрела не движется!"] style A fill:#2196F3,color:#fff style F fill:#FF9800,color:#fff,stroke-width:2px style G fill:#F44336,color:#fff,stroke-width:3px

Интуиция против логики

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

Рассказывают, что древнегреческий философ Диоген в ответ Зенону просто встал и начал ходить по комнате, демонстрируя: «Смотри, я двигаюсь». Однако это не является опровержением логики Зенона. Ведь вопрос Зенона заключается не в том, «можем ли мы двигаться», а в том, «можем ли мы непротиворечиво объяснить с помощью нашей логики, что такое движение».

Попытка решения с помощью математического анализа

Математический анализ (исчисление бесконечно малых), изобретенный в XVII веке Ньютоном и Лейбницем, дал (по крайней мере частично) математический ответ на этот парадокс.

В математическом анализе «скорость в определенное мгновение (мгновенная скорость)» определяется следующим образом:

$$ v(t) = \lim_{\Delta t \to 0} \frac{\Delta x}{\Delta t} $$

То есть скорость определяется как «предел», где изменение координаты $\Delta x$ делится на изменение времени $\Delta t$, а $\Delta t$ стремится к нулю.

Ключевой момент здесь заключается в том, что «мгновенная скорость» — это не пройденное расстояние за нулевой промежуток времени. Это величина, определяемая как «тенденция» мельчайших изменений до и после этого момента времени, то есть как «предел».

Следовательно, ответ с точки зрения математического анализа будет таким:

«Действительно, если вырезать мгновение нулевой продолжительности, ‘внутри’ этого мгновения стрела не перемещается. Однако даже в это мгновение стрела обладает таким свойством, как ‘мгновенная скорость (ненулевое предельное значение)’. ‘Быть в состоянии покоя’ означает, что ‘мгновенная скорость равна нулю’, но поскольку мгновенная скорость летящей стрелы не равна нулю, нельзя сказать, что стрела ‘покоится’».

Оставшиеся философские вопросы

Математический анализ предоставил практическое решение парадокса Зенона, но с философской точки зрения вопрос не был закрыт окончательно.

Концепция «предела» — это всего лишь математический инструмент (вычислительная процедура), который не дает строгого ответа на такие фундаментальные вопросы, как: «чем физически является минимальная единица времени (мгновение)?», «что такое непрерывность?» и «в чем суть движения?»

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

Спустя 2500 лет стрела Зенона всё ещё продолжает задавать нам вопросы: «что значит двигаться?» и «что такое время?».

Можно ли заполнить краской, но не покрасить поверхность?: Рог Гавриила

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

Что будет, если появится сосуд, у которого «объем конечен, а площадь поверхности бесконечна»? Интуитивно кажется, что такое невозможно, но в мире математики подобная фигура действительно существует. Это «Рог Гавриила» (Gabriel’s Horn), также известный как «Рог Торричелли».

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

Парадокс маляра

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

Если заполнить рог краской: Поскольку объем рога конечен (точнее, $\pi$), достаточно влить всего $\pi$ литров (около 3,14 литра) краски, чтобы полностью заполнить его изнутри.
Если красить поверхность рога: Площадь поверхности рога бесконечна. Следовательно, если вы попытаетесь покрасить внутреннюю (или внешнюю) поверхность рога кистью, сколько бы краски вы ни приготовили, вы никогда не закончите эту работу.

«3,14 литрами краски можно заполнить объем, но для покраски поверхности потребуется бесконечно много краски» Почему возникает эта ситуация, противоречащая нашей интуиции?

graph TD A["Рог Гавриила"] --> B["Вычисление объема (интеграл)"] A --> C["Вычисление площади поверхности (интеграл)"] B --> B1["Объем = π (конечен)"] B1 --> B2["Можно заполнить изнутри краской"] C --> C1["Площадь поверхности = ∞ (бесконечна)"] C1 --> C2["Невозможно покрасить поверхность"] B2 --> D{"Парадокс!"} C2 --> D style A fill:#FFD54F,stroke:#333,stroke-width:2px style B1 fill:#81C784,stroke:#333 style C1 fill:#E57373,stroke:#333,color:#fff style D fill:#F44336,stroke:#333,color:#fff,stroke-width:3px

Математическое доказательство: Магия математического анализа

Рог Гавриила образуется вращением графика функции $y = \frac{1}{x}$ (при $x \ge 1$) вокруг оси $x$. Давайте вычислим объем $V$ и площадь поверхности $A$ этой фигуры с помощью математического анализа.

1. Вычисление объема (почему он конечен)

Объем тела вращения $V$ можно найти, интегрируя площадь поперечного сечения (круг радиусом $\frac{1}{x}$).

$$ V = \pi \int_{1}^{\infty} \left( \frac{1}{x} \right)^2 dx = \pi \int_{1}^{\infty} \frac{1}{x^2} dx $$

Если вычислить этот определенный интеграл:

$$ V = \pi \left[ -\frac{1}{x} \right]_{1}^{\infty} = \pi (0 - (-1)) = \pi $$

Результат сходится к конечному значению $\pi$.

2. Вычисление площади поверхности (почему она бесконечна)

С другой стороны, вычисление площади поверхности $A$ выглядит следующим образом.

$$ A = 2\pi \int_{1}^{\infty} y \sqrt{1 + \left(\frac{dy}{dx}\right)^2} dx $$

Поскольку $\frac{dy}{dx} = -\frac{1}{x^2}$, выражение под корнем будет $1 + \frac{1}{x^4}$. Здесь для всех $x \ge 1$ выполняется условие $\sqrt{1 + \frac{1}{x^4}} > 1$, поэтому верно следующее неравенство:

$$ A > 2\pi \int_{1}^{\infty} \frac{1}{x} \cdot 1 dx = 2\pi \left[ \ln x \right]_{1}^{\infty} $$

Натуральный логарифм $\ln x$ стремится к бесконечности при $x \to \infty$. Следовательно, большая по значению площадь поверхности $A$, естественно, тоже расходится к бесконечности.

«Разоблачение» парадокса

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

Это расхождение с интуицией возникает из-за смешения математических концепций и физической реальности.

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

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

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

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

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% верна, но выводы из нее резко противоречат человеческой интуиции и законам физики.

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

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

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

Парадокс двух конвертов: как бесконечное математическое ожидание разрушает логику и создает ловушки в принятии решений

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

1. Главный выбор: менять или не менять?

Вы находитесь на финальном этапе телеигры. На столе перед вами лежат два конверта (А и Б), которые выглядят абсолютно одинаково. Ведущий говорит:

“В одном из конвертов находится в два раза больше денег, чем в другом. Выберите один из них.”

После некоторых колебаний вы выбрали конверт А. И как раз в тот момент, когда вы собираетесь посмотреть его содержимое, ведущий искушающе шепчет:

“Прямо сейчас вы можете поменять ваш конверт А на оставшийся конверт Б. Хотите поменяться?”

Итак, стоит ли вам менять конверты?

2. «Бесконечный цикл», порожденный вычислением математического ожидания

Давайте теперь задействуем немного математического мышления. Пусть сумма денег в вашем конверте А равна $X$ иен. Согласно правилам, сумма в конверте Б — это либо “половина от $X$ иен ($\frac{X}{2}$)”, либо “в 2 раза больше $X$ иен ($2X$)”. Вероятность каждого варианта составляет $\frac{1}{2}$ (50%).

Теперь давайте посчитаем математическое ожидание (ожидаемую среднюю сумму) в случае обмена конвертами.

$$ E = \frac{1}{2} \times \left(\frac{X}{2}\right) + \frac{1}{2} \times (2X) $$ $$ E = \frac{X}{4} + X = \frac{5}{4}X = 1.25X $$

Получился удивительный результат. Просто поменяв конверты, математическое ожидание подскакивает с изначальных $X$ иен до в $1.25$ раза (увеличение на 25%). Напрашивается вывод: “Если мыслить математически, менять конверт — безусловно выгодно!”.

Однако здесь происходит разрушение логики. Предположим, вы поменяли его на конверт Б. Что будет, если сразу после этого ведущий снова спросит: “Не хотите ли вернуться обратно к А?” Сработает та же самая формула, и на этот раз окажется, что “при обмене Б на А ожидаемая сумма увеличится в 1,25 раза”.

Другими словами, просто продолжая обменивать “А на Б” и “Б на А”, теоретическое математическое ожидание будет расти до бесконечности. Это очевидным образом противоречит реальности (содержимое конвертов зафиксировано с самого начала, и оно не увеличивается от факта обмена).

graph TD Start["Вы выбираете конверт А (содержит X иен)"] --> Think["Считаем, выгоден ли обмен"] Think --> Case1["В конверте Б половина (X/2 иен) : вероятность 50%"] Think --> Case2["В конверте Б в 2 раза больше (2X иен) : вероятность 50%"] Case1 --> Calc["Математическое ожидание = (X/4) + X = 1.25X"] Case2 --> Calc Calc --> SwitchToB["Меняем на конверт Б! (содержит Y иен)"] SwitchToB --> ThinkAgain["Снова считаем"] ThinkAgain --> Case3["В конверте А половина (Y/2 иен) : вероятность 50%"] ThinkAgain --> Case4["В конверте А в 2 раза больше (2Y иен) : вероятность 50%"] Case3 --> Calc2["Математическое ожидание = 1.25Y"] Case4 --> Calc2 Calc2 --> SwitchToA["Снова меняем на конверт А!"] SwitchToA --> Start style Calc fill:#ff9999,stroke:#333,stroke-width:2px style Calc2 fill:#ff9999,stroke:#333,stroke-width:2px style SwitchToA fill:#ff4444,color:#fff,stroke:#333,stroke-width:4px

Почему, казалось бы, идеальный расчет математического ожидания породил такой странный парадокс?

3. Разоблачение математического трюка: подмена переменных

Ловушка этого парадокса кроется в «использовании случайной величины $X$».

В предыдущей формуле сумма $X$ в конверте А рассматривалась как фиксированная константа, и предполагалось, что в конверте Б находится либо «$\frac{X}{2}$», либо «$2X$». Однако на самом деле фиксированными являются «общая сумма денег в обоих конвертах», или же «меньшая из двух сумм».

Пусть сумма в конверте с меньшим количеством денег равна $S$. Тогда в конверте с большим количеством денег находится сумма $2S$. Существует только 2 возможных сценария игры (вероятность каждого $\frac{1}{2}$):

Сценарий 1: Выбранный вами конверт А содержит меньшую сумму ($S$), а конверт Б — большую ($2S$).
Сценарий 2: Выбранный вами конверт А содержит большую сумму ($2S$), а конверт Б — меньшую ($S$).

Теперь давайте правильно посчитаем математическое ожидание для случаев «без обмена» и «с обменом» конвертами.

Математическое ожидание без обмена $E_{stay}$:

$$ E_{stay} = \frac{1}{2} \times S + \frac{1}{2} \times 2S = \frac{3}{2}S = 1.5S $$

Математическое ожидание с обменом $E_{switch}$: При сценарии 1 вы получите $2S$, а при сценарии 2 вы получите $S$.

$$ E_{switch} = \frac{1}{2} \times 2S + \frac{1}{2} \times S = \frac{3}{2}S = 1.5S $$ $$ E_{stay} = E_{switch} $$

Математические ожидания чудесным образом совпали! В первом ошибочном расчете мы рассматривали разные значения под одной и той же переменной $X$: $X$ в сценарии 1 (на самом деле это $S$) и $X$ в сценарии 2 (на самом деле это $2S$). Из-за этого и возникла иллюзия того, что “обмен повышает математическое ожидание”.

pie title "Истинное математическое ожидание (если меньшая сумма равна S)" "Ожидание без обмена (1.5S)" : 50 "Ожидание с обменом (1.5S)" : 50

4. Что будет, если вы всё-таки откроете конверт?

Кажется, что парадокс разрешен. Но нас ждет еще более глубокая проблема.

Что, если перед обменом вы посмотрели бы содержимое вашего конверта А? Вы открываете конверт А и видите в нем «10 000 иен».

В этот момент $X = 10000$ становится зафиксированным значением. В конверте Б находится либо «5 000 иен», либо «20 000 иен». Что будет, если мы применим сюда нашу первоначальную формулу?

$$ E_{switch} = \frac{1}{2} \times 5000 + \frac{1}{2} \times 20000 = 2500 + 10000 = 12500 $$

Ожидаемая сумма — 12 500 иен. Это определенно больше ваших текущих 10 000 иен. Более того, на этот раз $X$ является “конкретной константой” в 10 000 иен, поэтому предыдущий аргумент о “подмене переменных” больше не работает. Означает ли это, что теперь совершенно точно выгодно поменяться?

Опровержение с помощью байесовского вывода: отсутствие «априорного распределения»

В ответ на это математики предложили концепцию «априорного распределения сумм (априорной вероятности)». Вопрос в том: можем ли мы действительно утверждать, что 5 000 иен и 20 000 иен находятся там с вероятностью $\frac{1}{2}$ каждое?

Например, предположим, что бюджет телеигры составляет максимум 100 миллионов иен. Если вы откроете конверт А и обнаружите там «60 миллионов иен», вероятность того, что в конверте Б находится «120 миллионов иен», равна нулю (поскольку это превысит бюджет). Это означает, что чем больше сумма в конверте А, тем ниже вероятность того, что в конверте Б сумма “в два раза больше”, и тем выше вероятность, что там “половина”.

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

5. Ловушка бесконечности: связь с Санкт-Петербургским парадоксом

Существует лишь один единственный случай, когда “обмен выгоден при любых $X$”. Он возможен только при допущении, что бюджет телеигры бесконечен, и мы имеем дело с “несобственным распределением вероятностей” (распределением, сумма которого равна бесконечности), где любая сумма (1 иена, 2 иены, 4 иены, 8 иен… до бесконечности) может выпасть с одинаковой вероятностью.

Однако в реальном мире не существует телеканалов с бесконечными активами. Этот сбой, вызванный “бесконечным математическим ожиданием”, имеет глубокие общие корни с Санкт-Петербургским парадоксом (задачей о том, сколько человек готов заплатить за участие в игре с бесконечным математическим ожиданием выигрыша).

6. Заключение: коварство вероятности и математического ожидания

Несмотря на то, что “Парадокс двух конвертов” состоит из простейших умножений и сложений, он преподносит нам следующие уроки:

Ошибки из-за неоднозначности определений: если четко не определить, на что указывает переменная (указывает ли $X$ всегда на одну и ту же сумму), логика легко разрушится.
Иллюзия «нет информации = вероятность 50%»: предположение “если я не знаю, значит шансы 50 на 50” (принцип недостаточного основания) порой может привести к фатальным ошибкам в расчетах.
Сложность работы с бесконечностью: введение в расчеты концепции “бесконечности”, неприменимой в реальном мире, приводит к результатам, противоречащим здравому смыслу.

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