Signature is constant on a rank stratum of symmetric matrices
Statement
Let be the space of real symmetric matrices, and for let be its signature: positive and negative eigenvalues (so ).
1. Show that is constant along every continuous path in .
2. Deduce that has exactly connected components.
Hint
For part 1, show that and cannot drop in a neighbourhood (lower semicontinuity) and use . For part 2, move the eigenvalues to and , and connect to .
Show solutionHide solution
Solution
Idea. Signs of nonzero eigenvalues are stable, and with the rank constant, zero eigenvalues cannot be created or destroyed, so no eigenvalue can cross . Conversely, inside one signature all matrices can be deformed into a standard one.
Part 1: lower semicontinuity of and . By Sylvester's law of inertia (quoted), is the largest dimension of a subspace on which for all (take the span of eigenvectors with positive eigenvalues; and no larger subspace works). Let be such a subspace of dimension . The unit sphere of is compact and is positive there, so its minimum is some . If then for unit ,
so also works for and . The same argument applied to gives .
If now has the same rank as and is close to , we have together with and ; hence and . So is locally constant on the rank- set, and therefore constant along continuous paths (a locally constant function on an interval is constant, by connectedness of the interval).
Part 2: each stratum is path connected. Let () be the set of symmetric matrices of signature . Take and write with and . Let with .
*(a) Normalise the eigenvalues.* For , put . Each diagonal entry is a convex combination of two numbers of the same sign (or both ), so it keeps the sign of . Thus and , .
*(b) Reduce to .* If let . The diagonal matrices and commute, so and . So we may assume .
*(c) Connect to .* is path connected (quoted; it is shown in the connectedness chapter). Take a path in from to . Then is a path in (orthogonal conjugation preserves eigenvalues) from to .
So every point of is joined by a path in to the fixed matrix . Hence each is path connected.
Conclusion. The rank- set is the disjoint union of the sets with (, so sets), each path connected, and by Part 1 no path leaves a given . Therefore these are exactly the path components, and there are of them. (Each is also open in the rank- set by local constancy of the signature, so they are also the connected components.)
Remark. For this says that the nondegenerate symmetric matrices form components, indexed by ; the component is the open cone of positive definite matrices, which is convex. For the set is , one component. Note that the problem would not be true if we allowed the rank to vary: the positive definite matrices and the negative definite ones are joined through singular matrices.
Lesson. A discrete invariant that is lower semicontinuous and whose total is fixed (here ) is locally constant.