Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2010/iii/paper-6/5/i/solution
Past exam of the mathematics course of the University of Cambridge 2010 iii Paper 6 5 i Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
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.
New to topics? Read the docs here!