Vous êtes sur la page 1sur 12

Cours dANALYSE MATHEMATIQUE Chapitre 1. Etude des fonctions 4.

fonctions continues et limites de fonctions

Michel CHARNAY et Grard DUBOIS


Ple de Mathmatiques Institut National des Sciences Appliques de Lyon

6 mai 2008 Rvision 18 septembre 2009

Table des matires


4 Fonctions continues et limites de fonctions 1

4 FONCTIONS CONTINUES ET LIMITES DE FONCTIONS

Fonctions continues et limites de fonctions

Dans cette section nous tudions des fonctions dnies sur des parties de R et valeurs relles. On rappelle que lensemble sur lequel une fonction f est dnie est appel son domaine et est not Dom(f ). La plupart du temps les fonctions avec lesquelles nous aurons faire seront dnies sur des intervalles ouverts, ferms, semi-ouverts ou des runions dintervalles de ce type. Par exemple la fonction f (x) = (2 x2 )1 est dnie sur la runion des intervalles (, 2 [, ] 2, + 2 [, ] 2, +) mais pas aux points 2 et + 2. Dnition. Une fonction f est continue en un point c Dom(f ) si elle vrie la proprit suivante : > 0, (, c) > 0,
f(x)

x Dom(f ),

|x c| = |f (x) f (c)|

(1)

f(c)+ f(c) f(c)

c+

La fonction f est dite continue si elle est continue en tout point de Dom(f ). Exemple 1. Considrons la fonction x R f (x) = x2 et prenons une valeur relle c quelconque. Alors, f (x) f (c) = x2 c2 = (x c)(x + c)

et pour |x c| x c on a |x + c| |x| + |c| 2|c| + . Il en rsulte les ingalits |(x c)(x + c)| (2|c| + ) df df avec = min( /2, /(4|c|)) si c = 0 ou = si c = 0 et ceci pour un rel positif quelconque. Comme c est une valeur arbitraire, f est donc continue sur R. s

Bien souvent il est utile davoir un critre de continuit impliquant des suites numriques. Ce critre est donn dans le thorme suivant. Thorme 4.1. Une fonction f est continue en un point c Dom(f ) si et seulement si pour chaque suite (xn )nN de points appartenant Dom(f ) qui converge vers c nous avons lim f (xn ) = f (c)
n +

4 FONCTIONS CONTINUES ET LIMITES DE FONCTIONS

Preuve. Supposons dabord que la fonction f est continue en c, cest dire que la proprit (1) tient. Supposons que xn Dom(f ) avec (xn )nN c. Soit > 0 donn et choisissons tel que la proprit (1) ait lieu. Puisque la suite (xn )n0 converge vers c, soit N N tel que |xn c| pour n N . La proprit (1) entrane donc |f (xn ) f (c)| ce qui traduit la convergence de (f (xn ))n0 vers f (c) puisque est un nombre rel positif quelconque. Inversement montrons que la proprit limage par f de toute suite de Dom(f ) convergeant vers c est convergente vers f (c) implique la continuit de f en c. Pour cela nous allons procder par labsurde. Supposons donc que f nest pas continue en c, la ngation de (1) scrit : > 0,
df

> 0,

x( ) Dom(f ),

|x c| = |f (x) f (c)| > .

1 Posons n = n , n N . Alors il existe xn Dom(f ) vriant |xn c| tel que |f (xn ) f (c)| > . Des ingalits prcdentes il dcoule que la suite (xn )n>0 ainsi cre tend vers c mais que (f (xn ))n1 ne tend pas vers f (c) puisque lcart de f (xn ) avec f (c) est toujours suprieur . Ainsi il existe donc une suite (xn ) de Dom(f ) convergeant vers c telle que la suite (f (xn )) ne converge pas vers f (c) : cest contraire la proprit prcdente (do labsurdit). Lhypothse faite est donc incorrecte do la continuit de f en c.

Nous allons utiliser la caractrisation squentielle du Thorme 4.1 pour montrer, dans lexemple suivant, la non continuit en un point dune fonction f . Exemple 2. Soit la fonction suivante, polynmiale par morceaux, dnie sur [0, 2] comme suit : f (x) = x si 0 x < 1 2 1 x /4 si 1 x < 2

