Bonsoir !

Depuis quelques jours j'essaie sans succès de prouver un certain énoncé que je trouve plutôt intuitif. Mais soit c'est beaucoup plus dur à prouver que je ne l'imaginais, soit mon intuition est pourrie et cet énoncé est tout simplement faux.
En tous les cas, j'aimerais bien un peu d'aide de votre part, s'il vous plaît.

J'ai trouvé plusieurs formulations équivalentes pour mon problème, je vous en donne 3.

1) (formulation algébrique)
Existe-t-il deux entiers naturels m et n et une matrice M à n lignes et m colonnes telle que :
-Pour tout vecteur y=/=0, le produit y^t M possède au moins deux coordonnées strictement positives.
-Pour tout i entre 1 et m-1, il existe un vecteur y tel que y^t M possède exactement deux coordonnées strictement positives : la i-ème coordonnée et la dernière coordonnée (donc la m-ème).
?

2) (formulation géométrique)
Tout hyperplan H sépare l'espace en deux demi-espaces ouverts, que je nommerai H+ et H-.
Existe-t-il deux entiers naturels m et n et un ensemble de vecteurs B={b_1 ... b_m} inclus dans R^n tel que :
-Pour tout hyperplan H, au moins l'un des b_i pointe en direction de H+ et au moins un autre pointe en direction de H-.
-B est minimal pour cette première propriété. (Ce qui se reformule en "Pour tout b_i, il existe un hyperplan H tel que b_i est le SEUL élément de B qui pointe en direction de H+").
-Il existe un vecteur v tel que pour tout hyperplan H, au moins DEUX des éléments de B u {v} pointent en direction de H+ et au moins deux pointent en direction de H-.
?

3) (seconde formulation algébrique)
Je vais faire un abus de langage et confondre une matrice avec l'ensemble de ses colonnes : pour une matrice M=[c_1...c_m], je désignerai par M\{c_i} la matrice qu'on obtient en retirant la i-ème colonne de M. De même, je désignerai par M u {v} la matrice qu'on obtient en ajoutant le vecteur v comme nouvelle colonne.
Existe-t-il deux entiers naturels m et n et une matrice M à n lignes et m colonnes telle que :
-L'équation MX=0 possède une solution X>0 (ie chaque coordonnée de X est strictement positive).
-Pour tout i, l'équation M\{c_i} X=0 n'a pas de solution X>0.
-Il existe un vecteur v tel que pour tout i, l'équation M\{c_i} u {v} X=0 possède une solution X > 0.
?

Personnellement je pense (sans preuve) que la réponse au problème et donc à ces trois questions est SpoilAfficherMasquernon et c'est surtout à cause de la formulation géométrique.
Je me dis que si je considère deux éléments b_i et b_j très éloignés l'un de l'autre (en termes d'angle), eh bien le vecteur v va devoir pointer dans un même demi espace que b_i mais aussi dans un même demi espace que b_j ce qui limite énormément le nombre de possibilités pour placer le vecteur v... et pourtant à ce stade je n'ai considéré que deux vecteurs de l'ensemble B, donc si je commence à considérer d'autres vecteurs écartés les uns des autres ça va d'autant plus restreindre les possibilités pour placer v.
Bien sûr ce n'est qu'une intuition...et il est tout à fait possible que j'ai tort.

Bref, qu'en pensez-vous ?

Rend pas fou

Le 15 septembre 2022 à 00:34:53 :
Rend pas fou

ok

https://www.jeuxvideo.com/forums/42-51-70643030-1-0-1-0-je-suis-possede.htm

Le 15 septembre 2022 à 00:37:42 :
https://www.jeuxvideo.com/forums/42-51-70643030-1-0-1-0-je-suis-possede.htm

Réponds à ma question et tu seras débarrassé, c'est la seule façon d'épuiser suffisamment le démon pour qu'il parte.

Le 15 septembre 2022 à 00:38:40 :

Le 15 septembre 2022 à 00:37:42 :
https://www.jeuxvideo.com/forums/42-51-70643030-1-0-1-0-je-suis-possede.htm

Réponds à ma question et tu seras débarrassé, c'est la seule façon d'épuiser suffisamment le démon pour qu'il parte.

JE FAIS LES MATHS CASH DANS L'CALBARD

c'est bon ?

Hyperplan, genre vous pouvez pas vous contenter de faire des plans, il faut toujours que vous vous placiez au-dessus des autres les mathématiciens, HYPERplan quoi le melon

Le 15 septembre 2022 à 00:40:13 :
Hyperplan, genre vous pouvez pas vous contenter de faire des plans, il faut toujours que vous vous placiez au-dessus des autres les mathématiciens, HYPERplan quoi le melon

Si vous le jugez comme ça...j'aurais pu dire "sous espace vectoriel de R^n de dimension n-1", j'ai pas osé

Up

C’est un problème parfaitement inutile qui ne t’aidera pas à avoir l’X

Le 15 septembre 2022 à 10:13:56 :
C’est un problème parfaitement inutile qui ne t’aidera pas à avoir l’X

qu'est ce que j'en ai à foutre d'avoir l'X ? par contre ça m'aiderait à valider ma thèse

up

Poste ça sur le cours et devoirs khey

Le 15 septembre 2022 à 23:05:49 :
Poste ça sur le cours et devoirs khey

j'ai posté sur le C&D, sur 4chan/sci (le thread général sur les maths) et sur stack exchange mais personne n'a l'air inspiré

Le 15 septembre 2022 à 23:06:25 :

Le 15 septembre 2022 à 23:05:49 :
Poste ça sur le cours et devoirs khey

j'ai posté sur le C&D, sur 4chan/sci (le thread général sur les maths) et sur stack exchange mais personne n'a l'air inspiré

Bon courage je connais ça

up