Void Ordered Field For Free

Properties of ordered fields Either ?a ? 0 ? a or a ? 0 ? ?a. One can "add inequalities": if a ? b and c ? d, then a + c ? b + d. One can "multiply inequalities with positive elements": if a ? b and 0 ? c, then ac ? bc. Transitivity of inequality: if a < b and b < c, then a < c. If a < b and a, b > 0, then 1/b < 1/a.

In mathematics, an ordered field is a field together with a total ordering of its elements that is compatible with the field operations. The basic example of an ordered field is the field of real numbers, and every Dedekind-complete ordered field is isomorphic to the reals.

An ordered field must be infinite. Notice that each field has a subset of numbers that behave like the natural numbers, with 0<1<1+1<1+1+1?

Definition of an ordered field: An ordered field is a field containing a subset of elements closed under addition and multiplication and having the property that every element in the field is either 0, in the subset, or has its additive inverse in the subset.

Multiplying both sides by ?i again, we get that 0 < (?1) · (?i) = i. Hence, if i < 0, then then 0 > i, again contradicting the second condition in the definition of an order. Hence, since we have that neither 0 < i nor i < 0, we see that there cannot exist an order on C that makes C into an ordered field.

The answer must be (b) the rational numbers. The rational numbers are a sub-field of the real numbers, and inherit the order of the latter, most basic example of an ordered field.

Ordered set, we can have x ~ y . An "ordered field" however, is usually taken to be a totally ordered field -- so without extra conditions, x~y => x=y . "Partially ordered fields" have been studied, but you have to specify what conditions you mean.