Indice di avvolgimento

Da testwiki.
Vai alla navigazione Vai alla ricerca

L'indice di avvolgimento di una curva piana, chiusa e parametrizzata, rispetto ad un punto p esterno ad essa è un numero intero che rappresenta intuitivamente il numero di avvolgimenti che compie la curva attorno a p (immaginando la curva come un filo e il punto come un chiodo).

Introduzione informale

Un oggetto che si muove lungo la curva rossa fa due giri antiorari intorno alla persona mostrata in figura.

L'indice di avvolgimento di una curva piana intorno ad un punto si ottiene contando il numero di volte in cui questa curva gira in senso antiorario intorno al punto. Nel caso in cui la curva segua un percorso orario invece che antiorario, tale numero è negativo. Per percorsi semplici come quelli mostrati qui sotto, determinare il numero di avvolgimento è relativamente semplice.

              
−2 −1 0
              
1 2 3

Nel caso in cui una curva sia più complicata, definire e determinare il numero di avvolgimento è però meno banale: la curva può infatti cambiare direzione e verso più volte durante il percorso, come mostrato ad esempio nella figura a destra.

Definizione matematica

L'indice di avvolgimento di una curva γ sul piano rispetto al punto p è un numero intero che indica il numero di multipli di un angolo giro che vengono spazzati dal vettore che congiunge p con un punto x della curva quando x compie un giro in senso antiorario lungo la curva (una sola volta) nel verso della sua orientazione fino a tornare nella posizione di partenza. Tale numero sarà per una curva chiusa un numero intero, eventualmente negativo e può essere indicato con la notazione ν(γ,p).

Una definizione rigorosa può essere data nel seguente modo: data una curva γ sul piano ed un punto p non appartenente alla curva, si consideri una funzione γ(t) che parametrizza la curva γ al variare di t sulla circonferenza, allora la rotazione della curva attorno al punto p è descritta dalla funzione da S1 in sé definita da

f:tγ(t)pγ(t)p

e l'indice di avvolgimento della curva si definisce come il numero k tale che f è omotopa alla funzione definita in coordinate angolari da

θkθ.

Mediante gli strumenti e le notazioni dell'analisi complessa si può dimostrare che

ν(γ,p)=12πiγdzzp.

Questa formula stabilisce un collegamento tra l'indice di avvolgimento e il teorema dei residui.

Corollari

ν(γ,p) è un numero intero

Sia γ:[a,b] una curva chiusa e sia Ω=supp(γ). Sia ν(γ,p) l'indice di pΩ rispetto a γ. Allora ν(γ,p) è un numero intero.

Dimostrazione

Innanzitutto, vale

ν(γ,p):=12πiabγ(t)γ(t)pdt.

Consideriamo la seguente funzione integrale

f(x):=axγ(t)γ(t)pdt,

e poniamo g(x):=ef(x). Dimostriamo, ora, che g(b)=1. Osserviamo che

g=efγγp=gγγp,

o equivalentemente:

gγp=gγ.

Utilizzando quest'ultima espressione, si ottiene:

(gγp)=g(γp)gγ(γp)2=gγpgγpγγp=0.

In altre parole, gγp è una funzione costante. Di conseguenza

g(x)γ(x)p=g(a)γ(a)p)=1γ(a)p,

ossia

g(x)=γ(x)pγ(a)p.

Dal fatto che γ è una curva chiusa. cioè γ(a)=γ(b), vale g(b)=1. Dalla definizione di g, si ha 1=g(b)=ef(b)=e2πiν(γ,p) se e solo se ν(γ,p) è un numero intero.

La funzione ν(γ,p) è continua su Ω e costante sulle componenti connesse di Ω

Sia γ una curva chiusa e sia Ω=supp(γ). La funzione ν(γ,p) è continua su Ω, ed inoltre è costante sulle componenti connesse di Ω.

Proprietà

L'indice di avvolgimento è un invariante topologico: se un intorno contenente la curva γ e il punto esterno p viene mandato in un altro insieme aperto mediante un omeomorfismo f, allora l'immagine della curva f(γ) è ancora una curva che ha rispetto al punto f(p) lo stesso indice di avvolgimento che ha γ rispetto a p.

L'indice di avvolgimento è anche un invariante omotopico: se la curva viene deformata con continuità nel piano privato del punto p (ossia senza mai toccare il punto durante la deformazione) l'indice rimane lo stesso. L'indice rimane invariato anche se il punto viene spostato con continuità senza attraversare mai la curva. L'indice può cambiare se durante la deformazione la curva e il punto si incontrano.

Voci correlate

Altri progetti

Template:Interprogetto

Template:Controllo di autorità Template:Portale