Maths WorkshopMaths problems with full solutions
Exercise 1347Topology › Topology of Mn(ℝ) › Applications and the case n = 2L3Added 6 Nov 2026

The Grassmannian of orthogonal projections is compact and connected

#Grassmannian#compactness#connectedness#SO(n) orbit

Statement

Let Gr(k,n)={P∈Mn(R): P=PT=P2, rank⁡P=k}\mathrm{Gr}(k,n)=\{P\in M_n(\mathbb{R}):\ P=P^T=P^2,\ \operatorname{rank}P=k\}, 0≤k≤n0\le k\le n. Show that Gr(k,n)\mathrm{Gr}(k,n) is compact and connected.

Hint

Show that it is the orbit of Ek=diag⁡(Ik,0)E_k=\operatorname{diag}(I_k,0) under conjugation by SO(n)SO(n).

Show solutionHide solution

Solution

Idea. Closed and bounded gives compactness. Being the orbit of a point under the connected group SO(n)SO(n) gives connectedness.

Step 1: compact. A symmetric idempotent has eigenvalues 00 or 11, so rank⁡P=tr⁡P\operatorname{rank}P=\operatorname{tr}P. Hence Gr(k,n)={P: PT=P, P2=P, tr⁡P=k}\mathrm{Gr}(k,n)=\{P:\ P^T=P,\ P^2=P,\ \operatorname{tr}P=k\} is defined by polynomial equations, so it is closed. It is bounded: ∥P∥F2=tr⁡(PTP)=tr⁡P=k\|P\|_F^2=\operatorname{tr}(P^TP)=\operatorname{tr}P=k. By Heine-Borel it is compact.

Step 2: it is one orbit. Let P∈Gr(k,n)P\in\mathrm{Gr}(k,n). By the spectral theorem, P=UEkUTP=UE_kU^T for some U∈O(n)U\in O(n) (an orthonormal basis of eigenvectors, the first kk spanning the image). If det⁡U=−1\det U=-1 and k<nk<n, replace UU by U′=UDU'=UD with D=diag⁡(1,…,1,−1)D=\operatorname{diag}(1,\dots,1,-1): DD commutes with EkE_k (the last diagonal entry of EkE_k is 00), so U′EkU′T=UDEkDUT=UEkUT=PU'E_kU'^T=UDE_kDU^T=UE_kU^T=P, and det⁡U′=1\det U'=1. So every PP is of the form UEkUTUE_kU^T with U∈SO(n)U\in SO(n). (If k=nk=n, P=IP=I and the set is a single point.)

Step 3: connected. The map SO(n)→Gr(k,n)SO(n)\to\mathrm{Gr}(k,n), U↦UEkUTU\mapsto UE_kU^T, is continuous and onto, and SO(n)SO(n) is connected. Hence Gr(k,n)\mathrm{Gr}(k,n) is connected.

Remark. Gr(k,n)\mathrm{Gr}(k,n) is the set of kk-dimensional subspaces of Rn\mathbb{R}^n (a projection is determined by its image). It is a manifold of dimension k(n−k)k(n-k), and Gr(1,n)=RPn−1\mathrm{Gr}(1,n)=\mathbb{RP}^{n-1} (previous problem). Note: using O(n)O(n) instead of SO(n)SO(n) in Step 3 would not suffice since O(n)O(n) is disconnected.

Lesson. An orbit of a connected group is connected; always check whether you need SO(n)SO(n) or O(n)O(n).