Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Diameter of the closure

  1. Mar 5, 2013 #1
    In Rudin we read ##diam \ \bar{S} = diam \ S##.

    And the ##2ε## trick is very clear. However I see how would this would work for an accumulation point of ##S## but what about an Isolated point of ##S## that is miles away from the set.
     
    Last edited: Mar 5, 2013
  2. jcsd
  3. Mar 5, 2013 #2

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Could you post the proof that Rudin gives??
     
  4. Mar 5, 2013 #3
    ##Diam \ S ≤ Diam \ \bar{S}## is trivial

    Now consider 2 points ##p, \ q \in \ \bar{S}##. Then there exists ##p', \ q' \in \ {S}## for which:

    ##d(p,p')< ε \ and \ d(q,q') < ε, \ for \ a \ given \ ε > 0## (This is the definition of ##\bar{S}##)

    ##So\ now: \ d(p,q)≤d(p,p')+d(p',q')+d(q,q')##

    ## => d(p,q)<2ε+d(p',q')##

    ##=> d(p,q)<2ε +Diam \ S##

    hence ##Diam \ \bar{S} ≤ 2ε + Diam \ S##

    since ε is arbitrary, the result is proven.
     
  5. Mar 5, 2013 #4

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    What problem do you have with isolated points? The diameter of set A, as well as the diameter of its closure, depends upon the entire set, not individual points.

    If, for example, [itex]A= (0, 1)\cup {2}[/itex] then, since we have points arbitrarily close to 0 in the set, the diameter of A is 2- 0= 2. The closure of A is, of course, [itex][0, 1]\cup {2}[/itex] which still has diameter 2. Another example is [itex]A= (0, 1)\cup {2}\cup (3, 4)[/itex] whicy has diameter 4- 0= 4. It's closure is [itex][0, 1]\cup {2}\cup [3, 4][/itex] which still has diameter 4.
     
  6. Mar 5, 2013 #5

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    So, why do you think the proof fails for isolated points?? Where did we use that points were not isolated?
     
  7. Mar 5, 2013 #6
    You know what confused me is the fact that I forgot that the isolated point would be part of ##S## in the first place.

    We define the boundary of a set as being the limit points of the set + isolated points of the set.

    But an isolated point of a set can only be an element of the boundary if it is an element of the original set.
     
    Last edited: Mar 5, 2013
  8. Mar 5, 2013 #7
    please see attached
     

    Attached Files:

Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook