Bourbaki

Exercise 3, § 4

Tag 040P, permanent. Cite it as [Bourbaki, Tag 040P].

Algebraic Topology, IV, p. 462

Let BB be the set of points (x,y)(x, y) of the square [0,1]2[0,1]^2 satisfying x=0x= 0, or x=1x= 1, or y=0y= 0, or y=1y= 1, or there exists n∈Nn\in \mathbf{N} such that nx=1nx= 1. Let B1B_1 and B2B_2 be the subsets of B formed by the points (x,y)(x, y) of B for which y⩽12y\leqslant \frac{1}{2} and y⩾12y\geqslant \frac{1}{2} respectively.

Construct a B-space (E,p)(E, p) which is not a covering but such that the B1B_1-space (EB1,pB1)(E_{B_1}, p_{B_1}) and the B2B_2-space (EB2,pB2)(E_{B_2}, p_{B_2}) are coverings.

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.