# Characterization of Hilbert spaces [duplicate]

Let $X$ be a Banach space for which there exists a constant $\beta<\infty$ such that for every finite-dimensional subspace $B$ of $X$ , $d(B,\ell_2^n)\le\beta$ (where $\dim B=n$). Then $X$ is isomorphic to a Hilbert space.

$d(B,\ell_2^n):$ Banach-Mazur distance

$\ell_2^n=(\mathbb{R}^n,||\cdot||_2)$

Any hints would be appreciated.

## marked as duplicate by Norbert, Jared, Chris Eagle, tomasz, Davide GiraudoJul 19 '13 at 8:36

• Do you know that it's enough to show $X$ is isomorphic to a space where the parallelogram law holds? – Kevin Carlson Jul 19 '13 at 2:52

Let $S$ be the lattice of finite-dimensional subspaces of $X$. For each $B\in S$, let $T_B$ be an isomorphism of $B$ onto a Euclidean space with indicated distortion bound. For each fixed $x\in X$, define a function $F_x:S\to [0,\infty)$ by $F_x(B)=0$ if $x\in B$, and by $F_x(B)=|T_Bx|^2$ otherwise. Then average $F_x$ over all $B$, and declare the result to be $\|x\|^2$. Finally, check that $\|\cdot\|^2$ satisfies the parallelogram law (which it does, being the average of functions that do).
The averaging process amounts to constructing an invariant mean on $S$. Some functions $F:S\to\mathbb R$ have the limit $\lim_S F (B)$ (limit makes sense since $S$ is directed by inclusion). A form of Hahn-Banach theorem extends this limit to an appropriately controlled linear functional on all bounded functions $S\to \mathbb R$.
The comparability of $\|\cdot\|$ to the original norm follows from the fact that the Hahn-Banach extension of $\lim_S F$ is pinched between $\liminf_S F$ and $\limsup_S F$.