The general linear group is path connected
Statement
Assuming that is path connected, show that is path connected.
Hint
Use the polar decomposition with orthogonal and symmetric positive definite.
Show solutionHide solution
Solution
Idea. Every invertible matrix factors as "rotation stretch". The rotation part lives in the connected group and the stretch part lives in a convex cone.
Step 1: polar decomposition. For , the matrix is symmetric positive definite (since for ). Let be its positive definite square root (obtained from the spectral theorem by taking square roots of the eigenvalues), and . Then
so and .
Step 2: sign. (product of positive eigenvalues), so has the sign of . If , then : .
Step 3: a path to . Let be a path in from to (it exists by assumption) and , . Each is symmetric positive definite (convexity of the cone of positive definite matrices, Problem 1). Then
is continuous, lies in (as and ), and goes from to .
Conclusion. Every is joined to inside , so is path connected. Together with Problem 2 and the map (), this shows that has exactly two components.
Remark. The decomposition is a homeomorphism (polar decomposition depends continuously on ). It is the source of the deformation retraction of Problem 25.