Vous êtes sur la page 1sur 14

Laurent Garcin

L IMITE

MPSI Lyce Jean-Baptiste Corot

ET CONTINUIT DE FONCTIONS

Soit a R. Dans tout ce chapitre, on dira quune fonction f de domaine de dfinition Df est dfinie au
voisinage de a sil existe un rel h > 0 tel que lon soit dans un des trois cas suivants :
I (Df [a h, a]) \ {a} = [a h, a[ i.e. f est dfinie dans un voisinage gauche de a et ventuellement non
dfinie en a ;
I (Df [a, a + h]) \ {a} =]a, a + h] i.e. f est dfinie dans un voisinage droite de a et ventuellement non dfinie
en a ;
I (Df [a h, a + h]) \ {a} = [a h, a + h] \ {a} i.e. f est dfinie dans un voisinage de a et ventuellement non
dfinie en a.
Exemple 0.1
 x 7
 x 7

1
x1

est dfinie au voisinage de 1.

2 x est dfinie au voisinage de 2.

On dira de plus que f est :


I dfinie au voisinage de + sil existe A R tel que [A, +[ Df ;
I dfinie au voisinage de sil existe A R tel que ] , A] Df .
Exemple 0.2
x 7

1
x3 x1

est dfinie au voisinage de + et .

Enfin, on dira quune proprit portant sur f est vraie au voisinage de a R si cette proprit est vraie sur
lintersection de Df avec un intervalle du type
I [a h, a + h] avec h > 0 si a R ;
I [A, +[ avec A R si a = + ;
I ] , A] avec A R si a = .
Exemple 0.3
La fonction x 7 x2 (1 x2 ) est positive au voisinage de 0 et ngative au voisinage de + et .

http://laurentb.garcin.free.fr

Laurent Garcin

MPSI Lyce Jean-Baptiste Corot

Limite dune fonction

1.1

Dfinition

Dfinition 1.1 Limite dune fonction


2

Soit (a, l) R . Soit f une fonction dfinie au voisinage de a. On dit que f admet l pour limite en a si :
I Cas a R et l R :
> 0, > 0, x Df , |x a| < |f(x) l| <
I Cas a R et l = + :
A R, > 0, x Df , |x a| < f(x) > A
I Cas a R et l = :
A R, > 0, x Df , |x a| < f(x) < A
I Cas a = + et l R :
> 0, B R, x Df , x > B |f(x) l| <
I Cas a = + et l = + :
A R, B R, x Df , x > B f(x) > A
I Cas a = + et l = :
A R, B R, x Df , x > B f(x) < A
I Cas a = et l R :
> 0, B R, x Df , x < B |f(x) l| <
I Cas a = et l = + :
A R, B R, x Df , x < B f(x) > A
I Cas a = et l = :
A R, B R, x Df , x < B f(x) < A
Remarque. Ceci veut dire que quitte prendre x suffisamment proche de a, on peut rendre f(x) aussi proche
de l que lon veut.
Thorme 1.1 Unicit de la limite
Soit f une fonction dfinie au voisinage de a. Si f admet une limite l en a, elle est unique. On note alors
lim f = l ou lim f(x) = l.
a

xa

Si f est dfinie en a et admet une limite en a, alors lim f = f(a).


a

http://laurentb.garcin.free.fr

Laurent Garcin

MPSI Lyce Jean-Baptiste Corot

Proposition 1.1 Retour en zro


Soit f une fonction dfinie au voisinage de a R. Soit l R. Alors :
I Si l R :

lim f(x) = l lim f(x) l = 0

xa

I Si a R :

xa

lim f(x) = l lim f(a + h) = l

xa

h0

Proposition 1.2 Limite et bornitude


Soit f une fonction dfinie au voisinage de a R. Si f admet une limite finie en a, alors f est borne au
voisinage de a.

Proposition 1.3 Limite et signe


Soit f une fonction dfinie au voisinage de a R. Si f admet une limite l > 0 en a, alors f est minore par un
rel strictement positif au voisinage de a.

Corollaire 1.1 Signe et quivalent


Si f g, alors f et g sont de mme signe au voisinage de a.
a

1.2

Limite gauche, droite

Dfinition 1.2 Limite gauche, droite


