This course develops the basic structure theory of $C^*$-algebras, the operator-algebraic objects that encode both functional analysis and noncommutative geometry. It begins with Banach algebras and the $C^*$-identity, then moves to commutative $C^*$-algebras, where Gelfand duality shows that the theory recovers ordinary spaces and continuous functions. From there, the course turns to positivity, functional calculus, and states, which provide the analytic and order-theoretic tools used throughout the subject.

The later chapters build the representation theory of $C^*$-algebras from these foundations. Positive functionals and the GNS construction show how abstract algebras act concretely on Hilbert spaces. In the overview, $C_0(X)$ denotes continuous complex-valued functions on a locally compact [Hausdorff space](/page/Hausdorff%20Space) $X$ that vanish at infinity, $\mathcal{L}(H)$ denotes bounded operators on a Hilbert space $H$, and $K(H)$ denotes the compact operators on $H$. Ideals, quotients, and approximate units then organize the internal structure of algebras, while multiplier algebras, unitization, tensor products, and nuclearity are deferred until their chapters, where the notation and hypotheses are introduced locally. The course ends with finite-dimensional and AF, or approximately finite-dimensional, $C^*$-algebras and a broader view of noncommutative spaces and further directions. Each topic is chosen to reinforce the central idea that many geometric and algebraic questions can be reformulated in the language of operators.

# Introduction

This course studies $C^*$-algebras as the meeting point of functional analysis, algebra, topology, and spectral theory. The motivating example is always a norm-closed algebra of bounded operators on a Hilbert space, closed under taking adjoints, but the abstract axioms are strong enough to recover many operator-theoretic phenomena without choosing a particular representation. The course begins with Banach algebra methods, then treats commutative $C^*$-algebras as spaces in disguise, and finally develops the representation theory that turns abstract algebras back into concrete operator algebras.

The guiding theme is that a $C^*$-algebra behaves like a noncommutative [algebra of continuous functions](/theorems/197). Commutative $C^*$-algebras are exactly algebras of the form $C_0(X)$ for locally compact Hausdorff spaces $X$, while noncommutative examples such as $\mathcal{L}(H)$, $K(H)$, and matrix algebras retain enough topology, order, and spectral theory to be studied by analogous methods. This chapter fixes the viewpoint, recalls the background objects, and explains the main questions that the later chapters answer.

## Why Operator Algebras Need a Norm

Ordinary algebra knows about addition, multiplication, ideals, and homomorphisms, but it does not remember convergence. Operator theory forces convergence into the story: limits of operators matter, spectra depend on the ambient normed algebra, and infinite-dimensional examples cannot be controlled by algebraic manipulation alone. The first problem of the course is therefore to understand what structure remains when an algebra is also a Banach space and multiplication is compatible with the norm.

[definition: Banach Algebra] A Banach algebra is a complex Banach space $A$ equipped with an associative bilinear multiplication $A \times A \to A$ such that \begin{align*} \|ab\|_A \le \|a\|_A\|b\|_A \end{align*} for all $a,b \in A$. [/definition]

The inequality says that multiplication is continuous, so algebraic constructions interact with limits. This is the minimum analytic framework in which it makes sense to discuss invertibility by perturbation, [power series](/page/Power%20Series) in algebra elements, and spectral theory without explicitly referring to vectors in a Hilbert space.

[example: Continuous Functions as a Banach Algebra] Let $X$ be a compact Hausdorff space, and let $C(X)$ be the complex Banach space of continuous functions $f:X\to\mathbb C$ with $\|f\|_\infty=\sup_{x\in X}|f(x)|$. Since $X$ is compact and $|f|:X\to\mathbb R$ is continuous, the image $|f|(X)$ is compact in $\mathbb R$, so the supremum is finite. For $f,g\in C(X)$, define multiplication pointwise by $(fg)(x)=f(x)g(x)$. The product $fg$ is continuous because multiplication $\mathbb C\times\mathbb C\to\mathbb C$ is continuous and $x\mapsto (f(x),g(x))$ is continuous. The constant function $1_X(x)=1$ is continuous, and \begin{align*} (1_Xf)(x)=1_X(x)f(x)=1\cdot f(x)=f(x) \end{align*} for every $x\in X$, with the same calculation giving $f1_X=f$. Thus $1_X$ is the multiplicative identity. It remains to check the norm inequality. For every $x\in X$, \begin{align*} |(fg)(x)|=|f(x)g(x)|=|f(x)|\,|g(x)| \end{align*} and the definitions of the sup norms give $|f(x)|\le \|f\|_\infty$ and $|g(x)|\le \|g\|_\infty$. Hence \begin{align*} |(fg)(x)|\le \|f\|_\infty\|g\|_\infty \end{align*} for every $x\in X$. Taking the supremum over $x\in X$ gives \begin{align*} \|fg\|_\infty\le \|f\|_\infty\|g\|_\infty \end{align*} so pointwise multiplication makes $C(X)$ a unital Banach algebra. This example shows that the topology of $X$ is reflected in an analytic algebra whose norm measures uniform size over the whole space. [/example]

