User:IssaRice/Linear algebra/Rank of polynomial matrix is constant everywhere except possibly at finitely many points: Difference between revisions
No edit summary |
No edit summary |
||
| Line 6: | Line 6: | ||
Proof: | Proof: | ||
We first show that <math>x \mapsto \operatorname{rank} A(x)</math> takes on a maximum value, which we will call <math>r</math>. To show that <math>r</math> exists, we start at <math>r := \min\{m,n\}</math>. If there exists some <math>x</math> such that <math>\operatorname{rank} A(x) = r</math>, then we have found our <math>r</math>. If not, we replace <math>r</math> by <math>r-1</math> and continue. After finitely many steps, we either return a value or hit <math>0</math> (because the rank of a matrix cannot be negative). So <math>r</math> exists. | |||