The idempotents 0 and I are isolated points
Statement
Let . Show that and are isolated points of .
Hint
On idempotents the rank equals the trace, which is continuous and integer valued.
Show solutionHide solution
Solution
Idea. On the continuous function takes only integer values, hence is locally constant. The values and are attained at a single point each.
Step 1: for . From , the minimal polynomial of divides , which has distinct roots, so is diagonalisable with eigenvalues in . If then and .
Step 2: local constancy. The map is continuous (linear), and it takes values in on . Thus
and this set is open in (it is the intersection of with an open subset of ). So is isolated. Likewise
since an invertible idempotent satisfies . So is isolated.
Alternative quantitative proof. If and , then and , so in the operator norm. Hence every idempotent other than is at distance from . Applying this to the idempotent (indeed ) shows for . So the balls of radius around and around contain no other idempotent.
Remark. The same reasoning shows that with , each being both open and closed in . For each is connected: it is the orbit of under conjugation by , and the stabiliser contains of determinant , so the connected group already reaches the whole orbit. So has exactly 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.