Manuscript En08-A@1 · En08-A.tex · theorem · c688d76d
Theorem: Quadratic component classification
Signature and Lorentz-cone selection › Conditional quadratic signature · lines 1180–1223 · proof included or linked
En08-A@1#thm:signature
Let be a nondegenerate quadratic form on , with . Suppose , and a connected component of has pointed closure. Then has negative index one and positive index .
Conversely, for this signature, has two components, each an open convex cone with proper closure.
Proof. By a linear change of coordinates,
The assumptions imply . The map
is a homeomorphism, with inverse
If , the negative region is connected and contains both and for each of its vectors. Its closure is not pointed. Thus .
Writing , the components are
The triangle inequality proves convexity. Their closures and are pointed, closed, and have nonempty interior.
Displayed formulas in this passage
unlabeled · line 1193
unlabeled · line 1199
unlabeled · line 1207
unlabeled · line 1217