Polynômes à valeurs entières.
dans Algèbre
Bonjour à tous. Si $P\in\mathbb{R}[X]$ vérifie $\forall n\in\mathbb{N},\; P(n)\in\mathbb{Z}$, peut-on affirmer que $\forall n\in\mathbb{Z},\; P(n)\in\mathbb{Z}$ ?
Merci de vos idées.
Merci de vos idées.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
$$
B_0 = 1, \qquad B_1 = X, \qquad B_2 = {X(X-1) \over 2}, \qquad B_3 = {X(X-1)(X-2) \over 3!}, \qquad \cdots
$$
Mieux : les $(B_k)_{0 \le k \le N}$ forment une $\R$-base de $\R[X]_{{\rm deg} \le N}$.
Et ensuite ? Réfléchir.
Soit $P\in\mathbb{R}[X]$ de degré $N\in\mathbb{N}^*$ tel que $\forall n\in\mathbb{N},\; P(n)\in\mathbb{Z}$ (le cas polynôme constant étant trivial). On écrit $P=\displaystyle\sum_{k=0}^N\lambda_k B_k$ avec $\lambda_0,\dots,\lambda_N\in\mathbb{R}$.
On démontre que $\forall j\in\{0,\dots,N\},\; \lambda_j\in\mathbb{Z}$. C'est vrai pour $j=0$ car $\lambda_0=P(0)\in\mathbb{Z}$. Si la propriété est vraie pour un entier $j\in\{0,\dots,N-1\}$, alors $P(j+1)=\displaystyle\sum_{k=0}^N\lambda_k B_k(j+1)=\displaystyle\sum_{k=0}^{j+1}\lambda_k B_k(j+1)\Rightarrow \lambda_{j+1}=P(j+1)-\sum_{k=0}^{j}\lambda_k B_k(j+1)$ car $B_{j+1}(j+1)=1$. On a donc $\forall j\in\{0,\dots,N\},\; \lambda_j\in\mathbb{Z}$ par récurrence forte.
Maintenant, pour tout $n\in\mathbb{Z}_-^*$ : $P(n)=\displaystyle\sum_{k=0}^N\lambda_k B_k(n)=
\sum_{k=0}^N\lambda_k(-1)^k\binom{-n+k-1}{k}\in\mathbb{Z}$.
Merci encore !
Je n'ai aucun mérite car j'ai déjà étudié (un tout petit peu) le sous-anneau $B$ de $\Q[X]$ constitué des polynômes $F$ vérifiant $F(\Z) \subset \Z$. La lettre $B$ utilisée pour l'anneau ou les polynômes $B_k$ en l'honneur de Binomial. $B_k$ est le polynôme binomial de degré $k$.
En fait, tu as montré bien plus que prévu : tu as montré que si $F \in \R[X]$ est de degré $N$ et si $F(x) \in \Z$ pour $x$ entier, $0 \le x \le N$, alors $F$ est une combinaison $\fbox{$\Z$}$-linéaire des $B_k$ pour $0 \le k \le N$. Ce qui a fait ton bonheur.
Et en même temps, tu as prouvé (sans le vouloir au sens où ce n'était pas l'énoncé) que les $(B_k)_{k \ge 0}$ forment une $\Z$-base de $B$. C'est cela le résultat important.
Et cet anneau $B$, coincé entre $\Z[X]$ et $\Q[X]$, i.e. $\Z[X] \subset B \subset \Q[X]$, a été beaucoup étudié (pas par moi, j'ai bien précisé un petit peu). Car d'une part, il fournit des contre-exemples (il n'est pas noethérien, pas factoriel) et d'autre part, malgré ces handicaps, il possède des propriétés intéressantes (c'est un anneau de Prüfer de dimension de Krull égale à 2 ...etc..)
Je ne sais pas quel est ton niveau d'études. Mais peut-être que tu n'es pas étudiant. Juste pour te dire que je viens de retrouver un exercice corrigé (jamais donné dans le cadre de la scolarité), niveau Master, consacré à une étude élémentaire de l'anneau $B$. En commençant par la propriété que tu as prouvé. Anecdote : dans l'anneau $B$, chaque polynôme $B_k$ est irréductible (pas dans $\Q[X]$, of course). Cet exercice est disponible sans que tu aies le besoin de me fournir le code de ta carte bancaire.
Merci pour tes précisions sur l'anneau $B$ que je ne connaissais pas du tout. Oui, je suis très intéressé par ton exercice, merci. Je vais aller jeter un coup d'oeil à la notion d'anneau de Prüfer car au-delà de noethérien et factoriel mes connaissances s'arrêtent !
j'ai mis au propre l'affaire en précisant quelques détails utiles pour ma petite tête.
Je joins le résultat.
Merci à tous les deux.
PS : Merci à Clairon pour sa lecture attentive et toutes mes excuses à Claude (texte rectifié)
J'attache le truc promis au risque de vous scandaliser sur ma manière de conduire une récurrence : ok pour $n=0$, je prends en charge $n=1$ puis $n=2$, et cela me suffit (je me contente de $\cdots$). C'est pas bien.
On voit bien que la chose attachée n'est pas terminée. Ainsi, dans le corrigé (sic), on voit l'explicitation de :
$$
B_6 \in \langle B_3, B_4, B_5\rangle_B \qquad (\star)
$$
Attention : c'est $\bullet \in \langle \quad \rangle_B$ et pas $\bullet \in \langle \quad \rangle_{\Q[X]}$. Tester l'appartenance à ce dernier idéal est chose ``facile'' via les bases de Gröbner mais tester $\bullet \in \langle \quad \rangle_B$ est une autre paire de manches.
J'ai complètement oublié pourquoi on s'intéressait à ce type d'appartenance $(\star)$. Peut-être c'était lié à la propriété de Skolem : pour $F_1, \cdots, F_n \in B$, la propriété de Skolem est :
$$
[1 \in \langle F_1(x), \cdots, F_n(x)\rangle_\Z \quad \forall x \in \Z] \quad\Rightarrow\quad 1 \in \langle F_1, \cdots, F_n\rangle_B
$$
Faut croire que cela nous amusait à l'époque.
Abordable : le fait que $B$ ne soit pas noethérien, qu'il soit intégralement clos et non factoriel. De Prüfer, c'est déjà plus élaboré.
Je crois comprendre que ce type d'anneau a été généralisé : pour tout anneau intègre $A$ de corps des fractions $K$, il y a des gens qui s'amusent avec le sous-anneau de $K[X]$ constitué des polynômes $F$ tels que $F(A) \subset A$. Rings of integer-valued polynomials comme disent les anglo-saxons, cf http://www.ams.org/journals/proc/1998-126-11/S0002-9939-98-04376-7/S0002-9939-98-04376-7.pdf.
Voilà, voilà.
Je m'étais imaginé que les irréductibles de B ne sont pas explicitables (question bête: au fait, quels sont ils dans $Z[X]$?) mais peut être le sont ils!
La caractérisation des polynômes $P\in\mathbb{R}[X]$ telq que : $ \forall n\in\mathbb{Z},\; P(n)\in\mathbb{Z}$ se trouve déjà dans : E. Ramis, Exercices d'Algèbre avec solutions développées, Masson et Cie (violet), 1970, p. 147, ouvrage qui contient pas mal de choses même pour aujourd'hui.
C'est un bon exercice de math. sup. sur les polynômes, mais je n'avais jamais pensé à scruter l'anneau de ces polynômes, voici qui est fait aujourd'hui, il faut en remercier Claude Quitté. Tout le monde en apprend beaucoup sur ce forum.
Bonne journée.
Fr. Ch.
en cherchant un peu on voit vite les noms de Jean-Luc Chabert et de Paul-Jean Cahen deux spécialités de ce type de problèmes.
Si quelqu'un à l'article what you should know about integral valued polynomials (maths monthly, auteur Chabert) je suis preneur.
Je ferai une synthèse de ce que propose Claude concernant le fameux anneau F (car ses évidences sont loin d'être les miennes). L'exo est sympa de toute façon comme d'habitude avec Claude.
J'ai aussi une autre idée, mais là c'est nettement plus lourd et long : s'attaquer à recensement des propriétés des anneaux $\mathbb{Z}[\sqrt{d}] $ où $d\in \mathbb{N}^\star $ $d\geq 2$ de manière élémentaire bien sûr. Là c'est juste une idée en écho à certains fils sympas où Chaurien intervient souvent.
Cela permettrait de regrouper des réponses du forum car ce thème est souvent évoqué. Je dis c'est une idée... J'avais quand même récupéré ceci sur différents fil...
Des résultats liés à Pell-Fermat, aussi aux fractions continues (Hardy & Wright) et bien d'autres méritent le détour.
Jean-éric.
PS : je sais je sors un peu du fil initial...
Joyeux Noël:
4.2 - n'oubliez pas de renvoyer un petit merci à la personne qui a pris le temps de vous répondre ;