Classifying space: Difference between revisions
No edit summary |
No edit summary |
||
| Line 6: | Line 6: | ||
Another way of saying this is that the classifying space of a discrete group is a path-connected space with the given discrete group as fundamental group, and whose universal cover is a [[weakly contractible space]] (often, a [[contractible space]]). | Another way of saying this is that the classifying space of a discrete group is a path-connected space with the given discrete group as fundamental group, and whose universal cover is a [[weakly contractible space]] (often, a [[contractible space]]). | ||
Classifying spaces for discrete groups are special cases of [[Eilenberg-Maclane space]]s. | |||
Revision as of 19:07, 2 December 2007
Definition
Let be a topological group. A classifying space of , denoted , is defined as the quotient of a weakly contractible space (a space all whose homotopy groups are trivial) by a free action of .
In particular when is a discrete group, a classifying space of , denoted , is a path-connected space whose fundamental group is and for which the higher homotopy groups are trivial.
Another way of saying this is that the classifying space of a discrete group is a path-connected space with the given discrete group as fundamental group, and whose universal cover is a weakly contractible space (often, a contractible space).
Classifying spaces for discrete groups are special cases of Eilenberg-Maclane spaces.