Semi-locally Simply Connected - Definition

Definition

A space X is called semi-locally simply connected if every point in X has a neighborhood U with the property that every loop in U can be contracted to a single point within X (i.e. every loop is nullhomotopic). Note that 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. In particular, this condition is necessary for a space to have a simply connected covering space.

Read more about this topic:  Semi-locally Simply Connected

Famous quotes containing the word definition:

    Although there is no universal agreement as to a definition of life, its biological manifestations are generally considered to be organization, metabolism, growth, irritability, adaptation, and reproduction.
    The Columbia Encyclopedia, Fifth Edition, the first sentence of the article on “life” (based on wording in the First Edition, 1935)

    The physicians say, they are not materialists; but they are:MSpirit is matter reduced to an extreme thinness: O so thin!—But the definition of spiritual should be, that which is its own evidence. What notions do they attach to love! what to religion! One would not willingly pronounce these words in their hearing, and give them the occasion to profane them.
    Ralph Waldo Emerson (1803–1882)

    Was man made stupid to see his own stupidity?
    Is God by definition indifferent, beyond us all?
    Is the eternal truth man’s fighting soul
    Wherein the Beast ravens in its own avidity?
    Richard Eberhart (b. 1904)