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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

⎛ ⎞<br />

∇f 1 (a) T<br />

oú J f (a) = ⎝<br />

.<br />

⎠ est la matrice m × n définie par [J f (a)] ij = ∂f i<br />

(a), soit<br />

∂x j<br />

∇f m (a) T<br />

⎛<br />

J f (a) = ⎜<br />

⎝<br />

∂f 1<br />

∂x 1<br />

(a) · · ·<br />

. · · ·<br />

∂f m<br />

(a) · · ·<br />

∂x 1<br />

∂f<br />

⎞<br />

1<br />

(a)<br />

∂x n . ⎟<br />

∂f<br />

⎠ .<br />

m<br />

(a)<br />

∂x n<br />

Démonstration. La première partie de la conclusion découle du Théorème 2.3.1. Utilisant ce<br />

même Théorème, il vient<br />

Df(a)(h) = (Df 1 (a)(h), · · · , Df m (a)(h)).<br />

Par ailleurs, pour i ∈ [1, m], on a ∂f i<br />

∂x j<br />

(a) = Df i (a)(e j ) où e j est le j eme vecteur de la base<br />

canonique de R n de telle sorte que<br />

Df i (a)(h) =<br />

n∑<br />

h j Df i (a)(e j ) =<br />

j=1<br />

n∑<br />

j=1<br />

h j<br />

∂f i<br />

∂x j<br />

(a) = 〈∇f i (a), h〉.<br />

On a donc bien<br />

⎛<br />

⎞<br />

〈∇f 1 (a), h〉<br />

Df(a)(h) = ⎝<br />

.<br />

⎠ = J f (a)h.<br />

〈∇f m (a), h〉<br />

2.4 Applications définies sur un produit d’espaces<br />

Nous aurons besoin dans cette section de la Proposition 2.4.2 que nous démontrerons au chapitre<br />

suivant. Nous en donnons ici une autre démonstration basée sur la proposition suivante dont<br />

la démonstration fait appel au Théorème de Hahn-Banach.<br />

Proposition 2.4.1 Soit (E, ‖.‖) un espace normé. Alors pour tout x ∈ E on a<br />

‖x‖ = sup{|l(x)| : l ∈ E ∗ , ‖l‖ ≤ 1}.<br />

Proposition 2.4.2 Soit f : U ⊂ E −→ F une application différentiable définie sur un ouvert<br />

convexe d’un espace normé à valeurs dans un espace normé. On suppose qu’il existe M ∈ R + tel<br />

que<br />

sup ‖Df(x)‖ ≤ M.<br />

x∈U<br />

Alors pour tout x, z ∈ U<br />

‖f(z) − f(x)‖ ≤ M‖z − x‖.<br />

39

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

Saved successfully!

Ooh no, something went wrong!