# Existence of Sequence in Subset of Metric Space whose Limit is Infimum

## Theorem

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

Let $a \in A$.

Let $S \subseteq A$ be a non-empty subset of $A$.

Then there exists a sequence $\sequence {a_n}$ of points of $S$ such that:

$\displaystyle \lim_{n \mathop \to \infty} \map d {a, a_n} = \map d {a, S}$

## Proof

$\displaystyle \lim_{n \mathop \to \infty} \map d {a, a_n} = b$

where $b$ is an infimum of $\map d {a, a_n}$.

Hence the result by definition of distance to a subset of a metric space.

$\blacksquare$