Voir la source de Limite (mathématiques élémentaires)

{{autre4| le concept de limite en mathématiques, présenté de façon élémentaire| une présentation plus complète mais plus abstraite| Limite (mathématiques)}}
{{Voir homonymes|Limite}}
La notion de '''limite''' est très intuitive malgré sa formulation abstraite. Pour les mathématiques élémentaires, il convient de distinguer une limite en un point réel fini (pour une [[fonction numérique]]) et une limite en <math>+\infty</math> ou <math>-\infty</math> (pour une fonction numérique ou une [[suite (mathématiques élémentaires)|suite]]), ces deux cas apparemment différents pouvant être unifiés à travers la notion topologique de [[Voisinage (mathématiques)|voisinage]].

Les limites servent (entre autres) à définir les notions fondamentales de [[Continuité (mathématiques)|continuité]] et de [[Dérivée|dérivabilité]].

== Limite d'une fonction en un point p ==
On s'intéresse ici à une fonction numérique ''f'' d'une variable réelle, de domaine de définition ''D{{ind|f}}'', et à un réel ''p'' « [[Point adhérent|adhérent]] à ''D{{ind|f}}'' » — intuitivement il est possible de s'approcher infiniment près du point p, sans obligatoirement l'atteindre, en restant à l'intérieur du [[Ensemble de définition|domaine de définition]] de ''f'' — et même, pour simplifier, tel que ''D{{ind|f}}'' contienne un intervalle de la forme ]''p, p + h''] ou [''p – h, p''[ pour un certain ''h'' > 0.

Ainsi, lorsque ''D{{ind|f}}'' est un intervalle (ouvert ou fermé) non vide dont les bornes sont ''a'' et ''b'', on peut chercher une limite en tout point de l'intervalle fermé [''a'', ''b'']. On peut aussi, par exemple, chercher la limite de la fonction <math>x \mapsto 1/x</math> en tout point de <math>\R</math>. En revanche, on ne cherchera pas de limite en 0 pour les fonctions <math>x \mapsto \sqrt{x^2-1}</math> ou <math>x \mapsto \sqrt{x^4-x^2-1}</math> car 0 n'est pas adhérent au domaine de définition.

