The complement of a polynomial zero set is open and dense
Statement
Let be a polynomial on . Show that is open and dense in .
Hint
If vanishes on a whole ball, what can you say about all its partial derivatives at the centre of that ball?
Show solutionHide solution
Solution
Idea. Openness is continuity. Density means that the zero set contains no ball, and a polynomial that vanishes on a ball is the zero polynomial.
Open. is continuous, so is open.
Dense. A set is dense iff its complement has empty interior. Suppose, for contradiction, that on a ball .
- On this ball is the constant function , so every partial derivative vanishes on , in particular at .
- A polynomial equals its Taylor expansion at , which is a *finite* sum . All coefficients are , so , contradicting .
Hence has empty interior, and is dense.
Remark. This is the basic tool of the whole section. In , "polynomial in the entries" covers , the coefficients of the characteristic polynomial, minors, discriminants and so on. Lesson. To prove a property holds on an open dense set, find a nonzero polynomial whose non-vanishing implies it.