Courant–Fischer min-max principle (source code)

= Courant–Fischer min-max principle
{c}
{wiki}

For a compact positive self-adjoint operator $T$ with decreasing eigenvalues $\lambda_1\geq\lambda_2\geq\cdots$, the Courant–Fischer principle gives
$$
\lambda_k
=\min_{\dim V=k-1}\max_{\substack{x\perp V\\\lVert x\rVert=1}}
\langle Tx,x\rangle.
$$
In particular, $S\geq T$ in quadratic-form order implies $\lambda_k(S)\geq\lambda_k(T)$ for every $k$.