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:
- a ≤ b implies a + c ≤ b + 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:
“According to our social pyramid, all men who feel displaced racially, culturally, and/or because of economic hardships will turn on those whom they feel they can order and humiliate, usually women, children, and animals—just as they have been ordered and humiliated by those privileged few who are in power. However, this definition does not explain why there are privileged men who behave this way toward women.”
—Ana Castillo (b. 1953)
“I will never accept that I got a free ride. It wasn’t free at all. My ancestors were brought here against their will. They were made to work and help build the country. I worked in the cotton fields from the age of seven. I worked in the laundry for twenty- three years. I worked for the national organization for nine years. I just retired from city government after twelve-and-a- half years.”
—Johnnie Tillmon (b. 1926)