f(x) 1 3/4 (

Pour x [0, 1[ il est clair que la dnition de la continuit est vrie avec = . Pour x ]1, 2], une dmarche comme dans lExemple 1 montre la continuit de f en ce point. Il reste le point x = 1. La gure du graphe de f nous suggre une non continuit en 1

4 FONCTIONS CONTINUES ET LIMITES DE FONCTIONS

car les valeurs de f , quand x tend vers 1 par valeurs infrieures, approchent 1 alors que f (1) = 3/4. Pour voir que le critre de continuit donn par le Thorme 4.1 est viol, 1 1 mais prenons xn = 1 n pour n N . Alors (xn ) n +
n +

lim f (xn ) = lim (1


n +

1 ) = 1 = f (1) = 3/4 . n s

Ainsi la fonction f est-elle continue sur [0, 2] sauf au point 1.

Dans le thorme suivant nous donnons une liste de proprits, dmontres en partie, concernant les fonctions continues. Thorme 4.2. Soit f et g des fonctions continues sur leur domaine. Soit D = Dom(f ) Dom(g ), alors : 1) f + g est continue sur D 2) k R, la fonction kf est continue sur Dom(f ) 3) f g est continue sur D 4) f /g est continue en tout point x D tel que g (x) = 0 Preuve. A titre dexemple nous allons montrer 4) de deux faon direntes. Considrons un point c quelconque de D tel que g (c) = 0 et traduisons la continuit de g et f en ce point : > 0, > 0, 1 () > 0, 2 () > 0, x Dom(g ), x Dom(f ), |x c| 1 = |g (x) g (c)| |x c| 2 = |f (x) f (c)|

Pour = |g (c)|/2 > 0, la continuit de g en c fait quon a la proprit, pour |x c| 1 : | |g (x)| |g (c)| | |g (x) g (c)| |g (c)|/2 do les ingalits et la minoration |g (c)|/2 |g (x)| |g (c)| |g (c)|/2 |g (c)|/2 |g (x)| . Considrons maintenant, pour x D , la dirence

f (x) f (c) qui peut scrire : g (x) g (c)

|g (c)(f (x) f (c)) + f (c)(g (c) g (x))| g (c)f (x) f (c)g (x) f (x) f (c) = = g (x) g (c) g (x)g (c) |g (x)||g (c)| Pour |x c| 1 (| g (c)|/2) on a donc lingalit f (x) f (c) |g (c)||f (x) f (c)| + |f (c)||g (c) g (x)| . g (x) g (c) | g (c)| 2 / 2 Pour > 0 quelconque maintenant, avec |x c| 1 |g (c) g (x)| | g (c)| 2 , on a 2 2 | f (c)|

| g (c)| 2 2 2 | f (c)|

4 FONCTIONS CONTINUES ET LIMITES DE FONCTIONS

et pour |x c| 2

| g (c)| 2 2

on a |f (x) f (c)| | g (c)| . 2 2 | g (c)| 2 2

Tout naturellement on est amen poser () = min 1


df

| g (c)| , 1 2

| g (c)| 2 , 2 2 2 | f (c)|

et, pour |x c| (), x D , toutes les ingalits prcdentes tiennent et on a nalement par majoration : f (x) f (c) + = , g (x) g (c) 2 2 ce qui prouve la continui de f /g en c. Une variante de cette dmonstration peut se faire en utilisant la caractrisation du Thorme 4.1. Soit (xn ) une suite de D convergeant vers c ; elle vrie donc la proprit : > 0, n0 () N, n N, n n0 = |xn c| .

La continuit de f en c fait que (f (xn )) converge vers f (c). De mme la suite (g (xn )) converge vers g (c). Comme g (c) est dirent de 0, on peut montrer que la suite (f (xn )/g (xn )) est bien dnie pour n assez grand et quelle converge vers (f (c)/g (c)) (cf 3. Suites numriques).

