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!