In mathematics, specifically in homotopy theory, a classifying space BG of a topological group G is the quotient of a weakly contractible space EG (i.e. a topological space for which all its homotopy groups are trivial) by a free action of G. It has the property that any G principal bundle over a paracompact manifold is isomorphic to a pullback of the principal bundle EG → BG.
For a discrete group G, BG is, roughly speaking, a path-connected topological space X such that the fundamental group of X is isomorphic to G and the higher homotopy groups of X are trivial, that is, BG is an Eilenberg-Maclane space, or a K(G,1).
Read more about Classifying Space: Motivation, Formalism, Examples, Applications
Famous quotes containing the word space:
“The peculiarity of sculpture is that it creates a three-dimensional object in space. Painting may strive to give on a two-dimensional plane, the illusion of space, but it is space itself as a perceived quantity that becomes the peculiar concern of the sculptor. We may say that for the painter space is a luxury; for the sculptor it is a necessity.”
—Sir Herbert Read (1893–1968)