Lemme de farkas

Lemme de farkas

Lemme de Farkas

Le lemme de Farkas est un résultat de géométrie convexe essentiel en programmation linéaire où il fonde la théorie de la dualité pour les programmes linéaires, ainsi qu'en théorie des jeux. Il intervient dans la preuve du théorème de Karush-Kuhn-Tucker en programmation non linéaire.

Il affirme, avec quelques précautions techniques nécessaires, qu'étant donnée une famille d'inéquations linéaires (ou affines) dans un espace vectoriel réel de dimension finie, il n'y a pas d'autres conséquences à en déduire que celles qui se déduisent de façon évidente.

On peut donner plusieurs versions du lemme de Farkas, toutes essentiellement équivalentes les unes aux autres.

Ce lemme est un des « théorèmes de l'alternative », qui fournissent pour un système d'inéquations linéaires une condition nécessaire et suffisante d'existence de solution, qui peut s'exprimer comme inexistence de solutions pour un autre problème de forme voisine.

Sommaire

Historique

Ce lemme a été historiquement démontré pour la première fois par Gyula Farkas en 1902 (Über die Theorie der Einfachen Ungleichungen, Journal für die Reine und Angewandte Mathematik 124, p1-27) avec une formulation différente. La formulation matricielle est due à Albert William Tucker dans les années 1950.

La version du lemme en géométrie vectorielle

Avant de donner l'énoncé du lemme de Farkas, commençons par rappeler un résultat sur les équations linéaires, suffisamment simple pour ne pas bénéficier d'une dénomination particulière, et dont le lemme de Farkas est la généralisation aux inégalités.

Proposition — Soit f_1,\ldots,f_k et g des formes linéaires sur un espace vectoriel de dimension finie E. Alors :

\{y\in E\,\mid\,f_1(y)=\cdots=f_k(y)=0\}\subset \{y\in E\,\mid\, g(y)=0\}

si et seulement si

g appartient à l'espace vectoriel formé des combinaisons linéaires de (f_1,\ldots,f_k).

Dit autrement : étant donné un sous-espace vectoriel de E décrit par une liste d'équations cartésiennes, toute autre équation valable sur ce sous-espace s'obtient en combinant de façon immédiate les équations initialement fournies.

Le lemme de Farkas est le résultat analogue pour des systèmes d'inéquations :

Lemme de Farkas, version vectorielle — Soit f_1,\ldots,f_k et g des formes linéaires sur un espace vectoriel réel de dimension finie E. Alors :

\{y\in E\,\mid\,f_1(y)\geq 0,\ldots,f_k(y)\geq 0\}\subset \{y\in E\,\mid\, g(y)\geq 0\}

si et seulement si

g appartient à l'ensemble des combinaisons linéaires à coefficients positifs ou nuls de (f_1,\ldots,f_k).

Une des preuves passe par l'étape suivante cruciale, qui est aussi parfois appelée lemme de Farkas :

Lemme de Farkas, version topologique — Soit s_1,\ldots,s_k des éléments d'un espace vectoriel réel de dimension finie E. L'ensemble des combinaisons linéaires à coefficients positifs ou nuls de (s_1,\ldots,s_k) est fermé dans E.

La version matricielle du lemme

On rappelle que B étant une matrice de réels, on note B\geq 0 lorsque tous les coefficients de B sont positifs ou nuls. La notation BT désigne la transposée de B.

La version matricielle du lemme est la suivante :

Lemme de Farkas, version matricielle — Soit A une matrice de réels de taille (n,k) et b un vecteur-colonne avec n entrées, alors un et un seul des systèmes linéaires suivants a une solution :

  • le système Ax = b\, pour x vecteur-colonne à k entrées vérifiant par ailleurs x \geq 0 ;
  • ou le système A^Ty \geq 0 pour y\, vecteur-colonne à n entrées vérifiant par ailleurs b^Ty < 0\,.

La vérification est sans difficulté aucune, une fois qu'on a passé l'obstacle de raccrocher les matrices de cet énoncé aux objets géométriques de l'énoncé précédent.

Le lemme de Farkas comme critère d'inconsistance

On dira qu'un système d'inéquations est inconsistant lorsqu'il n'a aucune solution. Si on revient à la version du théorème pour les équations linéaires, dire que \{y\in E\,\mid\,f_1(y)\geq 0,\ldots,f_k(y)\geq 0\}\subset \{y\in E\,\mid\, g(y)\geq 0\} c'est la même chose que de dire que l'ensemble \{y\in E\,\mid\,g(y)<0, f_1(y)\geq 0,\ldots,f_k(y)\geq 0\} est vide : c'est un énoncé d'inconsistance. En notant h=-g, on a donc la variante suivante :

Lemme de Farkas, critère vectoriel d'inconsistance — Soit f_1,\ldots,f_k et h des formes linéaires sur un espace vectoriel réel de dimension finie E. Alors :

\{y\in E\,\mid\,h(y)> 0,f_1(y)\geq 0,f_2(y)\geq0,\ldots,f_k(y)\geq 0\}=\emptyset

si et seulement si

h appartient à l'ensemble des combinaisons linéaires à coefficients positifs ou nuls de (f_1,\ldots,f_k).

Par ce critère vectoriel d'inconsistance, on obtient facilement un critère d'inconsistance pour les systèmes affines directement apparenté, et d'aspect un peu plus simple :

