Fonction nulle

Cet article est une ébauche concernant les mathématiques et l’analyse.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

En mathématiques, une fonction nulle est une fonction constante dont l'image est zéro. Elle possède de nombreuses propriétés et intervient dans de nombreux domaines des mathématiques. Elle est souvent utilisée comme exemple ou contre-exemple trivial.

On appelle généralement fonction nulle la fonction constante définie sur l'ensemble des nombres réels ou complexes par : ${\displaystyle f(x)=0}$. De manière plus rigoureuse, on dit qu'une fonction définie sur ${\displaystyle A}$ sous-ensemble de ${\displaystyle \mathbb {C} }$, par exemple, est une fonction nulle (ou est la fonction nulle de ${\displaystyle A}$) si c'est la restriction à ${\displaystyle A}$ de la fonction nulle précédente (autrement dit, si ${\displaystyle \forall x\in A,\,f(x)=0}$ et si ${\displaystyle f}$ n'est pas définie en dehors de ${\displaystyle A}$).

Plus généralement, soient ${\displaystyle (E,+)}$ un ensemble muni d'une opération ayant un élément neutre noté ${\displaystyle 0}$ (par exemple un groupe commutatif, un anneau, un espace vectoriel) et ${\displaystyle X}$ un ensemble quelconque. L'application nulle est l'application ${\displaystyle f}$ de ${\displaystyle X}$ dans ${\displaystyle E}$ définie par ${\displaystyle f(x)=0}$ pour tout élément ${\displaystyle x}$ de ${\displaystyle X}$.

C'est la seule fonction, qui, pour tout réel ${\displaystyle x}$, est à la fois négative et positive puisqu'elle est nulle.

Une des conséquences de son signe est qu'elle est la seule fonction définie sur ${\displaystyle \mathbb {R} }$ ou sur ${\displaystyle \mathbb {C} }$ à la fois paire et impaire, puisque pour tout réel ${\displaystyle x}$, on a : ${\displaystyle f(x)=f(-x)=-f(x)=0}$.

On remarquera que ce résultat ne s'étend pas au cas général : pour que la fonction nulle de ${\displaystyle A}$ soit paire (et impaire), il faut que ${\displaystyle A}$ soit « symétrique » par rapport à 0, c'est-à-dire que ${\displaystyle x\in A\Rightarrow -x\in A}$.

Si ${\displaystyle X}$ est un ensemble et ${\displaystyle (E,*)}$ un ensemble ayant un élément neutre ${\displaystyle 0}$, alors la fonction nulle est l'élément neutre de l'espace ${\displaystyle E^{X}}$ des applications de ${\displaystyle X}$ dans ${\displaystyle E}$, muni de l'opération induite par l'opération ${\displaystyle *}$ de ${\displaystyle E}$.

En particulier, si ${\displaystyle (E,+,\cdot )}$ est un espace vectoriel (${\displaystyle \mathbb {R} }$ ou ${\displaystyle \mathbb {C} }$ munis de leurs lois usuelles par exemple), alors la somme d'une fonction ${\displaystyle f}$ et de la fonction nulle est la fonction ${\displaystyle f}$ et le produit de la fonction nulle par un scalaire est la fonction nulle.

La fonction nulle sur ${\displaystyle \mathbb {R} }$ est l'unique solution de l'équation différentielle ${\displaystyle y'''=y}$ s'annulant en au moins un point.

L'intégrale de la fonction nulle est nulle sur tout intervalle inclus dans l'ensemble des réels ; les primitives de la fonction nulle (sur ${\displaystyle \mathbb {R} }$) sont donc les fonctions constantes.

La représentation graphique de la fonction nulle sur ${\displaystyle \mathbb {R} }$ est la droite d'équation ${\displaystyle y=0}$ : c'est l'axe des abscisses.

À tout polynôme à coefficients dans un anneau commutatif ${\displaystyle A}$ est associée une fonction polynomiale de ${\displaystyle A}$ dans ${\displaystyle A}$. La fonction associée au polynôme nul est la fonction nulle. Si l'anneau ${\displaystyle A}$ est intègre et infini (par exemple si ${\displaystyle A}$ est un corps infini, comme ${\displaystyle \mathbb {R} }$ ou ${\displaystyle \mathbb {C} }$), alors la réciproque est vraie, c'est-à-dire qu'un polynôme est nul dès que sa fonction polynomiale associée l'est (ou même, dès qu'elle s'annule sur une partie infinie de ${\displaystyle A}$).

• Portail de l'analyse