Moyenne des itérées d’une isométrie

(Oral Mines-Ponts 2018)
Dans {\mathbb{R}^{n}} euclidien, soit {a\in\text{O}(\mathbb{R}^{n})}.

  1. Montrer que {\mathbb{R}^{n}=\text{Ker}\,(a-\text{Id})\oplus \text{Im}\,(a-\text{Id})}.
  2. 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é
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :