27.10.2013 Views

Cours d'Analyse 4 - Faculté des Sciences Rabat

Cours d'Analyse 4 - Faculté des Sciences Rabat

Cours d'Analyse 4 - Faculté des Sciences Rabat

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.

<strong>Cours</strong> d’Analys 4, SM3-SMI3<br />

VI. Si E = R n muni de la norme ·2 dite norme euclidienne. On a 〈x, y〉 = x1y1+· · ·+xnyn<br />

est un produit scalaire sur R n et<br />

Pour tout x ∈ R n , l’application :<br />

x2 = 〈x, x〉.<br />

fx : R n −→ R, y ↦→ 〈x, y〉<br />

est un élément de E ′ et on a E −→ E ′ ; x ↦→ fx est un isomorphisme isométrique (x2 = fx).<br />

Ainsi E s’identifie à E ′ .<br />

VII. Soient (E, · ) et (F, · ′ ) deux espaces normés.<br />

1) L’espace E × F peut être muni <strong>des</strong> normes équivalentes suivantes :<br />

• (x, y) ↦→ x + y ′<br />

• (x, y) ↦→ max{x, y ′ }<br />

• (x, y) ↦→ x 2 + y ′2 .<br />

L’espace E × F est appelé espace normé produit de E et F .<br />

2) Soit (G, · ′′ ) espace normé. Une application B : E×F −→ G, est dite bilinéaire si pour<br />

tout x ∈ E (resp. y ∈ F ) l’application : E −→ G; y ↦→ B(x, y) (resp. F −→ G; x ↦→ B(x, y))<br />

est linéaire.<br />

3) L’application B est continue si et seulement si, il existe M > 0 tel que pour tout (x, y) ∈<br />

E × F , on a B(x, y) ′′ ≤ Mx · y ′ .<br />

on a<br />

tous<br />

En effet (nous vérifions seulement une implication). Pour (x, y) ∈ E ×F et (x0, y0) ∈ E ×F ,<br />

B(x, y) − B(x0, y0) ′′ = B(x, y) − B(x, y0)<br />

+B(x, y0) − B(x0, y0) ′′<br />

≤ B(x, y − y0) ′′<br />

+B(x − x0, y0) ′′<br />

≤ x∞y − y0 ′ ∞M<br />

+x − x0∞y0 ′ ∞M<br />

4) De plus si E et F sont de dimension finie alors B est continue.<br />

En effet, soient B = {e1, ..., en} (resp. B ′ = {f1, ..., fm}) est une base de E (resp. F ). Pour<br />

x = x1 + · · · + xnen ∈ E et y = y1 + · · · + ymem ∈ F<br />

53

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

Saved successfully!

Ooh no, something went wrong!