There are no fewer than three distinct notions of the term local -algebra used throughout functional analysis.
A normed algebra is said to be a local
-algebra
provided that it is a local Banach algebra
and that the norm
is a pre-
-norm (Blackadar 1998).
An alternative definition most in the spirit of the above identifies a local -algebra to be a pre-
-algebra
, each of whose positive elements
is contained in a complete
-subalgebra
of
(Blackadar and Handelman 1982). An algebra satisfying this
property is said to admit a functional calculus on its positive elements.
Elsewhere in the literature, one finds that a complex normed *-algebra is called a local
-algebra if all its maximal commutative
-subalgebras are themselves
-algebras with the given norm and involution
(Behncke and Cuntz 1977). Here, maximality
of a
-subalgebra
of
is defined to mean that
is a closed subalgebra of
.