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

Back to manuscript

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

Nearby in this section