Suppose S is a subset of R. Then diam(S) = supS − inf S.(adsbygoogle = window.adsbygoogle || []).push({});

Proof: First, if S = ∅, then inf S = ∞, supS = −∞ and diam(S) = sup∅ = −∞,

so the proposition is true by definition (B.7.1). Second, if sup S = ∞, pick

b ∈ S. Then, for each p ∈ R+, there exists some a ∈ S with a > b + p, so that

diam(S) > p. Since p is arbitrary in R+, we have diam(S) = ∞ = supS−inf S.

By a similar argument, the proposition is true if inf S = −∞.

Finally, suppose that inf S and sup S are both real. Let r ∈ R+. Then there

exist a, b ∈ S such that a − r/2 < inf S ≤ a ≤ b ≤ sup S ≤ b + r/2. So

sup S − inf S ≤ b − a + r ≤ diam(S) + r. Since r is arbitrary in R+, we then

have sup S − inf S ≤ diam(S). But, for all x, y ∈ S, we have inf S ≤ x ≤ sup S

and inf S ≤ y ≤ sup S, so that |y − x| ≤ sup S − inf S. Since x and y are

arbitrary in S, this yields diam(S) ≤ sup S − inf S. The two inequalities then

lead to the desired conclusion.

How does choosing small arbitrarily positive r, mean that the S − inf S ≤ diam(S)? I would have thought that, if the sign was < in sup S − inf S≤ diam(S) + r then removing a small positive number would lead to ≤?

Can some one please explain the reasoning behind arbitrarily small r?

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Unclear step in diam(S) = supS − inf S proof

**Physics Forums | Science Articles, Homework Help, Discussion**