strictly positive elements in $C^*$-algebra

Let $A$ be a $C^*\text{-algebra}$ and $A_+$ denote the positive elements. An element $a\in A_+$ is called

strictly positive if $\overline{aAa}=A$. Want to find the following:

a)What are the strictly positive elements of $C_0(\Omega)$ where $\Omega$ is locally compact Hausdorff space, and $C_0(\Omega)$ is the space of continuous complex valued functions that vanishes at $\infty$.

b)If $A$ is unital, then $a\in A_+$ is strictly positive iff $a$ is invertible.

c)if $(e_n)$ is an approximate identity of $A$, then $a:=\sum_{n=}^{\infty}\frac{1}{2^n}e_n$is strictly positive.

What I tried and know:

a) I know that positive elements in this space are functions with positive images, and thus, strictly positive elements are functions with positive images and now real root. is this correct? and how can I show that the positive elements are these kind of functions.

b) I figures out that if $a$ in invertible then $a$ is strictly positive, but no idea how to do the other direction.

c)I did this but using another characterization of strictly positive elements but want to do it with this one, and I don't know how.
Thank you for your help.


Question a) Denoting $\widetilde{\Omega}$ the one point compactification of $\Omega$, and denoting $\infty$ the extra point, we have a natural isometric embedding of $C_0(\Omega)$ into $C(\widetilde{\Omega})$. The range of this embedding is $$ A=\{f\in C(\widetilde{\Omega})\;;\;f(\infty)=0\}. $$ This is clearly a sub $C^*$ algebra of $C(\widetilde{\Omega})$. We claim that its strictly positive elements are $$ A_{++}=\{f\in A\;;\; f(x)\neq 0\;\forall x\in \Omega\}. $$

The key tool is Urysohn's lemma for $C(\widetilde{\Omega})$, which holds because $\widetilde{\Omega}$ is Hausdorff compact, hence normal.

First, assume that $f\in A$ vanishes at some $x_0$ in $\Omega$. By Urysohn, there exists $g\in C(\widetilde{\Omega})$ such that $g(x_0)=1$ and $g(\infty)=0$. Now every function $h$ in $fAf$ has $f(x_0)=0$, hence also every function in $\overline{fAf}$. So $g$ can't belong to the latter, and $f$ is not strictly positive.

Assume now that $f\in A$ does not vanish on $\Omega$. For every function $g\in A$ with support contained in $\Omega$, we can write $g=fhf$ with $h=g/f^2$ on the support of $g$ and $0$ elsewhere. So $g$ belongs to $fAf$. Now every function in $A$ is the uniform limit of functions with support in $\Omega$, using Urysohn again. So $\overline{fAf}=A$, i.e. $f$ is strictly positive.

Back to $C_0(\Omega)$, the strictly positive elements are the positive elements which do not vanish on $\Omega$. That is the positive functions with limit $0$ at $\infty$.

Question b) If $a$ is invertible, then every $x\in A$ can be written $x=aya$ with $y=a^{-1}xa^{-1}$ in $A$. So $A=aAa$. Conversely (the argument has laready been given here by Vahid Shirbisheh), if $A=\overline{aAa}$, then a fortiori $1$ belongs to $\overline{aAa}$. So there exists $x\in A$ such that $\|1-axa\|<1$. As is well-known, in a Banach algebra, this implies that $axa$ is invertible (cf. Neumann series). It follows that $a$ is both left and right invertible, hence invertible. This proves the equivalence.

Question c) I assume by approximate identity you mean every $e_n$ is positive, has $\|e_n\|\leq 1$, and $\lim xe_n=\lim e_nx=x $ for every $x\in A$. The series defining $a$ is absolutely convergent, so $a$ is well-defined.

The only proof I can think of uses the following characterization: $a\geq 0$ such that $\|a\|\leq 1$ is strictly positive if and only if $a^\frac{1}{n}$ is an approximate identity of $A$.

It only remains to observe that $\|a\|\leq 1$ and that, indeed $a^\frac{1}{n}$ is an approximate identity. This follows from the inequalities $$ h^\frac{1}{m}\geq \frac{1}{2^\frac{n}{m}}h_n^\frac{1}{m}\geq \frac{1}{2^\frac{n}{m}}h_n $$ for all $n,m$.