Theorem
If
is a subset of
in a metric space
then
where
is the diameter of![]()
Proof
Take![]()
Suppose
then![]()
Choose
such that![]()
From the triangle inequality,![]()
Hence
so![]()
Since![]()
Hence![]()
Theorem
If
is a subset of
in a metric space
then
where
is the diameter of![]()
Proof
Take![]()
Suppose
then![]()
Choose
such that![]()
From the triangle inequality,![]()
Hence
so![]()
Since![]()
Hence![]()