# Isomorphisms between topological vector spaces [closed]

Let $f : X \to Y$ be a continuous map of complete topological vector spaces. Suppose that $A \subseteq X$ and $B \subseteq Y$ are proper, dense linear subspaces, and that the restriction map $f : A \to B$ is an isomorphism. Is the original map an isomorphism?

-

## closed as unclear what you're asking by Tom LaGatta, Yemon Choi, Daniel Moskovich, Todd Trimble♦, Qiaochu YuanJul 2 '13 at 7:48

Please clarify your specific problem or add additional details to highlight exactly what you need. As it's currently written, it’s hard to tell exactly what you're asking. See the How to Ask page for help clarifying this question.If this question can be reworded to fit the rules in the help center, please edit the question.

Let $f$ be the inclusion of a dense subspace and let $A = B = X$...? – Qiaochu Yuan Jul 2 '13 at 6:05
@QiaochuYuan, I am a bit slow and do not understand your comment... Could you elaborate a bit? – András Bátkai Jul 2 '13 at 6:26
@András: Suppose $Y$ is a topological vector space and $X$ a dense subspace of it. Let $f : X \to Y$ denote the inclusion. $f$ restricts to an isomorphism $f : A \to B$ where $A = B = X$, but $f$ is not itself an isomorphism if $X$ is not all of $Y$. But the question mark in my comment is because I assume Tom forgot a condition or something. – Qiaochu Yuan Jul 2 '13 at 6:27
@QiaochuYuan, thanks much for the obvious counterexample. You're right: I must be missing some condition. – Tom LaGatta Jul 2 '13 at 6:37
Voting to close since this question needs further thought before continuing – Yemon Choi Jul 2 '13 at 7:02

If $E$ and $F$ are separated l.c. spaces, $t:E\to F$ continuous, linear, then there is a unique continuous linear extension $\hat t: \hat E \to \hat F$. Here $\hat E$ is the completition.
If further $t$ is an isimorphism onto $t(E)$, then $\hat t$ is an isomorphism of $\hat E$ onto $\hat t(\hat E)$.
You mean $t$, not $f$. – The User Jul 2 '13 at 7:47