Simple space
In algebraic topology, a branch of mathematics, a simple space is a connected topological space that has a homotopy type of a CW complex and whose fundamental group is abelian and acts trivially on the homotopy and homology of the universal covering space. Though not all authors include the assumption on the homotopy type.
Examples
Topological groups
For example, any topological group is a simple space (provided it satisfies the condition on the homotopy type).
Eilenberg-Maclane spaces
Most Eilenberg-Maclane spaces [math]\displaystyle{ K(A,n) }[/math] are simple since the only nontrivial homotopy group is in degree [math]\displaystyle{ n }[/math]. This means the only non-simple spaces are [math]\displaystyle{ K(G,1) }[/math] for [math]\displaystyle{ G }[/math] nonabelian.
Universal covers
Every connected topological space [math]\displaystyle{ X }[/math] has an associated (universal) simple space from the universal cover [math]\displaystyle{ \pi:U_X \to X }[/math]; indeed, [math]\displaystyle{ \pi_1(U_X) = * }[/math] and the universal cover is its own universal cover.
References
 |  |