Lemme de Farkas, critère affine d'inconsistance — Soit f_1,\ldots,f_k des formes affines sur un espace affine réel de dimension finie E.

Alors :

\{y\in E\,\mid\,f_1(y)\geq 0,\ldots,f_k(y)\geq 0\}=\emptyset

si et seulement si

− 1 appartient à l'ensemble des combinaisons linéaires à coefficients positifs ou nuls de (f_1,\ldots,f_k).

On voit de nouveau là très nettement l'idée sous-jacente à tous ces énoncés, appliquée dans le cas de l'inconsistance : un système inconsistant implique (au sens du calcu propositionnel) l'inéquation absurde -1\geq 0 ; le lemme de Farkas assure dès lors qu'elle peut en être déduite non seulement par des raisonnements plus ou moins compliqués mais aussi tout simplement par combinaisons des équations du système.

Déduction d'inéquations en géométrie affine

La simple reproduction du résultat écrit plus haut en géométrie vectorielle serait inexacte en géométrie affine. L'énoncé est en effet faux pour les systèmes d'inéquations inconsistants. Donnons tout de suite un exemple : dans \R^2 où on note (u,v) le point courant, soit le système formé des deux inéquations : u -1 \geq 0 et -u\geq 0. Ce système est inconsistant, faux en tout point, et implique donc (au sens précis de "implique" en calcul propositionnel) n'importe quelle inéquation, par exemple l'inéquation v-3\geq 0. Pourtant il n'est bien sûr pas question de produire celle-ci par des manipulations algébriques simples à partir du système initial.

Un énoncé général nécessite ainsi une hypothèse supplémentaire de consistance du système.

« Lemme de Farkas généralisé » — Soit f_1,\ldots,f_k et g des formes affines sur un espace vectoriel affine de dimension finie E. On suppose l'ensemble \{y\in E\,\mid\,f_1(y)\geq 0,\ldots,f_k(y)\geq 0\} non vide. Alors :

\{y\in E\,\mid\,f_1(y)\geq 0,\ldots,f_k(y)\geq 0\}\subset \{y\in E\,\mid\, g(y)\geq 0\}

si et seulement si

g est somme d'une combinaison linéaire à coefficients positifs ou nuls de (f_1,\ldots,f_k) et d'une constante positive ou nulle.

Références

L'article, à l'exception de la section historique, est une adaptation assez distanciée des pages 58-62 de Fundamentals of convex analysis, Jean-Baptiste Hiriart-Urruty et Claude Lemaréchal, coll. « Grundlehren Text Editions », Springer, 2001 (ISBN 3540422056), à la lumière de l'entrée du blog de Terence Tao du 30 novembre 2007, disponible en ligne.


Littérature

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Lemme de Farkas ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Lemme de farkas de Wikipédia en français (auteurs)

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • Lemme De Farkas — Le lemme de Farkas est un résultat de géométrie convexe essentiel en programmation linéaire où il fonde la théorie de la dualité pour les programmes linéaires, ainsi qu en théorie des jeux. Il intervient dans la preuve du théorème de Karush Kuhn… …   Wikipédia en Français

  • Lemme de Farkas — Le lemme de Farkas est un résultat d analyse convexe (une branche des mathématiques) qui s exprime et s interprète de multiples manières. Sous une forme assez générale, il donne une expression duale de l adhérence de l image d un cône convexe K… …   Wikipédia en Français

  • Farkas — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Farkas (ˈfɑrkɑʃ) est un prénom hongrois masculin correspondant au prénom …   Wikipédia en Français

  • Théorèmes de l'alternative — Les théorèmes de l alternative, dont le plus fameux est le lemme de Farkas, concernent tous un système d inéquations linéaires dans un espace vectoriel réel de dimension finie. Il s agit de donner un critère permettant de trancher si le système… …   Wikipédia en Français

  • Theoremes de l'alternative — Théorèmes de l alternative Les théorèmes de l alternative, dont le plus fameux est le lemme de Farkas, concernent tous un système d inéquations linéaires dans un espace vectoriel réel de dimension finie. Il s agit de donner un critère permettant… …   Wikipédia en Français

  • Conditions d'optimalité (dimension finie) — En optimisation mathématique, les conditions d optimalité sont un ensemble d équations, d inéquations (i.e., des inégalités) et d expressions diverses (e.g., la semi définie positivité de matrices sur des cônes) vérifiées par une solution d un… …   Wikipédia en Français

  • Théorème de Helly — dans le plan : si trois quelconques des convexes de la famille se rencontrent alors l intersection de tous ces convexes est non vide. Le théorème de Helly est un résultat combinatoire sur les convexes. Ce résultat a été prouvé en 1913 par… …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Théorème de helly — Le théorème de Helly est un résultat combinatoire sur les convexes. Ce résultat a été prouvé en 1913 par Eduard Helly, et il a été publié par Johann Radon en 1921[1],[2]. Énoncé Théorème …   Wikipédia en Français

  • Liste de lemmes (mathématiques) — Liste de lemmes mathématiques par ordre alphabétique. En mathématiques, un lemme est un énoncé prouvé, mais jugé moins important que ce qu on appelle un théorème, qu il sert généralement à établir au cours d une démonstration. Néanmoins cette… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”