Maths WorkshopMaths problems with full solutions
Exercise 1366Topology › Topology of Mn(ℝ) › Density and closuresL3Added 6 Nov 2026

The orbit of a Jordan block accumulates on the identity

#conjugacy orbit#closure#Jordan block

Statement

Let J=(1101)J=\begin{pmatrix}1&1\\0&1\end{pmatrix} and let O(J)={PJP−1:P∈GL2(R)}\mathcal{O}(J)=\{PJP^{-1}:P\in GL_2(\mathbb{R})\}. Show that II lies in the closure of O(J)\mathcal{O}(J) but I∉O(J)I\notin\mathcal{O}(J).

Hint

Conjugate JJ by diag⁡(t,1)\operatorname{diag}(t,1).

Show solutionHide solution

Solution

I∈O(J)‾I\in\overline{\mathcal{O}(J)}. For t>0t>0, let Dt=diag⁡(t,1)D_t=\operatorname{diag}(t,1). Then
DtJDt−1=(t001)(1101)(t−1001)=(tt01)(t−1001)=(1t01).D_tJD_t^{-1}=\begin{pmatrix}t&0\\0&1\end{pmatrix}\begin{pmatrix}1&1\\0&1\end{pmatrix}\begin{pmatrix}t^{-1}&0\\0&1\end{pmatrix}=\begin{pmatrix}t&t\\0&1\end{pmatrix}\begin{pmatrix}t^{-1}&0\\0&1\end{pmatrix}=\begin{pmatrix}1&t\\0&1\end{pmatrix}.
As t→0t\to0 this tends to II, and each DtJDt−1D_tJD_t^{-1} belongs to O(J)\mathcal{O}(J).

I∉O(J)I\notin\mathcal{O}(J). For every PP, PIP−1=IPIP^{-1}=I, so the orbit of II is {I}\{I\}. If I=PJP−1I=PJP^{-1} then J=P−1IP=IJ=P^{-1}IP=I, which is false.

Consequence. The orbit O(J)\mathcal{O}(J) is not closed. In terms of group actions: the quotient Mn/ ⁣ ⁣∼M_n/\!\!\sim by conjugation is not Hausdorff. Any continuous function constant on conjugacy classes (such as the trace or the determinant) takes the same values on JJ and II and indeed tr⁡J=tr⁡I=2\operatorname{tr}J=\operatorname{tr}I=2, det⁡J=det⁡I=1\det J=\det I=1 so it cannot distinguish them.

Remark. JJ and II have the same characteristic polynomial (X−1)2(X-1)^2 but different minimal polynomials. Lesson. Rescaling the basis shrinks off-diagonal parts: this is the mechanism behind all orbit closure arguments.