Why is every positive linear functional bounded in $C^*$-algebras?
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top
For self-adjoint elements $a$, we have the inequality $-\lVert a\rVert e\le a\le\lVert a\rVert e$, where $e$ is the identity. So if $f$ is a positive linear functional, $-\lVert a\rVert f(e)\le f(a)\le\lVert a\rVert f(e)$ follows; i.e., $\lvert f(a)\rvert\le\lVert a\rVert f(e)$. For non-selfadjoint $a$, write $a=b+ic$ with $b$ and $c$ selfadjoint and use the result just shown.
The C*-algebra may not has identity. Your answer is in the following reference: C*algebras and operator theory by Gerard Murphy, page 88, thm 3.3.1