Maths WorkshopMaths problems with full solutions
Exercise 305Topology › Topology of Mn(ℝ) › Continuity of matrix mapsL2Added 7 Nov 2026

Inversion is a homeomorphism of GL_n

#inverse#Cramer's rule#homeomorphism#adjugate

Statement

Show that A↦A−1A\mapsto A^{-1} is continuous on GLn(R)GL_n(\mathbb{R}) and is a homeomorphism of GLn(R)GL_n(\mathbb{R}) onto itself.

Hint

Cramer's rule: A−1=1det⁡Aadj⁡AA^{-1}=\frac1{\det A}\operatorname{adj}A.

For the homeomorphism part, compute the composition of the inversion with itself.

Show solutionHide solution

Solution

Idea. The formula A−1=1det⁡Aadj⁡AA^{-1}=\frac{1}{\det A}\operatorname{adj}A expresses the inverse as a polynomial map divided by a nonvanishing polynomial.

Step 1: continuity. On GLn(R)GL_n(\mathbb{R}) the function det⁡\det is continuous and nonzero (Problem 66), so A↦1det⁡AA\mapsto\frac1{\det A} is continuous as the composition of det⁡\det with t↦1/tt\mapsto1/t on R∖{0}\mathbb{R}\setminus\{0\}. The map A↦adj⁡AA\mapsto\operatorname{adj}A is continuous (polynomial entries). The product of a continuous scalar function with a continuous matrix-valued map is continuous. Hence ι:A↦A−1\iota:A\mapsto A^{-1} is continuous.

Step 2: homeomorphism. GLn(R)GL_n(\mathbb{R}) is closed under inversion, so ι:GLn→GLn\iota:GL_n\to GL_n is well defined. Moreover ι(ι(A))=(A−1)−1=A\iota(\iota(A))=(A^{-1})^{-1}=A, so ι∘ι=id\iota\circ\iota=\mathrm{id}. Thus ι\iota is a continuous bijection whose inverse is itself, hence continuous: ι\iota is a homeomorphism (an *involution*).

Example. For A=(abcd)A=\begin{pmatrix}a&b\\c&d\end{pmatrix}, A−1=1ad−bc(d−b−ca)A^{-1}=\frac1{ad-bc}\begin{pmatrix}d&-b\\-c&a\end{pmatrix}, visibly continuous where ad−bc≠0ad-bc\ne0.

Remark.
- Inversion is not defined on all of MnM_n, and ∥A−1∥→∞\|A^{-1}\|\to\infty as AA 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 GLnGL_n only in the sense that it preserves each: det⁡(A−1)=1/det⁡A\det(A^{-1})=1/\det A has the same sign.