0% found this document useful (0 votes)
28 views4 pages

MIT18 100BF10 Prac3solTyp

Uploaded by

rohitkyadav0999
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
28 views4 pages

MIT18 100BF10 Prac3solTyp

Uploaded by

rohitkyadav0999
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 4

18.

100B Fall 2010


Practice Quiz 3 Solutions

1.(a) R := f (x0 ) − g(x0 ) > 0


f, g continuous, so with � = R/2 find
•∃δf > 0 : f (Bδf (x0 )) ⊂ (f (x0 ) − R/2, f (x0 ) + R/2)
•∃δg > 0 : g(Bδg (x0 )) ⊂ (g(x0 ) − R/2, g(x0 ) + R/2)
Take r = min{δ �f , δg } > 0, then �
f (y) > f (x0 ) − R/2
y ∈ Br (x0 ) ⇒ ⇒ f (y) − g(y) > R − R/2 − R/2 = 0.
g(y) < g(x0 ) + R/2

(b) To show: s continuous at any x0 ∈ X


3 cases:
1) f (x0 ) > g(x0 ) : By (a), s(x) = f (x) on Br (x0 ) for some r > 0
f continuous ⇒ s continuous at x0
2) f (x0 ) < g(x0 ) : By (a), s(x) = g(x) on Br (x0 ) for some r > 0
g continuous ⇒ s continuous at x0
3) f (x0 ) = g(x0 ) : Given � > 0, find δf , δg > 0 and δ = min{δf , δg } > 0
d(y, x0 ) < δ ⇒ s(Bδ (x0 )) ⊂ (f (Bδ (x0 )) ∪ g(Bδ (x0 ))) ⊂ (s(x0 ) − �, s(x0 ) + �)

(c) No � �
f (x) = x x; x ≤ 0
s(x) =
g(x) = 0 0; x > 0
s is not differentiable at x0 = 0 because
s(t) − s(0) 0

lim = lim+ = lim+ 0 = 0 ⎪ ⎪
t→0+ t−0 t→0 t t→0

⎬ s(t) − s(0)
⇒ lim does not exist.
s(t) − s(0) t ⎪
⎪ t→0 t−0
lim− = lim = lim 1 = 1


t→0 t−0 t→0 t t→0

2. Suppose by contradiction f (U ) = A ∪ B is separated:


A¯ ∩ B = ∅, A ∩ B ¯ = ∅, A =
� ∅, B =� ∅
−1
Then U ⊂ f (f (U )) and hence
U = f −1 (A ∪ B) ∩ U = (f −1 (A) ∪ f −1 (B)) ∩ U = A� ∪ B �
with A� = f −1 (A) ∩ U, B � = f −1 (B) ∩ U .
Claim: U = A� ∪ B � is separated in contradiction to assumption
Proof:
•∃a ∈ A ⇒ ∃a� ∈ U : f (a� ) = a ∈ A ⇒ ∃a� ∈ f −1 (A) ∩ U = A� ⇒ A� �= ∅
• Similarly B � =� ∅
• if x ∈ Ā� ∩ B � then x ∈ U, f (x) ∈ B, and ∃(x� n )n∈N ⊂ U : f (xn ) ∈ A, xn → x
by continuity of f, f (xn ) → f (x) ∈ B
contradiction to Ā ∩ B = ∅
by f (xn ) ∈ A, f (x) = lim f (xn ) ∈ Ā
⇒ A¯� ∩ B � = ∅
• Similarly A� ∩ B̄ � = ∅
(or as in Rudin 4.22)

1
3.(a) f : [a, b] → R continuous, differentiable on (a, b)
f (b) − f (a)
⇒ ∃x ∈ (a, b) : = f � (x)
b−a
(b)
Pick 0 < � < M1 .
To check that f is injective, suppose by contradiction that f (a) = f (b) for some a < b.
By the mean value theorem, there exists x ∈ (a, b) s.t.
f (b) − f (a)
0= = f � (x) = 1 + �g � (x) ≥ 1 − �M > 0
b−a
⇒ 0 > 0 ⇒⇐

(c)
By the mean value theorem,
∀t > 0 ∃xt ∈ (0, t) : f (t) − f (0)
= f � (xt )
∀t < 0 ∃xt ∈ (t, 0) : t−0
f (tn ) − f (0)
Consider tn → 0, then = f � (xtn )
tn − 0
where 0 < |xtn | < |tn |, hence xtn → 0, and so by assumption (lim f � (x) = A),
x→0
f (tn ) − f (0)
= f � (xtn ) → A.
tn − 0
f (t) − f (0)
This shows lim = A, as claimed.
t→0 t−0
4.(a) TRUE
By the intermediate value theorem, ∀R ∈ R ∃a < 0, b > 0 : f (a) > R, f (b) < R
⇒ ∃a < y < b : f (y) = R

(b) TRUE
(Above ⇒ uniformly continuous): Given �, pick N > �−1 , which provides R > 0, then
take δ ∈ (0, R−1 )
(Uniformly continuous ⇒ above): Given N, let � = 1/N, which provides δ > 0, then take
R > δ −1
Uniformly continuous: ∀� > 0 ∃δ > 0 : ∀yf (Bδ (y)) ⊂ B� (f (y))

(c) TRUE
g(t) − g(0) tf (t)
lim = lim = lim f (t) = f (0) exists
t→0 t−0 t→0 t t→0

(d) TRUE
d(f (x), f (y)) = |f (x) − f (y)|
= |f � (z)(x − y)| for some z ∈ R
≤ Cd(x, y)

So for � > 0 take δ = .
C

2
(e) FALSE
Idea: f can vary little with large f � by fast oscillation.
1
f (x) = 2 · sin x4 is differentiable and uniformly continuous: Given � > 0
x +1
• Find R > 0 s.t. ∀|x| > R, |f (x)| < 2�
• Find δ > 0 from continuity on [−R, R]
3x3 sin x4 (x2 + 1) − sin x4 · 2x
but f � (x) =
(x2 + 1)2
so for xn = nπ + 2 → ∞ get f � (xn ) → ∞
π

4

3
MIT OpenCourseWare
http://ocw.mit.edu

18.100B Analysis I
Fall 2010

For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.

You might also like