My question is motivated by the previous discussion 'Why is a topology made of open sets?'. While the axioms for arbitrary unions and finite intersections are without doubt essential to the concept of a topological space, the 1st axiom (the set itself and the empty set are open) seems rather technical. So, do we really need these conditions in order to build most (if not all) of the point-set-topology without significant changes? In other words, if we leave out the 1st axiom, can point-set-topology stil remain as useful and powerful in terms of what we actually need to do analysis and geometry?
Does the empty set really need to be open?
M.G.
- 7.1k
- 3
- 46
- 60