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, setThe inequality uses congruence preserves positivity in a C-star algebra. continuous functional calculus gives . Sinceanother congruence showsConsequentlyHere 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
There are currently no matching articles.