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

Conjugation is continuous

#conjugation#composition of continuous maps#similarity

Statement

Show (P,A)↦PAP−1(P,A)\mapsto PAP^{-1} is continuous on GLn(R)×Mn(R)GL_n(\mathbb{R})\times M_n(\mathbb{R}).

Hint

Compose continuous maps: inversion on the first factor, then multiplication.

Show solutionHide solution

Solution

Idea. Write the map as a composite of maps that are already known to be continuous.

Step 1. The map (P,A)↦(P,A,P−1)(P,A)\mapsto(P,A,P^{-1}) from GLn×MnGL_n\times M_n to Mn×Mn×MnM_n\times M_n\times M_n is continuous: its components are the two projections and the inversion P↦P−1P\mapsto P^{-1} (Problem 68). (A map into a product is continuous iff its components are.)

Step 2. Multiplication Mn×Mn→MnM_n\times M_n\to M_n is continuous (Problem 67), so (P,A,P−1)↦PA(P,A,P^{-1})\mapsto PA and then (PA,P−1)↦(PA)P−1(PA,P^{-1})\mapsto(PA)P^{-1} are continuous.

Step 3. Composing, (P,A)↦PAP−1(P,A)\mapsto PAP^{-1} is continuous.

Consequences.
- For fixed PP, A↦PAP−1A\mapsto PAP^{-1} is a linear automorphism of MnM_n, hence a homeomorphism that preserves trace, determinant, rank, characteristic polynomial and spectrum.
- The *similarity class* (orbit) {PAP−1}\{PAP^{-1}\} is the image of GLnGL_n under the continuous map P↦PAP−1P\mapsto PAP^{-1}.

Remark. The orbits are generally not closed: the orbit of (1101)\begin{pmatrix}1&1\\0&1\end{pmatrix} contains (1t01)\begin{pmatrix}1&t\\0&1\end{pmatrix} for all t≠0t\ne0 (conjugate by diag⁡(t,1)\operatorname{diag}(t,1)), and t→0t\to0 gives II, which is not in the orbit. Compare the analysis of closures of similarity classes in Part 6.