Semi-locally simply connected
|
|
In mathematics, in particular topology, a topological space X is called semi-locally simply connected if every point x in X has a neighborhood U such that 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. That is, every loop in U can be deformed to a point. This is true of the 'best' spaces such as manifolds and simplicial complexes.
Evidently, a space that is locally simply connected is semi-locally simply connected. An example of a space that is not semi-locally simply connected is the Hawaiian earring: the union of the circles in the Euclidean plane with centers (1/n, 0) and radii 1/n, for n a natural number. Give this space the subspace topology. Then all neighborhoods of the origin contain circles that are not nullhomotopic.
The property of semi-locally simple connectivity is weaker than that of local simple connectivity. To see this, consider the cone on the Hawaiian earring. It is contractible and therefore semi-locally simply connected, but it is clearly not locally simply connected.
In the theory of covering spaces, a space has a universal cover if and only if it is path-connected, locally path-connected, and semi-locally simply connected.