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.

Proof: Say {ar + b : a ∈ Z, b ∈ Z} = S, and since r ∈ Q c , then by Exercise<br />

1.16, there are infinitely many rational numbers h/k with k > 0 such<br />

that |kr − h| < 1 . Consider (x − δ, x + δ) := I, where δ > 0, and thus choosing<br />

k 0 large enough so that 1/k 0 < δ. Define L = |k 0 r − h 0 | , then we have<br />

k<br />

sL ∈ I for some s ∈ Z. So, sL = (±) [(sk 0 ) r − (sh 0 )] ∈ S. That is, we have<br />

proved that S is dense in R.<br />

1.17 Let x be a positive rational number of the form<br />

x =<br />

n∑<br />

k=1<br />

where each a k is nonnegative integer with a k ≤ k − 1 for k ≥ 2 and a n > 0.<br />

Let [x] denote the largest integer in x. Prove that a 1 = [x] , that a k =<br />

[k!x] − k [(k − 1)!x] for k = 2, ..., n, and that n is the smallest integer such<br />

that n!x is an integer. Conversely, show that every positive rational number<br />

x can be expressed in this form in one and only one way.<br />

and<br />

Proof: (⇒)First,<br />

[ ]<br />

n∑ a k<br />

[x] = a 1 +<br />

k!<br />

k=2<br />

[ n∑<br />

]<br />

a k<br />

= a 1 + since a 1 ∈ N<br />

k!<br />

k=2<br />

n∑ a k<br />

n∑<br />

= a 1 since<br />

k! ≤ k − 1<br />

k!<br />

k=2<br />

k=2<br />

Second, fixed k and consider<br />

k!x = k!<br />

n∑<br />

j=1<br />

(k − 1)!x = (k − 1)!<br />

=<br />

k−1<br />

a j<br />

j! = k! ∑<br />

n∑<br />

j=1<br />

j=1<br />

a k<br />

k! ,<br />

n∑<br />

k=2<br />

1<br />

(k − 1)! − 1 k! = 1 − 1 n! < 1.<br />

a j<br />

j! + a k + k!<br />

k−1<br />

a j<br />

j! = (k − 1)! ∑<br />

j=1<br />

n∑<br />

j=k+1<br />

a j<br />

j!<br />

a j<br />

n∑<br />

j! + (k − 1)!<br />

j=k<br />

a j<br />

j! .<br />

11

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

Saved successfully!

Ooh no, something went wrong!