Theorem
Ifis a subset ofin a metric spacethenwhereis the diameter of
Proof
Take
Supposethen
Choosesuch that
From the triangle inequality,
Henceso
Since
Hence
Theorem
Ifis a subset ofin a metric spacethenwhereis the diameter of
Proof
Take
Supposethen
Choosesuch that
From the triangle inequality,
Henceso
Since
Hence