# Unnecessary property in definition of topological space

A set $X$ with a subset $\tau\subset \mathcal{P}(X)$ is called a topological space if:

1. $X\in\tau$ and $\emptyset\in \tau$.
2. Let $L$ be any set. If $\{A_\lambda\}_{\lambda\in L}=\mathcal{A}\subset\tau$ then $\bigcup_{\lambda\in L} A_\lambda\in\tau$.
3. Let $M$ be finite set. If $\{A_\lambda\}_{\lambda\in M}=\mathcal{A}\subset\tau$ then $\bigcap_{\lambda\in M} A_\lambda\in\tau$.

Let $\emptyset=\mathcal{A}=\{A_\lambda\}_{\lambda\in N}$, i.e $N=\emptyset$. Then by 2:

$$\bigcap_{\lambda\in N} A_\lambda=\{x\in X; \forall \lambda\in N\text{ we have }x\in A_\lambda\}=X\in\tau,$$

since $N$ is empty. And by 3:

$$\bigcup_{\lambda\in N} A_\lambda=\{x\in X; \exists \lambda\in N\text{ such that }x\in A_\lambda\}=\emptyset\in\tau,$$

since $N$ is empty. Then 2 and 3 implies 1.

Many books define a topology with 1,2 and 3. But I think that 1 is not necessary because I was prove that 2,3 $\Rightarrow$ 1.

Am I right?

-
Yes, you are right. But a lot of people don't like to think about empty unions and intersections, and in any case axiom 1 gets invoked separately often enough that it's worth keeping separate. –  Qiaochu Yuan May 31 '12 at 7:35
Thanks I almost think that I make a mistake. –  Gastón Burrull May 31 '12 at 7:39
Bourbaki defines topologies without 1. –  Michael Greinecker May 31 '12 at 8:08
The following questions have some discussion on the intersection of an empty collection: Existence of infinite intersection and Unary intersection of the empty set. –  Martin Sleziak May 31 '12 at 13:37
@GastónBurrull: In my version of "General Topology, Pt. I", it is the very first definition in the very first chapter. Here is the link for the place via Google books. –  Michael Greinecker May 31 '12 at 22:45

The problem is that as you formulated that $\bigcap\varnothing$ is the set of all elements $x\in X$ that for every $A\in\varnothing$ we have $x\in A$, this is satisfied by all the elements of $X$.

Note that $\bigcup\varnothing$ is well-defined in ZF since the axiom of union says it is a set, and we can prove that this set is indeed $\varnothing$. However $\bigcap\varnothing$ is not well defined, because as I remark above, it can result with the collection of "everything", which in set theory is not a set at all, and in this case - not even empty.

-
Thanks for your approach and clarification for axiomatic set theory. –  Gastón Burrull May 31 '12 at 7:46
But I think that $\bigcap \mathcal A_\lambda =X$ since every $A_\lambda$ is a subset of $X$. I don't full understand. –  Gastón Burrull May 31 '12 at 22:16
@Gastón: Take $X=\mathbb N$ and $A_n=\{n\}$ what $\bigcap\{A_n\mid n\in\mathbb N\}$? In this case it is the empty set. One would expect that $\bigcap\varnothing=\varnothing$, but in fact it is not well-defined and requires an additional "axiom" which defines exactly what is the meaning of $\bigcap A$ (much like there is an axiom telling us what is the meaning of $\bigcup A$). –  Asaf Karagila May 31 '12 at 22:19
@Gastón: Axioms simply describe in full (or so we hope) the properties we want from symbols and objects. E.g. $\bigcup A=\{u\mid\exists v\in A: u\in v\}$. On the other hand, $\bigcap A=\{u\mid\forall v\in A:u\in v\}$ or $\bigcap A=\{u\in\bigcup A\mid\forall v\in A: u\in v\}$? The two forms are equivalent *only when $A\neq\varnothing$*. This means that you need to choose one specific form and stick with it. If you define the first form then $\bigcap\varnothing$ is the whole universe, which in set theory is a problem. In topology a bit less. –  Asaf Karagila May 31 '12 at 22:28
@Gastón: I don't know. I'm sure that if you try hard enough you can come up with something. What would that be good for? I don't know. It is much easier to add this seemingly-superfluous axiom, and say that for "the intersection of two open sets is open". –  Asaf Karagila May 31 '12 at 22:52

Yes, you’re right. However, it’s more convenient to include (1). First, the fact that $\varnothing$ and $X$ are both open sets is important enough to be worth emphasizing. Secondly, many people are a bit uncomfortable with the union or intersection of an empty collection, just as many are a bit uncomfortable with the sum or product of the empty collection of real numbers. If you include (1) as part of the definition, you don’t have to deal with this awkwardness. This is especially important when you’re teaching elementary topology: most students at that stage definitely have trouble with the union and intersection of an empty collection.

