Registry · Theorem
V.T45
tau-effective
formalized
V.T45 — Tension Monotonicity
The GR tension functional is strictly monotone increasing in M for M > M_min: M_1 < M_2 implies T_n(x_{M_1}) < T_n(x_{M_2}). Moreover, T_n(x_M) -> infinity as M -> infinity. Adding mass increases the gravitational character faster than matter can compensate.
Book V
Part 2
Ch. 18