Matrix 2-norm of a normal matrix (source code)

= Matrix 2-norm of a normal matrix

For every finite-dimensional normal matrix $A$, the <matrix 2-norm> equals the <spectral radius>:
$$
\lVert A\rVert_2=\max_{\lambda\in\sigma(A)}|\lambda|=\rho(A).
$$
This follows by <unitary diagonalization of a normal matrix> and unitary invariance of the matrix 2-norm.