2
$\begingroup$

This was a qual problem in Winter 2012 at my university. I feel comfortable verifying everything but the triangle inequality.

Let $\Omega$ denote the set of all nonempty closed subsets of $[0,1]$ and let $\rho\colon\Omega\times\Omega\to[0,1]$ be defined by $$ \rho(A,B)=\max\left\{\sup_{x\in A}\inf_{y\in B}|x-y|,\sup_{y\in B}\inf_{x\in A}|x-y|\right\}$$ Show that $(\Omega,\rho)$ is a metric space.

Intuitively, I think of $\sup_{x\in A}\inf_{y\in B}|x-y|$ as the closest distance from each $x\in A$ to the set $B$, and then taking the largest of those.

Is there a clever way to see $\rho$ respects the triangle inequality?

$\endgroup$
5
  • $\begingroup$ What topological space are you refering to when you claim that $\Omega$ is a closed subset of a compact space? $\endgroup$ Aug 30 '13 at 0:23
  • $\begingroup$ @OlivierBégassat Sorry, I wasn't thinking. I meant to say the closed sets in $\Omega$ are compact in $[0,1]$. $\endgroup$
    – YN Chew
    Aug 30 '13 at 0:25
  • $\begingroup$ If we're picky, it's not a metric space since $\rho(A,\varnothing) = \infty$. Make it "nonempty closed sets" or make a special provision for the empty set. $\endgroup$ Aug 30 '13 at 0:29
  • $\begingroup$ @DanielFischer Right, I'll change that. $\endgroup$
    – YN Chew
    Aug 30 '13 at 1:10
  • 1
    $\begingroup$ In textbooks this is called the "Hausdorff metric", in case you wanted to look-up a proof. $\endgroup$ Aug 30 '13 at 1:22
1
$\begingroup$

This page at planetmath.org has a very brief sketch of the proof of the triangle inequality; you might like to read it and see whether you can fill in the details. This PDF has a complete proof in case you get stuck.

$\endgroup$
1
  • $\begingroup$ @YNChew: You’re welcome. $\endgroup$ Aug 31 '13 at 23:56

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.