Classifying space for O(n)

Classifying space for O(n)

In mathematics, the classifying space for O(n) may be constructed as the Grassmannian of n-planes in an infinite-dimensional real Hilbert space.

It is analogous to the classifying space for U(n).