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.

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

(<strong>The</strong>orem 6.10*) Letf be of bounded variation on R, and assume that f is bounded<br />

away from zero; that is, suppose that there exists a positive number m such that<br />

0 m |fx| for all x R. <strong>The</strong>n g 1/f is also of bounded variation on R, and<br />

V g , V f, <br />

m 2 .<br />

Proof: Given any compacgt interval a, b, wehave<br />

which implies that<br />

V g a, b V fa, b<br />

m 2<br />

V f, <br />

m 2<br />

V g , V f, <br />

.<br />

m 2<br />

(<strong>The</strong>orem 6.11*) Letf be of bounded variation on R, and assume that c R. <strong>The</strong>n f is<br />

of bounded variation on , c and on c, and we have<br />

V f , V f , c V f c, .<br />

Proof: Given any a compact interval a, b such that c a, b. <strong>The</strong>n we have<br />

V f a, b V f a, c V f c, b.<br />

Since<br />

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

which implies that<br />

V f a, c V f , and V f c, b V f , ,<br />

we know that the existence of V f , c and V f c, . Thatis,f is of bounded variation on<br />

, c and on c, .<br />

Since<br />

V f a, c V f c, b V f a, b V f , <br />

which implies that<br />

V f , c V f c, V f , , *<br />

and<br />

V f a, b V f a, c V f c, b V f , c V f c, <br />

which implies that<br />

V f , V f , c V f c, , **<br />

we know that<br />

V f , V f , c V f c, .<br />

(<strong>The</strong>orem 6.12*) Letf be of bounded variation on R. LetVx be defined on , x as<br />

follows:<br />

Vx V f , x if x R, andV 0.<br />

<strong>The</strong>n (i) V is an increasing function on , and (ii) V f is an increasing function on<br />

, .<br />

Proof: (i)Letx y, then we have Vy Vx V f x, y 0. So, we know that V is<br />

an increasing function on , .<br />

(ii) Let x y, then we have V fy V fx V f x, y fy fx 0. So,

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

Saved successfully!

Ooh no, something went wrong!