En mathématiques, les notions de borne supérieure et borne inférieure d'un ensemble de nombres réels interviennent en analyse, comme cas particulier de la définition générale suivante : la borne supérieure (ou le supremum) d'une partie d'un ensemble (partiellement) ordonné est le plus petit de ses majorants. Une telle borne n'existe pas toujours, mais si elle existe alors elle est unique. Elle n'appartient pas nécessairement à la partie considérée. Dualement, la borne inférieure (ou l'infimum) d'une partie est le plus grand de ses minorants.
Lorsque l'ensemble ordonné est celui des réels, l'existence d'une borne supérieure est assurée pour toute partie non vide et majorée : on dit que R possède la propriété de la borne supérieure. Cette même propriété assure aussi l'existence d'une borne inférieure pour tout ensemble non vide et minoré de réels. Les bornes supérieure et inférieure d'un intervalle borné non vide de R sont simplement ses extrémités.
Les bornes supérieure et inférieure d'une fonction sont les bornes de l'ensemble de ses valeurs.
N.B. : Les expressions anglaises upper bound et lower bound ne correspondent pas à « borne supérieure » et « borne inférieure », mais à majorant et minorant, respectivement ; « borne supérieure » se traduit par least upper bound ou supremum et « borne inférieure » par greatest lower bound ou infimum.
Dans un ensemble partiellement ordonné E, la borne supérieure d'une partie F de E est, s'il existe, le plus petit des majorants de F dans E. Elle est classiquement notée sup(F), et caractérisée par : si
M est un majorant de F : x ≤ M pour tout x de F, et
c'est le plus petit : pour tout y de E, si y est un majorant de F (c'est-à-dire si pour tout x de F, x ≤ y), alors M ≤ y.
Remarques
Le lien entre la notion de borne supérieure et celle de plus grand élément (cf. début de la section « Exemples » ci-dessous) est dû au fait que si M appartient à F, le point 2 ci-dessus est automatiquement vérifié.
Si M = sup(F) alors, pour un élément donné y de E :
le point 2.
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
En mathématiques, un nombre réel est un nombre qui peut être représenté par une partie entière et une liste finie ou infinie de décimales. Cette définition s'applique donc aux nombres rationnels, dont les décimales se répètent de façon périodique à partir d'un certain rang, mais aussi à d'autres nombres dits irrationnels, tels que la racine carrée de 2, π et e.
Order theory is a branch of mathematics that investigates the intuitive notion of order using binary relations. It provides a formal framework for describing statements such as "this is less than that" or "this precedes that". This article introduces the field and provides basic definitions. A list of order-theoretic terms can be found in the order theory glossary. Orders are everywhere in mathematics and related fields like computer science. The first order often discussed in primary school is the standard order on the natural numbers e.
L'analyse (du grec , délier, examiner en détail, résoudre) a pour point de départ la formulation rigoureuse du calcul infinitésimal. C'est la branche des mathématiques qui traite explicitement de la notion de limite, que ce soit la limite d'une suite ou la limite d'une fonction. Elle inclut également des notions comme la continuité, la dérivation et l'intégration. Ces notions sont étudiées dans le contexte des nombres réels ou des nombres complexes.
This paper rethinks Sharpness-Aware Minimization (SAM), which is originally formulated as a zero-sum game where the weights of a network and a bounded perturbation try to minimize/maximize, respectively, the same differentiable loss. We argue that SAM shou ...
2024
We establish a Chung-type law of the iterated logarithm and the exact local and uniform moduli of continuity for a large class of anisotropic Gaussian random fields with a harmonizable-type integral representation and the property of strong local nondeterm ...
Explore les fonctions réelles, couvrant la continuité, supreme, infimum, maximum, minimum, ensembles compacts et connectés, et le théorème de valeur intermédiaire.
The lack of detection to date of electromagnetic technosignatures implies either that we have been unable to detect them due to incomplete sampling of the search space or that we cannot detect them because the Earth has been located during the entire histo ...