Bourbaki

Exercise 5, § 4

Tag 03WZ, permanent. Cite it as [Bourbaki, Tag 03WZ].

Algebraic Topology, I, p. 146

Let B be the Alexandroff compactification of the space N×]0,1[\mathbf{N}\times ]0,1[ and let oo be its point at infinity (“Hawaiian earring”).

a) Prove that the space B is connected, locally connected, and locally connected by arcs.

b) Let (rn)n∈N(r_n)_{n\in\mathbf{N}} be a strictly decreasing sequence of real numbers tending to 0. For every n∈Nn\in \mathbf{N}, denote by CnC_n the circle of the numerical plane with center (rn,0)(r_n,0) and radius rnr_n; let P be the union of the CnC_n. Prove that B is homeomorphic to P and that every homeomorphism of B onto P maps the point oo onto the origin of the plane.

c) For n∈Nn\in \mathbf{N}, denote by Pn=C0∪⋯∪CnP_n= C_0\cup \cdots \cup C_n and fnf_n the unique mapping of P into PnP_n such that fn(x)=xf_n(x) =x for x∈Pnx\in P_n and fn(x)=0f_n(x) = 0 otherwise. Prove that fnf_n is continuous.

Let E and E′E' be coverings of P. Prove that the canonical mapping MorP(E′,E)→_P(E',E)\rightarrow lim⟶n\longrightarrow_n MorP(EPn′,EPn)_P(E'_{P_n},E_{P_n}) is a bijection.

Let E be a covering of P; prove that there exists n∈Nn\in \mathbf{N} such that E is isomorphic to fm∗(EPm)f_m^*(E_{P_m}), for every integer m⩾nm\geqslant n.

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.