Définition séquentielle de la continuité en un point 703
Pour la réciproque, on raisonne par l’absurde. Si fn’est pas continue en a, il existe un
réel ε > 0tel que pour tout entier n≥1on peut trouver xn∈Itel que |xn−a|<1
net
|f(xn)−f(a)| ≥ ε. On a donc ainsi une suite (xn)n∈Nde points de Iqui converge vers apour
laquelle la suite (f(xn))n∈Nne converge pas vers f(a).
En fait on a le résultat plus fin suivant.
Exercice 27.7 Montrer que f:I→Cest continue en a∈Isi, et seulement si, pour toute
suite (xn)n∈Nde points de Iqui converge vers a, la suite (f(xn))n∈Nest convergente (sans
préciser que c’est vers f(a)).
Solution 27.7 On sait déjà que si fest continue en aalors pour toute suite (xn)n∈Nde points
de Iqui converge vers a, la suite (f(xn))n∈Nconverge vers f(a).
Réciproquement supposons que pour toute suite (xn)n∈Nde points de Iqui converge vers a, la
suite (f(xn))n∈Nsoit convergente. Pour montrer que fest continue en a, il suffit de montrer
que, dans ces conditions, la suite (f(xn))n∈Nconverge vers f(a).Si (xn)n∈Nest une suite
de points de Iqui converge vers a, on définit la suite (yn)n∈Nde points de Ipar y2n=x2n,
y2n+1 =a, cette suite converge vers a, donc la suite (f(yn))n∈Nconverge et on a :
f(a) = lim
n→+∞f(y2n+1) = lim
n→+∞f(y2n) = lim
n→+∞f(x2n) = lim
n→+∞f(xn).
Le théorème 27.7 est souvent utilisé pour montrer qu’une fonction n’est pas continue en un
point.
Exercice 27.8 Montrer que la fonction fdéfinie sur Rpar f(0) = 0 et f(x) = cos (ln (|x|))
si x6= 0,n’est pas continue en 0.
Solution 27.8 Si (xn)n≥1est la suite définie par xn=e−nπ pour n≥1,on a lim
n→+∞xn= 0 et
la suite (f(xn))n≥1= (cos (nπ))n≥1= ((−1)n)n≥1est divergente.
Exercice 27.9 Soit f: ]0,1[ →Rla fonction définie par f(x)=0si xest irrationnel et par
f(x) = 1
qsi x=p
qest rationnel où p, q sont entiers naturels non nuls premiers entre eux.
Montrer que fest continue en tout point irrationnel et discontinue en tout point rationnel de
]0,1[ .
Solution 27.9 Un rationnel r=p
q∈]0,1[ ∩Qest limite de la suite d’irrationnels (xn)n≥n0=
Ãr+√2
n!n≥n0
,où n0est choisi assez grand pour que cette suite soit à valeurs dans ]0,1[ ,et
lim
n→+∞f(xn) = 0 6=f(r) = 1
q.La fonction fn’est donc pas continue en ce point.
Soit ε > 0.Si a∈]0,1[ ∩(R\Q)et η > 0est tel que ]a−η, a +η[⊂]0,1[ ,on note :
E={x∈]a−η, a +η[|f(x)> ε}.
Un élément de Eest nécessairement rationnel (sinon f(x) = 0 < ε), il s’écrit donc r=p
q
avec p, q premiers entre eux et f(r) = 1
q> ε entraîne que Eest vide ou que 1≤q < 1
ε
et 1≤p < q < 1
ε(rest strictement compris entre 0et 1). L’ensemble Eest donc vide ou
fini. Pour 0< η0< η assez petit on aura alors E∩]a−η0, a +η0[ = ∅,ce qui signifie que
0≤f(x)≤εpour tout x∈]a−η0, a +η0[.On a donc ainsi montré que fest continue en α.