On the real spectrum of a ring and its application to semialgebraic geometry

Abstract

Introduction. This paper is meant as an introduction and a guide to some recent developments in real algebraic geometry -more precisely, in semialgebraic geometry. In real algebraic geometry one is concerned with the set of real points V(R) of a variety V defined over R. More generally, one may replace the field of real numbers R by any real closed field. Real algebraic geometry is clearly a part of general algebraic geometry and therefore there seems to be no need for special considerations, i.e. special notions, tools, etc. However, in dealing with the set of real points V(R) one encounters new phenomena which are not, or at least not easily, treatable by the general methods of algebraic geometry. To give examples, let V be an affine variety over R. Then V(R) can be regarded as an algebraic subset of some suitable R N , i.e., a subset defined by a finite set of polynomial equations F x = 0,..., F r = 0 where F t e R[ X v ...,