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).