MATH 13100 Lecture Notes - Lecture 4: Formal Proof
MATH 131
Delta/epsilon proofs: part II
Epsilon/Delta Definition of limits
if for every , there exists a (depending on epsilon) such that (x)lim
x→cf=Lε > 0 δ > 0 f(x)
|−L|< ε
provided , that is, 0 < x
|−c|< δ .0 < x
|−c|< δ ⇒f(x)
|−L|< ε
Epsilon/Delta Definition of One-sided limits
: given , there is a . (x)lim
x→cf=Lε > 0 δ > 0 .0 < x
|−c|< δ ⇒f(x)
|−L|< ε
c<x<c+d
OR
c-d<x<c → L-E<f(x)<L+E
One-sided limits, depending on the side
Right hand: means that (x)lim
x→c+f=L0 < x−c< δ ⇒f(x)
|−L|< ε
Left hand: means that (x)lim
x→c+f=L c − δ < x<c⇒f(x)
|−L|< ε
Helpful Diagram:
Document Summary
0 < x| c| < (cid:303) f(x) L| < (cid:304) (cid:303) > 0 f (x) f (x) Epsilon/delta definition of one-sided limits lim x c c 0 (x) 0 < x c < (cid:303) f(x) L| < (cid:304) c (cid:303) < x < c f(x) In the following, k is a constant, n positive integer, f, g are functions such that lim x c f (x) and lim x c (x) g. Then: k = k lim x c x = c lim x c f(x) k. )(x) x c * g lim (f/g)(x) lim x c. [lim (x)][lim (x)] g f x c lim (x))/(lim (x) f x c x c g x c (x) 8. lim x c: lim x c g lim x c n n = ( (f(x)) lim (x)) x c.