7. Continuity and Compactness
≪ 6. Homework 2, Problem 3 | Table of Contents | 8. Completeness of ≫Today’s goal will be to refresh our memories of what continuous functions are, as well as some topological properties of metric spaces such as compactness and connectedenss. Then, we’ll look at how these topological properties interact with continuous functions.
Continuous Functions
You might remember from high school math that continuous functions are those whose graphs you can draw without lifting your pencil. This lends us some good intuition, but it’s not the most rigorous.
Definition 1.
Let and be two metric spaces. A function is continuous at a point if for every , there exists a such that for any such that , then . is continuous if it is continuous at each .
Put in (very loose) words, a function is continuous if it maps nearby points to nearby points. Note that this does not say that if , then ! This goes the wrong way, as it’s possible for continuous functions to take points in that are far apart to points in that are close together.
Really continuity is a statement about how interacts with the topologies of and ! This can be formalised in the following proposition, which you should be able to prove on your own.
Proposition 2.
Let and be two metric spaces, and let a function. Show that is continuous if and only if for all open sets , is an open subset of .
Proof
First, suppose is continuous. Let . Let ; we wish to show that there exists some such that .
Since is open and by definition, there exists some such that . By definition of continuity, there exists some so that: Thus , and is open.
Now suppose is open for all open . Let , and let . We wish to show that there is some such that implies .
Let , which is an open set (open balls are open in metric spaces). By assumption, is open, and clearly . So, there exists some such that . Then, we get In particular, is continuous at , and since this argument works for any , we conclude is continuous.
There’s not too much to say about this proof — it primarily consists of keeping track of all the right definitions.
Common Mistake 3.
This proposition says that the inverse image of open sets is open. It does not say that the image of an open set is open, i.e. if is open, then is not necessarily open. For example, consider (under the usual metric) via . Trust me when I say is continuous. Let , which is open; is open?
Using this last proposition, you can also show if is continuous and is closed, then is also closed. Recall from last week that closed sets contain all their limit points — perhaps this suggests that interacts with limits in some way. In fact,
Exercise 4.
Let and be metric spaces. Show that a function is continuous if and only if it preserves limits — that is, if in , then in .
Try this exercise on your own! Like the previous proposition, it mostly amounts to pushing some definitions around.
One of the most important theorems involving continuous functions is the intermediate value theorem. Its proof involves ideas of connectedness (see one of the following sections), though it’s possible to provide more elementary proofs.
Theorem 5. Intermediate Value Theorem
Let be a continuous function such that and . Then, there exists some such that .
One can state this theorem in greater generality, but it’s always possible to reduce to this case. Importantly, this only applies to functions whose domain contains an interval and whose codomain is ! Do not try to apply the theorem to arbitrary metric spaces.
I stole the following exercise from a past basic exam.
Exercise 6.
Suppose is a function that satisfies the “intermediate value property”: for each and between and , there exists some such that . Suppose additionally that for any that is closed. Prove that is continuous.
Compactness
Let’s now recall the definition of compactness:
Definition 7.
Let be a metric space. is sequentially compact if every sequence has a converging subsequence. That is, if , then there is some subsequence and some such that . A subset is sequentially compact if every sequence of elements in has a subsequence that converges to an element of .
One way to think about compact sets is that they don’t have a lot of space in them. In noncompact metric spaces (such as ), there’s enough room for sequences to “spread out” and thus not have any convergent subsequences. In compact metric spaces, on the other hand, there’s just no space for this to happen — elements of a sequence have to eventually “clump up”.
You guys have started showing that compactness can be characterised by another definition: covering compactness.
Definition 8.
Let be a metric space. is covering compact if for every open cover (where each is open and is any indexing set) there exists some finite subcover .
Theorem 9.
A metric space is sequentially compact if and only if it is covering compact.
As of today, you have not finished proving this theorem, but it’s a very useful characterisation. We’ll often say “compact” without specifying sequential or covering compactness from now on, since that’s a distinction without a difference.
You should keep both sequential compactness and covering compactness in mind when you see compact sets. In many problems, only one of the two characterisations will be useful. Some problems can be solved by constructing the right sequence; others by finding a suitable open cover.
Exercise 10.
Show that the finite union of compact sets is compact.
Exercise 11.
Let be a compact metric space, and let be continuous. Show that it attains its maximum value and minimum value. That is, show that there exist some such that for all .
Exercise 12.
Let and be metric spaces. A function is “uniformly continuous” if for every , there exists some such that for all with , then .
Explain how this differs from the definition of continuity. Show that if is continuous and is compact, then is uniformly continuous.
A great theorem about compactness is particularly useful when working in Euclidean space:
Theorem 13. Heine-Borel
A subset is compact (with respect to the usual metric) if and only if it is closed and bounded.
This does not generalise to arbitrary metric spaces. Please do not try to use Heine-Borel on metric spaces in general. A good counterexample the closed unit ball in — this set is closed and bounded, yet it is not compact. Try to find a sequence with no converging subsequence youself.