Select Page

Question:

$$X$$ is a metric space. $$Y$$ is a closed subset of $$X$$ such that the distance between any two points in $$Y$$ is at most 1. Then

A. $$Y$$ is compact.

B. any continuous function from $$Y\to \mathbb{R}$$ is bounded.

C. $$Y$$ is not an open subset of $$X$$

D. none of the above.

Discussion:

Let $$X=$$ an infinite set for example $$=\mathbb{R}$$ with the metric as discrete metric.

That is $$d(x,y)=1$$ if $$x\neq y$$ and $$d(x,y)=0$$ if $$x=y$$.

Then every set in $$X$$ is open and every set is closed.

Now take $$Y=X$$. Then $$Y$$ can be covered by singleton sets. $$Y=\cup \{\{a\}|a\in Y\}$$. Now each of the singleton sets is open in discrete metric space. Therefore, this is an open cover for $$Y$$. Since $$Y$$ is infinite, this cover has no finite subcover. So $$Y$$ is not compact.

Given any $$f:Y\to \mathbb{R}$$, for open set $$U\in \mathbb{R}$$, $$f^{-1}(U)\subset Y$$. Since Y is discrete, $$f^{-1}(U)$$is open in $$Y$$. So every function $$f:Y\to \mathbb{R}$$ is a continuous function. In particular if we define $$f(x)=x$$ then $$f$$ is a continuous function. And $$f$$ is not bounded.

Also, every subset of $$X$$ is open. So $$Y$$ is open.

Therefore, we are left with none of the above.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.9910343885421753, "perplexity": 77.11390679293585}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2018-39/segments/1537267161638.66/warc/CC-MAIN-20180925123211-20180925143611-00447.warc.gz"}