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.
Articles by others on the same topic
There are currently no matching articles.