Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2009/iii/paper-8/4/b/solution
Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 8 4 b Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
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 seriesThe last equality follows by taking in this positive-coefficient series. Consequentlyconverges 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!