Polar decomposition is a homeomorphism
Statement
Show that the map , with , is a homeomorphism, where is the set of symmetric positive definite matrices.
Hint
and .
Prove first that the pair is unique, then continuity in both directions.
Show solutionHide solution
Solution
Idea. Existence and uniqueness give a bijection; the formulas for the two directions are compositions of continuous maps (square root, inverse, product).
Step 1: uniqueness. If with orthogonal and symmetric positive definite, then
is a PSD matrix whose square is , so by uniqueness of the PSD square root , and .
Step 2: existence. For invertible, is symmetric and positive definite ( for ). Put : it is positive definite (its eigenvalues are the positive square roots), hence invertible. Put . Then
so and .
Step 3: continuity of . is polynomial, is continuous (Problem 89), is continuous (Problem 68), and the product is continuous (Problem 67). So and are continuous functions of .
Step 4: continuity of the inverse. is the restriction of the multiplication, continuous, and takes values in . By Steps 1-2, and .
Consequences.
- , and is a convex cone, hence contractible. So deformation retracts onto via ; likewise .
- has two components, so has exactly two (Part 5).
Remark. The analogue for is , the polar form of a real number; for complex numbers it is .