Intereting Posts

Construction of a Radon measure from a certain family of compact subsets
Geometrical Proof of a Rotation
Intuitive explanation of covariant, contravariant and Lie derivatives
Find $\int \frac{5x^4+4x^5}{(x^5+x+1)^2}$
3 random numbers to describe point on a sphere
Conditional probability on zero probability events (Definition)
Pointwise vs. Uniform Convergence
Picard's existence theorem, successive approximations and the global solution
Cardinal equality: $\;\left|\{0,1\}^{\Bbb N}\right|=\left|\{0,1,2,3\}^{\Bbb N}\right|$
Why Study Critical Polynomials?
Examples of mathematical results discovered “late”
Understanding Reed-Solomon as it applies to Shamir secret sharing
Find Cartesian equation of $r=\theta$
Products of quotient topology same as quotient of product topology
Prove that $k/(xy-zw)$, the coordinate ring of $V(xy-zw) \subset \mathbb{A}^4$, is not a unique factorization domain

I can’t make up my mind whether this question is trivial, or simply wrong, so i decided to ask, just in case someone sees a fallacy in my reasoning:

**Question:** *Suppose $V,W$ are two banach spaces, and $T:V\to W$ is an isomorphism. Is $T^*:W^*\to V^*$ an isomorphism?*

On the one hand this seems trivial- it requires a little work, but one can show that $T^*$ is injective, given that $T$ is surjective without working too hard, so if $T^*$ is also surjective, the open mapping theorem should finish the work for us:

- Show that lower semicontinuous function is the supremum of an increasing sequence of continuous functions
- A function satisfy $x\frac{\partial f(x,y)}{\partial x}+y\frac{\partial f(x,y)}{\partial y}=0$ in a convex domain implies it is a constant
- Under what condition we can interchange order of a limit and a summation?
- Cauchy's residue theorem with an infinite number of poles
- Is there a formula similar to $f(x+a) = e^{a\frac{d}{dx}}f(x)$ to express $f(\alpha\cdot x)$?
- When $\min \max = \max \min$?

To show this, let $f\in V^*$ be arbitrary. Then $f\circ T^{-1}:W\to \mathbb{C}$ is bounded and linear (since $T^{-1}$ and $f$ both are), and $$T^*(f\circ T^{-1})(w)=f\circ T^{-1}(Tw)=f(w)$$

again, this apears (to me, at least) to be correct, but my little experience with Banach spaces has taught me to fear such immediate results, when discussing duals :-P…

anyhow, I would be very happy if someone could tell me if I’m correct, or otherwise, give a counter-example, or point to a mistake.

Additionally, assuming this isn’t as immediate as I thought- does the assertion hold when $T$ is an isometric isomorphism?

Thank you very much

ðŸ™‚

(p.s i added the homework tag, as this question arose as part of a h.w assignment, but this isn’t a h.w question per-se)

- Map bounded if composition is bounded
- Uniform boundedness principle for norm convergence
- Does $L^p$-convergence imply pointwise convergence for $C_0^\infty$ functions?
- Any open subset of $\Bbb R$ is a at most countable union of disjoint open intervals.
- Fredholm operator norm
- Proof of uniform convergence and continuity
- If weak topology and weak* topology on $X^*$ agree, must $X$ be reflexive?
- Categorical Banach space theory
- Is $\{\frac{m}{10^n}\mid m,n\in\mathbb Z,\ n\geq 0\}$ dense in $\mathbb R$?
- Limit of a particular variety of infinite product/series

For the first part, your argument is okay.

I’d argue:

- For every Banach space $V$ we have $(1_{V})^\ast = 1_{V^\ast}$
- For bounded linear maps we have $(ST)^\ast = T^\ast S^\ast$.

This implies that for $S: V \to W$ and $T: W \to V$ such that $ST = 1_{W}$ and $TS= 1_{V}$ that $T^\ast S^\ast = 1_{W^\ast}$ and $S^\ast T^\ast = 1_{V^\ast}$, in other words $(S^{-1})^\ast = (S^\ast)^{-1}$.

As for isometric isomorphisms, check that the inverse of an isometric isomorphism is isometric and that the adjoint of an isometric isomorphism is isometric, too.

No need to invoke the open mapping theorem anywhere.

Some hints

1) Every functor preserves isomorphisms.

2) The map

$$

\begin{align}

{}^*&:\operatorname{Ban}\to\operatorname{Ban}&:&W\mapsto W^*\\

&:\mathcal{B}(U,V)\to\mathcal{B}(V^*,U^*)&:&T\mapsto T^*

\end{align}

$$

is a contravariant functor from category of Banach spaces into category of Banach spaces.

3) For the case of isometric isomorphism consider restriction of $^*$ functor on the category of Banach spaces with contractive maps.

- help with fourier transform integral
- Proof that gradient is orthogonal to level set
- Countable product of Polish spaces
- Generating the Borel $\sigma$-algebra on $C()$
- How to “Re-write completing the square”: $x^2+x+1$
- Examples of categories where epimorphism does not have a right inverse, not surjective
- How to show $\ell^2_p$ not isometric to $\ell^2_{p'}$ unless $p\in\{1,2,\infty\}$?
- Zeta function's asymptotic $\zeta(\sigma+it) = \mathcal{O}(|t|^{1-\sigma+\epsilon})$
- An example of a derivation at a point on a $C^k$-manifold which is not a tangent vector
- Weighted sum of squares, in a finite field
- Composition of two reflections (non-parallel lines) is a rotation
- Simple Complex Number Problem: $1 = -1$
- Finding the power series of a rational function
- Intuitive approach to topology
- Proof for divisibility rule for palindromic integers