Uploaded by Bryan Lam

BasicRealAnalysis

advertisement
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
Download