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.

Remark: In this exercise, it tells us that the converse of L-Hospital Rule is NOT<br />

necessary true. Here is a good exercise very like L-Hospital Rule, but it does not! We<br />

write it as follows.<br />

Suppose that f a and g a exist with g a 0, and fa ga 0. Prove that<br />

Proof: Consider<br />

lim xa<br />

fx<br />

gx lim xa<br />

<br />

lim xa<br />

fx<br />

gx <br />

fx fa<br />

gx ga lim xa<br />

f a<br />

g a .<br />

fx fa/x a<br />

gx ga/x a<br />

f a<br />

g a since f a and g a exist with g a 0.<br />

Note: (i) It should be noticed that we CANNOT use L-Hospital Rule since the<br />

statement tells that f and g have a derivative at a, we do not make sure of the situation of<br />

other points.<br />

(ii) This holds also for complex functions. Let us recall the proof of L-Hospital Rule,<br />

we need use the order field R; however, C is not an order field. Hence, L-Hospital Rule<br />

does not hold for C. Infact,noordercanbedefinedinthecomplexfieldsincei 2 1.<br />

Supplement on L-Hospital Rule<br />

We do not give a proof about the following fact. <strong>The</strong> reader may see the book named A<br />

First Course in <strong>Real</strong> Analysis written by Protter and Morrey, Charpter 4, pp 88-91.<br />

<strong>The</strong>orem ( 0 ) Let f and g be continuous and differentiable on a, b with 0 g 0ona, b.<br />

If<br />

then<br />

lim<br />

xa <br />

lim<br />

xa<br />

fx 0 lim gx 0and<br />

*<br />

<br />

xa f x<br />

g x L,<br />

lim<br />

xa <br />

fx<br />

gx L.<br />

Remark: 1. <strong>The</strong> size of the interval a, b is of no importance; it suffices to<br />

have g 0ona, a , forsome 0.<br />

2. (*) is a sufficient condition, not a necessary condition. For example,<br />

fx x 2 ,andgx sin 1/x both defined on 0, 1.<br />

3. We have some similar results: x a ; x a; x 1/x 0 ;<br />

x 1/x 0 .<br />

<strong>The</strong>orem ( ) Let f and g be continuous and differentiable on a, b with g 0on<br />

a, b. If<br />

then<br />

lim<br />

xa <br />

lim<br />

xa<br />

fx lim gx and<br />

*<br />

<br />

xa f x<br />

g x L,

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

Saved successfully!

Ooh no, something went wrong!