The Spectral Theorem

It is well known that there are two formulations of the so-called “spectral theorem” or “Borel functional calculus”. The first approach is via the construction of a “spectral measure”, which is described in details in [Murphy, Section 2.5]; the other approach exploits the representation theory of abelian C*-algebras (See [Davidson, II.2]). These two approaches originate from different interpretations of the finite dimensional spectral theorem.

Let T be a normal matrix in M_n(\mathbb{C}), the “resolution of  the identity” version of the spectral theorem says that we can write $$T = \sum_{\lambda}\lambda E(\lambda),$$ where \lambda runs over the eigenvalues of T and E(\lambda) is the orthogonal projection onto the corresponding eigenspace. The spectral measure approach is then seen as an attempt to generalize this picture.

On the other hand, the “unitary diagonalization” version says that there is a unitary matrix U such that $$UTU^* = \left( \sum_{i=1}^n \lambda_i E_{i,i} \right),$$ where each \lambda_i is an eigenvalue and E_{i,i} is the (i,i)-matrix unit. One can think of the diagonal matrix \( \sum_{i=1}^n\lambda_iE_{i,i}\) as a multiplication operator on L^2(X,\mu), where X is the discrete n-point space \{1,2,…,n\} and \mu is the counting measure. Then clearly the representation approach follows this direction. Note that one can obtain a spectral measure as in the general spectral theorem by declaring E(S) = \chi_S, where S is a subset of X = \{1,2,…,n\} (the Borel \sigma-algebra in this case is the collection of all subsets). Of course the projection E(S) here is nothing but the orthogonal projection onto the subspace spanned by the elements of S.

The exposition above follows largely the wonderful notes written by Jesse Peterson [Peterson].

References:
[Murphy] G. Murphy, C*-algebras and operator theory, Academic Press, 1990.
[Davidson] K. Davidson, C*-Algebras by Example, AMS, 1996.
[Peterson] J. Peterson, Notes on von Neumann algebras. 2013. (link)

This entry was posted in Uncategorized and tagged . Bookmark the permalink.

Leave a Reply