Manuscript I-B@1 · I-B-v1.tex · proposition · 5357688f
Proposition: The precise constant-metric flatness statement
Dynamics without an invented source › The Einstein comparator · lines 1442–1463 · proof included or linked
I-B@1#prop:constant-flat
If the components of a nondegenerate metric are constant in all spacetime coordinates, its connection coefficients and curvature tensors vanish. Positive constant rescaling preserves this conclusion. A family of such constant metrics has zero linearized Einstein tensor for its parameter variation.
Proof. Every spacetime derivative of every component vanishes, so
The curvature formulas then vanish. Constant rescaling and differentiation with respect to an external family parameter retain spacetime-constant components.
Displayed formulas in this passage
unlabeled · line 1453