- Indice (analyse complexe)
-
Pour les articles homonymes, voir indice.
Indice d'un point par rapport à un lacet
La définition la plus générale de l'indice (qui permet de définir l'indice d'un lacet dans le cas "continu" et pas seulement dans le cas "différentiable par morceaux") utilise la propriété de relèvement des chemins dans le revêtement universel réalisé par l'exponentielle complexe.
Si est un lacet (chemin continu tel que γ(a) = γ(b)) dans le plan complexe privé de l'origine, il existe un relèvement (non unique) de γ à travers l'exponentielle complexe, c'est-à-dire un chemin tel que . La quantité
ne dépend pas du relèvement choisi et s'appelle l'indice de γ par rapport à 0; elle correspond au "nombre de tours" comptés algébriquement (c'est-à-dire en tenant compte du sens de parcours) que fait le lacet autour de l'origine. En effet, apparaît comme un "logarithme" du lacet γ et donc correspond à la différence des valeurs de la partie imaginaire du logarithme complexe, c'est-à-dire une fonction argument.
Si maintenant est un lacet quelconque et z un nombre complexe n'appartenant pas à l'image de γ , l'indice de z par rapport à γ, noté , est l'indice par rapport à 0 du lacet γ − z. Cette définition de l'indice fait clairement apparaître cette quantité comme un cas particulier du degré de l'application de Gauss en topologie.
Lorsque que le lacet γ est différentiable par morceaux, l'indice s'exprime sous forme d'une intégrale:
Propriétés
En notant ), on a que est une fonction à valeurs entières sur Ω, constante sur les composantes connexes de Ω, et nulle sur la composante non bornée de Ω. Ces valeurs entières correspondent au nombre de tours effectués par le lacet autour du point z.
Wikimedia Foundation. 2010.