Given two open balls sharing the same centre but with differing radius then the one defined to have a strictly smaller radius is contained in the other
From Maths
(Redirected from Given two open balls sharing the same centre the one defined to have a strictly smaller radius is contained in the other)
Stub grade: A*
This page is a stub
This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:
I cannot be bothered, the outline is here.
- Precursor to: For any two open balls sharing the same centre point then one or both of them contains the other
- Demote to B once links have been added
Contents
Statement
Let [ilmath](X,d)[/ilmath] be a metric space. Let [ilmath]x\in X[/ilmath] be given and let [ilmath]r_1,r_2\in\mathbb{R}_{>0} [/ilmath] be given such that [ilmath]r_1<r_2[/ilmath]. Then:
- [ilmath]B_{r_1}(x)\subseteq B_{r_2}(x)[/ilmath] (where [ilmath]B_\epsilon(x)[/ilmath] denotes the open ball of radius [ilmath]\epsilon>0[/ilmath] centred at [ilmath]x\in X[/ilmath])
Caveat
It would perhaps be better phrased as follows:
- [ilmath]\forall x\in X\forall r_1,r_2\in\mathbb{R}_{>0}[(r_1<r_2)\implies B_{r_1}(x)\subseteq B_{r_2}(x)][/ilmath]
TODO: Adapt the proof to the caveat
- this basically means saying "suppose [ilmath]r_1\ge r_2[/ilmath], then by the nature of logical implication the statement holds regardless of the truth or falsity of the right hand side" then proceeding to the other case. As usual.
Proof
- Let [ilmath]x\in X[/ilmath] be given.
- Let [ilmath]r_1,r_2\in\mathbb{R}_{>0} [/ilmath] be given such that [ilmath]r_1<r_2[/ilmath]
- We need to show: [ilmath]B_{r_1}(x)\subseteq B_{r_2}(x)[/ilmath]
- By the implies-subset relation this is equivalent to: [ilmath]\forall p\in B_{r_1}(x)[p\in B_{r_2}(x)][/ilmath]
- Proof of: [ilmath]\forall p\in B_{r_1}(x)[p\in B_{r_2}(x)][/ilmath]
- Let [ilmath]p\in B_{r_1}(x)[/ilmath] be given
- Then by definition of [ilmath]p[/ilmath] we see [ilmath]d(p,x)<r_1[/ilmath]
- But [ilmath]r_1<r_2[/ilmath]
- By transitivity of a strict partial order we see:
- [ilmath]d(p,x)<r_1<r_2[/ilmath] so just: [ilmath]d(p,x)<r_2[/ilmath]
- But [ilmath][d(p,x)<r_2]\iff[p\in B_{r_2}(x)][/ilmath]
- So we see that [ilmath]p\in B_{r_2}(x)[/ilmath] - as required.
- Since [ilmath]p\in B_{r_1}(x)[/ilmath] was arbitrary we have shown it for all
- Let [ilmath]p\in B_{r_1}(x)[/ilmath] be given
- We have now shown [ilmath]B_{r_1}(x)\subseteq B_{r_2}(x)[/ilmath]
- We need to show: [ilmath]B_{r_1}(x)\subseteq B_{r_2}(x)[/ilmath]
- Since [ilmath]r_1[/ilmath] and [ilmath]r_2[/ilmath] were arbitrary, we have shown it for all radiuses
- Let [ilmath]r_1,r_2\in\mathbb{R}_{>0} [/ilmath] be given such that [ilmath]r_1<r_2[/ilmath]
- Since [ilmath]x\in X[/ilmath] was arbitrary we have shown it for all open balls of strictly differing radiuses.
Notes
References