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

Evaluate this proof

  1. Jun 23, 2008 #1
    Discussion: This is a proposed solution to problem 2-13 in Apostol's "Mathematical Analysis". The method came to me after a lot of thought but it seems kind of bizarre and I'm wondering if there's a better way to prove this. I especially think the last part could be made more rigorous/explicit.

    Also, I'm not even sure my proof is valid! Tell me what you guys think.

    Also feel free to critique writing style, minor errors, choice of variable names, etc...

    THEOREM: Let [tex]f[/tex] be a real-valued function defined on the interval [tex][0,1][/tex] with the following property: There exists a positive real number [tex]M[/tex] such that for any finite collection [tex]\{x_1,\ldots,x_n\}[/tex] of elements of [tex][0,1][/tex], [tex]|f(x_1)+\cdots +f(x_n)|\leq M[/tex]. Let [tex]S[/tex] denote the set of all real numbers [tex]0\leq x \leq 1[/tex] such that [tex]f(x)\not= 0[/tex]. Then S is countable.

    NOTATION: [tex][x][/tex] denotes the greatest integer less than [tex]x[/tex]. [tex]S_T[/tex] denotes the set of all real numbers [tex]x[/tex] in [tex][0,1][/tex] such that [tex]f(x) \epsilon T[/tex].

    PROOF: We prove the statement by contradiction. Assume [tex]S[/tex] is uncountable. Then either [tex]S_{(-\infty,0)}[/tex] or [tex]S_{(0,+\infty)}[/tex] is uncountable (or both).
    Last edited: Jun 23, 2008
  2. jcsd
  3. Jun 23, 2008 #2
    Ack. Delete this thread please.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook