Homepage › Solution manuals › Walter Rudin › Principles of Mathematical Analysis › Exercise 2.29
Exercise 2.29
Exercise 29: Every open set in is the union of an at most countable collection of disjoint segments.
Answers
Let be the open set in question. We know that the collection consisting of all segments of the form , , , is a countable basis for .
Let be the subcollection of sets of that are contained in . Let be the union of all sets such that intersects a segment in that contains . It is clear that is a segment, , and that if then either or they are disjoint.
The collection covers , and since is separable, it can be reduced to a countable subcover . It is then clear that has the desired properties.
Comments
Let be an open set in . Suppose and (without loss of generality, assume ) are in the same segment if and only if . Then every point of must lie in some segment, and all these segments are disjoint. Since contains a countable dense subset (for example, ), we can choose one point from each segment that lies in this dense subset. This shows that the number of segments is at most countable.