Kernel of a sum of positive operators
ID: kernel-of-a-sum-of-positive-operators
For bounded positive operators , membership gives . Both terms are nonnegative, so both vanish. The Cauchy-Schwarz inequality for a positive operator makes . The reverse inclusion is immediate. Commutativity is not required.
New to topics? Read the docs here!