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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

if each S n is non-empty by Cantor Intersection <strong>The</strong>orem. However (*)<br />

contradicts to g n → 0 pointwise on S. Hence, we know that there exists a<br />

positive integer N such that as n ≥ N,<br />

S n = φ.<br />

That is, given ε > 0, there exists a positive integer N such that as n ≥ N,<br />

we have<br />

|g n (x) − 0| < ε.<br />

So, g n → 0 uniformly on S.<br />

(b) Use he sequence in Exercise 9.5(a) to show that compactness of S is<br />

essential in Dini’s <strong>The</strong>orem.<br />

Proof: Let f n (x) = 1 , where x ∈ (0, 1) . <strong>The</strong>n it is clear that each<br />

1+nx<br />

f n (x) is continuous on (0, 1) , the limit function f (x) = 0 is continuous on<br />

(0, 1) , and f n+1 (x) ≤ f n (x) for all x ∈ (0, 1) . However, f n → f not uniformly<br />

on (0, 1) by Exercise 9.5 (a). Hence, compactness of S is essential in Dini’s<br />

<strong>The</strong>orem.<br />

9.10 Let f n (x) = n c x (1 − x 2 ) n for x real and n ≥ 1. Prove that {f n }<br />

converges pointwsie on [0, 1] for every real c. Determine those c for which the<br />

convergence is uniform on [0, 1] and those for which term-by-term integration<br />

on [0, 1] leads to a correct result.<br />

Proof: It is clear that f n (0) → 0 and f n (1) → 0. Consider x ∈ (0, 1) ,<br />

then |1 − x 2 | := r < 1, then<br />

lim f n (x) = lim n c r n x = 0 for any real c.<br />

n→∞ n→∞<br />

Hence, f n → 0 pointwise on [0, 1] .<br />

Consider<br />

f n ′ (x) = n ( c 1 − x 2) ( )<br />

n−1 1<br />

(2n − 1)<br />

2n − 1 − x2 ,<br />

then each f n has the absolute maximum at x n = 1 √ 2n−1<br />

.<br />

As c < 1/2, we obtain that<br />

|f n (x)| ≤ |f n (x n )|<br />

(<br />

n c<br />

= √ 1 − 1 ) n<br />

2n − 1 2n − 1<br />

[√ (<br />

= n c− 1 n<br />

2<br />

1 − 1 ) n ]<br />

2n − 1 2n − 1<br />

10<br />

→ 0 as n → ∞. (*)

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

Saved successfully!

Ooh no, something went wrong!