View source for Real closed field

An [[Ordered field|ordered field]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r1100501.png" /> for which no non-trivial algebraic extension (cf. [[Extension of a field|Extension of a field]]) can be ordered. E. Artin and O. Schreier ([[#References|[a1]]]) characterized real closed fields to be the fields <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r1100502.png" /> for which the algebraic closure (cf. [[Algebraically closed field|Algebraically closed field]]) is a non-trivial finite extension; in this case, it is of degree <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r1100503.png" /> and obtained by adjoining the square root of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r1100504.png" />. Every ordered field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r1100505.png" /> has an algebraic extension which is real closed, unique up to order-preserving isomorphism over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r1100506.png" />. It is called the real closure of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r1100507.png" />.

==Model theory.==
In 1940, A. Tarski proved that the [[Elementary theory|elementary theory]] of all real closed fields is complete; this is known as the Tarski principle. It implies that, roughly speaking, [[Euclidean geometry|Euclidean geometry]] remains the same if the field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r1100508.png" /> of real numbers is replaced by any other real closed field, at least for those theorems which can be formulated in a first-order language of ordered fields (and these are many geometrical theorems). This is the real analogue of the elementary version of the Lefschetz principle (cf. [[Transfer principle|Transfer principle]]).

Tarski also proved that the elementary theory of real closed fields admits [[Elimination of quantifiers|elimination of quantifiers]] (cf. [[#References|[a11]]]). In 1956, A. Robinson deduced model completeness by simple model-theoretic techniques from the uniqueness of the real closure and the fact that the order of an extension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r1100509.png" /> of a real closed field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r11005010.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r11005011.png" /> is uniquely determined by the cut <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r11005012.png" /> that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r11005013.png" /> induces in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r11005014.png" />. This can be adapted to prove elimination of quantifiers.

The theory of real closed fields can be recursively axiomatized (cf. [[Axiomatized class|Axiomatized class]]) in a first-order language of ordered rings or fields (cf. [[Structure(2)|Structure]]). To the axioms for ordered fields, one only has to add an infinite axiom scheme expressing the sign change property, which says that every polynomial must have a root in a given interval where it changes sign; for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r11005015.png" /> this is the content of the intermediate value theorem (cf. [[Cauchy theorem|Cauchy theorem]]). Since the theory is complete, the recursive axiomatization yields decidability. The completeness also shows that all first-order theorems and axioms of Euclidean geometry are consequences of the axioms given in this axiomatization.

Further, it follows from work of G.L. Cherlin and M. Dickmann (1983) that the theory of real closed fields with a convex valuation ring admits elimination of quantifiers in the language of ordered fields enriched by a unary relation symbol for being an element of the valuation ring (cf. [[Model theory of valued fields|Model theory of valued fields]]).

==Hilbert's 17th problem and a real Nullstellensatz.==
Artin gave a positive answer to Hilbert's 17th problem in [[#References|[a1]]], using a generalization of the [[Sturm theorem|Sturm theorem]]. He proved that if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r11005016.png" /> is real closed, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r11005017.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r11005018.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r11005019.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r11005020.png" /> is a sum of squares in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r11005021.png" />. (Note that the squares have to be taken over elements of the rational function field.) Hilbert's original 17th problem asks for an analogous result with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r11005022.png" /> replaced by the field of rational numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r11005023.png" />; the above also holds for this case since <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r11005024.png" /> can be replaced by any ordered field which is dense in its real closure and admits a unique order.

The theorem was reproved by A. Robinson in 1955 using model completeness, which can also be used to prove a real version of Hilbert's Nullstellensatz (cf. [[Hilbert theorem|Hilbert theorem]]). There are many such versions, due to several authors. The following is known as the Dubois Nullstellensatz (D.W. Dubois, 1969): If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r11005025.png" /> is an ordered field, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r11005026.png" /> an ideal and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r11005027.png" /> such that every common root of all polynomials in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r11005028.png" /> in the real closure of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r11005029.png" /> is also a root of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r11005030.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r11005031.png" /> lies in the real radical of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r11005032.png" />. The real radical is defined to be the set of all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r11005033.png" /> for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r11005034.png" /> for some <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r11005035.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r11005036.png" /> is a sum of squares of elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r11005037.png" /> with positive coefficients <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r11005038.png" />.

See also [[Elimination of quantifiers|Elimination of quantifiers]] and [[P-adically closed field|<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r11005039.png" />-adically closed field]].

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> E. Artin, O. Schreier, "Algebraische Konstruktion reeller Körper; Über die Zerlegung definiter Funktionen in Quadrate; Eine Kennzeichnung der reell abgeschlossenen Körper" ''Abh. Math. Sem. Univ. Hamburg'' , '''5''' (1927) pp. 85–99; 100–115; 225–231 {{MR|}} {{ZBL|52.0120.05}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> E. Becker, R. Berr, F. Delon, D. Gondard, "Hilbert's 17th problem for sums of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r110/r110050/r11005040.png" />-th powers" ''J. Reine Angew. Math.'' , '''450''' (1994) pp. 139–157 {{MR|1273958}} {{ZBL|}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> J. Bochnak, M. Coste, M.-F. Roy, "Géométrie algébrique réelle" , Springer (1987) {{MR|0949442}} {{ZBL|0633.14016}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> C. Delzell, "Continuous piecewise-polynomial functions which solve Hilbert's 17th problem" ''J. Reine Angew. Math.'' , '''440''' (1993) pp. 157–173 {{MR|1225962}} {{ZBL|}} </TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> M. Knebusch, "An invitation to real spectra" , ''Quadratic and Hermitean forms, Conf. Hamilton/Ont. 1983'' , ''CMS Conf. Proc.'' , '''4''' , Amer. Math. Soc. (1984) pp. 51–105 {{MR|0776447}} {{ZBL|0586.14015}} </TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> M. Knebusch, C. Scheiderer, "Einführung in die reelle Algebra" , Vieweg (1989) {{MR|1029278}} {{ZBL|0732.12001}} </TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top"> M. Knebusch, C. Scheiderer, "Semi-algebraic topology in the last 10 years; Real algebra and its applications to geometry in the last 10 years: some major developments and results" M. Coste (ed.) M.F. Roy (ed.) , ''Real algebraic geometry, Proc. Conf. Rennes 1991'' , ''Lecture Notes in Mathematics'' , '''1524''' , Springer (1992) pp. 1–36; 75–96</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top"> T. Y. Lam, "The theory of ordered fields" B. McDonald (ed.) , ''Ring Theory and Algebra III'' , ''Lecture Notes in Pure and Applied math.'' , '''55''' , New York (1980) pp. 1–152 {{MR|0584611}} {{ZBL|0442.12024}} </TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top"> A. Prestel, "Lectures on formally real fields" , ''Lecture Notes in Mathematics'' , '''1093''' , Springer (1984) {{MR|0769847}} {{ZBL|0548.12011}} </TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top"> S. Prieß-Crampe, "Angeordnete Strukturen. Gruppen, Körper, projektive Ebenen" , ''Ergebnisse der Mathematik und ihrer Grenzgebiete'' , '''98''' , Springer (1983) {{MR|}} {{ZBL|0558.51012}} </TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top"> A. Tarski, J.C.C. McKinsey, "A decision method for elementary algebra and geometry" , Univ. California Press (1951) {{MR|0044472}} {{ZBL|0044.25102}} </TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top"> E. Becker, "Theory of real fields and sums of powers" , Springer (to appear)</TD></TR></table>