8

Let $X, Y$ be normed spaces and $T : X \to Y$ bounded and linear, such that its adjoint $T^* : X^* \to Y^*$ is boundedly invertible.

If $X$ and $Y$ are Banach spaces, then $T$ is also boundedly invertible, see, e.g., the answer here: Show $T$ is invertible if $T'$ is invertible where $T\in B(X)$, $T'\in B(X')$

However, I suspect that this is not true if $X$ or $Y$ are not complete.

Is there a simple example for such a non-invertible $T$ with invertible $T^*$?

Edit: I found some simple examples in case $X$ is not complete: Let $X$ be a dense, proper subspace of an reflexive space $Z$. Let $T = i_{X}: X \to X^{**} = Z^{**}$ and $S = i_{X^*} : X^*=Z^* \to X^{***}=Z^{***} $ be the canonical embeddings into the biduals. Then, one can show $T^* = S^{-1}$. Hence, $T^*$ is invertible, but $T$ is not.

Therefore, only the case $X$ complete, $Y$ not complete is left. If I do not miss something, we get that $T$ is (not necessarily boundedly) invertible in this case.

gerw
  • 33,373

2 Answers2

2

Yes: as you say, $T$ is invertible but the inverse will be unbounded if $Y$ is not complete.

Because one can apply the same proof, to conclude that $T$ is injective and has dense image. The inverse cannot be bounded because if it were we would be able to extend it from $Y$ to its closure, with inverse $T$, and then the image of $T$ would be the closuse of $Y$.

Martin Argerami
  • 217,281
2

If $X$ is complete and $Y$ is not, then $T'$ can not be invertible.

Assume $T'$ is invertible, then it is bijective operator between Banach spaces. Hence $T'$ is bounded below and open mapping.

1) Since $T'$ is bounded below, then by result of this answer $T$ is open mapping.

2) Since $T'$ is open mapping by result of this answer operator $T''$ is bounded below. By $i_E$ we denote standard isometric embedding into second dual, then $i_Y T=T'' i_X$. From here we derive that $T$ is also bounded below.

From 1) and 2) we see that $T$ is bounded below and open mapping, hence not only a bijection but an isomorphism. Since $T$ is an isomorphism and $X$ is complete, then so does $Y$. Contradiction.

Norbert
  • 58,398
  • 1
    So putting it together, we get the following theorem: If $X$ is complete and $T'$ is boundedly invertible, then $T$ is boundedly invertible. Thank you for your effort! – gerw Nov 12 '13 at 19:15
  • You are wellcome! – Norbert Nov 12 '13 at 19:17