Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'm working on an exercise from functional analysis.

Let $E$ be a vector space and $\|\cdot\|_1$ and $\|\cdot\|_2$ be two complete norms on $E$. Now suppose that $E$ satisfies the following property:

$\bullet$ if $(x_n)$ is a sequence in $E$ and $x,y\in E$ such that $\|x_n-x\|_1\to 0$ and $\|x_n-y\|_2\to 0$, then $x=y$.

Now we want to show that the norms $\|\cdot\|_1$ and $\|\cdot\|_2$ are equivalent.

My idea is as follows: If for any $n>0$, there is an element $x_n\in E$ such that $\|x_n\|_1>n\|x_n\|_2$. Then consider $(\frac{x_n}{\|x_n\|_1})_{n\geq 1}$. Clearly, $(\frac{x_n}{\|x_n\|_1})_{n\geq 1}$ converges to $0$. However, I cann't get a contradicition from this. Maybe my idea is wrong.

In fact, I even don't konw how to show that a Cauchy sequence in norm $\|\cdot\|_1$ is also a Cauchy sequence in norm $\|\cdot\|_2$.

Anyone can give me some hints or a counter example? Thank you very much.

share|cite|improve this question
Have you tried proving the contrapositive? – Qiaochu Yuan Jun 18 '12 at 7:58
@QiaochuYuan Yes. However, it seems that it doesn't work. – molan Jun 18 '12 at 8:10
up vote 4 down vote accepted

Hint: Define $\Vert \dot\, \Vert_3 := \Vert \dot\, \Vert_1 + \Vert \dot\, \Vert_2$. Show that $\Vert \dot\, \Vert_3$ is a complete norm on $E$. Now use the fact, that the map $f: (E, \Vert \dot\, \Vert_3) \to (E,\Vert \dot\, \Vert_1)$ with $f(x) = x$ for all $x\in E$ is a continuous bijection between Banach spaces.

share|cite|improve this answer
HINT : and you should use the open mapping theorem to conclude for $f$. – JBC Jun 18 '12 at 8:25
Nice. BTW, I use the Open Mapping Theorem to show that $f^{-1}$ is also continuous. Then there exists $C>0$ such that $\|x\|_3\leq C\|x\|_1$ for all $x\in E$. Then $\|x\|_2\leq (C-1)\|x\|_1$ for all $x\in E$. Right? Thank you so much. – molan Jun 18 '12 at 8:29
Yes. (some more characters) – Alexander Thumm Jun 18 '12 at 9:11

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.