$$\newcommand{\mtn}{\mathbb{N}}\newcommand{\mtns}{\mathbb{N}^*}\newcommand{\mtz}{\mathbb{Z}}\newcommand{\mtr}{\mathbb{R}}\newcommand{\mtk}{\mathbb{K}}\newcommand{\mtq}{\mathbb{Q}}\newcommand{\mtc}{\mathbb{C}}\newcommand{\mch}{\mathcal{H}}\newcommand{\mcp}{\mathcal{P}}\newcommand{\mcb}{\mathcal{B}}\newcommand{\mcl}{\mathcal{L}} \newcommand{\mcm}{\mathcal{M}}\newcommand{\mcc}{\mathcal{C}} \newcommand{\mcmn}{\mathcal{M}}\newcommand{\mcmnr}{\mathcal{M}_n(\mtr)} \newcommand{\mcmnk}{\mathcal{M}_n(\mtk)}\newcommand{\mcsn}{\mathcal{S}_n} \newcommand{\mcs}{\mathcal{S}}\newcommand{\mcd}{\mathcal{D}} \newcommand{\mcsns}{\mathcal{S}_n^{++}}\newcommand{\glnk}{GL_n(\mtk)} \newcommand{\mnr}{\mathcal{M}_n(\mtr)}\DeclareMathOperator{\ch}{ch} \DeclareMathOperator{\sh}{sh}\DeclareMathOperator{\th}{th} \DeclareMathOperator{\vect}{vect}\DeclareMathOperator{\card}{card} \DeclareMathOperator{\comat}{comat}\DeclareMathOperator{\imv}{Im} \DeclareMathOperator{\rang}{rg}\DeclareMathOperator{\Fr}{Fr} \DeclareMathOperator{\diam}{diam}\DeclareMathOperator{\supp}{supp} \newcommand{\veps}{\varepsilon}\newcommand{\mcu}{\mathcal{U}} \newcommand{\mcun}{\mcu_n}\newcommand{\dis}{\displaystyle} \newcommand{\croouv}{[\![}\newcommand{\crofer}{]\!]} \newcommand{\rab}{\mathcal{R}(a,b)}\newcommand{\pss}[2]{\langle #1,#2\rangle} $$
Bibm@th
Lien copié  ✅

Exercice 1 - Sur les coefficients d'une matrice orthogonale [Signaler une erreur] [Ajouter à ma feuille d'exos] [Copier le lien]
Enoncé
Soit $M=(m_{i,j})_{1\leq i,j\leq n}\in\mathcal O_n(\mathbb R)$. On note $(C_1,\dots,C_n)$ les vecteurs colonnes de $M$, $v=\sum_{j=1}^n C_j$, et $u=\sum_{j=1}^n e_j$, où $(e_1,\dots,e_n)$ est la base canonique de $\mtr^n$ muni de son produit scalaire canonique.
  1. Montrer que $\sum_{i=1}^n\sum_{j=1}^n m_{i,j}=(u|v).$
  2. En déduire que $\left|\sum_{i=1}^n\sum_{j=1}^n m_{i,j}\right|\leq n$. Cette inégalité est-elle optimale?
  3. Démontrer que $\sum_{1\leq i,j\leq n}|m_{i,j}|\leq n^{3/2}.$
  4. Démontrer que $\sum_{1\leq i,j\leq n}|m_{i,j}|\geq n.$
Indication
Corrigé
Exercice 2 - Factorisation QR [Signaler une erreur] [Ajouter à ma feuille d'exos] [Copier le lien]
Enoncé
  1. Soit $\mathcal B$ une base d'un espace euclidien $E$ et soit $\mathcal C$ l'orthonormalisée de Schmidt de $\mathcal B$. Que dire de la matrice de passage de $\mathcal C$ à $\mathcal B$?
  2. Montrer que, pour toute matrice $A\in GL_n(\mathbb R)$, il existe une matrice orthogonale $Q$ et une matrice triangulaire supérieure $R$ dont tous les coefficients diagonaux sont strictement positifs telles que $A=QR$.
  3. Démontrer que le couple $(Q,R)$ est unique.
Indication
Corrigé
Exercice 3 - Somme et projection orthogonale [Signaler une erreur] [Ajouter à ma feuille d'exos] [Copier le lien]
Enoncé
Soit $E$ un espace vectoriel euclidien et soit $u\in O(E)$. On pose $v=u-Id$.
  1. Démontrer que $\ker(v)=(\textrm{Im}v)^\perp$. En déduire que $\ker(v)^\perp=\textrm{Im}(v)$.
  2. Soit $$u_n=\frac 1n\sum_{k=0}^{n-1}u^k.$$ Démontrer que pour tout $x\in E$, $(u_n(x))$ converge vers le projeté orthogonal de $x$ sur $\ker v$.
Indication
Corrigé