Espaces préhilbertiens réels

Exercices du chapitre « Espaces préhilbertiens réels »

Une base orthonormale

Dans {E} préhilbertien réel, soit {(e_k)_{1\le k\le n}} unitaires tels que : {\forall\, x\in E,\;\left\|{x}\right\|^2=\displaystyle\sum_{k=1}^n\left({e_k}\mid{x}\right)^2}
Montrer que {(e_k)_{1\le k\le n}} est une base orthonormée de {E}.

Conservation de l’orthogonalité

Soit {E} un espace vectoriel euclidien, et soit {f\in{\mathcal L}(E)}.
On suppose que : {\forall\, (u,v)\in E^{2},\;\left({u}\mid{v}\right)\,=0\Rightarrow\ \left({f(u)}\mid{f(v)}\right)\,=0}
Montrer : {\exists\,\lambda\ge0,\;\forall\, u\in E,\;\left\|{f(u)}\right\|=\lambda\left\|{u}\right\|}.

Une base orthonormale de ℝ[X]

Dans {\mathbb{R}[X]}, on pose {\left({A}\mid{B}\right)=\displaystyle\int_{0}^{1}A(t)B(t)\,\text{d}t}, {\;U_{n}(X)=(X^{2}-X)^{n}\;} et {\;P_{n}=U_{n}^{(n)}}.
1. Montrer que {(P_{n})_{n\ge0}} est une famille orthogonale. Calculer \|P_n\|.
2. Former une base orthonormale de {\mathbb{R}_{4}[X]}.

Un produit scalaire?

Soit {a} unitaire dans {E} préhilbertien réel.
Soit \varphi_a\colon E^2\to\mathbb{R} définie par : {\varphi(x,y)=\left({x}\mid{y}\right)+\lambda\left({x}\mid{a}\right)\left({y}\mid{a}\right)}
Pour quels {\lambda\in\mathbb{R}} l’application \varphi_a est-elle un produit scalaire?