Manuscript IX-D-ST@1 · IX-D-ST.tex · proposition · b1dc631a
Proposition: Flip and conjugate transfer
The certificate and its lower-support consequence · lines 1937–1958 · proof included or linked
IX-D-ST@1#prop:conjugatebridge
Let . Then
Conjugation preserves functional support, so a proved original-sector bridge transfers to retained flips and conjugates. This does not evaluate arbitrary relations among sums of actual tensors.
Proof. Free reversal gives and . Subtract. A functional changes under a local perturbation exactly when its complex conjugate changes, proving support invariance.
Displayed formulas in this passage
unlabeled · line 1941
Nearby in this section
- assumption: Assumption: Boundary-trace certificate (TC)
- section: The certificate and its lower-support consequence
- theorem: Theorem: Null-sphere lower support under (TC)
- section: The certificate and its lower-support consequence
- lemma: Lemma: Sphere–ball intersection
- theorem: Theorem: The two-way bridge under (TC)
- section: The certificate and its lower-support consequence