Théorème de Fueter-Pólya

Modèle:Voir homonymes Le théorème de Fueter-Pólya, prouvé en 1923 par Rudolf Fueter et George Pólya, énonce que les seules bijections quadratiques de $\mathbb{N}\times \mathbb{N}$ dans $\mathbb{N}$ (l'ensemble des entiers naturels) sont les deux polynômes de Cantor.

Histoire

En 1873, Cantor démontra que le produit de deux ensembles dénombrables est dénombrable, en exhibant la fonction polynomiale

$P(x,y):=x+\frac{(x+y+1)(x+y)}{2}$,

qui réalise une bijection de ${\mathbb{N}}^2$ dans $\mathbb{N}$, appelée fonction de couplage de Cantor. En intervertissant les deux variables, on obtient donc aussi une bijection ($Q(x,y)=P(y,x):=y+\frac{(x+y+1)(x+y)}{2}$).

En 1923, Fueter chercha à déterminer s'il existe d'autres polynômes quadratiques vérifiant cette propriété, et prouva qu'il n'en existe pas d'autre si l'on impose $P(0,0)=0$. Il envoya sa démonstration à Pólya, qui montra que le théorème ne nécessite pas cette dernière contrainte, et conjectura que même la restriction sur le degré est inutile. Ils publièrent cet échange épistolaire. Leur preuve est étonnamment analytique et difficile, utilisant le théorème de Lindemann-Weierstrass.

En 2001, Maxim Vsemirnov a publié une démonstration élémentaire du théorème de Fueter-Pólya, utilisant seulement la loi de réciprocité quadratique de Gauss et le théorème de la progression arithmétique de Dirichlet.

Énoncé

Si un polynôme réel quadratique à deux variables se restreint en une bijection de ${\mathbb{N}}^2$ dans $\mathbb{N}$, alors il s'agit nécessairement de

$P(x,y):=x+\frac{(x+y+1)(x+y)}{2}$

ou de $P(y,x)$.

Dimensions supérieures

Le polynôme de Cantor peut être généralisé en un polynôme de degré n, bijectif de ℕⁿ dans ℕ pour n ≥ 2, somme de coefficients binomiaux :

$P_n(x_1,\dots ,x_n)=x_1+(\genfrac{}{}{0ex}{}{x_1+x_2+1}{2})+\cdots +(\genfrac{}{}{0ex}{}{x_1+\cdots +x_n+n-1}{n})$.

On conjecture que pour tout n ≥ 2, les n! fonctions polynomiales déduites de Modèle:Math par permutation des variables sont les seules bijections polynomiales de degré n de ℕModèle:Exp dans ℕ, et qu'il n'y a qu'un nombre fini de bijections polynomiales de degré quelconque de ℕModèle:Exp dans ℕ, peut-être même seulement celles déduites des Modèle:Math pour k ≤ n.