Математическая эссенция
Kanalga Telegram’da o‘tish
Рассказываем о различных математических сюжетах, уделяя особое внимание наглядности и простоте изложения. В математических методах стремимся выделять основную идею, сущность, квинтэссенцию, аромат — essence. Для связи пишите @math_essence_bot.
Ko'proq ko'rsatish3 083
Obunachilar
Ma'lumot yo'q24 soatlar
-87 kun
-330 kun
Ma'lumotlar yuklanmoqda
O'xshash kanallar
Taglar buluti
Kirish va chiqish esdaliklari
---
---
---
---
---
---
Obunachilarni jalb qilish
Noyabr '26Noy '26
Noyabr '26
+7
0 kanalda
Oktabr '26
+29
2 kanalda
Get PRO
Sentabr '26
+44
2 kanalda
Get PRO
Avgust '26
+65
1 kanalda
Get PRO
Iyul '26
+98
3 kanalda
Get PRO
Iyun '26
+158
5 kanalda
Get PRO
May '26
+14
0 kanalda
Get PRO
Aprel '26
+30
3 kanalda
Get PRO
Mart '26
+44
4 kanalda
Get PRO
Fevral '26
+59
4 kanalda
Get PRO
Yanvar '26
+35
0 kanalda
Get PRO
Dekabr '25
+68
5 kanalda
Get PRO
Noyabr '25
+133
5 kanalda
Get PRO
Oktabr '25
+46
4 kanalda
Get PRO
Sentabr '25
+71
5 kanalda
Get PRO
Avgust '25
+120
5 kanalda
Get PRO
Iyul '25
+87
3 kanalda
Get PRO
Iyun '25
+71
4 kanalda
Get PRO
May '25
+105
8 kanalda
Get PRO
Aprel '25
+76
5 kanalda
Get PRO
Mart '25
+185
5 kanalda
Get PRO
Fevral '25
+68
2 kanalda
Get PRO
Yanvar '25
+154
4 kanalda
Get PRO
Dekabr '24
+112
4 kanalda
Get PRO
Noyabr '24
+81
5 kanalda
Get PRO
Oktabr '24
+123
6 kanalda
Get PRO
Sentabr '24
+724
16 kanalda
Get PRO
Avgust '24
+279
9 kanalda
Get PRO
Iyul '24
+205
5 kanalda
Get PRO
Iyun '24
+64
3 kanalda
Get PRO
May '24
+52
1 kanalda
Get PRO
Aprel '24
+69
2 kanalda
Get PRO
Mart '24
+38
0 kanalda
Get PRO
Fevral '24
+82
1 kanalda
Get PRO
Yanvar '24
+603
3 kanalda
Get PRO
Dekabr '23
+150
2 kanalda
Get PRO
Noyabr '23
+23
0 kanalda
Get PRO
Oktabr '23
+384
0 kanalda
| Sana | Obunachilarni jalb qilish | Esdaliklar | Kanallar | |
| 08 Noyabr | +1 | |||
| 07 Noyabr | +2 | |||
| 06 Noyabr | 0 | |||
| 05 Noyabr | +2 | |||
| 04 Noyabr | 0 | |||
| 03 Noyabr | 0 | |||
| 02 Noyabr | +2 | |||
| 01 Noyabr | 0 |
Kanal postlari
| 2 | Matn yo'q... | 460 |
| 3 | Matn yo'q... | 702 |
| 4 | Matn yo'q... | 2 |
| 5 |  Одинаковые наблюдения — разные миры
В предыдущем посте возникли две разные математические картины гравитации.
В ОТО сама метрика пространства-времени динамична и сама задаёт световые конусы.
В теории Логунова за гравитационным полем сохраняется ещё одна структура — пространство Минковского с собственной границей причинности.
Это не просто два способа рассказать одну и ту же историю. Из разных исходных конструкций могут следовать разные глобальные картины мира.
Например, чёрная дыра.
В ОТО при коллапсе может возникнуть горизонт событий: область, из которой сигнал уже не выйдет наружу никогда.
В РТГ Логунова настоящего горизонта событий нет. Возникает другая картина сверхкомпактного объекта.
Кажется, эксперимент должен просто решить, какой вариант правильный.
Но эксперимент проверяет не картину мира целиком. Он даёт нам лишь конечный фрагмент происходящего — некоторый набор событий, который мы сравниваем с предсказаниями модели.
Если две модели дают на этом фрагменте одинаковые — или практически неразличимые — результаты, эксперимент не может сказать, какая из них правильно продолжает картину за его пределами.
Математически это проблема экстраполяции. Предположим, мы знаем функцию только при t ≤ T.
Этим данным могут соответствовать две функции, которые совершенно совпадают до T, а после T ведут себя по-разному.
Никакая точность измерений на промежутке t ≤ T не сообщит нам, какая из двух ветвей реализуется потом.
Горизонт событий особенно ясно показывает это различие.
Одна модель утверждает: сигнал не выйдет никогда.
Другая: сигнал может выйти, но настолько поздно и настолько ослабленным, что за всё время наблюдений мы его не увидим.
За конечное время можно установить только: сигнал пока не вышел.
Переход от «пока» к «никогда» делает уже не прибор, а математическая модель.
И горизонт — лишь один из выразительных примеров.
Локально очень похожие модели могут иметь разную глобальную структуру: разную причинность, разные границы пространства-времени, разную судьбу коллапса, а иногда даже разную топологию всего пространства.
Это не означает, что все модели равноправны. Как только их наблюдаемые предсказания расходятся, эксперимент получает возможность одну из них исключить. Поэтому новые наблюдения постоянно сужают множество допустимых теорий.
Но принципиальная возможность остаётся: две математически разные картины мира могут совпадать во всём, что нам доступно наблюдению, и расходиться за пределами этой области.
Мы начинали с вопроса о границе достижимости: откуда Анна ещё успевает к поезду. А пришли к вопросу о пределах совсем другого рода: что вообще можно узнать о глобальном устройстве мира из конечного фрагмента его наблюдаемой истории. | 831 |
| 6 |  Кто задаёт границу причинности?
Мы выяснили, что число c означает не только «скорость, с которой летит свет». В специальной теории относительности интервал имеет вид
ds² = c²dt² − dx² − dy² − dz².
Условие ds² = 0 задаёт границу светового конуса.
Свет идёт по этой границе. Мировые линии массивных тел остаются внутри неё. А за пределами конуса лежат события, на которые данное событие уже никак не может повлиять. Поэтому световой конус можно понимать и без разговора о свете: это прежде всего граница причинности.
Но кто задаёт сам световой конус?
В общей теории относительности ответ Эйнштейна довольно радикален.
Формула интервала уже не одна и та же во всём пространстве-времени:
ds² = gₖₘ dxᵏ dxᵐ.
Коэффициенты gₖₘ зависят от точки. Именно они описывают геометрию пространства-времени — и именно из них в каждой точке получается свой световой конус:
gₖₘ dxᵏ dxᵐ = 0.
Причём сама метрика gₖₘ не задана заранее. Она связана с веществом и энергией уравнениями Эйнштейна:
Gₖₘ = 8πG/c⁴ · Tₖₘ.
Грубо говоря, вещество и энергия влияют на геометрию, а геометрия определяет, куда вообще может распространяться причинное воздействие. В ОТО нет отдельного фонового светового конуса «под гравитацией». Гравитационная геометрия сама задаёт причинную структуру. Она динамична: меняется от точки к точке и зависит от распределения материи и энергии.
Академик А.А. Логунов предложил другую картину — релятивистскую теорию гравитации.
Он не хотел отказываться от пространства Минковского. По Логунову, оно остаётся фундаментальным фоном со своей метрикой γₖₘ и со своим световым конусом. А гравитация — это физическое поле, существующее на этом фоне и создающее для вещества эффективную метрику gₖₘ.
При этом эффективный световой конус не должен выходить за световой конус пространства Минковского. Последний остаётся окончательной границей причинности.
Если сильно упростить спор, получается такой диалог.
Эйнштейн: никакого светового конуса «под гравитацией» нет. Сама гравитационная геометрия и определяет причинную структуру.
Логунов: должна существовать более глубокая причинная структура, которой обязана подчиняться и сама гравитация.
Итак, различие принципиальное: в ОТО фиксированного геометрического фона нет, а в РТГ он сохраняется.
Логунова не устраивали и некоторые другие особенности ОТО: например, отсутствие обычной локальной тензорной плотности энергии самого гравитационного поля и та роль, которую часто приписывали общей ковариантности. Он указывал здесь на реальные концептуальные особенности теории. Но из их существования не следует, что ОТО внутренне противоречива.
Этот спор неожиданно хорошо проясняет смысл числа c. Мы начинали со слов: c — скорость света. Потом оказалось: c — предельная скорость передачи сигнала. А ещё точнее: c входит в геометрическое условие, отделяющее причинно возможное от причинно невозможного.
В СТО эта граница фиксирована.
В ОТО она становится частью динамической геометрии.
В РТГ за динамической геометрией сохраняется фундаментальный конус Минковского.
Здесь возникает уже не школьный и даже не совсем физический вопрос:
где именно находится эта граница причинности?
Является ли она частью самой динамической геометрии пространства-времени, как у Эйнштейна?
Или за гравитацией должна существовать ещё более фундаментальная структура, как предполагал Логунов?
ОТО сегодня чрезвычайно успешна и остаётся стандартной теорией гравитации. Но сам вопрос шире конкретного спора Эйнштейна и Логунова: что в фундаментальной теории должно быть первичным — поле, геометрия или причинная структура?
А какая структура на самом деле окажется самой фундаментальной — геометрия, поле или причинность, науке пока не известно. | 684 |
| 7 | Последний день Пифагора века
Прошлый Пифагоров день мы отмечали 24.07.25:
24² + 7² = 25².
Сегодня, 24.10.26, календарь снова складывается в прямоугольный треугольник:
24² + 10² = 26².
Но на этот раз дата особенная: это последний Пифагоров день в XXI веке.
Почему?
Пусть d — день, m — месяц, а y — две последние цифры года. Для Пифагорова дня
d² + m² = y².
Календарь накладывает ограничения
d ≤ 31, m ≤ 12.
Отсюда сразу
y² ≤ 31² + 12² = 1105,
то есть y ≤ 33.
Поэтому искать нужно не среди всех пифагоровых троек, а только среди тех, у которых гипотенуза не превосходит 33.
Примитивные пифагоровы тройки задаются формулами Евклида
a = p² − q²,
b = 2pq,
c = p² + q²
при подходящих p и q. Поэтому достаточно рассмотреть примитивные пифагоровы тройки (a; b; c), для которых c ≤ 33:
(3; 4; 5),
(5; 12; 13),
(8; 15; 17),
(7; 24; 25),
(20; 21; 29).
Последняя календарю не подходит: оба катета больше 12. Добавляя допустимые кратные остальных, получаем ровно восемь троек:
(3; 4; 5),
(6; 8; 10),
(5; 12; 13),
(9; 12; 15),
(8; 15; 17),
(12; 16; 20),
(7; 24; 25),
(10; 24; 26).
Некоторые из них дают две даты: катеты можно поменять местами, если оба не превосходят 12. Поэтому всего за столетие получается ровно 12 Пифагоровых дней.
А последняя допустимая тройка —
10² + 24² = 26².
Поэтому после сегодняшнего 24 октября 2026 года Пифагоровых дней в XXI веке уже не будет.
Следующий наступит только 4 марта 2105 года:
4² + 3² = 5².
Любопытно, что если ослабить определение и разрешить двум последним цифрам года быть не обязательно гипотенузой, а любым числом пифагоровой тройки, то раньше появится 5 апреля 2103 года:
3² + 4² = 5².
Но это уже другая игра с календарём. | 1 604 |
| 8 |  Близнецы: почему путешественник моложе
Пусть два близнеца расстаются в событии O.
Один остаётся на Земле. Другой улетает с постоянной скоростью, в событии B разворачивается и с той же по модулю скоростью возвращается. В событии A они снова встречаются.
На диаграмме пространства-времени мировая линия земного близнеца — вертикальный отрезок OA. Мировая линия путешественника — ломаная OBA.
И тут возникает знаменитый вопрос:
почему путешественник окажется моложе, если с его точки зрения двигалась Земля?
На обычном рисунке ответ даже выглядит странно. В евклидовой геометрии
OB + BA > OA.
То есть ломаная длиннее прямой.
Но часы измеряют совсем другую величину — собственное время, прошедшее вдоль мировой линии.
Для прямолинейного инерциального движения от O до некоторого события (x; t) собственное время равно
c²τ² = c²t² − x².
Посмотрим, что эта формула означает геометрически.
Зафиксируем значение τ. Рассмотрим все события, до которых можно дойти из O по прямой инерциальной мировой линии так, чтобы часы, движущиеся по этой линии, отсчитали одно и то же собственное время τ.
Все такие события удовлетворяют
c²t² − x² = c²τ².
Поэтому гипербола — линия уровня собственного времени для инерциальных мировых линий, выходящих из O.
Её асимптоты — границы светового конуса x = ±ct.
Её физический смысл: для времеподобно разделённых событий интервал определяет собственное время часов, движущихся между ними инерциально.
Чем дальше мы движемся по гиперболе, тем ближе она подходит к световому лучу. На самом световом конусе
c²t² − x² = 0,
поэтому собственное время между O и событием на световом луче равно нулю.
Проведём такую гиперболу через событие B.
Все её точки соответствуют одному и тому же собственному времени инерциальных часов, движущихся из O к этим событиям. Гипербола пересекает ось ct в точке C.
Для точки C пространственная координата x = 0, поэтому
c²τ² = c²t_C²,
то есть τ = t_C.
А поскольку по вертикальной оси мы откладываем ct, отрезок OC непосредственно изображает величину cτ.
Итак, по положению точки C на оси ct можно непосредственно определить собственное время путешественника на участке OB: τ_OB = OC/c.
Теперь посмотрим на точку M.
Она лежит на той же горизонтали, что и B. Значит, события M и B имеют одно и то же координатное время t в системе Земли.
Но C расположена ниже M.
Следовательно,
OC < OM.
Поэтому собственное время путешественника от O до B меньше времени, прошедшего за тот же период на Земле:
τ_OB < t_OB.
И это непосредственно видно по положению гиперболы.
Пусть теперь путешествие симметрично: B приходится на половину земного времени, а скорости на пути туда и обратно одинаковы по модулю.
Тогда M — середина OA. Собственные времена на двух участках путешественника одинаковы:
τ_OB = τ_BA.
Поэтому за всё путешествие у него пройдёт
τ_путешественника = 2τ_OB.
А у земного близнеца за время от O до A пройдёт
τ_Земли = 2t_OB.
На рисунке этому соответствует простое сравнение:
OC < OM,
следовательно,
2OC < 2OM,
а значит,
τ_путешественника < τ_Земли.
В евклидовой плоскости прямая между двумя точками короче ломаной.
А для собственного времени между двумя событиями происходит обратное: инерциальная прямая мировая линия OA даёт большее собственное время, чем ломаная OBA.
Что же стало с кажущейся симметрией близнецов?
До разворота каждый действительно может считать движущимся другого. Но в событии B путешественник меняет инерциальную систему отсчёта: его мировая линия меняет направление.
Земной близнец всё время остаётся на одной инерциальной мировой линии.
Разворот важен не потому, что ускорение само по себе каким-то образом «отнимает время». Если сделать разворот очень коротким, разница возрастов почти не изменится.
Здесь важно, что между одними и теми же событиями O и A близнецы проходят по разным мировым линиям, и вдоль этих линий накапливается разное собственное время.
Так что парадокс близнецов — это геометрический факт.
А гипербола на рисунке играет ту же роль, что линия уровня на обычной карте: она соединяет события, до которых инерциальные часы, вышедшие из O, насчитают одно и то же собственное время. | 531 |
| 9 | Между двумя событиями O и A одна мировая линия прямая, а другая — ломаная. По какой пройдёт больше собственного времени? | 550 |
| 10 |  Шест и сарай: почему он помещается и не помещается одновременно
Пусть есть сарай длины L и длинный шест собственной длины L₀, причём L₀ > L.
Шест летит через сарай с большой скоростью v.
Для наблюдателя, стоящего у сарая, движущийся шест сокращён:
Lₚ = L₀√(1 − v²/c²).
Если скорость достаточно велика, может оказаться, что Lₚ < L.
Пусть в системе сарая обе двери на мгновение закрываются одновременно и сразу снова открываются. Тогда в некоторый момент весь шест находится внутри сарая, и обе двери можно одновременно закрыть.
Но для человека, летящего вместе с шестом, всё выглядит наоборот.
Шест покоится и имеет длину L₀, а движущийся сарай сокращён. Значит, сарай стал ещё короче.
Как же шест мог целиком в нём поместиться?
На диаграмме пространства-времени противоречие исчезает сразу.
Две вертикальные мировые линии изображают двери сарая. Две наклонные параллельные линии — передний и задний концы шеста.
Чтобы измерить длину шеста в системе сарая, нужно взять положения обоих его концов в один и тот же момент времени.
На диаграмме это горизонтальная линия t = const.
Она пересекает две мировые линии концов шеста. Расстояние между точками пересечения и есть длина движущегося шеста в системе сарая.
Это сечение оказывается короче собственной длины шеста.
Именно поэтому горизонтальная линия может пересечь обе мировые линии шеста между мировыми линиями дверей: в системе сарая шест в этот момент целиком внутри.
Но наблюдатель, движущийся вместе с шестом, пользуется другой линией одновременности.
В предыдущем посте мы увидели, откуда она берётся: чтобы световой конус оставался неизменным, ось x′ должна быть наклонена. Поэтому события с одинаковым t′ лежат не на горизонталях, а на линиях t′ = const, параллельных x′.
Теперь проведём через мировую картину такое наклонное сечение.
Оно пересечёт мировые линии дверей и концов шеста совсем в других местах.
Для наблюдателя на шесте именно это сечение означает «что происходит во всём пространстве сейчас».
И на нём сарай действительно короче шеста.
Так что оба наблюдателя правы.
Но что происходит с дверями?
Пусть в системе сарая передняя и задняя двери закрылись одновременно. На диаграмме этим двум событиям соответствует одна горизонтальная линия: t = const.
Однако эта линия не параллельна x′.
Следовательно, для наблюдателя на шесте закрытия дверей неодновременны.
Более того, поскольку шест движется вправо, передняя дверь сарая закрывается в системе шеста раньше задней.
Поэтому в системе шеста никогда не возникает ситуации:
длинный шест целиком внутри короткого сарая и обе двери закрыты одновременно.
Одна дверь успевает закрыться и снова открыться прежде, чем закрывается другая.
И снова всё определяется световым конусом.
Если бы существовало абсолютное «сейчас», линии одновременности всех наблюдателей совпадали бы — и возникло бы настоящее противоречие.
Но неизменность светового конуса приводит к тому, что разные системы отсчёта имеют разные линии одновременности, т.е. линии t = const и t′ = const не совпадают.
Поэтому длина тела — это не просто «расстояние между его концами».
Это расстояние между двумя событиями на концах тела, выбранными одновременно в данной системе отсчёта.
Именно поэтому один и тот же мировой «коридор» шеста разные наблюдатели разрезают по-разному — и получают разные длины.
Парадокс шеста и сарая оказывается ещё одним следствием той же геометрии:
неизменный световой конус → разные линии одновременности → разные пространственные сечения → сокращение длины. | 595 |
| 11 | Шест длиннее сарая, но движется так быстро, что в системе сарая его длина стала меньше длины сарая. Можно ли на мгновение закрыть обе двери, когда шест целиком внутри? | 560 |
| 12 |  От светового конуса к относительности одновременности
В предыдущем посте мы увидели: поскольку скорость c одинакова для всех инерциальных наблюдателей, границы светового конуса должны оставаться на месте.
Пусть система S′ движется вправо относительно S.
Её начало координат O′ движется вместе с поездом, поэтому его мировая линия наклонена вправо. Эта линия и становится осью ct′.
Если бы мы оставались в классической механике, на этом всё бы почти закончилось: время считалось бы абсолютным, поэтому ось x′ совпала бы с обычной горизонтальной осью x.
Но тогда световые лучи уже не выглядели бы одинаково относительно новых осей. Скорость света вправо и влево в системе S′ получилась бы разной.
Чтобы сохранить световой конус,
x′ = ±ct′,
приходится наклонить не только ось ct′, но и ось x′.
Если двигаться на рисунке от вертикальной оси ct к горизонтальной оси x, то сначала встречается ось ct′, затем световой луч x = ct, затем ось x′. То есть ct′ лежит внутри светового конуса, а x′ — снаружи него. Обе новые оси как бы наклоняются в сторону одного и того же светового луча x = ct, но остаются по разные стороны от него.
Именно здесь появляется относительность одновременности.
Что означает ось x′? Это множество событий, для которых t′ = 0.
Следовательно, все остальные линии t′ = const должны быть параллельны оси x′.
А в системе S события, происходящие одновременно, лежат на горизонтальных прямых t = const.
Получились два разных семейства линий одновременности.
На рисунке две серые параллельные прямые — мировые линии заднего и переднего концов поезда. Поезд покоится в системе S′, поэтому обе эти линии параллельны оси ct′.
Пусть A — удар молнии в задний конец поезда, а B — удар в передний.
События A и B лежат на одной чёрной горизонтальной прямой
t = const.
Значит, для наблюдателя S они произошли одновременно.
Но пассажир поезда пользуется другим временем.
Через A проведём зелёную прямую t′ = const.
Она параллельна оси x′ — именно так на диаграмме изображаются события, одновременные в системе S′.
И эта прямая не проходит через B.
Значит, t′_A ≠ t′_B.
Для пассажира поезда удары молний произошли не одновременно.
Более того, зелёная линия через A пересекла бы мировую линию переднего конца поезда выше точки B. То есть событие на переднем конце, одновременное с A в системе S′, происходит позже B по времени системы S.
Следовательно, в системе поезда событие B произошло раньше A.
Важно, что речь здесь не о времени, за которое свет от молний дошёл до наблюдателя. Даже если полностью учесть распространение сигналов, сами координаты времени двух событий в разных системах отсчёта окажутся различными.
Если бы существовало абсолютное «сейчас», все наблюдатели пользовались бы одними и теми же линиями одновременности.
Но тогда при движении наклонялась бы только ось времени, а световой конус перестал бы сохраняться.
Поэтому получается цепочка:
скорость света одинакова для всех → световой конус неизменен → должны наклоняться и ct′, и x′ → меняются линии t′ = const → одновременность становится относительной.
Странности СТО оказываются не парадоксами, а следствиями геометрии светового конуса. | 510 |
| 13 | Две молнии одновременно ударили в передний и задний конец движущегося поезда — одновременно с точки зрения наблюдателя на платформе. Что происходит в системе поезда? | 543 |
| 14 |  Световой конус и геометрия Минковского
Для сигнала, распространяющегося со скоростью u, события, до которых он может добраться из O, лежат внутри конуса
|x| ≤ ut.
Для звука u = cₛ. Но звуковой конус связан с воздухом. В системе, где воздух покоится, звук распространяется вправо и влево с одинаковой скоростью cₛ. Если наблюдатель движется относительно воздуха, эти скорости становятся разными.
Значит, звуковой конус — свойство не самой геометрии событий, а среды, в которой распространяется звук.
Со светом происходит иначе.
Все инерциальные наблюдатели получают одну и ту же скорость света c. Поэтому если для одного наблюдателя свет идёт по линиям x = ±ct,
то и для другого x′ = ±ct′.
Иными словами, при смене инерциальной системы световой конус остаётся тем же.
Это и есть ключевой переход от классической механики к специальной теории относительности.
Удобно теперь по вертикали откладывать не t, а ct. Тогда обе координаты — x и ct — имеют размерность длины, а световые лучи задаются особенно просто: x = ±ct.
Константа c здесь играет двойную роль.
Во-первых, она задаёт границу причинной достижимости: световые прямые x = ±ct отделяют события, на которые O может повлиять, от событий, до которых никакой сигнал из O не успеет дойти.
Во-вторых, c задаёт масштаб, связывающий время и пространство. Поэтому вместо t удобно использовать ct: теперь обе координаты имеют размерность длины.
Если рисовать оси x и t, именно величина c определяет наклон светового конуса. Переход к ct просто выбирает такой масштаб времени, при котором его границы идут под углом 45°.
В классической механике координаты двух наблюдателей связаны преобразованиями Галилея:
x′ = x − vt,
t′ = t.
Время при этом остаётся общим для всех. Поэтому линии одновременности t = const у всех наблюдателей одни и те же.
Но такие преобразования световой конус не сохраняют.
Чтобы сохранить прямые x = ±ct, пространство и время приходится преобразовывать совместно. Возникают преобразования Лоренца.
В пространстве событий СТО сохраняется другая величина:
s² = c²t² − x².
Она называется пространственно-временным интервалом.
Та же константа c, которая задала световой конус, теперь входит и в величину, сохраняемую преобразованиями Лоренца.
Знак минус здесь принципиален.
Для событий внутри светового конуса s² > 0. При фиксированном положительном интервале
c²t² − x² = const > 0
получаются гиперболы, раскрытые вдоль оси времени.
Это пространственно-временной аналог окружностей равного радиуса в евклидовой геометрии.
И здесь неожиданно возникает знакомая история с комплексными числами. Число i позволяет представить две вещественные координаты комплексным числом и особенно просто описывать обычные повороты, сохраняющие x² + y². Константа c связывает пространственный и временной масштабы, но теперь сохраняется уже другая величина — c²t² − x².
Поэтому преобразование Лоренца похоже на поворот координатных осей, только это не обычный евклидов поворот, а гиперболический.
И теперь становится ясно, чем принципиально отличаются две геометрии.
В классической механике пространство и время существуют отдельно:
евклидово пространство + абсолютное время.
В специальной теории относительности они образуют единую структуру:
пространство-время Минковского.
Мы это увидели на плоскости с одной пространственной координатой. В реальном мире пространственных координат три, поэтому событие задаётся четырьмя числами (ct; x; y; z),
а интервал принимает вид
s² = c²t² − x² − y² − z².
Но главное уже видно на двумерной картинке: световой конус остаётся неизменным, а привычную евклидову геометрию заменяет геометрия Минковского. | 739 |
| 15 |  Геометрия событий
До сих пор мы рисовали движение в обычном пространстве.
В задаче с Анной точка (x; y) показывала, где находится человек. В задаче о конусе Маха окружности показывали, куда к данному моменту успел распространиться звук.
Теперь построим совсем другой рисунок.
Оставим только одну пространственную координату x, а по вертикальной оси отложим время t.
Точка (x; t) означает уже не положение тела, а событие: что-то произошло в месте x в момент t.
Например, поезд, движущийся равномерно со скоростью v, уже изображается не точкой, а прямой
x = vt.
Каждому моменту времени соответствует своя точка этой прямой. Вся линия целиком — история движения поезда. Её называют мировой линией.
Теперь пусть из события O = (0; 0) начинает распространяться сигнал со скоростью u.
Через время t он может оказаться не дальше чем на расстоянии ut от начала: |x| ≤ ut.
Границы этой области — x = ±ut.
На плоскости событий получился угол, направленный в будущее. В трёхмерной картинке с двумя пространственными координатами он стал бы настоящим конусом.
Это конус достижимости события O.
Его смысл очень простой: внутри находятся события, на которые событие O ещё может повлиять сигналом со скоростью не больше u. Снаружи — события, до которых такой сигнал не успеет дойти.
Если тело движется со скоростью v < u, его мировая линия остаётся внутри конуса.
Если же V > u, линия x = Vt выходит за его границу.
Для звука можно положить u = cₛ. Тогда получается звуковой конус, а мировая линия сверхзвукового самолёта идёт вне него.
Так возникает новая геометрическая картина: вместо тел в пространстве мы рассматриваем события в пространстве-времени, а движение тела превращается в линию среди этих событий.
Скорость u задаёт форму этого конуса: чем она больше, тем шире конус. Именно она определяет, до каких событий можно передать сигнал, движущийся со скоростью не больше u.
Но пока это только способ рисовать движение.
Следующий вопрос глубже: какая величина, связывающая два события, должна оставаться одной и той же для разных наблюдателей? | 634 |
| 16 |  Конус Маха
В задаче с Анной возникло семейство окружностей: их центры двигались со скоростью V, а радиусы росли со скоростью u. Общие касательные к этим окружностям образовали угол.
Теперь почти ничего не меняем — только вместо Анны берём звук.
Пусть самолёт летит по прямой со скоростью V, а скорость звука в воздухе равна cₛ.
Каждое мгновение самолёт создаёт звуковое возмущение. Если в некоторой точке траектории звук был испущен Δt секунд назад, то к настоящему моменту он успел распространиться на расстояние cₛΔt.
На плоскости фронт такой волны — окружность радиуса cₛΔt. Чем раньше самолёт находился в данной точке, тем больше соответствующая окружность.
Если V < cₛ,
звук распространяется быстрее самолёта и успевает уйти вперёд него.
Но если V > cₛ,
самолёт обгоняет собственный звук. Все звуковые фронты остаются позади, а их общая огибающая образует две прямые.
В пространстве при вращении этой картинки вокруг траектории самолёта получается конус Маха.
Пусть μ — его полуугол. Возьмём звуковой фронт, испущенный Δt секунд назад. За это время самолёт прошёл VΔt,
а звук распространился на расстояние cₛΔt.
Радиус звукового фронта перпендикулярен касательной к нему, поэтому возникает прямоугольный треугольник, и
sin μ = cₛΔt / (VΔt).
Следовательно,
sin μ = cₛ / V.
Это та же геометрия, что и в задаче с поездом:
sin α = u / V.
Только теперь движется не граница области, из которой можно успеть к поезду, а фронт звуковой волны. | 731 |
| 17 |  Анна и поезд
Поезд в момент t = 0 отправляется из точки O и едет по прямой со скоростью V. В тот же момент Анна начинает движение из некоторой точки плоскости. Она может бежать в любом направлении, но не быстрее u, причём u < V.
Из каких точек Анна ещё может встретиться с поездом?
Предположим, встреча должна произойти через время t. К этому моменту поезд окажется в точке (Vt; 0).
За то же время Анна сможет преодолеть не больше ut. Значит, она успеет к поезду тогда и только тогда, когда её начальная точка находится внутри круга с центром (Vt; 0) и радиусом ut:
(x − Vt)² + y² ≤ u²t².
Граница круга — это точки, из которых Анна, двигаясь со скоростью u, прибежит к поезду ровно через время t.
Но время встречи мы заранее не знаем. Возьмём разные значения t.
Центры кругов уходят вдоль железной дороги со скоростью V, а их радиусы растут со скоростью u. Поскольку u < V, получается семейство всё больших кругов, центры которых убегают от начала координат быстрее, чем растут сами круги.
И у этого семейства есть две общие касательные, выходящие из O.
Они ограничивают угол: именно из точек внутри него поезд ещё можно перехватить. Точка на границе — предельный случай. Например, если A — точка касания одного из кругов, а M — его центр, то поезд приходит в M через время t, а Анна за то же время пробегает AM = ut.
Радиус AM перпендикулярен касательной. Если половина угла равна α, то в прямоугольном треугольнике OAM
OM = Vt, AM = ut.
Поэтому sin α = AM / OM = u / V.
Итак, sin α = u / V.
Получилась довольно простая геометрия: ограничение на скорость превращается в угол достижимости.
У этой школьной задачи неожиданное продолжение: от неё можно проложить мостик к геометрии специальной теории относительности.
За эту идею благодарю Павла Лесовского. | 685 |
| 18 | Абсолютная иерархия
Позволим себе небольшую фантазию.
Представим мир, в котором принцип иерархии проведён абсолютно последовательно. Никаких исключений, пересечений и неформальных связей. Каждый элемент входит в одну группу, та — в одну более крупную группу, и так далее до самого верха — как в предельно строгой партийной, церковной, военной или административной иерархии.
Получается дерево.
Теперь определим близость двух людей исключительно их положением в этом дереве: чем ниже находится их последний общий узел, тем они ближе.
Два человека из одной небольшой группы очень близки. Из разных групп одного отдела — дальше. Из разных отделов одного управления — ещё дальше.
А если их ветви разошлись почти у самого корня, никакое сходство характеров, взглядов или интересов уже не может сделать их ближе. В абсолютной иерархии всё это просто не входит в определение расстояния.
Такой мир естественным образом приобретает ультраметрическую геометрию.
В нём невозможен обычный треугольник с тремя разными сторонами. Если A и B близки, а C принадлежит другой ветви, то d(A, C) = d(B, C).
Для C различия между A и B, происходящие где-то глубоко внутри чужой ветви, вообще неразличимы.
Группы становятся ультраметрическими шарами. Любые две группы либо не пересекаются, либо одна целиком вложена в другую.
Более того, ультраметрический шар одновременно открыт и замкнут. Абсолютная иерархия не знает пограничной принадлежности: относительно данного уровня ты либо внутри, либо снаружи.
Нет и настоящих горизонтальных связей. Близость двух элементов определяется только уровнем, на котором расходятся их ветви. Всё, что происходит ниже этого уровня, может уточнять положение внутри каждой ветви, но уже не способно изменить расстояние между ними.
Поэтому различие, возникшее выше в иерархии, полностью перекрывает любые совпадения снизу. Два человека могут иметь одинаковые взгляды, привычки и интересы, но если структура развела их на высоком уровне, для этой геометрии они остаются далёкими.
Здесь вообще нет привычного «накопления» сходств и различий. Решает самый высокий уровень, на котором обнаружилось расхождение. Всё предыдущее, относящееся к более низким уровням, перестаёт влиять на итог.
И наоборот: принадлежность к более крупной общей группе перевешивает всю историю различий внутри неё. Если два элемента сходятся на высоком уровне, то всё, что различает их ниже, лишь уточняет их положение внутри общей ветви.
Получается почти идеальный мир для бюрократии.
У каждого есть своё единственное место. Каждая группа имеет строго определённые границы. Любые две группы либо вложены, либо разделены. Вся близость заранее задана деревом.
К счастью, реальность устроена несколько иначе. Один человек одновременно принадлежит семье, профессии, кругу друзей, организации, культурному или профессиональному сообществу. Эти классификации пересекаются и не складываются в одно дерево.
Между далёкими ветвями возникают прямые связи. Иногда именно они оказываются важнее официальной иерархии. Люди переходят из одной группы в другую, создают новые, принадлежат нескольким сразу и вообще упорно нарушают правила идеального дерева.
Свобода предполагает право самому выбирать связи, менять принадлежность и не сводиться к одному назначенному месту. Абсолютная иерархия требует обратного: место и связи определяет система.
Поэтому абсолютная иерархия несовместима со свободой. | 1 020 |
| 19 | Достаточно одного условия
В обычном анализе необходимое условие сходимости ряда —
aₙ → 0.
Но его недостаточно. Например,
1 + 1/2 + 1/3 + 1/4 + …
расходится, хотя его слагаемые стремятся к нулю.
В p-адическом анализе всё иначе.
Рассмотрим некоторый хвост ряда:
aₘ₊₁ + aₘ₊₂ + … + aₙ.
Из сильного неравенства треугольника следует
|aₘ₊₁ + … + aₙ|ₚ ≤ max(|aₘ₊₁|ₚ, …, |aₙ|ₚ).
Если aₙ → 0 в p-адической метрике, то начиная с некоторого места все |aₙ|ₚ становятся сколь угодно малыми.
Но тогда сколь угодно малым становится сразу и весь хвост суммы.
Значит, частичные суммы образуют последовательность, члены которой становятся сколь угодно близкими друг к другу. Поле ℚₚ устроено так, что такая последовательность имеет предел: ℚₚ полно.
Поэтому в ℚₚ выполняется удивительно простое правило:
Σaₙ сходится тогда и только тогда, когда aₙ → 0.
Есть и другое характерное следствие ультраметрии.
Если |a|ₚ ≠ |b|ₚ,
то |a + b|ₚ = max(|a|ₚ, |b|ₚ).
Слагаемое с меньшей нормой, конечно, не исчезает из суммы. Но оно не меняет её p-адический масштаб.
Это снова удобно видеть на дереве. Если одно различие возникло на высоком уровне, изменения, происходящие значительно глубже, не могут перенести результат на более высокую ветвь.
В обычной арифметике множество малых слагаемых может постепенно дать большую сумму.
В ультраметрической геометрии действует другая логика: размер суммы контролируется крупнейшим из присутствующих масштабов. | 912 |
| 20 | …666₇ = −1
Рассмотрим частичные суммы:
Sₙ = 6 + 6·7 + 6·7² + … + 6·7ⁿ.
По формуле суммы геометрической прогрессии
Sₙ = 7ⁿ⁺¹ − 1.
В обычной метрике эти числа стремительно растут:
6, 48, 342, 2400, …
Но в 7-адической метрике важно не то, насколько велико число, а на какую степень 7 делится разность.
Разность между Sₙ и −1 равна
Sₙ − (−1) = 7ⁿ⁺¹.
Поэтому
|Sₙ − (−1)|₇ = 7⁻ⁿ⁻¹ → 0.
Значит,
Sₙ → −1
в 7-адической метрике.
Получаем
6 + 6·7 + 6·7² + 6·7³ + … = −1.
В позиционной записи это выглядит особенно необычно:
…666666₇ = −1.
В привычной записи вещественных чисел бесконечными могут быть разряды справа от запятой:
0,333333…
У p-адических целых чисел бесконечно продолжаются разряды в другую сторону — к всё более высоким степеням p:
a₀ + a₁p + a₂p² + a₃p³ + …
Причём это не особенность числа −1. Любая бесконечная последовательность цифр
a₀, a₁, a₂, …,
где каждая цифра принимает значения от 0 до p−1, определяет p-адическое целое число.
В геометрии дерева это просто бесконечный путь: каждая следующая цифра выбирает очередную ветвь.
Никакого противоречия с обычной арифметикой здесь нет. Конечные суммы остались теми же. Изменилось понятие расстояния — а вместе с ним и понятие предела.
Последовательность 7ⁿ⁺¹ − 1 в обычной метрике уходит в бесконечность, а в 7-адической всё ближе подходит к −1. | 819 |
