3
$\begingroup$

Given any metric space M, Hausdorff defined a new metric space h(M) whose "points" are the non-empty closed and bounded subsets of M. The hierarchy emerges from the following iteration process. Let H(0,M)=M and for each non-negative integer n, let H(n+1,M)=h(H(n,M)). If M is (for example) a finite dimensional Euclidean space or Hilbert space, does this process ever reach a fixed point-in the sense that there exists a non-negative integer k for which the spaces H(k,M) and H(k+1,M) are homeomorphic (or even isometric)? If there is no fixed point in the case of some particular metric space M, is it possible to continue this iteration process into the transfinite?

$\endgroup$
8
  • 3
    $\begingroup$ Assume you start with Euclidean space. The maximal number of points on distance $>\varepsilon$ in the unit ball of $H(n,M)$ grows with $n$. So you will not reach the roof in finite number of steps. $\endgroup$ Jan 2, 2013 at 19:55
  • $\begingroup$ I assume Hausdorff used what is now known as the Hausdorff metric on sets to get metrics on the derived spaces? $\endgroup$ Jan 2, 2013 at 20:14
  • 1
    $\begingroup$ If the discrete metric is used and you start with a space containing an infinite number of points, you get a transfinite sequence that never converges to a fixed point (since the power set has a higher cardinality than the original set and closed bounded sets are all subsets of the space when the metric is discrete). $\endgroup$ Jan 2, 2013 at 20:41
  • 1
    $\begingroup$ @Kevin, usually $h(M)$ is defined as set of all compact subsets. In this case $M=h(M)$ for countable discrete metric space $M$. $\endgroup$ Jan 2, 2013 at 21:04
  • $\begingroup$ @Anton, Thanks for the clarification. $\endgroup$ Jan 2, 2013 at 21:36

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.