Last summer our (now) Academic Secretary Stijn Hanson organised a small study group on Topology, and as part of this I gave a few talks. I thought I would share more information on this area as it is very insightful in characterizing many of the most important aspects of the general notion of space, and continuity, and highly recommended to those with an interest in Algebra or Analysis. So, starting with this introduction, I will be writing a series of articles on two of my favourite topics, Metric spaces and Topology.
Part 1: Meet the spaces
Firstly, for the uninitiated, I will briefly introduce Metric and Topological Spaces. Both are both abstractions of our common notions of space (a.k.a. n-dimensional Euclidean space, ), with Topological Spaces capturing the notion of continuity, and closed and open sets, whereas Metric Spaces center around the notion of distance.
Metric Spaces
A Metric Space is a non-empty set assigned a map , called a Metric on , which denotes the distance between two points. We will write this as . The map must satisfy the following 3 properties of distance:
- (faithfulness)
- (symmetry)
- (triangle inequality)
We can see the intuition for these by looking at the example of 2 dimensional Euclidean space, that is, under the metric,
Faithfulness simply says that that the distance from a point to itself, and if the distance between two points is equal, then they are infact the same point. Symmetry says that when we talk about the distance between two points, it does not matter in which order we specify them. The triangle inequality is a bit more interesting, and is based on the fact from elementary geometry that the length of the hypotenuse of any triangle is less than or equal to the combined length of the other two sides. It also generalise the ubiquitous triangle inequality of Real Analysis: .
Topological Spaces
Topological spaces arise from the realization that many useful properties of space depend not on distance but a notion of open and closed sets, and are defined as follows.
A Topological Space is a non-empty set along with a system of subsets of , such that
- is closed under union:
- is closed under finite intersection:
We write this as . We call every set open, and closed.
We can see how this definition arises by looking at open and closed sets in and other metric spaces. Where we define the open ball of radius around as
and the closed ball of radius around as
In the open ball is simply the open interval , whereas the closed ball is simply the closed interval , and in general the open and closed balls play much the same role as these two types of intervals do in Real Analysis.
It can also be seen that in that the open ball is just a circle of radius centred at excluding its boundary, whereas the closed ball is just a circle of radius centred at including its boundary.We can extend this to a general definition of an open set in a metric space by saying that all open balls are open, and that any union of open sets is open. In general, a set is closed in a metric space if its complement is closed.But then the open sets of a metric space form a topology,
Notes and Sources
If you are interested in looking further into the topic, the notes from the original study group are below:
- Continuity in topological spaces and topological invariance
- Convergence of Sequences and Nets in Metric and Topological spaces
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License. These notes and the article were based upon:
- This wonderful paper by Stijn Vermeeren (not to be confused with our Stijn): http://arxiv.org/abs/1006.4472
- Wilson A. Sutherland's Introduction to Metric and Topological Spaces
- Gert K. Pedersen's Analysis Now
If you like these topics then you should look at the following York courses: