A Banach algebra is an algebra over a field
endowed with a norm
such that
is a Banach space under the
norm
and
is frequently taken to be the complex
numbers in order to ensure that the operator
spectrum fully characterizes an operator (i.e.,
the spectral theorems for normal or compact normal operators do not, in general,
hold in the operator spectrum over the real
numbers).
If is commutative and has a unit, then
is invertible iff
for all
, where
is the Gelfand transform.