Let $S$ be a set of non-zero polynomials over a field $F$. If no two elements of $S$ have the same degree, show that $S$ is an independent subset of $F[x]$.
I tried to prove the statement by induction on the number of elements of any finite subset of $S$. Please let me know if my proof is correct or not. Besides, is there other method to prove the statement?
Thanks!
Let n be the number of elements in a finite subset of S.
Base case $n = 1$
$\alpha f = 0 \implies \alpha = 0$ because $f \ne 0$.
Assume the statement is true for $n=k$.
When $n = k+1$, suppose $$\sigma= \alpha_1 f_1+....+\alpha_k f_k+ \alpha_{k+1} f_{k+1}=0$$ WLOG, we may assume that $f_{k+1}$ has the highest degree among all $f_i${i=1,2,...,k+1}. Let $m= \deg f_{k+1}$
Denote the leading coefficient of $f_{k+1}$ by $\lambda$.
The coefficient of $x^{m}$ will be zero for all other $f_i$.
Note that the coefficient of $x^{m}$ in $\sigma$ will then be $$\alpha_{k+1}\lambda=0$$ By the definition of leading coefficient, $$\lambda \ne 0$$. So $$\alpha_{k+1}=0$$ This implies $$\alpha_1 f_1+....+\alpha_k f_k=0$$ By induction assumption, $$\alpha_1 = \alpha_2=...=\alpha_{k}=0$$ Hence, $f_1,f_2,....,f_{k+1}$ are linearly independent. By the principle of M.I., the statement is true for all natural numbers n.
Best regards, Michael