Posts

Showing posts from March 23, 2019

Any open subset of $Bbb R$ is a at most countable union of disjoint open intervals. [Collecting Proofs]

149 119 $begingroup$ This question has probably been asked. However, I am not interested in just getting the answer to it. Rather, I am interested in collecting as many different proofs of it which are as diverse as possible. A professor told me that there are many. So, I invite everyone who has seen proofs of this fact to share them with the community. I think it is a result worth knowing how to prove in many different ways and having a post that combines as many of them as possible will, no doubt, be quite useful. After two days, I will place a bounty on this question to attract as many people as possible. Of course, any comments, corrections, suggestions, links to papers/notes etc. are more than welcome. real-analysis general-topology analysis big-list connectedne