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

While studying some notes on normed vector spaces, I have come upon the proof that addition $+:V \times V\to V$ of vectors in a normed vector space $V$ is a continuous operation.

The proof of this fact is quite easy except of (in my opinion) one step: the choice of the norm on $V \times V$. The proof has been done for a norm defined as $\|(v_1,v_2)\| = \|v_1\| + \|v_2\|$ and a comment has been made that certain other norms (e.g. $\|(v_1,v_2)\| = \max\{\|v_1\|,\|v_2\|\}$) can be used as well, since they generate the same topology (the product topology, I suppose).

However, I struggle with the question what is the precise set of all norms that can be used in this proof. I suppose that the theorem has to be interpreted in the way that $+$ is continuous with respect to the product topology. Thus, my question can be restated as follows: given a norm $\|\cdot\|$ on $V$ generating a topology $\tau$, which norms can be used on $V \times V$ to generate the product topology with respect to $\tau$?

I do not find this question to be straightforward, since in infinite dimensional spaces, norms need not be equivalent.

Thank you in advance.

share|cite|improve this question
At lest all norms of the type $\|\|(v,w)\|\|:= \|| (\|v\|,\|w\|)\||$ with all norms $\||\cdot\||$ in $\mathbb{R}^2$. – Dirk Jan 10 '13 at 11:26
The (tautological) answer is: all norms on $V\times V$ that are equivalent to $\|v_1\|+\|v_2\|$. There is no description of all norms that are equivalent to a given one. – user53153 Jan 11 '13 at 0:07
up vote 2 down vote accepted

Any Norm $p$ on $\mathbb R^2$ (you know that the are all equivalent) gives you a norm $(v,w)\mapsto p(\|v\|,\|w\|)$ on $V\times V$ which is equivalent to $\|v\| +\|w\|$ and induces the product topology. Your question could be whether all equivalent norms are of that form.

share|cite|improve this answer

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.