Hope you remember interesting properties of open sets we noticed earlier. Forget everything else, and let’s focus on those interesting properties alone.
Imagine collecting all the open sets in ! That one big collection will interestingly have these properties as we observed earlier:
- ∅, will be in that set, as we noticed that they are open. In fact, that will be the only pair of complements which are both open in this collection as we observed earlier.
- Take union of some elements in that set! We know that union of open sets will again be open, hence, it will be contained in our interesting set.
- That goes for finite intersectin of elements again – finite intersection of elements in this collection of open sets will again be in this collection!
Interesting, isn’t it? This collection seems to be “self-contained” or has a “closure” with respect to the three basic set operations! Can we find other sets like this? Let’s experiment.
Our first experiment seems to have failed! Do not be sad, or give up yet! What if we add that missing set to our collection?
That’s curious! There seems to be other collections of subsets of which satisfies this condition! But such collection – should it always be a collection of subsets of real numbers?
Well, this shows that we can find a collection that satisfies this condition for any given set! Anything with self-containing properties like this might hide some beautiful properties, so mathematicians decided to explore this “mysterious” object further – which lead to the discovery of the fantastic hero of our story here – Topological Spaces!