Definition of a Topological Space

[Jamma]

Just a small (and, really, quite useless) little nugget here:

In the definition of a topological space, we require that arbitrary unions and finite intersections of open sets are open. We also need that the whole space and the empty set are also open sets.

However, this last condition is actually redundant - the empty union is empty and, in the context of subsets of some set, the empty intersection is the whole set, so that the whole space and the empty set are open is actually implied by the first two properties!

Of course, I wouldn't suggest not including the last condition in the definition when teaching topology, just thought it was interesting to point out :)

 

[Matterwave]

Isn't the empty intersection still the empty set? You mean to say $$\emptyset\cap\emptyset=S$$? (Where S is the whole set)

 

[electroweak]

I think the OP means "intersection over no sets".

A point x belongs to an intersection if and only if it belongs to each of the sets over which the intersection is taken. If the intersection is over no sets, there are no conditions to check. The statement "x belongs to the intersection" is then vacuously true.

 

[Jamma]

Exactly.

An arbitrary union indexed over some set is the set of points x which have the property that they belong to one of the indexed sets. Hence, the empty union is always empty.

The empty intersection is a little more troublesome in the general context. As you say, the condition is vacuously true, so you get issues with Russell's paradox and so on. These are all fixed if in the context of a universe, or if you are talking about subsets of a particular set (e.g. the set of elements in your topological space).

http://en.wikipedia.org/wiki/Intersection_(set_theory)#Nullary_intersection

 

[blue_raver22]

I appreciate the attention to detail and the desire for precision in definitions. While the last condition may seem redundant, it is important to include it in the definition in order to ensure clarity and avoid any potential confusion. Additionally, having all three conditions explicitly stated allows for easier comparisons and discussions of different topological spaces. In the grand scheme of things, it may seem like a small and useless nugget, but in mathematics, even the smallest details can have significant impacts.