Cours d'Analyse 4 - Faculté des Sciences Rabat
Cours d'Analyse 4 - Faculté des Sciences Rabat
Cours d'Analyse 4 - Faculté des Sciences Rabat
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
52 Z. ABDELALI<br />
Démonstration. Soit {e1, ..., ep} une base de E et soit ·∞ la norme infinie de E associée<br />
à cette base. Pour tout x = x1e1 + · · · + xpep ∈ E, on a<br />
f(x) ′ ≤ |x1|f(e1) ′ + · · · + |xp|f(ep) ′<br />
≤ x∞(f(e1) ′ + · · · + f(ep) ′ ).<br />
Sur l’espace E, la norme · ∞ est équivalente à la norme · . Donc il existe M > 0, tel que<br />
pour tout x ∈ E, x∞ ≤ Mx. D’où pour tout x ∈ E, on a<br />
f(x) ′ ≤ M(f(e1) ′ + · · · + f(ep) ′ )x. <br />
2.1. Quelques Exemples d’espaces vectoriels normés. I. Le corps C est un espace<br />
vectoriel sur R de dimension 2, de plus l’application R 2 −→ C; (a, b) ↦→ a + ib permet<br />
d’identifier R 2 à C. Ainsi la norme · 2 sur C n’est autre que le module | · |.<br />
II. Soient (E, · ) et (F, · ′ ) deux espaces normés de dimension finie. Soit L(E, F)<br />
l’espace <strong>des</strong> homomorphismes de E dans F . Tout f ∈ L(E, F ), est continue. Donc sup f(x)<br />
x=1<br />
′<br />
existe et fini, alors f ↦→ f := sup<br />
x=1<br />
est la norme de L(E, F ) (subordonée aux normes de E et F ).<br />
f(x) ′ est une norme sur L(E, F ). On dira que f ↦→ f<br />
III. Soit L(E) l’espace <strong>des</strong> endomorphismes sur E, on a la norme · de L(E), subordonée<br />
à la norme de E, vérifie aussi f ◦ g ≤ f · g.<br />
IV. L’espace Mn(R) <strong>des</strong> matrices d’ordre n s’identifie à L(R n ).<br />
• Chaque norme sur R n donne naissance à une norme sur Mn(R) qui vérifie pour tout<br />
(A, B) ∈ Mn(R) 2 , AB ≤ A · B.<br />
• On aussi pour M ∈ Mn(R), M = tr(M · M t ) définie une nourme eucli-<br />
diennee sur Mn(R), où tr(M) (resp. M t ) désigne la trace (resp. transposée) de M (en fait<br />
〈M, N〉 = tr(M · N t ) est un produit scalaire sur Mn(R)).<br />
V. Si F = R alors L(E, F ) n’est autre que l’espace dual de E, noté E ′ , c’est l’espace <strong>des</strong><br />
formes linéaires sur E.