salut

ça veut dire quoi Y^+ ?

Enoncé incompréhensible.

vous avez raison. J'ai oublié de mettre ce détail, Y^+ inclus dans Y veut dire le cône convexe fermé d'intérieur non vide qui introduit un ordre partiel sur Y.

Y est donc un  -evnc et C un cône convexe fermé .
   Par exemple Y = ² et C = {(x,y) │ x 0 , y 0 }

L'intérieur U  de C est  U := {(x,y) │ x>0 , y > 0 }

-U = ….

Donc un élément qui n'appartient pas à -int (Y^+) est un élément qui appartient à  Y^+ ou à la frontière c'est ça !?  

Tu as fait un dessin ?

Si mais j'arrive pas à répondre à cette question,

Que dire de  a := (-1,1)   ?

Oui donc j'ai tord

Je m'aperçois que tu as mis en titre " Complémentaire de l'intérieur " et je me demande si ton  (-int (Y^+) ) ou mon -U ne serait pas (dans ton esprit ) le complémentaire de U .

Pour moi  ( et bien d'autres )  -U = { -x │ x   U }  ; tandis que  je note U^c ou Y  \ U le complémentaire de U dans  Y .

J'ai voulu dire par complémentaire de - int Y^+ l'ensemble des éléments qui n'appartient pas à - int Y^+. C'est bien ça