So in the last post I talked about wave functions being vectors that live in Hilbert space. In this post, I would like to describe the mathematics of Hilbert space, but before we do that we have to go on a journey, a journey through space(s)!
The first type of space we come across in our journey is a topological space. Say we only know about the set of natural numbers, , for now, and let’s take the following collection of subsets,:
This collection of subsets of X, is called a topology on X, and we call the pair a topological space. We call the sets in T, open sets. (Anything not in T but in X is called closed). However, T isn’t just any random collection of subsets of X; T has three very special properties. First note that and that . Secondly, if we take any union of the sets in T, we get an open set, i.e. the union is in T. Finally, any intersection of the sets in T is still in T. Since T has these three special properties, it is a topology on X. Here is another topology on X
which is called the trivial topology.
However, in the wild world of maths, we know there are many different non-empty sets. For example we have our standard sets such as and with which we can take any sort of topology that we like. Here is a topological space to mess with your mind: take and
You can prove that (X,T) is a topological space by proving that:
- and are indeed open
- The union of an arbitrary collection of open sets is open
- The intersection of a finite number of open sets is open
Once you have proved that, consider the set , is it open? Well, in our standard topology of , it is open, however, since , it is closed! Where do we get our standard topology on though? How do we define such a collection of sets to be open? Well this leads us onto our next type of space, a metric space.
Now when it comes to a metric space, we still have our large set of things, X, but instead of declaring open sets, we provide some notion of distance between two elements in the set, called a metric. A metric, d, on a metric space X is a function, such that
- (Triangle Inequality)
Note here is that the metric takes two elements from our set X (hence why the domain is ) and spits out a positive real number, a distance. The metric space is denoted as . Take for example the metric space where and the . This metric space is our standard metric on , one you would have been very used to if you have taken any sort of real analysis. However, we can use any sort of notion of distance that we like, as long as it satisfies the three axioms of the metric listed above. Another example of a metric on is which can be shown to satisfy the three axioms (try it!).
Now we would really like to know what constitutes an open set in our standard metric on , . But before we can do any of that, we have to get to know some lingo.
Since we want to keep things general for any metric space, we will introduce the lingo in terms of some general metric space with a general metric .
Imagine I pick a point that lives inside my metric space , that is . Now I want a way to distinguish between points that are close to it and those that aren’t. One way I can do this is by drawing a circle around it of radius of .
Every point inside the circle (yellow) are within distance to , specifically, . That yellow region is called the open ball centred at with radius and the way we write this is . Now for some more words.
Say I have a set .
Now there are three possible ways a point in can be related to . It can be either in (red), not in (black) or on the boundary of (pink).
The red points are interior points, which means I can find a small enough radius such that the open ball centred at the red point x, , is completely inside , that is .
The black points are called exterior points which means I can find a small enough radius such that the open ball centred at each black point, , is completely outside , that is, .
The rest of the points are called boundary points.
The set of all points inside (the interior) and all the points on the boundary is called the closure of , .
So the set is split into three parts, the interior , the exterior and the boundary. Now that we have this arsenal, we are ready to tackle what an open set is.
A set A is open if . That is, all the points of A are interior points, meaning A does not contain it’s boundary. As usual a set F is closed if it’s complement, is open in . We can now see that using our standard metric on , the set is open because it doesn’t contain its boundary.
Just like we have sets, sequences, series and functions in , we can have all the same things in any metric space X. What we want to look at now are sequences in any sort of metric space . Just like a sequence of real numbers we have a definition of convergence which states that a sequence in a metric space converges to a limit when
This just means that no matter how small I make my ball around x, I will always have other points of my sequence contained within that ball. But as usual, this definition is circular, it requires us to know what the limit is. So we have the notion of a Cauchy sequence in a metric space which is a sequence where the elements get arbitrarily close together, that is
Now we know that everything from real analysis applies to our standard metric on , so let’s keep our space as but use the metric defined previously as . Take for example the sequence , and let us see what happens between any two points in the sequence as . We know that as , so this means that as . So our sequence is Cauchy! But this means that we have a Cauchy sequence that doesn’t converge, which is very different from real analysis. So unlike real analysis, we can have sequences in our metric spaces that are Cauchy that do not converge!
This may all come as a shock to you, but I am like Morpheus and you Neo, and you have two pills in front of you. You take the blue pill, the story ends. You wake up in your bed and believe whatever you want to believe. You take the red pill, you stay in wonderland, and I show you how deep the rabbit hole goes. It’s up to you. If you take the red pill, stay tuned for my next post.
This is some very, very nice mathematics! Can’t wait to read the other parts.