Rank-one orthogonal projections form the projective space
Statement
Show that the space of rank-one orthogonal projections is homeomorphic to the real projective space .
Hint
Map a unit vector to .
Show solutionHide solution
Solution
Idea. A line through the origin is determined by a unit vector up to sign, and the orthogonal projection onto it is , which does not see the sign.
Step 1: description of . If , its image is a line with , and is the orthogonal projection onto it: . So . Conversely, for a unit vector , is symmetric, satisfies , and has rank .
Step 2: the map. , , is continuous and onto by Step 1. Moreover iff : apply both sides to to get , so is a multiple of , and both are unit vectors.
Step 3: homeomorphism. induces a continuous bijection . The source is compact (a quotient of the sphere) and is Hausdorff. A continuous bijection from a compact space to a Hausdorff space is a homeomorphism.
Remark. The same construction with and gives as the space of rank-one Hermitian projections. For , is a circle: .
Lesson. Compact-to-Hausdorff continuous bijections are homeomorphisms: use them to identify quotient spaces.