Maths WorkshopMaths problems with full solutions
Exercise 1365Topology › Topology of Mn(ℝ) › Density and closuresL3Added 6 Nov 2026

The complement of a polynomial zero set is open and dense

#polynomials#density#Taylor expansion

Statement

Let p≠0p\ne0 be a polynomial on Rk\mathbb{R}^k. Show that {p≠0}\{p\ne0\} is open and dense in Rk\mathbb{R}^k.

Hint

If pp 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 Z={p=0}Z=\{p=0\} contains no ball, and a polynomial that vanishes on a ball is the zero polynomial.

Open. pp is continuous, so {p≠0}=p−1(R∖{0})\{p\ne0\}=p^{-1}(\mathbb{R}\setminus\{0\}) is open.

Dense. A set is dense iff its complement has empty interior. Suppose, for contradiction, that p=0p=0 on a ball B(a,r)B(a,r).
- On this ball pp is the constant function 00, so every partial derivative ∂αp\partial^\alpha p vanishes on B(a,r)B(a,r), in particular at aa.
- A polynomial equals its Taylor expansion at aa, which is a *finite* sum p(x)=∑α∂αp(a)α!(x−a)αp(x)=\sum_\alpha\frac{\partial^\alpha p(a)}{\alpha!}(x-a)^\alpha. All coefficients are 00, so p≡0p\equiv0, contradicting p≠0p\ne0.

Hence ZZ has empty interior, and {p≠0}=Rk∖Z\{p\ne0\}=\mathbb{R}^k\setminus Z is dense.

Remark. This is the basic tool of the whole section. In Mn(R)≅Rn2M_n(\mathbb{R})\cong\mathbb{R}^{n^2}, "polynomial in the entries" covers det⁡\det, 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.