 Grassmannian as projection matrices

The real Grassmannian of $k$-planes is represented by symmetric idempotent matrices of trace $k$.