Arité

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

Sur les autres projets Wikimedia :

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, 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.

Articles connexes[modifier | modifier le code]