Maths WorkshopMaths problems with full solutions
Exercise 694Topology › Topology of Mn(ℝ) › Applications and the case n = 2L2Added 10 Nov 2026

The idempotents 0 and I are isolated points

#idempotents#projections#isolated points#trace and rank

Statement

Let E={P∈Mn(R):P2=P}\mathcal E=\{P\in M_n(\mathbb{R}):P^2=P\}. Show that 00 and II are isolated points of E\mathcal E.

Hint

On idempotents the rank equals the trace, which is continuous and integer valued.

Show solutionHide solution

Solution

Idea. On E\mathcal E the continuous function tr⁡\operatorname{tr} takes only integer values, hence is locally constant. The values 00 and nn are attained at a single point each.

Step 1: tr⁡P=rank⁡P\operatorname{tr}P=\operatorname{rank}P for P∈EP\in\mathcal E. From P(P−I)=0P(P-I)=0, the minimal polynomial of PP divides t(t−1)t(t-1), which has distinct roots, so PP is diagonalisable with eigenvalues in {0,1}\{0,1\}. If P=X diag(Ir,0)X−1P=X\,\mathrm{diag}(I_r,0)X^{-1} then rank⁡P=r\operatorname{rank}P=r and tr⁡P=r\operatorname{tr}P=r.

Step 2: local constancy. The map tr⁡:Mn→R\operatorname{tr}:M_n\to\mathbb{R} is continuous (linear), and it takes values in {0,1,…,n}\{0,1,\dots,n\} on E\mathcal E. Thus
E∩{tr⁡<12}={P∈E:tr⁡P=0}={P∈E:rank⁡P=0}={0},\mathcal E\cap\{\operatorname{tr}<\tfrac12\}=\{P\in\mathcal E:\operatorname{tr}P=0\}=\{P\in\mathcal E:\operatorname{rank}P=0\}=\{0\},
and this set is open in E\mathcal E (it is the intersection of E\mathcal E with an open subset of MnM_n). So 00 is isolated. Likewise
E∩{tr⁡>n−12}={P∈E:rank⁡P=n}={I},\mathcal E\cap\{\operatorname{tr}>n-\tfrac12\}=\{P\in\mathcal E:\operatorname{rank}P=n\}=\{I\},
since an invertible idempotent satisfies P=P−1P2=IP=P^{-1}P^2=I. So II is isolated.

Alternative quantitative proof. If P∈EP\in\mathcal E and P≠0P\ne0, then ∥P∥=∥P2∥≤∥P∥2\|P\|=\|P^2\|\le\|P\|^2 and ∥P∥>0\|P\|>0, so ∥P∥≥1\|P\|\ge1 in the operator norm. Hence every idempotent other than 00 is at distance ≥1\ge1 from 00. Applying this to the idempotent I−PI-P (indeed (I−P)2=I−2P+P=I−P(I-P)^2=I-2P+P=I-P) shows ∥I−P∥≥1\|I-P\|\ge1 for P≠IP\ne I. So the balls of radius 11 around 00 and around II contain no other idempotent.

Remark. The same reasoning shows that E=⨆r=0nEr\mathcal E=\bigsqcup_{r=0}^n\mathcal E_r with Er={rank⁡=r}={tr⁡=r}\mathcal E_r=\{\operatorname{rank}=r\}=\{\operatorname{tr}=r\}, each Er\mathcal E_r being both open and closed in E\mathcal E. For 0<r<n0<r<n each Er\mathcal E_r is connected: it is the orbit of diag(Ir,0)\mathrm{diag}(I_r,0) under conjugation by GLn(R)GL_n(\mathbb{R}), and the stabiliser contains diag(−1,1,…,1)\mathrm{diag}(-1,1,\dots,1) of determinant −1-1, so the connected group GLn+GL_n^+ already reaches the whole orbit. So E\mathcal E has exactly n+1n+1 components.

Lesson. A continuous function with values in a discrete set is locally constant; use a continuous integer invariant (trace/rank) to detect isolated points.