Bourbaki

Exercise 10, § 8

General Topology, IV, p. 63

Bourbaki marks this one as harder than the rest.

Let (dn)(d_n) be a basis sequence, an=dn/dn−1a_n = d_n/d_{n-1} (n≥1n \geq 1), (ni)(n_i) a strictly increasing sequence of integers, (bi)(b_i) a sequence of integers such that 0<bi<ani−10 < b_i < a_{n_i} - 1 for every ii. Let GG be the set of the x∈(0,1)x \in (0, 1) such that for the development ∑n=1∞un/dn\sum_{n=1}^\infty u_n/d_n of xx, or the improper development of xx when there is one, one has uni≠biu_{n_i} \neq b_i for every i∈Ni \in \mathbf{N}. Now prove that GG is a perfect totally discontinuous set, and that if ll is the sum of the lengths of the intervals contiguous to GG, contained in (0,1)(0, 1), one has 1−l=∏i=0∞(1−1ani)1 - l = \prod_{i=0}^\infty \left(1 - \frac{1}{a_{n_i}}\right).

Solution

No solution has been written yet.

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.