Bourbaki

Example 3

Tag 01S9, permanent. Cite it as [Bourbaki, Tag 01S9].

Topologie algébrique, chapter I, § 6. Espaces simplement connexes

For n⩾2n\geqslant 2, the sphere Sn\mathbf{S}_n (TG, VI, p. 10) is simply connected. Indeed, the sphere Sn\mathbf{S}_n is the union of two closed hemispheres homeomorphic to Bn\mathbf{B}_n whose intersection is homeomorphic to Sn−1(\mathbf{S}_{n-1}(cf. TG, VI, p. 12). For n⩾2n\geqslant 2, the sphere Sn−1\mathbf{S}_{n-1} is connected, whence the assertion.

On the other hand, the circle S1\mathbf{S}_1 is not simply connected. Indeed, the continuous mapping p:R→S1p:\mathbf{R}\rightarrow \mathbf{S}_1 defined by p(θ)=p(\theta ) = (cos θ\theta, sin θ\theta ) makes R\mathbf{R} a connected covering of S1\mathbf{S}_1 of infinite degree, hence one which is not trivializable.

Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5.4, against glossary version 34. Not checked by a person.