MIT18 100BF10 Pset7sol
MIT18 100BF10 Pset7sol
So for any k ∈ N, we have s2k − s2k−2 = (−1)2k−1 a2k−1 + (−1)2k a2k = a2k − a2k−1 ≤ 0 by the
monotonicity of an . Therefore s2k ≤ s2k−2 , so s2k is decreasing. Similarly, s2k−1 is increasing.
Also, s2k − s2k−1 = (−1)2k a2k = a2k > 0, so s2k > s2k−1 . These combine to give s2k−1 < s2k� for
any k, k � = 0, 1, 2, ..., since choosing N > max{k, k � }, we have
So s2k and s2k−1 are both monotonic and bounded, so they each converge. However, s2k −s2k−1 =
a2k −→ 0, so they must converge to the same limit. Therefore sn converges, so the sum is
convergent.
f= q q
⎩0 if x �∈ Q.
p 1
First we show f is discontinuous at every rational. For r = ∈ Q (in lowest terms), let ε = .
q 2q
1 1 1
Then for any δ > 0, ∃x ∈ � Q with r < x < r + δ, so |f (r) − f (x)| = | − 0| = > = ε. This
q q 2q
proves discontinuity at r.
Now we want to show continuity at irrationals, so let x �∈ Q, 0 < x < 1. Given ε > 0, we
need to find a δ > 0 such that for every y with |x − y| < δ, |f (x) − f (y)| < ε. Since f (x) = 0
1
and f (y) ≥ 0, we need f (y) < ε. But ε > 0 means we can find N ∈ N with < ε. So
N
|f (y)| > ε means y, when written in lowest terms, has denominator smaller than N . But there
are only finitely many fractions with denominator less than N between 0 and 1, so for some
M , {yi }M
i=1 = {y ∈ (0, 1)|f (y) > ε}. So we let δ = min |x − yi |, which exists and is greater
1≤i≤M
than 0 since there are only finitely many yi . Then if y ∈ (0, 1) is such that |x − y| < δ, y =
� yi
∀i ∈ {1, 2, ..., M }, so f (y) < ε. Therefore f is continuous at x.
6) We have defined
dE (x) = inf d(x, z),
z∈E
and we want to show that
|dE (x) − dE (y)| ≤ d(x, y).
So fix ε > 0. Then ∃z0 ∈ E with d(x, z) < dE (x) + ε. Then d(y, z) ≤ d(x, z) + d(x, y) <
dE (x) + ε + d(x, y) by the triangle inequality. Therefore,
dE (y) = inf d(y, z) ≤ dE (x) + ε + d(x, y) =⇒ dE (y) − dE (x) ≤ d(x, y) + ε
z∈E
for any ε > 0. So dE (y) − dE (x) ≤ d(x, y). By symmetry, dE (x) − dE (y) ≤ d(x, y), so
|dE (x) − dE (y)| ≤ d(x, y).
Uniform continuity follows immediately by letting δ = ε.
18.100B Analysis I
Fall 2010
For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.