See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/332170777 REAL ANALYSIS 1 UNDERGRADUATE LECTURE NOTES Research · February 2019 DOI: 10.13140/RG.2.2.21196.26243 CITATIONS READS 0 117,649 1 author: Issa Ndungo Mountains of the Moon University (MMU) 9 PUBLICATIONS 9 CITATIONS SEE PROFILE Some of the authors of this publication are also working on these related projects: Group Divisible Designs with two groups block size four with equal number of even and odd blocks View project Teaching and LEarning in the 21st century View project All content following this page was uploaded by Issa Ndungo on 03 April 2019. The user has requested enhancement of the downloaded file. REAL ANALYSIS 1 UNDERGRADUATE LECTURE NOTES NDUNGO ISSA MOUNTAINS OF THE MOON UNIVERSITY ndungoissa@mmu.ac.ug +256776428589 REAL ANALYSIS 1 Issa Ndungo ABOUT THE AUTHOR The Author is Issa Ndungo, currently teaching at Mountains of the Moon University, Uganda. The author passed through Musasa Primary School for Primary Education, Mutanywana Secondary School for Ordinary Level, Bwera Secondary School for Advanced Level, Mountains of the Moon University for Bachelor of Science with Education Degree (Mathematics/Economics) and Mbarara University of Science and Technology for Master of Science Degree (Pure Mathematics). The Author also holds a Certificate in Monitoring and valuation and a Certificate in Financial Management. The Author has taught in Secondary Schools such as Kamengo SS-Fort portal, Mutanywana SSKasese, Munkunyu SS-Kasese and Kyarumba Islamic SS-Kasese. In addition to this work, the Author has written Lecture Notes in Linear Algebra and Calculus. He has also written Mathematics related peer reviewed journal articles. Published Research Work by the Author 1. Ndungo. I, Biira. M (2018), Teacher quality factors and pupils’ achievement in mathematics in primary schools of Kyondo, sub-county, Kasese District, Uganda. Acad. J. Educ. Res. 6(7): 191-195. (DOI: 10.15413/ajer.2018.0117) 2. Ndungo. I, Mbabazi. A (2018). Institutional and communication factors affecting students’ decisions to choose a university: The case of Mountains of the Moon University, Uganda. Acad. J. Educ. Res. 6(10): 257-262. (DOI: 10.15413/ajer.2018.0128) 3. Ndungo. I, Sarvate. D (2016), GDD (n, 2, 4; λ1, λ2) with equal number of even and odd blocks. Discrete Mathematics. 339:1344-1354. (http://doi.org/10.1016/j.disc.2015.11.004) 4. An Assessment of the Impact of the Leadership Training Program on Pupils’ Leadership Skills in Hakibale Sub-county Kabarole District: In MMU year book vol. 8 2017. (mmu.ac.ug/wp-content/MMUYEARBOOK/Year%20Book%202017.pdf) 5. Existence of group divisible designs with two groups, block size four with equal number of even and odd blocks: MSc. dissertation 2016 (https://pdfs.semanticscholar.org/8135/1d40c8cc0c936133716e23e124eb635e60d3.pdf) These lecture notes were prepared to serve and facilitate the teaching of Bachelor of Science with Education students at Mountains of the Moon University. The notes are also relevant to students offering Computer Science. The Author welcomes the readers to the content of the course unit that introduces the mathematical logical thinking and proving for the existence of certain mathematical concepts. The contribution of different Authors whose work was used in compiling this hand book is appreciated. Students are encouraged to read these notes carefully and internalize the necessary concepts for use in the subsequent course units. (For any error please notify the Author at ndungoissa@mmu.ac.ug). Wishing you all the best, enjoy Real Analysis. i REAL ANALYSIS 1 Issa Ndungo PREFACE This course unit introduces students to the concepts of mathematics that are the building blocks of mathematical reasoning and mathematical proofs. The course unit handles concepts such as logic, methods of proof, sets, functions, real number properties, sequences and series, limits and continuity and differentiation. Real analysis provides students with the basic concepts and approaches for internalising and formulation of mathematical arguments. The course unit is aimed at: • • • • Providing learners with the knowledge of building mathematical statements and constructing mathematical proofs. Giving learners an insight on the concepts of sets and the relevant set theories that are vital in the development of mathematical principles. Demonstrating to learners the concepts of sequences and series with much emphasis on the bound and convergence of sequences and series. Providing students with the knowledge of limits, continuity and differentiation of functions that will serve as an introduction to calculus. By the end of the course unit, students should be able to: • • • Construct truth tables to prove mathematical statements or propositions Use relevant methods of proof in constructing proofs of simple mathematical principles Operate sets, proof basic set principles and have ability to explain the set concepts such as closure of a set, boundary point, open set and neighborhood of a point. • State and prove the axioms of real numbers and use the axioms in explaining mathematical principles and definitions. • Construct proofs of theories involved in sequences such as convergent, boundedness, and Cauchy properties as well as showing understanding of the connection between bondedness and convergent. • Obtain the limit of a function, construct relevant proofs for the existence of limits and perform algebra on limits. • State and prove the rules of differentiations and show understanding of the application of the concept of differentiation and the connection between limits, continuity and differentiation. The course will be delivered through: (1) three hours of lecture per week every Friday 8:30am11:30am (12) a combination of lectures, discussions and presentations. Students will be given lecture notes on each unit but students will be required to make use of the university E-library for personal reading when answering the assignments. The course is will be assessed through: (1) Course Work Assessment (class exercises, assignments & tests (2) End of semester examination. The pass mark for this course unit is 50%. ii REAL ANALYSIS 1 Issa Ndungo Table of Contents ABOUT THE AUTHOR I PREFACE II LOGIC AND METHODS OF PROOF 1 1.1 PROPOSITIONS 1.2 CONNECTIVES EXERCISE 1.1 1.3 TRUTH TABLES AND TRUTH VALUES EXERCISE 1.2 1.4 TAUTOLOGY, CONTRADICTIONS AND EQUIVALENCE EXERCISE 1.3 1.5 OPEN SENTENCE AND QUANTIFIES EXERCISE 1.4 1.6 NEGATION OF A QUANTIFIER 1.7 OVERGENERALIZATION AND COUNTEREXAMPLES 1.8 METHODS OF PROOF IN MATHEMATICS EXERCISE 1.5 EXERCISE 1.6 1 1 2 2 4 4 4 5 5 5 6 6 8 9 SETS AND FUNCTIONS 10 2.1 DEFINITIONS ABOUT SETS 2.2 INTERVAL AND INEQUALITIES 2.3 OPERATIONS ON SETS EXERCISE 2.1 2.4 INDEXED FAMILIES OF SETS EXERCISE 2.2 2.5 FUNCTIONS EXERCISE 2.3 2.6 CARDINALITY: THE SIZE OF A SET 2.7 SETS OF REAL NUMBERS 2.8 ORDER ON SETS AND ORDERED SETS 2.9 BOUNDED SETS EXERCISE 2.4 2.10 NEIGHBORHOODS 2.11 TYPES OF POINTS FOR SETS EXERCISE 2.5 2.12 OPEN SETS AND TOPOLOGY 2.13 CLOSED SET EXERCISE 2.6 10 11 11 11 13 13 13 14 14 14 14 15 15 15 16 16 16 17 17 REAL NUMBERS AND THEIR PROPERTIES 18 iii REAL ANALYSIS 1 Issa Ndungo 3.1 REAL NUMBERS 3.2 AXIOMS OF REAL NUMBERS 3.2.1 THE FIELD AXIOMS EXERCISE 3.1 3.2.2 THE ORDER AXIOM 3.2.3 THE COMPLETENESS AXIOM 3.3 THE ARCHIMEDEAN PROPERTY OF REAL NUMBERS 3.4 THE EUCLIDEAN SPACE 18 18 18 20 20 21 22 22 SEQUENCES AND SERIES 24 4.1 SEQUENCES EXERCISE 4.1 4.2 BOUNDED SEQUENCES 4.3 CONVERGENT AND DIVERGENT SEQUENCES EXERCISE 4.2 EXERCISE 4.3 4.4 ALGEBRA OF LIMITS OF SEQUENCES EXERCISE 4.4 4.5 MONOTONE SEQUENCE 4.6 SUBSEQUENCES 4.7 CAUCHY SEQUENCES EXERCISE 4.5 4.8 INFINITE SERIES 4.9 GEOMETRIC SERIES 4.10 PROPERTIES OF INFINITE SERIES 4.11 CONVERGENT CRITERION FOR SERIES 4.11.1 LIMIT OF ๐ง๐ญ๐ก TERM TEST FOR DIVERGENCE 4.11.2 INTEGRAL TEST 4.11.3 P-SERIES TEST EXERCISE 4.6 4.11.4 COMPARISON TEST 4.11.5 ALTERNATING TEST 4.11.6 ABSOLUTE CONVERGENCE 4.11.7 RATIO TEST 4.11.8 ROOT TEST 24 24 24 25 26 29 29 30 30 32 32 34 35 36 37 37 37 37 39 39 39 41 42 42 42 LIMITS AND CONTINUITY 43 5.1 LIMIT OF A FUNCTION EXERCISE 5.1 5.2 ALGEBRA OF LIMITS EXERCISE 5.2 5.3 CONTINUITY OF FUNCTIONS EXERCISE 5.3 5.4 THE INTERMEDIATE VALUE THEORY 5.5 UNIFORM CONTINUITY 43 45 46 47 48 50 50 51 iv REAL ANALYSIS 1 Issa Ndungo EXERCISE 5.4 5.6 DISCONTINUITY 51 51 DIFFERENTIATION 52 6.1 DERIVATIVE OF A FUNCTION 6.2 RULES OF DIFFERENTIATION 6.4 GENERALIZATION OF MEAN VALUE THEOREM (MVT) 6.5 L’HOSPITAL RULE EXERCISE 6.1 REFERENCES 52 53 54 54 54 55 v REAL ANALYSIS 1 Issa Ndungo UNIT ONE LOGIC AND METHODS OF PROOF 1.1 Propositions A proposition (statement) is a sentence that is either true or false (but not both). Examples of propositions are: (1) John was born on 20th February 2019. (2) 3+6 = 11. (3)√2 is irrational. Examples of non-propositions are: (1) What is the date today? (2) How old are you? (3) This statement is true. There are two types of statements/propositions: 1. Atomic/simple propositions: These cannot be divided into smaller propositions. We use capital letters to denote simple propositions. Examples include: (1) John’s leg is broken (2) 5 is a prime number (3) √2 is irrational 2. Compound propositions: These can be broken down into smaller propositions. They are constructed by using connectives. Examples include: (1) 3 ≤ 7 (2) n2 is odd whenever ๐ is an odd integer 1.2 Connectives Connectives are symbols used to construct compound statements/propositions from simple statements. The most commonly used connectives are: Connective 1 Conjunction 2 Disjunction 3 Implication 4 Biconditional 5 Negation Examples English Meaning Symbol and/but/yet, Although ษ or V If … then ⇒ If and only iff ⇔ Not ¬ 1) Pษ Q means P and Q. 2) P⇒Q means if P then Q. 3) PVQ means Por Q Example 1.1 Write the following compound statements into symbolic form 1) Jim is a lawyer but he is not a crook Solution Let P = Jim is a Lawyer and Q = Jim is a crook Then we have ๐ษ ¬๐ 2) Although our Professor is young but he is knowledgeable Let R = our Professor is young and S = our Professor is knowledgeable Then we have Rษ S. 3) If you don’t attend class, then you either read a book or you will fail the exam. 1 REAL ANALYSIS 1 Issa Ndungo Let P = you attend class Q = you read a book and R = you pass the exam Then we have ¬P ⇒ (QV¬R). NB. Brackets are used for punctuations. 4) If Lucy has a credit in MAT1 or has a credit in MAT2 and MAT3, then she does MAT7. Let P = Lucy has a credit in MAT1, Q= Lucy has a credit in MAT2, R= Lucy has a credit in MAT3 and S = Lucy does MAT7 Then we have PV(Qษ R) ⇒ S 5) The lights are on if and only if John or Mary is at home. Let R = the lights are on, S= John is at home and T = Mary is at home Then we have R ⇔ (SVT) Exercise 1.1 Write the following compound propositions in symbolic form 1. If I go home and find lunch ready then I will not go to the restaurant 2. Either you pay your rent or I will kick you out of the apartments 3. Jolly will leave home and will not come back 4. If I go to Kampala, I will bring for you biscuits and bread. 1.3 Truth tables and truth values A truth table is a convenient device to specify all possible truth values of a given atomic or compound propositions. We use truth tales to determine the truth or falsity of a compound statement based on the truth or falsity of its constituent atomic propositions. We use T or 1 to indicate that a statement is true and F or 0 to indicate that the statement is false. So 1and 0 are called truth values. Truth tables for connectives 1. Conjunction Let P and Q be two propositions, the proposition Pษ Q is called the conjunction of P and Q. Pษ Q is true if and only if both P and Q are true. P Q T T T F F T F F 2. Disjunction Pษ Q T F F F Let P and Q be two propositions, the proposition PVQ is called the disjunction of P and Q. The proposition PVQ is true if and only if at least one of the atomic propositions is true. It is only false when both atomic propositions are false. P T T F F Q T F T F PVQ T T T F 2 REAL ANALYSIS 1 Issa Ndungo 3. Implication Let P and Q be two propositions, the proposition P⇒Q is called the implication of P and Q. The proposition P⇒Q simply means that P implies Q. P is called the hypothesis (condition or antecedent) and Q is called the conclusion (consequence). There are many ways of stating that P implies Q. - If P then Q Q if P P is sufficient for Q - Q is necessary for P P only if Q Q whenever P P⇒Q is only false when P is true and Q is false. P T T F F Q T F T F P⇒Q T F T T 4. Biconditional Let P and Q be two propositions, the proposition P⇔Q is called the biconditional of P and Q. It simply means that P⇒Q and Q⇒P. It is called biconditional because it represents two conditional statements. There are many ways of stating that P implies Q. - P if and only if Q (P iff Q) - Q is necessary and sufficient for P P implies Q and Q implies P - P is equivalent to Q P is necessary and sufficient for Q The proposition P⇔Q is true when P & Q are both true and if P & Q are both false P T T F F Q T F T F P⇔Q T F F T 5. Negation Let P be a proposition, the proposition ¬P meaning “not P” is used to denote the negation of P. If P is true then ¬P is false and vice versa. P T F ¬P F T Example 1.2 Let P and Q be propositions. Construct the truth table for the proposition (Pษ Q)⇒(PVQ) 3 REAL ANALYSIS 1 Issa Ndungo Solution P T T F F Q T F T F Pษ Q T F F F PVQ T T T F (Pษ Q) ⇒ PVQ T T T T Exercise 1.2 Let P, Q and R be propositions. Construct the truth tale for the proposition ¬(Pษ Q)VR. 1.4 Tautology, contradictions and Equivalence Definition: A compound proposition is a tautology if it is always true irrespective of the truth values of its atomic propositions. If on the other hand a compound statement is always false regardless of its atomic propositions, we say that such proposition is a contradiction. Theorems in mathematics are always true and are examples of tautologies. Example 1.3 The statement PV¬P is always true while the statement Pษ ¬P is always false P T F ¬P PV¬P Pษ ¬P F T F T T F Exercise 1.3 1. Let P, Q and R be proposition. Use truth tables to prove that: a) ¬(Pษ Q)≡PV¬Q b) ¬(PVQ)≡ ¬Pษ ¬Q c) P⇒Q≡ ¬PVQ d) ¬(P⇒Q)≡Pษ ¬Q e) Pษ (QVR)≡(Pษ Q)V(Pษ R) f) (PVQ)VR≡PV(QVR) Hint: To prove for example a), show that ¬(Pษ Q)⇒PV¬Q is a tautology (always true). 2. Use mathematical logic to discuss the validity of the following argument: “If girls are beautiful, they are popular with boys. Ugly girls are unpopular with boys. Intellectual girls are ugly. Therefore, beautiful girls are not intellectual.’’ 4 REAL ANALYSIS 1 Issa Ndungo 1.5 Open sentence and quantifies Definition: An open sentence (also called a predicate) is a sentence that contains variable(s) and whose truth or falsity depend(s) on the value(s) assigned for the variable(s). We represent open sentences with capital letters followed by the variable(s) in the bracket. Eg P(x), Q(x, y) Definition: The collection of all allowed values of the variable(s) in an open sentence is called the universe if discourse. Examples of open sentence are: 1) x + 4 ≤ 9 2) It has 4 legs 3) x < y Universal quantifier-(∀): To say that P(x) is true for all x in the universe of discourse we write (∀x)P(x). ∀ is called the universal quantifier. ๐๐๐ ๐๐๐ ∀ means {๐๐๐ ๐๐ฃ๐๐๐ฆ ๐๐๐ ๐๐๐โ Existential quantifier (∃): To say that there is (at least one) x in the universe of discourse for which P(x) is true we write (∃x)P(x). ∃ is called the existential quantifier. there is ∃ means {there exist for some NB: Quantifying an open sentence makes it a proposition. Exercise 1.4 1. Translate the following statements using word notation a) (∃y)(∀x)P(x, y) b) (∃x)¬P(x) c) (∃x)(∃y)P(x, y) d) (∀x)(∃y)P(x, y) 2. Write the following statements using qualifiers a) For each real number x>0, x2+x-6 = 0 b) There is a real number x>0 such that x2+x-6 = 0 c) The square of any real number is non-negative d) For each integer x, there is an integer y such that x+y = -1 e) There is an integer x such that for each integer y, x+y = -1 1.6 Negation of a quantifier To negate a statement that involves the quantifiers ∀ and ∃, change ∀ to ∃ and ∃ to ∀ then negate the open sentence. Examples 1) ¬[(∀x)P(x)]≡ (∃x)¬P(x) 2) ¬[all birds can fly]≡ [there is at least one bird that does not fly] 3) ¬[(∀x)(∃y)P(x, y)]≡ (∃y)(∀x)¬P(x, y) 5 REAL ANALYSIS 1 Issa Ndungo 1.7 Overgeneralization and Counterexamples Overgeneralization occurs when a pattern searcher discovers a pattern among finitely many cases and then claims that the pattern is general (when in fact it is not). To disprove a general statement such as (∀x)P(x), we must exhibit one x for which P(x) is false. i.e. (∃x)¬P(x). Examples 1) Statement (∀x ∈ โ)(x< x2) is false, x = ½ is a counterexample since ½ โฎ (½)2. 2) For all real numbers x and y |x+y| = |x|+|y|. This statement is false, the counterexample is when x =1 and y = -1 since |1+-1|≠|1|+|-1| or 0 ≠ 2. 3) For all prime numbers p, 2p+1 is prime. This statement is false, the counterexample is p = 7. 1.8 Methods of proof in Mathematics A proof is a process of establishing the truth of an assertion, it is a sequence of logical sound arguments which establishes the truth of a statement in question. 1) Direct Method Suppose P⇒Q, in this method we assume that P is true and proceed through a sequence of logical steps to arrive at the conclusion that Q is also true. Example 1.4 a) Show that if m is an even integer and n is an odd integer then m+n is an odd integer. Assume that m is an even integer and n is an odd integer. Then m = 2k and n = 2โ+1 for some integer k and โ. Therefore m + n = 2k + 2โ + 1 = 2(k + โ) + 1 = 2d + 1 for some integer d = k+โ. Since d is an integer then m+n is an odd integer. b) Show that if n is an even integer, then ๐2 is also an even integer. Assume that n is an even integer, then n = 2k for some integer k. Now n2 = (2k)2 = 4k2 = 2(2k)2 = 2c2 for some integer c = 2k. Since c is an integer the ๐2 is an even integer. 2) Contrapositive Method Associated with the implication P ⇒ Q is the logical equivalent statement ¬Q⇒ ¬P, the contrapositive of the conditional statement P ⇒ Q. So, one way to prove the conditional statement P ⇒ Q is to give a direct proof of the contrapositive statement ¬Q⇒ ¬P. The first step is to write down the negation of the conclusion then follow it by a series of logical steps that this leads to the negation of the hypothesis of the original conditional statement. Example 1.5 a) Show that if ๐2 is even integer then n is an even integer. We will show that if n is odd then ๐2 is odd. Assume that ๐ is odd. Then ๐ = 2๐ + 1 for some integer ๐. 6 REAL ANALYSIS 1 Issa Ndungo Now n2 = (2k + 1)2 = 4k 2 + 4k + 1 = 2(2k 2 + 2k) + 1 = 2d + 1 for some integer ๐ = 2๐ 2 + 2๐. Since ๐ is an integer then ๐2 is an odd integer. Thus, by contrapositive if ๐2 is even then n is itself even. b) Show that if 2n is odd integer then n is an odd integer. By contrapositive, we show that if n is even integer then 3n is an even integer. Now n = 2p and 3n =3*2p =2(3p) = 2c for some integer c = 3p. Since c is an integer then 3n is even and so by contrapositive, if 3n is odd then n is odd 3) Contradiction Method Assume that P is true and Q is false i.e. Pษ ¬Q is true. Then show a series of logical steps that leads to a contradiction or impossibility or absurdity. This will mean that the statement Pษ ¬Q must have been fallacious and therefore, its negation ¬[Pษ ¬Q ] must be true. Since ¬[P⇒Q]≡[Pษ ¬Q], it follows that [P⇒Q]≡ ¬[Pษ ¬Q] and hence P⇒Q must be true. Definition: A real number r is said to be rational if there are integers n and m (m≠0) such that n r = m with greatest common divisor between [n, m] = 1. We denote the set of rations by โ. A real number that is not rational is said to be irrational. Example 1.6 (proofs by contradiction) a) Show that √2 is irrational. That is there is no integer p and q such that √2= p q or there is no 2 rational number ๐ such that ๐ = 2. By contradiction, we assume that √2 is rational. p p2 q q2 So, we have √2= . And so 2 = thus 2q2 = p2 ………………….. (*) From (*), observe that p2 is even and so p is even and can be written as p = 2c for some integer c. So (*) becomes: 2q2 =(2c)2 = 4c2 and so q2 = 2c2………………….. (**) Similarly, from (**) it is observed that q2 is even and so q is itself even. Therefore, both p and q are even integers; implying that they both have a common factor of 2. This contradict the fact that the GCD [p, q] =1 and thus √2 is not rational but rather it is irrational. b) Show that if 3n is an odd integer then n is an odd integer. We will use contradiction. Assume that 3n is an odd integer and n is even integer. Then 3n = 2k+1 and n = 2d for some integers k and d. Therefore 3n =2k+1 = 2(3d) = 2c for some integer c. Since c is an integer then 3n is an even integer which indicates that 3n is both odd and even which is impossible. Thus, if 3n is odd n cannot be even but rather n is odd c) If r is rational and x is irrational then prove that r+x and rx are irrational. p Let r+x be rational (by contradiction), then r+x = q with q≠ 0, GCD [p, q] = 1. Since r is rational, then r = n m and then x = p q n -m= pm−qn qm which is rational. This indicates that x is both rational and irrational which is absurd and so r+x is irrational. p Similarly, suppose rx is rational, then rx = q for some integers p, q; q≠ 0 and GCD [p, q] =1. Since r is rational then r = n m pn and then rx =qm which is rational. This indicate that x is both rational and irrational; which is impossible and thus the assumption that rx is ration is false so rx is irrational 7 REAL ANALYSIS 1 Issa Ndungo Exercise 1.5 Use the method of contradiction to prove the following: a) If n is a positive integer which is not perfect square then √n is irrational. b) √12 is irrational c) √7 is irrational 4) Mathematical induction Method It is a method that proves statements of the type ∀ n ∈ N, A(n) holds. Here A(n) is statement 1 depending on n. e.g. 1 + 2 + 3 + 4 + โฏ + n = 2 n(n + 1). Definition Let no∈ N and let A(n) be statement depending on n∈N such that: (1) A(n) is true. (2) For every k ≥ no if A(k) is true then A(k+1) is also true. That is ∀ k ≥ no , A(k)⇒ A(k + 1). Then A(n) is true for n≥ N. Steps for mathematical induction 1- Initial stage# verify that A(no) is true 2- Induction hypothesis# A(n) is true for some n say n = k 3- Induction step# deduce (from step1 and 2) that A(n) is true for n = k+1 4- Conclusion# by the PMI, A(n) is true for all integers n≥ N Example 1.7 1) Prove that “7 is a divisor of 32n − 2n ” Step 1: For n =1 we have 32 − 21 = 9 − 2 = 7 True Step 2: 32n − 2n is divisible by 7 for some n = k Step 3: set n = k+1, step 2 implies that ∃ j: 32n − 2n =7j 32(k+1) − 2(k+1) = 9 ∗ 32k − 2 ∗ 2k =9 ∗ (7j + 2k ) − 2 ∗ 2k = 9 (7j) +(9-2)*2๐ = 7(9 j+2k) which is divisible by 7 Step 4: It follows from the PMI that 7 is a divisor of 32n − 2n for all n ≥ 1 1 2) Prove that for all n∈ N, 1+4+9+ …+ n2 = 6 (2n3 + 3n2 + n) Solution 1 Check that the statement holds for no=1; 1= 6 (2 ∗ 13 + 3 ∗ 12 + 1) = 1 โ 1 A(n) holds for some n = k that is 1+4+9+ …+ k2 = 6 (2k 3 + 3k 2 + k) Check that the statement holds for n = k+1 1 That is 1+4+9+ …+ k2 + (k+1)2 = 6 (2k 3 + 3k 2 + k)+(k+1)2 1 = 6 (2(k + 1)3 + 3(k + 1)2 + (k+1) Which is the RHS of A(k+1). Therefore, the statement is true for n = k+1 It follows by PMI that A(n) holds for all n∈ N โ 8 REAL ANALYSIS 1 Issa Ndungo Exercise 1.6 Prove the following statements by PMI i) 1+2+3+…+n = ½ (n2+n) for all n≥ 0 ii) 1+3+5+…. + (2n-1) = n2 for all n≥ 1 9 REAL ANALYSIS 1 Issa Ndungo UNIT TWO SETS AND FUNCTIONS 2.1 Definitions about sets Definition: A set is a well-defined collection of objects that share a certain property or properties. The term well-defined means that the objects contained in the set are totally determined and so any given object is either in the set or not in the set. We use capital letters to denote sets and small letters to denote the elements in the set. A set can be described by listing its members (roster method) or by defining a rule or a function that describes its elements. E.g. B = {x∈ N: n = k 2 for some k∈ N}. Examples of sets include set of integers, set of rational numbers, set of counting numbers etc. Definition: Let A and B be sets. We say that: a) B is a subset of A (or is contained in A) denoted by B⊆A if every element of B is an element of A. i.e. (∀x)(x ∈ B → x ∈ A). b) A = B if (A ⊆ B)ษ (B ⊆ A) i.e (∀x)(x ∈ A ⇔ x ∈ B). c) If B is a subset of A and A ≠ B then B is a proper subset of A written as B⊂ A d) We say that a set is empty if it contains no element e.g. {x∈ โ: x2+1 =0} is empty since x2+1=0 has no solution in โ. Proposition 2.1 1) If A is empty then A⊆B for any set B 2) All empty sets are equal 3) For any set A, A⊆ A, if A⊆ B and B⊆ C, then A⊆ C. Theorem 2.1 Given any two sets A and B, if A = B then (A⊆ B)ษ (B ⊆ A) Proof Let x∈ A, since A = B then x∈ B and so we have A = B ⇔(∀x)[(x ∈ A) ⇔(x∈ B)] ⇔(∀x)[(x ∈ A) ⇒(x∈ B)ษ (x ∈ B) ⇒ (x ∈ A)] ⇔(∀x)[(x ∈ A) ⇒(x∈ B)]ษ (∀x)[(x ∈ B) ⇒ (x ∈ A)]] ⇔ (A ⊆ B)ษ B ⊆ A) โ 10 REAL ANALYSIS 1 Issa Ndungo 2.2 Interval and inequalities Let a, b ∈ โ then only and only one of the statements a<b, a>b and a = b is true. Finite intervals Open interval (a, b) or {x∈ โ|a < x < b} Closed interval [a, b] or {x∈ โ|a ≤ x ≤ b} Half-closed interval [a, b), (a, b] or {x∈ โ|a ≤ x < b}, {x∈ โ|a < x ≤ b} respectively. Infinite intervals Open interval (a, ∞), (∞, a) or {x∈ โ|x > a}, {x ∈ โ|x < a} respectively Closed interval [a, ∞), (∞, a] or {x∈ โ|x ≥ a} , {x∈ โ|x ≤ a} respectively Half-closed interval [a, b), (a, b] or {x∈ โ|a ≤ x < b}, {x∈ โ|a < x ≤ b} respectively. -∞ and ∞ can not be boundaries on the subset of โ since they are not members of โ. 2.3 Operations on sets Definition: Let A be a set. The power of set A denoted by P(A) is the set whose elements are all the subsets of A. that is P(A) = {B: B⊆A}. Example: Let A = {x, y, z}. P(A) = {ฯ, {x}, {y}, {z}, {x, y}, {x, z}, {y, x}, {x, y, z}} Definition: Let A and B be subsets of a universal set U: a) The union of A and B denoted by AUB is the set of all elements in U that are either in A or B or both. i.e. AUB = {x∈ U: (x∈ A)V(x ∈ B)}. b) The intersection of A and B denoted by A∩B is the set containing all elements that are both A and B. i.e. A∩B = {x∈ U: (x∈ A)ษ (x ∈ B)}. c) Sets A and B are said to be disjoint or mutually exclusive if A∩B = ฯ. d) The complement of A relative to B denoted by B-A or B\A is a set of elements of B that are not in A. i.e. B-A = {x∈ U: (x∈ B)ษ (x ∉ A)}. e) The complement of A denoted by Ac or AI is the set of all elements in U that are not in A. i.e. Ac = {x∈ U: x ∉ A)}. f) The symmetric difference between A and B denoted by AโณB is a set given by AโณB = {(B-A)V(A-B). Exercise 2.1 Let A and B be subsets of a universal set U = {all counting numbers}. Let A = {1,2,4,5,6, 12,13} and B = {3,5,6,7,8,910}. Write down the elements for each of the following sets. a) P = {x∈ U: (x∈ A)V(x ∈ B)} g) Q={x∈ U: (x∈ B)ษ (x ∉ A)} b) R= {x∈ U: (x∈ A)ษ (x ∈ B)} c) S = {x∈ U: x ∉ A)} 11 REAL ANALYSIS 1 Issa Ndungo Proposition 2.2 Let A, B, and C be subsets of a universal set U. a) b) c) d) e) f) i) AUB =BUA and ii) A∩ B = B∩ A i) (A∩ B) ∩ C = A ∩ (B ∩ C) and ii) (AUB)UC = AU(BUC) i) A∩ A = A and ii) AUA = A i) AU(B∩ C) = (AUB) ∩ (AUC) and ii) A∩ (BUC) = (A ∩ B)U(A ∩ C) i) (AUB)I = AI∩BI and ii) (A∩B)I = AIUBI A-(BUC) = (A-B) ∩(A-C) (Commutative law) (Associative law) (Idempotent law) (Distributive law) (Demorgan’s law) (Distributive law) We prove d) ii), e) i) and f). the rest can be proved in the same way by the reader. d) ii) A∩ (BUC) = (A ∩ B)U(A ∩ C). Let x∈ A∩ (BUC) x∈ A∩ (BUC) ⇔ (x∈ A)ษ (x ∈ BUC) ⇔ (x∈ A)ษ [(x ∈ B)V(x ∈ C)] ⇔ [(x∈ A)ษ (x ∈ B)]V[ (x ∈ A)ษ (x ∈ C)] ⇔ x ∈ (A ∩ B)U(A ∩ C). Thus A∩ (BUC) = (A ∩ B)U(A ∩ C) e) i) (AUB)I = AI∩BI Let x∈(AUB)I, then x∉ (AUB) Therefore ¬[x ∈ (AUB)] x∈(AUB)I ⇔ ¬[x ∈ (AUB)] ⇔ ¬[(x ∈ A)V(x ∈ B)] ⇔ (x ∉ Ac )ษ (x ∉ Bc ) ⇔ x ∈ (Ac ษ Bc ). Therefore (AUB)I = AI∩BI f) A-(BUC) = (A-B) ∩(A-C) Let x∈ A-(BUC) x∈ A-(BUC) ⇔ (x ∈ A)ษ [x ∉ (BUC)] ⇔ (x ∈ A)ษ ¬[x ∈ (BUC)] ⇔ (x ∈ A)ษ ¬[(x ∈ B)V(x ∈ C)] ⇔ (x ∈ A)ษ [¬(x ∈ B)ษ ¬(x ∈ C)] ⇔ [(x ∈ A)ษ ¬(x ∈ B)]ษ [(x ∈ A)¬(x ∈ C)] ⇔ (x ∈ A − B)ษ (x ∈ A − C) ⇔ x ∈ (A − B) ∩ (A − C). Therefore A-(BUC) = (A-B) ∩(A-C) โ 12 REAL ANALYSIS 1 Issa Ndungo 2.4 Indexed families of sets Instead of using the alphabetical letters, due to existence of large collection of sets, we usually index sets using some convenient indexing sets. Suppose I is a set and for each i ∈ I there corresponds one and only one subset Ai of a universal set U. The collection {Ai : i ∈ I} is called an indexing family of sets or indexed collection of sets. Definition: Let {Ai : i ∈ I} be an indexed family of subsets of the universal set U. a) The union of the family {Ai : i ∈ I} denoted by โi∈I Ai is the set of all those elements of U which belong to at least one of the Ai . That is โi∈I Ai = {x ∈ U: x ∈ Ai for some i ∈ I} or โi∈I Ai = {x ∈ U: (∃i ∈ I)(x ∈ Ai ). b) The intersection of the family {Ai : i ∈ I} denoted by โi∈I Ai is the set of all those elements of U which belong to all the Ai . That is โi∈I Ai = {x ∈ U: x ∈ Ai for each i ∈ I} or โi∈I Ai {x ∈ U: (∀i ∈ I)(x ∈ Ai ). Exercise 2.2 Let {Ai : i ∈ I} be an indexed family of subsets of the universal set U and let B be a subset of U. Prove that: a) B ∩ (โi∈I Ai ) = โi∈I(B ∩ Ai ) b) B − โi∈I Ai = โi∈I(B − Ai ) c) โi∈I Ai = โi∈I Aci 2.5 Functions Definition: Let X and Y be sets, a function ๐ from X to Y denoted by f: X โฆ Y is a rule that assigns to each x ∈X a unique element y ∈ Y. Definition: Let X and Y be sets, a function ๐ from X to Y denoted by f: X โฆ Y is said to be: a) Injective (one-to-one) if for each y ∈ Y there is at most one x ∈X such that f(x) = y. Equivalently, ๐ is injective if for all x1 , x2 ∈ X, f(x1 ) = ๐(x2 ) implies that x1 = x2 . That is (∀x1 , x2 ∈ X)(๐(x1 ) = ๐(x2 )) → x1 = x2 b) Surjective (onto) if for every y ∈ Y there is an x ∈X such that f(x) = y. That is (∀y ∈ Y)(∃x ∈ X)(๐(x) = y). c) Bijective: If it is both injective and surjective Definition Let X, Y and Z be sets, f: X โฆ Y and g: Y โฆ Z be functions. The composition of f and ๐ denoted by fog is the function fog: X โฆ Z defined by (fog)(x) = g[f(x)]. As illustrated in the figure below. Y f g X fog Z 13 REAL ANALYSIS 1 Issa Ndungo Theorem 2.2 Let f: X โฆ Y and g: Y โฆ Z such that ran(f) ⊆ dom(g), then: a) b) c) d) If f and g are onto then so is the composition function gof. If f and g are one-to-one then so is the composition function gof. If gof is one-to-one then so is f. If gof is onto then so is g. Proof a) Let z ∈ Z. Since g is onto there is a y ∈ Y such that g(y) = z since f is onto there is a x ∈X such that f(x) = y. Therefore (gof)(x) = g[f(x)] = g(y) = z. Hence gof is onto b) Let x1 , x2 be in X such that (gof)(x1 ) = (gof)(x2 ). Then g[f(x1 )] = g[f(x2 )] f(x1 )] = f(x2 ) since g is one-to-one x1 = x2 since f is one -to-one So gof is one-to -one c) Let x1 , x2 be elements of X such thatf(x1 ) = f(x2 ) then (gof)(x1 ) = (g[f(x1 )] = g[f(x2 )] Since gof is one-to-one it follows that x1 = x2 thus f is one-to-one d) Let z ∈ Z we must produce a y ∈ Ysuch that g(y) = z. Since is onto there is an x ∈X such that gof(x) = g[f(x)] = z. Let y = f(x) (∈ Y) then g(y) = z which proves that g is onto. โ Exercise 2.3 1) Let f: X โฆ Y be a bijection. Then f −1 : X โฆ Y is a bijection 2) Let f: X โฆ Y and g: Y โฆ Z be bijections then (gof)−1 = f −1 og −1 2.6 Cardinality: The size of a set Definition: Two sets A and B are said to have same cardinality, denoted by |A| = |B| if there is a one-to-one function from A onto B. Sets with same cardinality are said to be equipotent or equinumerous. 2.7 Sets of real numbers The sets of real numbers have unique description for example: Set of counting numbers, integers, real numbers, complex numbers, rational numbers, whole numbers, even numbers etc. 2.8 Order on sets and ordered sets Order of a set Let S be a non-empty set. An order on a set S is a relation denoted by “<” with the following properties: 1) If x ∈ S and y ∈ S then one and only one of the statements x<y, x>y and x = y is true. 2) If x, y, z ∈ S and if x<y, y<z then x<z. Ordered set A set S is said to be ordered if an order is defined on S. 14 REAL ANALYSIS 1 Issa Ndungo 2.9 Bounded sets Let S be an ordered set and E ⊆ S. If there exist a b ∈ S such that x ≤ b ∀x ∈ E then we say that E is bounded above and b is known as an upper bound of E. Let S be an ordered set and E ⊆ S. If there exist a p ∈ S such that x ≥ p ∀x ∈ E then p is the lower bound of E. Least upper bound (supremum) Suppose S is an ordered set, E ⊆ S and E is bounded above. Suppose there exist a ๐ ∈ S such that: i) ๐ is an upper bound of E ii) if g<๐ then, g is not an upper bound of E. Then ๐ is called a least upper bound of E or supremum of E written as supE = ๐. i.e. ๐ is the least member of the set of upper bounds of E. Greatest lower bound (infimum) Suppose S is an ordered set, E ⊆ S and E is bounded below. Suppose there exist a k ∈ S such that: i) k is a lower bound of E ii) if g>k then, g is not a lower bound of E. Then k is called a greatest lower bound of E or infimum of E written as inf E = k. i.e. k is the greatest member of the set of lower bounds of E. Note: 1) That the supremum and the infimum are not necessarily members of E. 1 1 1 1 1 E.g. Let E be a set of numbers of the form n where n is a counting number. {E = 1, 2 , 3 , 4 , 5 . … ..}. then the supE =1 which belongs to set E and the inf E = 0 which does not belong to set E. 2) If the sup E exist and is not in S then set S does not contain the least upper bound property. 3) An ordered set which has the least upper bound property also has the greatest lower bound property. Exercise 2.4 a) State the least upper bound property and greatest lower bound property of a set S. b) Let E be a non-empty subset of an ordered set, suppose a is lower bound of E and b is an upper bound of E. Prove that a ≤ b. 2.10 Neighborhoods A neighborhood of a point p ∈ โ is an interval of the form (p − δ, p + δ) where δ > 0 for any positive real number. Thus, the neighborhood consists of all points distance less than δ from p. (p − δ, p + δ) = {x ∈ โ: |x − p| < δ}. E.g. (1.2, 2.8) is a neighborhood of 2. 15 REAL ANALYSIS 1 Issa Ndungo 2.11 Types of points for sets We shall consider sets that are subsets of โ or subset of extended โ. Note that โ does not include ∞ and − ∞ while extended โ includes ∞ and − ∞. Definition (interior point of S) Consider S ∈ โ, a point p ∈ โ is said to an interior point if it has a neighborhood U laying entirely outside S. i.e. with U ⊂ S. Definition (exterior point of S) Consider S ∈ โ, a point p ∈ โ is said to an exterior point if it has a neighborhood U laying entirely inside S. i.e. with U ⊂ S c . Definition (boundary point of S) Consider S ∈ โ, a point p ∈ โ is said to a boundary point of S if it is neither interior or exterior point of S. Thus, p is a boundary point S if its neighborhood intersects both S and Sc. Example 2.1 1) For the set A = [-∞, 4)U{5, 9}U[6, 7] decide which of the following are true or which is false. a) -6 is an interior point of A (T) b) 6 is an interior point of A (F) c) 9 is a boundary point of A (T) d) 5 is a boundary point of A (F) Interior, exterior and boundary of a set The set of all interior points of a set S is denoted by So and is called the interior of S, the set of all boundary points of S is denoted by ∂S is called the boundary of S while the set of all points of S is the exterior of S and is denoted by Sext. Thus, the extended โ line is split up into 3 parts: โ = S o ∪ ∂S ∪ S ext . Example 2.2 For the set A = [-∞, 4) ∪ {5, 9} ∪ [6, 7) i) Ao = [-∞, 4) ∪ (6, 7) ii) ∂A = {4,5,9,7,6} iii) Ac = [4, 5)∪ (5, 6) ∪ [7, 9) ∪ (9, ∞] iv) The interior of the complement of Ac = (4, 4)U(5, 6)U(7, 9)U(9, ∞] Exercise 2.5 1) For the set B = (-∞, −5๐{2,3,8}๐[4, 7] decide which of the following are true or which is false. a) -6 is an interior point of B b) -5 is an interior point of B c) 5 is a boundary point of B d) 7 is a boundary point of B e) 4 is an interior point of B 2) For the set D = {-4, 8}∪ [1, 7) ∪ [9, ∞] find ๐ท๐ , ๐๐ท, ๐ท๐ and (๐ท๐ )๐ 2.12 Open sets and Topology We say that a set is open if it does not contain any of its boundary points. Eg (2, 3)∪(5, 9) is open. Note that every point of an open set is an interior point. Thus, if a set is open it means that S o = S. This means that a union of open sets is open. The collection of all open subsets of โ is called the topology of โ . 16 REAL ANALYSIS 1 Issa Ndungo Theorem 2.3 If two sets A and B are open then ๐ด ∩ ๐ต is open. Proof Take a point ๐ ∈ (๐ด ∩ ๐ต), then p is in both A and B. Since ๐ ∈ ๐ด and A is open there is a neighborhood U of p which is a subset of A i.e. ๐ ⊂ ๐ด. Similarly, there is a neighborhood V of p which is a subset of B i.e. ๐ ⊂ ๐ต. But then ๐ ∩ ๐ is a neighborhood of p which is a subset of both A and B, so ๐ ∩ ๐ ⊂ ๐ด ∩ ๐ต. Thus, every point in ๐ด ∩ ๐ต is open. โ 2.13 Closed set A set S is said to be closed if it contains all its boundary points. i.e. ๐๐ ⊂ ๐ e.g. B = [4, 8] U [9, ∞] ๐๐ต = (4, ∞) ๐๐ต ⊂ ๐ต so, B is closed A = [4, 5) is not closed. N.B: If a set is open then its complement is closed and the converse is true. Exercise 2.6 Prove the following theorems: a) If a set is open then is complement is closed b) The closure of a set is closed c) The closure of a set is the smallest closed set containing S. d) Every closed and bounded subset of โ is compact. Conversely every compact subset of โ is closed and bounded. (Heine Borel theory) 17 REAL ANALYSIS 1 Issa Ndungo UNIT THREE REAL NUMBERS AND THEIR PROPERTIES 3.1 Real numbers Definition: Real numbers are numbers that appear on a number line. They form an open set written as (∞, -∞); ±∞ are not included in the set and so they are not real numbers. Real numbers are divided into two types, rational numbers and irrational numbers. Rational Numbers: Any number that can be expressed as the quotient of two integers (fraction). Any number with a decimal that repeats or terminates. Subsets of Rational Numbers: Integers: rational numbers that contain no fractions or decimals {…,-2, -1, 0, 1, 2, …} Whole Numbers: all positive integers and the number 0 {0, 1, 2, 3, … } Natural Numbers (counting numbers): all positive integers (not 0) {1, 2, 3, … } Irrational Numbers: Any number that cannot be expressed as a quotient of two integers (fraction). Any number with a decimal that is non-repeating and non-terminal (doesn’t repeat and doesn’t end). Examples of irrational numbers include: π, √2, √3 etc. 3.2 Axioms of Real numbers 3.2.1 The Field axioms Definition: A field is a set ๐ฝ together with two binary operations +: ๐ฝ × ๐ฝ โน ๐ฝ (called addition) and × : ๐ฝ × ๐ฝ โน ๐ฝ (called multiplication) such that for all x, y, z∈ ๐ฝ the following are satisfied. 1. Closure law: x, y ∈ ๐ฝ then x+y∈ ๐ฝ and ๐ฅ๐ฆ∈ ๐ฝ. 2. Commutative law: ๐ฅ + ๐ฆ = ๐ฆ + ๐ฅ and ๐ฅ๐ฆ = ๐ฆ๐ฅ, ∀๐ฅ, ๐ฆ ∈ ๐ฝ 3. Associative law: ๐ฅ + (๐ฆ + ๐ง) = (๐ฅ + ๐ฆ) + ๐ง and ๐ฅ(๐ฆ๐ง) = (๐ฅ๐ฆ)๐ง, ∀๐ฅ, ๐ฆ, ๐ง ∈ ๐ฝ 4. Existence of inverse: a) Additive inverse-For any ๐ฅ ∈ ๐ฝ, ∃ −๐ฅ ∈ ๐ฝ: ๐ฅ + (−๐ฅ) = (−๐ฅ) + ๐ฅ = 0 1 1 1 b) Multiplicative inverse-For any ๐ฅ ∈ ๐ฝ, ∃ ๐ฅ ∈ ๐ฝ: ๐ฅ (๐ฅ) = (๐ฅ) ๐ฅ = 1 5. Existence of identity: a) Additive identity-For any ๐ฅ ∈ ๐ฝ, ∃ 0∈ ๐ฝ: ๐ฅ + 0 = 0 + ๐ฅ = ๐ฅ b) Multiplicative identity- For any ๐ฅ ∈ ๐ฝ, ∃ 1 ∈ ๐ฝ: ๐ฅ. 1 = 1. ๐ฅ = ๐ฅ 6. Distributive law: For ∀๐ฅ, ๐ฆ, ๐ง ∈ ๐ฝ, ๐ฅ(๐ฆ + ๐ง) = (๐ฆ + ๐ง)๐ฅ = ๐ฅ๐ฆ = ๐ฅ๐ง Theorem 3.1 Let ๐ฅ, ๐ฆ, ๐ง ∈ ๐ฝ then, a) b) c) d) If ๐ฅ + ๐ฆ = ๐ฅ + ๐ง, then ๐ฆ = ๐ง If ๐ฅ + ๐ฆ = ๐ฅ, then ๐ฆ = 0 If ๐ฅ + ๐ฆ = 0, then ๐ฅ = −๐ฆ −(−๐ฅ) = ๐ฅ 18 REAL ANALYSIS 1 Issa Ndungo Proof a) Suppose ๐ฅ + ๐ฆ = ๐ฅ + ๐ง ๐ฆ = 0+๐ฆ = (−๐ฅ + ๐ฅ) + ๐ฆ = −๐ฅ + (๐ฅ + ๐ฆ) = −๐ฅ + ๐ฆ + ๐ง = (−๐ฅ + ๐ฅ) + ๐ง =0+๐ง =๐ง Thus ๐ฆ = ๐ง b) Take ๐ง = 0 in a) ๐ฅ+๐ฆ =๐ฅ+0 ⇒๐ฆ=0 c) Take ๐ง = −๐ฅ in a) ๐ฅ + ๐ฆ = ๐ฅ + (−๐ฅ) ๐ฆ = −๐ฅ d) Let −(−๐ฅ) = ๐ด If ๐ด + −๐ฅ = 0, Then ๐ด + −๐ฅ + ๐ฅ = 0 + ๐ฅ ๐ด+0 =๐ฅ ๐ด =๐ฅ Thus, −(−๐ฅ) = ๐ฅ โ Theorem 3.2 Let ๐ฅ, ๐ฆ ๐๐๐ ๐ง ∈ ๐ฝ a) If ๐ฅ ≠ 0 and ๐ฅ๐ฆ = ๐ฅ๐ง then, ๐ฆ = ๐ง b) If ๐ฅ ≠ 0 and ๐ฅ๐ฆ = ๐ฅ then, ๐ฆ = 1 1 c) If ๐ฅ ≠ 0 and ๐ฅ๐ฆ = 1 then, ๐ฆ = ๐ฅ d) If ๐ฅ ≠ 0 then, 1 1 ๐ฅ =๐ฅ Proof a) Suppose ๐ฅ๐ฆ = ๐ฅ๐ง 1 Since ๐ฆ = 1. ๐ฆ = (๐ฅ . ๐ฅ) ๐ฆ 1 ๐ฆ = ๐ฅ (๐ฅ๐ฆ) 1 ๐ฆ = ๐ฅ (๐ฅ๐ง) 1 ๐ฆ = (๐ฅ . ๐ฅ) ๐ง ๐ฆ = 1. ๐ง Thus, ๐ฆ = ๐ง b) Suppose ๐ฅ๐ฆ = ๐ฅ 19 REAL ANALYSIS 1 Issa Ndungo From ๐ฅ๐ฆ = ๐ฅ๐ง in a) put ๐ง = 1 and get ๐ฅ๐ฆ = ๐ฅ โน ๐ฆ = 1 1 c) Take ๐ง = ๐ฅ in a) 1 ๐ฅ๐ฆ = . ๐ฅ ๐ฅ 1 ⇒๐ฆ=๐ฅ 1 d) Since ๐ฅ . ๐ฅ = 1 then c) gives ๐ฅ = 1 1 ๐ฅ โ Exercise 3.1 Use the field axioms to prove the following propositions. a) (−1)(−1) = 1 b) (−). ๐ฅ = −๐ฅ c) 0. ๐ฅ = 0 d) If ๐ฅ ≠ 0, ๐ฆ ≠ 0 then, ๐ฅ๐ฆ ≠ 0 3.2.2 The order axiom An ordered field is a field ๐ฝ on which an order relation < is defined such that: i) (Trichotomy)-for every ๐ฅ, ๐ฆ ∈ ๐ฝ exactly one of the following holds: ๐ฅ < ๐ฆ, ๐ฅ > ๐ฆ, ๐ฅ = ๐ฆ. ii) (Transitivity)- for all ๐ฅ, ๐ฆ, ๐ง, ๐ฅ < ๐ฆ ∧ ๐ฆ < ๐ง โน ๐ฅ < ๐ง iii) For all ๐ฅ, ๐ฆ, ๐ง ๐๐ ๐ฝ, ๐ฅ < ๐ฆ ⇒ ๐ฅ + ๐ง < ๐ฆ + ๐ง, furthermore if ๐ง > 0, then ๐ฅ๐ง < ๐ฆ๐ง. Theorem 3.3 The following propositions holds for any ordered field. i) ii) iii) iv) v) If ๐ฅ > 0 then −๐ฅ < 0 and vice versa If ๐ฅ > 0 and ๐ฆ < ๐ง then ๐ฅ๐ฆ < ๐ฅ๐ง If ๐ฅ < 0 and ๐ฆ < ๐ง then ๐ฅ๐ฆ > ๐ฅ๐ง If ๐ฅ ≠ 0 then ๐ฅ 2 > 0 in particular, 1>0 1 1 If 0 < ๐ฅ < ๐ฆ then 0 < ๐ฆ < ๐ฅ Proof i) If ๐ฅ > 0 then 0 = −๐ฅ + ๐ฅ > −๐ฅ + 0. So −๐ฅ < 0 If ๐ฅ < 0 then 0 = −๐ฅ + ๐ฅ < −๐ฅ + 0. So −๐ฅ > 0 ii) Since ๐ > ๐ฆ we have ๐ง − ๐ฆ > ๐ฆ − ๐ฆ = 0 which means that ๐ง − ๐ฆ > 0. Also ๐ฅ > 0 Therefore ๐ฅ(๐ง − ๐ฆ) > 0 ๐ฅ๐ง − ๐ฅ๐ฆ > 0 ๐ฅ๐ง − ๐ฅ๐ฆ + ๐ฅ๐ฆ > 0 + ๐ฅ๐ฆ ๐ฅ๐ง > ๐ฅ๐ฆ ๐๐ ๐ฅ๐ฆ < ๐ฅ๐ง 20 REAL ANALYSIS 1 Issa Ndungo iii) Since ๐ฆ < ๐ง ⇒ −๐ฆ + ๐ฆ < −๐ฆ + ๐ง ⇒ ๐ง − ๐ฆ > 0. Also ๐ฅ > 0⇒ −๐ฅ > 0 Therefore −๐ฅ(๐ง − ๐ฆ) > 0 −๐ฅ๐ง + ๐ฅ๐ฆ > 0 −๐ฅ๐ง − ๐ฅ๐ง + ๐ฅ๐ฆ > 0 + ๐ฅ๐ง ๐ฅ๐ฆ > ๐ฅ๐ง iv) If ๐ฅ > 0 then ๐ฅ. ๐ฅ > 0 ⇒ ๐ฅ 2 > 0 If ๐ฅ < 0 then −๐ฅ > 0 ⇒ (−๐ฅ). (−๐ฅ) > 0 ⇒ ๐ฅ 2 > 0 i.e. If ๐ฅ > 0, then ๐ฅ 2 > 0, Since 12 = 1, then 1>0 1 1 v) If ๐ฆ > 0 and ๐ฃ ≤ 0 then ๐ฆ. ๐ฃ ≤ 0. But ( ๐ฆ. ๐ฆ) = 1 > 0 ⇒ ๐ฆ > 0 1 Like wise ๐ฅ > 0, as ๐ฅ > 0. If we multiply both sides of the inequality ๐ฅ < ๐ฆ by the positive quantity 1 1 1 1 1 1 1 1 . we obtain (๐ฅ) (๐ฆ) ๐ฅ < (๐ฅ) (๐ฆ) ๐ฆ. i.e.๐ฆ < ๐ฅ ๐ฅ ๐ฆ โ 3.2.3 The completeness axiom Definition: An ordered field ๐ is said to be complete if every subset S of ๐ which is bounded above has the least upper bound. Proposition: A nonempty subset S of an ordered field ๐ can have at most one least upper bound. Proof Suppose λ and ๐ฃ are both least upper bounds of S. Then by the definition of least upper bound, we have ๐ ≤ ๐ฃ ≤ ๐, thus ๐ = ๐ฃ. โ Theorem 3.4 (Characterization of supremum) Let S be a nonempty subset of an ordered field ๐ and ๐ ∈ ๐. Then ๐ = ๐ ๐ข๐๐ if and only if: i) M is an upper bound for S ii) For any ๐ ∈ ๐ with ε>0, there is an element ๐ ∈ ๐ such that ๐ − ๐ < ๐. Proof Assume that M is a supremum for S. i.e. ๐ = ๐ ๐ข๐๐. Then, by definition, M is an upper bound for S. If there is an ๐′ ∈ ๐ with ๐ ′ > 0 for which ๐ − ๐ ′ ≥ ๐ for all ๐ ∈ ๐, then ๐ − ๐ ′ is an upper bound for S which is smaller than M, a contradiction. For the converse, assume that i) and ii) hold. Since S is bounded above, it has a supremum, A (say). Since M is an upper bound for s, we must have that ๐ด ≤ ๐. If ๐ด < ๐, then with ๐ = ๐ − ๐ด, there is an element ๐ ∈ ๐ such that ๐ − (๐ − ๐ด) < ๐ ≤ ๐ด. i.e. ๐ด < ๐ด which is absurd. Therefore ๐ด = ๐ and so M is the supremum of ๐. โ 21 REAL ANALYSIS 1 Issa Ndungo Theorem 3.5 Let A and B be nonempty subsets of โ which are bounded above. Then the set ๐ = {๐ + ๐: ๐ ∈ ๐ด & ๐ ∈ ๐ต} is bounded above and ๐ ๐ข๐๐ = ๐ ๐ข๐๐ด + ๐ ๐ข๐๐ต Proof (Left to the reader) 3.3 The Archimedean Property of Real numbers Theorem 3.6 (Archimedean Property) The set โ of natural numbers is not bounded above. Proof Assume that โ is bounded above. By the completeness axiom, ๐ ๐ข๐โ exists. Let ๐ = ๐ ๐ข๐โ then with ๐ = 1, there is an element ๐ ∈ โ such that ๐ − 1 < ๐. This implies that ๐ < ๐ + 1 ≤ ๐ which is impossible. Thus โ is not bounded above โ Corollary: The Archimedean property implies the following 1) 2) 3) 4) For every real number ๐ there exist an integer ๐ such that ๐ < ๐. Given any number ๐ฅ there exist an integer ๐ such that ๐ฅ − 1 ≤ ๐ < ๐ฅ If ๐ฅ and ๐ฆ are two positive real numbers there exist a natural number ๐ such that ๐๐ฅ > ๐ฆ 1 If ๐ > 0 then there exists an ๐ ∈ โ such that ๐ < ๐ Theorem 3.7 (Density of rational in reals) If ๐ฅ and ๐ฆ ∈ โ and ๐ฅ < ๐ฆ then there exists a rational number ๐ such that ๐ฅ < ๐ < ๐ฆ. That is in between any two distinct numbers there is a rational number. Or โ is dense in โ. Proof (lest to the reader). 3.4 The Euclidean space Definition: Let ๐ฅ and ๐ฆ be vectors in โ๐ . The inner product or scaler product of ๐ฅ and ๐ฆ is defined as ๐ฅ . ๐ฆ = ∑๐๐=1 ๐ฅ๐ . ๐ฆ๐ = (๐ฅ1 ๐ฆ1 + ๐ฅ2 ๐ฆ2 + โฏ ๐ฅ๐ ๐ฆ๐ ) 1 2 1 And the norm of ๐ฅ is defined by โฅ ๐ฅ โฅ= (๐ฅ. ๐ฅ) = ∑๐๐=1(๐ฅ๐2 )2 The vector โ๐ with the above inner product and norm is called Euclidean ๐ − ๐ ๐๐๐๐. Theorem 3.8 Let ๐ฅ, ๐ฆ ∈ โ then: i) โฅ ๐ฅ 2 โฅ= ๐ฅ. ๐ฅ ii) โฅ ๐ฅ. ๐ฆ โฅ≤โฅ ๐ฅ โฅ ๐ฆ โฅ (Cauchy Schwarz’s inequality) Proof 1 i) Since โฅ ๐ฅ โฅ= (๐ฅ. ๐ฅ)2 therefore โฅ ๐ฅ โฅ2 = ๐ฅ. ๐ฅ 22 REAL ANALYSIS 1 Issa Ndungo ii) For ๐ ∈ โ we have: 0 ≤โฅ ๐ฅ − ๐๐ฆ โฅ2 = (๐ฅ − ๐๐ฆ)(๐ฅ − ๐๐ฆ) = ๐ฅ (๐ฅ − ๐๐ฆ) + (−๐๐ฆ)(๐ฅ − ๐๐ฆ) = ๐ฅ๐ฅ − ๐๐ฅ๐ฆ − ๐๐ฅ ๐ฆ + ๐ 2 ๐ฆ = โฅ ๐ฅ โฅ2 − 2๐ (๐ฅ. ๐ฆ) + ๐ 2 โฅ ๐ฆ โฅ2 ๐ฅ.๐ฆ 2 Now put ๐ = โฅ๐ฆโฅ2 (certain real number) ⇒ 0 ≤โฅ ๐ฅ โฅ − 2 (๐ฅ.๐ฆ)(๐ฅ.๐ฆ) โฅ๐ฆโฅ2 2 + (๐ฅ.๐ฆ) โฅ๐ฆโฅ4 โฅ ๐ฆ โฅ2 2 ⇒ 0 ≤โฅ ๐ฅ โฅ2 − (๐ฅ. ๐ฆ) โฅ ๐ฆ โฅ2 =โฅ ๐ฅ โฅ2 โฅ ๐ฆ โฅ2 −โฅ ๐ฅ. ๐ฆ โฅ2 ⇒ 0 ≤ (โฅ ๐ฅ โฅโฅ ๐ฆ โฅ +โฅ ๐ฅ. ๐ฆ)(โฅ ๐ฅ โฅโฅ ๐ฆ โฅ −โฅ ๐ฅ. ๐ฆ) which holds if 0 ≤โฅ ๐ฅ โฅโฅ ๐ฆ โฅ −โฅ ๐ฅ. ๐ฆ i.e. โฅ ๐ฅ. ๐ฆ ≤โฅ ๐ฅ โฅโฅ ๐ฆ โฅ โ Theorem 3.9 Suppose ๐ฅ, ๐ฆ, ๐ง ∈ โ๐ then: a) โฅ ๐ฅ + ๐ฆ โฅ≤ โฅ ๐ฅ โฅ +โฅ ๐ฆ โฅ (Triangle inequality) b) โฅ ๐ฅ − ๐ง โฅ≤ โฅ ๐ฅ − ๐ฆ โฅ +โฅ ๐ฆ − ๐ง โฅ Proof a) Consider โฅ ๐ฅ + ๐ฆ โฅ2 = (๐ฅ + ๐ฆ)(๐ฅ + ๐ฆ) = ๐ฅ. ๐ฅ + 2๐ฅ. ๐ฆ + ๐ฆ ๐ฆ 2 ≤ โฅ ๐ฅ โฅ2 + 2๐ฅ. ๐ฆ โฅ +โฅ ๐ฆ โฅ2 = ( โฅ ๐ฅ โฅ +โฅ ๐ฆ โฅ) Thus โฅ ๐ฅ + ๐ฆ โฅ2 =( โฅ ๐ฅ โฅ +โฅ ๐ฆ โฅ) 2 ⇒โฅ ๐ฅ + ๐ฆ โฅ≤ โฅ ๐ฅ โฅ +โฅ ๐ฆ โฅ b) We have โฅ ๐ฅ + ๐ง โฅ =โฅ ๐ฅ − ๐ฆ + ๐ฆ + ๐ง โฅ =โฅ (๐ฅ − ๐ฆ) + (๐ฆ + ๐ง) โฅ The triangle inequality suggests that โฅ (๐ฅ − ๐ฆ) + (๐ฆ + ๐ง) โฅ ≤โฅ ๐ฅ − ๐ฆ โฅ +โฅ ๐ฆ + ๐ง โฅ Thus โฅ ๐ฅ − ๐ง โฅ≤ โฅ ๐ฅ − ๐ฆ โฅ +โฅ ๐ฆ − ๐ง โฅ โ 23 REAL ANALYSIS 1 Issa Ndungo UNIT FOUR SEQUENCES AND SERIES 4.1 Sequences Definition: A sequence is a function whose domain is the set ๐ of natural numbers. If ๐ is such a sequence, let ๐(๐ฅ) = ๐ฅ๐ denote the value of the sequence ๐ at ๐ ∈ โ. In this case we denote the sequence ๐ by (๐ฅ)∞ ๐=1 of simply (๐ฅ๐ ). An infinite sequence is an unending set of real numbers which are determined according to some rule. A sequence is normally defined by giving a formula for the ๐๐กโ term. Examples ๐ 1 2 3 1) (๐+1) is the sequence (2 , 3 , 4 . … ) 2) (−1๐ ) is the sequence (−1, 1, −1, 1, … . ) 3) (2๐ ) is the sequence (2, 4, 8, … . . ) We can also use recursive formulas e.g. ๐ฅ๐+1 = 1 4 7 ๐ฅ๐ +๐ฅ๐+1 3 were ๐ฅ1 = 0 and ๐ฅ2 = 1, then the terms of the sequence (๐ฅ๐ ) are (0, 1, 3 , 7 , 27 , … . . ). Remark (1) The order of the terms of the sequence is an important part of the definition of the sequence. For example, the sequence (1, 5, 7, … . ) is not the same as the sequence (1, 7, 5, … . ). (2) There is a distinction between the terms of a sequence and the values of a sequence. A sequence has infinitely many terms while its values may or may not be finite. (3) It is not necessary for the terms of a sequence to be different. For example, (1, 2, 2, 2, 2, … … . ) is a particularly good sequence. Exercise 4.1 Write down the first five terms of the following sequences ๐2 _2๐ a) ( 3๐ ) ๐๐๐ ๐๐ b) ( ๐2 ) c) (๐ ๐๐ ๐๐ 2 ) 4.2 Bounded sequences Definition: A sequence (๐ฅ๐ ) is said to be: (1) Bounded above if there is ๐ ∈ โ such that ๐ฅ๐ ≤ ๐ ∀๐ ∈ โ. (2) Bounded below if there is ๐ ∈ โ such that ๐ฅ๐ ≥ ๐ ∀๐ ∈ โ. (3) Bounded if it bounded below and bounded above; otherwise it is unbounded. It is easy to see that a sequence (๐ฅ๐ ) is bounded if and only if there is a positive real number ๐such that |๐ฅ๐ | ≤ ๐ for all ๐ ∈ โ. 24 REAL ANALYSIS 1 Issa Ndungo Examples 1 1 a) The sequence (๐) is bounded since 0 < ๐ ≤ 1 for all ๐ ∈ โ. b) The sequence (−1๐ ) is not bounded above and is not bounded below. 1 c) The sequence (๐ + ๐) is bounded below by 2 but is not bounded above. 4.3 Convergent and divergent sequences Convergence of a sequence is concerned with the behaviour of the sequence as ๐ increases. Definition: A sequence (๐ฅ๐ ) is said to converge to real number โ if given ๐ > 0, there exists a natural number ๐(which depends of ๐) such that |๐ฅ๐ − โ| < ๐ for all ๐ ≥ โ. Or (∀๐ > 0)(∃๐\๐๐โ): (∀๐ ≥ ๐) ⇒ |๐ฅ๐ − โ| < ๐ If (๐ฅ๐ ) converges to โ, then we say the โ is the limit of (๐ฅ๐ ) as ๐ increases without bound and we write ๐๐๐ ๐ฅ๐ = โ or ๐ฅ๐ → โ as ๐ → ∞. ๐→∞ Note that if a sequence does not converge to a real number, it is said to diverge. Definition: A sequence (๐ฅ๐ ) is said to diverge to ∞ denoted by ๐ฅ๐ → ∞ as ๐ → ∞ if for any particular real number ๐ there is an ๐ ∈ โ such that ๐ฅ๐ > ๐ for all ๐ ≥ ๐. Similarly, (๐ฅ๐ ) diverges to −∞ denoted by ๐ฅ๐ → −∞ as ๐ → ∞ if for any particular real number ๐ there is an ๐ ∈ โ such that ๐ฅ๐ < ๐ for all ๐ ≥ ๐. Example 4.1 1. Show that a sequence (๐ฅ๐ ) converges to zero if and only if the sequence (|๐ฅ๐ |) converges to zero. Solution Assume that the sequence (๐ฅ๐ ) converges to zero. Then given ๐ > 0, there exists a natural number ๐ (which depends on ๐) such that |๐ฅ๐ − 0| < ๐ ∀๐ ≥ โ. Now for all ๐ ≥ ๐ we have ||๐ฅ๐ | − 0| = |๐ฅ๐ | < ๐ That is the sequence (|๐ฅ๐ |) converges to zero. For the converse, assume that the sequences (|๐ฅ๐ |) converges to zero. That is ๐ > 0, there exists a natural number ๐ (which depends on ๐) such that: ||๐ฅ๐ | − 0| = |๐ฅ๐ | < ๐ ∀๐ ≥ โ. It follows that the sequence ๐ฅ๐ converges to zero 2. 1 Show that ๐๐๐ ๐ = 0 ๐→∞ Solution 1 Let ๐ > 0 be given. We can find a ๐ ∈ โ such that |๐ − 0| < ๐ ∀ ๐ ≥ ๐ . By Archimedean property, 1 there is an ๐ ∈ โ such that 0 ≤ ๐ < ๐. 1 1 1 Thus if ๐ ≥ ๐ then we have that |๐ − 0| = ๐ ≤ ๐ < ๐. 1 That is ๐๐๐ ๐ = 0. ๐→∞ 25 REAL ANALYSIS 1 Issa Ndungo 3. Show that ๐๐๐ (1 − ๐→∞ 1 2๐ )=1 Solution 1 Let ๐ > 0 be given. We need to find an ๐ ∈ โ such that |(1 − 2๐) − 1| < ๐ ∀ ๐ ≥ ๐ 1 1 1 Noting that: |(1 − 2๐) − 1| = 2๐ = (1+1)๐ and (1 + 1)๐ = ∑๐๐=0(๐๐) = (๐0) + (๐1) + (๐2) + โฏ + (๐๐) ≥ (๐0) + (๐1) = 1 + ๐ 1 1 1 1 We have 2๐ = (1+1)๐ ≤ ๐+1 < ๐. Now by Archimedean property, there is a ๐๐โ such that 0 < 1 1 1 1 1 ๐ < ๐. Therefore, for all ๐ ≥ ๐ we have: |1 − 2๐| − 1 = 2๐ < ๐ ≤ ๐ < ๐. 1 Thus ๐๐๐ (1 − 2๐) = 1 ๐→∞ 4. Show that the sequence (−1๐ ) diverges. Solution 1 Assume that the sequence converges to a number say โ. Then with ๐ = 2, there is an ๐ ∈ โ such that |−1๐ − โ| < 1 2 ∀ ๐ ≥ ๐. 1 In particular, |(−1)๐+1 − โ| < 2 Therefore, for all ๐ ≥ ๐, 1 1 2 = |(−1)๐ − (−1)๐+1 | ≤ |(−1)๐ − โ| + |โ − (−1)๐+1 | ≤ 2 + 2 = 1, which is impossible. Thus (−1๐ ) diverges. 5. Show that the sequence (1 + (−1)๐ ) diverges. Solution Assume that the sequence converges to some real number โ. Then with ๐ = 1 there exists a number ๐ ∈ โ such that |(1 + (−1)๐ − โ| < 1 for all ๐ ≥ ๐. Now if ๐ > ๐ is odd, then we have |(1 + (−1)๐ − โ| = |โ| < 1. Hence −1 < โ < 1. And if ๐ > ๐ is even we have |(1 + (−1)๐ − โ| = |2 + โ| < 1. Hence 2 < โ < 3. A contradiction. Exercise 4.2 1. Show that if ๐ฅ ∈ โ and |๐ฅ| < 1 then ๐๐๐ ๐ฅ ๐ = 0 ๐→∞ 2. Suppose that (๐ฅ๐ ) is a sequence such that ๐ฅ๐ > 0 for all ๐ ∈ โ. Show that ๐ฅ๐ → ∞ as ๐ → 1 ∞ if and only iff ๐๐๐ ๐ฅ = 0 ๐→∞ ๐ 26 REAL ANALYSIS 1 Issa Ndungo Theorem 4.1 Let (๐ ๐ ) and (๐ก๐ ) be sequences of real numbers and let ๐ ∈ โ if for some positive real number ๐ and some ๐1 ∈ โ we have |๐ ๐ − ๐ | ≤ ๐|๐ก๐ | for all ๐ ≥ ๐1 and if ๐๐๐ ๐ก๐ = 0 then ๐๐๐ ๐ ๐ = ๐ . ๐→∞ ๐→∞ Proof ๐ Let ๐ > 0 be given. Since ๐ก๐ → 0 as ๐ → ∞, there exist an ๐๐ ∈ โ such that |๐ก๐ | < ๐ for all ๐ ≥ ๐2 . ๐ Let ๐ = ๐๐๐ฅ(๐1 , ๐2 ), then for all ๐ ≥ ๐ we have |๐ ๐ − ๐ | ≤ ๐|๐ก๐ | < ๐ . ๐ = ๐. Thus ๐๐๐ ๐ ๐ = ๐ . โ ๐→∞ Example 4.2 ๐ Show that ๐๐๐ √๐ = 1 ๐→∞ Solution ๐ ๐ Since √๐ ≥ 1 for each ๐ ∈ โ, there is a nonnegative real number ๐๐ such that √๐ = 1 + ๐๐ . Thus, by binomial theorem we have: ๐ ๐ = (1 + ๐๐ )๐ ๐ ๐ ๐(๐ − 1)๐๐2 ๐(๐ − 1)๐๐2 ๐ = ∑ ( ) ๐๐ = 1 + ๐๐๐ + + โฏ + ๐๐ ≥ 1 + ๐ 2 2 ๐=1 Therefore, ๐ − 1 ≥ 2 ๐(๐−1)๐๐ 2 2 2 hence ๐๐2 ≤ ๐ or ๐๐ = √๐ for all ๐ ≥ 2 2 ๐ 2 ๐ Now since | √๐ − 1| = |๐๐ | = ๐๐ ≤ √๐ and ๐๐๐ √๐ = 0 we have by theorem 4.1 that ๐๐๐ √๐ = 1 ๐→∞ ๐→∞ Theorem 4.2 (Uniqueness of limits) Let (๐ ๐ ) be a sequence of real number. If ๐๐๐ ๐ ๐ = โ1 and ๐๐๐ ๐ ๐ = โ2 , then โ1 = โ2 . ๐→∞ ๐→∞ Proof Let ๐ > 0 be given. Then there exist natural numbers ๐1 and ๐2 such that ๐ ๐ |๐ ๐ − โ1 | < for all ๐ ≥ ๐1 and |๐ ๐ − โ2 | < for all ๐ ≥ ๐2 . 2 2 Let ๐ = ๐๐๐ฅ(๐1 , ๐2 ), then for all ๐ ≥ ๐ we have: ๐ ๐ |โ1 − โ2 | = |โ1 + ๐ ๐ − ๐ ๐ + โ2 | ≤ |๐ ๐ − โ1 | + |(๐ ๐ − โ2 )| < + = ๐ 2 2 Thus, |โ1 − โ2 | = ๐ and since 0 ≤ |โ1 − โ2 | < ๐ holds for every ๐ > 0, we have โ1 − โ2 = 0 and so โ1 = โ2 . Thus, a sequence (๐ ๐ ) converges to only and only one limit (the limit of a sequence (๐ ๐ ) is unique) โ Proposition 4.1 A sequence (๐ฅ๐ ) converges to โ ∈ โ if and only if for each ๐ > 0, the set {๐: ๐ฅ๐ ∉ (โ − ๐, โ + ๐} is finite. 27 REAL ANALYSIS 1 Issa Ndungo Theorem 4.3 Every convergent sequence of real numbers is bounded. Proof Let (๐ ๐ ) be a sequence of real numbers which converges to ๐ , then with ๐ = 1 there exists an ๐ ∈ โ such that |๐ ๐ − ๐ | < 1 ∀ ๐ ≥ ๐ By the triangle inequality, we have that: |๐ ๐ | ≤ |๐ ๐ − ๐ | + |๐ | ≤ 1 + |๐ | for all ๐ ≥ ๐ Let ๐ = ๐๐๐ฅ{|๐ 1 |, |๐ 2 |, … |๐ ๐ |, |๐ | + 1}. Then |๐ ๐ | ≤ ๐ for all ๐ ∈ ๐. That is the sequence (๐ ๐ ) is bounded. โ The converse of Theorem 4.3 is not necessarily true. There are sequences which are bounded but do not converge. E.g. the sequences (−1๐ ) is bounded but not convergent. Theorem 4.4 (Squeeze theory on limits) Suppose that (๐ ๐ ), (๐ก๐ ) and (๐ข๐ ) are sequences such that ๐ ๐ ≤ ๐ก๐ ≤ ๐ข๐ for all ๐ ∈ ๐. If ๐๐๐ ๐ ๐ = โ = ๐๐๐ ๐ข๐ , then ๐๐๐ ๐ก๐ = โ. ๐→∞ ๐→∞ ๐→∞ Proof. Let ๐ > 0 be given. Then there exist ๐1 , ๐2 ∈ โ such that: |๐ ๐ − โ| < ๐ for all ๐ ≥ ๐1 and |๐ข๐ − โ| < ๐ for all ๐ ≥ ๐2 That is โ − ๐ < ๐ ๐ < โ + ๐ for all ๐ ≥ ๐1 and โ − ๐ < ๐ข๐ < โ + ๐ Let ๐ = ๐๐๐ฅ{๐1 , ๐2 }. Then for all ๐ ≥ ๐, we have โ − ๐ < ๐ ๐ ≤ ๐ก๐ ≤ ๐ข๐ < โ + ๐ and consequently |๐ก๐ − โ| < ๐ for all ๐ > ๐. That is ๐๐๐ ๐ก๐ = โ. โ ๐→∞ Example 4.3 1. Show that ๐๐๐ ๐→∞ Solution ๐๐ 2 ๐2 ๐๐๐ Since ๐ ≤ | ๐๐ 2 ๐2 ๐๐๐ =0 − 0| = | ๐๐ 2 ๐2 ๐๐๐ 1 1 | ≤ 1. ๐2 and ๐๐๐ ๐2 = 0 it follows that ๐๐๐ ๐→∞ 2. Show that for every ๐ฅ, with |๐ฅ| < 1 ๐๐๐ = ๐๐ฅ ๐ = 0. ๐→∞ ๐๐ 2 ๐2 ๐๐๐ =0 ๐→∞ Solution Without loss of generality, assume that ๐ฅ ≠ 0 and ๐ > 1. Since |๐ฅ| < 1, then there is a positive real 1 number ๐ such that |๐ฅ| = 1 + ๐. 1 Then ๐ฅ ๐ = (1 + ๐)๐ = (1 + ๐๐ )๐ = ∑๐๐=1(๐๐)๐๐ ≥ 2 ๐(๐−1)๐2 2 (๐−1)๐2 2 for some ๐ > 0 then |๐ฅ ๐ | ≤ this implies that |๐๐ฅ ๐ | ≤ and so, ๐(๐−1)๐2 −2 2 ⇒ ≤ ๐๐ฅ ๐ ≤ 2 (๐ − 1)๐ (๐ − 1)๐2 −2 2 Since ๐๐๐ (๐−1)๐2 = 0 = ๐๐๐ (๐−1)๐2 . We have by the squeeze theorem, that ๐๐๐ = ๐๐ฅ ๐ = 0 ๐→∞ ๐→∞ ๐→∞ 28 REAL ANALYSIS 1 Issa Ndungo Exercise 4.3 1) Show that for any ๐ฅ ∈ โ, ๐๐๐ = ๐ฅ๐ ๐→∞ 1 ๐! =0 2) Show that ๐๐๐ = ๐! = 0 ๐→∞ ๐ 3) Show that ๐๐๐ = 2๐ = 0 4) Find the ๐ ๐→∞ ๐กโ 2 4 8 16 32 term of the sequence (1 , 3 , 5 , 7 , 9 ,…) Theorem 4.5 Let ๐ be a subset of โ which is bounded above. Then there exists a sequence (๐ ๐ ) in ๐ such that ๐๐๐ ๐ ๐ = ๐ ๐ข๐๐. ๐→∞ Proof Let ๐ = ๐ ๐ข๐๐. By the characterization of supremum in Theory 3.4, for each ๐ ∈ ๐ there exists ๐ ๐ ∈ 1 1 ๐such that ๐ − ๐ < ๐ ๐ ≤ ๐. Since ๐๐๐ (๐ − ๐) = ๐ = ๐๐๐ ๐, we have by squeeze theorem that ๐→∞ ๐→∞ ๐๐๐ ๐ ๐ = ๐ = ๐ ๐ข๐๐ โ ๐→∞ 4.4 Algebra of Limits of sequences Theorem 4.6 Let (๐ ๐ ) and (๐ก๐ ) be sequences of real numbers which converges to ๐ and ๐ก respectively. Then i) ๐๐๐ (๐ ๐ + ๐ก๐ ) = ๐ + ๐ก ๐→∞ ii) ๐๐๐ ๐ ๐ ๐ก๐ = ๐ ๐ก ๐→∞ ๐ ๐ iii) ๐๐๐ ๐ก๐ = ๐ก if ๐ก๐ ≠ 0 for all ๐ ∈ โ and ๐ก ≠ 0 ๐→∞ ๐ Proof ๐ i) Let ๐ > 0 be given. Then there exist ๐1 and ๐2 in โ such that: |๐ ๐ − ๐ | < 2 for all ๐ ≥ ๐1 and ๐ |๐ก๐ − ๐ก| < for all ๐ ≥ ๐2 . 2 Let ๐ = ๐๐๐ฅ{๐1 , ๐2 }. Then for all ๐ ≥ ๐, we have |๐ ๐ + ๐ก๐ − (๐ + ๐ก)| = |(๐ ๐ − ๐ ) + (๐ก๐ − ๐ก)| ≤ |๐ ๐ − ๐ | + ๐ก๐ − ๐ก| < ๐ ๐ + =๐ 2 2 Hence, ๐๐๐ (๐ ๐ + ๐ก๐ ) = ๐ + ๐ก ๐→∞ ii) Let ๐ > 0 be given. Now, |๐ ๐ ๐ก๐ − (๐ ๐ก)| = |๐ ๐ ๐ก๐ − ๐ ๐ก๐ + ๐ ๐ก๐ − ๐ ๐ก| = |(๐ ๐ − ๐ )๐ก๐ + (๐ก๐ − ๐ก)๐ | 29 REAL ANALYSIS 1 Issa Ndungo ≤ |๐ ๐ − ๐ ||๐ก๐ | + ๐ก๐ − ๐ก||๐ | . Since ๐ก๐ is convergent, it is bounded. There exist a ๐ ∈ โ such that ๐ก๐ ≤ ๐ for all ๐ ∈ โ. Thus |๐ ๐ ๐ก๐ − ๐ ๐ก| ≤ |๐ ๐ − ๐ |๐ + |๐ก๐ − ๐ก|๐ Let ๐ = ๐๐๐ฅ{๐, |๐ |}. Then |๐ ๐ ๐ก๐ − ๐ ๐ก| ≤ ๐(|๐ ๐ − ๐ | + |๐ก๐ − ๐ก|) ๐ Since ๐ ๐ → ๐ and ๐ก๐ → ๐ก and ๐ → ∞, Then there exist ๐1 and ๐2 in โ such that: |๐ ๐ − ๐ | < ๐ for all ๐ ๐ ≥ ๐1 and |๐ก๐ − ๐ก| < ๐ for all ๐ ≥ ๐2 . Let ๐ = ๐๐๐ฅ{๐1 , ๐2 }. Then for all ๐ ≥ ๐, we have: |๐ ๐ ๐ก๐ − ๐ ๐ก| ≤ ๐(|๐ ๐ − ๐ | + |๐ก๐ − ๐ก|) < ๐|๐ ๐ − ๐ | + ๐|๐ก๐ − ๐ก| ๐ ๐ < ๐ (๐) + ๐ (๐) = ๐ Therefore, ๐๐๐ ๐ ๐ ๐ก๐ = ๐ ๐ก ๐→∞ iii) (left to the reader) โ Exercise 4.4 Show that if the sequence (๐ ๐ ) converges to ๐ , then the sequence ๐ ๐2 converges to ๐ 2 . 4.5 Monotone Sequence Definition: Let (๐ ๐ ) be a sequence of real numbers we say that (๐ ๐ ) is: a) Increasing if for each ๐ ∈ โ, ๐ ๐ ≤ ๐ ๐+1 b) Strictly increasing if for each ๐ ∈ โ, ๐ ๐ < ๐ ๐+1 c) Decreasing if for each ๐ ∈ โ, ๐ ๐ ≥ ๐ ๐+1 d) Strictly decreasing if for each ๐ ∈ โ, ๐ ๐ > ๐ ๐+1 e) Monotone if (๐ ๐ ) is increasing of decreasing f) Strictly monotone if (๐ ๐ ) is strictly increasing or decreasing Remark An increasing sequence (๐ ๐ ) is bounded below by ๐ 1 a decreasing sequence is bounded below by ๐ก1 it therefore follows that an increasing sequence is bounded if and only if it is bounded above and a decreasing sequence is bounded if an only if it is bounded below. Examples 1. 2. 3. 4. The sequence (1, 1, 2, 3, 5, … . ) is increasing The sequence (3, 1, 0, 0, −3, … . ) is decreasing The sequence (๐2 ) is strictly increasing The sequence (−๐) is strictly decreasing 30 REAL ANALYSIS 1 Issa Ndungo Theorem 4.7 Let a sequence (๐ ๐ ) be a bounded sequence. i) If (๐ ๐ ) is monotonically increasing then it converges to its supremum. ii) If (๐ ๐ ) is monotonically decreasing then it converges to its infimum. Proof Let ๐ 1 = ๐ ๐ข๐๐ ๐ and ๐ 2 = ๐๐๐๐ ๐ and take ๐ > 0 i) Since ๐ ๐ข๐๐ ๐ = ๐ 1 there exists ๐ ๐0 such that ๐ 1 − ๐ < ๐ ๐0 . Since ๐ ๐ is increasing then ๐ 1 − ๐ < ๐ ๐0 < ๐ ๐ < ๐ 1 < ๐ 1 + ๐ ⇒ ๐ 1 − ๐ < ๐ ๐ < ๐ 1 + ๐ for all ๐ > ๐0 ⇒ |๐ ๐ − ๐ 1 | < ๐ for all ๐ > ๐0 ⇒ ๐๐๐ ๐ ๐ = ๐ 1 ๐→∞ ii) Since ๐๐๐๐ ๐ = ๐ 2 there exists ๐ ๐1 such that ๐ ๐1 < ๐ 2 + ๐. Since ๐ ๐ is decreasing then ๐ 2 − ๐ < ๐ ๐ < ๐ ๐1 < ๐ 2 < ๐ 2 + ๐ ⇒ ๐ 2 − ๐ < ๐ ๐ < ๐ 1 + ๐ for all ๐ > ๐1 ⇒ |๐ ๐ − ๐ 2 | < ๐ for all ๐ > ๐1 . ⇒ ๐๐๐ ๐ ๐ = ๐ 2 โ ๐→∞ Theorem 4.8 A monotone sequence converges if and only if it is bounded. Proof We already proved in Theorem 4.3 that every convergent sequence is bounded. To prove the converse let (๐ ๐ ) be a bounded increasing sequence and let ๐ = {๐ ๐ |๐ ∈ โ}. Since S is bounded above it has a supremum, ๐ ๐ข๐๐ = ๐ say. We claim that ๐๐๐ ๐ = ๐ . Let ๐ > 0 be given, by the characterization of ๐→∞ supremum, there exist ๐ ๐ ∈ ๐ such that ๐ − ๐ < ๐ ๐ ≤ ๐ ๐ < ๐ + ๐ for all ๐ ≥ ๐. Thus, |๐ ๐ − ๐ | < ๐ for all ๐ ≥ ๐ The proof for the case when the sequence (๐ ๐ ) is decreasing is similar. โ Example 4.4 ๐+1 Show that ( ๐ ) is a convergent sequence Solution ๐+1 We show that ( ๐ ) is monotone and bounded. Its convergence will ben follow from theorem 4.8. Monotonicity: Let ๐ ๐ = ( ๐+1 ๐ ๐+1 ๐ ๐ ๐ ) then, ๐+2 ๐ ๐2 +2๐ = ๐+1 × ๐+1 = (๐+1)2 < ๐2 +2๐+1 (๐+1)2 =1 ๐+1 This ๐ ๐ > ๐ ๐+1 for all ๐ ∈ โ so the sequence ( ๐ ) is monotone decreasing. 31 REAL ANALYSIS 1 Issa Ndungo Another proof for monotone: Consider ๐(๐ฅ) = ๐ฅ+1 ๐ฅ , ๐ ′ (๐ฅ) = decreasing on [1, ∞). Therefore ๐(๐) > ๐(๐ + 1) i.e. Boundedness: ๐+1 ๐ is bounded below by 1. So ๐+1 ๐ ๐+1 ๐ −1 ๐ฅ2 ๐+2 < 0 for all ๐ฅ ∈ [1, ∞). Thus, ๐ is > ๐+1 for all ๐ ∈ โ. is a convergent sequence by Theorem 4.8. 4.6 Subsequences If the terms of the sequence (๐ ๐ ) are contained in other sequences (๐ก๐ ) then (๐ ๐ ) is a subsequence of (๐ก๐ ). Definition: Let (๐ ๐ ) be a sequence of real numbers and let (๐๐ )๐ ∈ โ be a sequence of natural numbers such that ๐1 < ๐2 < โฏ . Then the sequence (๐ ๐๐ ) is called a subsequence of (๐ ๐ ). That is a subsequence (๐ ๐๐ ) of sequence (๐ ๐ ) is strictly increasing function ๐: ๐ โฆ ๐ ๐๐ . Example: 1 1 1 1 Let (๐ ๐ ) be the sequence (1, 2, 2 , 3, 3 , … ) then (1, 2 , 3 , … . . ) and (1, 2, 3, … ) are subsequences of (๐ ๐ ). Theorem 4.9 Let (๐ ๐ ) be a sequence which converges to ๐ . Then any subsequences of (๐ ๐ ) converges to ๐ . Proof Let (๐ ๐๐ ) be a subsequence of (๐ ๐ ) and let ๐ > 0 be given. Then there is an ๐ ∈ โ such that |๐ ๐ − ๐ | < ๐ for all ๐ ≥ ๐. Thus when ๐ ≥ ๐ we have that ๐๐ ≥ ๐พ ≥ ๐ and so |๐ ๐๐ − ๐ | < ๐ for all ๐พ ≥ ๐. Thus, ๐๐๐ ๐ ๐๐ = ๐ . โ ๐→∞ Theorem 4.10 (Bolzano Weierstrass theorem for sequences) Every bounded infinite sequence (๐ ๐ )of real numbers has a convergent subsequence. Proof (is left to the reader) 4.7 Cauchy Sequences Definition: A sequences (๐ ๐ ) is said to be Cauchy if given any ๐ > 0, there exists a ๐ ∈ โ such that |๐ ๐ − ๐ ๐ < ๐| for all ๐, ๐ ≥ ๐. Or (∀๐ > 0)(∈ ๐ ∈ โ)(∀ ๐, ๐ ≥ ๐): (๐ ≥ ๐)ษ (๐ ≥ ๐) ⇒ (|๐ ๐ − ๐ ๐ | < ๐. Or (๐ ๐ ) is a Cauchy sequence if ๐๐๐ |๐ ๐ − ๐ ๐ | = 0. ๐→∞ Example 4.5 Show that the sequence (๐ ๐ ) = ๐+1 ๐ is a Cauchy sequences. Solution ๐+1 For all ๐, ๐ ∈ โ, |๐ ๐ − ๐ ๐ | = | ๐ − Therefore if ๐ ≥ ๐ then, |๐ ๐ − ๐ ๐ | < ๐+1 ๐ ๐+๐ ๐๐ ๐−๐ | = | ๐๐ | < 2๐ 2 < ๐๐ = ๐ ๐+๐ ๐๐ . 32 REAL ANALYSIS 1 Issa Ndungo Let ๐ > 0 be given. Then there is an ๐ ∈ โ such that ๐+1 |๐ ๐ − ๐ ๐ | = | ๐ − ๐+1 ๐ ๐−๐ 2 1 ๐ ๐ < . Thus, for all ๐ ≥ ๐ we have 2 2 | = | ๐๐ | < ๐ ≤ ๐ < ๐. Hence, (๐ ๐ ) is Cauchy. โ Theorem 4.11 Every convergent sequence (๐ ๐ ) is a Cauchy sequence. Proof ๐ Assume that (๐ ๐ ) converges to ๐ . Then given ๐ > 0 there exists an ๐ ∈ โ such that |๐ ๐ − ๐ | < 2 for all ๐ ≥ ๐. Now for all ๐, ๐ ≥ ๐ we have that: |๐ ๐ − ๐ ๐ | = |(๐ ๐ − ๐ + ๐ − ๐ ๐ )| ≤ |๐ ๐ − ๐ | + |๐ − ๐ ๐ | ๐ ๐ = |๐ ๐ − ๐ | + |๐ ๐ − ๐ | < 2 + 2 = ๐ Thus (๐ ๐ ) is a Cauchy sequence. โ Theorem 4.12 Every Cauchy sequence (๐ ๐ ) is bounded. Proof Let ๐ = 1, then there exists ๐ ∈ โ such that |๐ ๐ − ๐ ๐ | < 1 for all ๐, ๐ ≥ ๐. Choose a ๐ ≥ ๐ and observe that |๐ ๐ | = |๐ ๐ − ๐ ๐ + ๐ ๐ | ≤ |๐ ๐ − ๐ ๐ | + |๐ ๐ | < 1 + ๐ ๐ Let ๐ = ๐๐๐ฅ{|๐ 1 |, |๐ 2 |, … . |๐ ๐ |, |๐ ๐ | + 1}. Then (๐ ๐ ) < ๐ for all ๐ ≥ ๐ and therefore, (๐ ๐ ) is bounded. โ Theorem 4.13 Every Cauchy sequence (๐ ๐ ) of real numbers converges. Proof Let (๐ ๐ ) be Cauchy, by Theorem 4.12, (๐ ๐ ) is bounded and therefore by Bolzano Weierstrass theorem, (๐ ๐ ) has a subsequence (๐ ๐๐ ) that converges to some real number โ. We claim that (๐ ๐ ) converges to โ. Let ๐ > 0 be given. Then there exist ๐1 , ๐2 ∈ โ such that: ๐ |๐ ๐ − ๐ ๐ | < for all ๐. ๐ ≥ ๐1 and 2 |๐ ๐๐ − โ| < ๐ 2 for all ๐, ๐ ≥ ๐2 Let ๐ = ๐๐๐ฅ{๐1 , ๐2 }. Then for all ๐ ≥ ๐ we have: |๐ ๐ − ๐| ≤ |๐ ๐ − ๐ ๐๐ | + |๐ ๐๐ − โ| < ๐ ๐ + =๐ 2 2 33 REAL ANALYSIS 1 Issa Ndungo Therefore ๐๐๐ ๐ ๐ = โ and so (๐ ๐ ) is convergent. ๐→∞ Theorem 4.11 and theorem 4.13 combined together gives the Cauchy’s convergent criterion for sequences: “A sequence (๐๐ ) of real numbers converges if and only if it is Cauchy.” Example 4.6 1) Use Cauchy criterion to show that the sequence ( −1๐ ๐ ) converges. Solution We need to show that the sequence ( −1๐ ) in Cauchy. To that end ๐ > 0 and ๐ ๐ = ( ๐ (−1)๐ ๐, ๐ ∈ โ with ๐ ≥ ๐ |๐ ๐ − ๐ ๐ | = | ๐ − (−1)๐ ๐ 1 1 (−1)๐ 2 −1๐ ๐ 1 ๐ ). then, for all 2 | ≤ ๐ + ๐ ≤ ๐ + ๐ = ๐. Now there is an ๐ ∈ โ such that ๐ < ๐. Thus, for all ๐ ≥ ๐, we have |๐ ๐ − ๐ ๐ | = | Thus ( 1 −1๐ ๐ − (−1)๐ ๐ 2 | ≤ ๐ < ๐. ) is a Cauchy sequence and so it converges. 1 1 1 2) Show that the sequence ๐ ๐ = 1 + 2 + 3 + โฏ + ๐ diverges. Solution It suffices to show that (๐ ๐ ) is not a Cauchy sequence. Now for ๐, ๐ ∈ โ with ๐ > ๐, we have: 1 1 1 1 1 1 1 1 1 1 1 1 |๐ ๐ − ๐ ๐ | = |(1 + + + โฏ + ) − (1 + + + โฏ + )| = | + ๐+2 + โฏ + ๐| 2 3 ๐ 2 3 ๐ ๐+1 = ๐+1 + ๐+2 + โฏ + ๐ 1 1 1 >>โ +๐ + โฏ..+๐ = ๐ ๐−๐ ๐ ๐−๐ ๐ก๐๐๐๐ In particular if we take ๐ = 2๐ we get 1 1 1 1 1 1 ๐−๐ 1 |๐ ๐ − ๐ ๐ | = |(1 + + + โฏ + ) − (1 + + + โฏ + )| > = 2 3 ๐ 2 3 ๐ ๐ 2 1 |๐ ๐ − ๐ ๐ | > 2 thus, (๐ ๐ ) is not a Cauchy sequence and so it diverges. Exercise 4.5 Show that every subsequence of a bounded sequence is bounded. 34 REAL ANALYSIS 1 Issa Ndungo 4.8 Infinite series When the individual terms of a sequences ๐ ๐ are summed a series of real numbers is obtained. If (๐๐ ) is an infinite sequence then:∑∞ ๐=1 ๐๐ = ๐1 + ๐2 + โฏ + ๐๐ + โฏ is an infinite series. Then numbers ๐1 , ๐2 , ๐3 , … are terms of the series. ๐กโ Definition: For the infinite series ∑∞ ๐=1 ๐๐ , the ๐ partial sum is given by: ๐๐ = ๐1 + ๐2 + ๐3 + โฏ + ๐๐ . If the sequence of partial sum (๐๐ ) converges to ๐ then, the series ∑∞ ๐=1 ๐๐ converges. The limit ๐ is called the sum of the series. ๐ = ๐1 + ๐2 + ๐3 + โฏ + ๐๐ + โฏ so ๐ = ∑∞ ๐=1 ๐๐ . If (๐๐ ) diverges then ∑∞ ๐=1 ๐๐ diverges. Example 4.7 1 1 1 1 a) The series ∑∞ ๐=1 2๐ = 2 + 4 + 8 + โฏ has the following partial sums 1 1 1 3 1 1 1 1 ๐1 = 2 , ๐1 = 2 + 4 = 4 , … . , ๐๐ = 2 + 4 + 8 + โฏ + 2๐ = Because ๐๐๐ 2๐ −1 ๐→∞ 2๐ 2๐ −1 2๐ = 1. It follows that the series converge and its sum is 1. 1 1 1 1 1 b) The ๐๐กโ partial sum of the series ∑∞ ๐=1 (๐ − ๐+1) = (1 − 2) + (2 − 3) + โฏ is given by 1 1 1 ๐๐ = 1 − ๐+1 because the ๐๐๐ (๐ − ๐+1) = 1. Thus, the series converge and its sum is 1. ๐→∞ c) The series ∑∞ ๐=1 1 = 1, 1, 1, 1, 1, … diverges because ๐๐ = ๐ and the sequence of partial sums diverges. NB. The series in Example 4.7b) is a telescoping series of the form (๐1 − ๐2 ) + (๐2 − ๐3 ) + (๐3 _๐4 ) + โฏ . (๐๐−1 − ๐๐ ) + (๐๐ − ๐๐+1 ). Because the sum of a telescoping series is given by ๐๐ = ๐1 − ๐๐+1 , it follows that a telescoping series will converge if and only if ๐๐ approaches a finite number as ๐ → ∞. Moreover, if the series converges its sum is ๐๐ = ๐1 − ๐๐๐ ๐๐+1 . ๐→∞ Writing a series in telescoping form 2 Find the sum of the series ∑∞ ๐=1 4๐2 −1. Solution 2 2 2 2 Using partial fractions, we write ๐๐ = 4๐2 −1 = (2๐−1)(2๐+1) = 2๐−1 + 2๐+1 . 1 1 1 1 1 1 1 The partial sums is ๐๐ = (1 − 3) + (3 − 5) + โฏ + (2๐−1 − 2๐+1) = 1 − 2๐+1 so the series converge and its sum is ๐๐๐ ๐๐ = ๐๐๐ (1 − ๐→∞ ๐→∞ 1 2๐−1 1 ) = 1 − ๐๐๐ 2๐−1 = 1 − 0 = 1. ๐→∞ 35 REAL ANALYSIS 1 Issa Ndungo 4.9 Geometric series ๐ 2 ๐ A geometric series is given by ∑∞ ๐=0 ๐๐ = ๐ + ๐๐ + ๐๐ +โซ. . > ๐๐ + โฏ. Provided ๐ ≠ 0, ๐ is called the ratio. Theorem 4.14 A geometric series with ratio ๐ diverges if |๐| ≥ 1 and if 0 < |๐| < 1 the series converges to the sum ๐ ๐ ∑∞ ๐=0 ๐๐ = 1−๐ Proof It is easy to see that the series diverge if ๐ = ±1. If 0 < |๐| < 1 then ๐๐ = ๐ + ๐๐ + ๐๐ 2 + … + ๐๐ ๐−2 + ๐๐ ๐−1 . Let us multiply this equation by ๐ to yield: ๐๐๐ = ๐๐ + ๐๐ 2 + ๐๐ 3 + … + ๐๐ ๐−1 + ๐๐ ๐ Subtracting ๐๐๐ from ๐๐ we get: (๐ − 1)๐๐ = ๐ − ๐๐ ๐ ๐๐ = ๐(1−๐ ๐ ) 1−๐ , with ๐ ≠ 1 ๐(1−๐๐ ) When |๐| ≥ 1, it follows that ๐ ๐ → ∞ as ๐ → ∞ that is ๐๐๐ 1−๐ ๐→∞ When |๐| < 1, it follows that ๐ ๐ → 0 as ๐ → ∞ that is ๐๐๐ ๐(1−๐๐ ) ๐→∞ ๐ 1−๐ = ∞ . Thus, the series diverge = ๐ . Thus, the series converge 1−๐ and the sum is 1−๐. Example 4.8 1 ๐ 3 a) The geometric series ∑∞ ๐=0 2๐ = 3 (2) 1 1 1 = 3(1) + 3 (2) + 3((2) + โฏ has ๐ = 2 and ๐ = 3. Because 0 < ๐ |๐| < 1 then the series converge and its sum is ๐๐ = = 1−๐ 3 ๐ 3 9 3 1− 1 2 = 6. 3 b) The geometric series ∑∞ ๐=0 (2) = 1 + 2 + 4 + โฏ has ๐ = 2. Since |๐| ≥ 1 then the series diverge. ฬ ฬ as a ratio of two integers. c) Use a geometric series to write 0. ฬ ฬ 08 Solution 8 8 8 8 1 ฬ ฬ ฬ ฬ , we write 0.08080808080808 … … … . = 2 + 4 + 6 + โฏ For the repeated decimal 0. 08 10 10 10 ๐ = ∑∞ ๐=0 (102 ) (102 ) 8 1 For this series we have ๐ = 102 and ๐ = 102 so the series converge and the sum is given by ฬ ฬ = ๐ = ๐๐ = 0. ฬ ฬ 08 1−๐ 8 102 1 1− 2 10 8 = 99 36 REAL ANALYSIS 1 Issa Ndungo 4.10 Properties of infinite series Theorem 4.15 Let ∑ ๐๐ and ∑ ๐๐ be convergent series and let ๐ด, ๐ต and ๐ be real numbers. If ∑ ๐๐ = ๐ด and ∑ ๐๐ = ๐ต, the following series converged to the indicated sums. 1) ∑∞ ๐=1 ๐๐๐ = ๐๐ด 2) ∑∞ ๐=1(๐๐ ± ๐๐ ) = ๐ด ± ๐ต 4.11 Convergent criterion for series 4.11.1 Limit of ๐ง๐ญ๐ก term test for divergence We first provide a proposition whose contrapositive gives the desired test criterion for divergence. Proposition 4.1 (limit of ๐๐๐ term for a convergent series) If ∑∞ ๐=1 ๐๐ converges then ๐๐๐ ๐๐ = 0 ๐→∞ Proof Assume that ∑∞ ๐=1 ๐๐ = ๐๐๐ ๐๐ = โ then because ๐๐ = ๐๐−1 + ๐๐ and ๐๐๐ ๐๐ = ๐๐๐ ๐๐−1 = โ ๐→∞ ๐→∞ ๐→∞ it follows that โ = ๐๐๐ ๐๐ = ๐๐๐ (๐๐−1 + ๐๐ ) = ๐๐๐ (๐๐−1 ) + ๐๐๐ (๐๐ ) = โ + ๐๐๐ ๐๐ ๐→∞ ๐→∞ ๐→∞ ๐→∞ That is โ = โ + ๐๐๐ ๐๐ and so ๐๐๐ ๐๐ = 0 ๐→∞ ๐→∞ โ ๐→∞ Proposition 4.2 (limit of ๐๐๐ term test for divergence) If ๐๐๐ ๐๐ ≠ 0 then ∑∞ ๐=0 ๐๐ diverges. (Contrapositive of proposition 4.1) ๐→∞ Example 4.9 ๐ 1) For the series ∑∞ ๐=0 2 we have: ๐๐๐ 2๐ = ∞ so, the limit of the ๐๐กโ term is not zero so the series diverge. ๐→∞ ๐! ๐! 1 2) For the series ∑∞ ๐=1 2๐!+1 we have ๐๐๐ 2๐!+1 = 2 ≠ 0 so, the series diverge. ๐→∞ 4.11.2 Integral test Proposition 4.3 If ๐ is positive, continuous and decreasing for ๐ฅ ≥ 1 and ๐๐ = ๐(๐) then: ∞ ∑∞ ๐=1 ๐๐ and ∫1 ๐(๐ฅ) ๐๐ฅ either both diverge of converge. Proof Begin by partitioning the interval [1, ๐] into ๐ − 1 unit interval as illustrated on Figure 4.1 a and 4.1b. The total area of the inscribed rectangles and the circumscribed rectangles are as follows: ∑๐๐=2 ๐(๐) = ๐(2) + ๐(3) + โฏ ๐(๐) inscribed rectangles ∑๐=1 ๐=1 ๐(๐) = ๐(1) + ๐(2) + โฏ ๐(๐ − 1) circumscribed rectangles 37 REAL ANALYSIS 1 Issa Ndungo The exact area under the graph i๐ from ๐ฅ = 1 to ๐ฅ = ๐ lies between the inscribed area and the circumscribed area. ๐ฆ ๐ฆ Inscribed rectangles ∑๐๐=2 ๐(๐) Circumscribed rectangles = ๐ด๐๐๐ ∑๐−1 ๐=1 ๐(๐) = ๐ด๐๐๐ ๐๐ = ๐(๐) 1 2 3 ๐−1 4 ๐๐−1 = ๐(๐ − 1) ๐ x 1 2 3 Figure 4.1a ๐−1 4 ๐ x Figure 4.1b ๐ ∑๐๐=2 ๐(๐) ≤ ∫1 ๐(๐ฅ) ๐๐ฅ ≤ ∑๐=1 ๐=1 ๐(๐) (1) Using the ๐๐กโ partial sum, ๐๐ = ๐(1) + ๐(2) + โฏ ๐(๐) we write (1) as ๐ ∞ ๐๐ − ๐(1) ≤ ∫1 ๐(๐ฅ) ๐๐ฅ ≤ ๐๐−1 , assuming that ∫1 ๐(๐ฅ) ๐๐ฅ to โ it follows that for ๐ ≥ 1 ๐๐ − ๐(1) ≤ โ ⇒ ๐ ๐ = โ + ๐(1) Consequently ๐ ๐ is bounded and monotonic and by Theorem 4.7, it converges. So ∑ ๐๐ converges. For the other direction proof; ∞ ๐ Assume that the improper integral ∫1 ๐(๐ฅ) ๐๐ฅ diverges, then ∫1 ๐(๐ฅ) ๐๐ฅ approaches infinity as ๐ ๐ → ∞ and the inequality ๐๐−1 ≥ ∫1 ๐(๐ฅ) ๐๐ฅ implies that (๐๐ ) diverges and so ∑ ๐๐ diverges. โ Example 4.10 ๐ Apply the integral test to the series ∑∞ ๐=1 ๐2 +1 Solution −๐ฅ 2 +1 ๐ฅ ๐(๐ฅ) = ๐ฅ 2 +1 is positive and continuous for ๐ฅ ≥ 1. We find ๐ ′ (๐ฅ) = (๐ฅ 2 +1)2 < 0 for ๐ฅ > 1 and so ๐ is decreasing. ๐ satisfies the conditions for the integral test. ∞ So ∫1 ๐ฅ ๐ฅ 2 +1 1 ∞ 2๐ฅ ๐๐ฅ = 2 ∫1 ๐ฅ 2 +1 ๐ 2๐ฅ 1 ๐๐ฅ = 2 ๐๐๐ ∫1 ๐→∞ ๐ฅ 2 +1 1 ๐๐ฅ = 2 ๐๐๐ [๐๐(๐ 2 + 1) + ๐๐ 2] = ∞ so the series ๐→∞ diverge. 38 REAL ANALYSIS 1 Issa Ndungo 4.11.3 P-series test Proposition 4.4 1 1 1 1 A series of the form ∑∞ ๐=1 ๐๐ = 1๐ + 2๐ + 3๐ + โฏ 1) Converge if ๐ > 1 and 2) Diverges if ๐ ≤ 1 Example 4.11 Discuss the convergence and divergence of a) Harmonic series and b) p-series with ๐ = 2. Solution 1 1 1 1 a) By the p-series test, it follows that for the harmonic series ∑∞ ๐=1 ๐ = 1 + 2 + 3 + โฏ, ๐ = 1 diverges. 1 1 1 1 b) It follows from the p-series test that the series ∑∞ ๐=1 ๐2 = 12 + 22 + 32 + โฏ , ๐ = 2 > 1 so the series converges. Exercise 4.6 1) Use the integral test to determine the divergence and convergence of the following series 1 2 1 1 1 1 1 a) ∑∞ b) ∑∞ c) 3 + 5 + 7 + 9 + โฏ d) ∑∞ ๐=1 ๐+3 ๐=1 3๐+5 ๐=1 ๐2 +1 2) Explain why the integral test does not apply to the following series −1๐ ๐ ๐๐ ๐ (๐ ๐๐ ๐)2 a) ∑∞ b) ∑∞ c) ∑∞ ๐=1 ๐ ๐=1 2 + ๐ ๐=1 ๐ 3) use the p-series test to determine the convergence of divergence of the following series. 1 1 1 a) ∑∞ b) 1 + + + โฏ ๐=1 5 √๐ √2 √3 4.11.4 Comparison test Direct comparison Proposition 4.5 Let 0 < ๐๐ ≤ ๐๐ for all ๐ ∞ ∞ 1. If ∑∞ ๐=1 ๐๐ converges then ∑๐=1 ๐๐ converges. 2. If ∑๐=1 ๐๐ diverges then ∞ ∑๐=1 ๐๐ diverges Proof To prove the first property, let ๐ฟ = ∑∞ ๐=1 ๐๐ and let ๐ ๐ = ๐1 + ๐2 + โฏ ๐๐ . Because 0 < ๐๐ ≤ ๐๐ the sequences ๐ 1 , ๐ 2 , ๐ 3 , …. is nondecreasing and bounded above by ๐ฟ, so it must converge. Because ๐๐๐ ๐ ๐ = ∑∞ ๐=1 ๐๐ it follows that ∑ ๐๐ converges. ๐→∞ The second property is logically equivalent to the first. โ 39 REAL ANALYSIS 1 Issa Ndungo Example 4.7 1 1) Determine the convergent and divergent of the series ∑∞ ๐=1 1+3๐ Solution 1 1 ∞ The series ∑∞ ๐=1 1+3๐ resembles ∑๐=1 3๐ converging geometric series. Term by term comparison 1 1 1 1 ∞ yields: ๐๐ = 2+3๐ < 3๐ = ๐๐ so, since ∑∞ ๐=1 3๐ converges then ∑๐=1 1+3๐ also converges. 1 2) Determine the convergent and divergent of the series ∑∞ ๐=1 2+ √๐ . Solution 1 The series ∑∞ ๐=1 2+ √๐ resembles ∑∞ ๐=1 1 √๐ 1 divergent p-series. And 2+ not meet the requirement for divergence. We also compare with ๐๐ = 1 ๐ 1 ≤ 2+ √๐ √๐ 1 ∞ ∑๐=1 ๐ ≤ 1 √๐ ๐ ≥ 2 which does divergent harmonic series. = ๐๐ ๐ ≥ 4 and by the direct comparison test, the given series converge. Limit comparison Proposition 4.6 Suppose that ๐๐ > 0, ๐๐ > 0, and ๐๐๐ ๐๐ ๐→∞ ๐๐ = โ where โ is finite and positive. Then the two series ∑ ๐๐ and ∑ ๐๐ either both diverge of converge. Proof Because ๐๐ > 0, ๐๐ > 0 and ๐๐๐ ๐๐ ๐→∞ ๐๐ = โ there exists ๐ > 0 such that 0 < ๐๐ ๐๐ = โ + 1 for ๐ ≥ ๐. This implies that 0 < ๐๐ < (โ + 1)๐๐ . So, by the direct comparison test, the convergence of ๐ ∑ ๐๐ implies the convergence of ∑ ๐๐ . Similarly, the fact that ๐๐๐ ๐ = 1/โ can be used to show ๐→∞ ๐๐ that the convergence of ∑ ๐๐ implies the convergence of ∑ ๐๐ . โ NB: Some examples of p-series to use in comparison tests for given series are in the table below Given series ๐ ∑ ๐ ๐๐ − ๐๐ + ๐ ๐ ∑ √๐๐ − ๐ ๐๐ − ๐๐ ∑ ๐ ๐๐๐+๐ p-series 1 ∑ 2 ๐ 1 ∑ √๐ 1 ∑ 3 ๐ Conclusion Both series converge Both series diverge Both series converge The table above suggests that when choosing a series for comparison one disregards all but the highest powers of ๐ in both the numerators and the denominator. 40 REAL ANALYSIS 1 Issa Ndungo Example 4.8 1 1) Show that the general harmonic series ∑∞ ๐=1 ๐๐+๐ diverge. Solution 1 1 1 1 By comparing with ∑∞ ๐=1 ๐ divergent harmonic series, we have ๐๐๐ ๐๐+๐ ÷ ๐ = ๐ because this limit ๐→∞ is finite and positive then, the given series diverges. √๐ 2) Determine the convergence of divergence of ∑ ๐2 +1 Solution √๐ Compare the series with ∑ ๐2 = ∑ √๐ ๐→∞ ๐2 Because ๐๐๐ ÷ 1 3 ๐2 1 3 convergent p-series ๐2 ๐2 = ๐๐๐ ๐2 +1 = 1 then by limit comparison test the given series converge. ๐→∞ ๐2๐ 3) Determine the convergence of divergence of ∑ 4๐3 +1 . Solution 2๐ Compare with ∑ ๐2 divergent series. Now that the series diverge, by ๐๐กโ term test from the limit ๐๐๐ ๐→∞ ๐2๐ 4๐3 +1 ÷ 2๐ ๐2 = ๐๐๐ 1 1 ๐→∞ 4+( 3 ) ๐ 1 = so, the given series diverge. 4 4.11.5 Alternating test Proposition 4.7 Let ๐๐ > 0 the alternating series ∑(−1)๐ ๐๐ and ∑(−1)๐+1 ๐๐ converges if the following conditions are satisfied. 1) ๐๐๐ ๐๐ = 0. 2) ๐๐+1 ≤ ๐๐ for all ๐. ๐→∞ Proof Consider the alternating series ∑(−1)๐+1 ๐๐ . For this series, the partial sum (where 2๐) ๐ 2๐ = (๐1 − ๐2 ) + (๐3 − ๐4 ) + (๐5 − ๐6 ) + โฏ (๐2๐−1 − ๐2๐ ) has all nonnegative terms and therefore the sequence (๐ 2๐ ) is a nondecreasing sequence, we can also write: ๐ 2๐ = ๐1 − (๐2 − ๐3 ) − (๐4 − a5 ) − โฏ − (a2n−2 − a2n ) − a2n which implies that s2n ≤ a1 for every integer n. So, (s2n ) is bounded, nondecreasing and converges to some value L. Because s2n−1 − a2n = s2n and a2n → 0 we have lim s2n−1 = lim s2n = lim a2n = L + lim a2n = L n→∞ n→∞ n→∞ n→∞ Because both s2n and s2n−1 converges to the same limit L, it follows that (sn ) also converges to L. Consequently, the given alternating series converge. โ 41 REAL ANALYSIS 1 Issa Ndungo 4.11.6 Absolute convergence Proposition 4.8 If a series ∑ |an | converges then the series ∑ an converge. Because 0 ≤ an + |an | ≤ 2|an | for all n, the series ∑∞ n=1(a n + |a n |) converges by comparison with the convergent series ∑ 2|an |. Furthermore because an = (an + |an |) + |an | we write e∑ an = ∑(an + |an | − ∑ |an | where both series on the right converge. So, it follows that ∑ an converges. โ The converse of proposition 4.8 is not true. For example, the alternating harmonic series ∑ (−1)n+1 n converge by alternating series test. Yet the harmonic series diverge. This type of convergence is called conditional. Note: (1) ∑ an is absolutely convergent ∑ |an | converges (2) ∑ an conditionally converges if ∑ an converges but ∑ |an | diverges 4.11.7 Ratio test Proposition 4.9 Let ∑ an be a series with nonzero terms: an+1 1) ∑ an converges if lim | 2) ∑ an diverges if lim | 3) The ratio test is inconsistent if lim | n→∞ an an+1 n→∞ an |<1 |>1 an+1 n→∞ an |=1 4.11.8 Root test Proposition 4. 10 Let ∑ an be a series, n 1) ∑ an converges absolutely if √|an | < 1 n 2) ∑ an diverges absolutely if √|an | > 1 n 3) The root test is inconsistent if √|an | = 1 42 REAL ANALYSIS 1 Issa Ndungo UNIT FIVE LIMITS AND CONTINUITY 5.1 Limit of a function Definition: Let ๐ be a function defined on an open interval containing ๐ (expcept possibly at ๐) and let ๐ฟ be a real number. ๐ฟ is called a limit of ๐ at ๐ if given ๐ > 0, there exists a ๐ฟ > 0 (depending on ๐ and ๐ ) such that: |๐ − ๐ฟ| < ๐ for all ๐ฅ ∈ ๐กโ๐ ๐๐๐๐๐๐ ๐๐ ๐๐๐๐๐๐๐ก๐๐๐ ๐๐ ๐ satisfying 0 < |๐ฅ − ๐|๐ฟ. We write lim ๐ = ๐ฟ. x→c Or 1) Suppose ๐ is defined for all real numbers ๐ฅ > ๐พ where ๐พ ∈ โ, then โ ∈ โ is the limit of ๐ as ๐ฅ tends to ∞ if, given ๐ > 0 there exist a real number ๐พ such that |๐ − โ| < ๐ whenever ๐ฅ > ๐พ and lim ๐ = โ. x→c 2) Suppose ๐ is defined for all real numbers ๐ฅ < ๐พ where ๐พ ∈ โ, then โ ∈ โ is the limit of ๐ as ๐ฅ tends to −∞ denoted by and lim ๐ = โ if, given ๐ > 0 there exist a real number ๐พ x→c such that |๐ − โ| < ๐ whenever ๐ฅ < ๐พ. Example 5.1 1) Show that lim ๐ฅ 2 = 4. x→2 Let ๐ > 0 be given. We need to produce a ๐ฟ>0 whenever 0 < |๐ฅ − 2| < ๐ฟ Now we have |๐ฅ 2 − 4| = |(๐ฅ + 2)(๐ฅ − 2)| = |๐ฅ − 2||๐ฅ + 2| Consider all ๐ฅ which satisfy the inequality |๐ฅ − 2| < 1. Then, for all such ๐ฅ we have 1 < ๐ฅ < 3 ๐ Thus |2 + 2 ≤ |๐ฅ| + 2 < 3 + 2 = 5. Choose ๐ฟ = max{1, 5}. Then, whenever 0 < |๐ฅ − 2| < ๐ฟ we have that |๐ฅ 2 − 4| < ๐. 2) Show that and lim(๐ฅ 2 + 2๐ฅ) = 15. x→3 Let ๐ > 0 be given. We need to find a ๐ฟ > 0 such that: |(๐ฅ 2 − 2๐ฅ) − 15| < ๐ for all ๐ฅ satisfying 0 < |๐ฅ − 3| < ๐ฟ. Note that |(๐ฅ 2 + 2๐ฅ) − 15| = |(๐ฅ + 5)(๐ฅ − 3)| = |๐ฅ + 5||๐ฅ − 3| since we are interested in the value of ๐ฅ near 3, we may consider those values of ๐ฅ satisfying the inequality |๐ฅ − 3| < 1 i.e. 2 < ๐ฅ < 4 . For all these values we have that |๐ฅ + 5| < 9. Therefore, if |๐ฅ − 3| < 1 we ๐ have that |(๐ฅ 2 + 2๐ฅ) − 15| < 9|๐ฅ − 3|. Choose ๐ฟ = max{1, 9}, then, working backwards, we have that: |(๐ฅ 2 + 2๐ฅ) − 15| < ๐ for all ๐ฅ satisfying 0 < |๐ฅ − 3| < ๐ฟ 2๐ฅ+3 3) Show that and lim ๐ฅ+2 = 1. x→−1 Solution 2๐ฅ+3 Let ๐ > 0 be given. We need to find a ๐ฟ > 0 such that: | ๐ฅ+2 − 1| < ๐ for all ๐ฅ satisfying 1 3 1 0 < |๐ฅ + 1| < ๐ฟ. Consider values of ๐ฅ which satisfy |๐ฅ + 1| < 2 i.e. − 2 < ๐ฅ < − 2. Recognizing that |๐ฅ + 2| = |๐ฅ − (−2)| as the distance from ๐ฅ to −2 we have |๐ฅ+1| 3 1 2๐ฅ+3 ๐ฅ+1 |๐ฅ + 2| = |๐ฅ − (−2)| > |− − (−2)| = . Thus, | − 1| = | | = < 2|๐ฅ + 1| |๐ฅ+2| 2 2 ๐ฅ+2 ๐ฅ+2 43 REAL ANALYSIS 1 Issa Ndungo 1 ๐ 2๐ฅ+3 2 2 ๐ฅ+2 Choose ๐ฟ = max { , } . Then whoever ๐ < |๐ฅ + 1| < ๐ฟ we have that | 4) Show that lim ๐(๐ฅ) where ๐(๐ฅ) = x→0 |๐ฅ| ๐ฅ ={ − 1| < ๐ . 1 ๐๐ ๐ฅ > 0 does not exists. −1 ๐๐ ๐ฅ < ๐ฅ Solution Assume that the limit exists and lim ๐(๐ฅ) = ๐ฟ. Then with ๐ = 1 there is a ๐ฟ > 0 such that x→0 −๐ฟ ๐ฟ |๐(๐ฅ) − ๐ฟ| < 1 for all ๐ฅ satisfying 0 < ๐ฅ < ๐ฟ. Taking ๐ฅ = , we have that |๐ฅ| = < ๐ฟ and 2 2 so, 1 > |๐(๐ฅ) − ๐ฟ| = |−1 − ๐ฟ| = |๐ฟ + 1| ⇒ |๐ฟ + 1| < 1 ⇒ −2 < ๐ฟ < 0 …………………….. (*) ๐ฟ ๐ฟ On the other hand, if ๐ฅ = 2, we have |๐ฅ| = 2 < ๐ฟ so −1 > |๐(๐ฅ) − ๐ฟ| = |1 − ๐ฟ| = |๐ฟ − 1| ⇒ |๐ฟ − 1| < 1 ⇒ 0 < ๐ฅ < 2 ………………………. (**) Therefore, there is no real number that simultaneously satisfy equations (*) and (**). So, lim ๐(๐ฅ) does not exit. x→0 5) 1 Show that lim ๐ฅ๐ ๐๐ ๐ฅ = 0 x→0 Solution 1 Let ๐ > 0 be given. We need to find a ๐ฟ > 0, such that: |๐ฅ๐ ๐๐ ๐ฅ| < ๐ for all ๐ฅ satisfying 1 1 0 < |๐ฅ| < ๐ฟ. We have |๐ฅ๐ ๐๐ ๐ฅ| < |๐ฅ| < ๐. Which proves that that lim ๐ฅ๐ ๐๐ ๐ฅ = 0 x→0 1 ๐๐ ๐ฅ ∈ โ 6) Consider the function ๐: โ → {0,1} given by ๐(๐ฅ) = { 0 ๐๐ ๐ฅ ∈ โ\โ Show that if ๐ ∈ โ, then that lim ๐(๐ฅ) does not exist. x→a Solution 1 Assume that there is an ๐ฟ ∈ โ such that that lim ๐(๐ฅ) = ๐ฟ. Then with ๐ = 4, there exist a ๐ฟ > 0 x→a such that |๐(๐ฅ) − ๐ฟ| < ๐ for all ๐ฅ satisfying 0 < ๐ฅ − ๐ < ๐ฟ. 1 If ๐ฅ ∈ โ then, we have |1 − ๐ฟ| < 4 whenever, 0 < ๐ฅ − ๐ < ๐ฟ. 1 If ๐ฅ ∈ โ\โ then, we have |๐ฟ| < 4 whenever, 0 < ๐ฅ − ๐ < ๐ฟ. Since the set {๐ฅ ∈ โ: ๐ < |๐ฅ − ๐| < ๐ฟ} contains both rational and irrationals, we have that 1 1 1 1 = |1 − 0| = |1 − ๐ฟ + ๐ฟ| ≤ |1 − ๐ฟ| + |๐ฟ| < + = . 4 4 2 1 ⇒ 1 < 2, which is absurd. And so lim ๐(๐ฅ) does not exist. x→a 7) Given lim(2๐ฅ − 5) = 1, find ๐ฟ such that |2๐ฅ − 5) − 1| < 0.01 whenever 0 < ๐ฅ − 3 < ๐ฟ x→3 Solution Given ๐ = 0.01. To find ๐ฟ notice that |(2๐ฅ − 5) − 1| = |2๐ฅ − 6| = 2|๐ฅ − 3| < 0.01 1 Choose ๐ฟ = 2 (0.01) = 0.005, then 0 < |๐ฅ − 3| < 0.005 implies that |(2๐ฅ − 5) − 1| = 2|๐ฅ3 | < 2(0.005) = 0.001 = ๐. So ๐ฟ = 0.005. 44 REAL ANALYSIS 1 Issa Ndungo Exercise 5.1 Use ๐ − ๐ฟ definition of limits to prove that: a) lim(3๐ฅ − 2) = 4 x→2 b) lim(๐ฅ + 4) = 8 x→4 c) lim (๐ฅ 2 + 3๐ฅ) = 0 x→−3 Theorem 5.1 Let ๐ be defined in some open interval ๐ผ containing ๐ ∈ โ except possibly at ๐. The lim ๐ (๐ฅ) = ๐ฟ x→a if and only if for every sequence ๐๐ ⊂ ๐ผ{๐} such that lim ๐๐ = ๐ฟ we have lim ๐(๐๐ ) = ๐ฟ. n→∞ n→∞ Prove Assume that lim ๐ (๐ฅ) = ๐ฟ and ๐๐ ⊂ ๐ผ{๐} be a sequence such that lim ๐๐ = ๐ฟ. Then given ๐ > 0, x→a n→∞ there exists a ๐ฟ > 0 and a ๐ ∈ โ such that |๐(๐ฅ) − ๐ฟ| < ๐ for all ๐ฅ ∈ ๐ผ satisfying ๐ < ๐ฅ < ๐ฟ and |๐๐ − ๐| < ๐ฟ for all ๐ ≥ ๐. Now, 0 < |๐๐ − ๐| < ๐ฟ since ๐๐ ≠ ๐ for all ๐ ≥ ๐. Thus |๐(๐๐ ) − ๐ฟ| < ๐ for all ๐ ≥ ๐. Therefore, lim ๐(๐๐ ) → ๐ฟ. n→∞ For the converse, assume that for every ๐๐ ⊂ ๐ผ{๐} such that lim ๐๐ = ๐ฟ, we have lim ๐(๐๐ ) = ๐ฟ. n→∞ n→∞ Claim that lim ๐ (๐ฅ) = ๐ฟ. If the claim were false, then there would exist an ๐๐ > 0 such that for every x→a 1 ๐ฟ > 0 with 0 < |๐ฅ − ๐| < ๐ฟ, we have |๐(๐ฅ) − ๐ฟ| ≥ ๐๐ . Let ๐ ∈ ๐ and take ๐ฟ = ๐, then we can find 1 ๐๐ ∈ ๐ผ{๐} such that 0 < |๐๐ − ๐| < ๐ and |๐(๐๐ ) − ๐ฟ| ≥ ๐๐ . Clearly ๐๐ is a sequence in ๐ผ\{๐} with the property that lim ๐๐ = ๐ and |๐(๐๐ ) − ๐ฟ| ≥ ๐๐ for all n→∞ ๐ ∈ โ . Thus that lim ๐(๐๐ ) ≠ ๐ฟ this is a contradiction. โ n→∞ Theorem 5.2 (uniqueness of limits) Let ๐ be a function which is defined on some open interval ๐ผ containing ๐, except possibly at ๐. If lim ๐ (๐ฅ) = ๐ฟ1 and lim ๐ (๐ฅ) = ๐ฟ2 then ๐ฟ1 = ๐ฟ2 x→a x→a Proof If ๐ฟ1 ≠ ๐ฟ2 , let ๐ = |๐ฟ1 −๐ฟ2 | 3 . Then there is a ๐ฟ1 > 0 and ๐ฟ2 > 0 such that ๐ ๐ |๐(๐ฅ) − ๐ฟ1 | < 2 whenever ๐ฅ ∈ ๐ผ and 0 < |๐ฅ − ๐| < ๐ฟ1 and |๐(๐ฅ) − ๐ฟ2 | < 2 whenever ๐ฅ ∈ ๐ผ and 0 < |๐ฅ − ๐| < ๐ฟ2 . Let ๐ฟ = max{๐ฟ1 , ๐ฟ2 }. Then whenever, 0 < |๐ฅ − ๐| < ๐ฟ we have 0 < |๐ฟ1 − ๐ฟ2 | ≤ |๐(๐ฅ) − ๐ฟ1 | + |๐(๐ฅ) − ๐ฟ2 | < ⇒ |๐ฟ1 − ๐ฟ2 | < |๐ฟ1 −๐ฟ2 | 3 ๐ ๐ |๐ฟ1 − ๐ฟ2 | |๐ฟ1 − ๐ฟ2 | |๐ฟ1 − ๐ฟ2 | + = + = 2 2 6 6 3 , which is impossible and so ๐ฟ1 = ๐ฟ2 . โ 45 REAL ANALYSIS 1 Issa Ndungo 5.2 Algebra of limits Theorem 5.3 Let ๐ฟ1 , ๐ฟ2 , ๐ ∈ โ. Suppose that ๐ and ๐ are real valued functions defined on some open interval ๐ผ containing ๐, except possibly at ๐ itself, and that lim ๐(๐ฅ) = ๐ฟ1 and lim ๐(๐ฅ) = ๐ฟ2 then, ๐ฅ→๐ ๐ฅ→๐ a) lim [๐(๐ฅ) ± ๐(๐ฅ) = ๐ฟ1 ± ๐ฟ2 ๐ฅ→๐ b) lim ๐(๐ฅ)๐(๐ฅ) = ๐ฟ1 ๐ฟ2 ๐ฅ→๐ ๐(๐ฅ) ๐ฟ c) lim ๐(๐ฅ) = ๐ฟ1 provided ๐(๐ฅ) ≠ 0 ∀๐ฅ ∈ ๐ผ and ๐ฟ2 ≠ 0 ๐ฅ→๐ 2 Proof a) Let ๐ >= 0 be given. Then there exists ๐ฟ1 > 0 and ๐ฟ2 > 0 such that: ๐ |๐(๐ฅ) − ๐ฟ1 | < whenever, ๐ฅ ∈ ๐ผ and 0 < |๐ฅ − ๐| < ๐ฟ1 and 2 ๐ |๐(๐ฅ) − ๐ฟ2 | < whenever, ๐ฅ ∈ ๐ผ and 0 < |๐ฅ − ๐| < ๐ฟ2 2 Let ๐ฟ = max{๐ฟ1 , ๐ฟ2 }. Then, whenever ๐ฅ ∈ ๐ผ and 0 < |๐ฅ − ๐| < ๐ฟ we have: |[๐(๐ฅ) + ๐(๐ฅ)] − [๐ฟ1 + ๐ฟ2 ]| = |[๐(๐ฅ) − ๐ฟ1 + [๐(๐ฅ) − ๐ฟ2 ] < |๐(๐ฅ) − ๐ฟ1 | + |๐(๐ฅ) − ๐ฟ2 | ๐ ๐ < + =๐ 2 ๐ Thus lim [๐(๐ฅ) + ๐(๐ฅ) = ๐ฟ1 + ๐ฟ2 ๐ฅ→๐ A similar argument shows that lim [๐(๐ฅ) − ๐(๐ฅ) = ๐ฟ1 − ๐ฟ2 ๐ฅ→๐ b) With ๐ = 1, there exists a ๐ฟ1 > 0 such that |๐(๐ฅ) − ๐ฟ1 | < 1 whenever ๐ฅ ∈ ๐ผ and 0 < |๐ฅ − ๐| < ๐ฟ1 . This implies that |๐(๐ฅ)| < |๐(๐ฅ) − ๐ฟ1 | + |๐ฟ1 | < 1 < 1 + ๐ฟ1 whenever ๐ฅ ∈ ๐ผ ๐ฅ ∈ ๐ผ and 0 < |๐ฅ − ๐| < ๐ฟ1 . Now ๐ฅ ∈ ๐ผ with 0 < |๐ฅ − ๐| < ๐ฟ1 we have |๐(๐ฅ)๐(๐ฅ) − ๐ฟ1 ๐ฟ2 | = |๐(๐ฅ)๐(๐ฅ) − ๐(๐ฅ)๐ฟ2 + ๐(๐ฅ)๐ฟ2 − ๐ฟ1 ๐ฟ2 | ≤ |๐(๐ฅ)||๐(๐ฅ) − ๐ฟ2 | + |๐ฟ2 ||๐(๐ฅ) − ๐ฟ1 | ≤ (1 + ๐ฟ1 )|๐(๐ฅ) − ๐ฟ2 |๐ฟ2 ||๐(๐ฅ) − ๐ฟ1 | Given ๐ > 0 there exists ๐ฟ2 > 0 and ๐ฟ3 > 0 such that ๐ |๐(๐ฅ) − ๐ฟ1 | < whenever ๐ฅ ∈ ๐ผ with 0 < |๐ฅ − ๐| < ๐ฟ2 and 2(1+๐ฟ ) |๐(๐ฅ) − ๐ฟ2 | < ๐ 2 2(1+๐ฟ2 ) whenever ๐ฅ ∈ ๐ผ with 0 < |๐ฅ − ๐| < ๐ฟ3 Let ๐ฟ = max{๐ฟ1 , ๐ฟ2 , ๐ฟ3 }. Then, whenever ๐ฅ ∈ ๐ผ with 0 < |๐ฅ − ๐| < ๐ฟ we have ๐ ๐ |๐(๐ฅ)๐(๐ฅ) − ๐ฟ1 ๐ฟ2 | ≤ (1 + ๐ฟ1 ) [ ] + ๐ฟ2 [ ] 2(1 + ๐ฟ2 ) 2(1 + ๐ฟ2 ) ๐ ๐ < (1 + ๐ฟ1 ) [2(1+๐ฟ )] + (๐ฟ2 + 1) [2(1+๐ฟ )] 2 ๐ 2 ๐ <2+2=ε Thus lim ๐(๐ฅ)๐(๐ฅ) = ๐ฟ1 ๐ฟ2 ๐ฅ→๐ 46 REAL ANALYSIS 1 Issa Ndungo 1 1 ๐ฅ→๐ ๐ ๐ฟ2 c) It is enough to show that lim = |๐ฟ | provided ๐(๐ฅ) ≠ 0 for all ๐ฅ ∈ ๐ผ and ๐ฟ2 ≠ 0. Since ๐ฟ2 ≠ |๐ฟ | 0, ๐ = 22 >0. Therefore, there exists a ๐ฟ1 > 0 such that |๐(๐ฅ) − ๐ฟ2 | < 22 whenever ๐ฅ ∈ ๐ผ and 0 < |๐ฅ − ๐| < ๐ฟ1. Now for all ๐ฅ ∈ ๐ผ satisfying 0 < |๐ฅ − ๐| < ๐ฟ1 we have |๐ฟ2 | |๐ฟ2 | ≤ |๐ฟ2 − ๐(๐ฅ)| + |๐(๐ฅ)| < + |๐(๐ฅ)| 2 |๐ฟ | |๐ฟ | ⇒ |๐ฟ2 | − 22 < |๐(๐ฅ)| that is 22 < |๐(๐ฅ)| for all ๐ฅ ∈ ๐ผ satisfying 0 < |๐ฅ − ๐| < ๐ฟ1 . It now follows that for all ๐ฅ ∈ ๐ผ satisfying 0 < |๐ฅ − ๐| < ๐ฟ1 1 1 ๐ฟ2 − ๐(๐ฅ) 2|๐ฟ2 − ๐(๐ฅ)| 2|๐ฟ2 − ๐(๐ฅ)| | − |<| |< = |๐ฟ2 |๐ฟ_2| |๐ฟ22 | ๐(๐ฅ) ๐ฟ2 ๐ฟ2 ๐(๐ฅ) ๐๐ฟ2 Given ๐ > 0, there exist ๐ฟ2 > 0 such that |๐(๐ฅ) − ๐ฟ2 | < 2 whenever ๐ฅ ∈ ๐ผ and 2 0 < |๐ฅ − ๐| < ๐ฟ1 . Let max{๐ฟ1 , ๐ฟ2 , ๐ฟ3 }. Then, whenever ๐ฅ ∈ ๐ผ with 0 < |๐ฅ − ๐| < ๐ฟ we have 1 1 2|๐ฟ2 − ๐(๐ฅ)| ๐๐ฟ22 2 | − |≤ < . =๐ |๐ฟ22 | ๐(๐ฅ) ๐ฟ2 2 ๐ฟ22 1 1 ๐(๐ฅ) 1 1 ๐ฟ Thus, lim ๐ = ๐ฟ and from part b) of theorem 5.3, lim ๐(๐ฅ) = lim ๐(๐ฅ) . ๐(๐ฅ) = ๐ฟ2 . ๐ฟ1 = ๐ฟ1 โ ๐ฅ→๐ 2 ๐ฅ→๐ ๐ฅ→๐ 2 Theorem 5.4 Let ๐ฟ1 , ๐ฟ2 , ๐ ∈ โ. Suppose that ๐ and ๐ are real valued functions defined on some open interval ๐ผ containing ๐, except possibly at ๐ itself and that ๐(๐ฅ) ≤ ๐(๐ฅ). If lim ๐(๐ฅ) = ๐ฟ1 and lim ๐(๐ฅ) = ๐ฟ2 ๐ฅ→๐ ๐ฅ→๐ then ๐ฟ1 ≤ ๐ฟ2 . Prove (Left to the reader) Theorem 5.5 Let ๐, ๐ and โ be real valued function which are defined on some open interval ๐ผ containing ๐, except possibly at ๐ and that f(๐ฅ) ≤ ๐(๐ฅ) ≤ โ(๐ฅ) for all ๐ฅ ∈ ๐ผ if lim ๐(๐ฅ) = ๐ฟ, lim โ(๐ฅ) = ๐ฟ, then ๐ฅ→๐ ๐ฅ→๐ lim ๐(๐ฅ) = ๐ฟ. ๐ฅ→๐ Exercise 5.2 1. Prove Theorem 5.4 2. Prove Theorem 5.5 3. Find the limits of a) b) lim ๐ฅ 2 +๐ฅ−6 ๐ฅ→−3 ๐ฅ+3 √๐ฅ+1−1 lim ๐ฅ ๐ฅ→0 47 REAL ANALYSIS 1 Issa Ndungo 5.3 Continuity of functions Definition: Continuity at appoint: A function ๐ is continuous at ๐ if the following conditions are met. i) ๐(๐) is defined ii) lim ๐(๐ฅ) exists ๐ฅ→๐ iii) lim ๐(๐ฅ) = ๐(๐) ๐ฅ→๐ Continuity on an open interval: a function ๐ is said to continuous at an open interval (๐, ๐) if its continuous at each point in the interval. A function that is continuous on the entire real line (−∞, +∞) is everywhere continuous. Or 1) Let ๐ท ⊆ โ and ๐: ๐ท → โ. Then function ๐ is said to be continuous at ๐ ∈ ๐ซ if given ๐ > 0 there exist a ๐ฟ > 0 such that |๐(๐ฅ) − ๐(๐)| < ๐ whenever ๐ฅ ∈ ๐ท and |๐ฅ − ๐| < ๐ฟ. 2) Let ๐ท ⊆ โ and ๐: ๐ท → โ. Then function ๐ is said to be continuous at ๐ ∈ ๐ซ if for each ๐ − ๐๐๐๐โ๐๐๐ข๐โ๐๐๐ ๐(๐(๐), ๐) of ๐(๐) there is ๐ฟ − ๐๐๐๐โ๐๐๐ข๐โ๐๐๐ ๐(๐, ๐ฟ) of ๐ such that ๐(๐ฅ) ∈ ๐(๐(๐), ๐) whenever ๐ฅ ∈ ๐(๐, ๐ฟ) ∩ ๐ท. Example 5.2 1. Show that ๐(๐ฅ) = ๐ฅ 2 is continuous on โ Solution Let ๐ > 0 be given and ๐ ∈ โ. We need to produce a ๐ฟ > 0 such that: |๐(๐ฅ) − ๐(๐)| < ๐ whenever |๐ฅ − ๐| < ๐ฟ. Now |๐(๐ฅ) − ๐(๐)| = |๐ฅ 2 − ๐2 | = |(๐ฅ + ๐)(๐ฅ − ๐)| since we need the behavior of ๐ near ๐, we may restrict our attention to those real numbers ๐ฅ that satisfy the inequality |๐ฅ − ๐| < 1. ๐. ๐. ๐ − 1 < ๐ฅ < ๐ + 1 therefore, for all those real numbers we have ๐ |๐ฅ + ๐| ≤ |๐ฅ| + |๐| ≤ |๐ + 1| + |๐| ≤ 1 + 2|๐| . Now take ๐ฟ = min {1, } . Then, |๐ฅ − ๐| < ๐ฟ 1+2|๐| Thus, ๐ is continuous at ๐. Since ๐ was arbitrary chosen from โ, it follows that ๐ is continuous on โ. 1 ๐ฅ๐ ๐๐ ๐ฅ 2. Show that the function ๐(๐ฅ) = { 0 Solution ๐๐ ๐ฅ ≠ 0 ๐๐ ๐ฅ = 0 is not continuous at 0. Let ๐ > 0 be given. We need to produce a ๐ฟ > 0 such that: 1 1 ๐(๐ฅ) − ๐(0) < ๐ whenever |๐ฅ − 0| < ๐ฟ. Now |๐(๐ฅ) − ๐(0)| = |๐ฅ๐ ๐๐ ๐ฅ − 0| = |๐ฅ|| sin ๐ฅ | ≤ |๐ฅ| 1 Choose 0 < ๐ฟ ≤ ๐. Then, |๐ฅ − 0| < ๐ฟ implies that |๐(๐ฅ) − ๐(0)| = |๐ฅ๐ ๐๐ ๐ฅ − 0| ≤ |๐ฅ| < ๐ฟ ≤ ๐ Thus, ๐ is continuous at 0. 3. Show that the function ๐: โ → {−1,1} given by ๐(๐ฅ) = { at every real number. 1 −1 ๐๐ ๐ฅ ∈ โ is discontinuous ๐๐ ๐ฅ ∈ โ\โ 48 REAL ANALYSIS 1 Issa Ndungo Solution Assume that ๐ is continuous at some number ๐ ∈ โ. Then, given ๐ = 1 there exists a ๐ฟ > 0 such that |๐(๐ฅ) − ๐(๐) < ๐ whenever |๐ฅ − ๐| < ๐ฟ. Since rational numbers and irrational numbers are dense in โ, the interval |๐ฅ − ๐| < ๐ฟ contains both rational and irrationals. If ๐ฅ ∈ โ and |๐ฅ − ๐| < ๐ฟ, then |1 − ๐(๐)| < 1 whenever 0 < ๐(๐) < 2, On the other hand, if ๐ฅ ∈ โ\โ and |๐ฅ − ๐| < ๐ฟ then |−1 − ๐(๐)| < 1 whenever −2 < ๐(๐) < 0. But there is no real number which simultaneous satisfy the inequalities 0 < ๐(๐) < 2 and −2 < ๐(๐) < 0. Therefore ๐ is discontinuous at every ๐ ∈ โ. 1 4. Show that ๐(๐ฅ) = ๐ฅ is continuous at 1. Solution Let ๐ > 0 be given. We need to find a ๐ฟ > 0 such that |๐(๐ฅ) − ๐(1)| < ๐ whenever |๐ฅ − 1| < ๐ฟ. 1 Since we are interested in the values of ๐ฅ for which |๐ฅ − 1| < 2. These ๐ฅ values satisfy the inequality 1 2 3 1 < ๐ฅ < 2 . Now for all ๐ฅ which satisfy |๐ฅ − 1| < 2 we have 1 ๐ฅ−1 |๐(๐ฅ) − ๐(1)| = | − 1| = | ๐ฅ 1 ๐ฅ 1 ๐ | < 2|๐ฅ − 1|. Chose ๐ฟ = min {2 , 2}. Then, whenever |๐ฅ − 1| < ๐ฟ we have that |๐ฅ − 1| < ๐ Theorem 5.6 Let ๐ท ⊂ โ and ๐: ๐ท → โ. Then ๐ is continuous at ๐ ∈ ๐ท if and only if for every sequence (๐๐ ) ⊂ ๐ท such that lim ๐๐ = ๐, we have that lim ๐(๐๐ ) = ๐(๐). ๐→∞ ๐→∞ Proof. Suppose that ๐ is continuous at ๐ ∈ ๐ท and that (๐๐ ) a sequence in ๐ท such that the lim ๐๐ = ๐. Given ๐→∞ ๐ > 0, there exist a ๐ฟ > 0 and an ๐ ∈ โ such that |๐(๐ฅ) − ๐(๐)| < ๐ whenever |๐ฅ − ๐| < ๐ฟ and |๐ฅ − ๐๐ | < ๐ฟ for all ๐ ≥ ๐. Therefore |๐(๐ฅ๐ ) − ๐(๐๐ ) < ๐ for all ๐ ≥ ๐. That is lim ๐(๐๐ ) = ๐(๐). ๐→∞ For the converse, assume that for every sequence (๐๐ ) ⊂ ๐ท such that lim ๐๐ = ๐ we have ๐→∞ lim ๐(๐๐ ) = ๐(๐) and that ๐ is not continuous at ๐. Then, there exist an ๐๐ > 0 such that for every ๐→∞ 1 ๐ฟ > 0 with 0 < |๐ฅ − ๐| < ๐ฟ we have |๐(๐ฅ) − ๐(๐)| ≥ ๐๐ . For ๐ ∈ โ, let ๐ฟ = ๐ and then we can 1 find ๐ ∈ ๐ท such that 0 < |๐๐ − ๐| > ๐ and |๐(๐๐ ) − ๐(๐)| ≥ ๐๐ . Clearly, (๐๐ ) is a sequence in ๐ท with the property that lim ๐๐ = ๐ and |๐(๐๐ ) − ๐(๐)| ≥ ๐๐ for all ๐→∞ ๐ ∈ โ. That is lim ๐(๐๐ ) ≠ ๐(๐) a contradiction. ๐→∞ โ Example 5.3 Find the limit of the sequences {โ๐ ( ๐+1 ๐ )}, if it exists 49 REAL ANALYSIS 1 Issa Ndungo Solution Since lim ๐+1 ๐→∞ ๐ = 1 and the function ๐(๐ฅ) = โ๐ ๐ฅ is continuous on (0, ∞), if follows from Theorem ๐+1 5.6 that lim โ๐ ( ๐→∞ ๐ ) = โ๐ . 1 = 0 That is the sequence {โ๐ ( ๐+1 ๐ )} converges to zero. โ Exercise 5.3 Show that the function ๐(๐ฅ) = { ๐ฅ −๐ฅ ๐๐ ๐ฅ ∈ โ is continuous at ๐ฅ = 0 ๐๐ ๐ฅ ๐๐โ\โ Theorem 5.7 Let ๐ and ๐ be functions with a common domain ๐ท ∈ โ and let ๐ ∈ ๐ท. If ๐ and ๐ are continuous at ๐ then so are the functions (i) ๐ ± ๐ (ii) ๐๐ for each ๐ ∈ โ (iii) |๐|. Theorem 5.8 Let ๐ be a function which is continuous at ๐ ∈ โ. Suppose that ๐ is a function which is continuous at the point ๐(๐). Then the composition function ๐๐๐ is also continuous at ๐. 5.4 The intermediate value theory Theorem 5.9 (Intermediate Value Theorem) If ๐ is a continuous function on a closed interval [๐, ๐] and ๐(๐) ≠ ๐(๐) then for each number ๐ between ๐(๐) and ๐(๐) there is a point ๐ ∈ [๐, ๐] such that ๐(๐) = ๐. Proof For definiteness, assume that ๐(๐) < ๐(๐). Let ๐ = {๐ฅ ∈ [๐, ๐]: ๐ ≤ ๐}. Then ๐ ≠ ๐ since ๐ ∈ ๐. Thus ๐ = ๐ ๐ข๐๐ exists as a real number in [๐, ๐], by Theorem 4.5 there exists a sequence (๐ฅ๐ ) in ๐ such that lim ๐ฅ๐ = ๐ . Since ๐ ≤ ๐ ≤ ๐ ๐→∞ for each ๐ ∈ โ we have that ๐ ≤ ๐ ≤ ๐, and so ๐ is continuous at ๐. This implies that lim ๐(๐ฅ๐ ) = ๐(๐) . ๐→∞ As ๐(๐ฅ๐ ) ≤ ๐ for each ๐ ∈ โ, we deduce that ๐(๐) ≤ ๐, and so, ๐ ∈ ๐. It now remains to show 1 that since ๐ ∈ ๐, and ๐ = ๐ ๐ข๐๐, ๐ + ๐ ∉ ๐ for each ๐ ∈ โ. Also, since ๐ < ๐(๐) we have that ๐ < 1 ๐. Therefore, there exists an ๐ ∈ โ such that 0 < ๐ < ๐ − ๐. Hence for each ๐ ≥ ๐ we have that 1 1 1 1 < ๐ − ๐ i.e. ๐ + ๐ < ๐ . this implies that for all ๐ ≥ ๐, ๐ + ๐ ∈ [๐, ๐] and ๐ + ๐ ∉ ๐. Thus ๐ 1 ๐ (๐ + ๐) > ๐ for all ๐ ≥ ๐. By the continuity of ๐ we obtain that ๐(๐) ≥ ๐ hence ๐(๐) = ๐. โ Theorem 5.9 (Fixed point theorem) If ๐ is continuous on a closed interval [๐, ๐] and ๐(๐ฅ) ∈ [๐, ๐] for each ๐ฅ ∈ [๐, ๐], then ๐ has a fixed point. i.e. there is a point ๐ ∈ [๐, ๐] such that ๐(๐) = ๐. 50 REAL ANALYSIS 1 Issa Ndungo 5.5 Uniform continuity Definition: Let ๐ท ⊆ โ and ๐: ๐ท → โ. The function ๐ is said to be uniformly continuous on ๐ท if given any ๐ > 0 there exist a ๐ฟ > 0 such that |๐(๐ฅ) − ๐(๐ฆ)| < ๐ whenever ๐ฅ, ๐ฆ ∈ ๐ท and |๐ฅ − ๐ฆ| < ๐ฟ. The most important point to note here is that ๐ฟ does not depend on any particular point of the domain ๐ท- the same ๐ฟ works for all paints of ๐ท. Example 5.4 1) Show that the function๐(๐ฅ) = ๐ฅ is uniformly continuous on โ . Solution Let ๐ > 0 be given. We must produce ๐ฟ > 0 such that |๐(๐ฅ) − ๐(๐ฆ)| < ๐ whenever ๐ฅ, ๐ฆ ∈ โ and |๐ฅ − ๐ฆ| < ๐ฟ. Since |๐(๐ฅ) − ๐(๐ฆ)| = |๐ฅ − ๐ฆ| we may choose 0 < ๐ฟ ≤ ๐. Then for all ๐ฅ, ๐ฆ ∈ โ with |๐ฅ − ๐ฆ| < ๐ฟ we have |๐(๐ฅ) − ๐(๐ฆ)| = |๐ฅ − ๐ฆ| < ๐ฟ ≤ ๐. Thus ๐ is uniformly continuous on โ. 2) Show that ๐(๐ฅ) = ๐ฅ 2 is not uniformly continuous on โ. Solution Let ๐ > 0 be given. We must show that for every ๐ฟ > 0 there exist ๐ฅ, ๐ฆ ∈ โ such that |๐ฅ − ๐ฆ| < ๐ฟ 2๐ ๐ฟ and |๐(๐ฅ) − ๐(๐ฆ)| = |๐ฅ 2 − ๐ฆ 2 | ≥ ๐. Choose ๐ฅ, ๐ฆ ∈ โ with ๐ฅ − ๐ฆ = 2 and ๐ฅ + ๐ฆ = ๐ฟ . Then |๐ฅ − ๐ฆ| < ๐ฟ and |๐ฅ 2 − ๐ฆ 2 | = |๐ฅ − ๐ฆ||๐ฅ + ๐ฆ| ≥ 2๐ ๐ฟ ๐ฟ . 2 = ๐. Thus ๐ is not continuous on โ. 3) Show that the function ๐(๐ฅ) = ๐ฅ 2 is continuous on [−1, 1]. Solution Let ๐ > 0 be given. Then for all ๐ฅ, ๐ฆ ∈ [−1, 1] we have |๐(๐ฅ) − ๐(๐ฆ)| = |๐ฅ 2 − ๐ฆ 2 | = ๐ |๐ฅ + ๐ฆ||๐ฅ − ๐ฆ| ≤ 2|๐ฅ − ๐ฆ|. Choose ๐ฟ = . Then for all ๐ฅ, ๐ฆ ∈ [−1, 1] with |๐ฅ − ๐ฆ| < ๐ฟ we have 2 ๐ |๐(๐ฅ) − ๐(๐ฆ)| < |๐ฅ 2 − ๐ฆ 2 | = |๐ฅ + ๐ฆ||๐ฅ − ๐ฆ| ≤ 2|๐ฅ − ๐ฆ| < 2. = ๐. 2 Therefore ๐ is uniformly continuous on [−1, 1]. Exercise 5.4 1 Show that ๐(๐ฅ) = ๐ฅ is not uniformly continuous on [0, 1]. Theorem 5.10 If ๐: ๐ท → โ is uniformly continuous on ๐ท, then it is continuous on ๐ท. 5.6 Discontinuity If ๐ฅ is a point in the domain of definition of the function ๐ at which ๐ is not continuous we say that ๐is discontinuous at ๐ฅ or ๐ has a discontinuity at ๐ฅ. If the function is defined on an interval, the discontinuity is divided into two: (1) Let ๐ be defined on (๐, ๐). If ๐ is discontinuous at point ๐ฅ and if ๐(๐ฅ + ) and ๐(๐ฅ − ) exist the ๐ is said to have a discontinuity of the 1st kind or simple discontinuity. (2) Otherwise the discontinuity is said to be of the 2nd kind. 51 REAL ANALYSIS 1 Issa Ndungo UNIT SIX DIFFERENTIATION 6.1 Derivative of a function Definition: ๐(๐ฅ)−๐(๐) Let ๐ be defined and real valued on [๐, ๐]. For any point ๐ ∈ [๐, ๐], form a quotient ๐ฅ−๐ and define ๐ ′ (๐ฅ) = lim ๐ฅ→๐ ′ ๐(๐ฅ)−๐(๐) ๐ฅ−๐ provided the limits exists. ๐ is called derivative of ๐. Observation 1. If ๐ ′ is defined at point ๐ฅ then ๐ is differentiable at ๐ฅ. 2. ๐ ′ (๐) exists if and only iff for a real number ๐ > 0 ∃ a real number ๐ฟ > 0 such that ๐(๐ฅ)−๐(๐) | ๐ฅ−๐ | < ๐ whenever |๐ฅ − ๐| < ๐ฟ. 3. ๐ผ๐ ๐ฅ − ๐ = โ then, we have: ๐ ′ (๐) = lim ๐(๐+โ)−๐(๐) โ→0 โ . 4. ๐ is differentiable at ๐ if and only if ๐ is removable discontinuity of the function ๐(๐ฅ)−๐(๐) ๐(๐ฅ) = ๐ฅ−๐ . Example 6.1 1 1. A function ๐: โ → โ defined by ๐(๐ฅ) = { ๐ฅ 2 sin ๐ฅ ; ๐ฅ≠0 0 ๐ฅ=0 This function is differentiable at ๐ฅ = 0 because: 1 1 ๐ฅ 2 sin ๐ฅ − 0 ๐ฅ 2 sin ๐ฅ ๐(๐ฅ) − ๐(0) 1 lim = lim = lim = lim๐ฅ๐ ๐๐ = 0 ๐ฅ→0 ๐ฅ→0 ๐ฅ→0 ๐ฅ→0 ๐ฅ−0 ๐ฅ−0 ๐ฅ ๐ฅ 2. Let ๐(๐ฅ) = ๐ฅ ๐ , ๐ ≥ 0 (n is an integer), ๐ฅ ∈ โ. Then: ๐(๐ฅ) − ๐(๐) ๐ฅ๐ − ๐๐ (๐ฅ − ๐)(๐ฅ ๐−1 + ๐๐ฅ ๐−2 + โฏ + ๐ ๐−2 ๐ฅ + ๐ ๐−1 ) lim = lim = lim ๐ฅ→๐ ๐ฅ→๐ ๐ฅ − ๐ ๐ฅ→๐ ๐ฅ−๐ ๐ฅ−๐ = lim (๐ฅ − ๐)(๐ฅ ๐−1 + ๐๐ฅ ๐−2 + โฏ + ๐ ๐−2 ๐ฅ + ๐ ๐−1 ) ๐ฅ→๐ = ๐๐ ๐−1 Implying that ๐ is differentiable everywhere and ๐ ′ (๐ฅ) = ๐๐ฅ ๐−1 . Theorem 6.1 Let ๐ be defined on [๐, ๐], if ๐is differentiable at a point ๐ฅ ∈ [๐, ๐], then ๐is continuous at ๐ฅ. Proof We want that lim ๐ก→๐ฅ ๐(๐ก)−๐(๐ฅ) ๐ก−๐ฅ = ๐ ′ (๐ฅ) where ๐ก ≠ ๐ฅ and ๐ < ๐ก < ๐. Now lim( ๐(๐ก) − ๐(๐ฅ)) = lim ๐ก→๐ฅ ๐ก→๐ฅ ๐(๐ก)−๐(๐ฅ) ๐ก−๐ฅ . lim(๐ก − ๐ฅ) = ๐ ′ (๐ฅ). 0 = 0 ๐ก→๐ฅ 52 REAL ANALYSIS 1 Issa Ndungo Implying that lim ๐(๐ก) = ๐(๐ฅ) which shows that ๐ is continuous at ๐ฅ. โ ๐ก→๐ฅ Note that the converse of Theorem 6.1 does not hold. Example 6.2 ๐ฅ2 Let ๐ be defined by ๐(๐ฅ) = { 3 ๐ฅ Then ๐ท + ๐(1) = lim ๐(๐ฅ)−๐(1) And ๐ท− ๐(1) = lim ๐(๐ฅ)−๐(1) ๐ฅ−1 ๐ฅ→1+โ โ→0 ๐ฅ→1−โ โ→0 ๐๐ ๐ฅ > 1 ๐๐ ๐ฅ ≤ 1 =lim ๐(1+โ)−๐(1) 1+โ−1 โ→0 ๐ฅ−1 =lim ๐(1−โ)−๐(1) 1−โ−1 โ→0 = lim โ→0 = lim โ→0 (1+โ)2 −(1) โ (1−โ)3 −(1) −โ = lim โ2 +2โ+1−1 โ โ→0 = lim =2 1−3โ+3โ2 −โ3 −1 โ→0 −โ =3 Since ๐ท+ ๐(๐ฅ) ≠ ๐ท − ๐(๐ฅ) then ๐ ′ (1) does not exist. 6.2 Rules of differentiation Theorem 6.2 (Rules of differentiation) Suppose ๐ and ๐ are differentiable on [๐, ๐] and are differentiable at a point ๐ฅ on [a, b], then ๐ + ๐, ๐ ๐๐ and ๐ are differentiable at ๐ฅ and i) (๐ + ๐)′ (๐ฅ) = ๐ ′ (๐ฅ) + ๐′ (๐ฅ) ๐ ′ iii) ( ) (๐ฅ) = ๐ ii) (๐๐)′ (๐ฅ) = ๐(๐ฅ)๐ ′ (๐ฅ) + ๐(๐ฅ)๐′ (๐ฅ) ๐(๐ฅ)๐ ′ (๐ฅ)−๐(๐ฅ)๐′ (๐ฅ) [๐(๐ฅ)]2 6.3 Local Maximum Let ๐ be a real valued function defined on a metric space ๐, we say that ๐ has a local maximum at point ๐ ∈ ๐ if there exists ๐ฟ > 0 such that ๐(๐) ≤ ๐(๐) ∀๐, ๐ ∈ ๐ with ๐(๐, ๐) < ๐ฟ. Local minimum is defined otherwise. Theorem 6.3 Let ๐ be defined on [๐, ๐], if ๐ has a local maximum at a point ๐ฅ ∈ [๐, ๐] and if ๐(๐ก) exists then ๐ ′ (๐ฅ) = 0. (the analogy for local minimum is of course also true) Proof Choose ๐ฟ such that ๐ < ๐ฅ − ๐ฟ < ๐ฅ < ๐ฅ + ๐ฟ < ๐. Now if ๐ฅ − ๐ฟ < ๐ก < ๐ฅ then, ๐(๐ก)−๐(๐ฅ) ๐ก−๐ฅ ≥ 0. Taking limits at ๐ก → ๐ฅ we get ๐ ′ (๐ฅ) ≥ 0 --------------------------------------------------(1) If ๐ฅ < ๐ก < ๐ฅ + ๐ฟ then, ๐(๐ก)−๐(๐ฅ) ๐ก−๐ฅ ≤ 0. Again, taking limits as ๐ก → ๐ฅ we get ๐ ′ (๐ฅ) ≤ 0 --------------------------------------------------(2) 53 REAL ANALYSIS 1 Issa Ndungo Combining (1) and (2) we get that ๐ ′ (๐ฅ) = 0 . โ 6.4 Generalization of Mean Value theorem (MVT) Theorem 6.4 If ๐ and ๐ are continuous real valued functions on closed interval [๐, ๐], then there is a point ๐ฅ ∈ (๐, ๐) at which [๐(๐) − ๐(๐)]๐′ (๐ฅ)] = [๐(๐) − ๐(๐)]๐ ′ (๐ฅ). Theorem 6.5 (Lagrange’s MTV) Let ๐ be (i) Continuous at [๐, ๐] (ii) Differentiable on [๐, ๐] Then ∃ a point ๐ฅ ∈ (๐, ๐) such that ๐(๐)−๐(๐) ๐−๐ = ๐′(๐ฅ) 6.5 L’hospital rule Theorem 6.6 ๐(๐ก) ๐ ′ (๐ฅ) Suppose ๐′(๐ฅ) and ๐′(๐ฅ) exist ๐′ (๐ฅ) ≠ 0 and ๐(๐ฅ) = ๐(๐ฅ) = 0. Then lim ๐(๐ก) = ๐′ (๐ฅ) ๐ก→๐ฅ Proof ๐(๐ก) ๐(๐ก) − 0 ๐(๐ก) − ๐(๐ฅ) lim = lim = lim ๐ก→๐ฅ ๐(๐ก) ๐ก→๐ฅ ๐(๐ก) − 0 ๐ก→๐ฅ ๐(๐ก) − ๐(๐ฅ) = lim ๐ก→๐ฅ ๐(๐ก)−๐(๐ฅ) ๐ก−๐ฅ ๐ก−๐ฅ . ๐(๐ก)−๐(๐ฅ) = lim = ๐(๐ก)−๐(๐ฅ) ๐ก−๐ฅ ๐ก→๐ฅ ′ (๐ฅ). 1 ๐ ๐′(๐ฅ) . lim 1 ๐(๐ก)−๐(๐ฅ) ๐ก→๐ฅ ๐ก−๐ฅ ๐ ′ (๐ฅ) = ๐′ (๐ฅ) โ Exercise 6.1 1. Prove the Lagrange’s Mean value theorem 2. Let ๐ be defined for all real numbers ๐ฅ and suppose that |๐(๐ฅ) − ๐(๐ฆ)| ≤ |๐ฅ − ๐ฆ|2 ∀ ๐ฅ, ๐ฆ ∈ โ. Prove that ๐ is constant. 3. If ๐ ′ (๐ฅ) > 0 in (๐, ๐) then prove that ๐ is strictly increasing in (๐, ๐) and let ๐ be its inverse 1 function, prove that the function ๐ is differentiable and that ๐′ (๐(๐ฅ)) = ๐(๐ฅ), ๐ < ๐ฅ < ๐. 4. Suppose ๐ is defined and differentiable for every ๐ฅ > 0 and ๐(๐ฅ) → 0 as ๐ฅ → +∞, put ๐(๐ฅ) = ๐(๐ฅ + 1) − ๐(๐ฅ). Prove that ๐(๐ฅ) → ๐ as ๐ฅ → +∞. 5. If ๐(๐ฅ) = |๐ฅ 3 |, then compute ๐ ′ (๐ฅ), ๐"(๐ฅ), ๐′′′(๐ฅ) and show that ๐′′′(0) does not exist. 6. Suppose ๐ is defined in the neighborhood of a point ๐ฅ and ๐′(๐ฅ) exist. Use Lagrange’s ๐(๐ฅ+โ)+๐(๐ฅ−โ)−2๐(๐ฅ) mean value theorem to show that lim = ๐"(๐ฅ) 2 โ โ→0 End Congratulation upon finishing this course unit. As you prepare to take your examination, I wish you the very best. 54 REAL ANALYSIS 1 Issa Ndungo References 1. Gelbaum, B.R. (1992). Problems in Real and Complex Analysis, Springer-Verlag, New York. 2. Hart, F. M. (1987), A Guide to Analysis, The Macmillan Press Ltd, New York. 3. Kolmogorov, A.N. and Formin, S.V. (1975). Introductory Real Analysis, Dover Publications, Inc., New York. 4. Rudin, W. (1987). Real and Complex Analysis, McGraw-Hill Book Company, New York. 5. Shilov, G.E. (1996). Elementary Real and Complex Analysis, Dover Publications, Inc., New York. 6. Edwards, C.H. (1994). Advanced Calculus of Several Variables, Dover Publications, Inc., New York 7. Marsden, J.E. and Hoffman, M.J. (1993). Elementary Classical Analysis, 2nd ed., W.H. Freeman and Company, New York 8. Marsden, J.E. and Tromba A.J. (2003). Vector Calculus, 5th ed., W.H. Freeman and Company, New York. 9. Larson. E. (2010). Calculus (9th Ed). Cengage Learning. 55 View publication stats