Les-Mathematiques.net - Cours de mathématiques supérieures

A lire

Deug/Prépa

Licence

Agrégation
A télécharger

Télécharger

108 personne(s) sur le site en ce moment

E. Cartan

Les maths pour l'agreg

A lire

Articles

Math/Infos

Récréation
A télécharger

Télécharger

Théorème de Cantor-Bernstein

Théo. Sylow

Théo. Ascoli

Théo. Baire

Loi forte grd nbre

Nains magiques

Triangulations d'un simplexe - Lemme de Sperner - conséquences

suivant: Index monter: Zoologie de la topologie précédent: Inégalité isodiamétrique Index

Triangulations d'un simplexe - Lemme de Sperner - conséquences

On s'inspire ici du livre [4], en tâchant de donner une preuve plus détaillée.

Définition On appelle simplexe de dimension l'enveloppe convexe de points formant un repère affine.

On appelle face d'un simplexe l'enveloppe convexe d'un nombre fini (quelconque) de ses points. Sa dimension est par définition le nombre de points de cette face moins . On appelle -face une face de dimension .

Lemme Tout élément appartenant à un simplexe $\Delta$ est décrit de manière unique par ses coordonnées barycentriques dans le repère des sommets de ce simplexe, si l'on impose que la somme des dites coordonnées est . Chaque coordonnée est $\geq 0$ .

Démonstration: Voir la proposition-définition . $\sqcap$ $\sqcup$

On se donne pour la suite un simplexe $\Delta$ de $\mathbb{R}^n$ de sommets , , ... , .

Tout point de $\Delta$ est donc repéré par ses coordonées barycentriques , ... , , avec $\sum_{i=0}^n c_i(x)=1$ , et $\sum_{i=0}^n c_i(x).\overrightarrow {xx_i}=\overrightarrow 0$ .

Définition Soit $\sigma \in \sigma _{n+1}$ une permutation de .

On note $\Delta _\sigma$ l'ensemble des points de $\Delta$ tels que

$\displaystyle c_{\sigma (0)}(x) \geq c_{\sigma (1)}(x) \geq ... \geq c_{\sigma (n)}(x)$

Proposition

$\bullet$ $\Delta$ est l'union des $\Delta _\sigma$ .

$\bullet$ Pour tout $\sigma \in \sigma _{n+1}$ , $\Delta _\sigma$ est un simplexe.

$\bullet$ Les intérieurs des $\Delta _\sigma$ sont disjoints.

Démonstration: Le premier $\bullet$ ne mérite pas notre attention.

Pour le second $\bullet$ , c'est plus difficile, et nous allons donc détailler:

Un point est dans $\Delta _I$ avec la permutation identité, si ses coordonnées , ,..., vérifient $c_0 \geq c_1 \geq ... \geq c_n$ . En écrivant

$\displaystyle t_0=c_0$

$\displaystyle t_1=c_1-c_0$

$\displaystyle t_2=c_2-c_1-c_0$

$\displaystyle t_i=c_i-c_{i-1}-c_{i-2}-...-c_0$

$\displaystyle t_n=c_n-c_{n-1}-c_{n-2}-...-c_0$

on voit que

est dans $\Delta _I$ si et seulement si il est dans l'enveloppe convexe des points de coordonnées barycentriques

$\displaystyle (1,0,0,0,...,0)$

$\displaystyle (1,1,0,0,...,0)$

$\displaystyle (1,1,1,0,...,0)$

$\displaystyle ...$

$\displaystyle (1,1,1,1,...,1)$

Je n'ai pas normalisé pour ne pas alourdir la notation, sinon on obtient

$\displaystyle (1,0,0,0,...,0)$

$\displaystyle (\frac12,\frac12,0,0,...,0)$

$\displaystyle (\frac13,\frac13,\frac13,0,...,0)$

$\displaystyle ...$

$\displaystyle (\frac1n,\frac1n,\frac1n,\frac1n,...,\frac1n)$

Donc il s'agit bien d'un simplexe. Il est non vide car les sommets définis ci-dessus forment bien un repère affine et donc l'intérieur est un voisinage de leur isobarycentre.

