View source for An open ball contains another open ball centred at each of its points

{{Stub page|grade=A*|msg=Elementary metric space theorem. Needed for proof of the [[metric topology]] (precursor to [[If the intersection of two open balls is non-empty then for every point in the intersection there is an open ball containing it in the intersection]] which is a precursor to the [[metric topology]]
* '''DEMOTE TO GRADE B ONCE THIS PAGE IS LINKED TO BY OTHER PAGES'''}}
__TOC__
==Statement==
Let {{M|(X,d)}} be a [[metric space]]. Then we claim:
* {{M|\forall x\in X\forall r_1\in\mathbb{R}_{>0}\forall p\in B_{r_1}(x)\exists r_2\in\mathbb{R}_{>0}[p\in B_{r_2}(p)\wedge B_{r_2}(p)\subseteq B_{r_1}(x)]}}<ref group="Note">It is an acceptable (and unambiguous) abuse of notation to write:
* {{M|p\in B_{r_2}(p)\subseteq B_{r_1}(x)}} instead of {{M|p\in B_{r_2}(p)\wedge B_{r_2}(p)\subseteq B_{r_1}(x)}}.</ref><ref group="Note">It is actually trivial that {{M|p\in B_\delta(p)}} for any {{M|\delta\in\mathbb{R}_{>0} }} as:
* {{M|[x\in B_\delta(p)]\iff[d(x,p)<\delta]}} and
* {{M|[d(x,p)\eq 0]\iff[x\eq p]}} (by definition of a [[metric]])
So we could write:
* {{M|\forall x\in X\forall r_1\in\mathbb{R}_{>0}\forall p\in B_{r_1}(x)\exists r_2\in\mathbb{R}_{>0}[B_{r_2}(p)\subseteq B_{r_1}(x)]}}
However the point of this statement is to show that for all points in an open ball there's another open ball (contained inside the first one) that contains the point; so we make it explicit</ref><sup>''Important:''</sup><ref group="Note">Note that if we required that for all points in the open ball there is another open ball contained in that ball (but not necessarily centred about the selected point) such that this second open ball contains the selected point; then we could just choose the open ball itself!</ref>
In words:
* For all open balls of the metric space {{M|(X,d)}} for every point in that open ball there exists another open ball centred at that point such that this second open ball is entirely contained in the former.
==Proof==
* Let {{M|x\in X}} be given
** Let {{M|r_1\in\mathbb{R}_{>0} }} be given, so now we have the open ball {{M|B_{r_1}(x)}}.
*** Let {{M|p\in B_{r_1}(x)}} be given
**** Thinking of open balls in [[the plane]] ({{ie}} open disks) we see that the closer {{M|p}} is to the "rim" the smaller the ball around it would have to be. 
***** {{XXX|More explanation would be good. It's just so obvious to me now!}}
**** Choose {{M|r_2:\eq r_1-d(x,p)}} - Note that anything smaller than {{M|r_1-d(x,p)}} would also work, for example {{M|\frac{1}{2}(r_1-d(x,p))}}<ref group="Note">Which is certainly more easy to picture mentally as it avoids coming close to the "rim" of the initial open ball.</ref>
****# We require firstly that {{M|p\in B_{r_2}(p)}}, this has already been discussed. Recall {{M|d(p,p)\eq 0< r_2}} so {{M|p\in B_{r_2}(p)}}, and in addition we require:
****# {{M|B_{r_2}(p)\subseteq B_{r_1}(x)}}. Recall by the [[implies-subset relation]] this is really {{M|\forall q\in B_{r_2}(p)[q\in B_{r_1}(x)]}}
****#* Let {{M|q\in B_{r_2}(p)}} be given. We must show {{M|q\in B_{r_1}(x)}}
****#** By definition of {{M|q}}, we see {{M|d(q,p)<r_2}} 
****#** By definition of {{M|r_2}} we see {{M|d(q,p)<r_1-d(x,p)}}
****#** Rearranging we see: {{M|d(q,p)+d(x,p)<r_1}}
****#** As {{M|d(a,b)\eq d(b,a)}} for a [[metric]], and by [[commutativity]] of addition of the reals we:
****#*** {{M|d(x,p)+d(p,q)<r_1}}
****#** Using the [[triangle inequality]] property of a [[metric]] we see:
****#*** {{M|d(x,q)\le d(x,y)+d(y,q)}} for ''any'' {{M|y\in X}}
****#*** Picking {{M|y:\eq p}} we see:
****#**** {{M|d(x,q)\le d(x,p)+d(p,q)}}
****#** Combining these we see:
****#*** {{M|d(x,q)\le d(x,p)+d(p,q)<r_1}}
****#** So: {{M|d(x,q)<r_1}}
****#*** Which is equivalent to {{M|q\in B_{r_1}(x)}}
****#* Since {{M|q\in B_{r_2}(p)}} was arbitrary we have shown for all such {{M|q}} that {{M|q\in B_{r_1}(x)}}
**** We have shown our choice of {{M|r_2}} is sufficient for the hypothesis to hold
*** Since {{M|p\in B_{r_1}(x)}} was arbitrary we have shown it for all such {{M|p}}
* Since the ball's centre and its radius were arbitrary we have shown it for all open balls.
==Notes==
<references group="Note"/>
==References==
<references/>
{{Requires work|grade=B|msg=Picture wouldn't take long and would be good}}
{{Theorem Of|Metric Space|Topology}}