Bonjour,
Dans le cadre d'un stage "recherche" de L3, nous avons travaillé sur un livre de topologie algébrique de Szendroi sur lequel nous avons quelques petits blocages pour deux démonstrations que nous allons utiliser dans notre rapport. Ces démonstrations traitent de l'indice d'un lacet (je ne suis pas sûr du terme... en anglais, c'est winding number). Voilà la proposition en question (désolé pour la traduction approximative...), les remarques de traduction sont en rouge et les remarques de compréhension en bleu :
On suppose que le point de baseest sur l'axe des ordonnées, donc
est un angle possible en coordonnées polaires. Soit
un chemin avec
(
désigne le disque unitaire ouvert de
privé de l'origine). Alors il existe une unique application continue [TEX]r : [0,1]\rightarrow\mathbb{R_+}[\TEX] et une unique application continue [TEX]\Theta : [0,1]\rightarrow\mathbb{R}[\TEX] telles que
pour tout
. Si
est un lacet, alors l'extrémité est
; ainsi la valeur
est de la forme
pour un certain entier n.
Preuve. Ecrivonset posons
pour
. r(t) est clairement continue et strictement positive. Puisque [0,1] est compact, r(t) admet pour bornes supérieure et inférieure R et
respectivement. Définissons [TEX]\phi_{1}:[0,1]\rightarrow S^1[TEX] par
(
désigne la sphère unitaire de
). Alors
est continue.
Maintenant,est certainement de la forme
pour un certain
. Le problème est que
est déterminé par l'addition de multiples de
, et nous devons choisir la valeur pour chaque t afin de créer une application continue.
Clairement, l'applicationdéfinie par
définit un homéomorphisme de chaque intervalle ouvert [a,b] de
de longueur b-a<2pi sur une section ouverte du cercle
(et de même pour les intervalles fermés). Pour montrer la proposition, il suffit de couper [0,1] en de nombreux petits intervalles U_i tels que
envoie chaque U_i sur une telle section, et ensuite de prendre une "branche" convenable de
sur chacun d'eux. [Ici je ne suis pas sûr du terme branch. Dans le texte, "then take a suitable branch of e^-1" mais j'ignore ce que ça signifie.]
Pour faire cela de manière explicite, on couvre D* par un nombre de secteurs ouverts se chevauchant [overlapping open radial sectors] comme sur la figure suivante :
On noteet
les secteurs tels que
et
. Ecrivons
(ce qui est affiché [?] est °) de manière à ce que les intervalles secteurs [sector intervals] soient
et
. Ensuite
est divisé en les intervalles dénombrables
et
pour l entier relatif, de telle manière que la restriction de e à chaque intervalle [TEX]I^{l}_{\pm} soit un homéomorphisme
.
[Jusque ici, nous arrivons plus ou moins à voir ce que fait l'auteur, mais nous ne comprenons pas vraiment où il veut en venir. Peut-être est-ce parce que nous ne comprenons pas la fin de la démonstration... Mais il y a beaucoup de notations introduites et nous sommes un peu perdus.]
Pour chaque t dans [0,1], l'imageest dans l'un des
. [Ici, grosse incompréhension. Phi_1 est censé être à valeurs dans la sphère et D* est le disque ouvert... donc je ne vois pas en quoi \phi_{1}(t)\in D*. Et ce qui nous gène le plus, c'est que ceci est beaucoup repris dans la suite de la preuve...]
Puisqueest continue,
est ouvert, donc il existe un voisinage U(t) de t dans [0,1] avec
. On peut supposer que chacun des U(t) est un intervalle ouvert de [0,1] (à part le premier et le dernier, qui sont des intervalles semi ouverts). Les U(t) forment un recouvrement ouvert de [0,1], donc par compacité il existe un sous-recouvrement fini. Il suit que l'on peut choisir un recouvrement de [0,1] par un nombre fini d'intervalles ouverts se chevauchant comme sur la figure suivante :
On a doncavec
et
[Je suppose ici que c'est a_m et non a_n, mais peut-être que je me trompe... votre avis ?], de telle manière que
. (Pour chaque U_i, s'il y a le moindre doute, faire le choix de "plus" ou "moins" dès le début)
Maintenant, puisqueest un homéomorphisme, on définit clairement
sur
comme étant
[Toujours le même problème avec phi_1 : la composition d'applications définie ici est-elle vraiment possible ? On se demande si l'auteur n'a pas utilisé phi au lieu de phi_1...] et tout ce qui reste à faire est de choisir l.
D'abord,a
par hypothèse, donc soit
, soit
. Dans le premier cas, on choisit
, dans le second on prend
, car on doit avoir
. Ensuite, on suppose par généralisation [induction] que
est définie et continue sur
. Le point initial a_i de U_i est dans l'intersection avec U_i-1 de telle manière que
est déjà défini ici. Cela détermine le choix de
.
Voilà, merci à ceux qui ont lu jusqu'au bout, on est vraiment un peu perdus avec cette démonstration, peut-être qu'elle n'est pas si dure qu'elle en a l'air mais on a passé pas mal de temps à essayer de la comprendre (on bloque surtout sur les phi_1 qui nous semblent bizarrement utilisés...) en vain. Si jamais vous pouviez nous donner quelques conseils/indications/aides...
Merci d'avance !
-----