Advanced Analysis, Notes 14: Banach spaces (application: the Stone–Weierstrass Theorem revisited; structure of C(K))

In this post we will use the Krein–Milman theorem together with the Hahn–Banach theorem to give another proof of the Stone–Weierstrass theorem. The proof we present does not make use of the classical Weierstrass approximation theorem, so we will have here an alternative proof of the classical theorem as well.

Advanced Analysis, Notes 13: Banach spaces (convex hulls and the Krein–Milman theorem)

It would be strange to disappear for a week without explanations. This blog was not working for the past week because of the situation in Israel. The dedication in the beginning of the previous post had something to do with this, too. We are now back to work, with the modest hope that things will remain quiet until the end of the semester. We begin our last chapter in basic functional analysis, convexity and the Krein–Milman theorem.

Advanced Analysis, Notes 12: Banach spaces (application: existence of Haar measure)

This post is dedicated to my number one follower for her fourteenth birthday,which I spoiled…

Let be a compact abelian group. By this we mean that is at once both an abelian group and a compact Hausdorff topological space, and that the group operations are continuous, meaning that is continuous on and is continuous as a map from to . It is known that there exists a regular Borel measure  on , called the Haar measure, which is non-negative, satisfies , and is translation invariant:

for every Borel set . In fact, the Haar measure is known to exist in greater generality ( does not have to be commutative and if one allows to be infinite then can also be merely locally compact). The Haar measure is an indispensable tool in representation theory and in ergodic theory. In this post we will use the weak* compactness of the unit ball of the dual to give a slick proof of the existence of the Haar measure in the abelian compact case.

Advanced Analysis, announcement

I have been writing my own lecture notes (based, of course, on an array of well known references and also on some of my notes from my graduate studies) for the course Advanced Analysis. I have decided to do this because, on the one hand, there was no particular text that I wanted to follow, while on the other hand I wanted my students to have a convenient reference for the material in the course. I hope these notes were instructive to some readers of the blog.

During the second half of the course I will follows Arveson’s book “A Short Course on Spectral Theory”, besides some applications and/or examples that I will want to occasionally throw in. So I will post my notes on much rarer occasions.

Advanced Analysis, Notes 11: Banach spaces (weak topologies, Alaoglu’s theorem)

Let be the Banach space of continuous functions on the interval with the sup norm. Consider the following sequence of functions defind as follows. and for all ,   is equal to zero on the interval between and , and is linear in the intervals where we haven’t defined it yet (visualize!). The sequence is tending to zero pointwise, but the norm of does not detect this. The sequence tends to in the norm, but the norm is not in the game. Can the Banach space structure of detect the convergence of to ?