Diameter of Subsets and Union of Subsets of a Metric Space
Theorem
Suppose
and
are subsets of a metric space
Suppose
and
If
then
Also, if
then
Proof
Since
for any
so
Hence
Suppose now that
Define the distance between setsandas
For any subsetsandof
But
so d(A,B)=0 and
