Manuscript XXII-F@1 · XXII-F.tex · proposition · 67821705
Proposition: Fixed-source null-boundary obstruction
Obstructions the certificates must respect › Finite futures and fixed-source targets · lines 820–845 · proof included or linked
XXII-F@1#prop:future-obstruction
For a representation of the unchanged carrier, fix . There are at most two nonzero comparable differences
If comparable differences from this source converge to , they are eventually equal to .
Therefore the entire nonzero future-null boundary of a Lorentz cone cannot be approximated from one unchanged component by such differences.
Proof. Equation (eq:future) bounds the nonzero set by two. Allowing adds only zero. A convergent sequence in this finite set has its limit in the set and is eventually constant: take a ball about the limit excluding all other points. A nonzero limit belongs to .
The Lorentz cone has infinitely many nonzero null directions when . An invertible linear map preserves that fact.
Displayed formulas in this passage
unlabeled · line 824