Общепринятая теория · разбор по тем же правилам · разобрана 25 сентября 2026
Общая теория относительности
Общепринятая теория тяготения в учебной формулировке. Четыре проверяемых следствия — задержка света у Солнца, распад орбиты двойного пульсара, красное смещение часов и принцип эквивалентности — с опытом не расходятся. Два утверждения о том, что происходит под горизонтом событий, непроверяемы в принципе: оттуда не выходит никакой сигнал.
Разбор части теории: Общая теория относительности — входит в концепцию Научный консенсус. Статус концепции целиком — по её худшему утверждению.
- 1Вводные своих постулатов — 4, из них неявных — 3; разделов мейнстрима — 2, унаследованных постулатов — 7 противоречий не найдено
- 2Логика переходов — 6; верны — 6
- 3Опыт утверждений с числом — 6 не исключено этим тестом: 4непроверяемо в этой формулировке: 2
- 4Выводы вне опыта выводов — 0; отличимых от мейнстрима и проверяемых — 0
Разбор отражает учебную формулировку: постулаты ОТО-1…4 реестра; уравнения поля — Эйнштейн, доклад Прусской академии наук 25 ноября 1915. Когда формулировка или данные изменятся, разбор повторят, а этот разбор останется в истории со своей датой.
1Вводные
Всё, на чём стоит теория, выписано явно. Опираясь на раздел мейнстрима, теория наследует все его постулаты; взяв из мейнстрима формулу — постулаты, из которых она выведена.
Свои постулаты
- Г1Поле Солнца и компактных тел вне их вещества — вакуумное сферически симметричное решение уравнений поля, плоское вдали от тела. неявный: используется, но не назван
используется во всех расчётах классических эффектов
тест заменой Если в Солнечной системе есть заметная невидимая масса, орбиты и задержки сигналов сдвигаются — наблюдаемо.
- Г2Материя удовлетворяет нулевому энергетическому условию: плотность энергии, измеренная любым светоподобным наблюдателем, неотрицательна. неявный: используется, но не назван
нужна теореме о сингулярности (шаг S6)
тест заменой Снаружи горизонта почти ничего не меняется; без условия теорема о сингулярности не доказывается.
- Г3Решение уравнений поля продолжается под горизонт событий: область под горизонтом существует и описывается теми же уравнениями. назван автором
стандартное продолжение решения Шварцшильда за горизонт (координаты Крускала)
тест заменой Ничего для внешнего наблюдателя: из-под горизонта не выходит ни один сигнал, так что замена на противоположное не меняет ни одной наблюдаемой снаружи.
- Г4Пространство-время глобально гиперболично: у него есть поверхность, данные на которой определяют всё будущее и прошлое. неявный: используется, но не назван
нужна теореме о сингулярности (шаг S6)
тест заменой Снаружи горизонта наблюдаемых следствий нет.
- Г5Постоянная тяготения G — измеряется, теорией не выводится. свободный параметр
тест заменой Параметр: измеряется.
В выводе не используется.
Унаследовано
мейнстрим Общая теория относительности — постулаты ОТО-1…4 — сама теория; вместе с ними — постулаты СТО, которая выполняется локально постулатов: 4
- ОТО-1принцип эквивалентности
В малой свободно падающей области тяготение неотличимо от ускоренной системы отсчёта, и там выполняется СТО.
- ОТО-2метрика
Пространство-время — четырёхмерное многообразие с метрикой; законы записываются в тензорной форме, одинаковой в любых координатах.
- ОТО-3уравнения Эйнштейна
Кривизна пространства-времени определяется энергией-импульсом материи: G_μν + Λg_μν = (8πG/c⁴)T_μν.
- ОТО-4геодезические
Свободные тела и свет движутся по геодезическим линиям метрики.
мейнстрим Специальная теория относительности — через «Общая теория относительности» постулатов: 3
- СТО-1принцип относительности
Все законы физики одинаковы во всех инерциальных системах отсчёта; выделенной системы покоя опыт не обнаруживает.
- СТО-2постоянство c
Скорость света в вакууме одинакова во всех инерциальных системах и не зависит от движения источника.
- СТО-3однородность и изотропия
Пространство однородно и изотропно, время однородно.
Совместность
Космологическая постоянная в уравнениях поля нулевому энергетическому условию не противоречит: для светоподобных векторов её вклад равен нулю.
Остальные пары — свои постулаты между собой и с унаследованными — проверены, противоречий не найдено.
2Логика
Цепочка вывода по шагам: из каких посылок, что следует и где это в тексте. Ошибка называется по закрытому списку типов.
Вне сферического тела метрика — решение Шварцшильда (теорема Биркгофа).
Классический результат; выписан в любом учебнике.
Свет у Солнца отклоняется на 4GM/(c²b) и запаздывает (эффект Шапиро); в постньютоновских параметрах γ = 1.
Часы в гравитационном потенциале идут медленнее: Δν/ν = ΔU/c² в первом порядке.
Двойная звезда излучает гравитационные волны и теряет энергию; период орбиты убывает по квадрупольной формуле (Петерс, Мэтьюз, 1963).
Слабое поле, медленное движение; для PSR B1913+16 поправки высших порядков малы по сравнению с точностью измерения.
Под сферой r = 2GM/c² (горизонт событий) все направленные в будущее траектории остаются внутри: ни один сигнал из-под горизонта не выходит наружу.
При коллапсе под горизонтом неизбежна сингулярность: траектории свободного падения обрываются за конечное собственное время (теорема Пенроуза, 1965).
Теорема говорит о неполноте траекторий; «бесконечная плотность» — обиходное прочтение.
Типы ошибок перехода
- размерность
- Размерности левой и правой частей не совпадают. Проверяется пересчётом, пересчёт приводится в разборе.
- вычисление
- Алгебраическая или численная ошибка. Проверяется пересчётом, пересчёт приводится в разборе.
- неявная посылка
- Шаг требует положения, которого нет среди вводных. Положение вносится на первый этап как неявный постулат.
- круг
- В выводе используется то, что требуется вывести.
- подмена понятия
- Термин меняет смысл между шагами.
- подгонка
- Число подобрано по той же величине, которую затем выдают за выведенную.
- предел
- Там, где теория опирается на мейнстрим, она не воспроизводит его проверенный результат.
- аналогия
- Сходство двух явлений выдано за вывод одного из другого.
- не следует
- Вывод не следует из посылок по иной причине; причина называется.
3Опыт
Утверждения с числом против измерений, по общим правилам: порог 5σ, статус выносит скрипт. Исключённое утверждение опровергает сочетание постулатов, из которых оно выведено.
Задержка и отклонение света у Солнца соответствуют γ = 1.
не исключено этим тестом · 0,91σвыведено
опирается на Г1 ОТО-2 ОТО-3 ОТО-4
- ОТО: γ − 1
- 0 · ОТО: решение Шварцшильда в изотропных координатах даёт γ = 1
- Кассини
- (2,1 ± 2,3)·10⁻⁵ · Bertotti, Iess, Tortora, Nature 425, 374 (2003): γ = 1 + (2,1 ± 2,3)·10⁻⁵
Двойная звезда теряет энергию на гравитационное излучение по квадрупольной формуле.
не исключено этим тестом · 0,59σвыведено
опирается на ОТО-3 ОТО-4
- ОТО
- 1 · ОТО: квадрупольная формула излучения (Peters, Mathews 1963)
- наблюдение / ОТО
- 0,999963 ± 0,000063 · M. Kramer, I. H. Stairs, R. N. Manchester, N. Wex et al., Phys. Rev. X 11, 041050 (2021); arXiv:2112.06795, формула (48)
Часы в гравитационном потенциале замедляются ровно на ΔU/c².
не исключено этим тестом · 0,08σвыведено
опирается на ОТО-1 ОТО-2
- ОТО
- 0 · ОТО: ход часов определяется метрикой, Δν/ν = ΔU/c² без поправок
- Galileo
- (1,9 ± 24,8)·10⁻⁶ · Delva et al., PRL 121, 231101 (2018): (+0,19 ± 2,48)·10⁻⁵ при 1σ
Тела любого состава падают одинаково.
не исключено этим тестом · 0,55σпринято постулатом
опирается на ОТО-1
- ОТО
- 0 · ОТО: принцип эквивалентности (свободное падение по геодезическим)
- опыт
- (-1,5 ± 2,7)·10⁻¹⁵ · Touboul et al. (MICROSCOPE), PRL 129, 121102 (2022), аннотация
Под горизонтом событий чёрной дыры образуется сингулярность: траектории свободного падения обрываются за конечное время.
непроверяемо в этой формулировкевыведено
опирается на Г1 Г2 Г3 Г4 ОТО-2 ОТО-3
Ни один сигнал из-под горизонта не выходит (шаг S5), поэтому утверждение нельзя сравнить ни с каким измерением внешнего наблюдателя. Непроверяемо в принципе, а не из-за точности приборов.
Область под горизонтом событий существует и описывается теми же уравнениями, что и снаружи.
непроверяемо в этой формулировкепринято постулатом
опирается на Г3
Тест заменой: противоположное положение не меняет ни одной наблюдаемой снаружи. Это выбор описания в пределах опыта.
4Выводы вне опыта
Следствия, которых опыт ещё не касался. Зафиксированы в разборе 2026-09-25.
Выводов, которые опыт ещё не проверял, не выделено.
Что проверено
Теория разобрана в учебной формулировке — постулаты ОТО-1…4 реестра, — а не по конкретному тексту. Проверяемые следствия сверены с измерениями из первоисточников: Bertotti, Iess, Tortora (2003) — параметр γ по «Кассини»; Weisberg, Huang (2016) — распад орбиты PSR B1913+16; Delva и др. (2018) — красное смещение часов спутников Galileo; Touboul и др. (2022) — MICROSCOPE.
Зачем этот разбор
Общепринятая физика проходит те же правила, что и альтернативная. У ОТО есть положения, которые опыт проверить не может — не из-за точности приборов, а в принципе: из-под горизонта событий не выходит никакой сигнал. На карте такие утверждения стоят в серой полосе рядом с непроверяемыми утверждениями других теорий.
Ответить на разбор или прислать исправленную теорию можно новой версией заявки — номер oto подставится сам.