Il en va de même pour autre chose que l'identité; $\Delta _\sigma$ est l'enveloppe convexe de points comportant respectivement un et seulement des 0 ailleurs, deux et seulement des 0 ailleurs, trois et seulement des 0 ailleurs, et ainsi de suite, chaque fois les étant conservés, et un nouveau étant ajouté.

Le troisième $\bullet$ est démontré dans le lemme qui suit. $\sqcap$ $\sqcup$

Définition On appelle triangulation d'un simplexe $\Delta$ un ensemble fini de simplexes $\Delta _i$ tels que:

$\bullet$ $\cup_i \Delta _i=\Delta$

$\bullet$ Si $i\neq j$ , $Int(\Delta _j) \cap Int(\Delta _i)=\emptyset$

$\bullet$ L'intersection d'une face de $\Delta _i$ et d'une face de $\Delta _j$ (pour ou $i\neq j$ ) est soit vide soit une face de $\Delta _i$ et une face de $\Delta _j$ .

Lemme L'ensemble des $\Delta _\sigma$ pour $\sigma \in \sigma _{n+1}$ est une triangulation de $\Delta$ .

Démonstration: $\bullet$ Il est bien clair que la réunion des $\Delta _\sigma$ est bien égale à $\Delta$ .

$\bullet$ L'intersection des intérieurs de $\Delta _\sigma$ et $\Delta _\tau$ avec $(\sigma ,\tau )\in\sigma _{n+1}^2$ est incluse dans l'intérieur des intersections, et donc incluse dans un hyperplan; donc elle est vide.

$\bullet$ Regardons ce qu'est une face de simplexe, par exemple le simplexe $\Delta _I$ , avec la permutation identité.

Il s'agit du barycentre d'un nombre fini de sommets, de la forme

$\displaystyle (1/p,1/p,...,1/p,1/p,0,0,...,0,0).$

C'est à dire d'une somme pondérés de

$\displaystyle (1,0,0,...,0)$

$\displaystyle (\frac{1}i,...,\frac1i,0,...,0)$

$\displaystyle (\frac{1}i,...,\frac1j,0,...,0)$

On constate donc qu'une face est entièrement décrite par des équations du type $c_0(x) r_0 c_1(x) r_1 c_2(x) r_2 ... r_{n-1} c_n(x) r_n 0$ , avec opérateur ou $\geq$ .

Une intersection de faces va encore être du même type, car au plus elle va remplacer des $\geq$ par des . D'où le résultat. $\sqcap$ $\sqcup$

Lemme Dans la triangulation de $\Delta$ en les $\Delta _\sigma$ où $\sigma$ appartient à $\sigma _{n+1}$ , les $\Delta _\sigma$ ont un diamètre inférieur à $\frac{n}{n+1}$ fois le diamètre de $\Delta$ .

Démonstration:

$\bullet$ le centre de gravité (ou isobarycentre) de $\Delta$ appartient à tout simplexe $\Delta _\sigma$ (car tous les sont égaux, égaux à $\frac1{n+1}$ ).

$\bullet$ la distance de à un point de $\Delta$ est inférieur ou égale aux distances aux sommets de $\Delta$ , donc la distance d'un point de $\Delta _\sigma$ à est toujours inférieure ou égale à $\frac{n}{n+1}$ fois la longueur de la médiane.

$\bullet$ le diamètre de $\Delta _\sigma$ , qui est la longueur maximal d'un de ses côtés, est donc majoré par la longueur max des côtés sur la face opposée à , et par la longueur max des arêtes débouchant sur ... Dans tous les cas, cette longueur est majorée par celle d'une médiane de $\Delta$ ou d'une face du simplexe (une face de dimension quelconque, éventuellement une arête). $\sqcap$ $\sqcup$

Lemme Pour tout $\epsilon$ on peut obtenir des triangulations de $\Delta$ en simplexes de diamètre inférieurs à $\epsilon$ .

Démonstration:

