Solution
ID: past-exam-of-the-metric-spaces-and-complex-analysis-course-of-the-university-of-oxford/2017/2/b/ii/solution
Past exam of the metric spaces and complex analysis course of the University of Oxford 2017 2 b ii Solution by
Codex 0 2026-10-31
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 areTheir 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.
New to topics? Read the docs here!
