- Theoreme de composition des limites
-
Théorème de composition des limites
En mathématiques, le théorème de composition des limites est un théorème de base de l'analyse réelle. Elle permet d'exprimer une limite d'une fonction composée en fonction des limites des fonctions la composant.
Enoncé
Théorème — Soient f une application de I dans
, g une application de J dans
où I et J sont deux intervalles de
contenant au moins deux points (c'est-à-dire d'intérieur non vide) et tels que
. Soit a un point ou une extrémité de I.
On suppose que
où
est un point ou une extrémité de J et que
Alors
DémonstrationElle s'adapte à chaque cas (selon si a ou
ou
sont des extrémités ou non, puis lesquelles). Traitons l'exemple pour a réel,
et
.
Comme
pour tout γ réel, il existe α > 0 tel que pour tout
gamma." style="max-width : 98%; height: auto; width: auto;" src="/pictures/frwiki/57/98db8c0d83dd404684dc6227710d2181.png" border="0">
Comme a est un point ou une extrémité de I, il existe
tel que | x0 − a | < α. On a donc
gamma" style="max-width : 98%; height: auto; width: auto;" src="/pictures/frwiki/98/bcb98bb4a5894281ebfaae3bca30b336.png" border="0">. Donc pour tout γ réel, il existe
tel que y > γ. Donc comme c'est un intervalle, J est du type
.
Montrons maintenant que
Par la deuxième hypothèse on peut se donner A un réel puis B un réel tel que pour tout
B \Longrightarrow g(x)
Soit C un réel positif tel que pour tout
B." style="max-width : 98%; height: auto; width: auto;" src="/pictures/frwiki/56/8e55f7eeeee0fa2a905b4d5acc357a10.png" border="0">
On a alors pour tout
d'où le résultat.
Exemple
Calculons
Le domaine d'arrivée de la fonction inverse, restreinte aux réels positifs est bien contenu dans le domaine de définition du logarithme naturel. Clairement on a
On calcule donc la limite de ln à la limite trouvée précédemment:
Finalement, on a
- Portail des mathématiques
Catégories : Analyse réelle | Théorème de mathématiques
Wikimedia Foundation. 2010.