7
$\begingroup$

Consider a normed vector space $V$. Suppose that for every pair of unit vectors $v,w$ there exists a linear isometry which sends $v$ to $w$ (and leaves the subspace spanned by $v$ and $w$ invariant).

Does it follow that $V$ is an inner product space?

By the formulation and the parallelogram law the problem immediately reduces to the two-dimensional case. I couldn't find a nice argument for that case. It would be nice to have a relatively elementary argument for this.

It seems to me that the answer for $\dim{V} = 2$ should be yes: the group $G$ of linear isometries of $V$ is a closed subgroup of $GL(2,\Bbb R)$ and since the unit sphere is compact, $G$ is compact. However, there aren't that many infinite compact subgroups of $GL(2,\Bbb R)$: up to conjugation, they are $O(2)$ and $SO(2)$. I would like this to tell me that I really have a circle as a unit sphere but I don't really know how to make this precise and how to conclude.

Could you please help me finishing this up or give me an alternative argument (or a counterexample)?

Bonus question: What happens if I drop the condition on leaving the subspace spanned by $v$ and $w$ invariant?

Thanks!

  • 2
    @mixedmath: thank you very much for your help and the welcome! Having registered my account, I expect no further trouble with lost cookies :-) Sorry for the inconvenience.2012-08-08

1 Answers 1

4

The answer to the bonus question in full generality is no. A Banach space is called transitive if for every unit vectors $u,v$ there is a surjective linear isometry mapping $u$ to $v$. There are nonseparable transitive Banach spaces which are not Hilbert spaces. The Banach-Mazur rotation problem asks whether every separable transitive Banach space is a Hilbert space. This remains unsolved. You can find a bunch of references by googling "transitive Banach space" or "Banach-Mazur problem". There is an MO thread with a proof for finite dimensions and a nonseparable counterexample.

  • 0
    Thank you very much for this very interesting and helpful information, I wasn't aware that this was a well-known problem!2012-08-07