3
$\begingroup$

Is the set $\{\sin (p_{i})| p_{i} \,\,\mbox{is a prime number, for all}\,\,i\in \mathbb{N}\,\,\mbox{and}\,\, p_{i}\neq p_{j}\,\,\mbox{if}\,\,i\neq j\}$ is linearly independent when $\mathbb{R}$ is a vector space over $\mathbb{Q}$?

Thanks for any help.

  • 0
    Nice Question, I haven't thought about this kind of things too.2012-02-01

1 Answers 1

12

I take the question to be whether $\{\sin p\mid p\hbox{ prime}\}$ is linearly independent over $\Bbb Q$. The answer is yes. Let $i:=\sqrt{-1}$. Since $\sin n = (2i)^{-1} (e^{in} - e^{-in})$, it suffices to prove, more generally, that $\{e^{in}\mid n\in{\Bbb Z}\}$ is linearly independent over $\Bbb Q$. This follows from the transcendence of $e^i$, which is proved by the Lindemann-Weierstrass theorem.