=== Limites finies ===
[[Fichier:Límite 01 p.svg|vignette|Pour tout ''x'' δ-proche de c<!--Remplacer c par p dans l'image, ou p par c dans l'article-->, ''f''(''x'') est ε-proche de L.]]
Si {{mvar|f}} est une fonction numérique et {{mvar|p}} un point de <math>\R</math>, on dit<ref name=helas>C'est '''cette définition''' de limite d'une fonction qui est désormais en vigueur en France (programmes - plus ou moins précis - régulièrement publiés au [[Bulletin officiel (France)|Bulletin officiel]]) dans l'enseignement secondaire et les [ftp://trf.education.gouv.fr/pub/edutel/bo/2003/hs5/annexe1hd.pdf classes préparatoires], '''supplantant la définition historique''' de Weierstrass qui correspond à celle appelée dès lors « limite épointée » ou « limite par valeurs différentes » ([[Limite (mathématiques)|Limite]]). '''Mais''' dans les universités françaises (et dans les autres pays [http://en.wikipedia.org/w/index.php?title=Limit_of_a_function&oldid=324069338]), la définition « historique » reste parfois celle enseignée : cf par exemple ''Mathématiques L1, Cours complet avec 1000 tests et exercices corrigés'' sous la direction de J.-P. Marco et L. Lazzarini (2007) Pearson, {{ISBN|9782744072581}}, p. 691-692, ou encore ''Mathématiques. Tout-en-un pour la Licence. Niveau L1'' sous la direction de J.-P. Ramis et A. Warusfel (2006) Dunod, {{ISBN|210049614X}}, p. 588.</ref> que le réel {{mvar|L}} est la limite de {{mvar|f}} en {{mvar|p}} si :
* intuitivement : {{math|''f''(''x'')}} se rapproche de {{mvar|L}} à mesure que {{mvar|x}} se rapproche de {{mvar|p}} ;
* plus rigoureusement, pour tout « écart de tolérance » {{math|''ε'' > 0}}, on peut trouver un « écart de confiance » {{math|''δ'' > 0}} tel que, dès que {{mvar|x}} (appartenant à {{mvar|D{{ind|f}}}}) est proche de {{mvar|p}} à {{mvar|δ}} près, {{math|''f''(''x'')}} est proche de {{mvar|L}} à {{mvar|ε}} près :<center><math>(x\in D_f~\textrm{et}~p-\delta\le x\le p+\delta)~\Rightarrow~L-\varepsilon\le f(x)\le L+\varepsilon</math>.</center>

Autrement dit, on peut rendre {{math|''f''(''x'')}} aussi proche de {{mvar|L}} que souhaité, en restreignant les valeurs de {{mvar|x}} à un intervalle suffisamment petit autour de {{mvar|p}}.

Dans ce cas, on écrit <math>\lim_{x \to p}f(x)=L</math>.

Lorsque {{mvar|p}} appartient au domaine de définition {{mvar|D{{ind|f}}}}, la fonction {{mvar|f}} admet une limite {{mvar|L}} en {{mvar|p}} si et seulement si elle est [[Continuité (mathématiques)|continue]] au point {{mvar|p}}, et {{mvar|L}} est alors nécessairement égal à {{math|''f''(''p'')}}.

Ici et dans la suite de l'article, on a fait le choix d'inégalités larges, tant pour l'« écart de confiance » (ici : <math>|x-p|\le\delta</math>) que pour l'« écart de tolérance » (ici : <math>|f(x)-L|\le\varepsilon</math>), mais on obtiendrait des définitions équivalentes en choisissant, pour l'un ou l'autre, une inégalité stricte<ref>Cette remarque est détaillée {{Note autre projet|Wikiversité|Fonctions d'une variable réelle/Limites#Limite finie en un point|dans la leçon sur les fonctions d'une variable réelle|début=}}</ref>.
<!--[[Image:LimitDefinition.png]]-->
{{clr}}

=== Limites infinies ===

Il se peut aussi qu'au point <math>p\,\!</math> la fonction <math>f\,\!</math> n'ait pas de limite finie mais une limite infinie : à mesure que l'on se rapproche de <math>p\,\!</math> la valeur de <math>f\,\!</math> devient de plus en plus « proche » de <math>+\infty\,\!</math> ''(respectivement <math>-\infty\,\!</math>)'', c'est-à-dire de plus en plus grande ''(resp. plus grande en valeur absolue mais avec un signe négatif)''. La formulation mathématique est alors la suivante : pour tout « seuil de tolérance » <math>M\,\!</math> on peut trouver un « écart de confiance » <math>\delta > 0\,\!</math> tel que, dès que <math>x\,\!</math> (appartenant à <math>D_f\,\!</math>) est proche de <math>p\,\!</math> à <math>\delta\,\!</math> près, alors <math>f(x)\,\!</math> est plus grande ''(resp. plus petite)'' que <math>M\,\!</math> :

<math>(x\in D_f~\textrm{et}~p-\delta\le x\le p+\delta)~\Rightarrow~f(x)\ge M</math>

''(resp. <math>(x\in D_f~\textrm{et}~p-\delta\le x\le p+\delta)~\Rightarrow~f(x)\le M</math>)''

<!--:::''(illustration 2)''-->
Autrement dit, on peut rendre <math>f(x)\,\!</math> aussi proche de <math>\pm\infty\,\!</math> que souhaité sur un intervalle, si petit soit-il, autour de <math>p\,\!</math>.

Dans ce cas, on écrira <math>\lim_{x \to p}f(x) = +\infty\,\!</math> ''(ou <math>\lim_{x \to p}f(x) = -\infty\,\!</math>)''.

=== Limites à gauche, à droite ===

Il arrive que le comportement local de la fonction <math>f\,\!</math> soit différent « à gauche » de <math>p\,\!</math> (c'est-à-dire pour les <math>x<p\,\!</math>) et « à droite » de <math>p\,\!</math> (c'est-à-dire pour les <math>x>p\,\!</math>). Par exemple, une fonction peut admettre une limite à droite mais pas à gauche, ou alors admettre deux limites différentes de chaque côté.

On est donc amené à introduire les notions de limite à droite et à gauche ; la seule différence avec les limites épointées expliquées ci-dessus est qu'on impose la proximité de <math>f(x)\,\!</math> avec <math>L\,\!</math> ou <math>\pm\infty\,\!</math> seulement d'un seul côté de <math>p\,\!</math>. Les définitions et notations correspondantes deviennent donc :

* pour la limite à gauche (par valeur inférieure) :
*: <math>\lim_{\underset{x<p}{x\to p}}f(x)=L</math> (qu'on note aussi : <math>\lim_{x\to p^-}f(x)=L~\!</math>) lorsque
*:: <math>(x\in D_f~\textrm{et}~p-\delta\le x<p)~\Rightarrow~L-\varepsilon\le f(x)\le L+\varepsilon</math>
*: <math>\lim_{\underset{x<p}{x\to p}}f(x)=+\infty</math> (qu'on note aussi : <math>\lim_{x\to p^-}f(x)=+\infty~\!</math>) lorsque
*:: <math>(x\in D_f~\textrm{et}~p-\delta\le x<p)~\Rightarrow~f(x)\ge M</math>
* pour la limite à droite (par valeur supérieure) :
*: <math>\lim_{\underset{x>p}{x\to p}}f(x)=L</math> (qu'on note aussi : <math>\lim_{x\to p^+}f(x)=L~\!</math>) lorsque
*:: <math>(x\in D_f~\textrm{et}~p<x\le p+\delta)~\Rightarrow~L-\varepsilon\le f(x)\le L+\varepsilon</math>
*: <math>\lim_{\underset{x>p}{x\to p}}f(x)=+\infty</math> (qu'on note aussi : <math>\lim_{x\to p^+}f(x)=+\infty~\!</math>) lorsque
*:: <math>(x\in D_f~\textrm{et}~p<x\le p+\delta)~\Rightarrow~f(x)\ge M</math>

Les notions de limites à droite et à gauche sont moins restrictives que la notion classique de limite « bilatérale » : une fonction peut avoir une limite à gauche et une limite à droite sans avoir de limite ni même de limite épointée. En fait on a les propriétés suivantes :
* pour une fonction non définie en ''p'' : une fonction a une limite en <math>p \,\!</math> si et seulement si elle a une limite (éventuellement infinie) à gauche <math>L_g\,\!</math> et une limite à droite <math>L_d\,\!</math> et qu'elles sont égales : <math>L_g=L_d\,\!</math>
* pour une fonction définie en ''p'' : une fonction a une limite en <math>p \,\!</math> si et seulement si<ref name=helas/> elle a une limite à gauche <math>L_g\,\!</math> et une limite à droite <math>L_d\,\!</math> et qu'elles sont égales toutes deux à ''f''(''p'') : <math>L_g=L_d=f(p)\,\!</math>

'''Exemple :'''
[[Image:Limgauchedroite.png|vignette|300px]]
Pour la fonction ci-contre, on a :
:<math>f(0)=-1,\qquad\lim_{x\to 0^-}f(x)=1,\qquad\lim_{x\to 0^+}f(x)=-1</math>.
{{clr}}

=== Absence de limite en un point ===
[[Image:Sinus1surx.png|vignette|300px]]
Une fonction peut très bien ne pas avoir de limite du tout en un point.

Par exemple, <math> x \mapsto \sin(1/x) </math> n'a pas de limite en 0.
{{clr}}

== Limite d'une fonction en +∞ ou en -∞ ==

On s'intéresse ici, non plus au comportement local d'une fonction en un point réel fini mais à son comportement « aux limites », soit quand <math>x\,\!</math> croît indéfiniment (limite en <math>+\infty</math>) soit quand <math>x\,\!</math> décroît indéfiniment (limite en <math>-\infty</math>). Cette étude ne concerne donc que des fonctions définies ''au voisinage'' de <math>+ \infty</math> ou <math>-\infty</math>, c'est-à-dire des fonctions dont l'ensemble de définition contient un intervalle de la forme [''M'', <math>+ \infty</math>[ ou ]<math> - \infty</math>, m].

On peut noter que dans ce cadre la notion de limite à droite ou à gauche n'a plus de sens ; en fait les limites en <math>+\infty</math> sont toujours des limites à gauche et les limites en <math>-\infty</math> sont toujours des limites à droite.

=== Limites finies ===
[[Image:Limit-at-infinity-graph.png|vignette|350px|Pour tout ''x'' > ''S''<!--Comment remplacer S par M ?-->, ''f''(''x'') est ε-proche de ''L''.]]
Dire que la fonction <math>f\,\!</math> admet la limite finie <math>L\,\!</math> en <math>+\infty</math> revient à dire que <math>f(x) \,\!</math> se rapproche de <math>L\,\!</math> à mesure que <math>x\,\!</math> grandit (ou « tend vers plus l'infini »).

Mathématiquement, cela se traduit par le fait que pour tout « écart de tolérance » <math>\varepsilon>0 \,\!</math> on peut donner un « seuil de confiance » <math>M>0 \,\!</math> au-delà duquel la fonction restera dans l'intervalle de tolérance, de centre <math>L\,\!</math> et de rayon <math>\varepsilon \,\!</math> :
<math>(x\in D_f~\textrm{et}~x\geq M)~\Rightarrow~L-\varepsilon\le f(x)\le L+\varepsilon</math>

Autrement dit, on peut rendre <math>f(x)\,\!</math> aussi proche de <math>L\,\!</math> que souhaité à partir d'un certain seuil, si lointain soit-il.

Dans ce cas on écrira <math>\lim_{x\to+\infty}f(x)=L\,\!</math>.

Tout ceci s'adapte facilement dans le cas d'une limite en <math>-\infty</math> : on dit que <math>f(x)\,\!</math> tend vers <math>L\,\!</math> quand <math>x</math> tend vers <math>-\infty</math> si pour un écart <math>\varepsilon > 0 \,\!</math> on peut trouver un seuil <math>M < 0 \,\!</math> tel que :
<math>(x\in D_f~\textrm{et}~x\le M)~\Rightarrow~L-\varepsilon\le f(x)\le L+\varepsilon</math>
et on écrira alors <math>\lim_{x\to-\infty}f(x)=L\,\!</math>.
<!--
Exemple :

[[Image:Inversa liminf.png]]

Ici, pour <math>\varepsilon</math> aussi petit qu'on veut, il existe ''M'' à partir duquel la fonction reste entre <math> 0 + \varepsilon</math> et <math> 0 - \varepsilon </math>. La fonction tend donc vers 0.
-->
=== Limites infinies ===

==== Cas où la limite de f est +∞ quand x tend vers +∞ ====
{| align=right
 | [[Image:limite x to +infty f(x) to +infty.png]]
 |-
 | align=center | <math>\lim_{x\to+\infty}f(x) = +\infty</math>
 |}
'''Idée intuitive''' : On dit que <math>f(x)</math> tend vers <math>+\infty</math> quand <math>x</math> tend vers <math>+\infty</math> lorsque pour <math>x</math> suffisamment grand, <math>f(x)</math> peut devenir aussi grand que l'on veut.

'''Formulation mathématique''' : On dit que <math>f(x)</math> tend vers <math>+\infty</math> quand <math>x</math> tend vers <math>+\infty</math> lorsque quel que soit le réel <math>M</math>, il existe <math>x_0</math> tel que quel que soit <math>x\ge x_0</math>, <math>f(x)\ge M</math>.

'''Notation''' : Dans ce cas, on note <math>\lim_{x\to+\infty}f(x) = +\infty</math>.
{{Clr}}

==== Autres cas ====

Les autres cas sont résumés par les trois graphiques suivants :
{| width=100%
 | align=center | [[Image:limite x to +infty f(x) to -infty.png]]
 | align=center | [[Image:limite x to -infty f(x) to +infty.png]]
 | align=center | [[Image:limite x to -infty f(x) to -infty.png]]
 |-
 | align=center | <math>\lim_{x\to+\infty}f(x) = -\infty</math>
 | align=center | <math>\lim_{x\to-\infty}f(x) = +\infty</math>
 | align=center | <math>\lim_{x\to-\infty}f(x) = -\infty</math>
 |}

=== Absence de limite en l'infini ===
[[Image:Sinuspetit.png|vignette|300px]]
Une fonction peut très bien ne pas avoir de limite en l'infini. La [[Fonction trigonométrique|fonction sinus]] en est un exemple typique.
{{clr}}

== Limite d'une suite ==

{{article détaillé|Limite de suite}}

=== Introduction ===

Les suites sont le type particulier des fonctions dont le domaine de définition est <math>\N</math> ou une partie de <math>\N</math>. Il est donc inutile de considérer la limite éventuelle d'une suite en un point <math>a</math> négatif, ou non entier, ou encore en <math>-\infty</math>. Ce qui nous laisse comme possibilités ''a priori'', les [[Entier naturel|entiers naturels]] et <math>+\infty</math>.

Mais on voit rapidement que l'étude de la [[limite d'une suite]] en un entier <math>n</math> serait inintéressante ; en effet l'ensemble <math>\N</math> est '''discret''' c'est-à-dire que ses points « ne sont pas voisins les uns des autres », et donc il est sans intérêt d'étudier le comportement local d'une suite. Ainsi le seul cas de figure envisageable est le cas de la limite d'une suite en <math>+\infty</math>, et l'on parlera donc de « limite d'une suite » sans préciser qu'il s'agit d'une limite en <math>+\infty \,\!</math>. On pourra même noter <math>\lim (u_n)</math> au lieu de <math>\lim_{n \to +\infty}u_n.</math>

=== Définition, convergence, divergence ===

La définition d'une suite découle assez naturellement de la restriction à une fonction définie sur <math>\N \,\!</math> de la définition de la limite en <math>+\infty \,\!</math> d'une fonction quelconque.

* Cas d'une limite finie <math>l \,\!</math> : pour tout « écart de tolérance » <math>\varepsilon > 0 \,\!</math> il existe un « rang de confiance » <math>N_0 \in \N \,\!</math> tel que, pour <math>n \,\!</math> à partir du rang <math>N_0 \,\!</math>, la valeur <math>u_n \,\!</math> est proche de <math>l \,\!</math> à <math>\varepsilon \,\!</math> près :
<math>n \geq N_0 \ \Rightarrow l-\varepsilon \leq u_n \leq l+\varepsilon \,\!</math>

On note alors <math>\lim (u_n) = l \,\!</math>, et on dit que <math>(u_n) \,\!</math> tend (ou plutôt ''converge'') vers <math>l \,\!</math>.

Une suite qui admet une limite finie est dite '''''convergente'''''. On a la propriété suivante :
''Toute suite convergente est bornée''.

* Cas d'une limite infinie : pour tout « seuil de tolérance » <math>M \,\!</math> on peut trouver un « rang de confiance » à partir duquel les valeurs de <math>(u_n) \,\!</math> sont supérieures ''(resp. inférieures)'' à <math>M \,\!</math> :
** <math>n \geq N_0 \ \Rightarrow u_n \geq M \,\!</math> pour <math>\lim (u_n) = +\infty \,\!</math>
** <math>n \geq N_0 \ \Rightarrow u_n \leq M \,\!</math> pour <math>\lim (u_n) = -\infty \,\!</math>

On dit alors que <math>(u_n) \,\!</math> tend (ou plutôt ''diverge'') vers <math>+\infty \,\!</math> ''(resp. vers <math>-\infty \,\!</math>)''.

'''NB :''' on parle de suite '''''convergente''''' seulement lorsqu'une suite admet une limite ''finie'', et de suite '''''divergente''''' dans tous les autres cas, c'est-à-dire pour les suites divergeant vers <math>\pm\infty \,\!</math> ou pour les suites n'ayant pas de limite.

'''Exemples''' :
:<math>u_n = 1 /n </math> tend vers 0
:<math>u_n = n </math> tend vers <math>+\infty </math>
:<math>u_n = (-1) ^n </math> prend alternativement les valeurs 1 et -1 et n'a aucune limite.

=== [[Théorème]]s assurant la convergence ===
'''Théorème 1 :''' toute suite [[Suite (mathématiques élémentaires)#Majorant minorant|majorée]] [[Suite (mathématiques élémentaires)#Croissance|croissante]] est convergente.

'''Théorème 2 :''' toute suite [[Suite (mathématiques élémentaires)#Majorant minorant|minorée]] [[Suite (mathématiques élémentaires)#Décroissance|décroissante]] est convergente.

=== Suites extraites ===

On appelle ''suite extraite'' de la suite <math>(u_n) \,\!</math> une suite qu'on construit en énumérant les termes de <math>(u_n) \,\!</math> ''sauf certains'' qu'on laisse de côté ; ainsi on ne garde qu'une partie de l'information. L'exemple le plus classique est celui des suites <math>(u_{2n}) \,\!</math> qui est formée par les termes de rang pair, et <math>(u_{2n+1}) \,\!</math> qui est formée par les termes de rang impair.

Plus généralement, on appelle ''« extraction »'' toute application
<math>\phi \ : \ \N \rightarrow \N \,\!</math> strictement croissante. Alors une suite extraite est une suite de la forme <math>(u_{\phi(n)}) \,\!</math>.

Une propriété importante est que ''si une suite <math>(u_n) \,\!</math> admet une limite (finie ou infinie) alors toute suite extraite <math>(u_{\phi(n)}) \,\!</math> admet la même limite''.

'''NB :''' la réciproque est en général fausse, ainsi qu'on peut le constater en prenant la suite <math>(u_n) = (-1)^n \,\!</math> ; alors <math>(u_{2n}) \,\!</math> est la suite constante égale à <math>1 \,\!</math> et donc elle converge vers <math>1 \,\!</math>, ce qui n'est pas le cas de la suite <math>(u_n) \,\!</math> qui est divergente.

On peut par contre affirmer : ''Si les suites <math>(u_{2n}) \,\!</math> et <math>(u_{2n+1}) \,\!</math> admettent la même limite, alors la suite <math>(u_n) \,\!</math> admet elle aussi cette limite commune''. On peut donc ramener l'étude de la convergence d'une suite à celle des suites de rangs pair et impair qui peuvent s'avérer plus simples.

== Notes ==
{{Références}}

== Compléments ==
{{autres projets|wikiversity=Limites d'une fonction|wikiversity titre=Limites d'une fonction}}

* [[Opérations sur les limites]]
* [[Limites de référence]]
* [[Théorème des gendarmes]]

{{palette|Mathématiques élémentaires}}
{{Portail|analyse}}

[[Catégorie:Analyse réelle]]

[[nl:Limiet#Limiet van een functie]]