fonction d'appariement

En mathématiques, une fonction de couplage, est une méthode permettant d’attribuer de manière unique un entier naturel à un couple d'entiers naturels. En théorie des ensembles, on peut utiliser n'importe quelle fonction de couplage pour prouver que l'ensemble des entiers relatifs et celui des nombres rationnels ont la même cardinalité que l'ensemble des entiers naturels. En théorie de la calculabilité, la fonction de couplage de Cantor est utilisée pour coder k-uplets, ainsi une fonction de Nk → N peut être représentée par une fonction de N → N.