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

Let $V$ be a vector space over $\mathbb{C}$. If $V$ is an inner product space, then $V$ is normed (where the norm is defined as $\|x\|=\sqrt{(x,x)}\,\,$). Now if $V$ is normed, does it follow that $V$ is an inner product space ? I suspect no. I would like to see an example.

Thank you.

After reading my question again, I think it needs some clarification:

Suppose that $V$ is normed with norm $||\,||$. Can $V$ be given an inner product space structure such that $(x,x)=||x||^2$ ?

share|cite|improve this question
No. See this. – David Mitra Oct 16 '13 at 18:58
@DavidMitra Thanks. – Amr Oct 16 '13 at 19:01
up vote 2 down vote accepted

For an example of a norm that is not induced by an inner product, consider Euclidean space $\Bbb R^n$ (where $n\ge 2$) with the norm $$\lVert \vec x\rVert_1:=\sum_{k=1}^n |x_k|.$$

share|cite|improve this answer
Is it clear that no inner product induces this norm ? I don't see it immediately. – Amr Oct 16 '13 at 19:47
Recall that in David's link, it was mentioned that a norm is induced by an inner product if and only if the parallelogram law holds. It does not hold for $\lVert\cdot\rVert_1.$ See if you can prove that in the two-dimensional case. – Cameron Buie Oct 16 '13 at 19:51

Inner product spaces satisfy the parallelogram law.

If you can find a counterexample to the parallegram law in a space with the sup norm, then you've found a normed linear space that is not an inner product space.

Even more interestingly, inner product spaces are the ONLY normed vector spaces that satisfy the parallelogram law.

share|cite|improve this answer

Normed vector spaces with an inner product are, in fact, quite rare. For example $L^p(X)$ is normed by $$\Vert f\Vert_p := \left( \int_X |f|^p d\mu \right)^{\frac 1 p}$$ for all $1\leq p < \infty$ (and $\mathop {{\rm ess}\, \sup}_{x\in X} |f(x)|$ for $p=\infty$) but only has an inner product for $p=2$ $$\langle f,g \rangle_2 = \int_X f \bar{g} d\mu$$

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.