Difference of two positive operators

Question

I'm trying to do a problem for my Hilbert spaces class and am a bit stuck, it'd be nice to get a hint for the following question.

An operator $T\in B(H)$ is positive and we write $T \geq 0$ if $T$ is self-adjoint and $\langle Tx,x\rangle \geq 0$ $\forall x \in H$. Let $S,T$ be self-adjoint operators in $B(H)$. We say that $S\leq T$ if $T-S \geq 0$. Prove that if $0 \leq S \leq T$ then $\|S\| \leq \|T\|$. Suggestion: prove that $$|\langle Sx,y\rangle |^2 \leq \langle Sx,x\rangle \langle Sy,y\rangle \leq \langle Tx,x\rangle \langle Ty,y\rangle $$.

I have been unable to neither prove the suggestion nor the statement itself.

Many Thanks

Answer 1

Hints:

• $\ |\langle Sx, y\rangle|^2 \le \langle Sx, x\rangle \langle Sy, y\rangle\ $ is a Cauchy-Schwarz-like inequality for the "inner product" $\ \langle x, y\rangle_S\stackrel{\text{def}}{=} \langle Sx, y\rangle\ $ When $\ S\ $ is positive definite, $\ \langle.,. \rangle_S\ $ is an inner product (i.e. has all the properties required of an inner product). When $\ S\ $ is merely positive, $\ \langle.,. \rangle_S\ $ is not quite an inner product, since there may be non-zero vectors $\ x\ $ for which $\ \langle x, x\rangle_S=0\ $, but the Cauchy-Schwarz-like inequality can still be proved in the same way as the standard Cauchy-Schwarz inequality.
• $\ \langle Sx, x\rangle \le \langle Tx, x\rangle\ $ is an immediate consequence of $\ 0\le\langle (T-S)x, x\rangle\ $.
• $\ \sup_\limits{\|x\|\le1\\\|y\|\le1} |\langle Sx, y\rangle|=\|S\|\ $ and $\ \sup_\limits{\|x\|\le1} \langle Tx, x\rangle\le\|T\|\ $

Answer 2

It's not so difficult to prove that $$ |\langle Sx,y\rangle|^2 \le \langle Sx,x\rangle\langle Sy,y\rangle \le \langle Tx,x\rangle\langle Ty,y\rangle. $$ The first inequality is the Cauchy-Schwarz inequality for a pseudo inner product. From this it follows that $$ |\langle Sx,y\rangle|^2 \le \|Tx\|\|x\|\|Ty\|\|y\| \le \|T\|^2\|x\|^2\|y\|^2 \\ \|S\|^2=\sup_{\|x\|=\|y\|=1}|\langle Sx,y\rangle|^2 \le \|T\|^2 \\ \|S\| \le \|T\|. $$