3
$\begingroup$

Consider a complete metric space $(M, d)$ and let $F(M)$ denote the non-empty compact subsets of $M$. Then $F(M)$ is also a complete metric space under the Hausdorff distance $d_H$. Given some complete metric space $M$ let us denote this metric space of compact subsets by $M'$. I was wondering about the behavior of the sequence $$M, M', (M')', ...$$

For which metric spaces does sequence terminate in a space $N$ with $N'$ isometric to $N$? For which metric spaces does the sequence not terminate? Is there ever any "monotonicity" in the sequence with respect to isometric embeddings, i.e., when is it true that $M$ is isometrically embedded in $M'$ and so forth? Answers to any of these (or related) questions or references would be greatly appreciated.

Unfortunately, I know next to nothing about these concepts and the question just randomly popped into my head while browsing wikipedia so I have not really had any of my own thoughts about the question. If it is easy, then just a hint would be appreciated. Also, anyone who can think of a more descriptive but succinct title should feel free to change it :)

EDIT: I have noticed that if $M$ is finite (and therefore has the discrete metric) and contains two or more elements, then every subset is compact and $M' = 2^M$ is of strictly larger cardinality than $M$, but still finite. Thus the sequence cannot terminate.

$\endgroup$
  • $\begingroup$ Do you define the empty set to be $1$ away from everything else? $\:$ $\endgroup$ – user57159 May 2 '12 at 0:40
  • $\begingroup$ @RickyDemer Sorry, the empty set is meant to be excluded. I will edit accordingly. $\endgroup$ – user12014 May 2 '12 at 1:15
  • 2
    $\begingroup$ Isn't $M$ isometrically embeddable in $M'$ always as the set of one-point subsets of $M$? $\endgroup$ – Mariano Suárez-Álvarez May 2 '12 at 1:18
  • $\begingroup$ @MarianoSuárez-Alvarez Ah, yes clearly. So at least that part was a stupid question after all. $\endgroup$ – user12014 May 2 '12 at 1:19
  • 1
    $\begingroup$ Here is a paper that could be of interest. $\endgroup$ – user30416 May 2 '12 at 2:56

Your Answer

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