1 Ensembles Convexes
Soit , on appelle segment d’extrémité et la partie
On retrouve bien sûr la définition usuelle du segment dans . (avec la notation inhabituelle )
Définition 3.1.
Un ensemble est dit convexe si .
Par convention , est convexe même si les convexes intéressants sont les convexes non-vides…
Proposition 3.1.
Si est un e.v.n., les boules (ouvertes et fermés) sont des convexes.
Démonstration :
Considérons le cas des boules ouvertes. Soient , , .
Par l’inégalité triangulaire et homogénéité, on a :
Donc . Le cas des boules fermées est similaire. □
Exemple 3.1.
On pose . On note . On remarque que , mais donc n’est pas convexe et n’est PAS une norme sur .
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 est convexe, alors son adhérence et son intérieur sont convexes. Une intersection (finie ou infinie) d’ensembles convexes est convexe. Si sont convexes, alors est convexe dans .
1.1 Cônes tangents et normaux dans
On suppose (ou un espace préhilbertien comme au dernier chapitre pour avoir un produit scalaire). On rappelle , pour .
Les deux ensembles suivant seront importants pour formuler des conditions pour des problèmes de minimisation sous contrainte. On rappelle que pour , .
Définition 3.2.
Le cône tangent (au sens de l’analyse convexe) du convexe e.v.n. au point est
Le cône normal est son polaire, c’est à dire le cône convexe fermé :
Exercice 3.2.
Si est un s.e.v de (de dimension finie), . Montrer que et est l’orthogonal de .
Exercice 3.3.
Si convexe et . Montrer que et .