This course studies von Neumann algebras as the operator-algebraic framework for functional analysis and quantum theory. The central object is a concrete algebra of bounded operators on a [Hilbert space](/page/Hilbert%20Space) that is stable under weak operator limits, and much of the course is devoted to understanding how such algebras are characterized, how they act on Hilbert spaces, and how their intrinsic structure is reflected in projections, partial isometries, states, and traces. Along the way, the course connects abstract algebraic ideas with geometric and analytic ones, showing how operator algebras encode symmetries, decompositions, and measurement-like phenomena.

The chapters are arranged to build the theory in layers. The first part develops concrete operator algebras through weak operator closure, commutants, and the bicommutant theorem, then uses projections and partial isometries to expose the internal geometry of these algebras. Next, normal representations and preduals provide the duality theory needed for analysis, while Murray-von Neumann equivalence and comparison lead to the structure theory of factors and centers. The later chapters classify von Neumann algebras by type, distinguishing type I, II, and III behavior through minimal projections, traces, and the failure of trace, and then connect these structural results to quantum mechanics, conditional expectations, and subfactors before closing with a synthesis of the classification landscape and further directions.

# Introduction

These opening notes set the language and direction of the course rather than developing the full theory at once. The central objects are concrete algebras of bounded operators on a Hilbert space, but the topology is no longer the norm topology familiar from $C^*$-algebras. The guiding theme is that weak closure turns projections, commutants, and normal states into the main tools for analysis. Chapters 2, 5, and 6--9 make these ideas precise through the bicommutant theorem, the comparison theory of projections, and the type classification of factors.

## Why Weak Closure Enters Operator Algebra

What changes when we replace norm approximation by convergence tested against vectors or functionals? In norm-closed operator algebras, approximation controls uniform behaviour on the whole unit ball of the Hilbert space. Von Neumann algebras are built for a different kind of limit: limits that are visible through matrix coefficients, spectral projections, and expectations of observables in states.

The basic setting is a complex Hilbert space $H$ and the algebra $\mathcal{L}(H)$ of bounded linear operators on $H$. The weak operator topology is designed to remember all scalar quantities of the form $(Tx,y)_H$, where $x,y \in H$. This is weaker than norm convergence, but it is strong enough to retain the projection structure that spectral theory produces.

[definition: Weak Operator Topology] Let $H$ be a complex Hilbert space. The weak operator topology on $\mathcal{L}(H)$ is the weakest topology for which, for every $x,y \in H$, the map $T \mapsto (Tx,y)_H$ from $\mathcal{L}(H)$ to $\mathbb C$ is continuous. [/definition]

This definition says that an operator net converges weakly exactly when every matrix coefficient converges. The use of nets rather than sequences is part of the subject: weak operator closures are topological closures in a topology that is often not first countable on large bounded sets.

