Real closed field
mathematics, a real closed field is a field "F" in which any of the following equivalent conditions are true:
#There is a
total orderon "F" making it an ordered fieldsuch that, in this ordering, every positive element of "F" is a square in "F" and any polynomialof odd degree with coefficientsin "F" has at least one root in "F".
#"F" is a
formally real fieldsuch that every polynomial of odd degree with coefficientsin "F" has at least one root in "F", and for every element "a" of "F" there is "b" in "F" such that "a"="b"2 or "a"="-b"2.
#"F" is not
algebraically closedbut its algebraic closure is a finite extension.
#"F" is not algebraically closed but the
field extensionis algebraically closed.
#There is an ordering on "F" which does not extend to an ordering on any proper
algebraic extensionof "F".
#"F" is a
formally real fieldsuch that no proper algebraic extension of "F" is formally real. (In other words, the field is maximal in an algebraic closure with respect to the property of being formally real.)
#There is an ordering on "F" making it an ordered field such that, in this ordering, the
intermediate value theoremholds for all polynomials over "F".
The proof that these properties are all equivalent is not easy.
If F is an ordered field (not just orderable, but a definite ordering is fixed as part of the structure), the Artin-Schreier theorem states that "F" has an algebraic extension, called the real closure "K" of "F", such that "K" is a real closed field whose ordering is an extension of the given ordering on F, and is unique up to
order isomorphism. For example, the real closure of the rational numbers are the real algebraic numbers. The theorem is named for Emil Artinand Otto Schreier, who proved it in 1926.
Two real closed fields, isomorphic as fields, are necessarily isomorphic as ordered fields; any field isomorphism of real closed fields is isotonic, or order-preserving, as the ordering of a real closed field is definable by a first-order formula from its field operations: "x" ≤ "y" if and only if ∃"z" "y" = "x"+"z"2. For any field "F" such that is an algebraically closed field, there is a unique ordering which makes "F" a real closed field (and it is given by the formula above).
Decidability and quantifier elimination
The theory of real closed fields was invented by algebraists, but taken up with enthusiasm by logicians. By adding to the
*an axiom asserting that every positive number has a square root, and
*an axiom scheme asserting that all
polynomials of odd order have at least one real root,one obtains a first-order theory. Tarski (1951) proved that the theory of real closed fields, including the binary predicatesymbols "=", "≠", and "<", and the operations of addition and multiplication, admits elimination of quantifiers, which implies that it is a completeand decidable theory.
Decidability means that there exists at least one
decision procedure, i.e., a well-defined algorithm for determining whether a sentence in the first order language of real closed fields is true. Euclidean geometry(without the ability to measure angles) is also a model of the real field axioms, and thus is also decidable.
The decision procedures are not necessarily "practical". The algorithmic complexities of all known decision procedures for real closed fields are very high, so that practical execution times can be prohibitively high except for very simple problems.
The algorithm Tarski proposed for
quantifier eliminationhas NONELEMENTARYcomplexity, meaning that no tower can bound the execution time of the algorithm if "n" is the size of the problem. Davenport and Heinz (1988) proved that quantifier elimination is in fact (at least) doubly exponential: there exists a family Φn of formulas with "n" quantifiers, of length "O"("n") and constant degree such that any quantifier-free formula equivalent to Φn must involve polynomials of degree and length , using .
Basu and Roy (1996) proved that there exists a well-behaved algorithm to decide the truth of a formula ∃x1,…,∃xk P1(x1,…,xk)⋈0∧…∧Ps(x1,…,xk)⋈0 where ⋈ is <, > or =, with complexity in arithmetic operations sk+1dO(k).
A crucially important property of the real numbers is that it is an
archimedean field, meaning it has the archimedean property that for any real number, there is an integer larger than it in absolute value. An equivalent statement is that for any real number, there are integers both larger and smaller. A non-archimedean fieldis, of course, a field that is not archimedean, and there are real closed non-archimedean fields; for example any field of hyperreal numbersis real closed and non-archimedean.
The archimedean property is related to the concept of
cofinality. A set X contained in an ordered set F is cofinal in F if for every y in F there is an x in X such that y < x. In other words, X is an unbounded sequence in F. The cofinality of F is the size of the smallest cofinal set, which is to say, the size of the smallest cardinality giving an unbounded sequence. For example natural numbers are cofinal in the reals, and the cofinality of the reals is therefore .
We have therefore the following invariants defining the nature of a real closed field F:
* The cardinality of F.
* The cofinality of F.
To this we may add
* The weight of F, which is the minimum size of a dense subset of F.
These three cardinal numbers tell us much about the order properties of any real closed field, though it may be difficult to discover what they are, especially if we are not willing to invoke generalized continuum hypothesis. There are also particular properties which may or may not hold:
* A field F is complete if there is no ordered field K properly containing F such that F is dense in K. If the cofinality of K is κ, this is equivalent to saying Cauchy sequences indexed by κ are convergent in F.
* An ordered field F has the ηα property for the ordinal number α if for any two subsets L and U of F of cardinality less than , at least one of which is nonempty, and such that every element of L is less than every element of U, there is an element x in F with x larger than every element of L and smaller than every element of U. This is closely related to the model-theoretic property of being a
saturated model; any two real closed fields are ηα if and only if they are -saturated, and moreover two ηα real closed fields both of cardinality are order isomorphic.
The generalized continuum hypothesis
The characteristics of real closed fields become much simpler if we are willing to assume the generalized continuum hypothesis. If the continuum hypothesis holds, all real closed fields with cardinality the continuum and having the η1 property are order isomorphic. This unique field Ϝ can be defined by means of an ultrapower, as , where M is a maximal ideal not leading to a field order-isomorphic to . This is the most commonly used hyperreal number field in
nonstandard analysis, and its uniqueness is equivalent to the continuum hypothesis. (Even without the continuum hypothesis we have that if the cardinality of the continuum is then we have a unique ηβ field of size ηβ.)
Moreover, we do not need ultrapowers to construct Ϝ, we can do so much more constructively as the subfield of series with a countable number of nonzero terms of the field of
formal power serieson the Sierpiński group.
Ϝ however is not a complete field; if we take its completion, we end up with a field Κ of larger cardinality. Ϝ has the cardinality of the continuum which by hypothesis is , Κ has cardinality , and contains Ϝ as a dense subfield. It is not an ultrapower but it "is" a hyperreal field, and hence a suitable field for the usages of nonstandard analysis. It can be seen to be the higher-dimensional analogue of the real numbers; with cardinality instead of , cofinality instead of , and weight instead of , and with the η1 property in place of the η0 property (which merely means between any two real numbers we can find another).
Examples of real closed fields
* the real
* Basu, Saugata,
Richard Pollack, and Marie-Françoise Roy (2003) "Algorithms in real algebraic geometry" in "Algorithms and computation in mathematics". Springer. ISBN 3540330984 ( [http://perso.univ-rennes1.fr/marie-francoise.roy/bpr-posted1.html online version] )
* Caviness, B F, and Jeremy R. Johnson, eds. (1998) "Quantifier elimination and cylindrical algebraic decomposition". Springer. ISBN 3211827943
C. C. Changand H. Jerome Keisler(1989) "Model Theory". North-Holland.
* Dales, H. G., and
W. Hugh Woodin(1996) "Super-Real Fields". Oxford Univ. Press.
* Mishra, Bhubaneswar (1997) " [http://www.cs.nyu.edu/mishra/PUBLICATIONS/97.real-alg.ps Computational Real Algebraic Geometry,] " in "Handbook of Discrete and Computational Geometry". CRC Press. 2004 edition, p. 743. ISBN 1-58488-301-4
Alfred Tarski(1951) "A Decision Method for Elementary Algebra and Geometry". Univ. of California Press.
Wikimedia Foundation. 2010.
Look at other dictionaries:
Algebraically closed field — In mathematics, a field F is said to be algebraically closed if every polynomial in one variable of degree at least 1, with coefficients in F , has a root in F . ExamplesAs an example, the field of real numbers is not algebraically closed,… … Wikipedia
p-adically closed field — In mathematics, a p adically closed field is a field that enjoys a closure property that is a close analogue for p adic fields to what real closure is to the real field. They were introduced by James Ax and Simon B. Kochen in 1965. Contents 1… … Wikipedia
Real number — For the real numbers used in descriptive set theory, see Baire space (set theory). For the computing datatype, see Floating point number. A symbol of the set of real numbers … Wikipedia
Field (mathematics) — This article is about fields in algebra. For fields in geometry, see Vector field. For other uses, see Field (disambiguation). In abstract algebra, a field is a commutative ring whose nonzero elements form a group under multiplication. As such it … Wikipedia
Field arithmetic — In mathematics, field arithmetic is a subject that studies the interrelations between arithmetic properties of a ql|field (mathematics)|field and its absolute Galois group.It is an interdisciplinary subject as it uses tools from algebraic number… … Wikipedia
Real algebraic geometry — In mathematics, real algebraic geometry is the study of real number solutions to algebraic equations with real number coefficients.Real plane curvesSince the real number field is not algebraically closed, the geometry of even a plane curve C in… … Wikipedia
Closed-eye hallucination — Closed eye hallucinations and closed eye visualizations (CEV) are a distinct class of hallucination. These types of hallucinations generally only occur when one s eyes are closed or when one is in a darkened room. They are a form of phosphene.… … Wikipedia
Real options valuation — Real options valuation, also often termed Real options analysis, (ROV or ROA) applies option valuation techniques to capital budgeting decisions. A real option itself, is the right but not the obligation to undertake some business decision; … Wikipedia
REAL ID Act — of 2005 Full title To establish and rapidly implement regulations for State driver s license and identification document security standards, to prevent terrorists from abusing the asylum laws of the United States, to unify terrorism related… … Wikipedia
Closed captioning — Jack Foley created the CC in a TV symbol while senior graphic designer at WGBH. Closed captioning is the process of displaying text on a television, video screen or other visual display to provide additional or interpretive information to… … Wikipedia