Strictly positive element in unital $C^*$ algebra is invertible

Question

Let A be a unital $C^∗$ algebra. $a\in A_+$ is called strictly positive if for all positive linear functional $\phi \in A_+^*$ and $\phi \neq 0$, we have $\phi(a)>0$. Prove that $a\in A_+$ is strictly positive iff $a$ is invertible.

My attempt: if $a\in A_+$ is invertible, then there exists $x\in A$ such that $a=x^*x$ and $a^{-1}=x^{-1}(x^{-1})^*$, Using Cauchy-Schwarz inequality: $\forall \phi \in A_+^*$ $$\phi(a)\phi(a^{-1})=\phi(x^*x)\phi((x^{-1})^{**}(x^{-1})^{*})\ge |\phi(x^*(x^{-1})^*)|^2=|\phi(1)|^2=\|\phi\|^2 > 0 $$ then we have $\phi(a)\neq 0$, then $\phi(a)>0$.

But for other direction, i have no idea. I knew that $a\in A_+$ is called strictly positive also can be definted that $\overline{aAa}=A$, and from this definition i can prove that if $a$ is strictly positive, then $axa$ is invertible, then $a$ is invertible. but i want to prove $a$ is invertible from defintion which i give firstly.

I guess if $\phi(a)>0$, then $1-\phi(a) <1$, and let $\phi$ be some specific function ,then apply functional calculus, but i can't prove that.

Any idea will be appreciated!

Answer 1

For the other direction, let $a$ be a positive non-invertible element. Then $0\in \text{Spec}(a)$ and there is a unital *-homomorphism $\Phi: C^*(a) \rightarrow C(\text{Spec}(a))$ mapping $a$ to the identity function on $\text{Spec}(a)$. Here $C^*(a)$ is the $C^*$-subalgebra generated by $a$ and $C(\text{Spec}(a))$ the continuous functions on $\text{Spec}(a)$. Define a state $\phi$ on $C^*(a)$ by $\phi(x)=\Phi(x)(0)$.

$\phi$ vanishes on $a$ and we can extend it to all of $A$.

Answer 2

EDITED Since I originally just reproved what you already included in your statement.

Suppose $a\in A$ is strictly positive. Since $A$ is unital, the state space of $A$ is weak$^*$-compact, and it follows that $\varepsilon:=\inf\{\phi(a):\phi\text{ is a state on }A\}>0$. It then follows that $a-\varepsilon\cdot1$ is positive, from which it follows that the spectrum of $a$ is contained in $[\varepsilon,\infty)$, i.e., $0$ is not in the spectrum of $a$, i.e., $a$ is invertible.

Here's another proof of the reverse direction:

If $a\in A$ is positive and invertible, its spectrum is a compact subset of $(0,\infty)$, and thus $a-\varepsilon\cdot 1$ is positive for some $\varepsilon>0$. Thus if $\phi$ is a non-zero positive linear functional on $A$, we have $$\phi(a)=\varepsilon\phi(1)+\phi(a-\varepsilon\cdot1)\geq \varepsilon\|\phi\|+0>0.$$