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

Idempotents of a given rank form a closed set

#idempotent#projections#trace#rank

Statement

Show that for each kk the set Pk={P∈Mn(R):P2=P, rank⁡P=k}\mathcal{P}_k=\{P\in M_n(\mathbb{R}):P^2=P,\ \operatorname{rank}P=k\} is closed.

Hint

For an idempotent, the trace equals the rank.

Show solutionHide solution

Solution

Trace equals rank. Let P2=PP^2=P. Then X2−X=X(X−1)X^2-X=X(X-1) annihilates PP, which has simple roots, so PP is diagonalisable with eigenvalues in {0,1}\{0,1\}. If the eigenvalue 11 has multiplicity mm, then rank⁡P=m\operatorname{rank}P=m (the image is the 11-eigenspace) and tr⁡P=m⋅1+(n−m)⋅0=m\operatorname{tr}P=m\cdot1+(n-m)\cdot0=m. So tr⁡P=rank⁡P\operatorname{tr}P=\operatorname{rank}P.

Description of Pk\mathcal{P}_k. Therefore
Pk={P:P2=P}∩{P:tr⁡P=k}.\mathcal{P}_k=\{P:P^2=P\}\cap\{P:\operatorname{tr}P=k\}.
Indeed, "⊆\subseteq" holds by the trace-equals-rank fact, and "⊇\supseteq" because for an idempotent, tr⁡P=k\operatorname{tr}P=k means rank⁡P=k\operatorname{rank}P=k.

Closed. The first set is the zero set of the polynomial map P↦P2−PP\mapsto P^2-P, the second the preimage of {k}\{k\} under the continuous map tr⁡\operatorname{tr}. Their intersection is closed.

Remark. The set {P2=P}\{P^2=P\} has n+1n+1 connected components P0,…,Pn\mathcal{P}_0,\dots,\mathcal{P}_n: since the trace is continuous and integer-valued on it, Pk\mathcal{P}_k are open in {P2=P}\{P^2=P\} as well, and each is closed. Lesson. Integer-valued continuous functions (like the rank of an idempotent) separate components.