Example image of eyePlorer eyePlorer map for 'Classifying space for U(n)': Classifying space Grassmannian Hilbert space Mathematics Unitary group Fiber bundle Universal bundle Kronecker delta Group action Inner product space Orthonormality Homotopy group Direct limit Compact space CW complex Whitehead theorem Complex projective space Contractibility of unit sphere in Hilbert space Circle bundle Homotopy Isomorphism class Manifold Projective unitary group Torus Numerical polynomial Topological K-theory Cohomology Polynomial Ring (mathematics) Euler class Maximal torus Weyl group Symmetric polynomial Splitting principle Multinomial theorem Classifying space for O(n)