Since and are positive, their spectra are nonnegative. Translation of the spectrum of an element gives , so both elements are invertible. Their inverses and inverse square roots are positive by the continuous functional calculus. Also is positive because the scalar function is nonnegative on .
For the order reversal, set
The inequality uses congruence preserves positivity in a C-star algebra. continuous functional calculus gives . Since
another congruence shows
Consequently
Here is strictly positive in the stronger invertible sense: , because its spectrum is the set of reciprocals of the positive spectral values of . This is inversion reverses the order of strictly positive elements; no commutativity of is required.

Articles by others on the same topic (0)

There are currently no matching articles.