Banach Algebras — Mathematics Knowledge System

Overview

A Banach algebra is a Banach space A that is also an associative algebra, where the multiplication is jointly continuous: ||ab|| <= ||a|| ||b||. This inequality ties the algebraic and metric structures together. The prototypical examples are the algebra B(X) of bounded operators on a Banach space, and the algebra C(K) of continuous functions on a compact space. Banach algebras provide the natural framework for spectral theory, functional calculus, and the Gelfand transform.

Intuition

A Banach algebra combines two structures: the infinite-dimensional linear geometry of a Banach space with an associative multiplication. The submultiplicativity condition ||ab|| <= ||a|| ||b|| ensures multiplication is continuous and that the geometric series 1 + a + a^2 + ... converges when ||a|| < 1, yielding the invertibility of 1 - a. This geometric series idea is the engine behind all of spectral theory.

Formal Definition

Definition

A Banach algebra over F (= R or C) is a Banach space A together with a bilinear associative multiplication A x A -> A satisfying ||ab|| <= ||a|| ||b|| for all a, b in A. If A has a multiplicative identity e with ||e|| = 1, it is called unital. An element a in A is invertible if there exists b in A with ab = ba = e; the set of invertible elements is denoted A^x or Inv(A).

\|ab\| \le \|a\|\,\|b\| \quad \forall a,b \in A

Submultiplicativity

\text{Inv}(A) = \{ a \in A : \exists b,\; ab = ba = e \}

Group of invertible elements

\|a\| < 1 \implies (e - a) \in \text{Inv}(A),\quad (e-a)^{-1} = \sum_{n=0}^\infty a^n

Neumann series

Notation

Notation	Meaning
$A^\times$	Group of invertible elements in A
$\sigma(a)$	Spectrum of element a in A
$r(a)$	Spectral radius of a
$e$	Identity element of a unital Banach algebra

Theorems

Theorem 3.1: Theorem 3.1 (Neumann Series)

In a unital Banach algebra A, if ||a|| < 1 then e - a is invertible and (e - a)^{-1} = sum_{n=0}^inf a^n. Consequently Inv(A) is an open subset of A.

Theorem 3.2: Theorem 3.2 (Spectral Radius Formula)

For any a in a unital Banach algebra A, the spectral radius r(a) = sup{|lambda| : lambda in sigma(a)} satisfies r(a) = lim_{n->inf} ||a^n||^{1/n}.

Theorem 3.3: Theorem 3.3 (Gelfand–Mazur)

If A is a unital Banach algebra over C in which every non-zero element is invertible (i.e., A is a division algebra), then A is isometrically isomorphic to C.

Worked Examples

1
B(X) is a Banach space under the operator norm ||T|| = sup{||Tx|| : ||x|| <= 1}.
2
Composition gives multiplication: (ST)(x) = S(T(x)). Bilinearity and associativity are clear.
3
Check submultiplicativity:
$\|ST\| = \sup_{\|x\|\le 1}\|STx\| \le \|S\|\sup_{\|x\|\le 1}\|Tx\| = \|S\|\|T\|$
4
The identity operator I is the unit, ||I|| = 1. So B(X) is a unital Banach algebra.

✓ Answer

B(X) is a unital Banach algebra: the Banach space structure comes from the operator norm, multiplication is composition, and submultiplicativity follows from the operator norm definition.

Practice Problems

Mediumproof writing

Show that Inv(A) is an open subset of a unital Banach algebra A.

Hardfree response

Compute the spectral radius of the right shift operator R on l^2, where R(x_1,x_2,...) = (0,x_1,x_2,...), and verify the spectral radius formula.

Quiz

Summary

A Banach algebra is a Banach space with a submultiplicative associative multiplication: ||ab|| <= ||a|| ||b||.
The Neumann series (e - a)^{-1} = sum a^n converges for ||a|| < 1, making Inv(A) an open set.
The spectral radius formula: r(a) = lim ||a^n||^{1/n}.
The Gelfand–Mazur theorem: a complex Banach field is isometrically isomorphic to C.
Key examples: B(X), C(K), L^1(G) with convolution.

References

BookRudin, W. — Functional Analysis (2nd ed.), Chapter 10
BookBonsall, F.F. & Duncan, J. — Complete Normed Algebras, Springer, 1973
Websiteen.wikipedia.org