title: Théorème min-max de Courant-Fischer
text: # Théorème min-max de Courant-Fischer
  
  En algèbre linéaire et en analyse fonctionnelle, le théorème min-max de Courant-Fischer donne une caractérisation variationnelle des valeurs propres d'une matrice hermitienne. Il permet donc de caractériser les valeurs singulières d'une matrice complexe quelconque. Il s'étend aux opérateurs compacts autoadjoints sur un espace de Hilbert, ainsi qu'aux opérateurs autoadjoints bornés inférieurement.
  
  ## Énoncé
  
  Soit A une matrice hermitienne n × n, de valeurs propres $λ_1$ ≥ … ≥ $λ_n$ (répétées selon leur multiplicité). Notons, pour tout k de 1 à n, $G_k$ l'ensemble des sous-espaces vectoriels de dimension k de $ℂ^n$ et pour tout vecteur x non nul, R(A, x) le quotient de Rayleigh 〈Ax, x〉/〈x, x〉, où 〈∙, ∙〉 désigne le produit scalaire hermitien canonique. Alors,
  
  $\lambda _{k}=\max _{V\in G_{k}}\min _{x\in V \atop x\neq 0}R(A,x)=\min _{W\in G_{n-k+1}}\max _{y\in W \atop y\neq 0}R(A,y)$
  
  ou encore, par homogénéité :
  
  $\lambda _{k}=\max _{V\in G_{k}}\min _{x\in V \atop \|x\|=1}\langle Ax,x\rangle =\min _{W\in G_{n-k+1}}\max _{y\in W \atop \|y\|=1}\langle Ay,y\rangle .$
  
  Si A est de plus réelle (donc symétrique), on a les mêmes égalités en remplaçant $G_k$ par l'ensemble des sous-espaces de dimension k de $ℝ^n.$
  
  ## Démonstration
  
  Comme A est normale, il existe une base orthonormée $(u_1,$ … , $u_n)$ formée de vecteurs propres pour A, associés (dans cet ordre) aux $λ_i.$
  
  D'après la formule de Grassmann, tout sous-espace V de dimension k contient au moins un vecteur unitaire du sous-espace engendré par $(u_k,$ … , $u_n).$ Un tel vecteur s'écrit
  
  $x=\sum _{i=k}^{n}x_{i}u_{i}\quad {\rm {avec}}\quad \sum |x_{i}|^{2}=1$
  
  donc vérifie
  
  $\langle Ax,x\rangle =\sum _{i=k}^{n}\lambda _{i}|x_{i}|^{2}\leq \lambda _{k},$
  
  ce qui prouve que
  
  $\min _{x\in V \atop \|x\|=1}\langle Ax,x\rangle \leq \lambda _{k}$
  
  (il s'agit bien d'un minimum car la borne inférieure est atteinte, par compacité et continuité).
  
  Pour V égal au sous-espace engendré par $(u_1,$ … , $u_k),$ ce minimum est atteint pour x = $u_k$ et est égal au majorant $λ_k,$ ce qui achève la preuve de la première égalité. La seconde se démontre de même, ou se déduit de la première appliquée à –A.
  
  ## Applications
  
  ### Caractérisation des valeurs singulières
  
  Soit M une matrice complexe m × n avec n ≤ m. Les valeurs singulières $σ_1$ ≥ … ≥ $σ_n$ de M sont les racines carrées des valeurs propres de la matrice positive M*M. Un corollaire immédiat du théorème de Courant-Fischer est donc :
  
  $\sigma _{k}=\max _{V\in G_{k}}\min _{x\in V \atop \|x\|=1}\|Mx\|=\min _{W\in G_{n-k+1}}\max _{y\in W \atop \|y\|=1}\|My\|.$
  
  ### Théorème d'entrelacement de Cauchy
  
  Soient A une matrice hermitienne n × n et B une matrice m × m déduite de A par compression (en) (B = P*AP, où P est une matrice n × m telle que P*P = $I_m).$ Alors, les valeurs propres $α_1$ ≥ … ≥ $α_n$ de A et $β_1$ ≥ … ≥ $β_m$ de B vérifient : pour tout k ≤ m,
  
  $\alpha _{k}\geq \beta _{k}\geq \alpha _{n-m+k}.$
  
  Soit $(b_1,$ …, $b_m)$ une base orthonormée de $ℂ^m$ formée de vecteurs propres pour B, associés (dans cet ordre) aux $β_j$ et soit $V_k$ le sous-espace engendré par $(b_1,$ …, $b_k).$ D'après la démonstration ci-dessus,
  
  $\beta _{k}=\min _{z\in V_{k} \atop \|z\|=1}\langle P^{*}APz,z\rangle =\min _{z\in V_{k} \atop \|z\|=1}\langle APz,Pz\rangle =\min _{x\in P(V_{k}) \atop \|x\|=1}\langle Ax,x\rangle \leq \max _{V\in G_{k}}\min _{x\in V \atop \|x\|=1}\langle Ax,x\rangle =\alpha _{k},$
  
  ce qui démontre la première inégalité. La seconde se démontre de même, ou se déduit de la première appliquée à –A et –B.
  
  En particulier si m = n − 1 alors $α_1$ ≥ $β_1$ ≥ $α_2$ ≥ … ≥ $β_{n–1}$ ≥ $α_n,$ d'où le nom d'entrelacement.
  
  ## Opérateurs compacts
  
  Soit H un espace de Hilbert. Tout opérateur autoadjoint sur H se décompose canoniquement en la différence de deux opérateurs positifs (en) de produit nul (par calcul fonctionnel continu, en lui appliquant les fonctions partie positive et partie négative).
  
  Soit A un opérateur compact positif sur H. Ses valeurs propres non nulles sont de multiplicité finie et forment une suite décroissante $λ_1$ ≥ $λ_2$ ≥ … et l'on a encore (en notant $G_k$ l'ensemble des sous-espaces vectoriels de dimension k de H) :
  
  $\lambda _{k}=\max _{V\in G_{k}}\min _{x\in V \atop \|x\|=1}\langle Ax,x\rangle =\min _{U\in G_{k-1}}\max _{y\in U^{\bot } \atop \|y\|=1}\langle Ay,y\rangle .$
  
  Comme A est normal, il existe une suite orthonormée $(u_1,$ $u_2,$ …) de vecteurs propres associés aux $λ_i.$ Notons N l'adhérence du sous-espace engendré par $(u_k,$ $u_{k+1},$ …). La codimension de N est k − 1 donc pour tout sous-espace V de H de dimension k, $k-\dim(V\cap N)=\dim(V/(V\cap N))=\dim((V+N)/N)\leq \dim(H/N)=k-1$ (d'après le deuxième théorème d'isomorphisme, adapté aux espaces vectoriels). Par conséquent, V contient au moins un vecteur unitaire de N.
  
  La fin de la preuve de la première égalité est identique à celle du § « Démonstration », en remplaçant la somme finie (de k à n) par une série (de k à l'infini).
  
  Pour la seconde, notons V le sous-espace engendré par $(u_1,$ … , $u_k)$ et U un sous-espace de H de dimension k − 1. Son orthogonal N est alors de codimension k − 1 donc, par le même raisonnement que ci-dessus, il contient au moins un vecteur unitaire y de V. De la même façon que pour la première égalité, on en déduit que $\lambda _{k}\leq \max _{y\in U^{\bot } \atop \|y\|=1}\langle Ay,y\rangle ,$ puis on conclut en considérant le sous-espace U particulier engendré par $(u_1,$ … , $u_{k−1})$ et le vecteur y = $u_k.$
  
  