Let be a finite collection of open discs in whose union contains a set . Show that there is a pairwise disjoint subcollection in such that Here, if is the disc of radius and center , then is the disc of radius and center .
Solution
1. Initial Setup: Let be a finite collection of open discs in whose union contains a set . We need to find a pairwise disjoint subcollection in such that .
2. Selection Process: We will construct the subcollection iteratively. Start by selecting the largest disc from . Then, for each subsequent disc , choose the largest disc from that is disjoint from all previously selected discs . This process is possible because is finite, and if multiple discs satisfy the condition, we can choose any one of them arbitrarily.
3. Termination: This selection process will terminate after a finite number of steps because is finite. Let the resulting subcollection be .
4. Proof of Coverage: We need to show that . Consider any disc that is not in the subcollection . By construction, must intersect with at least one of the discs in the subcollection . Let be one such disc with which intersects.
5. Containment in Enlarged Discs: Since was chosen to be the largest disc that is disjoint from the previously selected discs, it follows that the radius of is at least as large as the radius of . Therefore, the disc (which has three times the radius of ) will completely contain .
6. Conclusion: Since every disc is either in the subcollection or intersects with one of these discs and is contained in the corresponding , it follows that the union of the enlarged discs will cover the entire set . Hence, .