User:IssaRice/Linear algebra/Rank of polynomial matrix is constant everywhere except possibly at finitely many points

This is Corollary 6.2 in Linear Algebra Done Wrong.

I find the proof in the book pretty unclear, so I want to write up a clearer proof.

Corollary statement: Let $A(x)$ be an $m\times n$ polynomial matrix (i.e. a matrix whose entries are polynomials of $x$). Then $x\mapsto \mathrm{r}\mathrm{a}\mathrm{n}\mathrm{k}A(x)$ is constant everywhere, except possibly at finitely many points, where the rank is smaller.

Proof:

We first show that $x\mapsto \mathrm{r}\mathrm{a}\mathrm{n}\mathrm{k}A(x)$ takes on a maximum value, which we will call $r$. To show that $r$ exists, we start at $r:=min\{m,n\}$ (this is the largest rank that an $m\times n</mathmatrixcanhave,soitissafetostarthere).Ifthereexistssome<math>x$ such that $\mathrm{r}\mathrm{a}\mathrm{n}\mathrm{k}A(x)=r$, then we have found our $r$. If not, we replace $r$ by $r-1$ and continue. After finitely many steps, we either return a value or hit $0$ (because the rank of a matrix cannot be negative). So $r$ exists.