What do ⟨Tv, v⟩ ≥ 0, nonnegative eigenvalues, a self-adjoint square root and T = R*R all have in common?
Loading…
Definition of a positive operator, with examples
Define positive as self-adjoint with for all , note the self-adjoint condition is automatic over , and verify positivity of and of .
Square root of an operator
Define as a square root of when , and check that squares to .
Statement of the six equivalent conditions
Write (a)–(f): positive, self-adjoint with nonnegative eigenvalues, nonnegative diagonal in an orthonormal basis, positive square root, self-adjoint square root, , each matched to its nonnegative-number analogue.
The cycle of implications (a) through (f)
Prove each link of (a)⇒(b)⇒(c)⇒(d)⇒(e)⇒(f)⇒(a), building for (c)⇒(d) and computing and for (f)⇒(a).