(This document was typeset in unicode. This may cause problems for some people. A PDF is available as an alternative for them.)

*When I was originally introduced to topology, I simply accepted most of its properties as generalizations of ℝⁿ. I didn’t give it any serious thought until about a month ago when I read an excellent thread on math overflow about it. Since then, its been one of the things I often find myself thinking about when I’m trying to fall asleep. Given the amount of thought I’ve put into it, and the fact that I feel I should be answer questions like this about topology, given that it’s one of the areas of math I spend a lot of time on, I thought I’d write up my thoughts. They lent themselves well to being written in the form of an introduction to topology, so that’s what I did.*

*(After finishing this essay I decided to reread the MO thread. The first comment — not answer, a comment — mentions the Kuratowski closure axioms and closure axioms sounded like one might call what I came up with. Sure enough, they’re the exact same, down to the ordering. Are all attempts to make mathematical contribution’s this frustrating? I’m posting this because of the amount of work I put in, but there’s nothing new here.)
*

Consider 1 with respect to [0,1). It isn’t part of the set, but in a sort of intuitive sense it almost is. And knowing which points are `almost in’ a set gives us lots of information, for example notions of boundaries and connectedness. Topology is based on us formalizing this notion of `almost in’ and once we formalize it, we can consider non-standard notions of being `almost in’ or apply these ideas to spaces that we don’t typically associate them with.

We call points that are in or `almost in’ a set the `adherant points’ of a set. We call the set of adherant points of a set the closure of that set; the closure of a set s is denoted as cl(s) or ̄s. From the closure, we can define lots of other niceties: the interior of a set, int(S) = cl(S ⌐) ⌐, or the boundary, bd(S) = cl(S) ∩ cl(S ⌐). Notice that we can also define closure in terms of either of these (like so: cl(S) = int(S ⌐) ⌐ = S ∪ bd(S)) and, as such, they all contain the same information.

We call a set which is its own closure is called a closed set. We call the complement of a closed set an open set. One can think of a closed set as one which contains its own boundary, and an open set as one which does not contain its own boundary.

At this point, closure could be any map from the power set (set of all possible subsets) of our space to itself. Obviously, many of these are nonsensical, for example cl(S) = ∅ would mean that points in a set aren’t adherant points of that set! So we’re going to put four restrictions on closure — they’re very important because they result in restrictions on our idea of a generic topological space and they’re the only restrictions we’re going to put on it.

**Restriction 1**: This one has been stated informally when we introduced the notion of a closure: points of a set are adherant points of that set, or S ⊆ cl(S).**Restriction 2**: The closure of a set is closed, or cl(cl(S)) = cl(S). This can be thought of as meaning that adding the boundary of a set to itself doesn’t create a new boundary.**Restriction 3**: The closure of the union of two sets is the union of the closures. This can be thought of as meaning that the union of two sets have a boundary that is the subset of their original boundaries.**Restriction 4**: The empty set has no adherant points, or cl(∅) = ∅. Alternatively, ∅ is closed.

Corollary of restriction 3: The closure of a big set contains the closure of a smaller set, or A ⊆ B → cl(A) ⊆ cl(B). **Proof**: cl(B) = cl((B∩A)∪(B∖A)) = cl(B∩A) ∪ cl(B∖A) = cl(A) ∪ cl(B∖A) ⊇ cl(A). ∎

These restrictions are equivalent to the following restrictions on interior:

**Restriction 1**: The interior of a set is a subset of the original set, or int(S) ⊆ S.**Restriction 2**: The interior of a set is open, or int(int(S)) = int(S)**Restriction 3**: The interior of the intersections of two sets is the intersection of the interiors, or int(A∩B) = int(A)∩int(B).**Restriction 4**: The interior of the space is the space, or int(X) = X.

Restrictions 2 and 4 easily map to restrictions on boundary as well. Restriction 2 is equivalent to boundaries being their own boundary while restriction 4 is equivalent to the empty set (or, equivalently, the entire space) having no boundary.

These restrictions are enough to allow us to define the closure of a set in terms of closed sets as the minimal closed set around it. **Proof**: Let F be an arbitrary closed super set of S. By (corollary of 3), cl(S) ⊆ cl(F) = F. Thus cl(S) is a closed (by (2)) super set (by (1)) of S that is a subset or equal to any closed super set of S. Therefore a minimal closed super set of S exists and is cl(S). ∎

We can also define cl(S) in terms of open sets. Let us define cl'(S) as the set of points x such that all open sets containing S have a non-empty intersection with S. I claim that cl(S) = cl'(S).

**Proof**: It suffices to show that x ∈ cl(S) iff x ∈ cl'(S). We break this into two separate claims, implication in each direction.

**x ∈ cl(S) → x ∈ cl'(S)**: Note that this is equivalent to x ∉ cl'(S) → x ∉ cl(S), which is fairly easy to see. If not every open set containing x has a non-empty intersection with S, then there is an open set containing it with an empty intersection with S; its complement is a closed super set of S that does not contain x, contradicting x belonging to the minimal closed super set of S.

**x ∈ cl'(S) → x ∈ cl(S)**: Again, we use proof by contradiction (ie. prove x ∉ cl(S) → x ∉ cl'(S)). If x does not belong to the minimal closed super set of S, there is a closed super of set of S not containing it; its complement is an open set containing x which does not intersect S, and thus x ∉ cl'(S). ∎

While the definition in terms of closed sets is simpler, the definition in terms of open sets reveals a lot more about what the closure actually is, and is a lot more powerful to use in proofs.

If we were working in a metric space (that is, a space with a notion of distance between its elements), one could naturally define the notion of x being in the closure of S as there being a point in S that is arbitrarily close to x, that is x ∈ cl(S) iff (∀ε > 0)(∃ y ∈ S)(d(x,y) < ε). Requiring that there is an element of S in every open set containing x, that is (∀ u, u open, x ∈ u)(∃ y ∈ S)(y∈u) or alternatively (∀ u, u open, x ∈ u)(u∩s ≠ ∅), is the topological equivalent of this.

(This collection of open sets is an example of a filter, an important tool in topology. Checking for every open set may seem tedious, but you can usually find a much smaller number of sets that it suffices to check because all other open sets are super sets of them. For example, in ℝⁿ, it suffices to check the balls of radius 2⁻ʲ about a point, where j ∈ ℕ. This is an example of what we will later call a countable local basis; spaces with a countable local basis around every point are called first countable.)

Since open sets containing an element x are an idea we will be using a lot, we often call them neighborhoods of x.

I previously claimed that the definition of a closure in terms of open sets was very powerful. I will now demonstrate this by proving some important properties of closed sets through it.

It is easy to see, from our original restrictions, that the intersection of a collection of closed sets 𝒞 is closed: cl(∩𝒞) ⊇ ∩𝒞 by (restriction 1) and (∀C∈𝒞)(cl(∩𝒞) ⊂ cl(C) = C) (by restriction 2) which implies cl(∩𝒞) ⊆ ∩𝒞. Therefore, cl(∩𝒞) = ∩𝒞 is closed. ∎

But a proof that offers deeper insight into the nature of closed sets is: Suppose x ∈ cl(∩𝒞). Then for all neighborhoods of x, there is an element in the neighborhood which is in all elements of 𝒞. Then, for any particular element C of 𝒞, x ∈ cl(C) since all neighborhoods of it contain some element of C. Since 𝒞 is a collection of closed sets, C is closed and cl(C) = C. Therefore x ∈ C, for all C ∈ 𝒞. Therefore x ∈ ∩𝒞. Therefore cl(∩𝒞) = ∩𝒞. Therefore, ∩𝒞 is closed. ∎

While it is obvious by finite induction on restriction 3 that the union of finitely many closed sets is closed, the question is left hanging whether this is true for a general collection of closed sets 𝒞. Our definition in terms of open sets answers this question: suppose x ∈ cl(∪𝒞) and let C₁, C₂, C₃… ∈ 𝒞. It is possible that x ∈ cl(∪𝒞) simply because a couple of its neighborhoods intersect C₁, a few others C₂, and so on, but don’t all intersect any element of 𝒞. Thus, there are a few ways to resolve this. Obviously, we could just give up on cases where 𝒞 is finite, but the restriction of being locally finite (ie. every point has an open set that intersects only finitely many elements of 𝒞) on points not in any element of 𝒞 would also suffice.

**Proof**: First note that the fact that the union of finitely many closed sets is closed is equivalent, by De Morgan’s Laws, to the finite intersection of opens sets being open.

Let x ∈ cl(∪𝒞). We wish to show that x ∈ ∪𝒞, thereby proving that cl(∪𝒞) = ∪𝒞 and thus that ∪𝒞 is closed. If x is in an element of 𝒞, then x ∈ ∪𝒞 and we’re done, so suppose not. Then by local finiteness, there is neighborhood of x that intersects only finitely many elements of 𝒞. Let us call these C₁, C₂, C₃… Cᵢ. Suppose Cⱼ doesn’t intersect all neighborhoods of x; let U be an neighborhood that it doesn’t intersect, then given V, an open set that intersects Cⱼ, we can find an open (as proven in the preceding paragraph) subset of V that is not intersected by Cⱼ, U∩V. Since Cⱼ doesn’t intersect it, another element does and thus we may safely remove Cⱼ from our finite collection and still have it intersect all neighborhoods of x. We repeat this until we only have one set (which must, then, intersect all neighborhoods of x) or all the sets remaining intersect all neighborhoods. Either way, x is an adherant point of the remaining sets, of which there is at least one, and since they’re closed, in them. Thus, x ∈ ∪𝒞 and ∪𝒞 is closed. ∎

Two particular sets we should consider are the empty set, ∅, and the space, X. By restriction 4, cl(∅) = ∅ and thus ∅ is closed. On the other hand, cl(X) ⊇ X and it isn’t possible for a set to be a super set of X and still be in our space, X is closed.. Since ∅ and X are complements and are both closed, they are both open.

Thus ∅ and X are examples of sets that are both closed and open. It may seem unintuitive that a set can be both closed and open, but there is actually quite a simple reason for it. A set being close means it contains its boundary, as set being open means that it doesn’t contain its boundary. Thus, a set being clopen (that is, both closed an open) means that it has no boundary and both contains and doesn’t contain it.

We are now prepared to return the question of what a topology is. At the beginning of this essay, I said that in topology we formalize the notion being `almost in’, and we did in the form of closure. But we also found four other ways of conveying the same information: interior, boundary, closed sets and open sets. While any of these can describe the topology of a space, it would be nice to agree on a standard way.

