Dieses Buch will dem Leser eine Einführung in wichtige Techniken und Methoden der heutigen reellen Algebra und Geometrie vermitteln. An Voraussetzungen werden dabei nur Grundkenntnisse der Algebra erwartet, so daß das Buch für Studenten mittlerer Semester geeignet ist.Das erste Kapitel enthält zunächst grundlegende Fakten über angeordnete Körper und ihre reellen Abschlüsse und behandelt dann verschiedene Methoden zur Bestimmung der Anzahl reeller Nullstellen von Polynomen. Das zweite Kapitel befaßt sich mit reellen Stellen und gipfelt in Artins Lösung des 17. Hilbertschen Problems. Kapitel III schließlich ist dem noch jungen Begriff des reellen Spektrums und seinen Anwendungen gewidmet."Neben dem 1987 erschienenen "Géometrie algébrique réelle" von J. Bochnak-M. Coste- M. Roy stellt die vorliegende Monographie das erste Lehrbuch auf diesem Gebiet dar... Damit liegt eine sehr empfehlenswerte Einführung...vor..." (H. Mitsch, Monatshefte für Mathematik 3/111, 1991)

The papers collected here present an up-to-date record of the current research developments in the fields of real algebraic geometry and quadratic forms. Articles range from the technical to the expository and there are also indications to new research directions.

This textbook is designed for a one-year graduate course in real algebraic geometry, with a particular focus on positivity and sums of squares of polynomials. The first half of the book features a thorough introduction to ordered fields and real closed fields, including the Tarski-Seidenberg projection theorem and transfer principle. Classical results such as Artin's solution to Hilbert's 17th problem and Hilbert's theorems on sums of squares of polynomials are presented in detail. Other features include careful introductions to the real spectrum and to the geometry of semialgebraic sets. The second part studies Archimedean positivstellensätze in great detail and in various settings, together with important applications. The techniques and results presented here are fundamental to contemporary approaches to polynomial optimization. Important results on sums of squares on projective varieties are covered as well. The last part highlights applications to semidefinite programming and polynomial optimization, including recent research on semidefinite representation of convex sets. Written by a leading expert and based on courses taught for several years, the book assumes familiarity with the basics of commutative algebra and algebraic varieties, as can be covered in a one-semester first course. Over 350 exercises, of all levels of difficulty, are included in the book.

The present volume is a translation, revision and updating of our book (pub lished in French) with the title "Geometrie Algebrique Reelle". Since its pub lication in 1987 the theory has made advances in several directions. There have also been new insights into material already in the French edition. Many of these advances and insights have been incorporated in this English version of the book, so that it may be viewed as being substantially different from the original. We wish to thank Michael Buchner for his careful reading of the text and for his linguistic corrections and stylistic improvements. The initial Jb. TEiX file was prepared by Thierry van Effelterre. The three authors participate in the European research network "Real Algebraic and Analytic Geometry". The first author was partially supported by NATO Collaborative Research Grant 960011. Jacek Bochnak April 1998 Michel Coste Marie-Pranroise Roy Table of Contents Preface. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . V Introduction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1. Ordered Fields, Real Closed Fields . . . . . . . . . . . . . . . . . . . . . . . 7 1. 1 Ordered Fields, Real Fields . . . . . " . . . . . . . . . . . . . . . . . . . . . . . 7 1. 2 Real Closed Fields. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 1. 3 Real Closure of an Ordered Field. . . . . . . . . . . . . . . . . . . . . . . . . 14 1. 4 The Tarski-Seidenberg Principle. . . . . . . . . . . . . . . . . . . . . . . . . . 17 2. Semi-algebraic Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 2. 1 Algebraic and Semi-algebraic Sets. . . . . . . . . . . . . . . . . . . . . . . . 23 2. 2 Projection of Semi-algebraic Sets. Semi-algebraic Mappings. . 26 2. 3 Decomposition of Semi-algebraic Sets. . . . . . . . . . . . . . . . . . . . . 30 2. 4 Connectedness. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 2. 5 Closed and Bounded Semi-algebraic Sets. Curve-selection Lemma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 2. 6 Continuous Semi-algebraic Functions. Lojasiewicz's Inequality 42 2. 7 Separation of Closed Semi-algebraic Sets. . . . . . . . . . . . . . . . . .

This volume contains 16 carefully refereed articles by participants in the Special Semester and the AMS Special Session on Real Algebraic Geometry and Ordered Structures held at Louisiana State University and Southern University (Baton Rouge). The 23 contributors to this volume were among the 75 mathematicians from 15 countries who participated in the special semester. Topics include the topology of real algebraic curves (Hilbert's 16th problem), moduli of real algebraic curves, effective sums of squares of real forms (Hilbert's 17th problem), efficient real quantifier elimination, subanalytic sets and stratifications, semialgebraic singularity theory, radial vector fields, exponential functions and valuations on nonarchimedean ordered fields, valued field extensions, partially ordered and lattice-ordered rings, rings of continuous functions, spectra of rings, and abstract spaces of (higher-level) orderings and real places. This volume provides a good overview of the state of the art in this area in the 1990s. It includes both expository and original research papers by top workers in this thriving field. The authors and editors strived to make the volume useful to a wide audience (including students and researchers) interested in real algebraic geometry and ordered structures-two subjects that are obviously related, but seldom brought together.

Ten years after the first Rennes international meeting on real algebraic geometry, the second one looked at the developments in the subject during the intervening decade - see the 6 survey papers listed below. Further contributions from the participants on recent research covered real algebra and geometry, topology of real algebraic varieties and 16thHilbert problem, classical algebraic geometry, techniques in real algebraic geometry, algorithms in real algebraic geometry, semialgebraic geometry, real analytic geometry. CONTENTS: Survey papers: M. Knebusch: Semialgebraic topology in the last ten years.- R. Parimala: Algebraic and topological invariants of real algebraic varieties.- Polotovskii, G.M.: On the classification of decomposing plane algebraic curves.- Scheiderer, C.: Real algebra and its applications to geometry in the last ten years: some major developments and results.- Shustin, E.L.: Topology of real plane algebraic curves.- Silhol, R.: Moduli problems in real algebraic geometry. Further contributions by: S. Akbulut and H. King; C. Andradas and J. Ruiz; A. Borobia; L. Br|cker; G.W. Brumfield; A. Castilla; Z. Charzynski and P. Skibinski; M. Coste and M. Reguiat; A. Degtyarev; Z. Denkowska; J.-P. Francoise and F. Ronga; J.M. Gamboa and C. Ueno; D. Gondard- Cozette; I.V. Itenberg; P. Jaworski; A. Korchagin; T. Krasinksi and S. Spodzieja; K. Kurdyka; H. Lombardi; M. Marshall and L. Walter; V.F. Mazurovskii; G. Mikhalkin; T. Mostowski and E. Rannou; E.I. Shustin; N. Vorobjov.

This self-contained reference/text presents a thorough account of the theory of real function algebras. Employing the intrinsic approach, avoiding the complexification technique, and generalizing the theory of complex function algebras, this single-source volume includes: an introduction to real Banach algebras; various generalizations of the Stone-Weierstrass theorem; Gleason parts; Choquet and Shilov boundaries; isometries of real function algebras; extensive references; and a detailed bibliography.;Real Function Algebras offers results of independent interest such as: topological conditions for the commutativity of a real or complex Banach algebra; Ransford's short elementary proof of the Bishop-Stone-Weierstrass theorem; the implication of the analyticity or antianalyticity of f from the harmonicity of Re f, Re f(2), Re f(3), and Re f(4); and the positivity of the real part of a linear functional on a subspace of C(X).;With over 600 display equations, this reference is for mathematical analysts; pure, applied, and industrial mathematicians; and theoretical physicists; and a text for courses in Banach algebras and function algebras.

Algorithmic and quantitative aspects in real algebraic geometry are becoming increasingly important areas of research because of their roles in other areas of mathematics and computer science. The papers in this volume collectively span several different areas of current research. The articles are based on talks given at the DIMACS Workshop on ''Algorithmic and Quantitative Aspects of Real Algebraic Geometry''. Topics include deciding basic algebraic properties of real semi-algebraic sets, application of quantitative results in real algebraic geometry towards investigating the computational complexity of various problems, algorithmic and quantitative questions in real enumerative geometry, new approaches towards solving decision problems in semi-algebraic geometry, as well as computing algebraic certificates, and applications of real algebraic geometry to concrete problems arising in robotics and computer graphics. The book is intended for researchers interested in computational methods in algebra.

This book contains the proceedings of the Real Algebraic Geometry-Topology Conference, held at Michigan State University in December 1993. Presented here are recent results and discussions of new ideas pertaining to such topics as resolution theorems, algebraic structures, topology of nonsingular real algebraic sets, and the distribution of real algebraic sets in projective space.

Since the treatment is from the beginning (real Banach and Hilbert spaces, real Banach algebras,