Facebook Page
Twitter
RSS
+ Reply to Thread
Results 1 to 3 of 3
  1. MHB Master
    MHB Site Helper
    Peter's Avatar
    Status
    Offline
    Join Date
    Jun 2012
    Location
    Hobart, Tasmania
    Posts
    2,547
    Thanks
    2,415 times
    Thanked
    848 times
    Awards
    MHB Model User Award (2015)  

MHB Model User Award (Jul-Dec 2013)
    #1
    I am reading "Multidimensional Real Analysis I: Differentiation by J. J. Duistermaat and J. A. C. Kolk ...

    I am focused on Chapter 1: Continuity ... ...

    I need help with an aspect of the proof of Lemma 1.2.10 ...

    Duistermaat and Kolk"s proof of Lemma 1.2.10 (including D&K's definition of a cluster point and the closure of a set) reads as follows:





    In the above proof of Lemma 1.2.10 we read the following:

    "... ... Thus ( $ \displaystyle \overline{A} )^c = \text{int(}A^c)$, or $ \displaystyle \overline{A} = \text{(int(} A^c))^c$, which implies that $ \displaystyle \overline{A}$ is closed in $ \displaystyle \mathbb{R}^n$. ... ...


    Can someone please explain (preferably in detail) how/why

    $ \displaystyle \overline{A} = \text{(int(} A^c))^c$

    implies that

    $ \displaystyle \overline{A}$ is closed in $ \displaystyle \mathbb{R}^n$. ... ...



    Help will be much appreciated ... ...

    Peter


    ============================================================================


    It may be helpful for MHB members reading the above post to have access to D&K's definition of an open set ... so I am providing the same ... as follows ... :





    ... and a closed set is simply a set whose complement is open ... ...

    Hope that helps ...

  2. # ADS
    Circuit advertisement
    Join Date
    Always
    Location
    Advertising world
    Posts
    Many
     

  3. MHB Oldtimer
    MHB Site Helper
    MHB Math Scholar
    Opalg's Avatar
    Status
    Offline
    Join Date
    Feb 2012
    Location
    Leeds, UK
    Posts
    2,450
    Thanks
    843 times
    Thanked
    6,528 times
    Thank/Post
    2.664
    Awards
    MHB Challenges Solver Award (2017)  

Graduate POTW Award (2017)  

University POTW Award (2017)  

Secondary School/High School POTW Award (2017)  

MHB LaTeX Award (2017)
    #2
    Quote Originally Posted by Peter View Post
    Can someone please explain (preferably in detail) how/why

    $ \displaystyle \overline{A} = \text{(int(} A^c))^c$

    implies that

    $ \displaystyle \overline{A}$ is closed in $ \displaystyle \mathbb{R}^n$.
    The interior of a set is open. So $\operatorname{int}(A^c)$ is an open set and therefore its complement $(\operatorname{int}(A^c))^c$ is a closed set.

  4. MHB Craftsman
    MHB Math Scholar
    castor28's Avatar
    Status
    Offline
    Join Date
    Oct 2017
    Location
    Brussels, Belgium
    Posts
    174
    Thanks
    19 times
    Thanked
    257 times
    Awards
    MHB Challenges Solver Award (2017)
    #3
    Quote Originally Posted by Opalg View Post
    The interior of a set is open. So $\operatorname{int}(A^c)$ is an open set and therefore its complement $(\operatorname{int}(A^c))^c$ is a closed set.
    The whole point is to prove that the interior of a set is open. This does not follow directly from definition 1.2.2 above; it may be (and should be) proved somewhere else in the book.

Similar Threads

  1. Closure of an Set
    By Julio in forum Topology and Advanced Geometry
    Replies: 3
    Last Post: February 1st, 2017, 17:25
  2. closure of set
    By ozkan12 in forum Topology and Advanced Geometry
    Replies: 2
    Last Post: October 28th, 2015, 03:17
  3. Replies: 10
    Last Post: August 13th, 2015, 11:06
  4. Rudin's Proof -- The Closure of a Set is Closed
    By OhMyMarkov in forum Topology and Advanced Geometry
    Replies: 6
    Last Post: December 26th, 2014, 07:49
  5. Closure of a Subgroup of GL(2,C)
    By Ruun in forum Linear and Abstract Algebra
    Replies: 5
    Last Post: April 4th, 2013, 13:56

Tags for this Thread

Posting Permissions

  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts
  •  
Math Help Boards