Polynom/Q/Ganzwertig/Differenzoperator/Fakt

Sei ${}f\colon \mathbb {Z} \rightarrow \mathbb {Z}$ eine Funktion. Dann sind die folgenden Aussagen äquivalent.

1. ${}f$ ist von polynomialen Typ.
2. Die Differenzfunktion ${}\Delta f$ ist von polynomialen Typ.
3. Es gibt eine Iteration ${}\Delta ^{n}$ des Differenzoperators derart, dass ${}\Delta ^{n}f$ letztlich konstant ist.

Einen Beweis erstellen