Hi! These next posts will begin an introduction to topology, explaining concepts, examples, and problems as I work through James Munkres’ Topology book. We introduced a topological space in our article Basic Continuity, so the beginning of this should be a bit of review for those of you who have read that article. As we begin our adventure, the questions arise:
“How did the field come about?” and “What is a topology?”
To address the first question, topology came about from the study of continuous functions on the real line and euclidean space(you should check out our article Basic Continuity for more information on that). The field then developed under geometry and set theory, analyzing the properties of spaces under continuous deformations.
For the second question,
A topology on a set is a collection of subsets of ,, with the following three properties:
- and are in .
- The arbitrary union of elements in will yield another element in .
- The finite intersection of elements in will yield another element in
We say , which is a subset of , is an open set of if U belongs to the collection .
Using this definition, we can say that and are both open. We can also say that the arbitrary union of open sets is open and that finite intersections of open sets are open.
So now that we know the definition of a topology, what are some examples?
The collection of all subsets of is a topology on : one can easily check that it follows the three properties required to satisfy our definition. This topology is called the discrete topology.
Similarly, the collection containing only and forms a topology. Once again, it can be easily shown that this collection satisfies the three needed properties of a topology. This topology is called the indiscrete or trivial topology.
Lets try to look at a slightly more complicated example.
Let be the collection of all subsets of such that – (the complement of in ) either is finite or is . Then is a topology on , called the finite complement topology. The proof that this is a topology is less intuitive than the previous two. So why not show this ourselves?
Proof: We will show that the three properties required for a topology are present in our collection.
- Since – is finite and – is all of , we know that both and are in the collection.
- We also need to show that the arbitrary union of elements in forms another element in . We can state, using DeMorgan’s Law, that
We know that the finite intersection of finite sets is finite,
– is also finite.
Applying our definition above, is in our topology
3. Now we must prove that the finite intersection of elements in forms another element in . We can write the following equation for arbitrary n, once again using DeMorgan’s Law:
= X – .
Since the union of finite sets is finite, the resulting
– is also finite.
This means that is in our topology.
Now that we’ve gotten the general feeling for a topology from these examples, we need a way to refer to these topologies. For the next post in this series, we will look at something called a basis. This basis for a topology will allow us to define a topology without listing out all the subsets in the space. Similar to the generators of group theory, these will allow us to create topological spaces from a subset of its elements.