A path from positive to negative determinant hits a singular matrix
Statement
If is a continuous path with , show that some is singular.
Hint
Compose with and use the intermediate value theorem.
Show solutionHide solution
Solution
Idea. The function is a continuous real function on an interval, so it must vanish between a positive and a negative value.
Step 1. is continuous (Problem 66) and is continuous, so is continuous.
Step 2. . By the intermediate value theorem there exists with , i.e. is singular.
Example. The path joins () to () and passes through the singular matrix at . The rotation path in never leaves the determinant- level set.
Consequence. Any path in keeps a constant sign of . Hence and lie in *different path-components* of : is not connected (see Part 5).
Remark. The statement uses that a path is defined on a *connected* interval; it is the one-dimensional case of "the continuous image of a connected set is connected".