Manuscript En08-A@1 · En08-A.tex · proposition · c688d76d
Proposition: The cone determines a quadratic form up to scale
Signature and Lorentz-cone selection › Pairings and uniqueness of the quadratic form · lines 1554–1579 · proof included or linked
En08-A@1#prop:quadraticunique
Let , , and set
Then is nondegenerate of signature . For every other linear isomorphism with , there is such that .
Proof. Only uniqueness needs proof. Work in the -coordinates and write the second quadratic form as
where is symmetric. It vanishes at every , , because the two maps send the same boundary to the null boundary. Comparing and gives . Then on the unit sphere, so . Hence . The second form is negative on the cone interior, so .
Displayed formulas in this passage
unlabeled · line 1557
unlabeled · line 1569