Inversion is a homeomorphism of GL_n
Statement
Show that is continuous on and is a homeomorphism of onto itself.
Hint
Cramer's rule: .
For the homeomorphism part, compute the composition of the inversion with itself.
Show solutionHide solution
Solution
Idea. The formula expresses the inverse as a polynomial map divided by a nonvanishing polynomial.
Step 1: continuity. On the function is continuous and nonzero (Problem 66), so is continuous as the composition of with on . The map is continuous (polynomial entries). The product of a continuous scalar function with a continuous matrix-valued map is continuous. Hence is continuous.
Step 2: homeomorphism. is closed under inversion, so is well defined. Moreover , so . Thus is a continuous bijection whose inverse is itself, hence continuous: is a homeomorphism (an *involution*).
Example. For , , visibly continuous where .
Remark.
- Inversion is not defined on all of , and as approaches a singular matrix (Problem 64 in the previous part). So it does not extend continuously to the closure.
- Inversion exchanges the two connected components of only in the sense that it preserves each: has the same sign.