Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2010/iii/paper-6/5/i/solution

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.

New to topics? Read the docs here!