droite|vignette| Schéma d'une fonction bornée (rouge) et d'une fonction non bornée (bleu). Intuitivement, le graphe d'une fonction bornée reste dans une bande horizontale, contrairement au graphe d'une fonction non bornée. En mathématiques, une fonction est dite bornée si l'ensemble de ses valeurs est borné.
Pour une fonction définie sur un ensemble et à valeurs réelles ou complexes, cela revient à dire qu'il existe un nombre réel tel que pour tout dans ,
Une fonction à valeurs réelles est dite majorée ( minorée) si l'ensemble de ses valeurs possède un majorant ( minorant) réel. Elle est bornée si et seulement si elle est à la fois majorée et minorée.
Exemples
La fonction sinus est bornée (minorée par et majorée par ). La fonction définie pour tous les réels à l'exception de est non bornée. À mesure que s'approche , les valeurs de cette fonction deviennent de plus en plus grandes. Cette fonction peut être rendue bornée si on la restreint par exemple à . La fonction définie pour tout réel est bornée (l'ensemble de ses valeurs est l'intervalle ). La fonction circulaire réciproque arc tangente est bornée : pour tout réel , . Une suite bornée est une fonction bornée définie sur l'ensemble ℕ des entiers naturels. L'ensemble de toutes les suites bornées forme l'espace des suites bornées, noté . Toute fonction continue de dans ℝ est bornée. Plus généralement : toute fonction continue d'un espace compact dans un espace métrique est bornée ( Théorème des valeurs extrêmes pour plus de détails) ; tout fonction localement bornée d'un espace dénombrablement compact dans ℝ est bornée et atteint ses bornes (voir Passage du local au global).
Remarques L’ensemble des fonctions réelles bornées sur un même ensemble constitue un sous-espace vectoriel stable aussi par multiplication, ce qui en fait une algèbre normée par la norme infini. Plus généralement, cet ensemble est stable par composition par une fonction continue. Cela implique notamment que toute variable aléatoire réelle bornée admet des moments à n’importe quel ordre. Toute fonction monotone bornée sur un intervalle possède en chaque point une limite finie à gauche et une à droite : c'est le théorème de la limite monotone. Toute fonction entière bornée est constante : c'est le théorème de Liouville.
Notion connexe Une famille de fonctions est si la réunion de leurs ensembles de valeurs est borné.
Article connexe Support compact
Catégorie:Analyse complexe Catégorie:Analyse réelle Bornee