Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2009/iii/paper-8/4/b/solution

For a bounded self-adjoint , nonnegative spectrum is equivalent to . Here is a useful elementary justification of the nontrivial direction. Let and , so has nonnegative quadratic form. Cauchy-Schwarz for that positive form gives . Taking unit vectors approaching the infimum makes , hence . Thus nonnegative spectrum forces . The reverse direction follows from the lower bound and adjoint argument for when , together with reality of the self-adjoint spectrum.
If its positive square root is zero. Otherwise set and , so and . Write the scalar binomial series
The last equality follows by taking in this positive-coefficient series. Consequently
converges absolutely in operator norm. Each partial sum is positive, because and the sum of its coefficients is at most one. The limit is positive and self-adjoint. Multiplying the absolutely convergent series gives .
For uniqueness let be another positive square root. It commutes with , hence with the polynomial-norm-limit . Thus . The kernel of is : zero quadratic form for a positive operator implies it annihilates the vector, by positive-form Cauchy-Schwarz. The difference vanishes there and on ; the latter is dense in the kernel complement because is self-adjoint. Therefore . The positive square root of an operator exists and is unique.

New to topics? Read the docs here!