Let be the positive fractional part of real number , for example, .
Prove that the set is dense in [0,1] if is positive irrational number.
And for any (the class of all real-valued continious function on [0,1]), and any positive irrational number , we have
I know how to do this problem, but i can't write down the formal solution and some details completely.
I need a complete and elaborate solution, thanks in advance!
notice the fact that if , then the fractional part of the multiply of t is also in S. To prove S is dense in [0,1], it is suffice to prove that there is a decreasing subsequence in S such that it converges to 0. Or in another word, 0 is the inf limit of S. This can be easily proved by contradiction!
To prove the limit is equal to the integration, we need the definition of Riemann Integral and the uniform continuity of f(x).
that is, it is suffice to prove that for any , there exist N, such that if k > N, then the longest distance of two consecutive( the oder of number, not the index n) among the previous k points is less than , Or in another word, the distance of any two consecutive points of the previous k points is less than . Although I understand what is actually going on, I can't express by word, can't write down the details here!
I give you a magic trick: first prove the limit when for some non-zero integer (direct computation), then for trigonometric polynomials, i.e. linear combinations of the previous functions (direct consequence), and finally for general (using approximation by a trigonometric polynomial). This is the usual way to procede (not very intuitive, I admit), but there may be others.