Function algebras are commutative, but the examples coming from Hilbert spaces usually are not. To use Hilbert space operators as a model, one must first restrict to operators whose size is controlled by the Hilbert norm; otherwise composition and adjoints need not fit into a Banach-algebra framework. The following definition isolates exactly the bounded operators, where the operator norm, composition, and adjoint coexist in one analytic algebra.

[definition: Bounded Operators on a Hilbert Space] Let $H$ be a complex Hilbert space. The algebra $\mathcal{L}(H)$ is the set of bounded linear operators $T:H\to H$, equipped with composition, the operator norm $\|T\|_{\mathcal{L}(H)}$, and the adjoint operation $T\mapsto T^*$ determined by \begin{align*} (Tx,y)_H=(x,T^*y)_H \end{align*} for all $x,y\in H$. [/definition]

The adjoint is the extra structure that distinguishes $C^*$-algebras from general Banach algebras. It remembers the Hilbert space geometry and makes positivity possible, which later becomes the route to states and representations.

[example: Matrix Algebras as Finite-Dimensional Operator Algebras] Let $H=\mathbb C^n$ with standard basis $e_1,\dots,e_n$ and [inner product](/page/Inner%20Product) $(x,y)=\sum_{j=1}^n x_j\overline{y_j}$. If $T\in\mathcal L(\mathbb C^n)$, write \begin{align*} T e_j=\sum_{i=1}^n a_{ij}e_i \end{align*} and associate to $T$ the matrix $A=(a_{ij})\in M_n(\mathbb C)$. For $x=\sum_{j=1}^n x_j e_j$, \begin{align*} T x=T\left(\sum_{j=1}^n x_j e_j\right)=\sum_{j=1}^n x_j T e_j=\sum_{j=1}^n x_j\sum_{i=1}^n a_{ij}e_i=\sum_{i=1}^n\left(\sum_{j=1}^n a_{ij}x_j\right)e_i \end{align*} so the coordinates of $Tx$ are exactly $Ax$. Composition becomes matrix multiplication. If $S$ corresponds to $B=(b_{ij})$, then \begin{align*} STe_j=S\left(\sum_{k=1}^n a_{kj}e_k\right)=\sum_{k=1}^n a_{kj}S e_k=\sum_{k=1}^n a_{kj}\sum_{i=1}^n b_{ik}e_i=\sum_{i=1}^n\left(\sum_{k=1}^n b_{ik}a_{kj}\right)e_i \end{align*} so the matrix of $ST$ has $(i,j)$-entry $\sum_{k=1}^n b_{ik}a_{kj}$, which is the $(i,j)$-entry of $BA$. The adjoint becomes conjugate transpose. Since \begin{align*} (Te_j,e_i)=\left(\sum_{r=1}^n a_{rj}e_r,e_i\right)=a_{ij} \end{align*} and the defining identity for the adjoint gives \begin{align*} (Te_j,e_i)=(e_j,T^*e_i) \end{align*} the coefficient of $e_j$ in $T^*e_i$ is $\overline{a_{ij}}$. Thus the matrix of $T^*$ has $(j,i)$-entry $\overline{a_{ij}}$, namely $A^*=\overline A^{\,t}$. The operator norm is \begin{align*} \|A\|=\sup_{\|x\|_2=1}\|Ax\|_2 \end{align*} so $M_n(\mathbb C)$ is exactly the finite-dimensional operator algebra $\mathcal L(\mathbb C^n)$ under this identification. For $n\ge 2$ it is noncommutative, for example $E_{12}E_{21}=E_{11}$ while $E_{21}E_{12}=E_{22}$, but [finite dimensionality](/theorems/1534) removes the compactness and closure issues that occur for operators on infinite-dimensional Hilbert spaces. [/example]

## The $C^*$-Identity as the Central Constraint

A Banach algebra with an involution still may fail to behave like an algebra of Hilbert space operators. The central constraint of the course is the $C^*$-identity, which ties the norm to the adjoint and multiplication so tightly that the norm is no longer an arbitrary analytic decoration. This identity is the reason the theory has order, functional calculus, and a rigid representation theory.

[definition: C Star Algebra] A $C^*$-algebra is a complex Banach algebra $A$ equipped with a map $*:A\to A$, written $a\mapsto a^*$, satisfying \begin{align*} (a+b)^*&=a^*+b^*, & (\lambda a)^*&=\overline{\lambda}a^*, & (ab)^*&=b^*a^*, & (a^*)^*&=a \end{align*} for all $a,b\in A$ and $\lambda\in\mathbb C$, and such that \begin{align*} \|a^*a\|_A=\|a\|_A^2 \end{align*} for all $a\in A$. [/definition]

The identity is modeled on the equality $\|T^*T\|_{\mathcal{L}(H)}=\|T\|_{\mathcal{L}(H)}^2$ for bounded operators. The immediate question is whether the concrete operator algebras that motivated the definition really satisfy the abstract axioms, since this is what makes the definition a faithful abstraction rather than a formal analogy.

[quotetheorem:8544]

[citeproof:8544]