On va utiliser par récurrence le lemme précédent. Les deux premiers $\bullet$ de la définition d'une triangulation sont faciles à obtenir, le problème est de montrer qu'une partition de chaque élément d'une partition donne encore une partition vérifiant le troisième point, c'est à dire le fait que l'intersection de deux faces de deux éléments distincts de la partition est soit vide soit égale à une face de chacun des deux éléments. Intuitivement, le problème est de voir que les faces se "recollent" bien.

Pour cela il suffit de voir que la triangulation faite selon le lemme précédent induit une triangulation de chacune des faces du dit simplexe - triangulation égale à celle qu'aurait donné le même lemme sur cette face. Cela se voit facilement en voyant qu'une face est une partie du simplexe où l'on annule une des composantes. $\sqcap$ $\sqcup$

Définition [Numérotation standard d'un simplexe] Etant donnée une triangulation $\Delta _i$ d'un simplexe $\Delta$ , on note l'ensemble des sommets des éléments de cette triangulation. On appelle numérotation standard d'une triangulation d'un simplexe de sommets une application de dans $\{0,n\}$ telle que et si pour tout dans pour un certain tel que est un sommet de la face de $\Delta$ de dimension minimale contenant .

NB: la caractérisation "pour tout dans pour un certain tel que est un sommet de la face de $\Delta$ de dimension minimale contenant " inclue la condition , car une face peut très bien avoir une dimension 0.

On constate donc que dans une triangulation comme celles que l'on a construites plus haut, l'isobarycentre est autorisé à prendre n'importe quelle valeur puisque la seule face qui le contienne est $\Delta$ lui-même.

Proposition Une numérotation standard d'une triangulation du simplexe $\Delta$ enveloppe convexe de induit une numérotation standard de la triangulation induite sur le simplexe $\Delta '$ enveloppe convexe de $(x_0,...,x_{n-1})$ .

Démonstration:

$\bullet$ Il est clair que tout sommet de la triangulation de $\Delta '$ a bien un numéro .

$\bullet$ Soit sommet de la triangulation de $\Delta '$ appartenant à une face minimale de $\Delta$ .

$\bullet$ est forcément incluse dans $\Delta '$ .

$\bullet$ est donc la même face que la face minimale de dans $\Delta '$ .

$\bullet$ Donc la numérotation induite est bien standard. $\sqcap$ $\sqcup$

Lemme [Lemme de Sperner] Toute triangulation d'un simplexe de dimension munie d'une numérotation standard possède un élément numéroté .

Démonstration:

$\bullet$ Soit $\Delta$ notre simplexe, supposé muni d'une numérotation standard sur une triangulation de $\Delta$ .

$\bullet$ On note la propriété pour un simplexe de dimension d'avoir un sommet numéroté et un seul pour tout dans .

$\bullet$ Soit l'ensemble des simplexes de ayant la propriété .

$\bullet$ Soit l'ensemble des simplexes de qui ne sont pas dans mais dont un numéro et un seul est numéroté pour tout dans (attention ils ne vérifient donc pas la propriété ).

$\bullet$ Soit l'ensemble des -faces de simplexes de inclus dans $\Delta '$ et vérifiant la propriété (rappelons qu'une face de simplexe est un simplexe).

$\bullet$ Soit l'ensemble des -faces de simplexes de qui ne sont pas contenues dans $\Delta '$ et qui vérifient la propriété .

$\bullet$ Chaque élément de contient une et une seule -face ayant la propriété .

$\bullet$ Chaque élément de contient exactement deux faces ayant la propriété (facile, il y a exactement deux éléments numérotés pareil, donc on bâtit deux simplexes ayant la numérotation requise).

$\bullet$ Un élément de est face d'un et d'un seul simplexe (car il est inclus dans $\Delta '$ ).

$\bullet$ Un élément de est face d'exactement deux simplexes, car il n'est pas inclus dans $\Delta '$ , et car il n'est pas non plus sur une autre face puisqu'il ne contient pas de sommet numéroté .

(par simplicité dans la suite et pour alléger les notations je note le cardinal $\vert I\vert$ d'un ensemble )

$\bullet$ On en déduit en comptant le nombre de -faces ayant la propriété , avec leurs multiplicités (c'est à dire en comptant deux fois les faces communes à deux simplexes). $\sqcap$ $\sqcup$

$\bullet$ En comptant modulo , on en déduit que et on la même parité.

$\bullet$ Il est clair que est "le" correspondant à $\Delta '$ .

$\bullet$ Par récurrence sur la dimension, on en déduit donc que a toujours la même parité. Or dans le cas de la dimension , on constate facilement que ce nombre est impair; on a une alternance de 0 et , 0 en premier, à la fin, donc on a changé un nombre impair de fois de 0 à ou de à 0.

$\bullet$ On en déduit donc le résultat tant attendu; ne peut être nul puisqu'impair... $\sqcap$ $\sqcup$

Théorème [Théorème de Brouwer] Soit une application continue d'un simplexe $\Delta$ dans $\Delta$ . Alors admet au moins un point fixe.
Démonstration: $\bullet$ On suppose que n'a pas de point fixe.

$\bullet$ Soit $\Delta _i$ , pour $i\in[0,n]$ , l'ensemble des $x \in \Delta$ tels que (intuitivement "éloigne" du sommet - attention, pas au sens de la distance, mais au sens du poids barycentrique du sommet ; les points les plus "loin" étant les points de la face opposée, le point le plus proche étant le sommet lui-même).

$\bullet$ $\Delta = \cup_i \Delta _i$ . En effet, soit $x \in \Delta$ .

- Supposons $c_i(x)\leq c_i(f(x))$ pour tout .

- $\sum c_i(x)=\sum c_i(f(x))=1$

- donc pour tout

- alors on a admettant un point fixe en .

- c'est une contradiction, donc il existe tel que .

$\bullet$ appartient à $\Delta _i$ (évident; ne peut qu'"éloigner" un point de lui-même, puisque n'a pas de point fixe)

$\bullet$ n'appartient pas à $\Delta _j$ si $j\neq i$ (non moins évident; est déjà "loin" autant que possible de , puisqu'il appartient à la face opposée)

$\bullet$ Si appartient à la face de $\Delta$ engendrée par les pour $i\in I$ pour un certain sous-ensemble de , alors n'appartient pas aux $\Delta _i$ si $i\not\in I$ (toujours évident - si appartient à la face engendrée par les pour $i\in I$ , il appartient à la face opposée à pour tout $j\not \in I$ , et ne peut donc en être éloigné).

$\bullet$ Soit une triangulation de $\Delta$ , ayant pour ensemble de sommets l'ensemble . Soit l'application qui à $s \in S$ associe avec $s \in \Delta _{g(s)}$ ; on cherche à montrer qu'il s'agit d'une numérotation standard.

$\bullet$ est bien définie, puisque l'on a montré que les $\Delta _i$ recouvraient $\Delta$ .

$\bullet$ le fait que a déjà été prouvé ( $x_i \in \Delta_i$ , $x_i\not\in \Delta_j$ quand $j\neq i$ ).

$\bullet$ soit $s \in S$ , et une face minimale de $\Delta$ contenant . Il faut montrer que est le numéro d'un sommet de .

$\bullet$ si $F=\Delta$ , le résultat est clair.

$\bullet$ si appartient à une face stricte de $\Delta$ , alors n'appartient pas aux $\Delta _j$ pour ne désignant pas un numéro de sommet de (prouvé un peu plus haut); donc est forcément le numéro d'un sommet de .

$\bullet$ est donc bien une numérotation.

$\bullet$ On a montré qu'on pouvait construire des triangulations aussi fines que l'on voulait, au sens où chaque simplexe de la triangulation pouvait être imposé de diamètre inférieur à . On se donne une telle triangulation, avec la numérotation correspondante, donnée par les questions précédentes.

$\bullet$ D'après le lemme de Sperner, il existe un élément de la triangulation qui a la propriété évoquée plus tôt, c'est à dire qu'il comporte un sommet numéroté pour tout dans .

$\bullet$ On peut considérer alors la suite de sommets numérotés 0 dans des simplexes ayant la propriété de la triangulation .

$\bullet$ Puisque l'on est dans un compact métrique, on peut en extraire une sous-suite convergente, par le théorème de Bolzano-Weierstrass (voir théorème ). Soit la limite.

$\bullet$ est aussi la limite des suites de sommets numérotés dans des simplexes ayant la propriété , pour $i\in[1,n]$ , car le diamètre des simplexes tend vers 0.

$\bullet$ Par continuité de , $c_i(f(x)) \geq c_i(x)$ pour tout .

$\bullet$ Or $\sum_i c_i(x)=\sum_i c_i(f(x))=1$ , donc pour tout .

$\bullet$ On en déduit alors que . D'où la contradiction... $\sqcap$ $\sqcup$

Corollaire [Brouwer] Toute application continue d'une boule unité fermée de $\mathbb{R}^n$ dans elle-même comporte un point fixe.

Démonstration:

En fait il suffit de montrer que la boule unité fermée est homéomorphe à un simplexe. Cela est fait dans la proposition . $\sqcap$ $\sqcup$

Corollaire [Champ rentrant dans la sphère] Soit un champ de vecteur continu de la boule unité fermée de $\mathbb{R}^n$ dans $\mathbb{R}^n$ . Si pour tout , $\tilde V(x)= <V(x),x>$ est négatif strictement ^1.5, alors s'annule au moins en un point de la boule unité.

Démonstration:

$\bullet$ On note la sphère unité fermée, et la couronne constituée par la boule unité fermée privée de la boule ouverte de rayon .

$\bullet$ On considère pour tout $\epsilon$ l'application $f_\epsilon$ de $\overline B$ (la boule unité fermée) dans $\mathbb{R}^n$ qui à associe $x+\epsilon .\overrightarrow V(x)$ .

$\bullet$ $f_\epsilon$ est continu.

$\bullet$ $\tilde V$ étant continue sur un compact $\overline B$ , on peut lui trouver un majorant à ${\parallel}V {\parallel}$ . Notons ce maximum.

$\bullet$ étant continue sur un compact , elle y atteint son maximum, qui est négatif. Notons ce maximum; on a .

$\bullet$ En tout point de , on peut centrer une boule ouverte de rayon sur laquelle est inférieur à . La sphère est recouverte par les boules centrées en de rayon ; on peut donc extraire de ce recouvrement un recouvrement fini. Les boules de rayon recouvrent elle aussi , et elles recouvrent aussi une couronne pour un assez petit.

$\bullet$ Sur , on a donc inférieur à .

$\bullet$ ${\parallel}f_\epsilon (x){\parallel}^2={\parallel}x {\parallel}^2 + \epsilon ^2 {\parallel}V(x) {\parallel}^2 + 2 \epsilon <V(x),x>$ .

$\bullet$ Donc ${\parallel}f_\epsilon (x){\parallel}^2 \leq {\parallel}x {\parallel}^2+\epsilon ^2.M^2 + 2 \epsilon <V(x),x>$

$\bullet$ Sur , on a alors ${\parallel}f_\epsilon (x){\parallel}^2 \leq {\parallel}x {\parallel}^2+\epsilon ^2.M^2+\epsilon .m$

$\bullet$ Pour $\epsilon$ suffisamment petit, on a donc ${\parallel}f_\epsilon (x){\parallel}^2 < {\parallel}x {\parallel}^2$

$\bullet$ Pour $\epsilon$ suffisamment petit et ${\parallel}x {\parallel}< 1-r$ on a aussi ${\parallel}f(x) {\parallel}\leq 1$ (puisque est borné).

$\bullet$ On déduit de tout cela que $f_\epsilon$ pour $\epsilon$ assez petit est une application de la boule unité fermée dans la boule unité fermée. Par le résultat , on en déduit donc que $f_\epsilon$ admet un point fixe, et que donc $\tilde V$ s'annule quelque part. $\sqcap$ $\sqcup$