9
$\begingroup$

For convenience, let $X$ be our space.

Specifically, can anyone name a few desirable properties or theorems that would fail if $X$ weren't required to be open? More generally, is there a part of topology that would completely fall apart?

It seems to me that we mainly want closure under arbitrary unions and finite intersections, which appears to be the more natural part of the definition (unlike "forcing" $\varnothing$ and $X$ to be open, which feels rather contrived). Of course, we get the empty set for free if we take an arbitrary union of nothing ($\bigcup \varnothing = \varnothing$), so that part really doesn't need to be in the definition.

Let's define a new word: A tolology on $X$ is a subset of $\mathcal P(X)$ that is closed under arbitrary unions and finite intersections. By the to(p/l)ological closure of a set I'm referring to the smallest to(p/l)ology containing it.

Let $\mathscr T$ be a topology on $X$ and consider $\mathscr T' = \mathscr T \setminus \{X\}$. If $\bigcup \mathscr T' = X$, then closure under arbitrary unions forces us to throw $X$ back in anyway, so the topological closure coincides with the tolological closure, nothing interesting here. Otherwise (this is what bothers me), we have $\bigcup \mathscr T' \subsetneq X$, then $\mathscr T'$ is still closed under arbitrary unions and finite intersections, so it's a tolology but not a topology. But throwing in $X$ adds nothing to the richness of the to(p/l)ology at all.

In fact, let's say $\bigcup \mathscr T' \subsetneq X$. Then the topological closure of $\mathscr T'$ is $\mathscr T$, but we still have a pretty boring space. For, if $\left|X \setminus \bigcup \mathscr T' \right| = 1$, then our space is not $T_1$, and if $\left|X \setminus \bigcup \mathscr T' \right| \geq 2$, then it's not even $T_0$. (Actually, any $T_1$ space must satisfy $\bigcup \mathscr T' = X$ by definition, and that probably covers just about every theorem in topology.)

Since un-requiring $X$ to be open doesn't give us any fewer theorems than we already have, and those spaces whose topology and tolology are different are as uninteresting as it gets, why can't we replace the definition of topology with that of tolology for simplicity's sake?

The only argument I can think of against this is that the first Kuratowski closure axiom says $\overline \varnothing = \varnothing$, so $\varnothing$ is closed, which means $X$ is open. But why do we need that first axiom?

  • 0
    An afterthought: products seem to go really bad...2012-06-14

7 Answers 7

10

I think that it is reasonable to expect that a constant function from any space to any space would be continuous, and this of course true if and only if the all space is an open set.

Edit: I just realized that more is true: Suppose $X$ is a space in which $X$ is not open. Then there are no continuous maps from $X$ to spaces in which the all space is open, because if there is such a map $f:X\to Y$, then we must have $f^{-1}(Y) = X$ is open, which is false.

  • 0
    @anonymous: OK, I misunderstood your use of "all". But quantifying over all maps to all possible spaces is strange; it would be clearer to say "the constant function from $X$ to a one-point topological space is continuous if and only if $X$ is open in $X$, and in this case ($X$ is a topological space so) any constant function on $X$ is continuous." It could still be true (for some $Y$) that all constant functions $X\to Y$ are continous without $X$ being open in $X$.2012-06-14
6

You get $X$ for free from closure under finite intersections: $\varnothing$ is a finite collection of open sets $-$ it’s certainly finite, and it doesn’t contain any non-open sets!) $-$ and

$\begin{align*} \{x\in X:x\in\bigcap\varnothing\}&=\{x\in X:\forall S\in\varnothing(x\in S)\}\\ &=\{x\in X:\forall S(S\in\varnothing\to x\in S)\}\\ &=X\;. \end{align*}$

But quite apart from such technicalities, carrying along the dead weight of points in $X\setminus\bigcup\mathscr{T}'$ would unnecessarily complicate the statements and proofs of a large enough number of results to be a real nuisance. And there are areas of mathematics in which spaces that aren’t $T_1$ are of real interest.

  • 2
    @chester: Your first comment is almost certainly wrong: any argument that contains something like ‘Let $x\in X$ be arbitrary’ is very likely to need modification: there’s a fundamental distinction between points that have nbhds and points that don’t. It’s perfectly true that non-$T_0$ spaces are rather seldom dealt with, but I have run into applications of them.2012-06-14
6

A tolological space $(X,\mathscr T')$ would be exactly a topological space $(X',\mathscr T')$ with $X'=\bigcup \mathscr T'$ plus a set $S=X\setminus X'$ of points not contained in any open set. (Which points need to be distinguished from the possible points of $X'$ not contained in any open set except $X'$.) The tolology says nothing about the points of $S$, and exactly because this is pretty boring one gains very little by allowing the possibility of such points; they will just possibly get in the way for some arguments. And if you argue that most interesting statements require separation axioms rather stronger than requiring every point to be contained in some open set, then this is not really an argument against including the weaker version among the basic axioms of topology.

If you take any subset $X$ of a topolgical space $T$, and $\mathscr T'$ is the part of $\mathcal P(X)$ consisting of sets that are open as subsets of $T$, then $(X,\mathscr T')$ is a tolological space, so you still can study these beasts in the context of topological spaces if you like.

3

Throwing out the axiom that $X$ is open might simplify the axioms a bit, but it might complicate the statement and proofs of a great many theorems. Admittedly, it will be a minor complication, but multiplied over a huge number of results it would be a major pain in the posterior. And all that for no actual gain, as the extra generality is really quite trivial.

  • 2
    I think it is more accurate to say it only complicates statements and proofs of theorems that *might possibly* involve non-$T_0$ spaces. And that is a much bigger class than those that *explicitly* mention such spaces.2012-06-14
0

I have seen consideration of Kuratowski "closure" axioms. Omit the one that says the closure of the empty-set is empty, and you get an alternate to topological space. (So that the whole space may not be open.) As I recall, the corresponding change when you consider convergence of nets is merely that you allow an empty directed set. The set of limits of the empty net is then that closure of the empty set.

For open sets, we have: if $A,B$ are open then $A \cap B$ is open. But it does not follow that any finite intersection of open sets is open. Merely that any finite intersection of one or more open sets is open... The intersection of zero open sets need not be open.

0

There is a point of view where what is important about topology is precisely the open sets -- points are only an artifice to make it easier to talk about spaces, open sets, and functions easier to talk about. From this point of view, having extra points which are completely and utterly separate from the open sets is rather unnatural.

One can even eschew points entirely and talk about frames and locales. This is whimsically called "pointless topology". There is some reason to believe that this might gives a better notion of topology than the usual one.

0

Some pragmatic issues: There would be questions about topologies defined through their closed sets. I would find it much more difficult to prove that the spectrum of an integral domain is irreducible. There is also a beauty to the spectrum having both the open and the closed semantics. You now now create subspaces with less well-structured set systems, and you'd have to check whether you can create a subspace topology that preserves the open/closed subspace distinction. If you can, does it provide descriptive value? Is it worth losing the generation of structure imposed on taking a subset as a subspace? Discrete subgroups will get iffy.