Skip to main content
added 12 characters in body
Source Link
Jan Weidner
  • 13.2k
  • 11
  • 61
  • 88

For $x$ a self adjoint element of a $C^*$ algebra it is equivalent:

  1. $x$ has non negative spectrum
  2. $x$ has a self adjoint square root $x=y^*y$$x=y^2$
  3. $x$ is a finite sum of squares $x=\sum {a_i}^*a_i$

in this case $x$ is indeed called positive.

For $x$ a self adjoint element of a $C^*$ algebra it is equivalent:

  1. $x$ has non negative spectrum
  2. $x$ has a square root $x=y^*y$
  3. $x$ is a finite sum of squares $x=\sum {a_i}^*a_i$

in this case $x$ is indeed called positive.

For $x$ a self adjoint element of a $C^*$ algebra it is equivalent:

  1. $x$ has non negative spectrum
  2. $x$ has a self adjoint square root $x=y^2$
  3. $x$ is a finite sum of squares $x=\sum {a_i}^*a_i$

in this case $x$ is indeed called positive.

Post Made Community Wiki
Source Link
Jan Weidner
  • 13.2k
  • 11
  • 61
  • 88

For $x$ a self adjoint element of a $C^*$ algebra it is equivalent:

  1. $x$ has non negative spectrum
  2. $x$ has a square root $x=y^*y$
  3. $x$ is a finite sum of squares $x=\sum {a_i}^*a_i$

in this case $x$ is indeed called positive.