17.03.2015 Views

Studying Rudin's Principles of Mathematical Analysis Through ...

Studying Rudin's Principles of Mathematical Analysis Through ...

Studying Rudin's Principles of Mathematical Analysis Through ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

6 CHAPTER 1. THE REAL AND COMPLEX NUMBER SYSTEMS<br />

1.3.4 Proposition: Implications <strong>of</strong> the Multiplication Axioms<br />

Prove that the axioms for multiplication<br />

imply the following statements:<br />

(a) If x ≠ 0 and xy = xz, then y = z.<br />

(b) If x ≠ 0 and xy = x, then y = 1.<br />

(c) If x ≠ 0 and xy = 1,<br />

then y = 1/x.<br />

(d) If x ≠ 0, then 1/(1/x) = x.<br />

1.3.5 Proposition: Implications <strong>of</strong> the Multiplication Axioms<br />

Prove that the axioms for multiplication<br />

imply the following statements, for<br />

any x, y, z ∈ F.<br />

(a) 0x = 0.<br />

(b) If x ≠ 0 and y ≠ 0, then xy ≠ 1.<br />

(c) (−x)y = −(xy) = x(−y).<br />

(d) (−x)(−y) = xy.<br />

1.3.6 Definition: Ordered Field and Set<br />

Define an ordered field, ordered set.<br />

1.3.7 Proposition: Ordered Field Implications<br />

Prove that the following statements are<br />

true in every ordered field:<br />

(a) If x > 0, then −x < 0, and vice<br />

versa.<br />

(b) If x > 0 and y < z, then xy < xz.<br />

(c) If x < 0 and y < z, then xy > xz.<br />

(d) If x ≠ 0, then x 2 > 0. In particular,<br />

1 > 0.<br />

(e) If 0 < x < y, then 0 < 1/y < 1/x.<br />

Hint: Use the field axioms and the definition<br />

for an ordered field.<br />

1.4 The Real Field<br />

1.4.1 Theorem: Q ⊂ R and R has the least-upper-bound property<br />

Prove that there exists an ordered field R which has the least-upper-bound property; moreover, R contains<br />

Q as a subfield.

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

Saved successfully!

Ooh no, something went wrong!