This preview shows pages 1–2. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: Section 1.4: Consequences of Completeness In this section, we deal with the consequences of completeness and why it is necessary for our study of analysis. Questions such as Why are the rational numbers insufficient for analysis? are addressed. Before we begin, a few lemmas are in order. Lemma: Let S be a nonempty subset of R that is bounded above and let be an upper bound of S . Then sup S = if and only if for every , there exists some s S such that s  < . Proof The forward implication follows directly from the definition of least upper bound (see above). For if there exists some such that for every x S , x  , then  is an upper bound of S that is strictly less than , which contradicts our hypothesis that sup S = . Conversely, suppose that for every , there exists some s S such that s  < . Suppose for contradiction that sup S . Then there is an upper bound M with M < . Let M = . It follows that there is some s S such that M s  = < which contradicts that M is an upper bound. Hence sup S = . Of course a similar result holds for the greatest lower bound of a set. Lemma: Let S and T be subsets of R with T S and S bounded above. Then sup sup T S . Proof Let sup S = and lub T = . Suppose for the sake of contradiction that < . Then by the lemma above, there is some t T with t < < . Since t < and lub S = , t is an upper bound of S . Note then for all s S , s t < . It follows from this that t S . However, this contradicts our hypothesis that T S . Thus . Now, let us begin discussing the consequences of completeness. Recall: Axiom of Completeness: Every nonempty subset of R that is bounded above has a least upper bound in R . Although we assume that R has the least upper bound property, we may prove that is has the corresponding greatest lower bound property....
View Full
Document
 Spring '08
 PLOTKIN

Click to edit the document details