LICENCE DE MATHÉMATIQUES FONDAMENTALES Calcul ...
LICENCE DE MATHÉMATIQUES FONDAMENTALES Calcul ...
LICENCE DE MATHÉMATIQUES FONDAMENTALES Calcul ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Corollaire 1.4.1<br />
i) R d est un espace de Banach pour toute norme.<br />
ii) Toute application linéaire de R d dans un espace normé (F, ‖ · ‖) est continue.<br />
Démonstration. i) Résulte du fait qu’un espace de Banach l’est encore quand on remplace sa<br />
norme par une norme équivalente, du Théorème 1.4.2 et du fait que R d est complet muni de l’une<br />
de ses normes usuelles (voir Exemple 1.2.1 a)).<br />
ii) Exercice facile.<br />
Remarque 1.4.1<br />
a) Soit (E, ‖ · ‖) un espace vectoriel de dimension d rapporté à une base (u 1 , · · · , u d ). L’application<br />
d∑<br />
ϕ(x 1 , · · · , x d ) = x i u i<br />
est bijective linéaire et continue (le démontrer) de R d dans E. La bijection réciproque ϕ −1 est aussi<br />
continue. En effet la fonction ‖ϕ(.)‖ qui est une norme sur R d est équivalente à la norme ‖ · ‖ ∞ .<br />
Il existe donc c > 0 tel que ‖ · ‖ ∞ ≤ c‖ϕ(.)‖, ce qui implique bien la continuité de ϕ −1 . Ainsi E<br />
est isomorphe à R d et le Théorème 1.4.2 ainsi que le Corollaire 1.4.1 sont vrais en remplaçant R d<br />
par un espace vectoriel E de dimension finie d.<br />
b) On peut montrer que la boule unité d’un espace normé de dimension infinie n’est jamais<br />
compacte (Théorème de F. Riesz).<br />
1.5 Applications multilinéaires continues<br />
Définition 1.5.1 Soient E 1 , · · · , E n , F des espaces vectoriels, on dit qu’une application<br />
i=1<br />
f : E 1 × · · · × E n −→ F<br />
est multilinéaire si, pour tout i ∈ [1, n], et pour tout a = (a 1 , · · · , a n ) ∈ E 1 × · · · × E n , les<br />
applications f i : E i → F définies par<br />
sont linéaires.<br />
f i (x) = f(a 1 , · · · , a i−1 , x, a i+1 , · · · , a n )<br />
Théorème 1.5.1 Soient E 1 , · · · E n , F des espaces normés et soit une application multilinéaire<br />
f : E 1 × · · · × E n −→ F . On munit l’espace vectoriel E 1 × · · · × E n d’une norme définissant<br />
la topologie produit (par exemple l’une des normes équivalentes de la Définition 1.1.2). Alors, les<br />
deux propriétés suivantes sont équivalentes.<br />
i) f est continue sur E 1 × · · · × E n ,<br />
ii) il existe M ≥ 0 telle que, pour tout x ∈ E 1 × · · · × E n , on a<br />
‖f(x)‖ ≤ M‖x 1 ‖ · · · ‖x n ‖.<br />
15