Publication: The Positivstellensatz for definable functions on O-minimal structures
Loading...
Files
Official URL
Full text at PDC
Publication Date
2002
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
University of Illinois
Citations
Exportar
Abstract
In this note we prove two Positivstellensatze for definable functions of class C-r, 0 less than or equal to r < &INFIN;, in any o-minimal structure S expanding a real closed field R. Namely, we characterize the definable functions that are nonnegative (resp. strictly positive) on basic definable sets of the form F = {f(1) &GE; 0,...,f(k) &GE; 0}.
Description
UCM subjects
Unesco subjects
Keywords
Citation
[AAB] F. Acquistapace, C. Andradas, and F. Broglia, The strict Positivstellensatz for
global analytic functions and the moment problem for semianalytic sets, Math. Ann.
316 (2000), 609{616.
[BCR] J. Bochnack, M. Coste, and M. F. Roy, Real algebraic geometry, Ergeb. Math.
Grenzgebiete (3), vol. 36, Springer-Verlag, Berlin, 1998.
[Br] G. W. Brumel, Partially ordered rings and semi-algebraic geometry, London Math.
Soc. Lecture Note Series, vol. 37, Cambridge University Press, Cambridge, 1978.
[Co] M. Coste, An Introduction to o-minimal geometry. Dpto. di Matematica Univ. di
Pisa, 2000.
[De] C. Delzell, A constructive, continuous solution to Hilbert's 17th Problem and other
results in semialgebraic geometry, PhD. Dissertation, Stanford Univ., 1980.
[Dr] L. van den Dries, Tame topology and o-minimal structures, London Math. Soc.
Lecture Note Series, vol. 248, Cambridge Univ. Press, Cambridge, 1998.
[DMi] L. van den Dries and C. Miller, Geometric categories and o-minimal structures,
Duke Math. J. 84 (2) (1996), 497{540.
[Es] J. Escribano, Ph.D. Thesis, Univ. Complutense de Madrid, 2000.
[Mo] T. S. Motzkin, The arithmetic-geometric inequality, Inequalities (Proc. Sympos.
Wright-Patterson Air Force Base, Ohio, 1965), Academic Press, New York, 1967,
pp. 205{224.
[Pu] M. Putinar, Positive polynomials on compact semialgebraic sets, Indiana Univ.
Math. J. 42 (1993), 969{984.
[Sche] C. Scheiderer, Sums of squares of regular functions on real algebraic varieties, Trans.
Amer. Math. Soc. 352 (2000), 1039{1069.
[Schm] K. Schm�udgen, The K{moment problem for compact semi{algebraic sets, Math.
Ann. 289 (1991), 203{206.
[St] G. Stengle, A Nullstellensatz and a Positivstellensatz in semialgebraic geometry,
Math. Ann. 207 (1974), 87{97.
[To] J. C. Tougeron, Ideaux de fonctions dierentiables, Ergeb. Math. Grenzgebiete, vol.
71, Springer-Verlag, Berlin, 1972.