### Advanced Analysis, Notes 16: Hilbert function spaces (basics)

In the final week of the semester we will study Hilbert function spaces (also known as reproducing kernel Hilbert spaces) with the goal of presenting an operator theoretic proof of the classical Pick interpolation theorem. Since time is limited I will present a somewhat unorthodox route, and ignore much of the beautiful function theory involved. BGU students who wish to learn more about this should consider taking Daniel Alpay’s course next semester. Let me also note the helpful lecture notes available from Vern Paulsen’s webpage and also this monograph by Jim Agler and John McCarthy (in this post and the next one I will refer to these as [P] and [AM] below).

(Not directly related to this post, but might be of some interest to students: there is an amusing discussion connected to earlier material in the course (convergence of Fourier series) here).

### Advanced Analysis, Notes 15: C*-algebras (square root)

This post contains some make–up material for the course Advanced Analysis. It is a theorem about the positive square root of a positive element in a C*-algebra which does not appear in the text book we are using. My improvisation for this in class came out kakha–kakha, so here is the clarification.

### 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 $G$ be a compact abelian group. By this we mean that $G$ is at once both an abelian group and a compact Hausdorff topological space, and that the group operations are continuous, meaning that $g \mapsto g^{-1}$ is continuous on $G$ and $(g,h) \mapsto g+h$ is continuous as a map from $G \times G$ to $G$. It is known that there exists a regular Borel measure $\mu$ on $G$, called the Haar measure, which is non-negative, satisfies $\mu(G) = 1$, and is translation invariant:

$\forall g \in G . \mu(g+ E) = \mu(E) ,$

for every Borel set $E \subseteq G$. In fact, the Haar measure is known to exist in greater generality ($G$ does not have to be commutative and if one allows $\mu$ to be infinite then $G$ 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.