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.

1.3 Applications linéaires continues<br />

Théorème 1.3.1 Soient (E, ‖·‖) et (F, ‖·‖) deux espaces normés et f : E → F une application<br />

linéaire. Les propriétés suivantes sont équivalentes<br />

i) f continue sur E,<br />

ii) f continue en 0,<br />

iii) il existe M ≥ 0 tel que pour tout x ∈ E, ‖f(x)‖ ≤ M‖x‖.<br />

Démonstration. Il est clair que i) ⇒ ii) et que iii) ⇒ i) car, pour tout x, y ∈ X,<br />

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

Il reste à montrer que ii) ⇒ iii). De part la continuité de f en 0, il existe η > 0 tel que, pour tout<br />

z ∈ ¯B(0, η),<br />

‖f(z)‖ = ‖f(z) − f(0)‖ ≤ 1.<br />

Soit alors x ∈ E\{0}. Remarquant que z :=<br />

η<br />

‖x‖ x ∈ ¯B(0, η), on obtient<br />

η<br />

‖f(x)‖ = ‖f(z)‖ ≤ 1,<br />

‖x‖<br />

d’où<br />

‖f(x)‖ ≤ (1/η)‖x‖.<br />

On notera L(E, F ) l’ensemble des applications linéaires continues de E dans F . Si F = R,<br />

on note E ∗ = L(E, R) et on dit que E ∗ est le dual topologique de E.<br />

Remarque 1.3.1 On peut montrer, en utilisant le Théorème de Hahn-Banach, que pour tout espace<br />

normé (E, ‖ · ‖), E ∗ = L(E, R) ≠ {0}. On peut aussi montrer qu’il existe des applications<br />

linéaires non continues.<br />

Définition 1.3.1 Pour tout f ∈ L(E, F ), on pose :<br />

‖f‖ = inf{M ≥ 0 : pour tout x ∈ E, ‖f(x)‖ ≤ M‖x‖}.<br />

Cette définition a bien un sens car l’ensemble de réels dont on considère la borne inférieure est<br />

non vide (Théorème 1.3.1) et minoré par 0.<br />

Proposition 1.3.1 La fonction ‖.‖ définie ci-dessus est une norme sur L(E, F ) et l’on a,<br />

‖f(x)‖<br />

‖f‖ = sup<br />

x≠0 ‖x‖<br />

= sup ‖f(x)‖ = sup ‖f(x)‖.<br />

‖x‖≤1<br />

‖x‖=1<br />

8

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

Saved successfully!

Ooh no, something went wrong!