Inequality (mathematics) - Ordered Fields

Ordered Fields

If (F, +, ×) is a field and ≤ is a total order on F, then (F, +, ×, ≤) is called an ordered field if and only if:

  • ab implies a + cb + c;
  • 0 ≤ a and 0 ≤ b implies 0 ≤ a × b.

Note that both (Q, +, ×, ≤) and (R, +, ×, ≤) are ordered fields, but ≤ cannot be defined in order to make (C, +, ×, ≤) an ordered field, because −1 is the square of i and would therefore be positive.

The non-strict inequalities ≤ and ≥ on real numbers are total orders. The strict inequalities < and > on real numbers are strict total orders.

Read more about this topic:  Inequality (mathematics)

Famous quotes containing the words ordered and/or fields:

    I am aware that I have been on many a man’s premises, and might have been legally ordered off, but I am not aware that I have been in many men’s houses.
    Henry David Thoreau (1817–1862)

    Forget about the precious sight
    of my lover’s face
    that steals away my heart.
    Just seeing the borders
    of the fields on the borders
    of her village
    gives me instant joy.
    Hla Stavhana (c. 50 A.D.)