Documente Academic
Documente Profesional
Documente Cultură
de la proprit de Farkas
Marc Tenti
Agrg de mathmatiques, professeur au lyce Albert Schweitzer, le Raincy.
Un exercice d'oral (cf. [1]) signale qu'un s.e.v. de , ou son orthogonal, contient un vecteur
non nul coordonnes toutes positives.
Cet nonc, sous la forme prcise tudie ci-dessous, peut tre vue comme la proprit de
Farkas des -espaces vectoriels de dimensions finies.
Le double objet de cette note est de dmontrer cet nonc vectoriel de manire lmentaire
1
, puis
de dgager et d'expliquer le sens d'une proprit de Farkas abstraite.
Notes
... \'el\'ementaire
1
Mais non nave et hautement combinatoire.
1 Le lemme de Farkas revisit
2 Trois noncs quivalents
3 La proprit de Farkas abstraite
Bibliographie
1 Le lemme de Farkas revisit
Soit un entier naturel non nul. Pour tout s.e.v. de , on dfinit deux oprations :
Si , les notations et signifient que l'ingalit
correspondante est vrifie par chacun des .
Lemme Soit un sous-espace vectoriel de . On a l'alternative :
(1) il existe tel que et
ou (2) il existe tel que et .
Page 1sur 11 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=291&Type=enonce&Num=0&Mode=...
Dmonstration
Procdons par rcurrence sur . Si , ou est et l'autre est , donc l'un contient
et l'autre non.
Supposons que et que l'alternative est vraie pour tout s.e.v. de .
Fixons un s.e.v. de . On a :
Appliquons l'hypothse de rcurrence puis , il vient :
(1) il existe tel que et ,
ou (2) il existe tel que et
puis
(3) il existe tel que et ,
ou (4) il existe tel que et .
Si on a (1) ou (3), l'assertion est dmontre pour .
Sinon, on a deux vecteurs et comme dans (2) et (4). Deux tels vecteurs sont orthogonaux
d'o
L'un des deux rels est donc positif et le vecteur associ est un vecteur de ou
positif de premire composante 1.
Commentaires
i) Les oprations de suppression et de contraction jouent un rle essentiel dans la thorie
abstraite et seront reprises plus bas.
ii) Dtaillons l'galit .
Page 2sur 11 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=291&Type=enonce&Num=0&Mode=...
Une preuve courte.
Identifions .
Soit alors une matrice telle que , et soit la matrice obtenue en
supprimant la -ime colonne de , de sorte que .
On a
et
On a bien .
On peut lui prfrer une preuve intrinsque (mais un peu laborieuse) et tablir :
notons la droite de :
ssi ssi
ssi ssi .
Dduisons-en la version systmes linaires du lemme de Farkas.
Soit et .
(i) il existe tel que et
ou
(ii) il existe tel que et .
Page 3sur 11 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=291&Type=enonce&Num=0&Mode=...
Pour cela, on considre la matrice , ainsi que le -ev
2
.
Il s'agit d'appliquer le lemme de Farkas vu plus haut. On peut avoir : un est
tel que et , dans ce cas on note et vrifie (i).
Sinon on a : un vrifie et .
Or, est l'ensemble des matrices-colonnes de dont les transposes
vrifient :
Les lignes de (resp. de ) sont les matrices de formes linaires (resp. ) sur
et on peut rcrire ainsi :
Par le lemme d'inclusion des noyaux, on sait qu'alors , d'o un tel
que .
Un tel vrifie (ii).
Commentaires
i) Il y a en fait quivalence de la version systmes linaires avec notre nonc principal. On
peut consulter [2] pour une preuve, astucieuse mais classique. C'est aussi une bonne rfrence
pour la suite de ce texte. Pour d'autres noncs classiques rduits du lemme de Farkas matriciel,
consulter [3].
ii) Les deux noncs de ce paragraphe se prsentent clairement comme non compltement
algbriques. L'instanciation d'un s.e.v. ou d'une matrice va dterminer, par sa structure, la
branche pertinente de l'alternative. Mais l'existence mme de cette alternative en est
partiellement indpendante. Les paragraphes suivants expliqueront peut-tre mieux sa nature
combinatoire que cette remarque, qui tente de la faire sentir.
Notes
...
2
est appel espace des dpendances linaires des colonnes de .
Page 4sur 11 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=291&Type=enonce&Num=0&Mode=...
2 Trois noncs quivalents
Ce qui suit apparente le rsultat de Farkas au thorme de Minty de la thorie des graphes, et
autres rsultats de colorations.
Le cadre abstrait annonc plus haut permet une gnralisation commune de nombreux aspects
du contexte vectoriel et du contexte graphique.
Soit un ensemble fini non vide. Le -espace vectoriel est muni de la partie-base
canonique o et si .
Si , le support de est .
Pour et , on note pour la restriction de , et le vecteur nul de .
On note si ( ).
Enfin, pour tout s.e.v. de , on note .
nonc 1 (Lemme de Farkas)
Pour tout s.e.v. de et tout , on a l'alternative :
(F1) il existe tel que et
ou
(F2) il existe tel que et .
nonc 2 (Lemme des 3 couleurs)
Soit un s.e.v. de et . Soit un partage de tel que . On a
l'alternative :
(3C1) il existe tel que et ,
ou
(3C2) il existe tel que et .
nonc 3 (Lemme des 4 couleurs)
Page 5sur 11 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=291&Type=enonce&Num=0&Mode=...
Soit un s.e.v. de , , un partage de tel que . On a
l'alternative :
(4C1) il existe tel que et , ,
ou
(4C2) il existe tel que et , .
tablissons l'quivalence a priori des trois noncs.
On identifie par la correspondance
On pose
3
on a .
L'application directe de au s.e.v. de donne le rsultat.
Les noncs et tant tablis, ils s'appliquent aux espaces de coordonnes dans une
base de n'importe quel -ev de dimension finie.
Notons o et considrons le -ev muni de la
partie-base obtenue en remplaant les ( ) par leurs opposs. L'application de
termine.
Prendre .
Notes
Page 6sur 11 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=291&Type=enonce&Num=0&Mode=...
...
3
est au sens o , not , ce qui donne
un sens pour . On a alors clairement , d'o
.
3 La proprit de Farkas abstraite
Soit un ensemble fini et un s.e.v. de .
Notons l'ensemble , parfois rsum en , et considrons
l'application qui, tout vecteur associe son support sign dfinit par
ssi et sinon. Le support de est
qui se partage en (dfinitions videntes).
Si et , le projet canonique de sur est dfini par
a. crivons pour l'ensemble et l'ensemble des dont les supports sont
minimaux pour l'inclusion (au sein des parties de ).
La famille satisfait aux axiomes de dfinition d'une structure gomtrique et combinatoire
appele matrode orient (en abrg M.O.).
Les mmes dfinitions appliques donnent une partie de satisfaisant tout autant
aux axiomes des M.O.
Notons et ces structures abstraites attaches et .
La proprit de Farkas du I concerne le couple , autant dire et lucide
les proprits gnrales .
b. Les axiomes des circuits
Voici trois axiomes, ddis aux parties de , toujours satisfaits par et par :
Page 7sur 11 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=291&Type=enonce&Num=0&Mode=...
(C )
(C1)
(C2)
Se donner un matrode orient sur , c'est se donner qui les vrifie, ainsi qu'un
axiome (C3) plus cach qu'il ne serait pas clairant d'expliciter ici. Les sont les circuits
de . On dit que est le support de .
c. Orthogonalit abstraite
Si deux vecteurs de vrifient (orthogonalit euclidienne) alors leurs supports signs
vrifient (orthognalit abstraite) au sens suivant :
Deux ensembles signs , sont dit orthogonaux, on note , si et sont de
supports disjoints ou si leurs projets canoniques sur ne sont ni gaux ni opposs.
d. Dualit abstraite
On fait correspondre tout matrode orient sur , un M.O. sur not ou ,
appel dual de .
On constate que tout circuit de est orthogonal tout circuit de .
L'opration de dualit vrifie .
On note l'ensemble des circuits de , appels aussi cocircuits de .
Si est vectoriel i.e. de la forme ( s.e.v. d'un ) alors
e. Paire duale
Page 8sur 11 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=291&Type=enonce&Num=0&Mode=...
Soient maintenant , deux parties de vrifiant toutes deux (C ), (C1), (C2).
forme une paire duale si ce sont les circuits d'un M.O. et de son dual.
Une condition ncessaire et suffisante pour que forme une paire duale est qu'il vrifie la
proprit de Farkas (abstraite) qui peut prendre l'une des trois formes quivalentes suivantes :
1
re
forme (4C)
Soit et un partage de tel que . On a l'alternative :
(4C1) : tel que , ,
ou
(4C2) : tel que , , .
2
e
forme (3C)
Soit et un partage de tel que . On a l'alternative :
(3C1) : tel que ,
ou
(3C2) : tel que , .
3
e
forme
(L'nonc sera suivi des dfinitions utiles.)
Si est une quelconque rorientation d'un mineur de alors si on note
le support de :
tout vrifie (i) ou (ii) mais pas les deux
(i) tel que et
(ii) tel que et .
Les paires duales sont un bon cadre o chercher des versions (abstraites) de rsultats que l'on sait
lis Farkas : thormes de convexit, de sparation, de programmation linaire. Consulter [4],
chapitre 10.
Voici les dfinitions ncessaires.
Soit et . Notons l'ensemble des circuits d'un M.O. sur .
* Rorientation
Si , est l'lment de dfini par si
Page 9sur 11 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=291&Type=enonce&Num=0&Mode=...
et si . On prend si .
On note, pour , l'ensemble des obtenus partir des par
rorientation successive de tous les lments de , l'ordre tant indiffrent. Cela dfinit un M.O.
.
* Suppression
On note l'ensemble des projets des dont le support est contenu
dans .
* Contraction
Notons .
est l'ensemble des projets sur des dont le support est un lment
minimal de .
On a alors .
* Mineur
Un mineur de est le rsultat de l'application aux circuits de d'un nombre fini de
suppressions ou contractions successives d'lments de .
satisfait aux axiomes des circuits, d'o la notation , pour un M.O. sur
o , resp. , dsigne l'ensemble des lments de qui ont t contracts, resp. supprims.
Ces oprations pouvant tre faites dans un ordre arbitraire, on a une criture et une seule de
sous la forme , ou si l'on prfre .
On a .
Bibliographie
1
RMS, nonc 224, anne 1999/2000.
Page 10sur 11 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=291&Type=enonce&Num=0&Mode=...
2 Bachens A., Kern W., Linear programming duality. An introduction to oriented matroids,
Universitext, Springer-Verlag, Berlin-Heidelberg, 1992.
3 Schrijver A., Theory of linear and integer programming, Wiley-Interscience, Chichester,
1986.
4 Bjner A., Las Vergnas M., Sturmfels B., White N.,
Ziegler G., Oriented matroids, Encyclopedia of Mathematics, Cambridge, University
Press, 1993.
Page 11sur 11 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=291&Type=enonce&Num=0&Mode=...