Borne (mathématiques)

Borne (mathématiques)
Page d'aide sur l'homonymie Pour les articles homonymes, voir Borne.

En mathématiques, une borne est une extrémité d'un intervalle dans lequel se situent tous les éléments d'un ensemble donné ou toutes les valeurs d'une fonction donnée. Une borne est un majorant si elle est supérieure à toutes ces valeurs ; elle est un minorant si elle est inférieure à toutes ces valeurs. S'il existe à la fois un minorant et un majorant, l'ensemble ou la fonction sont dits « bornés ».

La borne supérieure, ou supremum d'un ensemble de nombres réels est le plus petit de ses majorants. Son existence est assurée dès lors que l'ensemble est non vide et a au moins un majorant : on dit que ℝ possède la propriété de la borne supérieure. Cette même propriété assure aussi l'existence d'une borne inférieure, ou infimum, le plus grand des minorants, pour tout ensemble non vide de nombres réels admettant au moins un minorant.

Sommaire

Définition

Dans un ensemble ordonné E, la borne supérieure d'une partie F de E est, s'il existe, le plus petit majorant de F. Elle est classiquement notée sup(F).

De la même manière, dans un ensemble ordonné E, la borne inférieure d'une partie F de E est, s'il existe, le plus grand minorant de F. Elle est classiquement notée inf(F).

Une partie, même majorée, d'un ensemble ordonné quelconque ne possède pas nécessairement une borne supérieure, mais si elle en possède une, celle-ci est unique. De même sa borne inférieure, si elle existe, est unique.

Propriété de la borne supérieure

On dit qu'un ensemble ordonné E possède la propriété de la borne supérieure si toute partie non vide et majorée de E possède une borne supérieure.

C'est notamment le cas de l'ensemble ordonné ℝ des réels.

Exemples

  • Dans l'ensemble des nombres réels :
    • toute partie majorée non vide de l'ensemble des réels possède une borne supérieure ;
    • la borne supérieure de l'intervalle ]0,1[ est 1 ;
    • la borne inférieure de l'intervalle ]0,1[ est 0.
  • L'ensemble des rationnels dont le carré est inférieur à 2 est une partie majorée de ℚ qui n'a pas de borne supérieure dans ℚ.
  • La partie ℤ de ℝ ne possède pas de borne supérieure (ni inférieure). Toutefois, considéré comme sous-ensemble de la droite achevée \scriptstyle\overline{\R}=\R\cup\{-\infty,+\infty\}, il admet \scriptstyle+\infty comme borne supérieure (et \scriptstyle-\infty comme borne inférieure).
  • L'ensemble vide n'a pas de borne supérieure (ni inférieure) dans ℝ, mais dans il admet \scriptstyle-\infty comme borne supérieure, car tout élément de est un majorant de l'ensemble vide et le plus petit d'entre eux est \scriptstyle-\infty (et il admet \scriptstyle+\infty comme borne inférieure).
  • Un treillis est un ensemble ordonné où toute paire possède une borne supérieure et une borne inférieure. Il est dit complet si toute partie possède une borne supérieure et une borne inférieure (cette condition est en fait redondante). Par exemple est un treillis complet.
  • Pour tout ensemble non vide X, l'ensemble X des applications de X dans (muni de l'ordre produit) est par conséquent complet. Ainsi, toute famille \scriptstyle(f_i)_{i\in I} d'applications de X dans possède une borne supérieure \scriptstyle\sup_{i\in I}f_i et une borne inférieure \scriptstyle\inf_{i\in I}f_i. Il résulte de leur définition que pour tout \scriptstyle x\in I,
\left(\sup_{i\in I} f_i\right)(x)=\sup_{i\in I}\left(f_i(x)\right)\quad\text{et}\quad\left(\inf_{i\in I} f_i\right)(x)=\inf_{i\in I}\left(f_i(x)\right).
Ainsi, l'enveloppe supérieure d'une famille de fonctions n'est autre que sa borne supérieure.

Articles connexes


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Borne (mathématiques) de Wikipédia en français (auteurs)

Игры ⚽ Нужна курсовая?

Regardez d'autres dictionnaires:

  • Borne (Mathématiques) — Pour les articles homonymes, voir Borne. Sommaire 1 Définition 2 Propriété de la borne supérieure 3 …   Wikipédia en Français

  • Borne inférieure — Borne (mathématiques) Pour les articles homonymes, voir Borne. Sommaire 1 Définition 2 Propriété de la borne supérieure 3 …   Wikipédia en Français

  • Borne supérieure — Borne (mathématiques) Pour les articles homonymes, voir Borne. Sommaire 1 Définition 2 Propriété de la borne supérieure 3 …   Wikipédia en Français

  • Mathematiques du Sudoku — Mathématiques du Sudoku Grille de Sudoku classique …   Wikipédia en Français

  • Mathématiques Du Sudoku — Grille de Sudoku classique …   Wikipédia en Français

  • Mathématiques du sudoku — Grille de Sudoku classique …   Wikipédia en Français

  • MATHÉMATIQUES (FONDEMENTS DES) — Au sens premier et fort, le mot «fondement» désigne la base, jugée inébranlable, sur laquelle repose un corps d’énoncés, un système de connaissances, un complexe de croyances ou de conduites. «Reposer sur la base» signifie ici «trouver en elle à… …   Encyclopédie Universelle

  • Borné — Borne Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom …   Wikipédia en Français

  • Mathématiques en Mésopotamie — Mathématiques babyloniennes Photographie de la tablette YBC 7289 annotée. Les nombres écrits dans le système babylonien donnent la racine carrée de 2 avec quatre chiffres sexagésimaux significatifs, soit près de six chiffres décimaux : 1 +… …   Wikipédia en Français

  • Mathématiques du Sudoku — Grille de Sudoku classique Variante du Sudoku basée sur des comparaisons entre les cases …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”