# Boundedness In Fractal Space

Let $\mathbb H$ be family of all non empty compact subsets of $\mathbb R^n$ and $d_H$ be Hausdorff distance on $\mathbb H$. Some called this $(\mathbb H,d_H)$ as Fractal Space. Is boundedness equal to totally boundedness in this metric space?

We just have to show that every closed ball in the space is totally bounded. So let $E$ be a compact set in $\mathbb{R}^n$ and $r>0$. Let the ball be $\mathcal{B} = \{F\in\mathbb{H} : d_H(F,E)\leq r\}$. Fix $\epsilon >0$.
Every set $F$ in $\mathcal{B}$ is contained in the closed $r$-neighborhood of $E$ in $\mathbb{R}^n$. This is a compact set in $\mathbb{R}^n$, so it is contained in finitely many balls $B(x_i, \epsilon/2)$ in $\mathbb{R}^n$, where $i=1, 2, \dots, N$ (and of course $N$ depends on $\epsilon$).
Now take all subsets $\{i_1, \dots, i_k\}$ in $\{1,2,\dots, N\}$. Look at the balls $\mathcal{B}_{i_1, \dots, i_k} = \{F\in\mathbb{H} : d_H(F,\{x_{1_1}, \dots, x_{i_k}\})\leq \epsilon\}$. (Note that each set $\{x_{i_1}, \dots, x_{i_k}\}$ is a point in $\mathbb{H}$).
These cover $\mathcal{B}$, and there are finitely many of them.
{"ft_lang_label":"__label__en","ft_lang_prob":0.8344245,"math_prob":1.0000051,"size":1189,"snap":"2019-51-2020-05","text_gpt3_token_len":427,"char_repetition_ratio":0.14683545,"word_repetition_ratio":0.0,"special_character_ratio":0.35323802,"punctuation_ratio":0.14393939,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":1.0000099,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2020-01-20T10:07:21Z\",\"WARC-Record-ID\":\"<urn:uuid:8330db4c-169e-492c-a0c0-11580300016b>\",\"Content-Length\":\"136476\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:9cc5a906-cee3-4a09-bf66-d707454147c4>\",\"WARC-Concurrent-To\":\"<urn:uuid:4a1dfd63-f245-4c18-8792-e27790050056>\",\"WARC-IP-Address\":\"151.101.65.69\",\"WARC-Target-URI\":\"https://math.stackexchange.com/questions/374521/boundedness-in-fractal-space\",\"WARC-Payload-Digest\":\"sha1:IXJKDQ6NNDEF736ATXWRSIM2CIXZD64C\",\"WARC-Block-Digest\":\"sha1:JAHN37ZCAHS2RLC2D26DGMGT7HJUZBID\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2020/CC-MAIN-2020-05/CC-MAIN-2020-05_segments_1579250598217.23_warc_CC-MAIN-20200120081337-20200120105337-00397.warc.gz\"}"}