Professional Documents
Culture Documents
Continuity PDF
Continuity PDF
Mathematics 53
1 Continuity of Functions
2 Continuity on an Interval
Definition
A function f ( x ) is said to be continuous at x = a if the following conditions are all
satisfied:
1 f is defined at x = a
2 lim f ( x ) exists
x→a
3 f ( a) = lim f ( x )
x→a
Otherwise, f is said to be discontinuous at x = a.
4 f ( x ) = 3x − 1
0 1 2
−1
f ( x ) = 3x − 1 is continuous at x = 1.
3x2 − 4x + 1
4 g( x ) =
x−1
3
0 1 2 3
−1
3x2 − 4x + 1
g( x ) = is discontinuous at x = 1 since g(1) is undefined.
x−1
3
1
h( x ) = 2
x
1
−3 −2 −1 0 1 2 3
−1
−2
−3
1
h( x ) = is discontinuous at x = 0 since h(0) is undefined. Moreover, lim h( x )
x x →0
does not exist.
−3 −2 −1 0 1 2 3
−1
Let f ( x ) = x3 + x2 − 2.
f (1) = 0
Also, lim f ( x ) = f (1) = 0.
x →1
Therefore, f is continuous at x = 1.
In fact, for any a ∈ R, xlim
→a
f ( x ) = f ( a), so f is continuous at every real
number.
x2 − x − 2
Let f ( x ) = .
x−2
1 f is discontinuous at x = 2. (why?)
2 Let a ∈ R \ {2}
f ( a) is defined since a ∈ dom f .
From a previous theorem,
lim f ( x ) = f ( a)
x→a
Therefore, f is continuous at any a ∈ R \ {2}.
2
x − x − 2,
x 6= 2
Let g( x ) = x−2
0, x=2
g (2) = 0
x2 − x − 2
lim g( x ) = lim = lim ( x + 1) = 3
x →2 x →2 x−2 x →2
lim g( x ) = 3 6= 0 = g(2)
x →2
Therefore, g is discontinuous at x = 2.
2
x − x − 2,
x 6= 2
Let h( x ) = x−2
3, x=2
h (2) = 3
x2 − x − 2
lim h( x ) = lim = lim ( x + 1) = 3
x →2 x →2 x−2 x →2
lim h( x ) = 3 = h(2)
x →2
Therefore, h is continuous at x = 2.
Definition
1 If lim f ( x ) exists but either f ( a) is undefined or f ( a) 6= lim f ( x ), then we say
x→a x→a
that f has a removable discontinuity at x = a.
2 If lim f ( x ) does not exist, then we say that f has an essential discontinuity
x→a
at x = a. Moreover,
1 if lim f ( x ) and lim f ( x ) both exist but are not equal, then f is said to have a
x → a− x → a+
jump essential discontinuity at x = a.
2 if lim f ( x ) = +∞ or −∞ or lim f ( x ) = +∞ or −∞, then f is said to have an
x → a− x → a+
infinite essential discontinuity at x = a.
4 f ( x ) = 3x − 1
0 1 2
−1
f ( x ) = 3x − 1 is continuous at x = 1.
3x2 − 4x + 1
4 g( x ) =
x−1
3
0 1 2 3
−1
3
1
f (x) = 2
x
1
−3 −2 −1 0 1 2 3
−1
−2
−3
1
h( x ) = has an infinite essential discontinuity at x = 0.
x
−3 −2 −1 0 1 2 3
−1
Remark
Removable discontinuity: discontinuity can be removed by redefining the value of
f at a so that f ( a) = lim f ( x )
x→a
3x2 − 4x + 1
Recall: g( x ) = has a removable discontinuity at x = 1.
x−1
3x2 − 4x + 1
4 g( x ) =
x−1
3
0 1 2 3
−1
Remark
Removable discontinuity: discontinuity can be removed by redefining the value of
f at a so that f ( a) = lim f ( x )
x→a
4 2
3x − 4x + 1 ,
x 6= 1
3 G(x) = x−1
2, x=1
2
0 1 2 3
−1
At x = 1
1−2
1 f (1) = =1
2(1)2 − 5(1) + 2
2 lim f ( x ) = lim (4x − 3) = 4(1) − 3 = 1
x → 1− x → 1−
x−2
3 lim f ( x ) = lim =1
x → 1+ x → 1+ 2x2 − 5x + 2
At x = 2
1 f (2): undefined
x−2 1 1
2 lim f ( x ) = lim = lim =
x →2 x →2 ( x − 2)(2x − 1) x→2 2x − 1 3
−1 1 2 3
−1
−2
−3
−4
or simply:
f ( x ),
x 6= 2
F(x) =
1,
x=2
3
f ( a) = lim f ( x ) [ f ( a) = lim f ( x )]
x → a− x → a+
3
2
1
−4 −3 −2 −1 0 1 2 3 4
−1
−2
−4 −3 −2 −1 0 1 2 3 4
−1
−2
Definition
A function f is said to be continuous
1 everywhere if f is continuous at every real number
2 on ( a, b) if f is continuous at every point in ( a, b)
3 on [ a, b) if f is continuous on ( a, b) and from the right of a
4 on ( a, ∞) if f is continuous at every x > a
5 on [ a, ∞) if f is continuous on ( a, ∞) and from the right of a
x−2
Evaluate: lim 2
x →2 x − 4
Solution:
x−2 1 1
lim = lim =
x →2 x 2 − 4 x →2 x + 2 4
The absolute value function is continuous everywhere.
√
Determine the largest interval for which h( x ) = x2 − 1 is continuous.
Verify: h is cont. from the left at x = −1 and cont. from the right at x = 1
x−2
, x≤1
2x + 6
f (x) =
2x2 + x − 6
, x>1
|2x − 3|
Note:
3
(
2x − 3, 2x − 3 ≥ 0 ⇔x≥ 2
|2x − 3| =
3
−(2x − 3), 2x − 3 < 0 ⇔x< 2
x−2
, x≤1
2x + 6
f (x) =
2x2 + x − 6
, x>1
|2x − 3|
3
f is undefined: x = −3 and x = 2
Endpoints of intervals: x = 1 (and x = 32 )
Everywhere else, f is a rational function and therefore continuous.
x−2
, x≤1
2x + 6
f (x) =
2x2 + x − 6
, x>1
|2x − 3|
At x = −3
1 f (−3) is undefined
x − 2 ( 0−−5 )
2 lim f ( x ) = lim = +∞
x →−3− x →−3− 2x + 6
x − 2 ( 0−+5 )
3 lim f ( x ) = lim = −∞
x →−3+ x →−3+ 2x + 6
Thus, f has an infinite essential discontinuity at x = −3.
x−2
, x≤1
2x + 6
f (x) =
2x2 + x − 6
, x>1
|2x − 3|
At x = 32
3
1 f 2 is undefined
x−2
, x≤1
2x + 6
f (x) =
2x2 + x − 6
, x>1
|2x − 3|
At x = 1
1−2 1
1 f (1) = =−
2(1) + 6 8
x−2 1
2 lim f ( x ) = lim =−
x → 1− x → 1− 2x + 6 8
2x2 + x − 6 2x2 + x − 6
3 lim f ( x ) = lim = = −3
x → 1+ x → 1+ |2x − 3| −(2x − 3)
Thus, f has a jump essential discontinuity at x = 1.
(But g is continuous from the left at x = 1.)
Institute of Mathematics (UP Diliman) Continuity of Functions Mathematics 53 44 / 51
Example
−7 −6 −5 −4 −3 −2 −1 1 2 3 4
−1
−2
−3
−4
−5
−6
1 1
2
+ , x<0
x − x
x
g( x ) = [[ x − 1 ]] , 0≤x≤2
√
x − 2, x>2
Note:
−1, 0 ≤ x < 1
[[ x − 1]] = 0, 1≤x<2
1, x=2
1 1
2−x
+ , x<0
x x
g( x ) = [[ x − 1]], 0≤x≤2
√
x − 2, x>2
At x = 0
1 g (0) = [[0 − 1]] = −1
1+x−1
1 1 1
2 lim g( x ) = lim + = lim− = lim− = −1
x → 0− x → 0− x 2 − x x x →0 x ( x − 1) x →0 x − 1
1 1
2
+ , x<0
x − x
x
g( x ) = [[ x − 1 ]] , 0≤x≤2
√
x − 2, x>2
At x = 2
1 g (2) = [[2 − 1]] = 1
2 lim g( x ) = lim [[ x − 1]] = lim 0 = 0
x → 2− x → 2− x → 2−
√ √
3 lim g( x ) = lim x−2 = 0 ( 0+ )
x → 2+ x → 2+
Therefore, g has a removable discontinuity at x = 2.
1 1
2−x
+ , x<0
x x
g( x ) = [[ x − 1]], 0≤x≤2
√
x − 2, x>2
At x = 1
1 g (1) = [[1 − 1]] = 0
2 lim g( x ) = lim [[ x − 1]] = lim −1 = −1
x → 1− x → 1− x → 1−
3 lim g( x ) = lim [[ x − 1]] = lim 0 = 0
x → 1+ x → 1+ x → 1+
Thus, g has a jump essential discontinuity at x = 1.
(But g is continuous from the right at x = 1.)
−4 −3 −2 −1 1 2 3 4 5 6
−1
−2
−3
Given:
2+x if x < −1
f ( x ) = [[ x − 1]] if − 1 ≤ x < 1
x2 − 4x
if x ≥ 1
4−x
1 Find all the possible points of discontinuity of f .
2 Discuss the continuity of f at the points obtained in item 1.
3 Is f continuous on the interval [0, 2]? Justify your answer.