Studying Rudin's Principles of Mathematical Analysis Through ...
Studying Rudin's Principles of Mathematical Analysis Through ...
Studying Rudin's Principles of Mathematical Analysis Through ...
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.