Manuscript En08-A@1 · En08-A.tex · lemma · c688d76d
Lemma: Change of a self-dualizing pairing
Signature and Lorentz-cone selection › Pairings and uniqueness of the quadratic form · lines 1531–1548 · proof included or linked
En08-A@1#lem:pairing
Suppose two positive-definite inner products make the same cone self-dual. There is an -self-adjoint, positive-definite operator such that
Proof. Finite-dimensional linear algebra gives the stated positive operator . Its self-adjointness implies
Both dual cones equal , so .
Displayed formulas in this passage
unlabeled · line 1536
unlabeled · line 1544