 Solution

Let $(F_n)$ be a Cauchy sequence for the Hausdorff distance, and putThe bounded set hypothesis makes ${\delta }_n$ finite, and the Cauchy sequence property gives ${\delta }_n\to 0$. Each $A_n$ is nonempty and a closed set, with $A_{n+1}\subseteq A_n$.

We need estimates that survive taking the closure. For every nonempty $F$, the distance to a set is Lipschitz continuous with constant one: the triangle inequality gives $\mathrm{dist}(x,F)\le d(x,y)+\mathrm{dist}(y,F)$, and interchanging $x,y$ provesFor every $m\ge n$, points of $F_m$ have distance at most ${\delta }_n$ from $F_n$. The same holds throughout their union and its closure, by this continuity. Since $F_n\subseteq A_n$,More generally, if $m\ge n$, every point in ${\bigcup }_{k\ge n}{F}_k$ is within ${\delta }_n$ of $F_m\subseteq A_m$. Passing to its closure again, and using $A_m\subseteq A_n$, givesChoose strictly increasing indices $n_j$ with ${\delta }_{n_j}\le 2^{-j}$. Then $(A_{n_j})$ satisfies part (ii), so it converges in Hausdorff distance to the nonempty closed set $G={\bigcap }_j{A}_{n_j}={\bigcap }_n{A}_n$, with $\rho (A_{n_j},G)\le 2^{1-j}$.

For $n\ge n_j$, the triangle inequality gives the explicit full-sequence boundIt tends to zero as $j\to \infty$. ThereforeThis proves Completeness of the Hausdorff hyperspace using the proposed tail closures, rather than assuming their diameters shrink.