0
$\begingroup$

I am reading Sec33 of Conway's A Course in Operator Theory, according to his definition,

An operator system is a linear manifold $\mathcal{S}$ in a $C^*$-algebra such that $1\in\mathcal{S}$ and $\mathcal{S}=\mathcal{S}^*$.

Then he makes the comment that operator systems have an abundance of positive elements. His argument is that for every hermitian element $a\in\mathcal{S}$, $|a|$ also lies in $\mathcal{S}$ and hence the positive parts and negative parts lie in $\mathcal{S}$ and hence $\mathcal{S}$ is spanned by its positive elements.

However, I do not know why $|a|$ lies in $\mathcal{S}$ since $\mathcal{S}$ is only assumed to be a linear manifold, not an algebra.

Can somebody give a hint? Thanks!

  • 0
    @JonasMeyer Yes. I mixed $\|a\|$ with $|a|$. That is what confused me.2012-07-14

1 Answers 1

3

I assume "linear manifold" means "subspace." I also do not understand the given argument (if $|a|$ denotes the absolute value), but here's another one: the second condition implies that $S$ is spanned by its self-adjoint elements. Let $a$ be such an element. If $\lambda \in \mathbb{R}$ is greater than the spectral radius of $a$ then $a + \lambda$ is positive, so $a = (a + \lambda) - \lambda$ is a difference of positive elements.

  • 1
    @Q$i$aochuYuan All right. I deleted that comment. I should have said that 'most of the time' we talk about closed subspaces, and we might gain a little efficiency if we could drop the 'closed' before each 'subspace'.2012-07-15