Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Simple Question on continuity

  1. Oct 17, 2007 #1
    1. The problem statement, all variables and given/known data

    1) If f is a continuous mapping from a matric space X to metric space Y. A E is a subset of X.
    The prove that f(closure(E)) subset of closure of f(E).

    2) Give an example where f(closure (E)) is a proper subset of closure of f(E).

    2. Relevant equations

    3. The attempt at a solution

    My problem is the second part, although I am unsure of my solution to part (1) as well.

    If E is closed then E= closure of E. Hence, for all x that belong to E , f(x) belong to Y. Hence, f(closure of E) = f(E) = set of all f(x). Now, the closure of the set of all f(x) shall be f(x) (as collection of f(x) in Y is also closed).

    Hence, the closure of f(E)= f(closure of (E)).

    Now, if E is open, then closure of E = E U E', where E' contains limit points. Now, f(closure of E) = f(E) and the set of limit points that are not in E.
    Where as f(E) shall be f(x) .

    (Kind of lost here).

    Also, can't think of a possible example that satisfies (2). I was thinking f(x) = 1/x , where x = (0,infinity). But this does not follow proper subset example.

    Please help.
  2. jcsd
  3. Oct 17, 2007 #2


    User Avatar
    Science Advisor

    Exactly what is your definition of "continuous". Most commonly used is "f: X->Y is continuous if and only if f-1(B) is open, in X, for every open set B in Y." In that case, you might want to look at the complements of "closure of E" and "closure of f(E)" which are then open sets. Do you see that f-1(complement of closure (E)) is an open set?

    Sometimes we define f(x) to be continuous more in keeping with the Calculus I definition: "f is continuous on X if and only if for each a in X, if {an} is a sequence of points in X, converging to a, then {f(xn} is a sequence of points in Y converging to f(a)."

    Of course, for every a in the closure of E, there must exist a sequence of points in E converging to a.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook