Partie bornée

Un article de Wikipédia, l'encyclopédie libre.
(Redirigé depuis Ensemble borné)
Aller à : navigation, rechercher
Page d'aide sur l'homonymie Pour les articles homonymes, voir Borne.

En mathématiques, la notion de partie bornée (ou, par raccourci, de borné) étend celle d'intervalle borné de réels à d'autres structures, notamment en topologie et en théorie des ordres. Selon les cas, la définition privilégie l'existence de bornes ponctuelles ou la négation de l'éloignement à l'infini.

Une fonction bornée est une fonction dont l'image est bornée dans l'ensemble d'arrivée.

Un opérateur borné est un opérateur linéaire dont les images de bornés sont bornées également. Dans le cadre des espaces vectoriels normés, cette définition est équivalente à celle d'opérateur continu.

La donnée de parties bornées sur un ensemble indépendamment de toute autre structure est appelée bornologie (de).

Topologie[modifier | modifier le code]

Dans un espace métrique[modifier | modifier le code]

Une partie d'un espace métrique est dite bornée si la distance entre ses points est majorée par un réel fixé, autrement dit si son diamètre est fini. En ce sens, les bornés de la droite réelle sont bien les parties majorées et minorées, c'est-à-dire les parties incluses dans des intervalles bornés.

Cette propriété est intrinsèque à la partie, c'est-à-dire ne dépend pas du reste de l'espace métrique.

Dans un espace vectoriel topologique[modifier | modifier le code]

Le caractère archimédien du corps des réels s'illustre par le fait que n'importe quel intervalle borné peut être d'image incluse dans n'importe quel ouvert non vide par une homothétie.

Cette propriété donne lieu à la définition de partie bornée d'un espace vectoriel topologique comme une partie incluse dans n'importe quel voisinage de l'origine à homothétie près.

Théorie des ordres[modifier | modifier le code]

Une partie d'un ensemble ordonné est bornée si elle admet à la fois un majorant et un minorant dans cet ensemble. En dehors du cas où la partie elle-même contient un majorant et un minorant, cette définition dépend donc a priori du reste de l'ensemble ordonné.

De cette façon, les parties bornées dans l'ensemble ordonné des réels restent bien les parties majorées et minorées.

Articles connexes[modifier | modifier le code]