Properties of Real Numbers (Axioms) : Chapter 0. Appendix 1
Properties of Real Numbers (Axioms) : Chapter 0. Appendix 1
Appendix 1
• Three types of properties (algebraic, order, completeness) make the real numbers R what
hey are.
Algebraic (R, +, ·)
A2. ∀ a, b, c ∈ R, a + (b + c) = (a + b) + c. (Associativity)
A3. ∀ a, b ∈ R, a + b = b + a. (Commutativity)
M2. ∀ a, b, c ∈ R, a · (b · c) = (a · b) · c. (Associativity)
M3. ∀ a, b ∈ R, a · b = b · a. (Commutativity)
D. ∀ a, b, c ∈ R, a · (b + c) = a · b + a · c. (Distributivity)
Order
O1. ∀ a, b ∈ R, a ≤ b or b ≤ a.
O4. If a ≤ b then a + c ≤ b + c.
Note.
P2. ∀ a ∈ R, a ∈ P or a = 0 or −a ∈ P.
2
Chapter 0. Appendix
Completeness
• Definitions
3. α is the least upper bound (supremum) of A ⊂ R iff α is an upper bound of A and α < α0
for any other upper bound α0 of A. (supA = α)
4. β is the greatest lower bound (infimum) of A ⊂ R iff β is a lower bound of A and β > β 0
for any other lower bound β 0 of A. (inf A = β)
Ex.1 A = {1, 1/2, 1/3, 1/4, · · · , 1/n, · · · }. Find supA and inf A.
Exercise
4. ∀ a, b ∈ R, prove that if a < b, then there exists at least one x ∈ R such that a < x < b.
f (b) − f (a)
H(a) = H(b) = 0 ⇒ α =
g(b) − g(a)
Taylor’s Theorem
If f (n) (x), n = 0, 1, 2, · · · , n, · · · , are continuous on [a, b] and f (n) (x) is differentiable on (a, b), then
∃ ξ ∈ (a, b) such that
φ(k)
n (a) = f
(k)
(a), for k = 0, 1, 2, · · · , n.
If we take
f (b) − Pn (b)
K= ,
(b − a)n+1
then f (b) = φn (b).
For the function F (x) = f (x) − φn (x), we use Rolle’s Theorem.
f (n+1) (ξ)
K= for some number ξ = cn+1 ∈ (a, b).
(n + 1)!
Hence
f (n+1) (ξ)
f (b) = Pn (b) + (b − a)n+1 .
(n + 1)!