If a Banach space is
isomorphic in the vector and norm sense
to another Banach space, does this imply the two are isometrically isomorphic?
I think so, because: from Wikipedia
- "an isometry [...] is a linear map f which preserves the norm"
- "a surjective isometry [...] is called an isometric isomorphism"
and Definition 1.3 from here
- an isomorphism between two vector spaces is a map that is one-to-one and onto and preserves structure.
So if two Banach spaces are isomorphic in both the vector sense and the norm sense, they must be isometrically isomorphic?
Let $X$ and $Y$ be the two Banach spaces in question.
Isomorphic in the vector sense means that there exists a linear bijection $\Phi : X \to Y$. Notice that $\Phi^{-1}$ is also a linear bijection.
Isomorphic in the norm sense could mean several things:
In this case we would say that $X$ and $Y$ are isometrically isomorphic.
In fact, if $X$ and $Y$ are real spaces then $(3) \implies (2)$.