# 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$.