Petite correction de ma preuve en gras souligné
On pose u=(1,0,0) (on peut se le permettre quitte a faire un changement de base)
(1,1,2) et (1,-1,-2) sont dans omega
Mais leur produit scalaire (entre eux) est negatif
Donc (1,1,2) et (1,-1,-2) ne sont pas dans E
Donc omega n'est pas inclus dans E
Maintenant on pose y=(y1,y2,y3) dans E
Soit x=(x1,x2,x3) dans Omega
<y,x>=x1y1+x2y2+x3y3>0
Si y2 et y3 different de 0
Alors en posant x=(3,-sgn(y2),-sgn(y3))
Où sgn(a) est le signe de a
j'avais mis 0 a la place de 3 et donc le produit scalaire <x,sigma(x)> n'était pas négatif, d'ailleurs j'ai mis 3 mais on peut prendre n'importe quel n supérieur à racine de 2Alors x appartient à omega et <y,x> < 0
Donc forcement y2 et y3 sont nul
Si y1 est negatif alors
<y,x>=y1x1<0 car x1>0 car x appartient à omega
Donc y1>0
Donc y=(y1,0,0) avec y1 positif
C'est à dire y appartient a vect(u)+
Reciproquement vect(u)+ est inclus dans E
Donc E = vect(u)+
De plus quelque soit y=(y1,0,0) ou y1 est positif
<y,u>=y1>0
<y,sigma(y)>=-(y1^2)<0
Donc E=vect(u)+ est inclus dans Omega strictement