Correction: I accidentally inverted one negation mentally when I thought about this the first time. You’re right about $X$, but not about $\varnothing$. Let $S=\{x\in X:\forall A\in\varnothing(x\in A)\}$; then $S$ is actually $X$, not $\varnothing$. To see this informally, ask yourself how there could be an $x\in X\setminus S$: there would have to be an $x\in X$ such that $\exists A\in\varnothing(x\notin A)$. But there isn’t any $A\in\varnothing$, so there is no such $x$, and $S=X$. (And I see now that Asaf has already pointed this out in his answer.)

-
Thanks Brian I was probably thinking that I make a mistake but I just use formal logic and vacuously for determining some truth value. –  Gastón Burrull May 31 '12 at 7:45
Suppose I have two different spaces $X$ and $Y$. Then $\bigcap \emptyset$ can't be both $X$ and $Y$, since $\bigcap \emptyset$ does not have any sort of extra parameter in it for the space. So in general there is no reason to assume that $\bigcap \emptyset = X$. This is independent of any set-theoretical difficulties with the empty intersection; assuming the empty intersection is defined, it can only be one thing. –  Carl Mummert May 31 '12 at 11:28
@Carl: Perfectly true, but $\{x\in X:\forall A\in\varnothing(x\in A)\}$ is not quite the same animal as $\bigcap\varnothing$, and Gastón was interested in the former. –  Brian M. Scott May 31 '12 at 11:30
@Brian M. Scott: $\bigcap \mathcal{A}$, for example stated in bullet 3 at the top of the question, depends only on $\mathcal{A}$, not on some other parameter $X$. The computation of $\bigcap \mathcal{A}$ lower down isn't correct for that reason. –  Carl Mummert May 31 '12 at 11:35
@Gastón Burrell: the underlying set theory defines $\bigcap B$ when $B$ is any set (or leaves it undefined). For any space $X$, looking at $\bigcap \emptyset$, every $Z \in \emptyset$ is a subset $X$, but $\bigcap \emptyset$ can be equal to at most one space, not to all of them. –  Carl Mummert Jun 1 '12 at 2:33

I don't know if there's still interest in this thread, but I'm going to answer anyway.

As Asaf points out, $\bigcap \emptyset$ may not exist, and it certainly doesn't equal $X$. The problem occurs because subsets don't remember the larger set they were cut from. However, this is a quirk of how subsets are defined. And, the problem can be avoided by redefining the meaning of "subset." This will allow us to rewrite the definition of a topological space.

Firstly, lets agree that by "function", we will mean an ordered triple $(f,X,Y)$. Then we can define that a subset of $X$ is a function $A : X \rightarrow 2,$ where $2 = \{0,1\}.$

Now for a bit of notation. As shorthand for $A(x)=1$, lets write $x \propto A,$ which can be read "$x$ is an element of $A$."

Lets also write $A \diamond X$ to mean that $A$ is a subset of $X$. Note that the subset relation is no longer transitive, so we also need a containment relation. So if $A,B \diamond X$, lets write $A \subseteq B$ in order to mean that for all $x \in X$ it holds that if $x \propto A$, then $x \propto B$.

Also, lets write $2^X$ for the powerset of $X$. Formally, we define $$2^X := \{A : X \rightarrow 2 | A \mbox{ is a function}\}.$$

Thus $A \diamond X$ if and only if $A \in 2^X$.

Finally, lets write $A = \{x \in X | P(x)\}$ in order to mean that $A \diamond X$, and that $x \propto A$ iff $P(x)$.

Given these conventions, we can define the intersection of $\mathcal{A} \diamond 2^X$ as follows.

$$\bigcap \mathcal{A} = \{x \in X|\forall A \propto \mathcal{A} : x \propto A\}$$

Unions can be defined similarly.

Finally, the payoff: letting $\bot$ denote the least subset of $2^X$, and letting $\top$ denote the greatest subset of $X$, we see that

$$\bigcap \bot = \top.$$

We're now in a position to rewrite the definition of a topological space.

A set $X$ with a subset $\tau \diamond 2^X$ is called a topological space if:

1. For all $\mathcal{A} \subseteq \tau$ it holds that $\bigcup \mathcal{A} \propto \tau$.

2. For all finite $\mathcal{B} \subseteq \tau$ it holds that $\bigcap \mathcal{B} \propto \tau$.

-
is a different approach of subsets that ZF? –  Gastón Burrull Apr 7 '13 at 18:58
Actually, this can be formulated in ZF just fine. They're non-standard definitions, but thats all. –  goblin Apr 7 '13 at 23:10