Simple connectedness

Semilocal simple connectedness

A topological space 𝑋 is called semilocally simply connected iff every π‘₯ βˆˆπ‘‹ has an open neighbourhood π‘ˆ βŠ†π‘‹ so that every continuous loop in π‘ˆ is null-homotopic in 𝑋, #m/def/topology i.e. if πœ„ :(π‘ˆ,π‘₯) β†ͺ(𝑋,π‘₯) is the natural inclusion then πœ‹1πœ„ :πœ‹1(π‘ˆ,π‘₯) β†’πœ‹1(𝑋,π‘₯) is the trivial homomorphism.

Properties


tidy | en | SemBr