Let U R be an arbitrary open set. Then there are countably many pairwise disjoint open intervals such that U = 证明: Proof: This proposition is rather interesting, giving a complete description of any possible open set in the real line. To prove it, we will make use of ...