Hello and welcome to my first post! I recently revisited a question from an analysis qualifying exam that explored the following:

Do continuous functions defined on closed and bounded subsets of infinite dimensional vector spaces achieve their extrema?

What I think makes this question interesting is that it probes one of the most central results in a first year analysis course regarding the notion of compactness and shows that, in the infinite dimensional setting, characterizing compactness gets a bit tricky (or at least trickier than in Euclidean space). Before we answer this question, let’s gather some important results regarding compactness in and Banach spaces.

Let’s first introduce the most general definition of compactness which is presented through the lens of open covers. A subset is compact if and only if every open cover of has a finite subcover that contains , i.e. there exists a finite subset of indices : One can think of compact sets as the continuous analogue of finite sets. While most compact sets we will face in the wild are infinite in cardinality, they are finite in the sense that we can cover them with finitely many open balls. These open balls are the continuous analogue of discrete points. In essence, compact sets can be described using only a finite amount of information and this property can be exploited to give some nice results.

While this definition is important, it will not be the most useful for our purposes. Instead, we will use what is known as sequential compactness: a subset is (sequentially) compact if and only if every infinite sequence in has a convergent subsequence. Note that this definition gives a different flavor of compactness. In a nutshell, it states that a compact set does not allow any infinite sequence to escape from its limit points. Of course, there are settings in which these definitions are not equivalent, but we will be restricting ourselves to Banach spaces in this discussion.

So why would we care whether a set is compact? Well as alluded to earlier, compact sets behave as nearly finite objects and exploiting this structure can be extremely useful. A central result regarding compact sets is the following: any continuous function defined on a compact domain achieves its extrema. That is, if is continuous and is compact, then there exists an :

Hence, characterizing compact sets is an important task. With this in mind, we present the simplest characterization of compact sets in (or any finite dimensional vector space over the field ).

Heine-Borel Theorem:

A subset is compact if and only if it is closed and bounded.

Ex 1: We will prove that the unit sphere is compact using the Heine-Borel Theorem. Let be defined by . Note that i.e. the unit sphere is the pre-image of the closed set under the continuous map . Hence is closed. It is also clearly bounded, so by the Heine-Borel Theorem, it is compact.

It is important to note that, even in the more general Banach space setting, any compact set is closed and bounded. Hence the power in Heine-Borel lies in the backwards implication in which any closed and bounded set is compact in . With this in mind, a natural inquiry is whether the backwards implication holds true for infinite dimensional vector spaces. Unfortunately, we will see that this is not the case.

Ex 2: Consider the vector space of absolutely summable sequences endowed with the -norm. That is, consider the space

We just saw that the unit sphere in is compact using Heine-Borel. Let’s consider the “unit -sphere”, i.e. the set . This set is closed and bounded, but we will show it is not sequentially compact by exhibiting an infinite sequence with no convergent subsequence. For all , let be a sequence whose -th entry is if and otherwise and consider . Then for any , so no convergent subsequence of exists since any two distinct elements of this sequence will always be a distance apart from one another.

This example showcases the fact that closed and boundedness is no longer equivalent to compactness in the infinite dimensional setting. If that is the case, what are some examples of compact sets in ?

Ex 3: Define the set

and let be an infinite sequence in . Then any element of the sequence is of the form where each . Since is compact in , the sequence has a convergent subsequence, say . This generates a convergent subsequence of so is compact.

Ex 4: Define in the same way as in example 2. Let

Note that if we take any infinite sequence in , there are two possibilities:

If contains only finitely many elements of , there must be a constant subsequence of since it is an infinite sequence.

contains only finitely many elements of , there must be a constant subsequence of since it is an infinite sequence. Otherwise, .

In either case, must have a convergent subsequence so is compact.

In this example, our compact set had two main ingredients: a convergent sequence and its limit . While we could have simplified this example, the type of sequence we generated will be a good starting point to answer our original question: do continuous functions defined on closed and bounded subsets of infinite dimensional vector spaces achieve their extrema?

Define the function by It is a straightforward exercise to show that is a well-defined bounded linear operator and, hence, continuous. For all , define the sequence That is, the -th entry of is if and if . Then set ; is clearly bounded, but is it closed? What are its limit points and does it contain them? It turns out is vacuously closed as it does not have any limit points. We can rigorously show is closed by showing that its complement is open. First, note that for any with , we have Fix . There are two possibilities:

If , then we are done.

, then we are done. Otherwise, there exists an such that Set . Then since any distinct element with has .

In either case, is open so is closed. Finally, observe that

so but this infimum is never achieved! From this, one can easily construct an example in which the supremum is never achieved as well.

This concludes my first post! Thank you for reading. In my next post, I will discuss epsilon nets and their relation to compactness along with how they are utilized as a tool in signal recovery theory.