Bourbaki

Exercise 1, § 5

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

Algebraic Topology, I, p. 147

Let α∈R−Q\alpha \in \mathbf{R}-\mathbf{Q} be an irrational real number and let D be the line of R2\mathbf{R}^2 generated by the vector (1,α)(1, \alpha ). Let pp be the canonical mapping of R2\mathbf{R}^2 onto R2/Z2\mathbf{R}^2/\mathbf{Z}^2. We set B=p(D)B =p(D). a) Now prove that (p−1(B),pB)(\overset{-1}{p}(B), p_B) is a covering of B.

b) Now prove that D is a connected component of p−1(B)\overset{-1}{p}(B) but that (D,pB)(D, p_B) is not a covering.

This shows that in Proposition 6 of I, p. 103, the assumption that B is locally connected cannot be removed. The mapping p:D→Bp: D\rightarrow B also provides an example of a continuous bijective mapping such that (D,p)(D, p) is not a covering.

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

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