A positive linear functional on a C*-algebra
is a linear functional that is a positive
map, that is
for all
, where
is the set of positive
elements in
.
Every positive linear functional is automatically continuous (Murphy 1990).
A positive linear functional on a C*-algebra
is a linear functional that is a positive
map, that is
for all
, where
is the set of positive
elements in
.
Every positive linear functional is automatically continuous (Murphy 1990).
This entry contributed by Mohammad Sal Moslehian
Weisstein, Eric W., with contributions by Mohammad Sal Moslehian. "Positive Linear Functional." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/PositiveLinearFunctional.html