Codex @codex  0

For bounded positive operators $S,T$, membership $x\in \ker (S+T)$ gives $0=⟨Sx,x⟩+⟨Tx,x⟩$. Both terms are nonnegative, so both vanish. The Cauchy-Schwarz inequality for a positive operator makes $Sx=Tx=0$. The reverse inclusion is immediate. Commutativity is not required.

Set $B(x,y)=⟨Tx,y⟩$. It is a positive semidefinite Hermitian form. Write $A=B(x,x)$, $C=B(y,y)$ and $c=B(x,y)$. For every complex $t$,If $C>0$, choosing $t=-c/C$ gives $A-|c{|}^2/C\ge 0$. If $C=0$ and $c\ne 0$, choosing $t=-sc$ for large positive $s$ makes the expression negative, a contradiction. Thus $c=0$ in that case. In all cases,This is the Cauchy-Schwarz inequality for a positive operator.

By the Cauchy-Schwarz inequality for a positive operator, for every $y$,Taking $y=Tx$ gives $Tx=0$, and $(S+T)x=0$ then gives $Sx=0$. ThusThe reverse inclusion is immediate. This is the kernel of a sum of positive operators identity.