In this series of blog posts I’ll work through the proof that every -algebra on a may be isomorphically embedded into , the -algebra of bounded linear operators on some Hilbert space . This post is meant to give definitions of the objects that we will be studying and possibly some motivation for why this is an especially interesting theorem.
This series of posts deal with operators on Hilbert spaces. We say that is a Hilbert space if it is a vector space (over ) equipped with an inner product (which gives rise to an associated norm ) that is complete with respect to this norm.
Given a linear function between Hilbert spaces , one may define the norm of the operator as the supremum of the ratio of and as ranges over all , namely
If , then is called bounded. The set of all bounded linear operators between and will be denoted by , or as if . By multiplying the right hand side of equation (1) by one can calculate the operator norm by .
A useful theorem connecting bounded linear operators and the inner product on a Hilbert space:
Theorem 1: Given a Hilbert space and some bounded linear operator , there exists a unique operator such that . (This operator is called the Hilbert space adjoint of .)
Proof: Suppose that is as above, and choose a fixed but arbitrary . Then one can define a bounded linear functional
Due to the Riesz Representation theorem there exists some such that for some unique . Then we can define $\tau^*$ which associates with each $x_0$ this unique $y_0$; this is linear and it is bounded, so then,
The presence of this operator adjoint for any bounded linear operator on a Hilbert space makes a prototypical example of a -algebra.
Definition: A Banach algebra is an associative algebra which is also a normed vector space and complete with respect to the norm and . If furthermore there is a map which is an involution, satisfies , and has the property that , then is called a -algebra.
Looking at this definition, one may notice that, despite us proving the existence of the adjoint operator, whose existence arises as a fundamental property of the the set of bounded operators on a Hilbert space, there is no reference to any Hilbert space nor any invocation of any of the orthogonality properties of the inner product. -algebras were originally investigated in the context of bounded operators on a Hilbert space; however, due to the work of Gelfand and Naimark during the middle of the last century and the Gelfand-Naimark-Siegal Theorem one can consider algebras within the purely abstract definition of -algebras and be assured that there are examples of the algebras in question contained within the very concrete space .
It is here that we will begin our story in the next post.