The Grassmannian of orthogonal projections is compact and connected
Statement
Let , . Show that is compact and connected.
Hint
Show that it is the orbit of under conjugation by .
Show solutionHide solution
Solution
Idea. Closed and bounded gives compactness. Being the orbit of a point under the connected group gives connectedness.
Step 1: compact. A symmetric idempotent has eigenvalues or , so . Hence is defined by polynomial equations, so it is closed. It is bounded: . By Heine-Borel it is compact.
Step 2: it is one orbit. Let . By the spectral theorem, for some (an orthonormal basis of eigenvectors, the first spanning the image). If and , replace by with : commutes with (the last diagonal entry of is ), so , and . So every is of the form with . (If , and the set is a single point.)
Step 3: connected. The map , , is continuous and onto, and is connected. Hence is connected.
Remark. is the set of -dimensional subspaces of (a projection is determined by its image). It is a manifold of dimension , and (previous problem). Note: using instead of in Step 3 would not suffice since is disconnected.
Lesson. An orbit of a connected group is connected; always check whether you need or .