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.

Note: In remark 2, we CANNOT use the relation<br />

fx gx<br />

since the difference "" are not necessarily defined on the metric space T, d 2 .<br />

4.23 Given a function f : R R, define two sets A and B in R 2 as follows:<br />

A x, y : y fx,<br />

B x, y : y fx.<br />

and Prove that f is continuous on R if, and only if, both A and B are open subsets of R 2 .<br />

Proof: () Suppose that f is continuous on R. Leta, b A, then fa b. Sincef is<br />

continuous at a, thengiven fab 0, there exists a 0 such that as<br />

2<br />

|x a| , wehave<br />

fa b<br />

fa fx fa . *<br />

2<br />

Consider x, y Ba, b; , then |x a| 2 |y b| 2 2 which implies that<br />

1. |x a| fx fa b by (*) and<br />

2<br />

2. |y b| y b b fa b .<br />

2<br />

Hence, we have fx y. Thatis,Ba, b; A. So,A is open since every point of A is<br />

interior. Similarly for B.<br />

() Suppose that A and B are open in R 2 . Trivially, a, fa /2 : p 1 A, and<br />

a, fa /2 : p 2 B. SinceA and B are open in R 2 , there exists a /2 0 such<br />

that<br />

Bp 1 , A and Bp 2 , B.<br />

Hence, if x, y Bp 1 , , then<br />

x a 2 y fa /2 2 2 and y fx.<br />

So, it implies that<br />

|x a| , |y fa /2| , andy fx.<br />

Hence, as |x a| , wehave<br />

y fa /2<br />

fa /2 y fx<br />

fa y fx<br />

fa fx. **<br />

<strong>And</strong> if x, y Bp 2 , , then<br />

x a 2 y fa /2 2 2 and y fx.<br />

So, it implies that<br />

|x a| , |y fa /2| , andy fx.<br />

Hence, as |x a| , wehave<br />

fx y fa /2 fa . ***<br />

So, given 0, there exists a 0 such that as |x a| , we have by (**) and (***)<br />

fa fx fa .<br />

That is, f is continuous at a. Sincea is arbitrary, we know that f is continuous on R.<br />

4.24 Let f be defined and bounded on a compact interval S in R. IfT S, the

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

Saved successfully!

Ooh no, something went wrong!