Closed Ball contains Smaller Open Ball

From ProofWiki
Jump to navigation Jump to search


Let $M = \struct {A, d}$ be a metric space.

Let $a \in A$.

Let $\epsilon, \delta \in \R_{> 0}$ such that $\epsilon \le \delta$.

Let $\map {B_\epsilon} a$ be the open $\epsilon$-ball on $a$.

Let $\map {B^-_\delta} a$ be the closed $\delta$-ball on $a$.


$\map {B_\epsilon} a \subseteq \map {B^-_\delta} a$


\(\displaystyle x \in \map {B_\epsilon} a\) \(\leadsto\) \(\displaystyle \map d {x, a} < \epsilon\) Definition of Open Ball
\(\displaystyle \) \(\leadsto\) \(\displaystyle \map d {x, a} < \delta\) As $\epsilon \le \delta$
\(\displaystyle \) \(\leadsto\) \(\displaystyle \map d {x, a} \le \delta\) Definition of Total Ordering
\(\displaystyle \) \(\leadsto\) \(\displaystyle x \in \map {B^-_\delta} a\) Definition of Closed Ball

By definition of subset:

$\map {B_\epsilon} a \subseteq \map {B^-_\delta} a$