(Oral Mines-Ponts)
Dans {\mathbb{R}^{n}} euclidien, soit {a\in\text{O}(\mathbb{R}^{n})}.
-
Montrer que {\mathbb{R}^{n}=\text{Ker}\,(a-\text{Id})\oplus \text{Im}\,(a-\text{Id})}.
-
Montrer que la suite {N\mapsto b_{N}=\dfrac{1}{N}\displaystyle\sum\limits_{k=0}^{N-1}a^{k}} converge et trouver sa limite.
|
Cliquer ici pour voir (ou cacher) le corrigé
- En vertu du théorème du rang, il suffit d’établir : {\text{Ker}(a-\text{Id})\cap\text{Im}(a-\text{Id})=\{\ 0\}}
-
Solution 1 :
Soit {x} dans {\text{Ker}(a-\text{Id})\cap\text{Im}(a-\text{Id})}.
Ainsi {a(x)=x} et : {\exists\,y\in E,\;x=a(y)-y}.
Par une application répétée de {a}, on trouve : {\forall k\in\mathbb{N}^{*},\; x=a^{k}(y)-a^{k-1}(y)\quad(E_{k})}Par sommation de {(E_{1}),\ldots,(E_{n})}, on trouve :{nx=a^{n}(y)-y\text{\ donc\ }x=\dfrac{1}{n}(a^{n}(y)-y)}Or {a} donc {a^n} sont dans {O(\mathbb{R}^{n}}.
On en déduit : {\|{a^{n}(y)\!-\!y}\|\le\|{a^{n}(y)}\|\!+\!\|{y}\|=2\|{y}\|}Ainsi : {\displaystyle\lim_{n\to+\infty}\dfrac{1}{n}(a^{n}(y)-y)=0}.
On en déduit {x=0}, et c’est fini.
-
Solution 2 :
On montre que {\text{Ker}(a-\text{Id})} et {\text{Im}(a-\text{Id})} sont orthogonaux.
Soit {\begin{cases}x\in\text{Ker}(a-\text{Id})\\y=a(z)-z\in\text{Im}(a-\text{Id})\end{cases}}.
Avec ces notations, on a : {\begin{array}{rl}(x\mid y)&=(a(x)\mid a(z)-z)\\[6pts]&=(a(x)\mid a(z))-(a(x)\mid z)\end{array}}Mais {a} est une isométrie donc :{\begin{cases}(a(x)\mid a(z))=(x\mid z)\\(a(x)\mid z)=(x\mid z)\end{cases}}Ainsi {(x\mid y)=0} et on a obtenu :{\text{Ker}(a-\text{Id})\perp \text{Im}(a-\text{Id})}En particulier : {\text{Ker}(a-\text{Id})\cap\text{Im}(a-\text{Id})=\{\ 0\}} et c’est fini.
-
Soit {x=x_1\!+\!x_2\in \mathbb{R}^n}, où {\begin{cases}x_1\in \text{Ker}(a\!-\!\text{Id})\\ x_2\in \text{Im}(a\!-\!\text{Id})\end{cases}}
Soit {z\in E} tel que {x_2=a(z)-z}.
Pour {k\in \mathbb{N}}, on a : {a^kx=a^kx_1+a^kx_2=x_1+a^{k+1}(z)-a^{k}(z)}Par sommation : {\forall\,n\in \mathbb{N}^*,\;\displaystyle\sum_{k=0}^{n-1} a^kx=nx_1+a^{n}(z)-z}Ainsi : {b_n(x)=x_1+\dfrac{1}{n}(a^{n}(z)-z)}.
Or {a} conserve la norme donc :{\|(a^{n}(z)-z)\|\leq \|a^{n}(z)\|+\|z\|=2\|z\|}Ainsi {\displaystyle\lim_{+\infty}\dfrac{1}{n}(a^{n}(z)-z)=0} donc {\displaystyle\lim_{+\infty}b_n(x)=x_1}.
Soit {p} la projection de {E} sur {\text{Ker}(a-\text{Id})}.
Pour tout {x\in E}, on a {\displaystyle\lim_{n\to+\infty}b_n(x)=p(x)}.
Soit {(e_1, \ldots, e_n)} la base canonique de {\mathbb{R}^n}.
Posons {N:u\in \mathcal L(E)\mapsto \displaystyle\sum_{i=1}^n\|u(e_i)\|}.
L’application {N} est une norme sur {\mathcal L(E)}.
Il résulte de ce qui précède que :{\displaystyle\lim_{n\to +\infty} N(b_n-p)=0\text{\ donc\ }\displaystyle\lim_{n\to +\infty} b_n=p}
Ceci est une page de démonstration de mathprepa.fr
-
Vous pouvez dévoiler le corrigé (après avoir réfléchi à votre propre solution bien sûr 😉) ou le cacher à nouveau (pour chercher à partir des indications que vous venez de lire 👏)
-
Les 2400 exercices sont présentés avec un énoncé visible de tous, mais un corrigé (masquable/affichable) réservé aux seuls souscripteurs.
- Cet exercice ayant été sélectionné dans la page Démo pour illustrer le fonctionnement du site, tout le monde peut « démasquer » son corrigé.