Intereting Posts

How to solve the complex ODE $\mu f'(x) = if(x)$ in the interval $$?
Does $\neg(x > y)$ imply that $y \geq x$?
Show that if $f$ is a continuous map from a compact space into a Hausdorff space is a closed map.
Continuity of a convex function
Floret Tessellation of a Sphere
Eigenvalue of a polynomial evaluated in a operator
When $d \mid n$, the number of elements of order $d$ in a cyclic subgroup of order $n$ is $\phi (d)$
Changing the values of an integrable function $f: \to \mathbb R$ countably infinitely many points not a dense subset of $$
Best software to take math notes?
Why formulate continuity in terms of pre-images instead of image?
Intuition of Wronskian determinant and linear independence
Can Spectra be described as abelian group objects in the category of Spaces? (in some appropriate $\infty$-sense)
Prove that any function can be represented as a sum of two injections
Interchange supremum and expectation
Is $a^b+b^a$ unique for all integers a and b?

Seems simple enough but I can’t quite get it. $X$ is a complex Banach space, and $T\in B(X)$, $T’\in B(X’)$ is its adjoint. Suppose $T’$ is invertible. How can we show that $T$ is invertible?

I have actually already shown $T$ to be 1-1, and that $T^{-1}$, were it to exist, would be bounded. So it actually only remains to show that $T$ is onto.

EDIT: I suspect the following simple result, which I have shown to be true, might help:

- Minimizing continuous, convex and coercive functions in non-reflexive Banach spaces
- How to prove this inequality in Banach space?
- Space of Complex Measures is Banach (proof?)
- How to show that quotient space $X/Y$ is complete when $X$ is Banach space, and $Y$ is a closed subspace of $X$?
- Fréchet differentiability from Gâteaux differentiability
- Are the coordinate functions of a Hamel basis for an infinite dimensional Banach space discontinuous?

$\|Tx\| ≥{\|(T’)^{-1}\|}^{-1} \|x\|$

This is how I know that $ker(T)=\{0\}$, hence 1-1. I think that were we to assume $T$ were not onto, we could somehow show $T’$ is not 1-1 (by showing it has non zero kernel), contradiction since $T’$ invertible. Can anyone see exactly how this might work?

- Compact Metric Spaces and Separability of $C(X,\mathbb{R})$
- Is there a nonnormal operator with spectrum strictly continuous?
- Is there a null sequence that is in not in $\ell_p$ for any $p<\infty$?
- Positive bounded operators
- Compact Hausdorff spaces are normal
- Trace Class: Decomposition
- $L^2$-convergence of a sequence of step functions of differences
- An infinite subset of the closed unit ball whose elements are more than distance 1 apart
- Show that $B$ it is unbounded
- Instructive proofs in functional analysis

Let $T:X\longrightarrow Y$ be a bounded linear operator between two normed vector spaces, and let $T^*:Y^*\longrightarrow X^*$ denote its adjoint. By the open mapping theorem, $T^*$ is invertible if and only if it is bijective, as $X^*$ and $Y^*$ are automatically Banach spaces. This is not true for $T$ in general, but it is true if we assume $X,Y$ to be Banach spaces.

Of course, if $T$ is invertible, $TS=ST=I$ implies $S^*T^*=T^*S^*=I$ hence $T^*$ is invertible with inverse $(T^{-1})^*$. You want the converse, which amounts to: does $T^*$ bijective imply $T$ bijective? Note that if $X,Y$ are supposed to be reflexive, then the result follows trivially via the identification $T^{**}\simeq T$ and the observation above.

Recall that the orthogonal of a set $S$ in $X$ is defined to be $S^\perp:=\{\phi\in X^*\;;\;\phi(x)=0\;\forall x\in S\}$. This is a weak* closed subspace of $X^*$. Now

$$

\mbox{Im}\:T^*\subseteq (\mbox{Ker}\;T)^\perp.

$$

Indeed, if $x^*=T^*y^*$, then $(x^*,x)=(T^*y^*,x)=(y^*,Tx)=0$ for every $x\in\mbox{Ker}\;T$.

As a consequence, if $T^*$ is onto, then $(\mbox{Ker}\;T)^\perp=X^*$. Now if we had $\mbox{Ker}\;T\neq\{0\}$, Hahn-Banach would provide us with a bounded linear functional $x^*\in X^*$ which does not vanish on $\mbox{Ker}\;T$, contradicting $(\mbox{Ker}\;T)^\perp=X^*$. Hence

$$T^*\;\mbox{surjective}\quad\Rightarrow\quad T\;\mbox{injective}.$$

Now observe that in general

$$

\mbox{Ker}\;T^*=(\mbox{Im}\;T)^\perp.

$$

Indeed, $T^*y^*=0$ if and only if $(T^*y^*,x)=0$ for all $x\in X$: that is $(y^*,Tx)=0$ for all $x\in X$, i.e. $(y^*,y)=0$ for all $y\in \mbox{Im}\;T$. So if $T^*$ is injective, we get

$(\mbox{Im}\;T)^\perp=\{0\}$: i.e. every bounded linear functional $y^*\in Y^*$ which vanishes on $\mbox{Im}\;T$ must vanish on $Y^*$. By Hahn-Banach, this yields $\overline{\mbox{Im}\;T}=Y$. The good way to see this is to consider the annihilator: if $S\subseteq Y^*$, denote $S^o:=\{y\in Y\;;(y^*,y)=0\;\forall y^*\in S\;$. Then for any subspace $F$ in $Y$, $(F^\perp)^o=\overline{F}$. Hence

$$

(\mbox{Ker}\;T^*)^o=\overline{\mbox{Im}\;T}.

$$

By Hahn-Banach, $S^o=Y$ if and only if $S=\{0\}$. So we get an equivalence:

$$T^*\;\mbox{injective}\quad\iff\quad \overline{\mbox{Im}\;T}=Y.$$

Finally, and that’s the **tricky part** of the whole thing, actually: when $X,Y$ are Banach spaces

$$\mbox{Im}\;T\;\mbox{is closed}\quad\iff\quad \mbox{Im}\;T^*\;\mbox{is closed}.$$

Proof: see here, page 77.

**Note:** it can probably be simplified here given that we assume $T^*$ to be invertible, but I think it is good to remember this general fact.

**Conclusion:** these three pieces altogether show that when $X,Y$ are Banach spaces, $T^*$ is invertible if and only if $T$ is invertible.

- How to calculate $f(x)$ in $f(f(x)) = e^x$?
- Properties of Adjoint functors
- A pathological example of a differentiable function whose derivative is not integrable
- Find the Polar of a set.
- On the propagation of singularities in PDE
- What is rotation when we have a different distance metric?
- Can any integer can be written as the sum of 8 integer cubes?
- Derivation of binomial coefficient in binomial theorem.
- Help proving ${n \choose k} \equiv 0 \pmod n$ for all $k$ such that $0<k<n$ iff $n$ is prime.
- Bepo – levi implies monotonone convergence theorem??
- Looking for counterexamples where the output of a computable function always has a computably checkable property, but PA cannot prove this
- Find the value of $\frac{1}{d_1}+\frac{1}{d_2}+\dots+\frac{1}{d_k}$.
- what does “the conjugacy part of sylow's theorems” denote?
- Help proving that a Banach space is reflexive
- probability distribution of coverage of a set after `X` independently, randomly selected members of the set