As I mentioned last post, my camera is currently out of service, so I gave up and decided I would, for the time being, write a series of posts discussing/clarifying lecture material and assignments from my pure math courses this term (PMATH 442, PMATH 733, and PMATH 753). This post is the first of a trilogy, and discusses PMATH 753. I will generally discuss things in chronological order, although this is not completely possible since assignments usually “look ahead” a bit into the lecture material. That being said, some things may seem out of order. I really worked hard on this post, as I will on the others.
PMATH 753: Functional Analysis [Assignment 1 here]
Functional analysis, all right! In this course we study vector spaces and linear maps. That’s right, this stuff is basically grounded in linear algebra; the only catch is that we care about the ones that are normed (which means they carry nice metric structure on which we can do analysis) and complete, which are called Banach spaces. Functional analysis focuses mostly on infinite-dimensional Banach spaces (and more generally, “nice” families of topological vector spaces) and the continuous linear maps between them. As occult as this may sound, there is rather compelling motivation for its study: the classical sequence and function spaces and are Banach spaces! Of course, the familiar and are (finite-dimensional) Banach spaces too, and their study is by no means trivial either. From what I’ve read, elements of functional analysis, ranging all the way from basic Hilbert space theory to more advanced topics like C*-algebras, are applied heavily in theoretical/mathematical physics as well (e.g. in the formulation of quantum mechanics), but I don’t know many details on that currently.
In the first week, we reviewed concepts of normed vector spaces, Banach spaces, and topological spaces, familiar from such courses as PMATH 351 (Real Analysis) and PMATH 450 (Lebesgue Integration and Fourier Analysis), and saw some examples (the Sorgenfrey line is cool: an example of a non-metrizable topology on ). We also reviewed the topological definition of continuity, and A1P1 showed it was equivalent to other common formulations.
denotes or . We saw, for a topological space , the space of continuous bounded functions , and showed it was complete under the supremum norm , which really only hinged on the completeness of , hence we were able to generalize this to the analogous space where the codomain is a Banach space rather than . This space and its completeness becomes (perhaps surprisingly) useful to us, for a few reasons:
- The concepts of “boundedness on the unit disc ” and “continuity” coincide for linear maps (indeed, we even get Lipschitz continuity, which is rather pleasing).
- If you know the value of a linear map on any arbitrarily small disc (any arbitrarily small sphere, actually, since linear maps send 0 to 0), you know it everywhere, just by scaling those values appropriately. This comes as no surprise, because even stronger statements can be made: a linear map is completely determined by its values on a (Hamel) basis, and a continuous linear map is completely determined by its values on a Schauder basis.
This is nicer than you think. For one thing, these two observations allowed us to prove that, for normed and Banach, the space of bounded linear maps is complete. To do this, we used the two observations above to establish an isometric linear isomorphism , namely, takes a linear map and restricts it to the unit ball . What do you know, the operator norm on coincides with the sup-norm on . Hmm, the definition of “bounded linear map” suddenly seems all the more cunning. As an immediate consequence of this, we see that the continuous dual of any normed space is complete. A1P2, in requiring us to establish an isometric linear isomorphism , lead to a quick and natural proof that was complete: it “is” a dual space! The completeness of dual spaces crops up later, too: roughly speaking, because duals are complete, and vector spaces admit a natural isomorphism to their double duals, the completion of a normed space , i.e. the “Banachization” of , lives naturally inside . This is actually a corollary of the Hahn-Banach theorem, which I will talk about later.
Furthermore, it is quite comforting to know that if two Banach spaces and are not isometrically isomorphic, then there is some intrinsic difference in the geometry of their unit spheres. Indeed, this was arguably the crux of the first bonus problem, A1P3d, which asked whether the spaces and (of convergent sequences, and convergent-to-0 sequences, respectively) were isometrically isomorphic. If you made this observation, you would begin thinking about their unit spheres. Perhaps you might be tempted to first consider compactness, but the unit ball of an infinite-dimensional normed space is never compact (c.f. Riesz’ lemma), and moreover you’ll probably have more luck if you seek a metric difference, not a topological one (troll comment: I’ve since learned that these two spaces are topologically isomorphic LOL). Therefore, you might subsequently consider convexity, which would naturally lead you to thinking about extreme points, which aim at the heart of the problem. It turns out that any sequence in which consists only of s and s is an extreme point of the unit sphere,
so has (uncountably many) extreme points (update: oh wait, but the sequence has to eventually become constant, so there are only countably many such points). On the other hand, the unit sphere of admits no extreme points, because the convergence-to-0 behaviour guarantees us that for a sequence the following lovely (but patently obvious) things occur:
- The supremum is actually achieved by some entry, i.e. for some .
- There is some “breathing room”, i.e. for some (clearly ).
Using the two observations above, we note that where and are obtained merely by adding and subtracting, respectively, some small from . Clearly, since we have not messed with , we have . So there are no extreme points of that sphere. The problem is then solved by noting that any isometric linear isomorphism would map one unit sphere onto the other while preserving extreme points. By the way, because the spheres of both spaces admit points that are non-extreme, neither nor is strictly convex. However, any inner product space is.
Speaking of strict convexity, at the end of the first week, we talked about strictly convex maps , and established an AM-GMish inequality that proved invaluable in the proof of Hölder’s inequality. We then exploited Hölder’s inequality to prove Minkowski’s inequality, which is the -norm triangle inequality. Hence by limiting arguments, we established that is a normed space (we talked about its completeness above).
The rest of A1 mostly consisted of slick ways of contriving sequences using the signum function . Density arguments came in handy quite often, particularly the space (more commonly denoted ) of sequences with cofinitely many entries equal to 0, equipped with a suitable norm. For example, my solution to A1P3b proved that for all , for all , and then noted that the first inequality establishes the continuity of the obviously linear map given by , allowing us to conclude that indeed for all as required. A1P4 showed us that the dual of “is” the space (more commonly denoted ) of finitely additive set functions of bounded variation on . Sadly, I didn’t have time to solve A1P4e, the second bonus problem, which essentially is concerned with showing that is not . Given the time, I would have attempted to argue this based on the fact that (and hence its dual) are not separable, but perhaps someone knows of a more clever solution. Also, A1P4a has a rather trivial solution if one notes that is totally bounded and therefore admits a finite -net for any (this is PMATH 351 material).
The first lecture of the second week (Lecture 4) was filled with hints for A1, most of which I already discussed above. Lecture 5 introduced the Hahn-Banach theorem, debatably the first true hammer of functional analysis
…which I can certainly not do justice to in the tail end of a blog post that is already far too lengthy as it is. This “trilogy” might actually end up being an endless sequence of posts.