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

A problem about dense sets

  1. Jun 8, 2007 #1
    The set of all polynomials with rational coefficients in dense in both spaces, the space of all continous functions defined in [a,b] C_([a,b]) with the metric
    ρ(f,g)=max┬(1≤t≤n)⁡〖|f(t)- g(t)|〗

    ( i hope you understand what i wrote ... prbl i will find a way to use mathml to write nicer ... :D )
    Basically, if A is the set of all rational etc. , and C the countinous function space, the whole problem comes down to prooving A⊂[C], which implies to proove that the set of all polynomials has polynomial functions ( i.e. P[X] = f(x) ) which are continous ( from now on i use the metric from the space C, and that's it )

    am i write ?

    i don't want a demonstration, becouse i want to learn how to do it myself

    Thanks !!!!!!
    Last edited: Jun 8, 2007
  2. jcsd
  3. Jun 8, 2007 #2


    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    That's one space, what the other?

    And as i understand it, a set A is dense in a set B if for any x<y in B, there is an a in A with x<a<y. What is the order relation on your set of polynomials with rational coeff?
  4. Jun 9, 2007 #3
    the set of polynomials with rational coeficients has no "per say" order ... basically you take all plynomials and put them in a set ...
  5. Jun 9, 2007 #4

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    It's a metric space, quasar - the question is to show that the closure of these polys in the metric topology is all of the space.

    Are you aware of the Stone Weierstrass theorem? The closure of the set you wrote clearly contains the real coefficient polys.
  6. Jun 9, 2007 #5
    i didn't want to look for some theorem or lemma or something else, becouse i like solving the problems myself.
    but, thank you for your input, i will prbl look into that theorem ....

    and now comes to proving that there is an open sphere containing the real coef poly and the rational coef poly among them. i think you would proove the contrary can not happen and then q.e.d. (... i think this is another approach to the problem but very very interesting !!!!!!!... )
    Last edited: Jun 9, 2007
  7. Jun 9, 2007 #6


    User Avatar
    Science Advisor
    Homework Helper

    i think you should try to show that given a continuous function, you can find a polynomial that equals it at a lot of points, and that it does not change too much between these points.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook