Ce lexique répertorie des propriétés mathématiques qui peuvent être satisfaites ou non par les nombreuses fonctions utilisées. Les noms de fonctions de référence sont répertoriés dans la liste de fonctions numériques.
A Absolument continue Une fonction est dite absolument continue si elle peut s’écrire comme une intégrale dépendant de sa borne. Additive Une fonction arithmétique est dite additive si elle vérifie pour tout et premiers entre eux, . En dehors de ce contexte, une fonction est dite additive si et seulement si pour tout , on a . Affine Une fonction affine est une fonction de la forme . Aléatoire Une fonction aléatoire est une fonction dont les valeurs en tout point sont des variables aléatoires. Algébrique Une fonction algébrique est une fonction qui est solution d’une équation polynomiale en ses variables. Analytique Une fonction analytique est une fonction qui est développable en série entière en chaque point de son domaine de définition. Antécédent Pour une valeur possible du résultat d'une fonction, un antécédent est une valeur de la variable qui lui est associée. Application Le terme d'application est souvent employé comme synonyme de fonction, bien qu'on l'utilise généralement pour des cas distincts : la différence couramment admise est qu'une application désigne une fonction définie sur tout son ensemble de départ, dans le cas contraire elle est uniquement une fonction dont le but est d'établir le domaine de définition. Cependant plusieurs interprétations peuvent se trouver, comme le fait qu'une fonction associe au plus un élément de l'ensemble but à un élément de l'ensemble source, contrairement aux applications. Une fonction peut également faire allusion par abus de langage aux fonctions numériques dans lequel cas une application concerne des ensembles autres que des nombres. Arithmétique Une fonction arithmétique est une fonction à variable entière et à valeurs complexes.
B B-différentiable Une fonction entre deux espaces vectoriels normés est dite B-différentiable en un point si elle est approchée par un opérateur positivement homogène et borné au voisinage de ce point. Baire Une fonction de Baire est une fonction obtenue comme limite simple de fonction continues par récurrence transfinie. Bijective Une fonction est dite bijective si elle est à la fois injective et surjective, c'est-à-dire que tout élément de l'ensemble but admet un unique antécédent. Bornée Une fonction est bornée si elle est à la fois majorée et minorée, c’est-à-dire si son image est bornée.
C C, C∞ Une fonction est dite de classe C si elle est fois dérivable et que sa dérivée -ième est continue. Elle est dite de classe C∞ si elle est infiniment dérivable. Calculable Une fonction calculable est une fonction partielle récursive totale. Caractéristique Une fonction est caractéristique d’une partie d’un ensemble si elle vaut 1 sur les éléments de cet ensemble et 0 ailleurs. Cardinale Une fonction est cardinale si elle est à valeurs dans les nombres cardinaux. Cauchy-continue Une fonction est dite Cauchy-continue si elle préserve les suites de Cauchy. Causale Une fonction d’une variable réelle est dite causale si son support est borné à gauche. Centrale Une fonction centrale est une fonction définie sur un groupe et constante le long de ses classes de conjugaison. Complètement additive Une fonction arithmétique est dite complètement additive si la valeur en un produit est la somme des valeurs en chaque facteur. Complètement multiplicative Une fonction arithmétique est dite complètement multiplicative si la valeur en un produit est le produit des valeurs en chaque facteur. Concave Une fonction réelle d’une ou plusieurs variables réelles est dite concave si la fonction opposée est convexe : quels que soient et dans le domaine de définition, pour tout , . Constante Une fonction constante est une fonction n’ayant qu’une seule valeur. Constructible Une fonction à variable et valeurs entières est dite constructible s’il existe une machine de Turing permettant d’obtenir ses valeurs en temps ou en espace du même ordre de grandeur que la variable. Continue Une fonction est dite continue lorsque l'image réciproque de tout ouvert est un ouvert, ce qui revient à écrire en termes de limites que pour tout élément de son domaine de définition, Contractante Une fonction réelle d’une ou plusieurs variables réelles est dite contractante de rapport , avec , si pour tout et dans son domaine de définition, . Convexe Une fonction réelle d’une ou plusieurs variables réelles est dite convexe si elle satisfait l’inégalité de convexité : quels que soient et dans le domaine de définition, pour tout , . Courbe Une fonction courbe est une fonction booléenne de non-linéarité maximale. Croissante Une fonction réelle d'une variable réelle est dite croissante si elle préserve l'ordre des valeurs, c'est-à-dire que pour tout couple de valeurs dans le domaine de définition tel que , on a . Elle est dite strictement croissante si pour tout couple tel que , on a . Cubique Une fonction cubique est une fonction polynomiale en une variable de degré 3.
D Décroissante Une fonction réelle d'une variable réelle est dite décroissante si elle renverse l'ordre des valeurs, c'est-à-dire que pour tout couple de valeurs dans le domaine de définition tel que , on a . Elle est dite strictement croissante si pour tout couple tel que , on a . Densité Une fonction de densité est une fonction positive et intégrable d’intégrale 1, associée à une loi à densité. Dérivable Une fonction est dite dérivable si elle admet une fonction dérivée, c'est-à-dire si le taux d'accroissement admet une limite finie en tout point de son domaine de définition. Dérivée faible Une fonction localement intégrable est dite à dérivée faible si elle admet une dérivée au sens des distributions. Développable en série entière Une fonction réelle d’une variable réelle (resp. complexe d'une variable complexe) est dite développable en série entière sur un intervalle (resp. sur un disque) si elle y est égale à la somme d’une série de fonctions puissances. Différentiable Une fonction de plusieurs variables réelles est dite différentiable en un point de son domaine si elle admet un développement de Taylor à l’ordre 1 au voisinage de ce point. Domaine de définition Pour une fonction, il s'agit de l'ensemble des valeurs possibles pour sa variable.
E Élémentaire Une fonction élémentaire est une fonction obtenue par combinaison de fonctions polynômes, de l’exponentielle et du logarithme, par les opérations arithmétiques élémentaires et par composition. Elliptique Une fonction elliptique est une fonction méromorphe sur le plan complexe et périodique dans deux directions différentes. Ensemble but (d'arrivée) Pour une fonction, l'ensemble but est un ensemble prédéfini qui contient toutes les valeurs possibles du résultat. En particulier, il contient l'ensemble image. Ensemble de définition Voir domaine de définition Ensemble image Pour une fonction, l'ensemble image est l'ensemble des valeurs possibles de son résultat. Ensemble source (de départ) Pour une fonction, l'ensemble source est un ensemble prédéfini qui contient toutes les valeurs possibles de la variable. En particulier, il contient le domaine de définition. Entière Une fonction entière est une fonction holomorphe sur le plan complexe, à ne pas confondre avec une fonction à valeurs entières. Épigraphe L’épigraphe d’une fonction réelle est l’ensemble des couples tels que , où est dans le domaine de définition de la fonction et . Escalier Une fonction en escalier est une fonction constante par morceaux. Étagée Une fonction étagée est une combinaison linéaire de fonctions indicatrices de parties mesurables
F Fermée Une fonction d’une ou plusieurs variables réelles est dite fermée si son épigraphe est fermé, c’est-à-dire si elle est semi-continue inférieurement.
H Harmonique Une fonction harmonique est une fonction deux fois continûment dérivable qui satisfait l'équation de Laplace. Harmonique positive Une fonction harmonique positive est l’intégrale de Poisson d’une mesure positive sur le cercle unité. Hölderienne Une fonction réelle d’une variable réelle est dite hölderienne d’exposant s’il existe une constante telle que pour tout et dans le domaine de définition de la fonction, on a . Holomorphe Une fonction holomorphe est une fonction dérivable d’une variable complexe. Homogène Une fonction réelle d’une ou plusieurs variables réelles est dite (positivement) homogène de degré si pour tout réel (positif) et pour tout dans le domaine de définition de on a . Homographique Une fonction homographique est un quotient non constant de fonctions affines
I Image Pour une valeur de la variable, il s'agit du résultat associé. L’image d’une fonction est l’ensemble des images des éléments de son domaine : . Impaire Une fonction est impaire si pour tout de son domaine de définition, est aussi dans son domaine de définition avec . Indicatrice Une fonction indicatrice est une fonction n'admettant que deux valeurs : 0 et 1 (ou 0 et l'infini en analyse convexe). Injective Une fonction est dite injective si tout élément de l'ensemble but admet au plus un antécédent, c'est-à-dire que deux valeurs distinctes de la variables sont toujours associées à deux résultats différents. Intégrable Une fonction est dite intégrable en une borne d'un intervalle de son domaine de définition si son intégrale converge sur cet intervalle.
L Linéaire Une fonction linéaire est une fonction de la forme où est une constante indépendante de . Lipschitzienne Une fonction est dite lipschitzienne de rapport si pour tout et de son domaine de définition on a . Lisse Une fonction lisse est une fonction de classe . Localement intégrable Une fonction est dite localement intégrable si elle est intégrable sur tout compact de son domaine de définition. Logarithmiquement convexe Une fonction logarithmiquement convexe est une fonction strictement positive dont la composée à gauche avec le logarithme donne une fonction convexe.
M Majorée Une fonction réelle est majorée s’il existe un réel tel que pour tout élément du domaine de on a . Méromorphe Une fonction méromorphe est une fonction d’une variable complexe pouvant s’écrire comme le quotien de deux fonctions entières. Mesurable Une fonction est dite mesurable si l’image réciproque de toute partie mesurable est mesurable. Minorée Une fonction réelle est minorée s’il existe un réel tel que pour tout élément du domaine de on a . Monotone Une fonction réelle d'une variable réelle est dite monotone si elle est croissante ou décroissante. Elle est dite strictement monotone si elle est strictement croissante ou strictement décroissante. Multiplicative Une fonction multiplicative est une fonction arithmétique vérifiant et pour tout couple d’entiers premiers entre eux, .
N N de Luzin Une fonction réelle d’une variable réelle possède la propriété N de Luzin si l’image de tout ensemble Lebesgue-négligeable est Lebesgue-négligeable. Négligeable Une fonction est dite négligeable par rapport à une fonction au voisinage de s’il existe une fonction définie sur ce même voisinage telle que et . Numérique Une fonction numérique est une fonction dont le résultat est toujours un nombre.
O Oscillation moyenne bornée Une fonction localement intégrable est dite à oscillation moyenne bornée si la moyenne de l’écart absolu à la moyenne sur les cubes est majorée.
P Paire Une fonction est paire si pour tout de son domaine de définition, est aussi dans son domaine de définition avec . Périodique Une fonction d’une variable réelle est périodique de période si pour tout de son domaine de définition, les nombres et appartiennent aussi au domaine de définition avec . Polynomiale Une fonction polynomiale est une combinaison linéaire de puissances de sa variable. Positive Une fonction positive est à valeurs dans . Positivement homogène