Soit a R et l R. Soit f une fonction dfinie au voisinage de a.
I On dit que f admet l pour limite gauche en a si la restriction de f Df ] , a[ admet l pour limite
en a. Dans ce cas, cette limite est unique et on la note lim
f ou lim f(x) ou encore xa
lim f(x).

xa

x<a

I On dit que f admet l pour limite droite en a si la restriction de f Df ]a, +[ admet l pour limite
en a. Dans ce cas, cette limite est unique et on la note lim
f ou lim+ f(x) ou encore xa
lim f(x).
+
a

xa

x>a

Proposition 1.4 Lien entre limite simple et limite gauche, droite


Soient a R et l R. Soit f une fonction dfinie au voisinage de a.
I Si f est dfinie en a :
lim f = l
a


lim
f
=
lim
f
=
l
et
f(a)
=
l

+
a

I Si f nest pas dfinie en a :


lim f = l lim
f = lim
f=l

+
a

Attention ! Si f est dfinie en a, il ne faut pas oublier la condition f(a) = l. La fonction f dfinie par f(x) = 0
si x 6= 0 et f(0) = 1 admet 0 pour limite gauche et droite en 0 mais nadmet pas de limite en 0. Par contre,
f|R admet 0 pour limite en 0. Subtil...
http://laurentb.garcin.free.fr

Laurent Garcin

MPSI Lyce Jean-Baptiste Corot

Proprits des limites

2.1

Caractrisation squentielle de la limite

Thorme 2.1 Caractrisation squentielle de la limite


Soit f une fonction dfinie au voisinage de a R. Soit l R. Les propositions suivantes sont quivalentes :
(i) lim f = l.
a

(ii) Pour toute suite (un ) valeurs dans Df de limite a, (f(un )) a pour limite l.

Mthode

Montrer quune fonction nadmet pas de limite

Pour montrer quune fonction f nadmet pas de limite en a, il suffit de trouver deux suites (un ) et (vn ) de
mme limite a telles que (f(un )) et (f(vn )) possdent des limites diffrentes.

Exemple 2.1
La fonction x 7 sin x1 nadmet pas de limite en 0.

2.2

Limite et borne suprieure ou infrieure

Dans la proposition suivante I dsigne un intervalle et I dsigne lintervalle I augment de ses bornes (y compris
les bornes infinies). Par exemple, si I =]0, +[, I = [0, +] (intervalle de R).
Proposition 2.1 Limite et borne suprieure/infrieure
Soit f : I R. Soit a I.
I Si f est majore par M sur I et si lim f = M, alors supI f = M.
a

I Si f est minore par m sur I et si lim f = m, alors inf I f = m.


a

Exemple 2.2
inf xR

2.3

1
1
= 0 car f est minore par 0 sur R et lim
= 0.
x+ 1 + x2
1 + x2

Oprations sur les limites

Les rsultats sur la limite dune somme, dun produit, dun inverse et dun quotient sont les mmes que pour les
suites. Se reporter ce chapitre.
Proposition 2.2 Composition de limites
Soient f une fonction dfinie au voisinage de a R et g une fonction dfinie au voisinage de b R. Soit enfin
l R. Si lim f = b et si lim g = l, alors lim g f = l.
a

http://laurentb.garcin.free.fr

Laurent Garcin

2.4

MPSI Lyce Jean-Baptiste Corot

Passage la limite

Proposition 2.3 Passage la limite


Soient f et g deux fonction dfinie au voisinage de a R. Soit (l, l 0 , m, M) R4 .
(i) Si lim f = l et lim g = l 0 et si f 6 g au voisinage de a, alors l 6 l 0 .
a

(ii) Si lim f = l et f 6 M au voisinage de a, alors l 6 M.


a

(iii) Si lim f = l et f > m au voisinage de a, alors l > m.


a

Attention ! Ceci nest valable quavec des ingalits larges. En effet,

1
x2

1
2
x+ x

> 0 pour tout x > 0 et lim

=0

mais on na videmment pas 0 > 0.

Thormes dexistence de limite

On retrouve les mmes grands thormes que pour les suites. Les rsultats sur les suites extraites nont pas
dquivalent dans le cadre des limites de fonctions. Il est noter que ces thormes dcoulent essentiellement de
lexistence dune relation dordre sur R.

3.1

Thormes dencadrement, de minoration et de majoration

Thorme 3.1 Thormes dencadrement, de minoration et de majoration


Soient a R et l R. Soit f ,m et M trois fonctions dfinies au voisinage de a.
Thorme des gendarmes/dencadrement : Si lim m = lim M = l et m 6 f 6 M au voisinage de a, alors
a
a
f admet une limite en a et celle-ci vaut l.
Thorme de minoration : Si lim m = + et m 6 f au voisinage de a, alors f admet une limite en a et
a
celle-ci vaut +.
Thorme de majoration : Si lim M = et f 6 M au voisinage de a, alors f admet une limite en a et
a
celle-ci vaut .
Corollaire 3.1
Soient f et deux fonctions dfinies au voisinage de a R. Si |f| 6 au voisinage de a et si lim = 0, alors
a
lim f = 0.
a

Corollaire 3.2
Soient f et deux fonctions dfinies au voisinage de a R. Si f est borne au voisinage de a et si lim = 0,
a
alors lim f = 0.
a

Exemple 3.1
lim x sin x1 = 0.

x0

http://laurentb.garcin.free.fr

Laurent Garcin

MPSI Lyce Jean-Baptiste Corot

Corollaire 3.3
Soient f et g deux fonctions dfinies au voisinage de a R.
 Si f est minore au voisinage de a et si lim g = +, alors lim f + g = +.
a

 Si f est majore au voisinage de a et si lim g = , alors lim f + g = .


a

3.2

Thorme de la limite monotone


o

Dans le thorme suivant I dsigne un intervalle et I dsigne lintervalle I priv de ses bornes. Par exemple, si
o

I = [, +[, I =], +[.


Thorme 3.2 Thorme de la limite monotone
Soit f une fonction monotone sur un intervalle I. On pose m = inf I et M = sup I (avec ventuellement
m = et M = +).
 Si f est croissante :
o

(i) f admet une limite finie gauche et droite en tout point a I. De plus,
I lim
f=

I lim
f=
+
a

sup

I],a[

inf

I]a,+[

I lim
f 6 f(a) 6 lim
f.
+
+
a

(ii) f admet une limite en m+ . Si f est minore sur I, cette limite est finie et vaut inf f, sinon elle vaut
I
.
(iii) f admet une limite en M . Si f est majore sur I, cette limite est finie et vaut sup f, sinon elle vaut
I

+.
 Si f est dcroissante :
o

(i) f admet une limite finie gauche et droite en tout point a I. De plus,
I lim
f=

I lim
f=
+
a

f;

inf
I],a[

f;

sup
I]a,+[

I lim
f > f(a) > lim
f.
+
+
a

(ii) f admet une limite en m+ . Si f est majore sur I, cette limite est finie et vaut sup f, sinon elle vaut
I

+.

(iii) f admet une limite en M . Si f est minore sur I, cette limite est finie et vaut inf f, sinon elle vaut
I
.
Exercice 3.1
Soit f : R R une fonction dcroissante telle que f(x) + f(x + 1)

x+

1. tudier la limite de f en +.
2. Donner un quivalent de f au voisinage de +.

http://laurentb.garcin.free.fr

1
x.

Laurent Garcin

MPSI Lyce Jean-Baptiste Corot

Continuit ponctuelle

4.1

Dfinition

Dfinition 4.1 Continuit en un point


Soit f une fonction dfinie au voisinage de a R et dfinie en a. On dit que f est continue en a si f admet
une limite finie en a. Dans ce cas, lim f = f(a). Donc f est continue en a si :
a

> 0, > 0, x Df , |x a| < |f(x) f(a)| <


Remarque. Cette dfinition peut aussi se formuler en termes de dveloppement limit. Se reporter ce
chapitre.

Mthode

Continuit en pratique

Pour montrer quune fonction f est continue en a, il suffit de montrer que xa


lim f(x) = f(a).
x6=a

Exemple 4.1
1

La fonction f dfinie par f(x) = e x2 si x 6= 0 et f(0) = 0 est continue en 0.

4.2

Continuit gauche, droite

Dfinition 4.2 Continuit droite, gauche


Soit f une fonction dfinie au voisinage de a et dfinie en a.
I On dit que f est continue gauche en a si sa restriction Df ] , a] est continue en a i.e. si
lim
f = f(a).

I On dit que f est continue droite en a si sa restriction Df [a, +[ est continue en a i.e. si
f = f(a).
lim
+
a

Exemple 4.2
Soit n Z. La fonction partie entire est continue droite en n mais pas gauche.
Proposition 4.1
Soit f une fonction dfinie au voisinage de a et dfinie en a. Alors f est continue en a si et seulement si elle
est continue gauche et droite en a.

Mthode

Continuit en pratique (bis)

Pour montrer quune fonction f est continue en a, il suffit de montrer que lim
f = lim
f = f(a).

+
a

http://laurentb.garcin.free.fr

Laurent Garcin

MPSI Lyce Jean-Baptiste Corot

Exemple 4.3
1

La fonction f dfinie par f(x) = e x si x > 0, f(x) = e x si x > 0 et f(0) = 0 est continue en 0.

4.3

Prolongement par continuit

Dfinition 4.3 Prolongement par continuit


Soit f une fonction dfinie au voisinage de a mais non dfinie en a. On dit que f est prolongeable par

continuit en a si f admet une limite finie en a. Le prolongement f de f obtenu en posant f(a)


= lim f est
a
alors continu en a. Cest lunique prolongement continu de f en a.
Exemple 4.4
 On peut prolonger la fonction f : x 7

sin x
x

dfinie sur R par continuit en 0 en posant f(0) = 1.

 On peut prolonger la fonction f : x 7 e x dfinie sur R+ par continuit en 0 en posant f(0) = 0. Par
contre, la mme fonction dfinie sur R nest pas prolongeable par continuit en 0.

4.4

Caractrisation squentielle de la continuit

Thorme 4.1 Caractrisation squentielle de la continuit


Soit f une fonction dfinie au voisinage de a R et dfinie en a. Les propositions suivantes sont quivalentes :
(i) f est continue en a.
(ii) Pour toute suite (un ) valeurs dans Df de limite a, (f(un )) a pour limite f(a).
Exemple 4.5

La fonction indicatrice de Q

Exemple 4.6

R
La fonction

R

7

R


x si x Q
0 sinon

x si 1 Q
0 sinon

nest continue en aucun point.

est continue en 0 mais nulle part ailleurs.

Remarque. Cet exemple illustre le fait quune fonction continue en un point nest pas forcment continue au
voisinage de ce point.
Exercice 4.1
Montrer que les endomorphismes de groupe de (R, +) continus sont les homothties i.e. les applications x 7 x
avec R.

http://laurentb.garcin.free.fr

Laurent Garcin

4.5

MPSI Lyce Jean-Baptiste Corot

Opration sur les fonctions continues en un point

La somme et le produit de deux fonctions continues en un point sont continus en ce point. Linverse dune
fonction continue en un point non nulle en ce point est continu en ce point. On en dduit le rsultat sur un quotient
de fonctions continues en un point.
On a les mmes rsultats pour la continuit gauche et droite.
Proposition 4.2 Continuit ponctuelle et composition
Soit f une fonction dfinie au voisinage de a et continue en a. Soit g une fonction dfinie au voisinage de f(a)
et continue en f(a). Alors g f est continue en a.

Continuit sur un intervalle

5.1

Dfinition

Dans ce paragraphe, I dsigne un intervalle.


Dfinition 5.1 Continuit sur un intervalle
Soit f : I R. On dit que f est continue sur I si f est continue en tout point de I.
On note C(I, R) ou C 0 (I, R) lensemble des fonctions continues sur I valeurs dans R.

5.2

Oprations sur les fonctions continues sur un intervalle

La somme et le produit de deux fonctions continues sur I sont continus sur I. Linverse dune fonction continue
sur I et ne sannulant pas sur I est continue sur I. On en dduit le rsultat sur un quotient de fonctions continues
sur I.
Remarque. On en dduit que C 0 (I, R) est un R-espace vectoriel.
Proposition 5.1 Continuit sur un intervalle et composition
Soit f : I R et g : J R. On suppose f(I) J. Si f est continue sur I et g est continue sur J alors g f est
continue sur I.
Exemple 5.1

La fonction x 7 ln x2 + e x
 x 7
R ;

1
x

est continue sur R . En effet,


1

est continue sur R valeurs dans R et x 7 ex est continue sur R donc x 7 e x est continue sur
1

 x 7 x2 est continue sur R donc sur R ; par somme x 7 x2 + e x est continue sur R ;
1

 x2 + e x est continue sur R valeurs dans R+ et x 7 ln x est continue sur R+ donc x 7 ln x2 + e x


est continue sur R ;

 enfin, x 7 ln x2 + e x

2
1

x 7 ln x2 + e x

5.3

est continue sur R valeurs dans R et x 7 x2 est continue sur R donc

est continue sur R .

Thormes lis la relation dordre sur R

Les thormes suivant sont intrinsquement lis la relation dordre sur R.

http://laurentb.garcin.free.fr

Laurent Garcin

MPSI Lyce Jean-Baptiste Corot

Thorme 5.1 Thorme des valeurs intermdiaires


Soit f une fonction continue sur intervalle [a, b]. Pour tout rel y compris entre f(a) et f(b), il existe x [a, b]
tel que y = f(x).
Si de plus, f est strictement monotone sur [a, b], ce rel x est unique.
Remarque. Il est facile de montrer que lon peut se ramener au cas o f(a) < 0 et f(b) > 0 et o lon cherche
un zro de f.
On a dj vu comme illustration des suites adjacentes comment dterminer deux suites adjacentes tendant vers
un zro dune fonction f sur un intervalle [a, b] quand f(a) < 0 et f(b) > 0. On avait suppos lexistence dun
zro de f en admettant le TVI. Mais nous avions aussi prouv en fait lexistence dun zro de f. Le TVI tait
dj quasiment prouv.
Remarque. On a une version du thorme des valeurs intermdiaires avec des limites. Si f est continue sur
]a, b[ (avec a et b ventuellement infinis) et si f admet des limites (ventuellement infinies) l1 et l2 respectivement
en a+ et b , alors pour tout rel y strictement compris entre l1 et l2 , il existe un rel x ]a, b[ tel que y = f(x).
A nouveau, si f est strictement monotone sur ]a, b[, alors ce rel x est unique.
Exercice 5.1
Un cycliste parcourt 20km en une heure. Montrer quil existe un intervalle de temps dune demie-heure pendant
lequel il parcourt exactement 10km.
Remarque. Il existe un corollaire utile du thorme des valeurs intermdiaires savoir quune fonction continue
sur un intervalle et ne sannulant pas sur cet intervalle est de signe constant sur cet intervalle.
Le fait que lon considre un intervalle est primordial : en effet, la fonction x 7 x1 est continue sur R , ne sannule
pas sur R mais nest videmment pas de signe constant sur R .
On a en fait une version plus thorique du TVI. Il fait intervenir la dfinition des intervalles de R par
convexit qui est aussi intrinsquement lie la relation dordre.

Rappel

Intervalles de R

On appelle intervalle de R toute partie I de R vrifiant la proprit suivante :


(x, y) I2 , t R,

x6t6ytI

Corollaire 5.1 Image continue dun intervalle


Limage dun intervalle par une application continue est un intervalle.

Attention ! Limage dun intervalle ouvert (resp. semi-ouvert) nest pas forcment un intervalle ouvert (resp.
semi-ouvert). Par exemple, limage de lintervalle semi-ouvert [0, 2[ par la fonction sin est lintervalle ferm
[1, 1]. Nous verrons cependant que limage dun intervalle ferm est un intervalle ferm.
On est maintenant mme de prouver une version complte du thorme de la bijection monotone.

http://laurentb.garcin.free.fr

10

Laurent Garcin

MPSI Lyce Jean-Baptiste Corot

Corollaire 5.2 Thorme de la bijection monotone


Soit I un intervalle de R et f une fonction continue et strictement monotone sur lintervalle I. Alors
(i) f ralise une bijection de I sur lintervalle J = f(I) ;
(ii) lapplication rciproque f1 : J I est une bijection continue et strictement monotone sur J de
mme sens de variation que f.
De plus, si I = [a, b], on a
si f est croissante, f(I) = [f(a), f(b)] ;
si f est dcroissante, f(I) = [f(b), f(a)].
On a des rsultats analogues si I est un intervalle ouvert ou semi ouvert (a et b pouvant tre gaux respectivement et +) avec ventuellement des limites. Par exemple, si f est une application continue et
strictement croissante sur I =]a, b], f ralise une bijection de I sur f(I) =] lim
f, f(b)].
+
a

Remarque. Dans le cas dune application continue et strictement monotone, limage dun intervalle ouvert
(resp. ferm, semi-ouvert) est bien un intervalle ouvert (resp. ferm, semi-ouvert). Mais, jinsiste, si vous navez
pas la stricte monotonie, vous ne pouvez rien dire sur lintervalle image (si ce nest que cest bien un intervalle).
Exemple 5.2
La fonction cos est continue et strictement dcroissante sur [0, ]. Elle induit donc une bijection de [0, ] sur
[1, 1] de bijection rciproque la fonction arccos : [1, 1] [0, ], qui est elle aussi continue et strictement
dcroissante.
Dans le thorme de la bijection monotone, on utilise le fait quasi-vident quune fonction strictement monotone
est injective, quelle soit continue ou non. On a en fait une rciproque qui peut servir de temps autre.
Proposition 5.2
Soit f : I R une fonction continue et injective sur I. Alors f est strictement monotone sur I.

5.4

Thormes lis la compacit

Dfinition 5.2 Segment


On appelle segment de R tout intervalle non vide, ferm et born i.e. tout intervalle du type [a, b] avec
(a, b) R2 et a 6 b.
Thorme 5.2
Toute application continue sur un segment est borne et atteint ses bornes.
On a l aussi une version plus thorique de ce rsultat. On sait dj que limage dun intervalle est un
intervalle. Le rsultat suivant prcise les choses quand lintervalle est un segment.
Thorme 5.3 Image continue dun segment
Limage dun segment par une application continue est un segment.
Exercice 5.2
Soit f continue sur R telle que f(x) + et f(x) +. Montrer que f est minore et atteint sa borne
x+

infrieure.

http://laurentb.garcin.free.fr

11

Laurent Garcin

MPSI Lyce Jean-Baptiste Corot

Continuit uniforme

6.1

Dfinition

Dfinition 6.1 Continuit uniforme


Soit f : I R une application. On dit que f est uniformment continue sur I si
> 0, > 0, (x, y) I2 , |x y| < |f(x) f(y)| <
Remarque. La dfinition de la continuit uniforme sur I ressemble sy mpendre la continuit simple sur
I. Dire que f est continue sur I veut dire que f est continue en tout point y de I, cest--dire formellement :
y I, > 0, > 0, x I, |x y| < |f(x) f(y)| <
La place du y I nest pas la mme dans la dfinition de la continuit sur I et dans la dfinition de la continuit
uniforme sur I et cela fait toute la diffrence.
Dans la continuit simple, le dpend de y et de . Dans la continuit uniforme, le ne dpend que de : si
est fix, le correspondant est valable pour tout y I, do le terme uniforme .
Proposition 6.1 Continuit uniforme implique continuit simple
Une application uniformment continue sur I est continue sur I.

Attention ! La rciproque est fausse. La fonction x 7 x2 est continue sur R mais nest pas uniformment
continue sur R.
On a nanmoins une rciproque si I est un segment.
Thorme 6.1 Thorme de Heine
Toute fonction continue sur un segment est uniformment continue sur ce segment.
Remarque. Ce thorme essentiel, assez peu utilis en premire anne, trouvera de nombreuses applications
en deuxime anne.
Exercice 6.1
Montrer quune application continue sur R et priodique est uniformment continue sur R.

6.2

Fonctions lipschitziennes

Les fonctions uniformment continues par excellence sont les fonctions lipschitziennes.
Dfinition 6.2 Fonction lipschitzienne
Soient f : I R une application et K R+ . On dit que f est lipschitzienne de rapport K ou plus simplement
K-lipschitzienne si :
(x, y) I2 , |f(x) f(y)| 6 K|x y|
Une application est dite lipschitzienne sur I si elle est K-lipschitzienne pour un certain K R+ .
Exemple 6.1
Toute fonction affine est lipschitzienne.
http://laurentb.garcin.free.fr

12

Laurent Garcin

MPSI Lyce Jean-Baptiste Corot

Proposition 6.2 Lipschitz implique uniforme continuit


Soit f : I R une application. Si f est lipschitzienne sur I alors f est uniformment continue sur I.

Attention ! Une nouvelle fois la rciproque est fausse. En effet, x 7


mais nest pas lipschitzienne sur R+ .

x est uniformment continue sur R+

Limite et continuit des fonctions valeurs complexes

On parle dans ce chapitre de fonctions de R dans C et non de fonctions de C dans C. Les seules diffrences avec
le cas rel viennent du fait quil ny a plus de relation dordre sur C.

7.1

Limite dune fonction valeurs complexes

Dfinition 7.1 Fonction borne


Soit f : I C une application. On dit que f est borne (sur I), sil existe K R+ tel que
x I, |f(x)| 6 K
Dfinition 7.2 Limite dune fonction valeurs complexes
Soit f : I C une fonction dfinie au voisinage de a R. Soit l C. On dit que f admet pour limite l en a si
lim |f(x) l| = 0. On note alors lim f = l ou lim f(x) = l.
xa

xa

Exemple 7.1
eix
= 0.
x+ 1 + x2
lim

Attention ! Une fonction valeurs complexes ne tend jamais vers . Les notations + et nont plus
aucun sens dans C. Au mieux, on peut dire que le module dune fonction valeurs dans C tend vers +. En
effet, si f est une fonction valeurs dans C, |f| est une fonction valeurs dans R (et mme dans R+ ).
Nanmoins le point a en lequel on considre la limite peut trs bien tre gal .
Une fonction valeurs complexes admettant une limite en un point est encore borne au voisinage de ce point.
La caractrisation squentielle de la limite est encore valable.
Proposition 7.1
Soit f : I C une fonction dfinie au voisinage de a R. Soit l C.
lim f = l lim f = l
a

Corollaire 7.1
Soit f : I C une fonction dfinie au voisinage de a R. Soit l C. Les propositions suivantes sont
quivalentes :
(i) lim f = l ;
a

(ii) lim Re(f) = Re(l) et lim Im(f) = Im(l).


a

http://laurentb.garcin.free.fr

13

Laurent Garcin

MPSI Lyce Jean-Baptiste Corot

Exemple 7.2
lim

x+

ln x + ix
= 0.
1 + x2

Les oprations algbriques sur les limites sont identiques dans le cas complexe part celles faisant intervenir
des limites gales (encore une fois, ces symboles nont aucun sens dans C). Les thormes de passage la
limite et dexistence de limite vus dans ce chapitre nont plus de sens dans le cas complexe vu quils font intervenir
la relation dordre.

7.2

Continuit dune fonction valeurs complexes

Les dfinitions vus dans ce chapitre restent les mmes dans le cas complexe notamment la dfinition de la
continuit en un point. La seule diffrence est que |.| dsigne le module est non la valeur absolue.
Dfinition 7.3 Continuit dune fonction valeurs complexes
Soit f : I C une fonction dfinie au voisinage de a R et dfinie en a. On dit que f est continue en a si f
admet une limite en a. Dans ce cas, lim f = f(a). Donc f est continue en a si :
a

> 0, > 0, x Df , |x a| < |f(x) f(a)| <


Lensemble des fonctions valeurs complexes continues sur un intervalle I se note C 0 (I, C) ou C(I, C). La caractrisation squentielle de la continuit est encore valable.
Proposition 7.2
Soient f : I C et a I.
(i) f est continue en a si et seulement si f est continue en a.
(ii) f est continue sur I si et seulement si f est continue sur I.

Corollaire 7.2
Soient f : I C et a I. Les propositions suivantes sont quivalentes :
(i) f est continue en a ;
(ii) Re(f) et Im(f) sont continues en a.
De mme, les assertions :
(i) f est continue sur I ;
(ii) Re(f) et Im(f) sont continues sur I.
Les oprations algbriques sur les fonctions continues sont identiques dans le cas complexe. Les thormes lis
la continuit sur un intervalle nont plus de sens car limage dun intervalle de R nest pas un intervalle de C.
Quest-ce un intervalle de C dailleurs ?
On peut nanmoins affirmer conserver le rsultat affirmant quune fonction sur un segment est borne.
Proposition 7.3
Toute fonction valeurs complexes continue sur un segment est borne.
Remarque. On peut mme prciser quune telle fonction atteint sa borne. En effet, si f est continue sur
un segment [a, b], |f| est galement continue sur ce segment et valeurs relles. En notant M = sup[a,b] |f|, le
thorme de continuit sur un segment appliqu aux fonctions valeurs relles garantit quil existe c [a, b] tel
que |f(c)| = M.

http://laurentb.garcin.free.fr

14