 Solution

ID: past-exam-of-the-analysis-course-of-the-university-of-oxford/2010/b/5/vi/solution

y

∣ ⟨ T x, y ⟩ ∣^{2} \leq ⟨ T x, x ⟩ ⟨ T y, y ⟩ = 0.

Taking

y = T x

gives

T x = 0

, and

(S + T) x = 0

then gives

S x = 0

. Thus

ker (S + T) = ker S \cap ker T .

The reverse inclusion is immediate. This is the kernel of a sum of positive operators identity.

 New to topics? Read the docs here!