1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Metric spaces, need help making proof formal

  1. Oct 2, 2009 #1
    1. The problem statement, all variables and given/known data

    Suppose that X is a metric Space and supposed that the mapping f:R-->X is continuous. Let C be a closed subset of X and let f(x) belong to C if x is rational. Prove that f(R) is in C.

    2. Relevant equations
    Def. a set X is closed if every convergent sequence in X converges within X.
    Def. a mapping f:X-->Y is continuous at a point p in X provided that whenever a sequence {pk} in X converges to p, the image sequence {f(pk)} converges to f(p)

    3. The attempt at a solution
    let {uk} be in Q. and uk-->u in Q. then the continuity of f implies f(uk)-->f(u), f(uk),f(u) are in C since uk,u are in Q.

    Now since f is a cont mapping and f(uk) must converge to f(u) continuously, f can't just jump over all the irrationals between f(uk) and f(u). so the denseness of irrationals forces f(R) to be in C.

    this last part is in no way formal but makes sense to me.... can someone please help me formalize this proof. and fix my logic if i am going wrong anywhere.
     
  2. jcsd
  3. Oct 2, 2009 #2
    To help out your logic, why don't you start with "Let r be an element of R. I must show that f(r) is in C." Now do you see what sort of sequence to choose.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Metric spaces, need help making proof formal
  1. Metric space proof (Replies: 4)

  2. Metric Spaces (Proof) (Replies: 3)

Loading...