2
$\begingroup$

Show that every neighborhood is an open set.

Let $E = N_{r}(p)$. Then I want to show that for every $q \in E$, $q$ is an interior point. This means I just have to find a neighborhood of $q$ which is in $E$?

  • 1
    Not every neighborhood is an open set. Wkipedia states this http://en.wikipedia.org/wiki/Neighbourhood_%28mathematics%29 ("Note that the neighbourhood V need not be an open set itself"). Also, what's $N_r(p)$?2011-08-22
  • 0
    Maybe you're trying to show that every ball (something of the form $N_r(p)$, in your notation) in a metric space is open? A neighborhood of a point $p$ is usually an open set containing $p$, or a set containing an open set containing $p$, depending on the author.2011-08-22
  • 0
    Anyway, if I'm right about the nature of your actual question then I think it would be good to draw a picture (so we're in the setting of $\mathbf R^2$ with the usual metric).2011-08-22
  • 3
    How do *you* define *neighborhood*?2011-08-22

1 Answers 1

3

Dylan's suggestion of drawing a picture is good. Here we have our point $p$, the open ball $E=N_r(p)$, and an arbitrary point $q\in E$. I have labeled the distance from $p$ to $q$ as $d$.

enter image description here

If Dylan and I understand the question correctly, you want to show that there is some $s>0$ for which the open ball $N_s(q)$ is contained in $E$ (i.e. $N_s(q)\subseteq E$)? If that's the case, then can you think of an $s$, depending on $r$ and $d$, for which this is true? Think about drawing the circle of radius $s$ around the point $q$ in the picture.

  • 0
    $s = r-d$ would work?2011-08-23
  • 0
    @James: Yup! This follows from the [triangle inequality](http://en.wikipedia.org/wiki/Metric_space#Definition), which is part of the axioms of a metric space.2011-08-23