19 1.4 Ordered Field Axioms In this section and the next we present an axiomatic description of the set of real numbers. That is, we will assume that there exists a set, denoted by R, satisfying the ordered feld axioms, stated below, together with the completeness axiom, presented in the next section. In this way we identify the basic properties that characterize the real numbers. After listing the ordered feld axioms we derive from them additional familiar properties of the real numbers. We conclude the section with the defnition of absolute value of a real number and with several results about it that will be used often later in the text. We assume the existence of a set R (the set of real numbers) and two operations + and · (addition and multiplication) assigning to each pair of real numbers x,y, unique real numbers x + y and x · y and satisfying the following properties: (A1) (x + y)+ z = x +(y + z) for all x,y,z ∈ R. (A2) x+ y = y + x for all x,y ∈ R. (A3) There exists a unique element 0 ∈ R such that x + 0 = x for all x ∈ R. (A4) For each x ∈ R, there exists a unique element −x ∈ R such that x +(−x)= 0. (M1) (x · y) · z = x · (y· z) for all x,y,z ∈ R. (M2) x · y = y· x for all x,y ∈ R. (M3) There exists a unique element 1 ∈ R such that 1 ≠ 0 and x · 1 = x for all x ∈ R. (M4) For each x ∈ R \{0}, there exists a unique element x−1 ∈ R such that x · (x−1)= 1. (We also write 1/x instead of x−1.) (D1) x· (y + z)= x · y + x · z for all x,y,z ∈ R. We often write xy instead of x · y. In addition to the algebraic axioms above, there is a relation < on R that satisfes the order axioms below: (O1) For all x,y ∈ R, exactly one of the three relations holds: x = y, y < x, or x < y. (O2) For all x,y,z ∈ R, if x < y and y < z, then x < z. (O3) For all x,y,z ∈ R, if x < y, then x + z < y + z. (O4) For all x,y,z ∈ R, if x < y and 0 < z, then xz < yz. We will use the notation x ≤ y to mean x < y or x = y. We may also use the notation x > y to represent y < x and the notation x ≥ y to mean x > y or x = y. A set F together with two operations + and · and a relation < satifying the 13 axioms above is called an ordered feld. Thus, the real numbers are an example of an ordered feld. Another example of an ordered feld is the set of rational numbers Q with the familiar operations and order. The integers Z do not form a feld since for an integer m other than 1 or −1, its reciprocal 1/m is not an integer and, thus, axiom (M4) above does not hold. In particular, the set of positive integers N does not form a feld either. As mentioned above the real numbers R will be defned as the ordered feld which satisfes one additional property described in the next section: the completeness axiom. From these axioms, many familiar properties of R can be derived. Some examples are given in the next proposition. The proof illustrates how the given axioms are used at each step of the derivation.
RkJQdWJsaXNoZXIy NTc4NTAz