Les réels λi
1−λn+1
,16i6n, sont donc nréels de [0, 1]et de somme égale à 1. Par hypothèse de récurrence,
n
X
i=1
λi
1−λn+1
xi∈Cpuis, d’après le cas n=2,(1−λn+1) n
X
i=1
λi
1−λn+1
xi!+λn+1xn+1∈C.
Le résultat est démontré par récurrence.
Théorème 4. Soit Eun K-espace vectoriel. Soient Iun ensemble non vide d’indices puis (Ci)i∈Iune famille de
convexes de Eindexée par I. Alors \
i∈I
Ciest un convexe de E.
Démonstration. Posons C=\
i∈I
Ci. Si Cest vide, alors Cest un convexe de Epar convention.
Supposons C6=∅. Soit (x, y)∈E2.
(x, y)∈C2⇒∀i∈I, (x, y)∈C2
i⇒∀i∈I, [x, y]⊂Ci⇒[x, y]⊂C
et donc Cest convexe.
2-c) Enveloppe convexe
Théorème 5. Soit Eun K-espace vectoriel. Soit Aune partie de E. Il existe une plus petite partie convexe (au sens
de l’inclusion) contenant A.
Démonstration. Il existe au moins un convexe contenant Aà savoir l’espace Etout entier. Soit Cl’intersection de tous
les convexes de Econtenant A.
Ccontient Aen tant qu’intersection de parties contenant Aet Cest un convexe en tant qu’intersection de convexes. Donc,
Cest un convexe contenant A. Enfin, tout convexe contenant Acontient l’intersection de tous les convexes contenant A
c’est-à-dire C.
Définition 4. Soit Aune partie de E. Le plus petit convexe (au sens de l’inclusion) de Econtenant As’appelle
l’enveloppe convexe de Aet se note conv(A).
Théorème 6. Soit Eun K-espace vectoriel. Soit Aune partie non vide de E. L’enveloppe convexe de Aest l’ensemble
des
n
X
i=1
λixioù n∈N∗,(x1,...,xn)∈An,(λ1,...,λn)∈[0, 1]net
n
X
i=1
λi=1.
Dit autrement, conv(A)est l’ensemble des barycentres à coefficients positifs d’éléments de A.
Démonstration. Notons Cl’ensemble des barycentres à coefficients positifs d’éléments de A.
conv(A)contient les éléments de Aet donc les barycentres à coefficients positifs d’éléments de Ad’après le théorème 3,
page 3, et donc C⊂conv(A).
Inversement, un élément de Aest un barycentre à coefficients positifs d’éléments de Aet donc Ccontient A. De plus,
soit x=
n
X
i=1
αixioù les xisont dans Aet les αisont dans [0, 1]et tels que
n
X
i=1
αi=1et soit y=
p
X
i=1
βiyioù les yisont
dans Aet les βisont dans [0, 1]et tels que
p
X
i=1
βi=1. Alors, pour λ∈[0, 1],
(1−λ)x+λy = (1−λ)α1x1+...+ (1−λ)αnxn+λβ1y1+...λβpyp,
avec ∀i∈J1, nK,06(1−λ)αi61−λ61,∀j∈J1, pK,06λβj6λ61et enfin
n
X
i=1
(1−λ)αi+
p
X
j=1
λβj= (1−λ)
n
X
i=1
αi+λ
p
X
j=1
βj=1−λ+λ=1.
Donc (1−λ)x+λy ∈C. Ainsi, Cest un convexe contenant Aet donc conv(A)⊂C. On a montré que conv(A) = C.
c
Jean-Louis Rouget, 2015. Tous droits réservés. 4 http ://www.maths-france.fr