06.01.2015 Views

The Real And Complex Number Systems

The Real And Complex Number Systems

The Real And Complex Number Systems

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

y continuity of f k(x0 ) (x) − f (x) . Hence, by (ii) as n > m<br />

∣<br />

∣f k(x0 )+n (x) − f (x) ∣ ∣ < ε if x ∈ B (x 0 ) ∩ S. (*)<br />

Note that S is compact and S = ∪ x∈S (B (x) ∩ S) , then S = ∪ p k=1 (B (x k) ∩ S) .<br />

So, let N = max p i=1 (k (x p) + m) , as n > N, we have<br />

|f n (x) − f (x)| < ε for all x ∈ S<br />

with help of (*). That is, f n → f uniformly on S.<br />

9.9 (a) Use Exercise 9.8 to prove the following theorem of Dini: If<br />

{f n } is a sequence of real-valued continuous functions converginf<br />

pointwise to a continuous limit function f on a compact set S, and<br />

if f n (x) ≥ f n+1 (x) for each x in S and every n = 1, 2, ..., then f n → f<br />

uniformly on S.<br />

Proof: By Exercise 9.8, in order to show that f n → f uniformly on S,<br />

it suffices to show that (ii) holds. Since f n (x) → f (x) and f n+1 (x) ≤ f n (x)<br />

on S, then fixed x ∈ S, and given ε > 0, there exists a positive integer<br />

N (x) = N such that as n ≥ N, we have<br />

0 ≤ f n (x) − f (x) < ε.<br />

Choose m = 1 and δ = ε, then by f n+1 (x) ≤ f n (x) , then (ii) holds. We<br />

complete it.<br />

Remark: (1) Dini’s <strong>The</strong>orem is important in Analysis; we suggest the<br />

reader to keep it in mind.<br />

(2) <strong>The</strong>re is another proof by using Cantor Intersection <strong>The</strong>orem.<br />

We give it as follows.<br />

Proof: Let g n = f n − f, then g n is continuous on S, g n → 0 pointwise on<br />

S, and g n (x) ≥ g n+1 (x) on S. If we can show g n → 0 uniformly on S, then<br />

we have proved that f n → f uniformly on S.<br />

Given ε > 0, and consider S n := {x : g n (x) ≥ ε} . Since each g n (x) is<br />

continuous on a compact set S, we obtain that S n is compact. In addition,<br />

S n+1 ⊆ S n since g n (x) ≥ g n+1 (x) on S. <strong>The</strong>n<br />

∩S n ≠ φ (*)<br />

9

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!