Classifying space for O(n)

From Wikipedia, the free encyclopedia

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

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