2
$\begingroup$

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!).

  • 2
    Can you deduce that $T$ is isometric?2017-02-07
  • 2
    you can first prove that T is isometric (which emanates directly from assumptions ). then make use of the polarization formula to get further.2017-02-07
  • 0
    Yes, @user160738 by unitary operator I mean a bijective, linear isometry. Thanks for the help!2017-02-07

1 Answers 1

4

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

$$ \|x\|=\|TT^{-1}x\|\le\|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}

  • 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.2017-02-07
  • 0
    Yes this holds true only for the real case. the complex case is similar. thank for emphasizing. I fixed it2017-02-07
  • 0
    Thanks again! Although, just to clarify, what is the polarization formula actually telling us?2017-02-07
  • 1
    see the first line formula in blcok of equations in the answer above2017-02-07
  • 0
    sorry the complex case is totally different. you have check beforehand. small exercise for you.2017-02-07