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 ...

... the topic of perception (sensor data upper case letters. ... The three novel issues that set bounded by X1 ... Noise, Non-Determinism combining the range bounds of the ...

... but well above the current lower bound of 25 ... Lowering both the upper and lower values of the ... dimension index has asymmetric life expectancy bounds as found in ...

... 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 ...

... In another word, if is an upper bound of and is the lower bound of , then we have and . Theorem 1: A nonempty set is bounded if and only if is upper bounded...

... 2. Suppose is a non-empty open set with properties (a ... for each vector , each real coordinate is bounded by some ... So we can find a common upper bound , such that ...