This article needs attention from an expert in Mathematics. The specific problem is: Appears to be too technical for a non-expert.WikiProject Mathematics may be able to help recruit an expert.(June 2020)
Most “nice” spaces such as manifolds and CW complexes are semi-locally simply connected, and topological spaces that do not satisfy this condition are considered somewhat pathological. The standard example of a non-semi-locally simply connected space is the Hawaiian earring.
Definition
A space X is called semi-locally simply connected if every point in X has a neighborhoodU with the property that every loop in U can be contracted to a single point within X (i.e. every loop in U is nullhomotopic in X). The neighborhood U need not be simply connected: though every loop in U must be contractible within X, the contraction is not required to take place inside of U. For this reason, a space can be semi-locally simply connected without being locally simply connected.
Equivalent to this definition, a space X is semi-locally simply connected if every point in X has a neighborhood U for which the homomorphism from the fundamental group of U to the fundamental group of X, induced by the inclusion map of U into X, is trivial.
Most of the main theorems about covering spaces, including the existence of a universal cover and the Galois correspondence, require a space to be path-connected, locally path-connected, and semi-locally simply connected, a condition known as unloopable (délaçable in French).[1] In particular, this condition is necessary for a space to have a simply connected covering space.
The Hawaiian earring can also be used to construct a semi-locally simply connected space that is not locally simply connected. In particular, the cone on the Hawaiian earring is contractible and therefore semi-locally simply connected, but it is clearly not locally simply connected.
Topology of fundamental group
In terms of the natural topology on the fundamental group, a locally path-connected space is semi-locally simply connected if and only if its quasitopological fundamental group is discrete.[citation needed]