Théorème des bornes
Un article de Wikipédia, l'encyclopédie libre.
En mathématiques, et plus particulièrement en analyse, le théorème des bornes est un théorème qui stipule qu'une fonction qui est continue sur un segment de 
à valeurs réelle possède et atteint un minimum et un maximum sur ce segment. C'est l'un des théorèmes fondamentaux de l'analyse.
Sommaire |
[modifier] Énoncé
Soient a et b deux réels tels que 
et soit ![f:[a,b]\rightarrow \R](../../../../math/c/b/f/cbf6bcd3aa5cc7cdf73d8d1c12387715.png)
une application. Si f est continue, alors f est bornée sur [a,b] et atteint ses bornes.
[modifier] Remarques
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.
Comme beaucoup de théorèmes fondés sur la topologie, il est intuitif. Il signifie que toute fonction continue atteint son maximum et son minimum si elle est définie sur un intervalle qui contient sa borne supérieure et inférieure.
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. Nous fournissons ici les deux démonstrations, la première car c'est la plus élégante et la deuxième pour éviter de rendre la topologie nécessaire pour bâtir une des théories de base des mathématiques, à savoir l'analyse des fonctions réelles à variable réelle.
On verra, dans les démonstrations, l'importance de se placer dans un intervalle fermé borné et de prendre une fonction continue.
[modifier] Application
Ce théorème est utilisé pour la démonstration du théorème de Rolle qui sert à démontrer le théorème des accroissements finis qui sert à l'analyse en développement limité d'une fonction et du théorème de Taylor.
[modifier] Démonstration topologique
L'intervalle [a,b] est un ensemble fermé et ensemble borné de . La topologie nous apprend que cet ensemble est un compact de . Or l'image par une fonction continue d'un compact est un compact. L'image f([a,b]) est donc un compact de . L'image est donc bornée, donc possède une borne supérieure et inférieure. Et comme l'image est fermée, elle contient sa borne supérieure et sa borne inférieure.
[modifier] Démonstration sans les théorèmes topologiques
1) Montrons que f est majorée sur [a,b].
Par l'absurde, supposons f non majorée sur [a,b]. Alors pour tout 
, il existe ![x_n \in [a,b]](../../../../math/c/8/d/c8d65a5e9d07625cbf110f8e0175c2be.png)
tel que f(xn) > n.
D'après le théorème de Bolzano-Weierstrass version réelle, comme 
est bornée, il existe une extractrice 
telle que
![x_{\varphi(n)} \underset{n \to +\infty}{\longrightarrow} \ell \in [a,b].](../../../../math/3/a/5/3a5679d80c522018dc73863277264788.png)
Et comme f est continue sur [a,b], on a
Mais d'un autre côté, on a
car est une extractrice et par construction de .
On en déduit par minoration que
Contradiction, donc f est majorée sur [a,b].
2) Montrons que f atteint sa borne supérieure.
Notons M la borne supérieure de f sur [a,b] (qui existe bien car f est majorée sur [a,b]).
Pour tout 
, M − 1 / n n'est pas un majorant de f, donc il existe ![y_n \in [a,b]](../../../../math/0/b/6/0b63cc56cd0ac0abb2cfc2a1e9ef8403.png)
tel que
D'après le théorème de Bolzano-Weierstrass version réelle, comme 
est bornée, il existe une extractrice σ telle que
![y_{\sigma(n)} \underset{n \to +\infty}{\longrightarrow} \gamma \in [a,b].](../../../../math/a/3/7/a37f7abbdb565412a71d954aeb63c0ba.png)
Et comme f est continue sur [a,b], on a
Mais d'un autre côté, on a
En passant à la limite, on obtient M = f(γ), ce qui montre que f atteint sa borne supérieure.
3) Montrons que f est minorée et atteint sa borne inférieure.
Il suffit d'appliquer les deux résultats précédents à l'application − f.