Closure, interior and boundary are ruled out for several reasons. The first is that mathematicians are generally minimalists and a function from the power set of X to itself is a far more complicated than a subset of the power set. Another reason is that describing these functions in most topological spaces is very awkward without first defining open or closed sets. This leaves us with a choice between open sets and closed sets.

While closed sets may seem, on first glance, more elegant, I hope that this essay has demonstrated the utility of open sets. This utility, combined with history, result in us using open sets instead of closed ones. (It is also worth noting that a great deal of the apparent simplicity of open sets relative to closed sets is that we focused on closure instead of interior in this essay.)

**Definition**: A topology is the collection of open sets on a space.

The restrictions we put on closure map to restrictions on the topology:

**Restriction 1**: ∅ and X are in the topology.

**Restriction 2**: The finite intersection of sets in the topology is in the topology.-
**Restriction 3**: The arbitrary union of sets in the topology is in the topology.

The normal definition of a topology on X is a collection of sets meeting these restrictions. They are equivalent to our previous restrictions.

**Proof**: We previously proved all of these to be consequence of our original restrictions on closure. We will now prove that our restrictions on closure are consequences of these, thereby demonstrating that they are equivalent.

- Restriction 1 on closure, that cl(S) ⊇ S, is a consequence of the fact that the minimal closed super set of a set is a super set.
- Restriction 2 on closure, that cl(cl(S)) = cl(S) or that the closure of a closed is closed, is a result of a closed set being the minimal closed super set of itself.
- Restriction 3 on closure, that cl(A∪B) = cl(A) ∪ cl(B), is a consequence of applying De Morgan’s Laws to restriction 2 on a topology.
- Restriction 4 on closure, that ∅ is closed follows from X being open.

