Alternative Definitions
The definition given above is not a first-order definition, as it requires quantifiers over sets. However, the following criteria can be coded as first-order sentences in the language of fields, and are equivalent to the above definition.
A formally real field F is a field that satisfies in addition one of the following equivalent properties:
- −1 is not a sum of squares in F. In other words, the Stufe of F is infinite. (In particular, such a field must have characteristic 0, since in a field of characteristic p the element −1 is a sum of 1's.)
- There exists an element of F which is not a sum of squares in F, and the characteristic of F is not 2.
- If any sum of squares of elements of F equals zero, then each of those elements must be zero.
It is easy to see that these three properties are equivalent. It is also easy to see that a field which admits an ordering must satisfy these three properties.
A proof that if F satisfies these three properties, then F admits an ordering uses the notion of prepositive cones and positive cones. Suppose −1 is not a sum of squares, then a Zorn's Lemma argument shows that the prepositive cone of sums of squares can be extended to a positive cone P⊂F. One uses this positive cone to define an ordering: a≤b if and only if b-a belongs to P.
Read more about this topic: Formally Real Field
Famous quotes containing the words alternative and/or definitions:
“No alternative to the
one-man path.”
—Denise Levertov (b. 1923)
“The loosening, for some people, of rigid role definitions for men and women has shown that dads can be great at calming babies—if they take the time and make the effort to learn how. It’s that time and effort that not only teaches the dad how to calm the babies, but also turns him into a parent, just as the time and effort the mother puts into the babies turns her into a parent.”
—Pamela Patrick Novotny (20th century)