Namespaces
Variants
Actions

Difference between revisions of "Ordered field"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (links)
 
(2 intermediate revisions by 2 users not shown)
Line 1: Line 1:
A totally [[Ordered ring|ordered ring]] which is a field. The classical example is the field of real numbers with the usual order. By contrast, the field of complex numbers cannot be made into an ordered field, because a field admits an order turning it into an ordered field if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070110/o0701101.png" /> cannot be written as a sum of squares. A field for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070110/o0701102.png" /> cannot be written as a finite sum of squares is called a formally real field. The field of real numbers is a model of a formally real field. More generally, every ordered field is formally real.
+
{{TEX|done}}{{MSC|12J15}}
  
An extension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070110/o0701103.png" /> of an ordered field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070110/o0701104.png" /> is said to be ordered if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070110/o0701105.png" /> is an ordered field containing <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070110/o0701106.png" /> as ordered subfield. This takes place precisely when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070110/o0701107.png" /> cannot be written as a sum of elements of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070110/o0701108.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070110/o0701109.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070110/o07011010.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070110/o07011011.png" />. An ordered field is said to be real-closed if it contains no proper ordered algebraic extension. An order on a real-closed field is uniquely determined. The following conditions on an ordered field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070110/o07011012.png" /> are equivalent: 1) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070110/o07011013.png" /> is real-closed; 2) the extension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070110/o07011014.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070110/o07011015.png" />, is algebraically closed; or 3) every positive element in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070110/o07011016.png" /> is a square and every polynomial of odd degree over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070110/o07011017.png" /> has a root in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070110/o07011018.png" />. Every formally-real field has a real-closed ordered algebraic extension.
+
A [[totally ordered set|totally]] [[ordered ring]] which is a [[field]]. The classical example is the field of real numbers with the usual order. By contrast, the field of complex numbers cannot be made into an ordered field, because a field admits an order turning it into an ordered field if and only if $-1$ cannot be written as a sum of squares. A field for which $-1$ cannot be written as a finite sum of squares is called a [[formally real field]]. The field of real numbers is a model of a formally real field. More generally, every ordered field is formally real.
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070110/o07011019.png" /> is an ordered field, a fundamental sequence can be defined in the usual way (cf. [[Real number|Real number]]). The set of all fundamental sequences, with proper identification and definition of the operations and transfer of the order, forms an extension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070110/o07011020.png" /> of the field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070110/o07011021.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070110/o07011022.png" /> is Archimedean, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070110/o07011023.png" /> is isomorphic as an ordered field to the real numbers.
+
An extension $P$ of an ordered field $k$ is said to be ordered if $P$ is an ordered field containing $k$ as ordered subfield. This takes place precisely when $-1$ cannot be written as a sum of elements of the form $\lambda x^2$, where $\lambda\in k$, $\lambda\geq0$ and $x\in P$. An ordered field is said to be [[Real closed field|real-closed]] if it contains no proper ordered algebraic extension. An order on a real-closed field is uniquely determined. The following conditions on an ordered field $k$ are equivalent: 1) $k$ is real-closed; 2) the extension $k(i)$, where $i^2=-1$, is algebraically closed; or 3) every positive element in $k$ is a square and every polynomial of odd degree over $k$ has a root in $k$. Every formally-real field has a real-closed ordered algebraic extension.
 +
 
 +
If $k$ is an ordered field, a [[fundamental sequence]] can be defined in the usual way (cf. [[Real number]]). The set of all fundamental sequences, with proper identification and definition of the operations and transfer of the order, forms an extension $\bar k$ of the field $k$. If $k$ is Archimedean, then $\bar k$ is isomorphic as an ordered field to the real numbers.
  
 
====References====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  N. Bourbaki,  "Elements of mathematics" , '''2. Algebra. Polynomials and fields. Ordered groups''' , Hermann  (1974)  (Translated from French)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  B.L. van der Waerden,  "Algebra" , '''1–2''' , Springer  (1967–1971)  (Translated from German)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  L. Fuchs,  "Partially ordered algebraic systems" , Pergamon  (1963)</TD></TR></table>
+
<table>
 +
<TR><TD valign="top">[1]</TD> <TD valign="top">  N. Bourbaki,  "Elements of mathematics" , '''2. Algebra. Polynomials and fields. Ordered groups''' , Hermann  (1974)  (Translated from French)</TD></TR>
 +
<TR><TD valign="top">[2]</TD> <TD valign="top">  B.L. van der Waerden,  "Algebra" , '''1–2''' , Springer  (1967–1971)  (Translated from German)</TD></TR>
 +
<TR><TD valign="top">[3]</TD> <TD valign="top">  L. Fuchs,  "Partially ordered algebraic systems" , Pergamon  (1963)</TD></TR>
 +
</table>

Latest revision as of 19:58, 7 December 2014

2020 Mathematics Subject Classification: Primary: 12J15 [MSN][ZBL]

A totally ordered ring which is a field. The classical example is the field of real numbers with the usual order. By contrast, the field of complex numbers cannot be made into an ordered field, because a field admits an order turning it into an ordered field if and only if $-1$ cannot be written as a sum of squares. A field for which $-1$ cannot be written as a finite sum of squares is called a formally real field. The field of real numbers is a model of a formally real field. More generally, every ordered field is formally real.

An extension $P$ of an ordered field $k$ is said to be ordered if $P$ is an ordered field containing $k$ as ordered subfield. This takes place precisely when $-1$ cannot be written as a sum of elements of the form $\lambda x^2$, where $\lambda\in k$, $\lambda\geq0$ and $x\in P$. An ordered field is said to be real-closed if it contains no proper ordered algebraic extension. An order on a real-closed field is uniquely determined. The following conditions on an ordered field $k$ are equivalent: 1) $k$ is real-closed; 2) the extension $k(i)$, where $i^2=-1$, is algebraically closed; or 3) every positive element in $k$ is a square and every polynomial of odd degree over $k$ has a root in $k$. Every formally-real field has a real-closed ordered algebraic extension.

If $k$ is an ordered field, a fundamental sequence can be defined in the usual way (cf. Real number). The set of all fundamental sequences, with proper identification and definition of the operations and transfer of the order, forms an extension $\bar k$ of the field $k$. If $k$ is Archimedean, then $\bar k$ is isomorphic as an ordered field to the real numbers.

References

[1] N. Bourbaki, "Elements of mathematics" , 2. Algebra. Polynomials and fields. Ordered groups , Hermann (1974) (Translated from French)
[2] B.L. van der Waerden, "Algebra" , 1–2 , Springer (1967–1971) (Translated from German)
[3] L. Fuchs, "Partially ordered algebraic systems" , Pergamon (1963)
How to Cite This Entry:
Ordered field. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Ordered_field&oldid=16502
This article was adapted from an original article by L.A. Skornyakov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article