Idempotents of a given rank form a closed set
Statement
Show that for each the set is closed.
Hint
For an idempotent, the trace equals the rank.
Show solutionHide solution
Solution
Trace equals rank. Let . Then annihilates , which has simple roots, so is diagonalisable with eigenvalues in . If the eigenvalue has multiplicity , then (the image is the -eigenspace) and . So .
Description of . Therefore
Indeed, "" holds by the trace-equals-rank fact, and "" because for an idempotent, means .
Closed. The first set is the zero set of the polynomial map , the second the preimage of under the continuous map . Their intersection is closed.
Remark. The set has connected components : since the trace is continuous and integer-valued on it, are open in as well, and each is closed. Lesson. Integer-valued continuous functions (like the rank of an idempotent) separate components.