Indice di un campo vettoriale

(Reindirizzamento da Indice di un punto critico)

In matematica, l'indice di un campo vettoriale in un punto critico isolato o lungo una curva chiusa è un numero intero legato alle proprietà topologiche del campo vettoriale nelle vicinanze del punto o all'interno della curva che viene preservato da trasformazioni continue e invertibili del campo vettoriale.

Campo vettoriale lungo una curva

modifica
 
In questo esempio l'indice del campo vettoriale lungo il rettangolo rappresentato in figura è -1: come si vede il campo vettoriale compie un giro completo in senso orario mentre la curva viene percorsa in senso antiorario.

Si consideri un campo vettoriale continuo   sul piano   ed una curva chiusa   parametrizzata da una funzione continua   che non contenga punti critici del campo vettoriale. Ad ogni punto della curva il campo vettoriale associa un vettore non nullo del piano. Percorrendo tutti i punti della curva mediante la sua parametrizzazione il vettore immagine   varierà con continuità ed infine tornerà nella posizione iniziale quando il parametro fa compiere un giro completo sulla curva. Il fatto che il vettore torna nella posizione iniziale implica che l'angolo totale che il vettore spazza durante il tragitto del punto   lungo la curva deve essere un multiplo intero   di un angolo giro (eventualmente negativo o nullo).

Il numero   viene chiamato indice di   lungo la curva   e si denota con:

 

Definizioni equivalenti a quella data si ottengono definendo   come:

  • l'indice di avvolgimento rispetto all'origine della curva   immagine di   mediante il campo  
  • il grado topologico della funzione continua da   in sé stesso definita da:
 
dove si assume che il parametro   della curva   vari in  .

Invarianza omotopica

modifica

La principale proprietà dell'indice è quella di essere un invariante omotopico: se si deforma con continuità la curva   in un'altra curva chiusa in modo che durante la deformazione non attraversi mai un punto critico il numero   deve variare con continuità poiché il campo vettoriale è continuo, ogni curva si può parametrizzare con una funzione continua e la deformazione è data da una omotopia che è una funzione continua. È facile convincersi che l'angolo spazzato dal campo lungo una curva è continuo se si pensa ad una curva non chiusa in cui l'angolo spazzato può variare liberamente. Nel caso di una curva chiusa però l'angolo deve essere un multiplo intero   di un angolo giro dunque i valori possibili sono in un insieme discreto e la condizione di continuità implica che il valore di   deve rimanere costante. Se nella deformazione viene attraversato un punto critico il numero   non è più ben definito poiché non si può individuare l'angolo che forma il vettore immagine quando questo è nullo.

Indice di un punto critico isolato

modifica

Si supponga che il campo vettoriale   abbia un punto critico isolato  . Ci sarà allora un intorno   di   in cui non sono presenti altri punti critici di  . Considerando in questo intorno una circonferenza   centrata in  , per l'invarianza omotopica l'indice del campo vettoriale lungo la curva  ,  , non dipende dal raggio della circonferenza né dal fatto che la curva considerata sia una circonferenza o una qualsiasi altra curva chiusa contenente  . Il numero   quindi dipende unicamente dal punto critico   e non dalla particolare curva che è stata scelta per calcolarlo. Tale numero prende il nome di indice del punto   e si denota con  .

La definizione data si può estendere anche a punti non critici. L'indice di un punto   che non è critico è sempre nullo infatti per la continuità del campo vettoriale se ci si restringe ad un intorni sempre più piccoli di   l'angolo che formano i vettori del campo nell'intorno si discosteranno sempre meno dall'angolo che forma il campo vettoriale in  . Se l'intorno è sufficientemente piccolo la variazione massima di angolo in una curva contenuta nell'intorno sarà minore di un angolo giro e quindi il vettore immagine non può compiere nessun giro lungo la curva e di conseguenza l'indice lungo tale curva è zero. D'altra parte l'indice deve continuare ad essere nullo lungo qualsiasi curva che circondi il punto   senza circondare punti critici perché tale curva può essere contratta ad una curva arbitrariamente piccola attorno a  . Dunque l'indice di un punto non critico   è ben definito ed è uguale a  .

Il teorema dell'indice

modifica

Il teorema dell'indice è un importante risultato topologico che mette in relazione il comportamento di un campo vettoriale sul bordo di una regione con il comportamento al suo interno.

Si consideri un campo vettoriale continuo   su una regione del piano i cui punti critici sono isolati e una curva chiusa semplice   il cui interno è contenuto nel dominio del campo vettoriale. Questo implica (per il teorema di Bolzano-Weierstrass) che i punti critici del campo che si trovano all'interno della curva   devono essere un numero finito:  . Il teorema dell'indice afferma che in queste ipotesi vale la seguente relazione:

 

In particolare se   allora all'interno della curva deve necessariamente esserci almeno un punto critico.

 
La curva esterna che circonda i tre punti può essere trasformata con continuità nell'incollamento di tre curve che circondano un punto ciascuna

La dimostrazione si basa sull'invarianza omotopica dell'indice: è possibile deformare con continuità la curva   in modo che sia costituita dall'incollamento di   curve chiuse ciascuna delle quali circonda un punto critico, ed è possibile farlo in modo tale che nella deformazione la curva non attraversi mai un punto critico. Questa trasformazione della curva dovrà lasciare invariato l'indice (per l'invarianza omotopica) e l'indice dell'incollamento delle   curve chiuse sarà uguale alla somma degli indici delle singole curve. Inoltre l'indice di ciascuna di queste   curve è (per definizione) uguale all'indice del punto critico che essa circonda. Se all'interno della curva non c'è nessun punto allora l'indice del campo lungo la curva è uguale all'indice di qualunque punto (non critico) contenuto al suo interno, e per i punti non critici si è già dimostrato che l'indice è   dunque la relazione che si voleva dimostrare assume la forma   e quindi è ancora verificata.

Sono corollari di questo teorema il teorema del punto fisso di Brouwer ed il teorema di Poincaré-Hopf.

Voci correlate

modifica
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica