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.

lim<br />

r n0<br />

fx f lim n<br />

x n<br />

lim n<br />

fx n by continuity of f<br />

lim n<br />

f1 xn by (**)<br />

f1 x<br />

e cx , where log f1 c.<br />

Note: (i) We can prove (2) by the exercise as follows. Note that fx 0 for all x by<br />

the remark (1)-(ii) Consider the composite function gx log fx, then<br />

gx y log fx y log fxfy log fx log fy gx gy. Since log and f<br />

are continuous on R, its composite function g is continuous on R. Use the exercise, we<br />

have gx cx for some c. <strong>The</strong>refore, fx e gx e cx .<br />

(ii) We can prove (2) by the remark (1) as follows. It suffices to show that this f is<br />

differentiable at 0 by remark (1) and (1)-(iii). Sincef m n f1 m n<br />

then for every real r,<br />

fr f1 r a<br />

by continuity of f. Note that lim r b r<br />

r0 r exists. Given any sequence r n <br />

with r n 0, and thus consider<br />

fr n f0<br />

1<br />

1<br />

r n<br />

f1rn r n<br />

f1rn rn<br />

r n<br />

exists,<br />

we have f is differentiable at x 0. So,byremark(1),wehavefx e cx .<br />

(3) Give an example such that f is not continuous on R.<br />

Solution: Consider gx y gx gy for all x, y. <strong>The</strong>n we have gq qg1,<br />

where q Q. ByZorn’s Lemma, we know that every vector space has a basis<br />

v : I. Note that v : I is an uncountable set, so there exists a convergent<br />

sequence s n v : I. Hence, S : v : I s n <br />

n1<br />

sn<br />

n <br />

n1<br />

is a new<br />

basis of R over Q. Givenx, y R, and we can find the same N such that<br />

N<br />

x <br />

k1<br />

N<br />

q k v k and y p k v k ,wherev k S<br />

k1<br />

Define the sume<br />

N<br />

x y : p k q k v k<br />

k1<br />

By uniqueness, we define gx to be the sum of coefficients, i.e.,<br />

N<br />

gx : q k .<br />

k1<br />

Note that<br />

g<br />

s n<br />

1 for all n lim n<br />

g<br />

and<br />

s n 0asn <br />

Hence, g is not continuous at x 0 since if it was, then<br />

s n 1

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

Saved successfully!

Ooh no, something went wrong!