Théorème de Radon (géométrie)

Théorème de Radon (géométrie): Sommaire

1 Énoncé

2 Preuve

3 Théorème de Tverberg

4 Notes et références

Énoncé

Le théorème de Radon, ou lemme de Radon, sur les ensembles convexes affirme que tout ensemble $A = \{a_1, \dots, a_{d+2}\}$ contenant $d + 2$ éléments de $\R^d$ admet une partition en deux parties $A 1, A 2$ dont les enveloppes convexes $Conv(A 1)$ et $Conv(A 2)$ se rencontrent. Une telle partition est alors appelée partition de Radon, et un point de l'intersection des enveloppes est appelé point de Radon (il ne s'agit pas a priori d'un des points $a i$ ).

Prenons l'exemple $d = 2$ . Dans ce cas l'ensemble $A$ est constitué de quatre points. La partition de $A$ peut donner un ensemble de trois points et un singleton, les premiers formant un triangle contenant le dernier point. Ou alors la partition consiste en deux ensembles constitués chacun de deux points, les segments s'intersectant en un point.

Ce résultat a été publié pour la première fois par Johann Radon en 1921^[1]. Il y apparaît comme résultat intermédiaire dans la preuve du théorème de Helly, ce qui explique la dénomination courante de lemme^[2].

Preuve

On suppose que $X = \{a_1,\dots,a_{d+2}\}\subset \R^d$ . Considérons le système :

$\sum_{j=1}^{d+2} \lambda_j a_j=0$

$\sum_{j=1}^{d+2} \lambda_j=0$

d'inconnues réelles $\lambda_1,\dots,\lambda_{d+2}$ : il équivaut à un système linéaire de $d + 1$ équations à $d + 2$ inconnues $\lambda_1,\dots,\lambda_{d+2}$ , puisque la première équation, si on la développe en un système pour chaque composante des $a i$ (vecteurs dans $\R^d$ ), se transforme aussitôt en $d$ équations linéaires traditionnelles. Il existe donc une solution non nulle de ce système. Fixons $\lambda_1,\lambda_2,\dots,\lambda_{d+2}$ une telle solution. Posons alors :

$I_1 = \{i\,\mid\, \lambda_i > 0\}$

$I_2 = \{i\,\mid\, \lambda_i \leq 0\}$

Puisque la somme des $λ i$ est nulle alors que les $λ i$ ne sont pas tous nuls, $I$ et $J$ ne sont pas vides.

La partition requise de $A$ est alors $A_1=\{a_i\,\mid\, i\in I_1\}$ et $A_2=\{a_i\,\mid\, i\in I_2\}$ . En effet, il est immédiat de vérifier à partir du système, que :

$\frac{\displaystyle\sum_{i\in I_1} a_i \lambda_i}{\displaystyle\sum_{i\in I_1} \lambda_i} = \frac{\displaystyle\sum_{i\in I_2} a_i \lambda_i}{\displaystyle\sum_{i\in I_2} \lambda_i}$

et cette formule fournit un point commun aux enveloppes convexes de $A 1$ et de $A 2$ .

Théorème de Tverberg

Helge Tverberg (de) a démontré en 1966^[3] une généralisation de ce théorème pour des partitions de $A$ en r sous-ensembles. Le théorème de Tverberg affirme que :

Un ensemble $A$ de $1 + (d + 1)(r - 1)$ points de $\R^d$ admet une partition en $r$ sous-ensembles dont l'intersection des enveloppes convexes n'est pas vide.

Notes et références

↑ (de) J. Radon, « Mengen konvexer Körper, die einen gemeinsamen Punkt enthalten », dans Math. Ann., vol. 83, 1921, p. 113-115

↑ (en) Jiří Matoušek (de), Lectures on Discrete Geometry, Springer, coll. « GTM (en) » (n^o 212), 2002

↑ (en) H. Tverberg, « A generalization of Radon's theorem », dans J. London Math. Soc., vol. 41, 1966, p. 121-128

(en) H. G. Eggleston, Convexity, Cambridge Univ. Press

(en) Steven R. Lay, Convex Sets and Their Applications, Wiley, 1982 (ISBN 978-0-47109584-2)

v · Ensemble convexe
Outils et résultats fondamentaux : Enveloppe convexe • Adhérence, intérieur et frontière d'un convexe • Projection sur un convexe fermé • Séparation des convexes • Points remarquables à la frontière d'un convexe • Polytope • Théorème de Krein-Milman • Lemme de Farkas
Géométrie combinatoire : Théorème de Carathéodory • Théorème de Radon • Théorème de Helly
Géométrie métrique : Courbe de largeur constante • Théorème des quatre sommets
Algorithmes de géométrie convexe : Approche polyédrique • Marche de Jarvis • Parcours de Graham • Théorème optimisation/séparation
Optimisation linéaire : Optimisation linéaire • Algorithme du simplexe • Génération de colonnes

