Limite (mathématiques)

En analyse mathématique, la notion de limite décrit l’approximation des valeurs d'une suite lorsque l'indice tend vers l’infini, ou d'une fonction lorsque la variable se rapproche d’un point (éventuellement infini) au bord du domaine de définition. Si une telle limite existe dans l’ensemble d’arrivée, on dit que la suite ou la fonction est convergente (au point étudié). Si ce n’est pas le cas, elle est divergente, comme dans le cas de suites et fonctions périodiques non constantes (telle la fonction sinus en $+\infty$ ).

Sous condition d’existence, le calcul des limites est simplifié par la compatibilité avec les opérations arithmétiques élémentaires, mais plusieurs formes indéterminées font obstacle à cette technique calculatoire. La comparaison de croissance permet de lever bien souvent ces indéterminations.

La détermination d’une limite peut être raffinée par l’expression d’un équivalent (notamment dans le cas d’une limite nulle ou infinie), d’asymptotes obliques ou de branches paraboliques, voire de développement limité ou asymptotique.

La limite d’une fonction en un point appartenant à son domaine de définition est liée à la caractérisation de sa continuité. Ce constat permet d’exprimer plus généralement la limite dans un cadre topologique à l’aide de la notion de voisinage. Elle peut même s’étendre hors de ce cadre avec la notion de filtre.

Pour une fonction d’une variable à valeurs vectorielles, et notamment une courbe intégrale d’un champ de vecteurs (par exemple associé à l’espace des phases pour une équation différentielle ordinaire du second ordre), l’absence de limite est parfois compensée par l’existence d’un cycle limite.

Limite de suite

Article détaillé : Limite d'une suite.

Premiers exemples avec des suites réelles

Lorsque $n$ est un très grand nombre (entier), son inverse ${\frac {1}{n}}$ est très proche de 0. Ce phénomène s’exprime par l’égalité $\lim _{n\to \infty }{\frac {1}{n}}=0$ .

De même, on peut écrire $\lim _{n\to \infty }{\sqrt {n}}=+\infty$ , car la racine carrée peut être rendue arbitrairement grande en prenant l’entier $n$ suffisamment grand (par exemple, pour obtenir ${\sqrt {n}}>1000$ , il suffit d’avoir $n > 1 000 000$ ).

