Bài tập 3, § 2

Cho (I_n) là một dãy vô hạn các khoảng mở rỗng trong R sao cho $\overline{I}_n \cap \overline{I}_m = \varnothing$ với m ≠ n. Chứng minh rằng phần bù của hợp của các I_n là một tập hợp hoàn hảo (Chương I, § 2, no. 6); đặc biệt, tập hợp tam phân của Cantor là hoàn hảo.