Special Topics
Contents
3.11. Special Topics#
This section covers details on specific functions from the perspective of metric spaces
3.11.1. Distance from a Point#
(Distance function is uniformly continuous)
Let
Then,
Proof. Let
Let
.Choose
.Assume
.Then
Thus,
.Thus,
is uniformly continuous.
3.11.2. Distance from a Set#
Recall from Definition 3.5
that the distance between a point
(Distance from a singleton set)
For every
Proof. Let
(Distance from a subset)
Let
Proof. We note that since
The infimum over a larger set is smaller. Hence,
(Distance from a containing subset)
Let
Proof. We note that:
since
Thus,
(Continuity of set distance function)
Let
is continuous.
We provided a proof in Example 3.16. We rephrase it here.
Proof. Let
Let
.Consider the open ball/interval
in .Consider the open ball in
given by .Let
and let .Then, using triangle inequality:
and
Taking the infimum over
in both the inequalities, we get:and
Rewriting it further, we get:
and
Since
, hence, we obtain:Substituting
and ,Thus,
.In other words,
.
We have shown that for every
(Open neighborhoods of a set)
Let
Then
Proof. We established in Theorem 3.123
that
Following is a direct proof.
Let
.Then, there is
such that .Let
be small enough such that .Consider the open ball
.For all
, we have:Thus,
since .Thus,
.Thus,
.Thus,
is open.
(Closure and set distance)
Let
In other words, the distance of a point from a set is zero if and only if the point is a closure point of the set.
Proof. Let
Then either
or .If
, then by Proposition 3.34, .Now, assume
and .Let
.Since
, hence there exists such that .Therefore,
Since this is true for every
, hence .
Now assume that
Thus, there exists an open ball
for some such that .Therefore, for every
, .Therefore,
Let
Proof. A closed set contains all its closure points.
Thus,
(Distance minimizer in a compact set)
Let
Proof. For a fixed
Then,
Hence,
(Distance minimizer in a closed set)
Let
In other words, the infimum of the distance between
Proof. Since
Consider the set
In other words,
It is easy to see that
For any points
Thus,
Now, for a fixed
Then,
By Theorem 3.78,
is compact (continuous images of compact sets are compact).But
.Hence,
is closed and bounded as is Euclidean (Heine-Borel theorem).Hence,
attains a minimum value at some . See Theorem 3.85.
3.11.3. Distance Between Sets#
Recall from Definition 3.6 that the distance between two subsets of a metric space is given by
(Distance between disjoint compact and closed sets)
Let
Then, there is
In other words, the distance between
Proof. We prove this by contradiction.
Assume that there is no such
.Then there exist sequences
of and of such thatSince
is compact, hence has a convergent subsequence, say which converges to some .Now,
Since
is a convergent sequence, hence also converges to .Thus,
Thus,
is a convergent sequence of converging to .Since
is closed, hence .But then,
.Thus,
which is a contradiction.