The Real And Complex Number Systems
The Real And Complex Number Systems
The Real And Complex Number Systems
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,