- #1
uman
- 352
- 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).
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: