1 Ensembles Convexes

Soit x,yE, on appelle segment d’extrémité x et y la partie

[x,y]={λx+(1λ)y,λ[0,1]}.

On retrouve bien sûr la définition usuelle du segment dans . (avec la notation inhabituelle [1,2]=[2,1])

Définition 3.1.

Un ensemble CE est dit convexe si x,yC,[x,y]C.

Par convention , C=∅︀ est convexe même si les convexes intéressants sont les convexes non-vides…

Proposition 3.1.

Si E est un e.v.n., les boules (ouvertes et fermés) sont des convexes.

Démonstration : 

Considérons le cas des boules ouvertes. Soient x,yB(a,r), z=λx+(1λ)y, λ[0,1].

Par l’inégalité triangulaire et homogénéité, on a :

za=λ(xa)+(1λ)(ya)|λ|xa+|1λ|ya<|λ|r+|1λ|r=r.

Donc zB(a,r). Le cas des boules fermées est similaire.   □

Exemple 3.1.

On pose (x,y)1/2=(|x|1/2+|y|1/2)2. On note B={(x,y)2:(x,y)1/21}. On remarque que (1,0),(0,1)B, (1/4,1/4)B mais (1/2,1/2)B donc B n’est pas convexe et ||||1/2 n’est PAS une norme sur 2.

Exercice 3.1.

Montrer que les ensembles convexes de sont exactement les intervalles.

Le résultat suivant est laissé en exercice.

Proposition 3.2.

Si C est convexe, alors son adhérence C¯ et son intérieur Int(C) sont convexes. Une intersection (finie ou infinie) d’ensembles convexes est convexe. Si C1E,C2F sont convexes, alors C1×C2 est convexe dans E×F.

1.1 Cônes tangents et normaux dans n

On suppose E=n (ou un espace préhilbertien comme au dernier chapitre pour avoir un produit scalaire). On rappelle f,x=i=1nfixi, pour f,xE.

Les deux ensembles suivant seront importants pour formuler des conditions pour des problèmes de minimisation sous contrainte. On rappelle que pour A,BE,C,xE, A+B={a+b:aA,bB},CA={ca,cC,aA},Ax={ax:aA},x+A={a+x:aA}.

Définition 3.2.

Le cône tangent (au sens de l’analyse convexe) du convexe SE e.v.n. au point xS est

TS(x):={uxs,uS,s>0}¯=+(Sx)¯,

Le cône normal est son polaire, c’est à dire le cône convexe fermé :

NS(x):={fE:uS,f,ux0}={fE:vTS(x)f,v0}.
Exercice 3.2.

Si L est un s.e.v de E (de dimension finie), aL. Montrer que TL(a)=L et NL(a)=L={yE:y,=0L}, est l’orthogonal de L.

Exercice 3.3.

Si S convexe et aInt(S). Montrer que TS(a)=E et NL(a)={0}.