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.

then we have<br />

lim fx, y L if x 0andy 0,<br />

x,ya,b L if x 0ory 0.<br />

lim fx, y L.<br />

x,ya,b<br />

4.12 If x 0, 1 prove that the following limit exists,<br />

lim<br />

m<br />

lim n cos2n m!x ,<br />

and that its value is 0 or 1, according to whether x is irrational or rational.<br />

Hence,<br />

Proof: If x is rational, say x q/p, whereg. c. d. q, p 1, then p!x N. So,<br />

lim n<br />

cos 2n m!x <br />

lim<br />

m<br />

1ifm p,<br />

0ifm p.<br />

lim n cos2n m!x 1.<br />

If x is irrational, then m!x N for all m N. So, cos 2n m!x 1 for all irrational x.<br />

Hence,<br />

lim n<br />

cos 2n m!x 0 lim m<br />

Continuity of real-valued functions<br />

lim n<br />

cos 2n m!x 0.<br />

4.13 Let f be continuous on a, b and let fx 0 when x is rational. Prove that<br />

fx 0 for every x a, b.<br />

Proof: Given any irrational number x in a, b, and thus choose a sequence x n Q<br />

such that x n x as n . Note that fx n 0 for all n. Hence,<br />

0 lim n<br />

0<br />

lim n<br />

fx n <br />

f lim n<br />

x n by continuity of f at x<br />

fx.<br />

Since x is arbitrary, we have shown fx 0 for all x a, b. Thatis,f is constant 0.<br />

Remark: Here is another good exercise, we write it as a reference. Let f be continuous<br />

on R, andiffx fx 2 , then f is constant.<br />

Proof: Since fx f x 2 fx 2 fx, we know that f is an even function. So,<br />

in order to show f is constant on R, it suffices to show that f is constant on 0, . Given<br />

any x 0, , sincefx 2 fx for all x R, wehavefx 1/2n fx for all n. Hence,<br />

fx lim n<br />

fx<br />

lim n<br />

fx 1/2n <br />

f lim n<br />

x 1/2n by continuity of f at 1<br />

f1 since x 0.<br />

So, we have fx f1 : c for all x 0, . In addition, given a sequence<br />

x n 0, such that x n 0, then we have

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

Saved successfully!

Ooh no, something went wrong!