A contrario, il n’existe pas de limite pour la suite périodique $((-1)^{n})_{n\in \mathbb {N} }$ , qui prend alternativement les valeurs $1$ et $-1$ , mais qui ne tend ni vers $1$ , ni vers $-1$ , ni vers quoi que ce soit d’autre dans l’intervalle $]-1, 1[$ ou en dehors. En tant que suite bornée, elle ne peut pas non plus tendre vers $+\infty$ ou vers $-\infty$ .

Formalisation

Limite finie

La définition par Weierstrass de la convergence d’une suite réelle $(x_{n})_{n\in \mathbb {N} }$ vers une limite finie $L\in \mathbb {R}$ s’exprime par la formule^[1]

\forall \varepsilon >0\quad \exists n_{0}\in \mathbb {N} \quad \forall n\geq n_{0}\quad L-\varepsilon <x_{n}<L+\varepsilon

ou encore, par une formulation équivalente dans le cas des suites réelles, mais qui s’adapte au cas des suites à valeurs complexes,

\forall \varepsilon >0\quad \exists n_{0}\in \mathbb {N} \quad \forall n\geq n_{0}\quad |{x_{n}-L}|<\varepsilon

.

Cette définition s’étend encore aux suites dans un espace vectoriel normé en remplaçant la valeur absolue par la norme, et plus généralement aux suites dans un espace métrique avec la formulation

\forall \varepsilon >0\quad \exists n_{0}\in \mathbb {N} \quad \forall n\geq n_{0}\quad \mathrm {d} (x_{n},L)<\varepsilon

.

Dans chacun de ces cas, il ne peut y avoir deux limites différentes pour une même suite, ce qui permet d’exprimer la limite avec une égalité $\lim _{n\to \infty }x_{n}=L$ . On trouve parfois aussi la notation $x_{n}{\underset {n\to \infty }{\longrightarrow }}L$ .

Limite infinie

On dit qu’une suite réelle $(x_{n})_{n\in \mathbb {N} }$ diverge vers $+\infty$ dans le cas suivant :

\lim _{n\to \infty }x_{n}=+\infty \iff \forall M\in \mathbb {R} \quad \exists n_{0}\in \mathbb {N} \quad \forall n\geq n_{0}\quad x_{n}>M

.

Par analogie, elle diverge vers $-\infty$ dans le cas

\lim _{n\to \infty }x_{n}=-\infty \iff \forall M\in \mathbb {R} \quad \exists n_{0}\in \mathbb {N} \quad \forall n\geq n_{0}\quad x_{n}<M

.

Les trois cas de limite (finie, infinie positive ou infinie négative) sont mutuellement exclusifs et ne recouvrent pas l’ensemble des suites réelles, puisque certaines n’ont pas de limite du tout. On dit alors qu’elles divergent sans limite.

Formulation topologique

Pour une suite $(x_{n})_{n\in \mathbb {N} }$ à valeurs dans un espace topologique $E$ , on dit que la suite converge vers un élément $L \in E$ si pour tout ouvert $U$ contenant $L$ , il existe un rang $n 0$ tel que pour tout $n > n 0$ on a $x n \in U$ . Mais l’unicité de la limite repose alors sur l’hypothèse que l’espace soit séparé.

Cette définition recouvre celles des limites de suites à valeurs réelles, complexes ou dans des espaces métriques, mais s’applique également à d’autres espaces non métrisables, comme des espaces fonctionnels non normés. Pour une même suite de fonctions, différentes normes ou topologies peuvent être prises en compte conduisant à l’existence ou non de limites (convergence simple, convergence uniforme, convergence en norme $p$ ou au sens des distributions…)

Conditions d’existence

Cas des suites monotones

Toute suite réelle croissante a une limite, qui est finie si et seulement si la suite est majorée. Dans ce cas, la limite de la suite est égale à la borne supérieure de ses valeurs.

De même, toute suite réelle décroissante a une limite qui est finie si et seulement si la suite est minorée, et dans ce cas la limite de la suite est égale à la borne inférieure de ses valeurs.

Ces propriétés découlent de la propriété de la borne supérieure dans l’ensemble des réels, et elles permettent de définir également la limite inférieure d’une suite minorée et la limite supérieure d’une suite majorée :

\liminf x_{n}=\lim _{n_{0}\to \infty }\inf\{x_{n},n>n_{0}\}=\sup _{n_{0}\geq 0}\inf\{x_{n},n>n_{0}\}

,

\limsup x_{n}=\lim _{n_{0}\to \infty }\sup\{x_{n},n>n_{0}\}=\inf _{n_{0}\geq 0}\sup\{x_{n},n>n_{0}\}

.

En particulier, une suite bornée converge si et seulement si sa limite inférieure est égale à sa limite supérieure, et dans ce cas la limite de la suite est cette valeur commune. Cette propriété se généralise avec l’étude des valeurs d’adhérence d’une suite à valeurs dans un espace compact.

Autres conditions

Toute suite convergente est bornée mais une suite bornée n’est pas nécessairement convergente.

Deux suites adjacentes convergent toutes deux vers la même limite réelle.

Pour une suite $(x_{n})_{n\in \mathbb {N} }$ à valeurs réelles, complexes ou dans n’importe quel espace complet, la convergence est équivalente au critère de Cauchy :

\forall \varepsilon >0\quad \exists n_{0}\in \mathbb {N} \quad \forall (n,p)\in \mathbb {N} ^{2},\quad n_{0}<n<p\Rightarrow \mathrm {d} (x_{n},x_{p})<\varepsilon

.

Pour une suite récurrente $(x n)$ avec une fonction de récurrence $f$ , si la suite converge vers un élément $L$ en lequel la fonction $f$ est continue, alors $L$ est un point fixe de $f$ .

Application aux séries

Pour une suite $(x_{n})_{n\in \mathbb {N} }$ (à valeurs réelles complexes ou vectorielles), la série associée est aussi une suite, définie pour tout entier $n \geq 0$ par $S_{n}=\sum _{k=0}^{n}x_{k}$ , et si elle converge sa limite est la somme de la série, notée $\sum _{k=0}^{+\infty }x_{k}$ .

La convergence de la série n’est alors possible que si la suite initiale tend vers 0. Dans le cas contraire, on dit que la série diverge grossièrement.

Dans le cas d’une suite réelle positive, la série est nécessairement croissante et admet toujours une limite finie ou infinie.

Dans le cas d’une série alternée s’écrivant $S_{n}=\sum _{k=0}^{n}(-1)^{k}a_{k}$ pour tout entier $n \geq 0$ , si la suite $(a_{n})_{n\in \mathbb {N} }$ est (positive) décroissante de limite nulle, la suite des termes de rang pair $(S_{2p})_{p\in \mathbb {N} }$ et la suite des termes de rang impair $(S_{2p+1})_{p\in \mathbb {N} }$ forment des suites adjacentes donc la série converge, et le reste $R_{n}=\sum _{k=n+1}^{+\infty }(-1)^{k}a_{k}$ est toujours inférieur en valeur absolue au premier terme négligé $a_{n+1}$ .

Limite de fonction

La notion de limite de fonction ressemble à celle de la limite d’une suite, à ceci près que la variable de la fonction peut tendre vers n’importe quelle valeur de son domaine de définition ou à la frontière de celui-ci. Ainsi, pour une fonction définie sur un intervalle $] a, b [ \subset R$ , on peut étudier les éventuelles limites de la fonction en tout réel $c$ de l’intervalle, mais aussi aux bornes $a$ et $b$ , que ces bornes soient finies ou infinies.

Limite finie en une valeur finie

Définition

Pour une fonction réelle ou complexe d’une variable réelle ou complexe, la formulation d’une limite finie en une valeur finie est semblable à celle de la limite d’une suite^[2] :

\lim _{x\to a}f(x)=L\iff \quad \forall \varepsilon \in \mathbb {R} _{+}^{*}\quad \exists \delta \in \mathbb {R} _{+}^{*}\quad \forall x\in {\mathcal {D}}_{f}\quad (|{x-a}|<\delta \Rightarrow |f(x)-L|<\varepsilon )

Cette définition moderne, cohérente avec la définition topologique générale (voir infra) et désormais en vigueur en France^[3], supplante la définition historique de Weierstrass, appelée aussi « limite épointée » ou « limite par valeurs différentes »^[4], enseignée encore parfois dans les universités françaises et dans d’autres pays^[5] :

\lim _{{x\to a} \atop {x\neq a}}f(x)=L\iff \quad \forall \varepsilon \in \mathbb {R} _{+}^{*}\quad \exists \delta \in \mathbb {R} _{+}^{*}\quad \forall x\in {\mathcal {D}}_{f}\setminus {\{a\}}\quad (|{x-a}|<\delta \Rightarrow |f(x)-L|<\varepsilon )

.

Lorsque la fonction $f$ est définie en un réel $a$ , si elle admet une limite en $a$ alors cette limite est nécessairement^[6]^,^[7] égale à $f (a)$ . Plus précisément, la fonction admet une limite finie en un point $a$ de son domaine de définition si et seulement si elle est continue en $a$ . Cette condition peut aussi s’exprimer par l’égalité avec la limite épointée :

f\ {\text{continue en}}\ a\iff \lim _{{x\to a} \atop {x\neq a}}f(x)=f(a)

.

Application

La définition de cette limite est particulièrement utile pour déterminer le nombre dérivé comme limite du taux d'accroissement.

Limite à gauche ou à droite

Les limites aux bornes du domaine de la fonction inverse :

\lim _{x\to -\infty }{\tfrac {1}{x}}=\lim _{x\to +\infty }{\tfrac {1}{x}}=0

,

\lim _{x\to 0^{-}}{\tfrac {1}{x}}=-\infty

,

\lim _{x\to 0^{+}}{\tfrac {1}{x}}=+\infty

Pour une fonction $f$ d’une variable réelle $x$ , lorsque $x$ se rapproche d’un réel $a$ , il se peut que les valeurs $f(x)$ soient très contrastées selon que la variable $x$ soit inférieure ou supérieure à $a$ , comme dans le cas particulier de la fonction inverse en 0, où l’on ne peut définir de limite cohérente. Dans ce cas, on peut définir une limite à gauche et une limite à droite éventuellement différentes.

La limite d’une fonction $f$ à gauche en un réel $a$ s’écrit $\lim _{x\to a \atop x<a}f(x)$ ou $\lim _{x\to a^{-}}f(x)$ , voire $f (a -)$ ou $f g (a)$ . Sa limite à droite en $a$ s’écrit $\lim _{x\to a \atop x>a}f(x)$ ou $\lim _{x\to a^{+}}f(x)$ , voire $f (a +)$ ou $f d (a)$ .

Pour une fonction définie au voisinage à gauche et à droite d’un réel $a$ , l’existence et l’égalité des limites à gauche et à droite est équivalente à l’existence d’une limite épointée (avec la même valeur).

Expression générale

Afin d’unifier les différentes formulations de limites, on recourt à la notion de voisinage, qui s’applique à tout réel (éventuellement à droite ou à gauche) et à l’infini (en $+\infty$ ou en $-\infty$ ). On utilise aussi la notation $R = R \cup {-\infty, +\infty}$ de la droite réelle achevée.

Soit $f$ une fonction définie au voisinage^[8] (éventuellement à gauche ou à droite) de $a \in R$ et soit $L \in R$ . On dit que la fonction $f$ admet la limite $L$ en $a$ si pour tout voisinage $V$ de $L$ , il existe un voisinage $U$ (à gauche ou à droite) de $a$ tel que $f (U) \subset V$ .

On démontre que le réel L de la définition, lorsqu'il existe, est unique et on l'appelle limite de f au point p. On le note :

\lim _{x\to a}f(x)=L\quad {\text{ou}}\quad \lim _{a}f=L.

Critère séquentiel de la limite de fonction: La fonction $f$ admet la limite $L$ en $a$ si et seulement si pour tout suite $(x_{n})_{n\in \mathbb {N} }$ dans ${\mathcal {D}}_{f}$ de limite $a$ , la suite $f (x n)$ a pour limite $L$ .

Exemples

La limite de $x \mapsto 1/ x$ en l'infini est égale à 0 : $\lim _{x\to \infty }{\frac {1}{x}}=0.$
La limite de $x \mapsto 1/ x$ en 0 n'existe pas. La limite à droite est $+\infty$ : $\lim _{x\to 0+}{\frac {1}{x}}=+\infty \qquad \lim _{x\to 0-}{\frac {1}{x}}=-\infty .$
La limite de $x \mapsto x 2$ en 3 est égale à 9 (dans ce cas la fonction est définie et continue en ce point et la valeur de la fonction est égale à la limite) : $\lim _{x\to 3}x^{2}=9.$
La limite de $x \mapsto x x$ en 0 est égale à 1 : $\lim _{x\to 0}x^{x}=1.$
La limite de $x \mapsto ((a + x) 2 - a 2)/ x$ en 0 est égale à 2 $a$ : $\lim _{x\to 0}{\frac {(a+x)^{2}-a^{2}}{x}}=2a.$
La limite à droite de $x \mapsto | x |/ x$ en 0 est égale à 1 et la limite à gauche est égale à –1 : $\lim _{x\to 0+}{\frac {|x|}{x}}=1,\qquad \lim _{x\to 0-}{\frac {|x|}{x}}=-1.$
La limite de $x \mapsto x sin(1/ x)$ en $+\infty$ est égale à 1 : $\lim _{x\to +\infty }x\sin {\frac {1}{x}}=1.$
La limite de $x \mapsto (cos(x) - 1)/ x$ en 0 est égale à 0 : $\lim _{x\to 0}{\frac {\cos(x)-1}{x}}=0.$

Propriétés

Article détaillé : Opérations sur les limites.

Limite et opérations algébriques

Le passage à la limite des fonctions est compatible avec les opérations algébriques :

Si

\lim _{x\to p}f_{1}(x)=L_{1}\qquad {\text{et}}\qquad \lim _{x\to p}f_{2}(x)=L_{2}

alors

\lim _{x\to p}(f_{1}(x)+f_{2}(x))=L_{1}+L_{2}\quad {\text{et}}\quad \lim _{x\to p}(f_{1}(x)\cdot f_{2}(x))=L_{1}\cdot L_{2}\quad {\text{et}}\quad \lim _{x\to p}\left({\frac {f_{1}(x)}{f_{2}(x)}}\right)={\frac {L_{1}}{L_{2}}}.

(La dernière propriété suppose que L₂ n'est pas nulle.)

Ces propriétés sont aussi valables pour les limites à droite et à gauche, pour le cas p = $\pm\infty$ , et aussi pour les limites infinies en utilisant les règles suivantes :

q + $\infty$ = $\infty$ pour q ≠ $-\infty$ ;
q × $\infty$ = $\infty$ si q > 0 ;
q × $\infty$ = $-\infty$ si q < 0 ;
q / $\infty$ = 0 si q ≠ $\pm\infty$ .

(Voir l'article « Droite réelle achevée ».)

Remarquons qu'il n'y a pas de règle générale pour le cas q / 0 : cela dépend de la façon dont on s'approche de 0. Certains cas, comme 0/0, 0× $\infty$ , $\infty - \infty$ ou $\infty/\infty$ , ne sont pas non plus couverts par ces règles.

Limite et relation d'ordre

Si une fonction f d'une variable réelle à valeurs réelles est positive ou nulle au voisinage de p, et si la limite de f en p existe, cette limite sera positive ou nulle.
Si une fonction f d'une variable réelle à valeurs réelles est strictement positive au voisinage de p, et si la limite de f en p existe, cette limite sera positive ou nulle, mais on ne peut pas garantir que cette limite soit strictement positive.
Si la limite de f en p d'une variable réelle à valeurs réelles est strictement positive (resp. négative) alors il existe un voisinage de p (épointé dans le cas de la limite épointée) dans lequel la fonction f est strictement positive (resp. négative). Par conséquent, si la limite de f en p est non nulle, il existe un voisinage de p (épointé dans le cas de la limite épointée) dans lequel la fonction ne s'annule pas.
Une variante de ce résultat est que si une fonction f d'une variable réelle à valeurs réelles admet une limite finie l au voisinage de p, et qu'il existe un λ réel tel que l < λ (resp. l > λ), alors il existe un voisinage de p, tel que les valeurs prises par f en ce voisinage sont strictement inférieures à λ (resp. strictement supérieures à λ). On le déduit du résultat précédent en appliquant ce dernier à la fonction λ -f (reps. f-λ). Ce résultat est parfois appelé théorème du retour à la limite^{[réf. nécessaire]}.
Si deux fonctions d'une variable réelle à valeurs réelles sont rangées dans un certain ordre au voisinage de p et si ces deux fonctions admettent des limites en p, ces limites sont rangées dans le même ordre que les fonctions.
Théorème des gendarmes.

Indétermination

Article détaillé : Forme indéterminée.

Il existe certaines formes de limite où il n'est pas possible de conclure directement en utilisant des opérations sur les limites, ce sont les formes dites « indéterminées » :

$0/0$ ;
$\infty/\infty$ ;
$\infty - \infty$ ;
$0 \times \pm\infty$ ;
$00$ ;
$+\infty 0$ ;
$1 \pm\infty$ .

Espaces métriques

Les nombres réels forment un espace métrique pour la fonction distance définie par la valeur absolue : d(x ; y) = |x – y|. Il en est de même des nombres complexes avec le module. De plus, l'espace euclidien ℝⁿ forme un espace métrique avec la distance euclidienne. Voici quelques exemples motivant une généralisation des définitions de limite données précédemment.

Si (x_n) est une suite dans un espace métrique (M ; d), alors on dit que la suite a pour limite L si pour tout réel ε > 0, il existe un entier naturel n₀ tel que pour tout entier n > n₀ on ait d(x_n ; L) < ε.

Si l'espace métrique (M, d) est complet (ce qui est le cas pour l'ensemble des nombres réels ou complexes et l'espace euclidien, et tout autre espace de Banach), alors toute suite de Cauchy de M converge. Ceci permet de montrer que la suite est convergente sans nécessairement connaître la limite.

Si M est un espace vectoriel normé réel ou complexe, alors l'opération de passage à la limite est linéaire, comme dans le cas des suites de nombres réels.

Maintenant supposons que M et N sont deux espaces métriques, A une partie de M, p un élément de M adhérent à A, L un élément de N et f une application de A dans N. On dit que la limite de f(x) quand x tend vers p est égale à L et l'on écrit :

\lim _{x\to p}f(x)=L

si :

pour tout réel ε > 0 il existe un réel δ > 0 tel que pour tout x dans A tel que d(x ; p) < δ, on ait d(f(x) ; L) < ε,

ce qui est équivalent à la caractérisation séquentielle de la limite d'une fonction sur un espace métrique (voir infra).

Si l'espace d'arrivée est complet, on peut, de même que dans le cas particulier d'une suite, démontrer l'existence d'une limite pour f en p sans nécessairement connaître cette limite :

Critère de Cauchy pour une fonction^[9] — Soient M un espace métrique, N un espace métrique complet, A une partie de M et p un point de M adhérent à A.

Une application f : A → N admet une limite en p si (et seulement si) pour tout réel ε > 0 il existe un réel δ > 0 tel que pour tous x, y dans A ∩ B(p ; δ), on ait d(f(x) ; f(y)) < ε.

(Ce théorème se généralise au cas où M est seulement un espace topologique, en remplaçant les boules B(p ; δ) par des voisinages de p^[10].)

Une application f de M dans N est continue en p si et seulement si la limite de f(x) quand x tend vers p existe (elle est alors égale à f(p)). De manière équivalente, f transforme toute suite de M convergeant vers p en une suite de N convergeant vers f(p).

À nouveau, si N est un espace vectoriel normé, alors l'opération de passage à la limite est linéaire dans le sens suivant : si la limite de f(x) quand x tend vers p est égale à L et la limite de g(x) quand x tend vers p est égale à P, alors la limite de f(x) + g(x) quand x tend vers p est égale à L + P. Si a est un scalaire du corps de base, alors la limite de af(x) quand x tend vers p est égale à aL.

Si N est égal à ℝ, alors on peut définir des limites infinies ; si M est égal à ℝ, alors on peut définir des limites à droite et à gauche de manière analogue aux définitions précédentes.

Exemples

Si z est un nombre complexe de module |z| < 1, alors la suite (1 ; z ; z² ; z³ ; …) de nombres complexes converge et a pour limite 0. Géométriquement, ces nombres se rapprochent de l'origine en suivant une spirale logarithmique.
Dans l'espace métrique C([a ; b]) de toutes les fonctions continues définies sur l'intervalle [a ; b], muni de la distance de la convergence uniforme, tout élément peut être écrit comme limite d'une suite de fonctions polynomiales. C'est ce qu'affirme le théorème d'approximation de Weierstrass.

Propriétés

Toute sous-suite d'une suite convergente converge vers la même limite.

L'opération de passage à la limite est linéaire dans le sens suivant : si (x_n) et (y_n) sont des suites réelles convergentes et que lim x_n = L et lim y_n = P, alors la suite (x_n + y_n) est aussi convergente et a pour limite L + P. Si a est un nombre réel, alors la suite (a x_n) est convergente de limite aL. Ainsi, l'ensemble c de toutes les suites réelles convergentes est un espace vectoriel réel et l'opération de passage à la limite est une forme linéaire sur c à valeurs réelles.

Si (x_n) et (y_n) sont des suites réelles convergentes de limites respectives L et P, alors la suite (x_ny_n) est convergente de limite LP. Si ni P ni aucun des termes y_n n'est nul, alors la suite (x_n/y_n) est convergente de limite L/P.

Toute suite convergente est une suite de Cauchy et est ainsi bornée. Si (x_n) est une suite de réels, bornée et croissante (i. e. pour tout entier n, x_n ≤ x_n+1), alors elle est nécessairement convergente.

Une suite de nombres réels est convergente si et seulement si ses limites inférieure et supérieure sont finies et égales.

Généralisations pour les espaces topologiques

Toutes les notions de limite ci-dessus peuvent être unifiées et généralisées encore à des espaces topologiques M et N arbitraires : si A est une partie de M, p un élément de M adhérent à A, L un élément de N et f une application de A dans N, on dit que

$f$ admet $L$ pour limite en $p$ si pour tout voisinage $V$ de $L$ , il existe un voisinage $W$ de $p$ tel que $\forall y\in W\cap A\quad f(y)\in V$ ^[11].

(On ne modifie pas cette caractérisation en remplaçant l'ensemble des voisinages de $L$ (ou de $p$ ) par une base de voisinages de ce point^[12], par exemple par l'ensemble des ouverts contenant ce point.)

Un espace N est séparé si et seulement si toute application $f$ : A → N (pour tout espace M et toute partie A de M) possède, en tout point adhérent à A, au plus une limite.

La définition de limite d'une suite est un cas particulier de la définition précédente :

Une suite $(u_{n})_{n\in \mathbb {N} }$ admet L pour limite si pour tout voisinage V de L, il existe un entier naturel N tel que $\forall n\geq N\quad u_{n}\in V.$

Si M est métrisable (ou plus généralement : héréditairement séquentiel), on dispose de la caractérisation séquentielle des limites de fonctions :

Si M est héréditairement séquentiel alors $f$ admet $L$ pour limite en $p$ si (et seulement si) pour toute suite $(x_{n})$ dans $A$ de limite $p$ , $f(x_{n})\to L$ .

Si de plus N est T₁ (ou même seulement à unique limite séquentielle), $f$ admet une limite en $p$ si (et seulement si) pour toute suite $(x_{n})$ dans $A$ de limite $p$ , la suite $(f(x_{n}))$ admet une limite.

D'autres généralisations de cette notion, permettant par exemple de parler de limites « à l'infini » pour un espace métrique quelconque, ou de dire qu'une intégrale est une limite de sommes de Riemann, ont été définies ; les plus puissantes utilisent la notion de filtre. On en trouvera des exemples aux divers articles traitant de convergence : convergence simple, convergence uniforme, convergence normale, convergence presque sûre, convergence en moyenne, etc.

Notes et références

↑ On obtient une définition équivalente lorsqu'on remplace $\forall n\geq n_{0}$ par $\forall n>n_{0}$ ou $|{x_{n}-L}|<\varepsilon$ par $|{x_{n}-L}|\leq \varepsilon$ , par la même technique que dans « Limite (mathématiques élémentaires) ».
↑ On obtient une définition équivalente lorsqu'on remplace « < δ » par « ≤ δ » ou « < ε » par « ≤ ε », comme le font C. Deschamps, F. Moulin, A. Warusfel et al., Mathématiques tout-en-un MPSI, Dunod, 2015, 4^e éd. (lire en ligne), p. 486, conformément au « Programme de mathématiques de MPSI », sur Ministère de l'enseignement supérieur et de la recherche, 2013, p. 14.
↑ Selon les programmes publiés régulièrement au Bulletin officiel) dans l'enseignement secondaire et les classes préparatoires
↑ Deschamps, Moulin et Warusfel 2015, p. 506.
↑ Cf. par exemple Mathématiques L1, Cours complet avec 1 000 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, 2^e éd., 2013, p. 568, aperçu sur Google Livres, ou encore Wikipédia (en)
↑ Programme de MPSI, p. 14.
↑ Deschamps, Moulin et Warusfel 2015, p. 486.
↑ f est dite définie au voisinage de a si a est adhérent au domaine de définition de f, c'est-à-dire si tout voisinage de a contient au moins un point où f est définie, ou encore s'il existe une suite $(x_{n})_{n\in \mathbb {N} }$ de réels convergeant vers a telle que $f(x_{n})$ soit défini pour tout n.
↑ Voir B. Beck, I. Selon et C. Feuillet, Maths MP Tout en un, Hachette, 2006 (lire en ligne), p. 55 (la démonstration n'est donnée que dans le cadre des espaces vectoriels normés mais s'étend mutatis mutandis aux espaces métriques).
↑ Voir Oscillation d'une fonction en un point.
↑ N. Bourbaki, Éléments de mathématique, livre III : Topologie générale [détail des éditions], chap. I, § 7.
↑ E. Ramis, C. Deschamps et J. Odoux, Cours de mathematiques speciales, t. 3 : Topologie, Masson, 1991, p. 37.

Voir aussi

Sur les autres projets Wikimedia :

Limites d'une fonction, sur Wikiversity

Article connexe

Théorème d'interversion des limites

Liens externes

Notices dans des dictionnaires ou encyclopédies généralistes

:

Bibliographie

Christian Houzel, « Limite (notion de) », Dictionnaire de mathématiques – algèbre, analyse, géométrie, Encyclopædia Universalis et Albin Michel, Paris 1997

Portail des mathématiques

[1] On obtient une définition équivalente lorsqu'on remplace $\forall n\geq n_{0}$ par $\forall n>n_{0}$ ou $|{x_{n}-L}|<\varepsilon$ par $|{x_{n}-L}|\leq \varepsilon$ , par la même technique que dans « Limite (mathématiques élémentaires) ».

[2] On obtient une définition équivalente lorsqu'on remplace « < δ » par « ≤ δ » ou « < ε » par « ≤ ε », comme le font C. Deschamps, F. Moulin, A. Warusfel et al., Mathématiques tout-en-un MPSI, Dunod, 2015, 4^e éd. (lire en ligne), p. 486, conformément au « Programme de mathématiques de MPSI », sur Ministère de l'enseignement supérieur et de la recherche, 2013, p. 14.

[3] Selon les programmes publiés régulièrement au Bulletin officiel) dans l'enseignement secondaire et les classes préparatoires

[4] Deschamps, Moulin et Warusfel 2015, p. 506.

[5] Cf. par exemple Mathématiques L1, Cours complet avec 1 000 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, 2^e éd., 2013, p. 568, aperçu sur Google Livres, ou encore Wikipédia (en)

[6] Programme de MPSI, p. 14.

[7] Deschamps, Moulin et Warusfel 2015, p. 486.

[8] st dite définie au voisinage de a si a est adhérent au domaine de définition de f, c'est-à-dire si tout voisinage de a contient au moins un point où f est définie, ou encore s'il existe une suite $(x_{n})_{n\in \mathbb {N} }$ de réels convergeant vers a telle que $f(x_{n})$ soit défini pour tout n.

[9] Voir B. Beck, I. Selon et C. Feuillet, Maths MP Tout en un, Hachette, 2006 (lire en ligne), p. 55 (la démonstration n'est donnée que dans le cadre des espaces vectoriels normés mais s'étend mutatis mutandis aux espaces métriques).

[10] Voir Oscillation d'une fonction en un point.

[11] N. Bourbaki, Éléments de mathématique, livre III : Topologie générale [détail des éditions], chap. I, § 7.

[12] E. Ramis, C. Deschamps et J. Odoux, Cours de mathematiques speciales, t. 3 : Topologie, Masson, 1991, p. 37.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]