Ouvrir le menu principal
Page d'aide sur l'homonymie Pour les articles homonymes, voir Cône.

En mathématiques, et plus précisément en analyse convexe, un cône d'un espace vectoriel réel est une réunion de demi-droites (ouvertes ou fermées) issues de l'origine, et un cône pointé est un cône qui contient l'origine. Cette définition du cône généralise la notion géométrique de cône de l'espace euclidien de dimension 3.

On peut citer comme exemples tous les cônes convexes. Les cônes apparaissent également dans diverses constructions : cône tangent à un ensemble, cône asymptotique d'un ensemble, enveloppe conique, etc.

Dans tout cet article, désigne un -espace vectoriel, que l'on supposera topologique chaque fois que nécessaire.

Sommaire

DéfinitionsModifier

CôneModifier

D'après la définition donnée en introduction, on a la caractérisation suivante :

Cône — Une partie   de   est un cône si et seulement si   est stable pour la multiplication par tout réel strictement positif[1], ce qui s'écrit :  , ou encore :  .

Exemples de cônes :

Différents types de cônesModifier

On dit qu'un cône   est :

  • saillant s'il ne contient pas de droite vectorielle, autrement dit si   ;
  • pointé si   (et épointé dans le cas contraire)[2]. Tout cône fermé non vide est pointé.

Un cône   est convexe si et seulement si  . Tout cône convexe épointé est saillant.

Un cône   est polyédrique (c'est-à-dire intersection d'un nombre fini de demi-espaces fermés et a fortiori convexe et fermé) si et seulement si   est l'image réciproque de   par une application linéaire  , pour un entier  .

Rayon extrêmeModifier

Un rayon est une demi-droite fermée d'origine  [3]. Il s'agit donc d'un cône polyédrique de dimension 1. On dit qu'un vecteur   « génère »[réf. nécessaire] le rayon  .

On dit qu'un rayon est un rayon extrême d'un cône   s'il est généré par un vecteur   et si la propriété suivante a lieu

 

Cette propriété rappelle celle d'une arête (ou face de dimension 1) d'un convexe. Cependant, si le cône n'est pas convexe, la notion d'arête n'est pas définie, alors que la notion de rayon extrême ne demande pas cette convexité. Par ailleurs, si le cône convexe n'est pas saillant, une arête peut être une droite vectorielle et donc ne pas vérifier la propriété ci-dessus ; par exemple,   est une arête du cône  , qui n'est pas saillant, mais n'est pas un rayon extrême de ce cône. En réalité, on a la propriété suivante.

Arête d'un cône convexe saillant — Les arêtes d'un cône convexe pointé saillant sont ses rayons extrêmes.

Enveloppe coniqueModifier

 
L'enveloppe conique d'un cercle passant par   est l'union d'un demi-plan ouvert et du singleton  .

Un ensemble non vide   est un cône convexe pointé si et seulement si   et  , ce que l'on peut reformuler ainsi :

Combinaison conique — On appelle combinaison conique (en) de vecteurs de  , une combinaison linéaire à coefficients positifs de ces vecteurs.

Une partie non vide de   est un cône convexe pointé si et seulement si elle est stable par combinaisons coniques.

L'intersection d'une famille non vide   de cônes convexes étant un cône convexe — pointé si les   le sont —, on peut définir ce que l'on appelle l'enveloppe conique d'une partie (comme raccourci de « enveloppe conique convexe pointée ») :

Enveloppe conique — L'enveloppe conique d'une partie   de  , notée  , est l'intersection des cônes convexes pointés contenant  . C'est donc le plus petit cône convexe pointé contenant  . C'est aussi l'ensemble des combinaisons coniques d'éléments de   :

 [4] 

Notes et référencesModifier

  1. Certains auteurs, comme Jahn 2007, p. 81, Borwein et Lewis 2006, p. 1, Bonnans et Shapiro 2000, p. 31 ou Fischer, Schirotzek et Vetters 2013, p. 153, n'admettent comme cônes que les parties non vides stables par multiplication par un réel positif ou nul, que nous appelons cônes pointés.
  2. Bourbaki 1981, p. 26.
  3. Pour Berman et Shaked-Monderer 2003,   est aussi un rayon.
  4. On inclut le cas  , de façon à obtenir le vecteur nul (sous la forme de la somme vide) même lorsque   est l'ensemble vide, dont l'enveloppe conique est   d'après la définition précédente.

Voir aussiModifier

BibliographieModifier

  • (en) Abraham Berman et Naomi Shaked-Monderer, Completely Positive Matrices, River Edge, NJ, World Scientific, (lire en ligne), p. 41-43
  • (en) J. F. Bonnans et A. Shapiro, Perturbation Analysis of Optimization Problems, New York, Springer, (lire en ligne), p. 31
  • (en) J. M. Borwein et A. S. Lewis, Convex Analysis and Nonlinear Optimization, New York, Springer, , 2e éd. (1re éd. 2000) (lire en ligne), p. 1-2
  • N. Bourbaki, Éléments de mathématique, Livre V : Espaces vectoriels topologiques, Springer,
  • (en) Jacques Faraut et Adam Korányi, Analysis on Symmetric Cones, Oxford University Press,
  • (de) Andreas Fischer, Winfried Schirotzek et Klaus Vetters, Lineare Algebra: Eine Einführung für Ingenieure und Naturwissenschaftler, Springer, (1re éd. 2003) (lire en ligne), p. 153
  • (en) Jean-Baptiste Hiriart-Urruty et Claude Lemaréchal, Convex Analysis and Minimization Algorithms I: Fundamentals, Springer, coll. « Grund. math. Wiss. » (no 305), (ISBN 3-540-56850-6, lire en ligne), p. 89-90 et 101-102
  • (en) Jean-Baptiste Hiriart-Urruty et Claude Lemaréchal, Fundamentals of Convex Analysis, Berlin Heidelberg New York, Springer, (1re éd. 2001) (lire en ligne), p. 21-22 et 32-33
  • (en) Johannes Jahn, Introduction to the Theory of Nonlinear Optimization, Springer, , 3e éd. (1re éd. 1994), chap. 4 (« Tangent Cones »)
  • (en) R. Tyrrell Rockafellar, Convex Analysis, Princeton, NJ, Princeton University Press, coll. « Princeton Mathematical Series » (no 28), (lire en ligne), p. 13-14

Articles connexesModifier