Академический Документы
Профессиональный Документы
Культура Документы
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)
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 +
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 ),
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
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 +
1 ) = 1 = f (1) = 3/4 . n s
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
|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)|
et pour |x c| 2
| g (c)| 2 2
| 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
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
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
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)
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
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
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.
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
pour tout k R si = 0
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.
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)
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.
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
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 .