Hello,

This is a question from Baby Rudin, Exercise 4.4 I was wondering if anyone could verify my reasoning:

The question is, if $\displaystyle f$ is a continuous function from a metric space $\displaystyle X$ to a metrix space $\displaystyle Y$, and a set $\displaystyle E \subset X$ is dense in X, then show $\displaystyle f(E)$ in dense in $\displaystyle f(X)$.

So I have the solution:

Since $\displaystyle E$ is dense in $\displaystyle X$, then for any $\displaystyle p \in X$, we can construct a sequence of points $\displaystyle \{p_n\}$ where the $\displaystyle p_n \in E$ and $\displaystyle \{p_n\} \rightarrow p$.

Since f is continuous, we know $\displaystyle f(p_n) \rightarrow f(p)$, and since $\displaystyle f(p_n) \in f(E)$ and $\displaystyle f(p) \in f(X)$, $\displaystyle f(E)$ is dense in $\displaystyle f(X)$.

-----

So my qualms with that solution are

a) The first statment,

Since $\displaystyle E$ is dense in $\displaystyle X$, then for any $\displaystyle p \in X$, we can construct a sequence of points $\displaystyle \{p_n\}$ where the $\displaystyle p_n \in E$ and $\displaystyle \{p_n\} \rightarrow p$.

Is that a true statement for all dense subsets $\displaystyle E$ of a metric space $\displaystyle X$?? it seems like a serious claim to make, I have never heard or seen a theorem that says anything like that and I can't find anything in Rudin.

b) The last statement,

Since $\displaystyle f(p_n) \in f(E)$ and $\displaystyle f(p) \in f(X)$, $\displaystyle f(E)$ is dense in $\displaystyle f(X)$.

How does $\displaystyle f(p_n)$ converging to $\displaystyle f(p)$ show us that $\displaystyle f(E)$ is dense in $\displaystyle f(X)$? Is it because $\displaystyle f(p) $is arbitrary? is the theorem (which I don't know about) an if and only if theorem?

--

Essentially I am asking if there is a theorem (which I can't seem to find anywhere) which states:

$\displaystyle E$ is dense in $\displaystyle X$, if and only if for any $\displaystyle p \in X$, we can construct a sequence of points $\displaystyle \{p_n\}$ where the $\displaystyle p_n \in E$ and $\displaystyle \{p_n\} \rightarrow p$.

Thanks, any help appreciated!!