grandes-ecoles 2016 QI.B.7
Proof of Polynomial Divisibility or Identity
The difference operator is the endomorphism $\delta$ of $\mathbb{R}_n[X]$ such that $\delta = \tau - \operatorname{Id}_{\mathbb{R}_n[X]}$: $$\delta : \left\{ \begin{array}{l} \mathbb{R}_n[X] \rightarrow \mathbb{R}_n[X] \\ P(X) \mapsto P(X+1) - P(X) \end{array} \right.$$ In this question, we seek all vector subspaces of $\mathbb{R}_n[X]$ stable under the application $\delta$.
a) For a nonzero polynomial $P$ of degree $d \leqslant n$, show that the family $(P, \delta(P), \ldots, \delta^d(P))$ is free. What is the vector space spanned by this family?
b) Deduce that if $V$ is a vector subspace of $\mathbb{R}_n[X]$ stable under $\delta$ and not reduced to $\{0\}$, there exists an integer $d \in \llbracket 0, n \rrbracket$ such that $V = \mathbb{R}_d[X]$.