ATLAS Ouvrir dans l'atlas →

Définition 1Continuité

Continuité en un point

Énoncé

Soit I⊂ℝI \subset {\mathbb R}, f:I→ℝf : I \to \mathbb R et a∈Ia \in I. La fonction ff est continue en aa si ∀ε>0, ∃δ>0, ∀x∈I,∣x−a∣<δ ⟹∣f(x)−f(a)∣<ε.\begin{aligned} &\forall \varepsilon > 0,\ \exists \delta > 0,\ \forall x \in I, \\ &\quad |x - a| < \delta \ \Longrightarrow \\ &\qquad |f(x) - f(a)| < \varepsilon. \end{aligned} Elle est continue sur II si elle est continue en tout point de II.

x a f(a) f ε δ
Pour f(x)=x2f(x) = x^2, a=1a = 1 et ε=0,5\varepsilon = 0{,}5, le choix δ=0,2\delta = 0{,}2 convient : la partie du graphe située au-dessus de la bande verticale ]a−δ,a+δ[]a - \delta, a + \delta[ reste dans la bande horizontale ]f(a)−ε,f(a)+ε[]f(a) - \varepsilon, f(a) + \varepsilon[, donc dans le rectangle rouge. Tout δ\delta plus petit convient aussi ; le plus grand possible est ici la solution positive de (1+δ)2=1,5(1 + \delta)^2 = 1{,}5, environ 0,220{,}22.
Remarque

C'est la définition métrique appliquée à la distance ∣x−y∣|x - y|. La continuité sur II équivaut à la définition topologique de la continuité pour les topologies induites, ce que démontre le nœud Bijection continue, où l'on en a besoin.

Remarque

L'erreur la plus répandue est d'inverser les quantificateurs : δ\delta dépend de ε\varepsilon et de aa. Le choisir avant ε\varepsilon rendrait ff constante près de aa ; le choisir indépendamment de aa donne une notion plus forte, la continuité uniforme (Continuité uniforme).

Ouvrir dans l'atlas interactif →