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

Back to manuscript

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

Nearby in this section