Arité

Cet article est une ébauche concernant les mathématiques. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants. Consultez la liste des tâches à accomplir en page de discussion.

En mathématiques, l'arité d'une fonction, ou opération, est le nombre d'arguments ou d'opérandes qu'elle requiert.

Une fonction ou un opérateur peuvent donc être décrits comme unaires, binaires, ternaires, etc. Des termes comme 7-aire ou n-aire sont aussi utilisés. L'addition de deux nombres, par exemple, est une fonction binaire, ou opération binaire. La fonction inverse, qui associe à un élément son inverse, est une fonction unaire.

En calcul propositionnel on considère aussi l'arité des connecteurs qui sont des fonctions des booléens dans un booléen.

Quelquefois il est commode de considérer une constante comme un opérateur ou une fonction d'arité 0.

On parle aussi de l'arité d'un prédicat ou d'une relation : ainsi l'égalité [=] est une relation binaire, de même l'inégalité stricte [<] et l'appartenance [∈].

Une opération, plus généralement appelée fonction, peut aussi être considérée comme une relation ; ainsi l'addition peut être considérée comme une relation ternaire entre les deux termes et leur somme. Ceci se généralise : toute fonction n-aire est en même temps une relation (n+1)-aire fonctionnelle. Il suffit de définir :

R(x1, x2, ..., xn, y) si et seulement si f(x1, x2, ..., xn) = y.

• Portail des mathématiques