Les proprits 1) et 2) du thorme prcdent montrent que lensemble des fonctions dnies et continues sur D R, not C (D ), est un espace vectoriel rel, cest dire que les combinaisons linaires relles de fonctions continues sur D sont encore des fonctions continues : f, g C (D ) = f + g C (D ) , R Dans le thorme suivant on montre que la composition de fonctions continues est aussi continue Thorme 4.3. Soit f et g des fonctions continues et soit lensemble D tel que D = {x R / x Dom(g ) et g (x) Dom(f )} Alors f g est continue sur D . Preuve. On sait que, par dnition, f g (x) = f (g (x)) pour tout x de D . Utilisons la caractrisation de la continuit du Thorme 4.1. Soit c un point de D et considrons une suite (xn ) dlments de D convergeant vers c. Par continuit de g la suite (g (xn )) converge vers g (c). Par dnition de D , les valeurs g (xn ) et g (c) appartiennent Dom(f ) et par continuit de f la suite (f (g (xn ))) converge donc vers f (g (c)). Comme c est quelconque nous montrons ainsi que la fonction f g est continue sur son domaine de dnition D .

df

4 FONCTIONS CONTINUES ET LIMITES DE FONCTIONS

Exemple 3. On sait que les fonctions sin(x), cos(x), eax (avec a rel) et les fonctions polynmes sont continues sur R, leur domaine de dnition. Alors toutes compositions de ces fonctions telles que sin(x3 2x), sont aussi des fonctions continues sur R. s e2 cos(x) , cos(sin(x)),

Exemple 4. Soit la fonction tan(x) = sin(x)/ cos(x) dnie et continue pour tout x avec n entier relatif. Soit maintenant nannulant pas cos(x) cest dire pour x = n + 2 la fonction logarithme nprien ln(x) qui est dnie et continue pour x > 0. Considrons la fonction compose tan(ln(x)) ; il est clair que, pour une telle fonction, nous devons viter les x > 0 tels que ln(x) = (2n + 1)/2 avec n entier, cest dire les x de la forme e(2n+1)/2 , n N. En eet pour ces x nous avons cos(ln(x)) = 0 et la fonction tangente nest pas dnie. Le domaine de dnition D de la fonction tan(ln(x)) scrit donc : D = x R / x > 0 et x = e(2n+1)/2 , n N . La continuit des fonctions tangente et logarithme implique donc, par le Thorme 4.3, la continuit de tan(ln(x)) sur D . s Revenons la proprit (1) dnissant la continuit de f en c quon convient de noter
x c xDom(f )

df

lim

f (x) = f (c) = L

df

ou encore de faon quivalente, grce au Thorme 4.1


n

lim (f (xn )) = f (c) = L

df

pour toute suite (xn ) dlments de Dom(f ) convergeant vers c. On dit alors que L est la limite de f en c. On peut gnraliser cette notion de limite dune fonction en prenant pour c une valeur appartenant ladhrence de Dom(f ), ensemble qui comprend Dom(f ) et quon dnit maintenant. Dnition. Soit S une partie de R. On dit que la valeur relle c appartient ladhrence de S , et on note c S , si on a la proprit suivante : > 0, [c , c + ] S = ,

cest dire si tout intervalle ferm centr en c coupe lensemble S . Il est clair que tout lment de S appartient ladhrence de S . On a donc en gnral linclusion S S avec

4 FONCTIONS CONTINUES ET LIMITES DE FONCTIONS

lgalit S = S si et seulement si S est un ensemble ferm (cf 3 pour la dnition). Par exemple si S =]0, 1] on peut montrer que c = 0 appartient S et que cest le seul point nappartenant pas S dans ce cas. Comme tout point de S appartient son adhrence on a donc S = [0, 1]. Si maintenant S est lintervalle ferm [0, 1], on montre facilement quaucun point extrieur S nappartient son adhrence ; on a donc ici lgalit ensembliste S = S et lintervalle ferm [0, 1] est un ensemble ferm de R. Limite dune fonction. Soit f une fonction et c un point de Dom(f ) ; on dit que L R est la limite de la fonction f lorsque x tend vers c, x appartenant Dom(f ), si on a la proprit suivante : > 0, > 0, x Dom(f ), L= lim |x c| = |f (x) L| f (x) . (2)

Dans ce cas on note


x c xDom(f )

On peut montrer, comme dans le Thorme 4.1, que cette proprit (2) est quivalente la proprit squentielle suivante : (xn ) suite dlments de Dom(f ) convergeant vers c, on a L = lim f (xn )
n +

(3)

Par ailleurs la limite L, quand elle existe, est unique ; nous admettrons ce rsultat dont la dmonstration est base sur lunicit de la limite dune suite convergente.
x) Exemple 5. Soit la fonction f (x) = sin( , dnie pour tout x = 0, appele fonction x sinus cardinal . Ici Dom(f ) = R et il est clair que 0 appartient ladhrence de Dom(f ). On peut donc se poser la question de lexistence de la limite de f lorsque x tend vers 0 avec des valeurs non nulles. On verra plus loin que sin(x) = x + o(x2 ), o(x2 ) dsignant une fonction, dnie sur R, ngligeable devant x2 au voisinage de 0, cest dire telle que :

> 0,

() > 0,

x R,

|x| = |o(x2 )| x2 .

On en dduit les ingalits : o(x2 ) sin(x) 1 = |x| , x x pour tout x = 0 tel que |x| 1 () avec 1 () = min( (), 1). Aussi vient-on de montrer que la limite de f lorsque x tend vers 0 est 1 : sin(x) =1 x 0 x x=0 lim
df

4 FONCTIONS CONTINUES ET LIMITES DE FONCTIONS

f(x) 1 3/2 /2 2 x

Cas particuliers de limite innie. Envisageons maintenant le cas particulier dune limite innie pour lequel la limite, au sens donn prcdemment, nexiste pas. On dira que la limite de f au voisinage de c Dom(f ) est gale + si, au voisinage de c, la fonction f est aussi grande quon veut ; plus prcisment si : A > 0,
1 , x

> 0,
x c

x Dom(f ),
df

|x c| = A f (x) .

Dans ce cas on note lim f (x) = +. Par exemple pour f : x R+ =]0, +) f (x) =
1 1 on a lim f (x) = + car pour 0 < x = A on a f (x) = x A et ceci pour tout rel x 0 A positif. De la mme faon on dit que la limite de f , au voisinage de c, est gale si dans la proprit prcdente on remplace la dernire ingalit par f (x) A. df Dans le cas dune fonction f avec S = Dom(f ) non major on peut envisager le cas particulier suivant lorsque x tend vers linni. Par dnition on dit que la limite de f , lorsque x tend vers linni, est gale + si on a la proprit suivante :

A > 0,

x(A) > 0,

x S [x(A), +) = f (x) A

et dans ce cas on note lim f (x) = +.


x + x +

f (x) A par f (x) A. Pour une fonction f telle que Dom(f ) est non minore, on imaginera des proprits semblables correspondant lim f (x) = .
x

De la mme faon on dit que lim f (x) = si dans la proprit prcdente on remplace

Concernant les limites de fonctions en un point appartenant ladhrence de leur domaine de dnition, on a le rsultat suivant, comparable au Thorme 4.2 pour la continuit, et quon donne sans dmonstration.

4 FONCTIONS CONTINUES ET LIMITES DE FONCTIONS

Thorme 4.4. Soit f et g deux fonctions et D = Dom(f ) Dom(g ) lintersection de leur domaine de dnition. Soit c D un point de ladhrence de D . On suppose que les limites de f et g en c existent : lim f (x) = et lim g (x) = . x c x c On a alors : 1) lim(f (x) + g (x)) = +
x c

df

2) lim kf (x) = k
x c

3) lim f (x)g (x) =


x c

pour tout k R si = 0

4) lim f (x)/g (x) = /


x c

Uniforme continuit. Revenons sur la dnition (1) de la continui de f en un point pour remarquer que la taille du nombre positif intervenant dans cette dnition dpend la fois du nombre et du point c envisag comme le montre lExemple 1. Une fonction pour laquelle la proprit (1) est vrie avec ne dpendant que de > 0 est dite uniformment continue. Dnition. Une fonction (continue) f dnie sur Dom(f ) est dite uniformment continue si pour chaque > 0 il existe () > 0 tels que pour tout x Dom(f ) et pour tout c Dom(f ) on ait la proprit |x c| = |f (x) f (c)| Exemple 6. Soit la fonction continue f (x) = x2 pour x [A, +A] avec A > 0. En df suivant la dmarche de lExemple 1 et en prenant = min , on a pour tout x et 2 4A pour tout c de Dom(f ) = [A, +A] : |x c| = |f (x) f (c)| Ainsi f (x) = x2 est uniformment continue sur [A, +A] mais ne lest pas sur R tout entier. Ici lexpression de () est indpendante de x et est relie la fonction f par lintermdiaire du radical et de la valeur A. s

Ce que nous avons montr dans lExemple 6 peut tre tendu au cas dune fonction f continue, avec Dom(f ) = [a, b] un intervalle ferm et born de R. Ce rsultat duniforme continuit de f sera dmontr dans le paragraphe 6 consacr aux thormes de base. Critres de Cauchy dexistence dune limite. Soit une fonction f : S R R et une valeur relle c appartenant ladhrence de S (= Dom(f )) note S . On suppose que la proprit (2) est vrie cest dire que la limite de f existe quand x approche c et quelle vaut L : lim f (x) = L x c
xS

Quand elle existe, on sait que la limite dune fonction est unique. Par ailleurs lorsque c appartient S , la limite, quand elle existe, est f (c) et on dit que f est continue en c. Cest ce que nous avons vu prcdemment.

4 FONCTIONS CONTINUES ET LIMITES DE FONCTIONS

Envisageons maintenant le cas particulier de la limite en + pour une fonction f dnie sur une partie S de R non majore ( M R+ , x S pour lequel M < x). Par dnition, nous dirons que la limite de f (x), lorsque x S tend vers linni, est gale L si on a la proprit suivante : > 0, A() > 0, x S [A, +) = |f (x) L| lim f (x) = L (4)

Dans ce cas on note :


x + xS

De la mme faon la limite en pour une fonction f dnie sur une partie S de R non minore ( M R+ , x S pour lequel x < M ) est gale L si dans la proprit (4) on impose x dappartenir S (, A]. sin(x) Exemple 7. Reprenons la fonction sinus cardinal f (x) = dnie sur R . Il est x clair que R nest pas une partie majore et quon peut se poser la question de lexistence 1 sin(x) pour tout x de R , la dune limite en + pour f . Comme |f (x)| = x |x| 1 proprit (4) est vrie avec A() = et L = 0 : pour x A() on a bien |f (x) 0| = 1 1 sin(x) = et ceci > 0. x x A()

f(x) 1

Les proprits prcdentes impliquent la connaissance a priori dune valeur possible pour L si on veut vrier leur vracit. Dans les critres de Cauchy dexistence dune limite quon donne ci-aprs, il nest pas fait rfrence la limite ventuelle, do leur intrt plutt thorique.

4 FONCTIONS CONTINUES ET LIMITES DE FONCTIONS

Thorme 4.5 (critres de Cauchy). 1) pour f : S R R avec c S on a lquivalence suivante : lim f (x) existe proprit 1 x c
xS

avec 1 : > 0, () > 0, x, y [c , c + ] S = |f (x) f (y )| 2) pour f : S R R avec S partie non majore de R, on a lquivalence suivante : lim f (x) existe proprit 2
x + xS

avec 2 : > 0, R() > 0, x, y S [R, +) = |f (x) f (y )| 3) pour f : S R R avec S partie non minore de R, on a lquivalence suivante : lim f (x) existe proprit 3
x xS

avec

: > 0, R() > 0, x, y S (, R] = |f (x) f (y )|

La dmonstration dun tel rsultat sappuie sur le fait quil y a quivalence dans R entre suite convergente et suite de Cauchy (cf 3. Suites numriques). Nous ne la ferons pas ici. On peut cependant (an de se rassurer ventuellement) vrier le critre 2 dans le cas sin(x) de la fonction f de lExemple 7. En eet pour f (x) = on a pour x et y positifs x |f (x) f (y )| = avec sin(x) sin(y ) 1 1 sin(x) sin(y ) + + x y x y x y

1 1 2 + ds que x et y sont suprieurs R() = . Ainsi limx+ f (x) existe xS x y 2 bien selon le critre .