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.

irrational. Prove that:<br />

(a) ffx x for all x in 0, 1.<br />

Proof: If x is rational, then ffx fx x. <strong>And</strong>ifx is irrarional, so is<br />

1 x 0, 1. <strong>The</strong>n ffx f1 x 1 1 x x. Hence, ffx x for all x in<br />

0, 1.<br />

(b) fx f1 x 1 for all x in 0, 1.<br />

Proof: If x is rational, so is 1 x 0, 1. <strong>The</strong>n fx f1 x x 1 x 1. <strong>And</strong><br />

if x is irrarional, so is 1 x 0, 1. <strong>The</strong>n fx f1 x 1 x 1 1 x 1.<br />

Hence, fx f1 x 1 for all x in 0, 1.<br />

(c) f is continuous only at the point x 1 . 2<br />

Proof: If f is continuous at x, then choose x n Q and y n Q c such that x n x,<br />

and y n x. <strong>The</strong>n we have, by continuity of f at x,<br />

fx f lim n<br />

x n<br />

lim n<br />

fx n lim n<br />

x n x<br />

and<br />

fx f lim n<br />

y n lim n<br />

fy n lim n<br />

1 y n 1 x.<br />

So, x 1/2 is the only possibility for f. Given 0, we want to find a 0 such that as<br />

x 1/2 ,1/2 0, 1, wehave<br />

|fx f1/2| |fx 1/2| .<br />

Choose 0 so that 1/2 ,1/2 0, 1, then as<br />

x 1/2 ,1/2 0, 1, wehave<br />

|fx 1/2| |x 1/2| if x Q,<br />

|fx 1/2| |1 x 1/2| |1/2 x| if x Q c .<br />

Hence, we have proved that f is continuous at x 1/2.<br />

(d) f assumes every value between 0 and 1.<br />

Proof: Given a 0, 1, wewanttofindx 0, 1 such that fx a. Ifa Q, then<br />

choose x a, wehavefx a a. Ifa R Q, then choose x 1 a R Q, we<br />

have fx 1 a 1 1 a a.<br />

Remark: <strong>The</strong> range of f on 0, 1 is 0, 1. In addition, f is an one-to-one mapping<br />

since if fx fy, then x y. (<strong>The</strong> proof is easy, just by definition of 1-1, so we omit it.)<br />

(e) fx y fx fy is rational for all x and y in 0, 1.<br />

Proof: We prove it by four steps.<br />

1. If x Q and y Q, then x y Q. So,<br />

fx y fx fy x y x y 0 Q.<br />

2. If x Q and y Q c , then x y Q c .So,<br />

fx y fx fy 1 x y x 1 y 2x Q.<br />

3. If x Q c and y Q, then x y Q c .So,<br />

fx y fx fy 1 x y 1 x y 2y Q.<br />

4. If x Q c and y Q c , then x y Q c or x y Q. So,

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

Saved successfully!

Ooh no, something went wrong!