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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

1.3. FIELDS 5<br />

1.2.4 Definition: Supremum & Infimum<br />

Define the least upper bound (supremum)<br />

and the greatest upper bound (infimum)<br />

<strong>of</strong> a set.<br />

1.2.5 Examples: Bounds, Sup, and Inf<br />

(a) Consider the sets A and B <strong>of</strong> Example<br />

1.1.1 as subsets <strong>of</strong> the ordered<br />

set Q. Comment on A and<br />

B in terms <strong>of</strong> their bounds in Q.<br />

(b) If α = sup E exists. Is it necessarily<br />

α ∈ E? Give an example.<br />

(c) Let E consist <strong>of</strong> all numbers 1/n<br />

where n=1, 2, 3, What are sup E<br />

and inf E?<br />

1.2.6 Definition: The Least-upper-bound Property<br />

Define the least-upper-bound property.<br />

1.2.7 Theorem: Sup & Inf Relation<br />

Suppose S is an ordered set with the<br />

least-uper-bound property, B ⊂ S, B<br />

is not empty, and B is bounded below.<br />

Let L be the set <strong>of</strong> all lower bounds <strong>of</strong><br />

B. Prove that α = sup L exists in S,<br />

and α = inf B, and, in particular, inf B<br />

exists in S.<br />

1.3 Fields<br />

1.3.1 Definition: Field & Field Axioms<br />

What is a field?<br />

What are the field axioms?<br />

1.3.2 Remarks<br />

(a) Is Q a field?<br />

(b) Do real and complex numbers<br />

form fields?<br />

1.3.3 Proposition: Implications <strong>of</strong> the Addition Axioms<br />

Prove that the axioms for addition imply<br />

the following statements:<br />

(a) If x + y = x + z, then y = z.<br />

(b) If x + y = x, then y = 0.<br />

(c) If x + y = 0, then y = −x.<br />

(d) −(−x) = x.

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

Saved successfully!

Ooh no, something went wrong!