Solution

ID: past-exam-of-the-metric-spaces-and-complex-analysis-course-of-the-university-of-oxford/2017/2/b/ii/solution

On , , so and therefore . Yet and . The same continuous image of a connected space argument shows that is not connected.
Put . The required three disjoint nonempty open sets are
Their union is precisely , the complement of the double cone . The eigenvalues are , so consists of positive-definite matrices above the upper sheet, of negative-definite matrices below the lower sheet, and of indefinite matrices outside the double cone. Examples are respectively.
The two definite cones are convex sets. The indefinite region is path-connected: shrink continuously to zero while keeping , then change the nonzero vector within the punctured plane. Thus these sets are also exactly the three connected components. This is the determinant cone for real symmetric two-by-two matrices.
Figure 1.
The determinant-zero cone separates three components of invertible symmetric matrices
. The left panel shows the double cone. The right panel is a radial section: the exterior indefinite region is connected around the cone in three dimensions, although its two sides appear separated in this section. Details.

New to topics? Read the docs here!