Identité du parallélogramme généralisée
dans Topologie
Bonjour
Je cherche à démontrer l'identité du parallélogramme suivante.
$$
\forall n\ge 2, \ \forall x_1, x_2, \ldots,x_n \in H,\quad 2^{-n}||\epsilon_1x_1+\cdots +\epsilon_nx_n||^2=||x_1||^2+\cdots+||x_n||^2,
$$ avec $\epsilon_i=\pm1$ et $H$ un espace de Hilbert.
Je me suis lancé dans une démonstration par récurrence.
Pour $n=2$, on retrouve l'identité du parallélogramme classique.
Pour la partie hérédité, je remarque que :
$||\epsilon_1x_1+\cdots+\epsilon_nx_n+\epsilon_{n+1}x_{n+1}||^2-||\epsilon_1x_1+\cdots+\epsilon_nx_n-\epsilon_{n+1}x_{n+1}||^2=2(||\epsilon_1x_1+\cdots+\epsilon_nx_n||^2+||x_{n+1}||^2).$
Dans le membre de droite, je peux donc utiliser mon hypothèse de récurrence pour obtenir :
$||\epsilon_1x_1+\cdots+\epsilon_nx_n+\epsilon_{n+1}x_{n+1}||^2-||\epsilon_1x_1+\cdots+\epsilon_nx_n-\epsilon_{n+1}x_{n+1}||^2=2(2^n(||x_1||^2+\cdots+||x_n||^2)+||x_{n+1}||^2).$
Et donc que :
$||\epsilon_1x_1+\cdots+\epsilon_nx_n+\epsilon_{n+1}x_{n+1}||^2=2(2^n(||x_1||^2+ \cdots +||x_n||^2)+||x_{n+1}||^2)+||\epsilon_1x_1+\cdots+\epsilon_nx_n-\epsilon_{n+1}x_{n+1}||^2.$
Bon et je vois bien que je ne peux pas conclure... Ou alors, et très certainement, il y a quelque chose que je ne vois pas.
Pourriez-vous m'indiquer des pistes de résolution ?
Merci :-)
Je cherche à démontrer l'identité du parallélogramme suivante.
$$
\forall n\ge 2, \ \forall x_1, x_2, \ldots,x_n \in H,\quad 2^{-n}||\epsilon_1x_1+\cdots +\epsilon_nx_n||^2=||x_1||^2+\cdots+||x_n||^2,
$$ avec $\epsilon_i=\pm1$ et $H$ un espace de Hilbert.
Je me suis lancé dans une démonstration par récurrence.
Pour $n=2$, on retrouve l'identité du parallélogramme classique.
Pour la partie hérédité, je remarque que :
$||\epsilon_1x_1+\cdots+\epsilon_nx_n+\epsilon_{n+1}x_{n+1}||^2-||\epsilon_1x_1+\cdots+\epsilon_nx_n-\epsilon_{n+1}x_{n+1}||^2=2(||\epsilon_1x_1+\cdots+\epsilon_nx_n||^2+||x_{n+1}||^2).$
Dans le membre de droite, je peux donc utiliser mon hypothèse de récurrence pour obtenir :
$||\epsilon_1x_1+\cdots+\epsilon_nx_n+\epsilon_{n+1}x_{n+1}||^2-||\epsilon_1x_1+\cdots+\epsilon_nx_n-\epsilon_{n+1}x_{n+1}||^2=2(2^n(||x_1||^2+\cdots+||x_n||^2)+||x_{n+1}||^2).$
Et donc que :
$||\epsilon_1x_1+\cdots+\epsilon_nx_n+\epsilon_{n+1}x_{n+1}||^2=2(2^n(||x_1||^2+ \cdots +||x_n||^2)+||x_{n+1}||^2)+||\epsilon_1x_1+\cdots+\epsilon_nx_n-\epsilon_{n+1}x_{n+1}||^2.$
Bon et je vois bien que je ne peux pas conclure... Ou alors, et très certainement, il y a quelque chose que je ne vois pas.
Pourriez-vous m'indiquer des pistes de résolution ?
Merci :-)
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
$$\frac{1}{2^n}\sum_{\epsilon_1,\ldots\epsilon_n=\pm 1}\|\epsilon_1 x_1+\cdots+\epsilon_n x_n\|^2=\|x_1\|^2+\cdots+\|x_n\|^2.$$ Pour faire la récurrence de $n$ a $n+1$ poser $a=\epsilon_1 x_1+\cdots+\epsilon_n x_n$ et utiliser $$\frac{1}{2}\|a+x_{n+1}\|^2+\frac{1}{2}\|a-x_{n+1}\|^2=\|a\|^2+\|x_{n+1}\|^2.$$
Du coup, je ne comprends pas l'énoncé, et plus particulièrement comment fonctionne cette somme.
Peux-tu me l'expliquer ?
Merci !
$$\frac{1}{4}(\|x_1 +x_2\|^2+\|-x_1+ x_2\|^2+\|x_1- x_2\|^2+\|-x_1- x_2\|^2).$$