of 117
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
1/117
Formal Definition of a Limit
Mathematics 53
Institute of Mathematics (UP Diliman)
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 1 / 19
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
2/117
For today
1 The Formal Definition
2 Proving using the Definition
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 2 / 19
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
3/117
For today
1 The Formal Definition
2 Proving using the Definition
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 3 / 19
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
4/117
Recall:
Intuitive Notion of a Limit
limxa
f(x) = L f(x) gets closer and closer to L as x gets closer and
closer to a (but does not reach a)
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 4 / 19
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
5/117
Recall:
Intuitive Notion of a Limit
limxa
f(x) = L f(x) gets closer and closer to L as x gets closer and
closer to a (but does not reach a)
Alternatively,
Intuitive Notion of a Limit
limxa
f(x) = L we could let f(x) be as close as we would like to L by taking
values of x sufficiently close but not equal to a
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 4 / 19
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
6/117
Recall: If r, s R , then |r s| = distance between the points on the number line
representing r and s.
|r s|
rs
|r s|
sr
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 5 / 19
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
7/117
The Formal Definition
Definition
Let f be a function defined on
some open interval containing a
except possibly at a. The limit
of f(x) as x approaches a is L,
written
limxa
f(x) = L
a
L
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 6 / 19
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
8/117
The Formal Definition
Definition
Let f be a function defined on
some open interval containing a
except possibly at a. The limit
of f(x) as x approaches a is L,
written
limxa
f(x) = L
if for every > 0 (no matter how
small)a
L
(
)
L+
L
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 6 / 19
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
9/117
The Formal Definition
Definition
Let f be a function defined on
some open interval containing a
except possibly at a. The limit
of f(x) as x approaches a is L,
written
limxa
f(x) = L
if for every > 0 (no matter how
small) there exists a > 0a
L
(
a a+
)
(
)
L+
L
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 6 / 19
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
10/117
The Formal Definition
Definition
Let f be a function defined on
some open interval containing a
except possibly at a. The limit
of f(x) as x approaches a is L,
written
limxa
f(x) = L
if for every > 0 (no matter how
small) there exists a > 0
such that if 0 < |x a| < ,
then |f(x) L| < .
a
L
(
a a+
)
(
)
L+
L
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 6 / 19
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
11/117
The Formal Definition
Definition
Let f be a function defined on
some open interval containing a
except possibly at a. The limit
of f(x) as x approaches a is L,
written
limxa
f(x) = L
if for every > 0 (no matter how
small) there exists a > 0
such that if 0 < |x a| < ,
then |f(x) L| < .
a
L
(
a a+
)
(
)
L+
L
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 6 / 19
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
12/117
The Formal Definition
Definition
Let f be a function defined on
some open interval containing a
except possibly at a. The limit
of f(x) as x approaches a is L,
written
limxa
f(x) = L
if for every > 0 (no matter how
small) there exists a > 0
such that if 0 < |x a| < ,
then |f(x) L| < .
a
L
(
a a+
)
(
)
L+
L
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 6 / 19
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
13/117
The Formal Definition
Definition
Let f be a function defined on
some open interval containing a
except possibly at a. The limit
of f(x) as x approaches a is L,
written
limxa
f(x) = L
if for every > 0 (no matter how
small) there exists a > 0
such that if 0 < |x a| < ,
then |f(x) L| < .
a
L
(
a a+
)
(
)
L+
L
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 6 / 19
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
14/117
The Formal Definition
Definition
Let f be a function defined on
some open interval containing a
except possibly at a. The limit
of f(x) as x approaches a is L,written
limxa
f(x) = L
if for every > 0 (no matter how
small) there exists a > 0
such that if 0 < |x a| < ,
then |f(x) L| < .
a
L
(
a a+
)
(
)
L+
L
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 6 / 19
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
15/117
The Formal Definition
Definition
Let f be a function defined on
some open interval containing a
except possibly at a. The limit
of f(x) as x approaches a is L,written
limxa
f(x) = L
if for every > 0 (no matter how
small) there exists a > 0
such that if 0 < |x a| < ,
then |f(x) L| < .
a
L
(
a a+
)
(
)
L+
L
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 6 / 19
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
16/117
The Formal Definition
Definition
Let f be a function defined on
some open interval containing a
except possibly at a. The limit
of f(x) as x approaches a is L,written
limxa
f(x) = L
if for every > 0 (no matter how
small) there exists a > 0
such that if 0 < |x a| < ,
then |f(x) L| < .
a
L
(
a a+
)
(
)
L+
L
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 6 / 19
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
17/117
The Formal Definition
Definition
Let f be a function defined on
some open interval containing a
except possibly at a. The limit
of f(x) as x approaches a is L,written
limxa
f(x) = L
if for every > 0 (no matter how
small) there exists a > 0
such that if 0 < |x a| < ,
then |f(x) L| < .
a
L
(
a a+
)
(
)
L+
L
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 6 / 19
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
18/117
The Formal Definition
Definition
Let f be a function defined on
some open interval containing a
except possibly at a. The limit
of f(x) as x approaches a is L,written
limxa
f(x) = L
if for every > 0 (no matter how
small) there exists a > 0
such that if 0 < |x a| < ,
then |f(x) L| < .
a
L
(
a a+
)
(
)
L+
L
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 6 / 19
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
19/117
The Formal Definition
a
L
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 7 / 19
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
20/117
The Formal Definition
a
L
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 7 / 19
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
21/117
The Formal Definition
a
L
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 7 / 19
fi
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
22/117
The Formal Definition
a
L
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 7 / 19
Th F l D fi i i
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
23/117
The Formal Definition
a
L
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 7 / 19
Th F l D fi iti
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
24/117
The Formal Definition
a
L
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 7 / 19
Th F l D fi iti
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
25/117
The Formal Definition
a
L
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 7 / 19
The Formal Definition
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
26/117
The Formal Definition
a
L
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 7 / 19
The Formal Definition
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
27/117
The Formal Definition
a
L
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 7 / 19
The Formal Definition
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
28/117
The Formal Definition
a
L
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 7 / 19
The Formal Definition
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
29/117
The Formal Definition
a
L
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 7 / 19
The Formal Definition
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
30/117
The Formal Definition
a
L
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 7 / 19
The Formal Definition
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
31/117
The Formal Definition
a
L?
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 8 / 19
The Formal Definition
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
32/117
The Formal Definition
a
L?
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 8 / 19
The Formal Definition
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
33/117
The Formal Definition
a
L?
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 8 / 19
The Formal Definition
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
34/117
The Formal Definition
a
L?
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 8 / 19
The Formal Definition
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
35/117
The Formal Definition
a
L?
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 8 / 19
The Formal Definition
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
36/117
The Formal Definition
a
L?
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 8 / 19
The Formal Definition
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
37/117
a
L?
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 8 / 19
The Formal Definition
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
38/117
a
L?
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 8 / 19
The Formal Definition
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
39/117
a
L?
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 8 / 19
The Formal Definition
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
40/117
a
L?
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 8 / 19
The Formal Definition
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
41/117
a
L?
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 9 / 19
The Formal Definition
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
42/117
a
L?
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 9 / 19
The Formal Definition
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
43/117
a
L?
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 9 / 19
The Formal Definition
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
44/117
a
L?
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 9 / 19
The Formal Definition
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
45/117
a
L?
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 9 / 19
The Formal Definition
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
46/117
a
L?
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 9 / 19
The Formal Definition
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
47/117
a
L?
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 9 / 19
The Formal Definition
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
48/117
a
L?
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 9 / 19
The Formal Definition
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
49/117
a
L?
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 9 / 19
The Formal Definition
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
50/117
a
L?
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 9 / 19
For today
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
51/117
1 The Formal Definition
2 Proving using the Definition
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 10 / 19
Proving using the Definition
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
52/117
Two steps in proving limits that limxa
f(x) = L using the definition:
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 11 / 19
Proving using the Definition
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
53/117
Two steps in proving limits that limxa
f(x) = L using the definition:
I. Choosing a suitable
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 11 / 19
Proving using the Definition
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
54/117
Two steps in proving limits that limxa
f(x) = L using the definition:
I. Choosing a suitable
II. Verifying that the chosen works.
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 11 / 19
Example
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
55/117
Prove that limx1(3x + 2) = 5.
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 12 / 19
Example
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
56/117
Prove that limx1(3x + 2) = 5.
Proof. Let > 0.
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 12 / 19
Example
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
57/117
Prove that limx1(3x + 2) = 5.
Proof. Let > 0.
I. GOAL: Find > 0 such that
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 12 / 19
Example
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
58/117
Prove thatlimx1(
3x +
2) =
5.
Proof. Let > 0.
I. GOAL: Find > 0 such that
if 0 < |x 1| < ,
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 12 / 19
Example
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
59/117
Prove thatlimx1(
3x +
2) =
5.
Proof. Let > 0.
I. GOAL: Find > 0 such that
if 0 < |x 1| < , then
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 12 / 19
Example
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
60/117
Prove thatlimx1(
3x +
2) =
5.
Proof. Let > 0.
I. GOAL: Find > 0 such that
if 0 < |x 1| < , then |(3x + 2) 5| <
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 12 / 19
Example
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
61/117
Prove that limx1(
3x +
2) =
5.
Proof. Let > 0.
I. GOAL: Find > 0 such that
if 0 < |x 1| < , then |(3x + 2) 5| <
|3x 3| <
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 12 / 19
Example
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
62/117
Prove that limx1(
3x +
2) =
5.
Proof. Let > 0.
I. GOAL: Find > 0 such that
if 0 < |x 1| < , then |(3x + 2) 5| <
|3x 3| <
3|x 1| <
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 12 / 19
Example
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
63/117
Prove that limx1(
3x +
2) =
5.
Proof. Let > 0.
I. GOAL: Find > 0 such that
if 0 < |x 1| < , then |(3x + 2) 5| <
|3x 3| <
3|x 1| <
|x 1| 0.
I. GOAL: Find > 0 such that
if 0 < |x 1| < , then |(3x + 2) 5| <
|3x 3| <
3|x 1| <
|x 1| 0, choose =
3.
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 13 / 19
Example
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
67/117
Prove that limx1(3x + 2) = 5.
II. Given > 0, choose =
3. Then, if
0 < |x 1| < ,
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 13 / 19
Example
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
68/117
Prove that limx1(3x + 2) = 5.
II. Given > 0, choose =
3. Then, if
0 < |x 1| < ,
we have
|(3x + 2) 5|
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 13 / 19
Example
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
69/117
Prove that limx1(3x + 2) = 5.
II. Given > 0, choose =
3. Then, if
0 < |x 1| < ,
we have
|(3x + 2) 5| = 3|x 1|
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 13 / 19
Example
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
70/117
Prove that limx1(3x + 2) = 5.
II. Given > 0, choose =
3. Then, if
0 < |x 1| 0, choose =
3. Then, if
0 0, choose =
3. Then, if
0 0, choose =
3. Then, if
0 0.
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 14 / 19
Example
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
76/117
Prove that limx2
(5x + 6) = 4.
Proof. Let > 0.
I. GOAL: Find > 0 such that
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 14 / 19
Example
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
77/117
Prove that limx2
(5x + 6) = 4.
Proof. Let > 0.
I. GOAL: Find > 0 such that
if 0 < |x (2)| < ,
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 14 / 19
Example
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
78/117
Prove that limx2
(5x + 6) = 4.
Proof. Let > 0.
I. GOAL: Find > 0 such that
if 0 < |x (2)| < , then
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 14 / 19
Example
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
79/117
Prove that limx2
(5x + 6) = 4.
Proof. Let > 0.
I. GOAL: Find > 0 such that
if 0 < |x (2)| < , then |(5x + 6) (4)| <
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 14 / 19
Example
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
80/117
Prove that limx2
(5x + 6) = 4.
Proof. Let > 0.
I. GOAL: Find > 0 such that
if 0 < |x (2)| < , then |(5x + 6) (4)| < |5x + 10| <
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 14 / 19
Example
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
81/117
Prove that limx2
(5x + 6) = 4.
Proof. Let > 0.
I. GOAL: Find > 0 such that
if 0 < |x (2)| < , then |(5x + 6) (4)| < |5x + 10| <
5|x + 2| <
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 14 / 19
Example
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
82/117
Prove that limx2
(5x + 6) = 4.
Proof. Let > 0.
I. GOAL: Find > 0 such that
if 0 < |x (2)| < , then |(5x + 6) (4)| < |5x + 10| <
5|x + 2| <
|x + 2| 0.
I. GOAL: Find > 0 such that
if 0 < |x (2)| < , then |(5x + 6) (4)| < |5x + 10| <
5|x + 2| <
|x + 2| 0, choose =
5.
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 15 / 19
Example
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
86/117
Prove that limx2(5x + 6) = 4.
II. Given > 0, choose =
5. Then if
0 < |x
(2)| < ,
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 15 / 19
Example
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
87/117
Prove that limx2(5x + 6) = 4.
II. Given > 0, choose =
5. Then if
0 < |x (2)| < ,
we have
|(5x + 6) (4)|
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 15 / 19
Example
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
88/117
Prove that limx2(5x + 6) = 4.
II. Given > 0, choose =
5. Then if
0 < |x (2)| < ,
we have
|(5x + 6) (4)| = 5|x + 2|
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 15 / 19
Example
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
89/117
Prove that limx2(5x + 6) = 4.
II. Given > 0, choose =
5. Then if
0 < |x (2)| < ,
we have
|(5x + 6) (4)| = 5|x + 2| < 5 =
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 15 / 19
Example
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
90/117
Prove that limx2(5x + 6) = 4.
II. Given > 0, choose =
5. Then if
0 < |x (2)| < ,
we have
|(5x + 6) (4)| = 5|x + 2| < 5 = 5
5
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 15 / 19
Example
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
91/117
Prove that limx2(5x + 6) = 4.
II. Given > 0, choose =
5. Then if
0 < |x (2)| < ,
we have
|(5x + 6) (4)| = 5|x + 2| < 5 = 5
5
= .
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 15 / 19
Example
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
92/117
Prove that limx2(5x + 6) = 4.
II. Given > 0, choose =
5. Then if
0 < |x (2)| < ,
we have
|(5x + 6) (4)| = 5|x + 2| < 5 = 5
5
= .
By definition, we have limx1
(5x + 6) = 4.
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 15 / 19
Example
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
93/117
Prove that lim
x0
(4 3x) = 4.
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 16 / 19
Example
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
94/117
Prove that lim
x0
(4 3x) = 4.
Proof. Let > 0.
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 16 / 19
Example
l ( )
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
95/117
Prove that lim
x0
(4 3x) = 4.
Proof. Let > 0.
I. GOAL: Find > 0 such that
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 16 / 19
Example
P h li (4 3 ) 4
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
96/117
Prove that lim
x0
(4 3x) = 4.
Proof. Let > 0.
I. GOAL: Find > 0 such that
if 0 0.
I. GOAL: Find > 0 such that
if 0 0.
I. GOAL: Find > 0 such that
if0 0.
I. GOAL: Find > 0 such that
if0 0.
I. GOAL: Find > 0 such that
if0 0.
I. GOAL: Find > 0 such that
if0 0 such that
if 0 0, choose =
3. So if
0 < |x 0| <
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 17 / 19
Example
Prove that lim(4 3x) = 4.
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
106/117
ax0
( 3 )
II. Given > 0, choose =
3. So if
0 < |x 0| <
then
|(4 3x) 4| =
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 17 / 19
Example
Prove that lim(4 3x) = 4.
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
107/117
x0( )
II. Given > 0, choose =
3. So if
0 < |x 0| <
then
|(4 3x) 4| = 3|x|
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 17 / 19
Example
Prove that lim0(4 3x) = 4.
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
108/117
x0( )
II. Given > 0, choose =
3. So if
0 < |x 0| <
then
|(4 3x) 4| = 3|x| < 3
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 17 / 19
Example
Prove that lim0(4 3x) = 4.
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
109/117
x0( )
II. Given > 0, choose =
3. So if
0 < |x 0| <
then
|(4 3x) 4| = 3|x| < 3 = 3
3
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 17 / 19
Example
Prove that lim0
(4 3x) = 4.
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
110/117
x0
II. Given > 0, choose =
3. So if
0 < |x 0| <
then
|(4 3x) 4| = 3|x| < 3 = 3
3
= .
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 17 / 19
Example
Prove that limx0
(4 3x) = 4.
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
111/117
x0
II. Given > 0, choose =
3. So if
0 < |x 0| <
then
|(4 3x) 4| = 3|x| < 3 = 3
3
= .
That is,
if 0 0, choose =
3. So if
0 < |x 0| <
then
|(4 3x) 4| = 3|x| < 3 = 3
3
= .
That is,
if 0 0 works such that
if 0 < |x a| < then |f(x) L| <
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 18 / 19
Remark
The value of is NOT unique!
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
115/117
If a given > 0 works such that
if 0 < |x a| < then |f(x) L| <
then any smaller 0 <
will also work
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 18 / 19
Remark
The value of is NOT unique!
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
116/117
If a given > 0 works such that
if 0 < |x a| < then |f(x) L| <
then any smaller 0 <
will also work since
if 0 < |x a| <
then
|f(x) L| < .
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 18 / 19
Announcements
7/27/2019 M53 Lec1.6 Formal Definition of a Limit
117/117
Reminder: First Exam is on 5 December 2012, Wednesday.
Math 53 Module for Units 2-3 is available (Php 40.00).
Copies of the Math 53 Module will be made available in the math library.
Institute of Mathematics (UP Diliman) Limits: Formally Mathematics 53 19 / 19