The inclusion of into is continuous, so a connected component of is an interval in . For , openness of gives with . This interval is connected and meets , so their union is connected and maximality forces the interval into . Thus is open in . A nonempty open connected subset of the line is an open interval, allowing an infinite endpoint or the whole line. Hence every component is an open interval.
Articles by others on the same topic
There are currently no matching articles.