[example: Diagonal Operators] Let $H=\ell^2(\mathbb N)$ with standard [orthonormal basis](/page/Orthonormal%20Basis) $(e_n)_{n=1}^{\infty}$. For $a=(a_n)_{n=1}^{\infty} \in \ell^\infty(\mathbb N)$, define $D_a e_n=a_n e_n$ and extend linearly and continuously to $H$. If $x=\sum_{n=1}^{\infty}x_n e_n$, then \begin{align*} D_a x=\sum_{n=1}^{\infty}a_n x_n e_n. \end{align*} Thus $D_aD_b e_n=D_a(b_n e_n)=b_n a_n e_n$, so $D_aD_b=D_{ab}$, and $D_aD_b=D_bD_a$ because $a_nb_n=b_na_n$ for every $n$. Also $D_a^*e_n=\overline{a_n}e_n$, since $(D_a e_n,e_m)_H=a_n\delta_{nm}=(e_n,\overline{a_m}e_m)_H$. Hence the diagonal operators form a commutative $*$-algebra, and the map $a \mapsto D_a$ identifies it with $\ell^\infty(\mathbb N)$. Now let $(D_{a^\lambda})_{\lambda \in \Lambda}$ be a bounded net of diagonal operators, with $\sup_\lambda \|D_{a^\lambda}\| \le C$. If $D_{a^\lambda}$ converges weakly to $D_a$, then for each $n$, \begin{align*} a^\lambda_n=(D_{a^\lambda}e_n,e_n)_H \longrightarrow (D_a e_n,e_n)_H=a_n. \end{align*} So weak operator convergence implies coordinatewise convergence of the diagonal entries. Conversely, suppose $a^\lambda_n \to a_n$ for every $n$ and $\sup_\lambda\|D_{a^\lambda}\|\le C$. Then $|a_n|\le C$ for every $n$, so $a\in \ell^\infty(\mathbb N)$. For $x=\sum x_ne_n$ and $y=\sum y_ne_n$ in $\ell^2(\mathbb N)$, \begin{align*} (D_{a^\lambda}x,y)_H-(D_ax,y)_H=\sum_{n=1}^{\infty}(a^\lambda_n-a_n)x_n\overline{y_n}. \end{align*} Choose $N$ so that \begin{align*} 2C\left(\sum_{n>N}|x_n|^2\right)^{1/2}\left(\sum_{n>N}|y_n|^2\right)^{1/2}<\varepsilon/2. \end{align*} For the finite part, coordinatewise convergence gives an index $\lambda_0$ such that whenever $\lambda\ge \lambda_0$, \begin{align*} \left|\sum_{n=1}^{N}(a^\lambda_n-a_n)x_n\overline{y_n}\right|<\varepsilon/2. \end{align*} For the tail, Cauchy-Schwarz gives \begin{align*} \left|\sum_{n>N}(a^\lambda_n-a_n)x_n\overline{y_n}\right|\le 2C\left(\sum_{n>N}|x_n|^2\right)^{1/2}\left(\sum_{n>N}|y_n|^2\right)^{1/2}<\varepsilon/2. \end{align*} Therefore $(D_{a^\lambda}x,y)_H \to (D_ax,y)_H$ for all $x,y\in H$, which is exactly weak operator convergence. Thus, on bounded diagonal nets, the weak operator topology is coordinatewise convergence of the diagonal entries, recording pointwise spectral data rather than [uniform convergence](/page/Uniform%20Convergence) of the sequences. [/example]

This example is the first model to keep in mind. Norm closure would ask for uniform approximation of the diagonal sequence, while weak closure permits limits detected coordinate by coordinate. The same phenomenon later becomes $L^\infty(X,\mu)$ acting by multiplication on $L^2(X,\mu)$.

## Concrete Algebras and Their Adjoints

Which operator algebras are stable enough to carry spectral projections and adjoints? A general subalgebra of $\mathcal{L}(H)$ may fail to contain the projections generated by the spectral theorem, so it does not interact well with the geometry of $H$. The algebras in this course are unital, closed under adjoints, and closed in an operator topology adapted to Hilbert-space matrix coefficients.

[definition: Von Neumann Algebra] Let $H$ be a complex Hilbert space. A von Neumann algebra on $H$ is a unital $*$-subalgebra $M \subseteq \mathcal{L}(H)$ that is closed in the weak operator topology. [/definition]

The definition is concrete: the Hilbert space representation is part of the data. Abstract $C^*$-algebras appear in the background, but this course studies the extra structure that emerges after representing an algebra on $H$ and closing it weakly.

[example: Full Operator Algebra] Let $H$ be a complex Hilbert space. The set $\mathcal{L}(H)$ is an algebra under the usual operator operations: if $S,T \in \mathcal{L}(H)$ and $\alpha,\beta \in \mathbb C$, then $\alpha S+\beta T \in \mathcal{L}(H)$, and $ST \in \mathcal{L}(H)$ because \begin{align*} \|STx\| \le \|S\|\|Tx\| \le \|S\|\|T\|\|x\| \end{align*} for every $x \in H$. The identity operator $I_H$ belongs to $\mathcal{L}(H)$, so the algebra is unital. If $T \in \mathcal{L}(H)$, then its Hilbert-space adjoint $T^*$ is also bounded and satisfies \begin{align*} \|T^*\|=\|T\|. \end{align*} Thus $\mathcal{L}(H)$ is a unital $*$-subalgebra of itself. It remains only to check weak operator closedness. A net $(T_\lambda)$ in $\mathcal{L}(H)$ converges in the weak operator topology precisely when there is some operator $T \in \mathcal{L}(H)$ such that, for all $x,y \in H$, \begin{align*} (T_\lambda x,y)_H \to (Tx,y)_H. \end{align*} Since the limiting operator in this topology is, by definition, an element of the ambient space $\mathcal{L}(H)$, every weak operator limit of a net from $\mathcal{L}(H)$ still lies in $\mathcal{L}(H)$. Therefore $\mathcal{L}(H)$ is weak operator closed, hence a von Neumann algebra on $H$. It is the largest possible von Neumann algebra on the fixed Hilbert space $H$, and later it appears as the basic type $I$ model. [/example]

