Publicitรฉ

# CC107 - Chapter 1 The real Number System.pdf

24 Mar 2023โขโข
Publicitรฉ

### CC107 - Chapter 1 The real Number System.pdf

1. Chapter 1 The Real Number System Hazel Mae Diza
2. Introduction A set is a collection of distinct objects or elements. Notation: Let ๐ be a set. We write ๐ฅ โ ๐ means that ๐ฅ is an element of ๐. Also, ๐ฅ โ ๐ means that ๐ฅ is not in ๐. A set ๐ is said to be a subset of ๐, if every elements of ๐ is in ๐. In notation, we write, ๐ โ ๐. A set is called nonempty if it contains at least one object. CC107 Advanced Calculus I Chapter 1 - The Real Number System 2
3. The Field Axioms Consider the set of real numbers โ along with the two operations addition and multiplication, such that for every ๐ฅ, ๐ฆ โ โ, the sum ๐ฅ + ๐ฆ and product ๐ฅ๐ฆ are real numbers uniquely determined by ๐ฅ and ๐ฆ satisfying the following axioms. Axiom 1. Commutative laws ๐ฅ + ๐ฆ = ๐ฆ + ๐ฅ, and ๐ฅ๐ฆ = ๐ฆ๐ฅ Axiom 2. Associative laws ๐ฅ + ๐ฆ + ๐ง = ๐ฅ + ๐ฆ + ๐ง, and ๐ฅ ๐ฆ๐ง = ๐ฅ๐ฆ ๐ง Axiom 3. Distributive law ๐ฅ ๐ฆ + ๐ง = ๐ฅ๐ฆ + ๐ฅ๐ง CC107 Advanced Calculus I Chapter 1 - The Real Number System 3
4. Axiom 4. Existence of Identity Elements There exist two distinct real numbers, which we denote by 0 and 1, such that for every real ๐ฅ we have ๐ฅ + 0 = ๐ฅ and 1 โ ๐ฅ = ๐ฅ. Axiom 5. Existence of Negatives For every real number ๐ฅ there is a real number ๐ฆ such that ๐ฅ + ๐ฆ = 0. Axiom 6. Existence of Reciprocals For every real number ๐ฅ โ  0 there is a real number ๐ฆ such that ๐ฅ๐ฆ = 1. CC107 Advanced Calculus I Chapter 1 - The Real Number System 4
5. The Order Axioms We also assume the existence of a relation < which establishes an ordering among the real numbers and which satisfies the following axioms: Axiom 7. Exactly one of the relations ๐ฅ = ๐ฆ, ๐ฅ < ๐ฆ, ๐ฅ > ๐ฆ holds. NOTE. ๐ฅ > ๐ฆ means the same as ๐ฆ < ๐ฅ. Axiom 8. If ๐ฅ < ๐ฆ, then for every ๐ง we have ๐ฅ + ๐ง < ๐ฆ + ๐ง. Axiom 9. If ๐ฅ > 0 and ๐ฆ > 0, then ๐ฅ๐ฆ > 0. Axiom 10. If ๐ฅ > ๐ฆ and ๐ฆ > ๐ง, then ๐ฅ > ๐ง. CC107 Advanced Calculus I Chapter 1 - The Real Number System 5
6. NOTE. A real number ๐ฅ is called positive if ๐ฅ > 0, and negative if ๐ฅ < 0. We denote by โ+ the set of all positive real numbers, and by โโ the set of all negative real numbers. NOTE. The symbolism ๐ฅ โค ๐ฆ is used as an abbreviation for the statement: "๐ฅ < ๐ฆ or ๐ฅ = ๐ฆโ Example. 2 โค 3 since 2 < 3; and 2 โค 2 since 2 = 2. The symbol โฅ is similarly used. A real number ๐ฅ is called nonnegative if ๐ฅ โฅ 0. A pair of simultaneous inequalities such as ๐ฅ < ๐ฆ, ๐ฆ < ๐ง is usually written more briefly as ๐ฅ < ๐ฆ < ๐ง. CC107 Advanced Calculus I Chapter 1 - The Real Number System 6
7. From these axioms we can derive the usual rules for operating with inequalities. For example, if we have ๐ฅ < ๐ฆ, then ๐ฅ๐ง < ๐ฆ๐ง if ๐ง is positive, whereas ๐ฅ๐ง > ๐ฆ๐ง if ๐ง is negative. Also, if ๐ฅ > ๐ฆ and ๐ง > ๐ค where both ๐ฆ and ๐ค are positive, then ๐ฅ๐ง > ๐ฆ๐ค. CC107 Advanced Calculus I Chapter 1 - The Real Number System 7
8. Theorem 1.1 Given real numbers ๐ and ๐ such that ๐ โค ๐ + ๐ for every ๐ > 0 (1) Then ๐ โค ๐. Proof: Assume, by contradiction, that ๐ < ๐, then inequality (1) is violated for ๐ = (๐ โ ๐)/2 because ๐ + ๐ = ๐ + ๐ โ ๐ 2 = ๐ + ๐ 2 < ๐ + ๐ 2 = ๐ โ ๐ + ๐ < ๐. Therefore, by Axiom 7 we must have ๐ โค ๐. โ CC107 Advanced Calculus I Chapter 1 - The Real Number System 8
9. Geometric Representation of Real Numbers The real numbers are often represented geometrically as points on a line (called the real line or the real axis). The order relation has a simple geometric interpretation. If ๐ฅ < ๐ฆ, the point ๐ฅ lies to the left of the point ๐ฆ, as shown in figure above. Positive numbers lie to the right of 0, and negative numbers to the left of 0. If ๐ < ๐, a point ๐ฅ satisfies the inequalities ๐ < ๐ฅ < ๐ if and only if ๐ฅ is between ๐ and ๐. CC107 Advanced Calculus I Chapter 1 - The Real Number System 9
10. Intervals The set of all points between ๐ and ๐ is called an interval. NOTATION. The notation {๐ฅ: ๐ฅ satisfies ๐} will be used to designate the set of all real numbers ๐ฅ which satisfy property ๐. CC107 Advanced Calculus I Chapter 1 - The Real Number System 10
11. Definition 1.2 Assume ๐ < ๐. The open interval (๐, ๐) is defined to be the set (๐, ๐) = {๐ฅ: ๐ < ๐ฅ < ๐}. The closed interval [๐, ๐] is the set {๐ฅ: ๐ โค ๐ฅ โค ๐}. The half-open intervals (๐, ๐] and [๐, ๐) are similarly defined, using the inequalities ๐ < ๐ฅ โค ๐ and ๐ โค ๐ฅ < ๐, respectively. Infinite intervals are defined as follows: ๐, +โ = ๐ฅ: ๐ฅ > ๐ , ๐, +โ = ๐ฅ: ๐ฅ โฅ ๐ , โโ, ๐ = ๐ฅ: ๐ฅ < ๐ , โโ, ๐ = ๐ฅ: ๐ฅ โค ๐ . CC107 Advanced Calculus I Chapter 1 - The Real Number System 11
12. The real line โ is sometimes referred to as the open interval (โโ, +โ). A single point is considered as a "degenerate" closed interval. NOTE. The symbols โโ and +โ are used here purely for convenience in notation and are not to be considered as being real numbers. CC107 Advanced Calculus I Chapter 1 - The Real Number System 12
13. Integers A set of real numbers is called an inductive set if it has the following two properties: a) The number 1 is in the set. b) For every ๐ฅ in the set, the number ๐ฅ + 1 is also in the set. CC107 Advanced Calculus I Chapter 1 - The Real Number System 13 Definition 1.3
14. Definition 1.4 A real number is called a positive integer if it belongs to every inductive set. The set of positive integers is denoted by โค+. The set โค+ is itself an inductive set. It contains the number 1, the number 1 + 1 (denoted by 2), the number 2 + 1 (denoted by 3), and so on. Since โค+ is a subset of every inductive set, we refer to โค+ as the smallest inductive set. This property of โค+ is sometimes called the principle of induction. The negatives of the positive integers are called the negative integers. The positive integers, together with the negative integers and 0 (zero), form a set โค which we call simply the set of integers. CC107 Advanced Calculus I Chapter 1 - The Real Number System 14
15. The Unique Factorization Theorem for Integers If ๐ and ๐ are integers and if ๐ = ๐๐ for some integer ๐, we say ๐ is a divisor of ๐, or ๐ is a multiple of ๐, and we write ๐|๐ (read: ๐ divides ๐). An integer ๐ is called a prime if ๐ >1 and if the only positive divisors of ๐ are 1 and ๐. If ๐ > 1 and ๐ is not prime, then ๐ is called composite. The integer 1 is neither prime nor composite. CC107 Advanced Calculus I Chapter 1 - The Real Number System 15
16. Theorem 1.5 Every integer ๐ > 1 is either a prime or a product of primes. Proof. Let ๐ be an integer greater than 1. We use induction on ๐. The theorem holds trivially for ๐ = 2. Assume it is true for every integer ๐ with 1 < ๐ < ๐. If ๐ is not prime it has a positive divisor ๐ with 1 < ๐ < ๐. Hence ๐ = ๐๐, where 1 < ๐ < ๐. Since both ๐ and ๐ are less that ๐, each is a prime or a product of primes; hence ๐ is a product of primes. โ CC107 Advanced Calculus I Chapter 1 - The Real Number System 16
17. Theorem 1.6 Every pair of integers ๐ and ๐ has a common divisor ๐ of the form ๐ = ๐๐ฅ + ๐๐ฆ where ๐ฅ and ๐ฆ are integers. Moreover, every common divisor of ๐ and ๐ divides this ๐. Note: If ๐|๐ and ๐|๐ we say ๐ is a common divisor of ๐ and ๐. CC107 Advanced Calculus I Chapter 1 - The Real Number System 17
18. If ๐ is a common divisor of ๐ and ๐ of the form ๐ = ๐๐ฅ + ๐๐ฆ, then โ๐ is also a divisor of the same form, โ๐ = ๐(โ๐ฅ) + ๐(โ๐ฆ). Of these two common divisors, the nonnegative one is called the greatest common divisor of ๐ and ๐, and is denoted by gcd(๐, ๐) or, simply by (๐, ๐). If (๐, ๐) = 1 then ๐ and ๐ are said to be relatively prime. CC107 Advanced Calculus I Chapter 1 - The Real Number System 18
19. Theorem 1.7 Euclidโs Lemma If ๐|๐๐ and ๐, ๐ = 1, then ๐|๐. CC107 Advanced Calculus I Chapter 1 - The Real Number System 19
20. Theorem 1.8 If a prime ๐ divides ๐๐, then ๐|๐ or ๐|๐. Proof. Assume ๐|๐๐ and that ๐ does not divide ๐. If we prove that (p,a)=1, then Euclid's Lemma implies ๐|๐. Let ๐ = (๐, ๐). Then ๐|๐ so ๐ = 1 or ๐ = ๐. We cannot have ๐ = ๐ because ๐|๐ but ๐ does not divide ๐. Hence ๐ = 1. โ CC107 Advanced Calculus I Chapter 1 - The Real Number System 20
21. Remark: Generally, if a prime ๐ divides a product ๐1 โโโ ๐๐, then ๐ divides at least one of the factors. CC107 Advanced Calculus I Chapter 1 - The Real Number System 21
22. Theorem 1.9 Unique Factorization Theorem Every integer ๐ > 1 can be represented as a product of prime factors in only one way, apart from the order of the factors. Proof. We use induction on ๐. The theorem is true for ๐ = 2. Assume, then, that it is true for all integers greater than 1 and less than ๐. If ๐ is prime, there is nothing more to prove. Therefore, assume that ๐ is composite and that ๐ has two factorizations into prime factors, say ๐ = ๐1๐2 โโโ ๐๐  = ๐1๐2 โโโ ๐๐ก. (2) CC107 Advanced Calculus I Chapter 1 - The Real Number System 22
23. We wish to show that ๐  = ๐ก and that each ๐ equals some ๐. Since ๐1 divides the product ๐1๐2 โโโ ๐๐ก, it divides at least one factor. Relabel the ๐'s if necessary, so that ๐1|๐1. Then ๐1 = ๐1 since both ๐1 and ๐1 are primes. In (2) we cancel ๐1 on both sides to obtain ๐ ๐1 = ๐2 โโโ ๐๐  = ๐2 โโโ ๐๐ก. Since ๐ is composite, 1 < ๐/๐1 < ๐; so by the induction hypothesis the two factorizations of ๐/๐1 are identical, apart from the order of the factors. Therefore, the same is true in (2) and the proof is complete. โ CC107 Advanced Calculus I Chapter 1 - The Real Number System 23
24. Rational Numbers Quotients of integers ๐|๐ (where ๐ โ  0) are called rational numbers. For example, 1/2, โ7/5, and 6 are rational numbers. The set of rational numbers, which we denote by โ, contains โค as a subset CC107 Advanced Calculus I Chapter 1 - The Real Number System 24
25. Irrational Numbers Real numbers that are not rational are called irrational. For example, the numbers 2, ๐, ๐ and ๐๐ are irrational. CC107 Advanced Calculus I Chapter 1 - The Real Number System 25
26. Theorem 1.10 If ๐ is a positive integer which is not a perfect square, then ๐ is irrational. CC107 Advanced Calculus I Chapter 1 - The Real Number System 26 Theorem 1.11 If ๐๐ฅ = 1 + ๐ฅ + ๐ฅ2 2! + ๐ฅ3 3! + โฏ + ๐ฅ๐ ๐! + โฏ , then the number ๐ is irrational.
27. Upper Bound, Maximum Element, Supremum Let ๐ be a set of real numbers. If there is a real number ๐ such that ๐ฅ โค ๐ for every ๐ฅ in ๐, then ๐ is called an upper bound for ๐ and we say that ๐ is bounded above by ๐. CC107 Advanced Calculus I Chapter 1 - The Real Number System 27 Definition 1.12
28. We say an upper bound because every number greater than ๐ will also be an upper bound. If an upper bound ๐ is also a member of ๐, then ๐ is called the largest member or the maximum element of ๐. There can be at most one such ๐. If it exists, we write ๐ = max ๐ . A set with no upper bound is said to be unbounded above. Definitions of the terms lower bound, bounded below, smallest member (or minimum element) can be similarly formulated. If ๐ has a minimum element we denote it by min ๐. CC107 Advanced Calculus I Chapter 1 - The Real Number System 28
29. Examples 1. The set โ+ = (0, +โ) is unbounded above. It has no upper bounds and no maximum element. It is bounded below by 0 but has no minimum element. 2. The closed interval ๐ = [0,1] is bounded above by 1 and is bounded below by 0. In fact, max ๐ = 1 and min ๐ = 0. 3. The half-open interval ๐ = [0,1) is bounded above by 1 but it has no maximum element. Its minimum element is 0. CC107 Advanced Calculus I Chapter 1 - The Real Number System 29
30. Definition 1.13 Let ๐ be a set of real numbers bounded above. A real number ๐ is called a least upper bound for ๐ if it has the following two properties: a) ๐ is an upper bound for ๐. b) No number less than ๐ is an upper bound for ๐. CC107 Advanced Calculus I Chapter 1 - The Real Number System 30
31. Examples. If ๐ = [0,1] the maximum element 1 is also a least upper bound for ๐. If ๐ = [0,1) the number 1 is a least upper bound for ๐, even though ๐ has no maximum element. A set cannot have two different least upper bounds. Therefore, if there is a least upper bound for ๐, there is only one and we can speak of the least upper bound. CC107 Advanced Calculus I Chapter 1 - The Real Number System 31
32. We refer to the least upper bound of a set by the more concise term supremum, abbreviated sup. We shall adopt this convention and write ๐ = sup ๐ to indicate that ๐ is the supremum of ๐. If ๐ has a maximum element, then max ๐ = sup ๐. The greatest lower bound, or infimum of ๐, denoted by inf ๐, is defined in an analogous fashion. CC107 Advanced Calculus I Chapter 1 - The Real Number System 32
33. The Completeness Axiom Every nonempty set ๐ of real numbers which is bounded above has a supremum; that is, there is a real number ๐ such that ๐ = sup ๐. CC107 Advanced Calculus I Chapter 1 - The Real Number System 33
34. Theorem 1.14 Approximation Property Let ๐ be a nonempty set of real numbers with a supremum, say ๐ = ๐ ๐ข๐ ๐. Then for every ๐ < ๐ there is some ๐ฅ in ๐ such that ๐ < ๐ฅ โค ๐. Proof. Let ๐ be a nonempty set of real numbers with sup ๐ = ๐. Hence, ๐ฅ โค ๐ for all ๐ฅ in ๐. If we had ๐ฅ โค ๐ for every ๐ฅ in ๐, then a would be an upper bound for ๐ smaller than the least upper bound which is a contradiction. Therefore ๐ฅ > ๐ for at least one ๐ฅ in ๐. โ CC107 Advanced Calculus I Chapter 1 - The Real Number System 34
35. Theorem 1.15 Additive Property Given nonempty subsets ๐ด and ๐ต of โ, let ๐ถ denote the set ๐ถ = ๐ฅ + ๐ฆ: ๐ฅ โ ๐ด, ๐ฆ โ ๐ต . If each of ๐ด and ๐ต has a supremum, then ๐ถ has a supremum and sup ๐ถ = sup ๐ด sup ๐ต . CC107 Advanced Calculus I Chapter 1 - The Real Number System 35
36. Proof. Let ๐ด and ๐ต be nonempty subsets of ๐ถ and let๐ถ = ๐ฅ + ๐ฆ: ๐ฅ โ ๐ด, ๐ฆ โ ๐ต . Now suppose that ๐ = sup ๐ด , ๐ = sup ๐ต. If ๐ง โ ๐ถ then ๐ง = ๐ฅ + ๐ฆ, where ๐ฅ โ ๐ด, ๐ฆ โ ๐ต, so ๐ง = ๐ฅ + ๐ฆ โค ๐ + ๐. Hence ๐ + ๐ is an upper bound for ๐ถ, so ๐ถ has a supremum, say ๐ = sup ๐ถ, and ๐ โค ๐ + ๐. We show next that ๐ + ๐ โค ๐. Choose any ๐ > 0. By Theorem 1.14 there is an ๐ฅ in ๐ด and a ๐ฆ in ๐ต such that ๐ โ ๐ < ๐ฅ and ๐ โ ๐ < ๐ฆ. Adding these inequalities we find ๐ + ๐ โ 2๐ < ๐ฅ + ๐ฆ โค ๐. Thus, ๐ + ๐ < ๐ + 2๐ for every ๐ > 0 so, by Theorem 1.1, ๐ + ๐ โค ๐. โ CC107 Advanced Calculus I Chapter 1 - The Real Number System 36
37. Theorem 1.16 Comparison Property Given nonempty subsets ๐ and ๐ of โ such that ๐  โค ๐ก for every ๐  in ๐ and ๐ก in ๐. If ๐ has a supremum then ๐ has a supremum and sup ๐ โค sup ๐ . CC107 Advanced Calculus I Chapter 1 - The Real Number System 37
38. Theorem 1.17 The set โค+ of positive integers 1, 2, 3, โฆ is unbounded above. Proof. If โค+ were bounded above then โค+ would have a supremum, say ๐ = sup โค+. By Theorem 1.14 we would have ๐ โ 1 < ๐ for some ๐ in โค+ . Then ๐ + 1 > ๐ for this ๐. Since ๐ + 1 โ โค+ this contradicts the fact that ๐ = sup โค+ . โ CC107 Advanced Calculus I Chapter 1 - The Real Number System 38
39. Theorem 1.18 For every real ๐ฅ there is a positive integer ๐ such that ๐ > ๐ฅ. Proof. If this were not true, some ๐ฅ would be an upper bound for โค+, contradicting Theorem 1.17. โ CC107 Advanced Calculus I Chapter 1 - The Real Number System 39
40. Theorem 1.19 If ๐ฅ > 0 and if ๐ฆ is an arbitrary real number, there is a positive integer ๐ such that ๐๐ฅ > ๐ฆ. Proof. Apply Theorem 1.18 with x replaced by ๐ฆ/๐ฅ. โ CC107 Advanced Calculus I Chapter 1 - The Real Number System 40 The next theorem describes the Archimedean property of the real number system. Geometrically, it tells us that any line segment, no matter how long, can be covered by a finite number of line segments of a given positive length, no matter how small.
41. If ๐ฅ is any real number, the absolute value of ๐ฅ, denoted by |๐ฅ|, is defined as follows: ๐ฅ = แ ๐ฅ if ๐ฅ โฅ 0, โ๐ฅ if ๐ฅ โค 0. CC107 Advanced Calculus I Chapter 1 - The Real Number System 41
42. Theorem 1.21 If ๐ โฅ 0, then we have the inequality ๐ฅ โค ๐ if, and only if, โ๐ โค ๐ฅ โค ๐. Proof. From the definition of |๐ฅ|, we have the inequality โ ๐ฅ โค ๐ฅ โค |๐ฅ|, since ๐ฅ = |๐ฅ| or ๐ฅ = โ|๐ฅ|. If we assume that ๐ฅ โค ๐, then we can write โ๐ โค โ ๐ฅ โค ๐ฅ โค ๐ฅ โค ๐ and thus โ๐ โค ๐ฅ โค ๐. Conversely, let us assume โ๐ โค ๐ฅ โค ๐. Then if ๐ฅ โฅ 0, we have ๐ฅ = ๐ฅ โค ๐, whereas if ๐ฅ < 0, we have ๐ฅ = โ๐ฅ โค ๐. In either case we have ๐ฅ โค ๐ and the theorem is proved. โ CC107 Advanced Calculus I Chapter 1 - The Real Number System 42
43. Theorem 1.22 The Triangle Inequality For arbitrary real ๐ฅ and ๐ฆ we have ๐ฅ + ๐ฆ โค ๐ฅ + ๐ฆ . Proof. Let ๐ฅ, ๐ฆ โ โ. Note that โ ๐ฅ โค ๐ฅ โค |๐ฅ| and โ ๐ฆ โค ๐ฆ โค |๐ฆ|. Addition gives us โ ๐ฅ + ๐ฆ โค ๐ฅ + ๐ฆ โค ๐ฅ + ๐ฆ , and from Theorem 1.21 we conclude that ๐ฅ + ๐ฆ โค ๐ฅ + |๐ฆ|. This proves the theorem. โ CC107 Advanced Calculus I Chapter 1 - The Real Number System 43
44. The triangle inequality is often used in other forms. For example, if we take ๐ฅ = ๐ โ ๐ and ๐ฆ = ๐ โ ๐ in Theorem 1.22 we find ๐ โ ๐ โค ๐ โ ๐ + ๐ โ ๐ . Also, from Theorem 1.22 we have ๐ฅ โฅ ๐ฅ + ๐ฆ โ |๐ฆ|. Taking ๐ฅ = ๐ + ๐, ๐ฆ = โ ๐, we obtain ๐ + ๐ โฅ ๐ โ ๐ . Interchaging ๐ and ๐ we also find ๐ + ๐ โฅ ๐ โ ๐ = โ( ๐ โ |๐|), and hence ๐ + ๐ โฅ ๐ โ ๐ . By induction, we can also prove the generalizations ๐ฅ1 + ๐ฅ2 + โฏ + ๐ฅ๐ โค ๐ฅ1 + ๐ฅ2 + โฏ + |๐ฅ๐| and ๐ฅ1 + ๐ฅ2 + โฏ + ๐ฅ๐ โฅ ๐ฅ1 โ ๐ฅ2 โ โฏ โ ๐ฅ๐ . CC107 Advanced Calculus I Chapter 1 - The Real Number System 44
45. Theorem 1.23 Cauchy-Schwarz Inequality If ๐1, โฆ , ๐๐ and ๐1, โฆ , ๐๐ are arbitrary real numbers, we have เท ๐=1 ๐ ๐๐๐๐ 2 โค เท ๐=1 ๐ ๐๐ 2 เท ๐=1 ๐ ๐๐ 2 . CC107 Advanced Calculus I Chapter 1 - The Real Number System 45
Publicitรฉ