3

If $T:K \rightarrow L$ is a bounded linear operator between two Hilbert Spaces $K$ and $L$, then we have automatically that if $T$ is unitary, then $\lVert{T}\rVert = \lVert{T^{-1}}\rVert = 1$ by the following:

$\lVert{Tx}\rVert^{2}_{L} = \langle Tx, Tx\rangle_{L} = \langle x, x\rangle_{K} = \lVert{x}\rVert^{2}_{K} \Rightarrow \lVert{Tx}\rVert_{L} = \lVert{x}\rVert_{K}$

Then immediately from the definition of the operator norm we get $\lVert{T}\rVert = 1$, similarly we can obtain $\lVert{T^{-1}}\rVert = 1$.

However, I get a little confused when going the other way, proving or disproving the converse... (Any insight or hints are much appreciated!).

sc636
  • 307
  • 1
  • 12

1 Answers1

5

Let suppose we work in the Real vector space and complex case will be simsilar.

$$ \|x\|=\|T^{-1}Tx\|\le\|T^{-1}\|\|Tx\|=\|Tx\|\le\|x\|. $$ ie $\|x\|=\|Tx\|$. Therefore, this with the polarization formula imply \begin{split} \langle Tx,y \rangle &=&\frac{1}{4}(\|Tx+y\|^2-\|Tx-y\|^2) \\ &=&\frac{1}{4}(\|Tx+TT^{-1}y\|^2-\|Tx-TT^{-1}y\|^2)\\ &=&\frac{1}{4}(\|x+T^{-1}y\|^2-\|x-T^{-1}y\|^2)\\ &=&\langle x,T^{-1}y \rangle \end{split}

Kadmos
  • 1,907
Guy Fsone
  • 23,903
  • 1
    A note for anyone who asks, the proof of the case of complex scalars is the same (just two more terms to consider in the last equation). Nice work. – Aweygan Feb 07 '17 at 17:13
  • Yes this holds true only for the real case. the complex case is similar. thank for emphasizing. I fixed it – Guy Fsone Feb 07 '17 at 17:17
  • Thanks again! Although, just to clarify, what is the polarization formula actually telling us? – sc636 Feb 07 '17 at 17:18
  • 1
    see the first line formula in blcok of equations in the answer above – Guy Fsone Feb 07 '17 at 17:20
  • sorry the complex case is totally different. you have check beforehand. small exercise for you. – Guy Fsone Feb 07 '17 at 17:25