Exercise 37, § 1

Let E be a real hilbertian space of dimension $n$ and let $\gamma$ be a positive measure on E such that $\int_E e^{i\langle x|y \rangle} d\gamma(y) = \exp(-\pi \|x\|^2/2)$ for all $x \in E$ (INT, IX, § 6, No. 5). Let $m$ be the unique positive measure of norm 1 on the unit sphere S of E which is invariant under the group of automorphisms of E. a) Let $p$ be a continuous function on E, satisfying $p(t.x) = t.p(x)$ for all $x \in S$ and all real positive $t$. Show that $\int_E pd\gamma = c_n \int_S pdm$ with $c_n = \pi^{1/2} \Gamma(n/2)/\Gamma((n+1)/2)$.

b) Show that there exists a constant $C > 0$, independent of $n$, such that

for every orthonormal basis $(e_1, ..., e_n)$ of $E$.

c) Let $\varepsilon > 0$ and let $k$ be a positive integer. Deduce from b) and exercises 12 (V, p. 63) and 36, d) that if $n$ is large enough, then for even real normed space $V$ of dimension $n$, there exists a vector subspace $W$ of $V$, of dimension $k$, satisfying the following property : there exists a real hilbertian space $W_1$, of dimension $k$, and a bijective linear mapping $u$ from $W$ onto $W_1$ such that $\sup (\|u\|, \|u^{-1}\|) \leq 1 + \varepsilon$.