Positive Elements in C*-Algebras

Positive Element

is positive if for some .

Proposition

If is a C*-algebra, then is positive if and only if is s.a. and .

e.g. Let be a locally compact Hausdorff space. Then is positive if and only if either for all (i.e. ) or for some .