Registry · Definition V.D163 tau-effective formalized

V.D163 — Gravitational Tension

Gravitational tension at a region U in tau^3 is G(U) = kappa(D;1) * ||T[chi]|_U||, where kappa(D;1) = 1 - iota_tau is the gravitational self-coupling and ||.|| is the boundary norm on H_partial[omega]. It measures the gravitational field strength generated by matter in U.

Book V Part 6 Ch. 50

Lean Formalization

Module: TauLib.BookV.Cosmology.BHBirthTopology

Symbol: Tau.BookV.Cosmology.GravitationalTension