An associative unital Banach algebra is monoid object in the closed monoidal category of Banach spaces (with short linear operators as morphisms, and the usual internal hom, or equivalently the projective tensor product). However, Banach algebras are not usually assumed to be unital, making them semigroup objects (or even magma objects if not assumed to be associative).
which again is usually taken to be associative (and may even be unital), such that
where (or just ) means .
In the unital case, we should also require , although some authors leave this out. Other authors require , which is too strong, since it rules out the trivial algebra. (However, follows from and the existence of any element ). One can of course always formally adjoin a unit with , forming the Banach algebra (using the -direct sum).
The explicit description in terms of is of course earlier; but the abstract description as an internal monoid makes clear the most natural definition of Banach coalgebra: a comonoid in the same monoidal category.
YC: An earlier version of this entry said that “the correct” definition of Banach coalgebra is as a comonoid in the usual monoidal category of Banach spaces and short linear operators. I would prefer that this be amended, with similar wording as what I’ve chosen, since experience has shown that the most fruitful candidates for “Banach spaces with coalgebraic structure” are NOT comonoids in this sense. One should instead only require a comultiplication which takes values in something like the injective tensor product, or if you are working with Cstar objects, in something like the spatial tensor product. Does anyone object to my rewording?
A standard associative example is with Lebesgue measure, where the multiplication is taken to be convolution. (This lacks a unit for the multiplication, since there is no function that represents the Dirac functional? , via
on continuous functions .) One can generalize this example in straightforward fashion, replacing by any locally compact Hausdorff topological group , and Lebesgue measure by a Haar measure on ; the algebra is unital if and only if is discrete.
The only Banach division algebra over is itself, by the Gel’fand–Mazur theorem.
A -algebra (or more generally a Jordan–Banach algebra) is a nonassociative (but commutative) kind of Banach algebra. (The commutative associative Banach algebras also count as Jordan–Banach algebras.)
Let be a cyclic group of order and look at the Banach algebra (in the “strict” sense of a monoid object in ) that is obtained by equipping the Banach space with the natural convolution product: . There is a “short” homomorphism from into the ground field which is just the unique linear extension of the group homomorphism (by the free property of the -functor) and we let be the kernel of this homomorphism. ( is the so-called “augmentation ideal”.) Now is a semigroup object in and as an algebra it has an identity element , but a calculation/hindsight shows that must be the constant function , so that has norm .
If is a Banach algebra, its bidual has two naturally induced Banach algebra structures on it: these are the so-called Arens products on the second dual. These correspond to the left and right tensorial strengths for the bidual monad on the category of Banach spaces (whether with short linear operators as morphisms, or all bounded linear operators). In different language, the two Arens multiplications arise from natural transformations
described at monoidal monad; putting and post-composing with produces the two Arens products. They are named for Richard Arens, who has a 1955 paper which studies this construction in a more general setting . One can see Arens’s “phyla” – with hindsight and Whig history – as a precursor of symmetric closed monoidal categories.
Algebras where the two Arens products coincide are said to be Arens regular: since , the algebra of bounded linear operators on a Hilbert space , has this property, so do all its closed subalgebras, in particular all -algebras. In contrast, if is an infinite locally compact group, a result of N. J. Young shows that is not Arens regular. Consequently, it is not isomorphic as a topological algebra to any closed subalgebra of . Note that this consequence is significantly deeper than the observation that the norm on does not satisfy the C-star identity with respect to the usual involution on . See also comments on this MO question.
In general, a Banach algebra is Arens regular if and only if, for each , the orbit maps and are weakly compact? as linear maps . (Going from memory here, this result is due to J. S. Pym.) By using known results for factorization of weakly compact? maps, it follows that if is Arens regular, one can construct a reflexive Banach space and an injective homomorphism of topological algebras which has closed range; this appears to have first been done explicitly by S. Kaijser.
I suspect that here I mean something like a strict monomorphism in the category of monoid objects in TVS, but I am not sure of the details.
However, this is not a characterization of Arens regularity; Young also observed that for any locally compact group one may build a reflexive Banach space and construct an injective homomorphism of topological algebras which has closed range.
Zbigniew Semadeni, Banach spaces of continuous functions, vol. I, gBooks
N. Landsman, Mathematical topics between classical and quantum mechanics, Springer
Walter Rudin, Functional analysis
Richard V. Kadison, John R. Ringrose, Fundamentals of the theory of operator algebras
F. F. Bonsall, J. Duncan, Complete normed algebras
T. W. Palmer, Banach Algebras and the General Theory of * -Algebras