Complex Grassmannian as orthogonal projections
ID: complex-grassmannian-as-orthogonal-projections
The complex Grassmannian of -planes in identifies with the displayed Hermitian orthogonal projection matrices. A plane is recovered as the image of its projection. Near a plane , a neighboring plane is the graph of a complex linear map . Its projection is with . The unitary group acts transitively by conjugation, and its tangent directions are with .
New to topics? Read the docs here!