Bourbaki

Exercise 12, § 8

General Topology, IV, p. 63

Bourbaki marks this one as harder than the rest.

Deduce from Exer. 11 that: a) If AA is a compact subset of R\mathbf{R}, there exists a continuous mapping of the Cantor triadic set KK onto AA (take for the A(s)A(s) the intersections of AA with suitably chosen intervals). b) If moreover AA is perfect and totally disconnected, it is homeomorphic to KK (same method, proceeding so that if s1s_1 and s2s_2 are two distinct sequences having the same number of terms (equal to 0 or 1), one has A(s1)∩A(s2)=∅A(s_1) \cap A(s_2) = \varnothing).

Solution

No solution has been written yet.

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.