Interactions géométrie-analyse

Théorème de Hahn-Banach • Jauge

Analyse convexe

Articles principaux : Ensemble convexe • Fonction convexe
Outils et résultats fondamentaux : Conditions de Kuhn-Tucker • Inégalité de Jensen
Algorithmique : Méthodes de points intérieurs

Utilisations de la convexité

Inégalités de convexité : Inégalité arithmético-géométrique • Inégalité de Hölder
Analyse fonctionnelle : Espace localement convexe • Théorème du point fixe de Schauder
Localisation de zéros de polynômes : Théorème de Gauss-Lucas
Théorie des nombres : Théorème de Minkowski

Portail de la géométrie

Catégories :
Analyse convexe
Géométrie convexe
Théorème de géométrie

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème de Radon (géométrie) de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

Théorème de Radon (Géométrie) — Sommaire 1 Énoncé 2 Preuve 3 Théorème de Tverberg 4 Notes et références // … Wikipédia en Français
Théorème de radon (géométrie) — Sommaire 1 Énoncé 2 Preuve 3 Théorème de Tverberg 4 Notes et références // … Wikipédia en Français
Théorème de carathéodory (géométrie) — Le théorème de Carathéodory est un théorème de géométrie relatif aux enveloppes convexes dans le contexte des espaces affines de dimension finie. Sommaire 1 Énoncé 2 Preuves 2.1 La preuve usuelle … Wikipédia en Français
Théorème de Carathéodory (géométrie) — Ne pas confondre avec le théorème d extension de Carathéodory. Le théorème de Carathéodory est un théorème de géométrie relatif aux enveloppes convexes dans le contexte des espaces affines de dimension finie. Sommaire 1 Énoncé … 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
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
Theoreme de Minkowski — Théorème de Minkowski En mathématiques, le théorème de Minkowski est un résultat concernant la géométrie des réseaux. Il relie le nombre de points du réseau contenu dans une partie convexe symétrique au volume fondamental du réseau. Ce théorème… … Wikipédia en Français
Théorème de minkowski — En mathématiques, le théorème de Minkowski est un résultat concernant la géométrie des réseaux. Il relie le nombre de points du réseau contenu dans une partie convexe symétrique au volume fondamental du réseau. Ce théorème est utilisé en théorie… … Wikipédia en Français
Theoreme de Hahn-Banach — Théorème de Hahn Banach Ce théorème, auquel a été donné le nom des deux mathématiciens Hans Hahn et Stefan Banach, garantit l existence d une forme linéaire vérifiant certaines conditions (valeurs imposées sur une partie de l espace, mais… … Wikipédia en Français
Théorème de hahn-banach — Ce théorème, auquel a été donné le nom des deux mathématiciens Hans Hahn et Stefan Banach, garantit l existence d une forme linéaire vérifiant certaines conditions (valeurs imposées sur une partie de l espace, mais limitées partout). En… … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Théorème de Radon (géométrie)

Sommaire

Énoncé

Preuve

Théorème de Tverberg

Notes et références

Regardez d'autres dictionnaires:

Share the article and excerpts

v · Ensemble convexe Outils et résultats fondamentaux : Enveloppe convexe • Adhérence, intérieur et frontière d'un convexe • Projection sur un convexe fermé • Séparation des convexes • Points remarquables à la frontière d'un convexe • Polytope • Théorème de Krein-Milman • Lemme de Farkas Géométrie combinatoire : Théorème de Carathéodory • Théorème de Radon • Théorème de Helly Géométrie métrique : Courbe de largeur constante • Théorème des quatre sommets Algorithmes de géométrie convexe : Approche polyédrique • Marche de Jarvis • Parcours de Graham • Théorème optimisation/séparation Optimisation linéaire : Optimisation linéaire • Algorithme du simplexe • Génération de colonnes
Interactions géométrie-analyse	Théorème de Hahn-Banach • Jauge
Analyse convexe	Articles principaux : Ensemble convexe • Fonction convexe Outils et résultats fondamentaux : Conditions de Kuhn-Tucker • Inégalité de Jensen Algorithmique : Méthodes de points intérieurs
Utilisations de la convexité	Inégalités de convexité : Inégalité arithmético-géométrique • Inégalité de Hölder Analyse fonctionnelle : Espace localement convexe • Théorème du point fixe de Schauder Localisation de zéros de polynômes : Théorème de Gauss-Lucas Théorie des nombres : Théorème de Minkowski

Dictionnaires et Encyclopédies sur 'Academic'

Wikipédia en Français

Théorème de Radon (géométrie)

Sommaire

Énoncé

Preuve

Théorème de Tverberg

Notes et références

Regardez d'autres dictionnaires:

Share the article and excerpts

Direct link