1
$\begingroup$

$f_m(x)=\lim_{n→\infty}(\cos m!\pi x)^{2n}$

Define $f(x)=\lim_{m→\infty}f_m(x)$
For irrational $x$, $f_m(x)=0$ for every $m$ hence $f(x)=0$.
For rational $x$, say $x=p/q$, where $p$ and $q$ are integers,
we see that $m!x$ is an integer if $q \le m$ so that $f(x)=1$.

I can't understand why for irrational $x$, $f_m(x)=0$.

$\endgroup$

1 Answer 1

1
$\begingroup$

If $x$ is irrational, we have $m!x \not\in \frac 12\mathbb Z$ for every $m \in \mathbb N$, that is $|\cos m!x\pi| < 1$, which gives $(\cos m!x\pi)^{2n} \to 0$ for $n \to \infty$, and hence $f_m(x) = 0$.

$\endgroup$
2
  • $\begingroup$ Thanks! By the way, we can say $m!x \not\in \mathbb Z$ too? I think if $m!x \not\in \mathbb Z$ then $m!x$ is not an interger so your explanation can be applied. $\endgroup$
    – anstein
    Commented Nov 29, 2012 at 6:54
  • $\begingroup$ Sure. That suffices, you are right. $\endgroup$
    – martini
    Commented Nov 29, 2012 at 7:07

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .