# Adjoint operator on Banach space

Suppose $X$ and $Y$ are Banach spaces and $T:X\to Y$ is a bounded linear operator. Show that $T$ is an isometric isomorphism if and only if its adjoint $T^*$ is also an isometric isomorphism. Given an example where $T$ is isometric while $T^*$ is not.

I manage to prove that if $T$ is an isometric isomorphism, then $T^*$ is an isomorphism. However, I don't know how to show $T^*$ is isometric. Can someone please help me?

For the other direction, can I just show $T^{**}=T$ (reflexive) and conclude; or do I have to use something else to prove?

Also, what would be the example? Can I use the shift in $l^2$?

Thank you.

• In general it is not true that $T^{\ast \ast} = T$. Are $X,Y$ reflexive spaces? – Christopher A. Wong Apr 23 '15 at 1:05
• No, they are only Banach spaces. – Ovl0422 Apr 23 '15 at 1:08
• The most trivial counterexample would be the zero operator $T = 0$ from $X = \{0\}$ into an arbitrary Banach space $Y$. – gerw Apr 23 '15 at 6:27

The defining property of the adjoint is that for all $x\in X$ and $y^*\in Y^*$ then

$$(Tx,y^*)=(x,T^*y^*)$$

We have that $$\|T^*y^*\|=\sup_{x\neq0}\frac{(x,T^*y^*)}{\|x\|}=\sup_{x\neq0}\frac{(Tx,y^*)}{\|x\|}=\sup_{x\neq0}\left(\frac{Tx}{\|x\|},y*\right)=\sup_{\|y\|=1}(y,y^*)=\|y^*\|$$

The second-to-last equality is because $\frac{Tx}{\|x\|}$ returns all norm-one vector of $Y$ as $x$ moves along the non-zero elements of $X$. This is because $T$ is an isometric isomorphism.

The other direction is the same story, just begin with $\|Tx\|=\sup_{y^*\neq0}\frac{(Tx,y^*)}{\|y^*\|}$.

Ah, for the example, yes use the unilateral shift operator. The adjoint is the backwards shift, which kills the first component and therefore a little bit of the norm in some cases.

• How are you using scalar products in a Banach space – badatmath Jul 10 at 18:19