Ok so, I’m back to talk about some more lovely things that happen in . This is one of the things I feel is neglected far too much by all but the most rigorous calculus courses: sequences are really fundamentally intertwined with all of the underpinnings of why calculus (in one variable, and also in several) works. It seems that so much just reduces to something involving sequences.

Take topology in for example. You start with the notion of an interior point, and from there you define an open set to be a set consisting only of interior points. Often after this, we proceed to define a closed set as “a set whose complement is an open set”. This is one characterization of the property of “closedness”. An alternative characterization you may see is that closed sets contain their closures.

The closure of a set is a (usually larger) set which consists precisely of all the points in the space such that *some *sequence in converges to . If is closed, however, one can show that all of the points in the closure also lie inside itself, and vice versa (it’s an equivalence).

That said, when we talk about compact sets (sets that are both closed and bounded), some rather beautiful interplay occurs between the structure of these sets and the nature of continuous functions. An alternative characterization of continuity is the classic “if a function is continuous at a point, then the limit of the images of a sequence converging to that point is the image of the limit” (ie the point itself). With this in hand, I’ll show something that makes the EVT a one-line proof.

**Theorem**. Let be a compact set, and let be a continuous function. Then the image set, , is compact as well.

**Proof**. First, we denote . We want to show that is closed. Note that always, so we need only show . To do this, let us choose an arbitrary . By definition of the closure of , there exists some sequence in such that . But surely since each , there exists a corresponding sequence of points in such that . We now simply apply the Bolzano-Weierstrass theorem for , which tells us that since is compact, every sequence in has a subsequence converging to a limit which lies *within* . Hence we get the subsequence such that for some . Now, the continuity of gives us that . But we already know that . So by the uniqueness of the limit, ! Hence , so is closed.

We now must show that is bounded. This is done in much the same way: we assume otherwise. Then for each natural , we obtain a point such that . Now again obtain the corresponding sequence in , choose a convergent subsequence, use the continuity of , and we quickly obtain a *convergent sequence* that is *unbounded*. This is surely a contradiction since every convergent sequence is bounded. Hence must be bounded, and finally this allows us to conclude that is compact.

OK, I think that’s good enough for the basics. Now to understand the 3-page proof that any function continuous modulo a null set is integrable… which draws on null sets (duh), compactness, and uniform continuity. The secret is

!