Therefore, the restrictions on a topology are equivalent to the restrictions I put on closure. ∎

At this point, I think it is fairly clear that these are reasonable restrictions. The question that remains is whether we should put other restrictions on topologies. If you are new to topology, you probably have lots of other ideas as to how open and closed sets should behave. For example, that given two points you can find an open set around one not containing the other. While this is true in many spaces, and quite likely true in most spaces you’ve seen, it is not true in all spaces (look up Hausdorff distance). However, since it is quite common, we still study these spaces, calling them T₀ topological spaces. T₀ is an example of a `separation axiom’, a further restriction we place on topological spaces. There are a number of separation axioms, most notably T₀, T₁, T₂, T₃… a sequence of increasingly strong restrictions on topological spaces. Thus, when we want to study further restrictions, we just add separation axioms.

(It is worth noting that some separation axioms remove the necessity of certain restrictions. For example, if we accept T₁, that any point can be separated from any other point by an open set, we no longer need restriction 4 on closure, ∅ is closed. Proof: A point is in the closure of ∅ iff all neighborhoods of it have a non-empty intersection with ∅. By T₁, all points have a neighborhood and since the intersection of any set with ∅ is empty, are not in cl(∅). Ergo, cl(∅) = ∅ and ∅ is closed. ∎)

I’d like to end this essay by describing where topological spaces stand relative to other spaces. A Hilbert space gives us an idea of angles and distance. A Banach space gives us a notion of magnitude and thus a kind of uniform distance (translation invariant, etc) — it can be generated easily from an inner product space. A metric space gives us a notion of distance and can be created from the norm of a Banach space. Finally, a topological space gives us a notion of adhering — of boundaries, interiors, and so on — and can naturally generated from a metric space: a set is open if it can be created as a union of open balls, an open ball of radius r about a point x being {y ∈ X| d(x,y) < r}.

Still, it may seem a bit strange to study the bottom of the latter. The weakness of topological spaces has a very positive side to it, however: everything about topological spaces ripples upwards.

April 19, 2011 at 01:37 |

“Are all attempts to make mathematical contribution’s this frustrating?”

That feeling is so-o-o familiar…😀 Yes, you are going to make dozens of amazing mathematical discoveries, all of which will turn out to be already known, before you finally find the one which is really new. But at least you haven’t discovered integration, like this guy did:

http://wasatchprotocol.wordpress.com/2010/12/08/physician-pushes-scientific-boundaries-by-discovering-integration/

If I remember correctly, before modern axioms of the topological space solidified in their current form, they were working with “neighborhood spaces” which were the exactly same thing, but with a different set of axioms, which was at the same time more ackward and more intuitive than the one we use now. I don’t remember the details right now, but I’ve read about it in the well-known book by Seifert. I am pretty sure you can find it if you don’t already have it.

Nitpicking about the last paragraph: the huge difference between Banach and metric spaces is that Banach must be linear. (or vector space, whichever term you prefer.) In the general metric space it is impossible to define even the concept of a straight line, while in the linear space one doesn’t even need the norm to do that. Even without a norm, linear space is a relatively rich object.

What I find challanging, is to visualize a topological space. Some spaces are difficult to visualize because they are much more complicated than the boring old R^3 we have used to: infinitely dimensional spaces, curved manifolds and the like. But some other spaces are hard to visualize because they are much more poor than ours – take matric space, for example, which doesn’t have angles or straight lines. And topological spaces are poorer still, they make metric spaces almost seem rich.

If a topological space has only finitely many elements, I always picture them as potatoes, and open sets as transparent plastic bags that contain some of those potatoes. Sometimes if you can use homeomorphism: if a space you can’t imagine is homeomorphic to the one you can, you can pretend to be working with the latter. But I don’t know any general way to do it, and that is why [general] topology frightens me.

April 21, 2011 at 16:40 |

> Yes, you are going to make dozens of amazing mathematical discoveries, all of which will turn out to be already known, before you finally find the one which is really new. But at least you haven’t discovered integration, like this guy did

haha. It is somewhat heartening that this happens to everyone.

> If I remember correctly, before modern axioms of the topological space solidified in their current form, they were working with “neighborhood spaces” which were the exactly same thing, but with a different set of axioms, which was at the same time more ackward and more intuitive than the one we use now.

I’ll have to look into those. A first search didn’t tern up much, but I can probably find Seifert’s book…

> Nitpicking about the last paragraph: the huge difference between Banach and metric spaces is that Banach must be linear. (or vector space, whichever term you prefer.

Fair enough.

> What I find challanging, is to visualize a topological space…

Yeah, I find the same thing. I’ve kind of given up on visualizing topologies beyond lots of quasi-venn-diagram things.

That said, I just started to reading about algebraic topology, and I’m kind of awed by the power of homology groups to summarize such complicated ideas. It doesn’t deal with visualization but it is… a good substitute for one, I guess? Of course, it doesn’t help with the detailed point set stuff.

April 21, 2011 at 20:45 |

I was talking about this book:

http://www.amazon.com/Seifert-Threlfall-textbook-topology-Mathematics/dp/0126348502#_

I strongly suspect you should be possible to find it in the pdf form available somewhere, if you look hard enough. It seems like a pretty good book, too.

April 22, 2011 at 13:14 |

Excellent, thanks for the reference.

> I strongly suspect you should be possible to find it in the pdf form available somewhere, if you look hard enough.

I have similar suspicions

April 23, 2011 at 17:23 |

[…] Olah: Rethinking Topology, Arithmetic Derivative Graph and […]

June 14, 2013 at 19:37 |

[…] been talking about writing a topology textbook for years. Basically since I wrote my Rethinking Topology (or a Personal Topologodicy) post 2 years ago — it’s hard to believe it’s been that […]