The opposite extreme is just as important: commutative von Neumann algebras behave like algebras of [measurable functions](/page/Measurable%20Functions). This parallel is one reason measure theory is a prerequisite rather than an optional background topic.

[example: Multiplication Algebra] Let $(X,\mathcal E,\mu)$ be a [measure space](/page/Measure%20Space) and set $H=L^2(X,\mathcal E,\mu)$. For $f\in L^\infty(X,\mathcal E,\mu)$ and $g\in H$, the product $fg$ belongs to $L^2$ because \begin{align*} \|fg\|_2^2=\int_X |f|^2|g|^2\,d\mu \le \|f\|_\infty^2\int_X |g|^2\,d\mu=\|f\|_\infty^2\|g\|_2^2. \end{align*} Thus $M_f g=fg$ defines a bounded operator on $H$. If $f,h\in L^\infty$ and $g\in H$, then \begin{align*} M_fM_hg=M_f(hg)=f(hg)=(fh)g=M_{fh}g. \end{align*} Since $fh=hf$ almost everywhere, $M_fM_h=M_hM_f$. Also $M_1=I_H$, and for $g,k\in H$, \begin{align*} (M_f g,k)_H=\int_X f g\overline{k}\,d\mu=\int_X g\overline{\overline f k}\,d\mu=(g,M_{\overline f}k)_H. \end{align*} Therefore $M_f^*=M_{\overline f}$, so $\{M_f:f\in L^\infty(X,\mathcal E,\mu)\}$ is a unital commutative $*$-subalgebra of $\mathcal L(H)$. It remains to see that it is weak operator closed. Suppose $M_{f_\lambda}$ converges weakly to some $S\in\mathcal L(H)$. By the uniform [boundedness theorem](/theorems/181), there is $C>0$ such that $\|M_{f_\lambda}\|\le C$ for all $\lambda$. For each $u\in L^1(X,\mathcal E,\mu)$, write \begin{align*} u=|u|^{1/2}\overline{\overline{\operatorname{sgn}(u)}|u|^{1/2}}, \end{align*} where $\operatorname{sgn}(u)=0$ on $\{u=0\}$ and $\operatorname{sgn}(u)=u/|u|$ on $\{u\ne 0\}$. Both factors lie in $L^2$, and their $L^2$ norms multiply to $\|u\|_1$. Hence the limit \begin{align*} \Phi(u)=\lim_\lambda \int_X f_\lambda u\,d\mu \end{align*} exists, because it is a weak matrix coefficient of the net $M_{f_\lambda}$. Moreover \begin{align*} |\Phi(u)|\le C\|u\|_1. \end{align*} By $L^1$-$L^\infty$ duality, there is some $f\in L^\infty(X,\mathcal E,\mu)$ such that \begin{align*} \Phi(u)=\int_X fu\,d\mu \end{align*} for every $u\in L^1$. Taking $u=g\overline{k}$ with $g,k\in L^2$, we get \begin{align*} (Sg,k)_H=\lim_\lambda (M_{f_\lambda}g,k)_H=\lim_\lambda\int_X f_\lambda g\overline{k}\,d\mu=\int_X fg\overline{k}\,d\mu=(M_f g,k)_H. \end{align*} Since this holds for every $k\in H$, $Sg=M_fg$ for every $g\in H$, so $S=M_f$. Thus the multiplication operators form a weakly closed unital commutative $*$-subalgebra, hence a commutative von Neumann algebra. Finally, its projections are exactly the multiplication operators by characteristic functions. If $M_f$ is a projection, then $M_f^*=M_f$ and $M_f^2=M_f$, so $f=\overline f$ and $f^2=f$ almost everywhere. A real number satisfying $t^2=t$ is either $0$ or $1$, hence $f=\mathbf 1_A$ almost everywhere for $A=\{x:f(x)=1\}$. Conversely, \begin{align*} M_{\mathbf 1_A}^2=M_{\mathbf 1_A\mathbf 1_A}=M_{\mathbf 1_A}, \qquad M_{\mathbf 1_A}^*=M_{\overline{\mathbf 1_A}}=M_{\mathbf 1_A}. \end{align*} So measurable sets give precisely the projections in this algebra, making its projection theory measure theory in operator form. [/example]

The multiplication example motivates the later slogan that noncommutative von Neumann algebras behave like algebras of essentially bounded functions on noncommutative measure spaces. The course makes this slogan precise through projections, states, and traces rather than through points.

## Commutants as a Closure Mechanism