Glossaire de propriétés de fonctions
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 f est dite additive si elle vérifie pour tout a et b premiers entre eux, .
- En dehors de ce contexte, une fonction f 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
- Cn, C∞
- Une fonction est dite de classe Cn si elle est n fois dérivable et que sa dérivée n-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 f d’une ou plusieurs variables réelles est dite concave si la fonction opposée est convexe : quels que soient x et y 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 f d’une ou plusieurs variables réelles est dite contractante de rapport k, avec , si pour tout x et y dans son domaine de définition, .
- Convexe
- Une fonction réelle f d’une ou plusieurs variables réelles est dite convexe si elle satisfait l’inégalité de convexité : quels que soient x et y 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 f est l’ensemble des couples tels que , où x 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 f d’une variable réelle est dite hölderienne d’exposant α s’il existe une constante C telle que pour tout x et y 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 f d’une ou plusieurs variables réelles est dite (positivement) homogène de degré α si pour tout réel t (positif) et pour tout x dans le domaine de définition de f 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 f est l’ensemble des images des éléments de son domaine : .
- Impaire
- Une fonction f est impaire si pour tout x 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ù a est une constante indépendante de x.
- Lipschitzienne
- Une fonction f est dite lipschitzienne de rapport k si pour tout x et y 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 f est majorée s’il existe un réel M tel que pour tout élément x du domaine de f 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 f est minorée s’il existe un réel M tel que pour tout élément x du domaine de f 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 f 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 f est dite négligeable par rapport à une fonction g 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 f est paire si pour tout x de son domaine de définition, est aussi dans son domaine de définition avec .
- Périodique
- Une fonction f d’une variable réelle est périodique de période T si pour tout x 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
- Une fonction d’une variable réelle ou vectorielle est dite positivement homogène si elle vérifie pour tout λ > 0, .
- Presque périodique
- Une fonction réelle d’une variable réelle est dite presque périodique si l’ensemble de ses presque périodes est bien réparti pour toute précision.
- Puissance
- Une fonction puissance est une fonction de la forme où α est un réel.
Q
- Quadratique
- Une fonction quadratique est une fonction de plusieurs variables qui est polynomiale de degré 2.
- Quasi-convexe
- Une fonction réelle définie sur un convexe est dite quasi-convexe si sur tout segment elle atteint son maximum en une extrémité.
R
- Rationnelle
- Une fonction rationnelle est un quotient de fonctions polynomiales.
- Réelle
- Une fonction réelle est une fonction à valeurs réelles.
- Réglée
- Une fonction réglée est la limite uniforme d’une suite de fonctions en escalier.
- Régulière
- Une fonction régulière est une fonction infiniment dérivable.
S
- Semi-continue
- Une fonction réelle est semi-continue inférieurement si l’image réciproque de tout intervalle de la forme est ouvert.
- Elle est semi-continue supérieurement si l’image réciproque de tout intervalle de la forme est ouvert.
- Semi-harmonique
- Une fonction est dite sous-harmonique sur un ouvert de si elle est continue et vérifie la propriété de sous-moyenne locale.
- Sous-additive
- Une fonction réelle f est dite sous-additive si elle vérifie l’inégalité
- Sous-linéaire
- Une fonction réelle f est dite sous-linéaire si elle est sous-additive et positivement homogène.
- Sous-modulaire
- Une fonction sous-modulaire est une fonction d’ensembles à valeurs réelles satisfaisant l’inégalité .
- Surjective
- Une fonction est dite surjective si tout élément de l'ensemble but admet au moins un antécédent, c'est-à-dire si l'ensemble image est confondu avec l'ensemble but.
- Support compact
- Une fonction est dite à support compact si elle est nulle en dehors d’un ensemble compact dans son domaine de définition
T
- T
- Une fonction-T est une permutation sur les blocs de n bits dont le i-ème bit de sortie ne dépend que des i premiers bits d’entrée.
- Totale
- Une fonction est totale quand son domaine de définition est son ensemble de départ.
- Transcendante
- Une fonction transcendante est une fonction réelle d’une variable réelle qui n’est pas algébrique.
- Triangulaire
- Une fonction triangulaire est une fonction continue et affine par morceaux n’admettant que deux expressions sur son support.
U
- Uniformément continue
- Une fonction f est dite uniformément continue si pour tout réel , il existe un réel tel que pour tout x et y dans le domaine de définition de la fonction tel que , on a .
- Univalente
- Une fonction univalente est une fonction holomorphe injective sur un ouvert du plan complexe.
V
- Variations bornées
- Une fonction réelle d’une variable réelle est dite à variation bornée sur un intervalle I si l’ensemble des sommes est majoré lorsque parcourt les suites finies strictement croissantes dans I.