1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Interior point, neighborhood question

  1. Nov 16, 2008 #1
    1. The problem statement, all variables and given/known data
    If D[tex]\subset[/tex]R, then x[tex]\in[/tex]D is said to be the interior point of D iff there is a neighborhood Q of x such that Q[tex]\subset[/tex]D. Define [tex]D^{\circ}[/tex] to be the set of interior points of D. Prove that [tex]D^{\circ}[/tex] is open and that if S is any open set contained in D, then S[tex]\subset[/tex][tex]D^{\circ}[/tex]. [tex]D^{\circ}[/tex] is called the interior of D.

    2. Relevant equations

    3. The attempt at a solution
    So, we have a neighborhood [x-[tex]\epsilon,x+\epsilon[/tex]].
  2. jcsd
  3. Nov 16, 2008 #2
    Take the real numbers as a general example since it is very simple.
    Is a neighborhood open? Is the union of open sets open? These are things you should investigate in order to understand the interior of a set.
  4. Nov 16, 2008 #3
    neighborhood is open since it includes the real numbers and the real number line is open. union of open sets is open, I think.
  5. Nov 16, 2008 #4


    User Avatar
    Staff Emeritus
    Science Advisor

    The set of all real numbers is open but that was not the question! Is the interval: (a, b)= {x| a< x< b} open? If p is a point in (a, b), look at the distance, da, from p to a and the distance, db[/sup], from p to b. What can you say about [itex](d- \epsilon, p+ \epsilon)[/itex] where d is the smaller of those distances?

    Now your original post didn't say anything about the real numbers. Are you working only in the real numbers, or, more generally, in Rn, or, even more generally, in an abstract metric topology?
  6. Nov 16, 2008 #5

    I guess (a,b) would be closed. I'm not entirely sure what to say about this. [itex](d- \epsilon, d+ \epsilon)[/itex] except this is the neighborhood Q of x.

    We're only working wuth real numbers. That's what the R in my original post signified.
  7. Nov 16, 2008 #6
    The real number line is open but a subset of it does not have to be open. For example, the interval [0,1]. You may want to review the definition of open and picture it as a physical thing to help out your thinking process.

    In R, the union of two open sets is open. How about more than two? You may want to try to do this as an exercise as it directly relates to the interior of a set. What is the interior of an open set?
  8. Nov 16, 2008 #7
    I would say more than 2 open sets will still be open.
    Then the interior of an open set is all points included in that set.
  9. Nov 16, 2008 #8
    Okay. You may want to try proving your first statement (it is usually a result in real analysis). It is important to understand the proofs so you know the details and can understand the details about neighborhoods & open sets. Your second statement makes sense so you may try using these facts to solve your question.
  10. Nov 16, 2008 #9
    Ok, so I need to prove more than 2 sets will still be open.
    A set A[tex]\subset[/tex]R is open iff for each x[tex]\in[/tex]A there is a neighborhood Q of x such that Q[tex]\subset[/tex]A.
    So for each open set, there is a neighborhood Q of x. Becuase for each set Q[tex]\subset[/tex]A then there is a neighborhood. Thus, still open?
  11. Nov 16, 2008 #10
    Let O be the union of your open sets (union O_1, O_2, ...). Then for an arbitrary element of O, call it a, there is some positive integer i such that a neighborhood of a is contained in O_i since all of the O_i's are open. Thus the union is open.
  12. Nov 16, 2008 #11
    Ok, so we got that. Now do I go on to showing S[tex]\subset[/tex][tex]D^{\circ}[/tex]?
  13. Nov 16, 2008 #12
    I believe that we have gone through the tools needed to solve the question so it is up to you to put them together.
  14. Nov 19, 2008 #13
    Ok, I sorta have an idea.
    Let D be arbitrary.
    Then Q[tex]\subset[/tex]D will be the interior of D.
    Let [tex]D^{\circ}[/tex]=Q[tex]\subset[/tex]D.
    We wnat to show [tex]D^{\circ}[/tex] is open.

    This is my start.
  15. Nov 20, 2008 #14


    User Avatar
    Staff Emeritus
    Science Advisor

    How did you get off onto proving that the union of open sets is open? The original problem was to prove that the interior of a set is open and that has nothing to do with a union of open sets.
  16. Nov 20, 2008 #15
    Ok, so I have to use facts about interior points.
    The interior is Q[tex]\subset[/tex]D where D is arbitrary, right?
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?