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.

Claim that 1 sup A. Suppose NOT, thatis,a 1. <strong>The</strong>n we have<br />

a fa f1 1.<br />

Since a sup A, consider x a, fa, then<br />

fx x<br />

which implies that<br />

fa a<br />

which contradicts to a fa. So, we know that sup A 1. Hence, we have proved that<br />

f1 1.<br />

Remark: <strong>The</strong> reader should keep the method in mind if we ask how to show that<br />

f1 1 directly. <strong>The</strong> set A is helpful to do this. Or equivalently, let f be strictly increasing<br />

on 0, 1 with f0 0. If f1 1, then there exists a point x 0, 1 such that fx x.<br />

6.6 If f is defined everywhere in R 1 , then f is said to be of bounded variation on<br />

, if f is of bounded variation on every finite interval and if there exists a positive<br />

number M such that V f a, b M for all compact interval a, b. <strong>The</strong> total variation of f on<br />

, is then defined to be the sup of all numbers V f a, b, a b , and<br />

denoted by V f , . Similar definitions apply to half open infinite intervals a, and<br />

, b.<br />

(a) State and prove theorems for the inifnite interval , analogous to the<br />

<strong>The</strong>orems 6.7, 6.9, 6.10, 6.11, and 6.12.<br />

(<strong>The</strong>orem 6.7*) Letf : R R be of bounded variaton, then f is bounded on R.<br />

Proof: Given any x R, then x 0, a or x a,0. Ifx 0, a, then f is bounded<br />

on 0, a with<br />

|fx| |f0| V f 0, a |f0| V f , .<br />

Similarly for x a,0.<br />

(<strong>The</strong>orem 6.9*) Assume that f, andg be of bounded variaton on R, thensoarethier<br />

sum, difference, and product. Also, we have<br />

V fg , V f , V g , <br />

and<br />

V fg , AV f , BV g , ,<br />

where A sup xR |gx| and B sup xR |fx|.<br />

Proof: For sum and difference, given any compact interval a, b, wehave<br />

V fg a, b V f a, b V g a, b,<br />

V f , V g , <br />

which implies that<br />

V fg , V f , V g , .<br />

For product, given any compact interval a, b, wehave(letAa, b sup xa,b |gx|,<br />

and Ba, b sup xa,b |fx|),<br />

V fg a, b Aa, bV f a, b Ba, bV g a, b<br />

AV f , BV g , <br />

which implies that

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

Saved successfully!

Ooh no, something went wrong!