Trabajar en $\mathbb{R}$ , qué secuencias $a_n$ satisfacer $\sum_{n=0}^{\infty} a_n \sin(nx)=0$ para todos $x$ ¿puntualmente?
Nunca he pensado en esto y no estoy seguro de si no se me escapa algo trivial, habría esperado que $a_n = 0$ para todos $n$ es la única solución, pero no estoy seguro de haber visto que esto se diga en ningún sitio.