Lemme de Knaster–Kuratowski–Mazurkiewicz

Lemme de Knaster–Kuratowski–Mazurkiewicz

En mathématiques, et plus précisément en topologie algébrique, le lemme de Knaster–Kuratowski–Mazurkiewicz, ou lemme KKM, est un résultat de point fixe publié en 1929 par Bronisław Knaster (en), Kazimierz Kuratowski et Stefan Mazurkiewicz[1].

Énoncé

Lemme KKM : Si un simplexe Sm est réunion des ensembles fermés Ci pour i \in I=\{1,\dots,m\} et que pour tout I_k \subset I, la face de S engendrée par ei pour i \in I_k est contenue dans la réunion des Ci pour i \in I_k, alors les Ci ont une intersection non vide.

Donnons une illustration dans le cas m=3. Le simplexe S3 est un triangle, de sommets numérotés 1, 2 et 3. Le triangle est contenu dans la réunion des trois fermés C1,C2,C3 ; le sommet i appartient à Ci, le côté 12 (allant du sommet 1 au sommet 2) est contenu dans la réunion de C1 etC2, le côté 23 dans la réunion de C2 et C3, et le côté 31 dans la réunion de C3 et C1. Le lemme affirme que les trois ensembles C1,C2,C3 ont au moins un point en commun.

Le lemme KKM peut se démontrer à partir du lemme de Sperner, et permet de démontrer le théorème du point fixe de Brouwer (auquel il est en fait équivalent).

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article en anglais intitulé « Knaster–Kuratowski–Mazurkiewicz lemma » (voir la liste des auteurs)

  1. ↑ (de) B. Knaster, C. Kuratowski et S. Mazurkiewicz, « Ein Beweis des Fixpunktsatzes für n-dimensionale Simplexe », dans Fund. Math., vol. 14, 1929, p. 132–137

Lien externe

(en) KKM lemma de PlanetMath


Wikimedia Foundation. 2010.

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

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Lemme de Sperner —  Ne pas confondre avec le théorème de Sperner sur les familles d ensembles. En mathématiques, le lemme de Sperner, dû à Emanuel Sperner[1], est un analogue combinatoire du théorème du point fixe de Brouwer. Le lemme de Sperner affirme que… …   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 du point fixe de Brouwer — En 1886 Henri Poincaré démontre un résultat équivalent au théorème du point fixe de Brouwer. L énoncé exact est prouvé pour la dimension trois par Piers Bohl pour la première fois en 1904, puis par Jacques Hadamard dans le cas général en 1910.… …   Wikipédia en Français

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

Share the article and excerpts

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