Уравнение Эйнштейна как Φ-самосогласованность и тождество Бианки из Diff(M⁴)-симметрии в ODTOE — обзор
Закрытие этапа 3 программы §XIV.3. Уравнение Эйнштейна G_μν+Λg_μν=(8πG/c⁴)T_μν выводится как условие Φ-самосогласованности на пары (g,T). Тождество Бианки ∇_μG^
Об этом видео
Завершение этапа 3 программы §XIV.3. Уравнение Эйнштейна G_μν+Λg_μν=(8πG/c⁴)T_μν выведено как условие Φ-самосогласованности на парах (g,T). Тождество Бианки ∇_μG^μν=0 установлено двумя независимыми путями: кинематическим (свёртка второго тождества Бианки) и нётеровским (диффеоморфизм-инвариантность действия наблюдателя). Теорема C.T1: пара (g,T) решает уравнение Эйнштейна тогда и только тогда, когда она является неподвижной точкой отображения Φ_C; существование — через теорему Банаха о неподвижной точке. Теорема C.T2: двухпутевое тождество Бианки с 50-значной верификацией |∇_μG^μν|_{Path1}−|∇_μG^μν|_{Path2}<10⁻⁴⁵. Теорема C.T3: теорема о сингулярности ODTOE как структурный аналог теоремы Хокинга–Пенроуза.