Académique Documents
Professionnel Documents
Culture Documents
Espaces vectoriels
normés
554 Chapitre 5. Espaces vectoriels normés
< tr + (1 − t)r = r
= kλ(x − x0 ) + (λ − λ0 )x0 k
≤ |λ| kx − x0 k + |λ − λ0| kx0 k
x
ku( )k ≤ k, soit ku(x)k ≤ kkxk.
kxk
(v)⇒(vi) on a ku(x) − u(y)k = ku(x − y)k ≤ kkx − yk,
donc u est k-lipschitzienne.
(vi)⇒(i) est évident
On a donc ∀u ∈ H, kuk ≤ K.
2y = (y − y0 ) + (y + y0 ) ∈ B 0 (−y0 , ρ) + B(y0 , ρ0 )
or
B 0 (−y0 , ρ)+B(y0 , ρ0 ) ⊂ u(B 0 (0, r))+u(B 0 (0, r)) ⊂ u(B 0 (0, 2r))
598 Chapitre 5. Espaces vectoriels normés
x y x+y
{λ > 0 | ∈ K}+{µ > 0 | ∈ K} ⊂ {ν > 0 | ∈ K}
λ µ ν
606 Chapitre 5. Espaces vectoriels normés
y = pK (x) ⇐⇒ ∀z ∈ K, (x − y | z − y) ≤ 0
kyp − yq k2
= k(yp − x) − (yq − x)k2
= 2kyp − xk2 + 2kyq − xk2 − k(yp − x) + (yq − x)k2
yp + yq
= 2kyp − xk2 + 2kyq − xk2 − 4k − x)k2
2
1 1
avec kx − yp k2 ≤ d(x, K)2 + et kx − yq k2 ≤ d(x, K)2 + .
p q
yp + yq yp + yq
Mais comme K est convexe, ∈ K et donc k −
2 2
1 1
x)k2 ≥ d(x, K)2 . On a donc kyp − yq k2 ≤ 2( + ). La suite
p q
(yn ) est une suite de Cauchy dans E, donc elle converge.
5.5. Compléments : convexité dans les espaces vectoriels
normés de dimension finie 609
≥ kx − yk2
angle obtus
z
612 Chapitre 5. Espaces vectoriels normés
angle
obtus
z
H
p
X
de p − 1 points de A. Soit donc x = λi xi avec λi ≥ 0 et
X i=1
λi = 1. La famille (xi − xp )1≤i≤p−1 de E est une famille
de p − 1 ≥ n + 1 éléments dans E de dimension n, donc elle
est liée. On peut trouver α1 , . . . , αp−1 non tous nuls tels que
p−1
X
αi (xi − xp ) = 0. Posons αp = −(α1 + . . . + αp−1 ). On a
i=1
p p
X X
donc αi xi = 0 avec αi = 0. Soit t ∈ R+ . On a alors
i=1 i=1
p p
X X
x= (λi − tαi )xi avec (λi − tαi ) = 1. Il suffit alors de
i=1 i=1
5.5. Compléments : convexité dans les espaces vectoriels
normés de dimension finie 619
∀y, z ∈ K, x ∈ [y, z] ⇒ x = y ou x = z
il existe une forme linéaire f telle que f(x) > sup f (y).
y∈K0
Soit µ = sup f (z) et S = {z ∈ K | f (z) = µ}. S est
z∈K
non vide (une fonction continue sur un compact atteint sa
borne supérieure), extrémal d’après le lemme précédent et
S ∩ K0 = ∅ (car si y ∈ K0 , f (y) < f (x) ≤ µ). Donc S
est un sous-ensemble extrémal qui ne contient aucun point
extrémal. C’est absurde. Donc K = K0 .