Académique Documents
Professionnel Documents
Culture Documents
Preuve :
Supposons que df est continue en un point a U .
Considrons un entier 1 j n.
Soit > 0. Il existe alors > 0 tel que pour tout x U , si ka xkE alors kdf (a)
df (x)kLC (E,F ) .
f
f
De plus, pour tout x U ,
x
(a)
(x)
= kdf (a)ej df (x)ej kF = k(df (a)
xj
j
F
df (x))ej kF kdf (a) df (x)kLC (E,F ) puisque kdf (a) df (x)kLC (E,F ) est la borne suprieure
des k(df (a) df (x))ykF pour y E avec kykE , ce qui est le cas de ej .
Aussi,
f
f
,
1 j n, > 0, > 0, x U, ka xkE
(a)
(x)
xj
xj
F
i.e. pour tout 1 j n, lapplication x 7
f
xj (x)
est continue en a.
f
(x) est continue en a.
Supposons que pour tout 1 j n, lapplication x 7 x
j
Soit
>
0.
Il
existe
alors
>
0
tel
que
pour
tout
x
U , si ka xkE alors
f
f
xj (a) xj (x)
n et ceci pour tout 1 j n.
F
De
plus,
pour
tout
x
n
P
f
f
xj (a)dxj xj (x)dxj
LC (E,F )
i=1
n
P
f
f
xj (a) xj (x)
.
U,
kdf (a)
n
P
f
xj (a)
i=1
df (x)kLC (E,F )
dxj
f
xj (x)
LC (E,F )
i=1
Aussi,
> 0, > 0, x U, ka xkE kdf (a) df (x)kLC (E,F )
n
X
= ,
n
i=1
Remarque :
Si F = Rp , p N , la continuit de
pour tout 1 i n.
f
xj
fi
xj