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.