16.07.2014 Views

LICENCE DE MATHÉMATIQUES FONDAMENTALES Calcul ...

LICENCE DE MATHÉMATIQUES FONDAMENTALES Calcul ...

LICENCE DE MATHÉMATIQUES FONDAMENTALES Calcul ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

On a cependant la<br />

Proposition 3.3.1 Soit f : U −→ F une application définie sur un ouvert d’un espace normé E<br />

et à valeurs dans un espace normé F . On suppose que f est différentiable sur U et strictement<br />

différentiable en a ∈ U. Alors Df est continue en a.<br />

Démonstration. Soit ε > 0 et η > 0 tel que h = f − Df(a) soit ε-Lipschitzienne sur B(a, η). Il<br />

résulte de la Proposition 3.2.1 que ‖Dh(x)‖ = ‖Df(x) − Df(a)‖ ≤ ε pour tout x ∈ B(a, η).<br />

3.4 Opérateurs de Nemicki<br />

Soit U un ouvert d’un espace normé E, f : U −→ F une application continue à valeurs dans<br />

un espace normé F et I un intervalle compact de R. On note C(I, E) l’ensemble des fonctions<br />

continues de I dans E et l’on munit cet ensemble de la norme ‖.‖ ∞ de la convergence uniforme.<br />

On définit<br />

Ω = {x ∈ C(I, E) : x(I) ⊂ U} (3.5)<br />

et on introduit<br />

définie pour tout x ∈ Ω par<br />

N f : Ω −→ C(I, F )<br />

N f (x) = f ◦ x.<br />

Théorème 3.4.1 L’ensemble Ω défini en 3.5 est ouvert dans C(I, E) et l’application N f est continue.<br />

Démonstration. a) Ω est ouvert. Soit x ∈ Ω. Pour tout z ∈ x(I), il existe η z > 0 tel que<br />

B(z, 2η z ) ⊂ U. Du fait de la compacité de x(I), il existe n ∈ N ∗ et z 1 , . . . , z n ∈ x(I) tels que<br />

Posons η = min 1≤i≤n η zi . On a<br />

x(I) ⊂<br />

n⋃<br />

B(z i , η zi ).<br />

i=1<br />

B(x, η) ⊂ Ω.<br />

En effet, soit z ∈ B(x, η) et t ∈ I. Il existe alors i ∈ [1, n] tel que x(t) ∈ B(z i , η zi ). On a<br />

‖z(t) − z i ‖ ≤ ‖z(t) − x(t)‖ + ‖x(t) − z i ‖ ≤ 2η zi ,<br />

ce qui montre que z(t) ∈ B(z i , 2η zi ) ⊂ U. On a donc bien z ⊂ Ω.<br />

b) N f est continue. Soit x ∈ Ω et ε > 0. Pour tout z ∈ x(I), il existe η z > 0 tel que pour tout<br />

y ∈ B(z, 2η z ) on ait ‖f(y) − f(z)‖ ≤ ε/2. Du fait de la compacité de x(I), il existe n ∈ N ∗ et<br />

z 1 , . . . , z n ∈ x(I) tels que<br />

n⋃<br />

x(I) ⊂ B(z i , η zi ).<br />

i=1<br />

56

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!