Talk:Nested intervals

message: Don't merge. There is a particular and useful and basic result here. Charles Matthews 19:49, 31 May 2007 (UTC)
replies: text: Agreed. Nested intervals play an important role in real one variable analysis. Geometry guy 00:48, 1 June 2007 (UTC)
replies: text: Do you ever disagree with him? Also, a single "useful and basic result" does not justify the existence of this article. The article on intervals could quite easily incorporate the notions in this article in a section. Myrkkyhammas 09:33, 3 June 2007 (UTC)
thread_title:  Merge or not? 

message: I came to Nested intervals with link from Cardinal number, and the content of this article looks unrelated to the link. I would expect Cantor's schema there. Mashiah (talk) 20:49, 17 November 2007 (UTC)
replies: text: For what it's worth, in Cantor's proof a real number is constructed by intersecting a sequence of nested intervals, in exactly the same way as it is described in this article. -- EJ (talk) 12:23, 30 November 2007 (UTC)
thread_title:  A link 

message: Thanks for the remarks, I will get back to updating the article, when I've got some more time on my hands. 
Problem 1. The condition that the length of the intervals get arbitrarily small should not be part of the definition (in the intro or in the "construction of real numbers section"). 
 This might vary from author to author. Many textbooks I'm familiar with include the property of arbitrarily small intervals in their definition (e.g. the books Otto Forster and by Konrad Königsberger, which are standard works in the German speaking world). In the context of the completeness axiom it makes sense to do so, but I'll make a remark in the Wiki-page.
The monotony of the bounding sequences however should not be in the definition, since it is a equivalent to the nesting property. I might add that as a remark though.
Problem 2. The section "The construction of the real numbers" is a mess. 
 No, it is consistent with the rest of the article.
It is helpful to distinguish between two versions of the "axiom of completeness": 
Nested Intervals Property (NIP): The intersection of every nested sequence of closed intervals is non-empty. 
Shrinking Nested Intervals Property (SNIP): The intersection of every nested sequence of closed intervals whose lengths shrink to zero is non-empty. 
 It's hard to see, why the distinguation should be helpful in the context of the whole article. 
Contrary to what the article asserts, neither NIP or SNIP is equivalent to the Least Upper Bound Property (every non-empty set having an upper bound has a least upper bound) or the Bolzano–Weierstrass Property (every bounded sequence has a convergent subsequence), unless we also assume the Archimedean Property. The Archimedean Property is used in the "proof" in the article (see section "Direct consequences of the axiom") when asserting that the lengths of the constructed intervals get arbitrarily small.  
 Yes, the Archimedean property is needed, but again, in the context of the whole article it's a given, we're talking about the real numbers with + and \cdot as an Archimedean ordered field. 
For an arbitrary ordered field, Least Upper Bound Property -> NIP -> SNIP -> Cauchy Completeness, and none of these implications  reverse. For an Archimedean ordered field, these four properties are equivalent. 
Remark: The Theorem in the section "The construction of the real numbers": It says that in SNIP, the words "is non-empty" can be replaced by the words "contains exactly one point."
Remark: This article should link to Cantor's Intersection Theorem. NIP and SNIP are theorems in R. They are, respectively,  special cases of the Cantor's Intersection Theorem in topological spaces and in complete metric spaces.  — Preceding unsigned comment added by OmniPraesent (talk • contribs) 18:09, 20 February 2022 (UTC)
thread_title:  <span style="color:#119922"> Response to </span> Problems with this article