Let S be a non-empty set of real numbers, and prove that the following statements are equivalent:

(1) If v is any upper bound of S, then u <= v (read as "u is less than or equal to v").
(2) If z < u, then z is not an upper bound of S.
(3) If z < u, then there exists s_z (read as "s sub z") in S such that z < s_z.
(4) If epsilon > 0, then there exists s_epsilon (read as "s sub epsilon") in S such that u - epsilon < s_epsilon.

Solution Preview

To prove that statements (1) through (4) are equivalent, we will prove the following:

Suppose (by way of contradiction) that (2) does not hold. Then there exists z < u such that z is an upper bound of S. Setting v to z in (1), we obtain u <= z, since z is an upper bound of S, but then we have u <= z < u, which is absurd, since the statements "u <= z" and "u > z" cannot both be true. Thus our supposition that (2) does not hold is false, so (2) ...

Solution Summary

A detailed proof of the equivalence of the four given statements is provided. Specifically, the proof consists of showing the following: (a) statement (1) implies statement (2); (b) statement (2) implies statement (3); (c) statement (3) implies statement (4); (d) statement (4) implies statement (1).

... Then because Bi 's are closed, nonempty and nested (as ... Also arbitrary intersection of closed sets is closed, so B is ... is Bi B. Then B is an upper bound for the ...

... user provides a valid employee name (non empty); otherwise, the ... calculate the gross Pay Set grossPay = hourlyPayRate ...bound is checked as the upper bound of the ...

... empty since S contains I. Let C be a nonempty chain in S ... K. Hence K is in S, and is an upper bound for C ... of a commutative ring R with 1 is the set of nilpotents ...

... Theorem IV: Let S be any non-empty bounded and closed ... greatest lower bound and least upper bound, respectively, of ... evidently, it attains it its bounds at every ...

... In real analysis, the supremum or least upper bound of a ... real numbers is its completeness: every nonempty set of real numbers that is bounded above has a ...

Let A be a nonempty set of real numbers which is bounded below. ...Bounded numbers are investigated. ... 1) First we want to show that − α is an upper bound of A ...

... 3: A nonempty set A is lower bounded if there ... A , we have a ≥ m Definition 4: For any nonempty set A , sup A is defined as the smallest upper bound of A. ...

... 2)Let X and Y be nonempty sets and let h : X × Y → R have bounded range in R ... y ∈ Y . In another word, for any x ∈ X , f ( x) is an upper bound of g ...

... Zorn's lemma states that: every non-empty partially ordered set in which every chain (ie totally ordered subset) has an upper bound contains at least one ...