Stengle's Positivstellensatz

In real semialgebraic geometry, Stengle's Positivstellensatz (German for "positive-locus-theorem" – see Satz) characterizes polynomials that are positive on a semialgebraic set, which is defined by systems of inequalities of polynomials with real coefficients, or more generally, coefficients from any real closed field.

It can be thought of as an ordered analogue of Hilbert's Nullstellensatz. It was proved by Jean-Louis Krivine and then rediscovered by Gilbert Stengle.


Let R be a real closed field, and F a finite set of polynomials over R in n variables. Let W be the semialgebraic set

and let C be the cone generated by F (i.e., the subsemiring of R[X1,…,Xn] generated by F and arbitrary squares). Let p  R[X1,…,Xn] be a polynomial. Then

if and only if .

The weak Positivstellensatz is the following variant of the Positivstellensatz. Let R be a real-closed field, and F, G, and H finite subsets of R[X1,…,Xn]. Let C be the cone generated by F, and I the ideal generated by G. Then

if and only if

(Unlike Nullstellensatz, the "weak" form actually includes the "strong" form as a special case, so the terminology is a misnomer.)


See also

This article is issued from Wikipedia - version of the 7/5/2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.