[Math] Prove spectral norm compatible with vector norm

matricesnormed-spacesvectors

Can someone please show me how to prove $||Ax||_2 \leq ||A||_2 ||x||_2$, where $||A||_2$ is the spectral norm and $ A \in \mathbb{R^{n \times n}} $ and $x \in \mathbb{R^n}$.

So far I tried to write the statement out in coordinates and then simplify, but now I'm stuck (I don't know what to do with the max eigenvalue).

Best Answer

The semi-positive definite operator $X = \bar A^t A$ is diagonalizable w.r.t. an o.n. basis $u_i$, with corresponding real (non-negative) eigen-values $\lambda_i$. Suppose $\lambda$ is the maximum eigen value of $X$. If $x = \sum \alpha_i u_i$, then $$ < Ax, Ax > = < x, X x> = \sum |\alpha_i|^2\lambda_i \le \lambda \sum |\alpha_i|^2 = \lambda <x,x>.$$

Note - The middle and last equalities hold because the $u_i$ are o.n.

Also - I hadn't noticed that the $A$ in the question was real. So we can take $X = A^t A$, and the argument is otherwise identical, as $X$ is diagonalizable over $\mathbb R$ w.r.t an o.n basis.