Théorème des valeurs extrêmes

En mathématiques, et plus précisément en analyse réelle, le théorème des valeurs extrêmes ou théorème des bornes atteintes ou théorème des bornes ou théorème de Weierstrass énonce qu'une fonction continue sur un segment est bornée et atteint ses bornes. Autrement dit, une telle fonction possède un minimum et un maximum sur ce segment. Ce résultat peut être démontré par la compacité des segments réels, mais repose plus fondamentalement sur la propriété de la borne supérieure. A priori, les valeurs de c et d ne sont pas uniques et rien n'indique que c soit inférieur ou supérieur à d. Ce théorème, avec le théorème des valeurs intermédiaires, est à la fois suffisamment important pour qu'il soit impératif à la compréhension de la théorie des fonctions réelles de la variable réelle et suffisamment complexe pour que sa démonstration soit omise dans les cours élémentaires (il n'est démontré que dans l'enseignement supérieur en France). Si leurs démonstrations sont complexes c'est qu'elles font nécessairement appel à la topologie du corps des nombres réels. Il apparaît dans les cours de Weierstrass au cours des années 1870, mais il a été démontré précédemment par Bolzano dans son traité Rein analytischer Beweis de 1817 à l'aide de la propriété de la borne supérieure (il admet seulement le critère de Cauchy pour la convergence des suites). Comme beaucoup de théorèmes fondés sur la topologie, il est intuitif. Il signifie que toute fonction continue et définie sur un intervalle fermé atteint son maximum et son minimum. Un espace sur lequel toute fonction continue à valeurs réelles est bornée s'appelle un . Sur un tel espace, toute fonction continue f à valeurs réelles atteint automatiquement sa borne supérieure M (sinon, la fonction 1/(M – f) serait continue et non bornée) et, de même, sa borne inférieure. Le théorème des bornes peut donc s'énoncer ainsi : tout segment réel est pseudo-compact. La topologie fournit deux théorèmes qui rendent la démonstration évidente. Sans la topologie, la démonstration est relativement délicate pour un résultat aussi intuitif.

À propos de ce résultat

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.

Concepts associés (8)

Cours associés (2)

Séances de cours associées (44)

MATH-100(a): Advanced analysis I

Nous étudions les concepts fondamentaux de l'analyse, le calcul différentiel et intégral de fonctions réelles d'une variable.

MATH-100(b): Advanced analysis I

Dans ce cours, nous étudierons les notions fondamentales de l'analyse réelle, ainsi que le calcul différentiel et intégral pour les fonctions réelles d'une variable réelle.

Uniform norm

In mathematical analysis, the uniform norm (or ) assigns to real- or complex-valued bounded functions f defined on a set S the non-negative number This norm is also called the , the , the , or, when the supremum is in fact the maximum, the . The name "uniform norm" derives from the fact that a sequence of functions \left{f_n\right} converges to f under the metric derived from the uniform norm if and only if f_n converges to f uniformly.

Théorème des valeurs extrêmes

Extremum

Un extremum (pluriel extrema ou extremums), ou extrémum (pluriel extrémums), est une valeur extrême, soit maximum, soit minimum. Cette notion est particulièrement utilisée en mathématiques, où l'expression maximo-minimum, introduite par Nicolas de Cues, correspond à partir de Fermat et Leibniz aux extrêmes d'une courbe ou d'une fonction, repérés par le fait que les dérivées s'y annulent. Elle est aussi utilisée en physique, où le principe de moindre action est un principe extrémal ainsi que Euler l'a montré.

Théorème des valeurs extrêmes MATH-101(d): Analysis I

Discute du Théorème des valeurs extrêmes pour des fonctions continues à intervalles fermés.

Séquences de nombres réels: Cauchy Sequences MOOC: Analyse I

Discute des séquences de Cauchy, des sous-séquences et des séries numériques avec des paramètres.

Algorithme de bisection : Convergence et continuité MATH-101(g): Analysis I

Explore l'algorithme de bisection, la convergence des séquences et la continuité des fonctions.