22
$\begingroup$

Prove that for any $x_0 \in X$ and any $r>0$, the open ball $B_r(x_o)$ is open.

My attempt: Let $y\in B_r(x_0)$. By definition, $d(y,x_0). I want to show there exists an $r_1\in\mathbb{R^+}$ s.t. $B_{r_{1}}(y)\subseteq B_r(x_0)$. Let $a\in B_{r_{1}}(y)$. Then, $d(a,y). For $a\in B_{r}(x_0)$, $d(a,x_0). I want to show $d(a,y) implies $d(a,x_0). By triangle inequality, $d(a,y)\leq d(a,x_0) + d(y,x_0) \rightarrow$ $d(a,y)

I'm a little stuck after this point.

4 Answers 4

64

You need to specify $r_1$.

For $y\in B_r(x_0)$, let $r_1=r-d(y,x_0)$. Then if $x\in B_{r_1}(y)$ $ d(x,x_0)\le d(x,y)+d(y,x_0)< r_1+ d(y,x_0)=r. $ So $ B_{r_1}(y)\subseteq B_r(x_0)$. This shows that $B_r(x_0)$ is open.

enter image description here

  • 2
    @Dansmith Thanks. The software was [JSXGraph](http://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=1&cad=rja&uact=8&ved=0CCAQFjAA&url=http%3A%2F%2Fjsxgraph.uni-bayreuth.de%2F&ei=kG-VVPD4HMqjNpvzg9AI&usg=AFQjCNG_Poj724zl9TAvT36o6r-FVxVDTA&bvm=bv.82001339,d.eXY).2014-12-20
8

Since you want to conclude that $d(a,x_0)$ isn’t too big, you should apply the triangle inequality to it, not to $d(a,y)$: $d(a,x_0)\le d(a,y)+d(y,x_0). In other words, you need to choose $r_1$ so that $r_1+d(y,x_0)\le r$. Can you explain now how to do that? Remember, $y$ is a particular point of $B_r(x_0)$, so $d(y,x_0)$ is a fixed number.

5

In the second line, you have indicated that you want to find an $r_1$ such that $d(a,y). This is good.

First, what can you say about $d(x_0,y)$, since $y$ is in $B_r(x_0)$? $d(x_0,y)=p \leq r$.

Now, the choice for $r_1$ is clearer since we want $B_{r_1}(y)$ to be inside $B_r(x_0)$. Let it be $r_1=r-p$, since this is intuitively how much farther from $x_0$ our points are allowed to lie while still being in the ball $B_r(x_0)$.

Finally, lets show that this was a good choice. Pick a point $a$ in $B_{r_1}(y)$ Then by the triangle inequality focusing on $ d(x_0,a)$, we get $d(x_0,a) \leq d(x_0,y)+d(y,a)$, and since we so cleverly chose our $r_1$, things will work out nicely. It is vital that you focus on $ d(x_0,a)$. You were focusing instead on $d(x_0,y)$ which is why you did not get you the bound you want. This will show that $a$ is indeed in the open ball $B_r(x_0)$.

4

Let $ B_r^{\delta}(a) $ be given and $ x \in B_r^{\delta}(a) $ then $\delta(a, x) = \epsilon < r $

now look at $ B_{\gamma}^{\delta}(x) $ for $ \gamma < r - \epsilon $ then $ \forall y \in B_{\gamma}^{\delta}(x)$ we have $ \delta(y,x) < \gamma $

so then $ \delta(y,a) <= \delta (y,x) + \delta(x,a) <= r - \epsilon + \epsilon = r$ and the Result follows.