If one takes quantum mechanics, when they first encounter the wavefunction which is a complex-valued function, they learn that the arena in which quantum mechanics is a Hilbert space. If one goes further in order to understand what a Hilbert space is they find that it is a complete inner product space. While many physicists take advantage of this fact, they do not really interest themselves with what this means in a rigorous mathematical sense. When I first encountered this, I was unsatisfied with the so-called “definition” of a Hilbert space. So I found that I had to learn more advanced mathematics; more specifically, real analysis. To that end, the purpose of this post is to understand what the term “complete” means. To remedy any confusion of what an inner product space is, an inner product space is a vector space that equipped with an inner product .
In order to understand what completeness is, we require a couple of definitions:
Definition. Let where be a sequence of points in the metric space . A point is called a limit of the sequence of points if for any , there exists such that if ,. If such a limit exists, then we say that the sequence of points converges to the point .
What this says intuitively, is that in the sequence of points above there exists a term for which which corresponds to the point in the metric space , beyond which any later terms in the sequence will be contained in what we call an open ball which is defined to be the set given by . We can regard the term as a “boundary point”.
Definition. A sequence of points in a metric space is said to be a Cauchy sequence, if for any , there exists such that whenever .
The intuitive idea behind this concept is that suppose we take two terms in the sequence of points , we say that it is a Cauchy sequence if whenever these two chosen terms are “beyond the boundary” the distance between these two terms are within of each other in the metric space .
One important result that I am not going to prove is the following:
Theorem. If is a convergent sequence of points in the metric space , then such a sequence is Cauchy.
An important note: the converse of this theorem is not necessarily true. If the converse is indeed true, we get the following definition:
Definition. A metric space is said to be complete if every Cauchy sequence of points in the metric space converges to a point .
An example of this is that with the metric is a complete metric space. Intuitively, what this means is that given a Cauchy sequence that converges in to a real number. In other words, any possible Cauchy sequence will converge to some real number .
The next post will discuss compactness in the context of metric spaces, covers, and open covers.