13
$\begingroup$

The following problem is from Golan's linear algebra book. I have posted a proposed solution in the answers.

Problem: For $n\in \mathbb{N}$, consider the function $f_n(x)=\sin^n(x)$ as an element of the vector space $\mathbb{R}^\mathbb{R}$ over $\mathbb{R}$. Is the subset $\{f_n:\ n\in\mathbb{N}\}$ linearly independent?

  • 22
    A letter on my keyboard that's very close to N. I fixed the typo above.2012-05-31

3 Answers 3

31

Suppose we have real numbers $a_j$ such that $\sum_1^k a_j \sin^j(x)=0$ for every real $x$. Consider the polynomial $f(y)=\sum_1^k a_j y^j$. By assumption, we know that $f(\sin(x))=0$ for every $x$. Since $\sin(x)$ can take any value between $-1$ and $1$, we have that $f(y)=0$ for any $y$ between $-1$ and $1$. But then $f(y)=0$ for infinitely many values of $y$, and so $f$ is the zero polynomial, i.e. $a_j=0$ for all $j$. Thus the only linear dependence is the trivial one, and so our set is linearly independent.

  • 0
    For the step from "$f(y) = 0$ for infinitely many values of $y$" to "$f$ is the zero polynomial," is there any way of further explaining / proving this? is it a theorem?2015-10-13
5

Here is a generalization.

Let $X$ be a set, let $F$ be a field, and let $h:X\to F$ be a function. Then $\{h,h^2,h^3,h^4,\ldots\}$ is linearly independent in the $F$-vector space $F^{X}$ if and only if $h(X)$ is infinite.

Proof can be found at the linked question, or using the same idea as in Chris Eagle's answer.

4

The Wronskian of $\sin(t),...,\sin^n(t)$ is $ 1! 2! 3! \dots (n-1)! \sin^n(t) \cos^{n(n-1)/2}(t) $ not identically zero.

  • 0
    Is the calculation trivial?2012-05-31