# Thread:

1. ## Continuous function on metric spaces.

Let X, Y be metric spaces and f: X->Y be a continous function on the indicated metric spaces. Prove the followings.

(a) For each subset A of X, $f(\overline {A}) \subset \overline{f(A)}.$
(b) For each subset B of Y, $f^{-1}(int B) \subset int f^{-1}(B).$

----------------------------------------------------------------------
In my text, "int A" denotes the interior of A, which is the set of all interior points of A. A point x in A is an interior point of A, or A is neighborhood of x, provided that there is an open set O which contains x and is contained in A.
----------------------------------------------------------------------

2. Originally Posted by aliceinwonderland
Let X, Y be metric spaces and f: X->Y be a continous function on the indicated metric spaces. Prove the followings.

(a) For each subset A of X, $f(\overline {A}) \subseteq \overline{f(A)}.$
We need a fact: $a\in \bar A$ if and only if $B_X(a,\epsilon) \cap A \not = \emptyset$ for any $\epsilon > 0$.
Here, $B_X(a,\epsilon) = \{x\in X | d_X(x,a) < \epsilon \}$ i.e. the ball in $X$ at $a$ with radius $\epsilon$.

Let $y\in f(\bar A)$ this means $y = f(a)$ for some $a\in \bar A$. Let $\epsilon > 0$.
There is $\delta > 0$ such that if $x\in B_X(a,\delta) \implies d_Y(f(x),f(a)) < \epsilon$.
However, $B_X(a,\delta) \cap A \not = \emptyset$ and so pick some $x\in B_X(a,\delta) \text{ and }x\in A$.
Therefore, $f(x) \in f(A)$ and $f(x) \in B_Y(f(a),\epsilon)$.
Thus, $f(A) \cap B_Y(y,\epsilon) \not = \emptyset$ for any $\epsilon>0$.
This means by above fact that $y\in \overline{f(A)}$.
Thus, $f(\bar A)\subseteq \overline{f(A)}$.
{"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": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 24, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "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": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8854220509529114, "perplexity_flag": "head"}