Functional Analysis
Banach Algebras
Цели урока
- Understand Banach algebra axioms and prove the spectrum is non-empty via Liouville's theorem
- State and prove the Gelfand representation theorem for commutative Banach algebras
- Derive Wiener's theorem as an immediate corollary of Gelfand theory
- Define holomorphic functional calculus via the Cauchy integral and prove spectral mapping
Предварительные знания
- C*-algebras and von Neumann algebras
- Spectral theory of self-adjoint operators
- Complex analysis: holomorphic functions, Cauchy integral formula
How can one abstract algebraic framework unify operator theory, harmonic analysis, and complex function theory - and give a two-page proof of a theorem Wiener spent years proving by hard analysis?
- **Signal processing:** Wiener's theorem guarantees that a nowhere-vanishing absolutely convergent Fourier series has an absolutely convergent reciprocal, directly ensuring stable filter inversion
- **Control theory:** the spectral radius formula r(a) = lim ||a^n||^{1/n} gives the growth rate of iterated feedback operators, determining system stability
- **Quantum field theory:** the Weyl algebra of canonical commutation relations is a Banach algebra; its representation theory classifies quantum field vacua via Gelfand-type duality
- **Coding theory:** group algebras l^1(G) over finite groups are commutative Banach algebras whose Gelfand transform is the discrete Fourier transform used in BCH code decoding
Gelfand and the Birth of Banach Algebra Theory
Israel Gelfand introduced Banach algebras (calling them 'normed rings') in a 1941 paper. His first spectacular application was a conceptual two-page proof of Wiener's 1932 theorem: if an absolutely convergent Fourier series never vanishes, its reciprocal is also absolutely convergent. Wiener had proved this by hard harmonic analysis. Gelfand's proof reduced it to: the maximal ideal space of l^1(Z) is the circle T, so invertibility in l^1(Z) is equivalent to non-vanishing on T.
Banach Algebras: Structure and Invertibility
A Banach algebra is a Banach space A with an associative bilinear multiplication satisfying ||ab|| <= ||a|| ||b||. It is unital if it has a unit 1 with ||1|| = 1. Key examples: B(X) (bounded operators on a Banach space X), C(K) (continuous functions on compact K with pointwise product), l^1(Z) (with convolution), and the disk algebra A(D).
Gelfand-Mazur theorem: if every non-zero element of a Banach algebra is invertible (a Banach division algebra), then A is isometrically isomorphic to C. Proof: for any a, sigma(a) is non-empty, so pick lambda in sigma(a); then a - lambda*1 is not invertible, hence a - lambda*1 = 0, meaning a = lambda*1.
The Neumann series is the operator-algebra analogue of the geometric series 1/(1-x). The key is that ||a|| < 1 implies convergence of sum a^n, and the product telescopes: (1-a)(sum_{k=0}^{n} a^k) = 1 - a^{n+1} -> 1.
Which statement best explains why the spectrum sigma(a) of a Banach algebra element is always non-empty?
The resolvent R(lambda, a) = (lambda - a)^{-1} is holomorphic on the complement of sigma(a) and decays as 1/|lambda| for large |lambda|. If sigma(a) were empty, R would be entire and bounded, hence constant by Liouville - but it cannot be constant since it tends to 0.
Gelfand Representation Theorem
For a commutative unital Banach algebra A, a character is a non-zero multiplicative linear functional phi: A -> C. Every character is automatically bounded with ||phi|| = 1. The set M(A) of all characters (the maximal ideal space) carries the weak* topology, making it a compact Hausdorff space.
Invertibility via Gelfand: an element a in A is invertible if and only if hat{a} has no zeros on M(A). This reduces the algebraic question of invertibility to the geometric/topological question of whether a continuous function vanishes on a compact space.
The Gelfand transform is generally not surjective or isometric. It is an isometric *-isomorphism only for commutative C*-algebras (the commutative Gelfand-Naimark theorem). For l^1(Z), the image of Gamma is a proper dense subalgebra of C(T).
For the commutative Banach algebra A = l^1(Z) with convolution product, what is the maximal ideal space M(A)?
Characters of l^1(Z) are given by phi_z(f) = sum_{n in Z} f(n) z^n for |z| = 1, evaluating the Fourier series at z. Boundedness of phi forces |z| = 1. Thus M(l^1(Z)) = T, and the Gelfand transform is exactly the Fourier series map l^1(Z) -> C(T).
Wiener's Theorem via Gelfand Theory
Wiener's theorem (1932): if f(t) = sum_{n in Z} a_n e^{int} is an absolutely convergent Fourier series with no zeros on [0, 2pi], then 1/f also has an absolutely convergent Fourier series. In Banach algebra language: if f in l^1(Z) is invertible in C(T), then f is invertible in l^1(Z).
The Wiener-Levy theorem generalizes further: if f in l^1(Z) and F is holomorphic on a neighborhood of f(T) subset C, then F(f) in l^1(Z). This follows from holomorphic functional calculus in the Banach algebra l^1(Z), applied to the element f.
Wiener's theorem says: if sum |a_n| < infinity and sum a_n e^{int} never vanishes, then the reciprocal also has absolutely convergent Fourier series. What is the key Gelfand-theoretic fact that makes this immediate?
The Gelfand representation identifies M(l^1(Z)) with T and shows that f is invertible in l^1(Z) iff hat{f} is invertible in C(T) iff hat{f} never vanishes on T. Wiener's theorem is exactly this invertibility equivalence applied to l^1(Z).
Holomorphic Functional Calculus
For a in a unital Banach algebra A and f holomorphic on an open set containing sigma(a), the holomorphic functional calculus defines f(a) in A via a contour integral. This extends every holomorphic function to Banach algebra elements, satisfying the same algebraic identities as the scalar function.
If sigma(a) is contained in {Re z > 0}, the holomorphic function log(z) can be defined on a neighborhood, giving a well-defined log(a) in A with e^{log(a)} = a. The contour integral automatically handles branch cuts. Similarly, any fractional power a^{1/n} is defined when sigma(a) avoids the negative real axis.
Holomorphic functional calculus is consistent with polynomial calculus: if f(z) = sum c_k z^k converges on a disk containing sigma(a), then f(a) = sum c_k a^k (both definitions agree). The contour integral definition extends beyond polynomials and power series to all holomorphic functions on any open neighborhood of sigma(a).
The spectral mapping theorem for holomorphic functional calculus states that sigma(f(a)) = f(sigma(a)). Which of the following is a direct consequence when applied to A = B(H) and a = T a bounded operator?
When sigma(T) is contained in {Re z > 0}, the principal logarithm is holomorphic on a neighborhood of sigma(T). The holomorphic functional calculus produces log(T) in B(H), and the spectral mapping theorem gives sigma(log(T)) = log(sigma(T)). The resolvent formula e^{log(T)} = T follows from the homomorphism property.
Connections to Other Topics
Banach algebra theory unifies several strands of analysis and provides the foundation for noncommutative geometry and K-theory.
- C*-algebras — C*-algebras are Banach algebras with involution satisfying the C*-identity; Gelfand's theorem for commutative C*-algebras is a strengthened version of the Gelfand representation
- Harmonic analysis — Group algebras l^1(G) are Banach algebras; their maximal ideal spaces are the Pontryagin dual groups
- Complex analysis — The spectrum and resolvent are holomorphic concepts; holomorphic functional calculus transfers the full power of complex analysis into operator theory
- Operator K-theory — K_0 of a Banach algebra is defined via projections and invertibles; Bott periodicity holds for C*-algebras
Итоги
- A Banach algebra satisfies ||ab|| <= ||a|| ||b||; the spectrum sigma(a) is compact, non-empty, and contained in the disk of radius ||a||
- Spectral radius formula: r(a) = lim_{n->inf} ||a^n||^{1/n} = sup{|lambda| : lambda in sigma(a)}
- For commutative A, the Gelfand transform Gamma: A -> C(M(A)) identifies A with a function algebra on the compact maximal ideal space M(A)
- Invertibility in A is equivalent to hat{a} having no zeros on M(A)
- Wiener's theorem: f in l^1(Z) is invertible iff its Fourier series never vanishes on T (immediate from Gelfand theory since M(l^1(Z)) = T)
- Holomorphic functional calculus: f(a) = (1/2pi i) ∮ f(lambda)(lambda-a)^{-1} dlambda, with spectral mapping sigma(f(a)) = f(sigma(a))