Pseudozeros of Multivariate Polynomials (original) (raw)

The pseudozero set of a system f of polynomials in n complex variables is the subset of C n which is the union of the zero-sets of all polynomial systems g that are near to f in a suitable sense. This concept is made precise and general properties of pseudozero sets are established. In particular it is shown that under wide circumstances, the pseudozero set is a semialgebraic set. Also, estimates are given for the size of the projections of pseudozero sets into coordinate directions. Several examples are presented illustrating some of the general theory developed here. Finally, algorithmic ideas are proposed for solving multivariate polynomials.