Registry · Definition V.D53 tau-effective formalized

V.D53 — Gravitational wave in tau-framework

A gravitational wave in the tau-framework is a propagating perturbation delta Delta_k^(n) of the holonomy gap elements satisfying the linearized tau-Einstein equation with T^mat_lin = 0 (vacuum perturbation).

Book V Part 2 Ch. 14

Dependency Graph

Depends on (3)

V.D50 V.D52 V.T32

Depended on by (15)

V.D55 V.P119 V.P209 V.P49 V.P71 V.R31 V.T116 V.T331 V.T332 V.T333 V.T340 V.T75 V.T78 V.T86 V.T87

Lean Formalization

Module: TauLib.BookV.GravityField.LinearEinstein

Symbol: Tau.BookV.GravityField.GravitationalWaveInTauframework