1

Why is it that in topology one can obtain an open set by taking the union of arbitrarily many open sets, but if one wishes to obtain an open set from intersections, one is restricted to taking only finitely many intersections?

I saw the answers to this question but I'm still confused: On definition of a topology

Thank you very much.

Hank Igoe
  • 1,408
  • If we require arbitrary intersections of open sets to be open, every $T_1$ space will have the discrete topology. Every compact $T_1$ space will be finite. The only metric that will correspond to a topology is the discrete metric. In short, the class of such structures is much more limited and much less useful than the class of topological spaces. – Brian M. Scott Jan 07 '21 at 08:49
  • 2
    In the most intuitive metric case: there must be a ball around each point for open sets. Union makes the set larger and the property holds; intersection makes the set smaller, so it may be no place for the ball after infinite steps. – A.Γ. Jan 07 '21 at 09:31

1 Answers1

2

Perhaps an example will help. Consider the standard $\mathbb{R}$. You may be aware that intervals of the form $(a,b)$ are open. But intervals of the form $[a,b]$ are not, these are closed. In particular singletons $\{a\}$ are not open.

So consider now open intervals $U_n=(-1/n, 1/n)$ for any $n\in\mathbb{N}$. You can then check that $\bigcap_{n=1}^\infty U_n=\{0\}$ which is not open.

Now of course you can invent a new definition such that an arbitrary intersection of open subsets is again open. And in fact we do consider such situations. This is also known as the Alexandrov topology. So $\mathbb{R}$ is not Alexandrov, but for example every topological space that is finite as a set is Alexandrov. But this situation is rather rare in practice and less useful then the classical definition of topology. For example $T_1$ Alexandrov space is automatically discrete. And 99% of spaces we encounter "in the wild" are non-discrete $T_1$.

We can invent definitions however we want. But the rule of thumb is: a definition is as it is, because it is useful.

freakish
  • 42,851