nLab
Banach algebra

Banach algebras

Definitions

An associative unital Banach algebra is monoid object in the category of Banach spaces. However, Banach algebras are not usually assumed to be unital, making them semigroup objects (or even magma objects if not assumed to be associative).

This means a Banach space A equipped with a multiplication map

m:AAA,m: A \otimes A \to A ,

where is the standard tensor product for the symmetric monoidal closed category of Banach spaces, which again is usually taken to be associative.

Since the norm of abAA is ab where a is the norm in A, and since morphisms in the category of Banach spaces are taken to be bounded linear maps of norm 1, we may equivalently define a Banach algebra to be equipped with a bilinear map (usually associative) A×AA such that

abab\|a \cdot b\| \leq \|a\| \cdot \|b\|

where ab=m(a,b).

Of course, in the non-unital case, one can always formally adjoin a unit e, forming the Banach algebra Ae where e=1.

Examples

  • A standard example is L 1(,μ), where μ is Lebesgue measure, and where the multiplication is taken to be convolution. This lacks a unit for the multiplication, since there is no L 1 function e(x) that represents the Dirac functional

    ff(0)=e(x)f(x)dμf \mapsto f(0) = \int e(x)f(x) d\mu

    on continuous functions f:X. One can generalize this example in straightforward fashion, replacing by any locally compact Hausdorff topological group G, and μ by a Haar measure? on G; the algebra is unital if and only if G is compact.

  • For any measure space (X,μ), L (X,μ) is a unital Banach algebra with respect to pointwise multiplication.

  • If A is a Banach space, the internal hom hom(A,A) is a unital Banach algebra.

  • Any C *-algebra is a Banach algebra.

  • The normed division algebras are (possibly nonassiociative) Banach algebras that are also division algebra?s.

  • The only Banach algebra (over ) which is a field is itself, by the Gel’fand–Mazur theorem.