Grado topologico
In matematica, e più precisamente in topologia, il grado topologico è una quantità introdotta da Luitzen Brouwer attorno al 1910 che misura il "numero di avvolgimento" di una funzione continua fra spazi topologici "della stessa dimensione". Questa quantità fornisce un'informazione sul comportamento qualitativo globale della funzione, ed è un invariante omotopico, cioè non cambia se la funzione viene deformata in modo continuo (una tale deformazione è chiamata omotopia).
L'esempio fondamentale è quello di una funzione continua tra due circonferenze: il grado topologico è il "numero di avvolgimenti" che la funzione fa compiere alla circonferenza.
Il grado di una funzione viene solitamente indicato con deg .
Definizione intuitiva
[modifica | modifica wikitesto]![](http://upload.wikimedia.org/wikipedia/commons/thumb/3/3e/4covering.svg/170px-4covering.svg.png)
Sia una funzione continua, dove è la circonferenza del piano. Si può interpretare la come un arco chiuso in : un arco chiuso in topologia è spesso chiamato laccio. Tale laccio potrà avvolgersi in in modi diversi, ad esempio girando due volte in senso antiorario oppure sette volte in senso orario: nel primo caso si dirà che ha grado 2 e nel secondo che ha grado -7. Un esempio di laccio di grado 0 è quello che non si avvolge su ma rimane fisso su un punto.
Il grado è inoltre un invariante omotopico, cioè non cambia se il laccio viene deformato. Ad esempio, il laccio che percorre la circonferenza cinque volte in senso antiorario e due volte in senso orario può essere deformato in un laccio che gira tre volte in senso antiorario, e quindi ha grado 3. Un laccio che percorre mezzo giro e torna indietro al punto iniziale si deforma nel laccio fisso in un punto, e quindi ha grado 0. Il fatto rilevante è che in questo modo abbiamo associato ad ogni numero intero una classe di lacci "simili" e solo quelli.
Il discorso può essere generalizzato per funzioni continue dalla sfera nella sfera, in tre dimensioni, e più in generale per funzioni , anche se in questi casi l'interpretazione di una sfera che si "avvolge" è geometricamente meno intuitiva.
Definizione
[modifica | modifica wikitesto]Nella definizione odierna, se è una funzione continua della sfera in sé, l'omomorfismo indotto
negli n-esimi gruppi di omologia è una funzione Z → Z, dove Z indica i numeri interi, e si definisce grado di il numero
- .
Nel caso della circonferenza, si può definire il grado topologico di usando il rivestimento universale
In questo caso si definisce il grado considerando come un laccio e prendendo il sollevamento
di che parte da zero. Questo sollevamento non è più un laccio, cioè punto finale ed iniziale possono non coincidere: il grado di è valore del punto finale .
Principali proprietà
[modifica | modifica wikitesto]- se e sono omotope allora e .
- il grado della funzione identità è 1.
- il grado di una funzione costante è 0.
- il grado di è il prodotto del grado di per il grado di .
- se è una riflessione di , cioè una mappa che fissa i punti di un e "ribalta" gli altri, .
- la mappa antipodale è la composizione di n+1 riflessioni ed ha grado .
Esempio
[modifica | modifica wikitesto]Un esempio di mappa di grado n è dato dal rivestimento a n-fogli della circonferenza , vista come sottoinsieme del campo C dei numeri complessi.
già descritto in precedenza come "avvolgimento n volte".
Generalizzazioni
[modifica | modifica wikitesto]In topologia differenziale, il grado ha un'interpretazione che ne permette il calcolo esplicito. Sia una funzione differenziabile tra due varietà differenziabili della stessa dimensione, la prima compatta e senza bordo, la seconda connessa.
Sia un punto di . Se è un valore regolare per , la sua controimmagine ha cardinalità finita, e la sua classe di resto modulo 2 è un valore in {0, 1} che non dipende dal valore regolare , né dalla classe di omotopia differenziabile di , ed è chiamata grado modulo 2 di .
Per poter definire un grado intero è necessario che M ed N siano orientate e senza bordo: in questo caso, per ogni in che sia un punto regolare di possiamo definire il segno del differenziale di f in x come +1 se questo mantiene l'orientazione o -1 se la inverte (il segno del differenziale è uguale a quello del determinante dello jacobiano nel punto). Si definisce quindi per ogni valore regolare in il grado di Brouwer
che risulta anch'esso invariante per valori regolari e classi di omotopia differenziabile.
Ogni mappa continua è approssimabile da una differenziabile, e quindi questa definizione può essere estesa facilmente alle funzioni continue da M in N. Se , grado topologico e grado di Brouwer coincidono.
Applicazioni
[modifica | modifica wikitesto]Come applicazione del grado topologico si può dimostrare il teorema della sfera "pettinabile": ammette un campo non nullo di vettori tangenti se e solo se n è dispari. Inoltre è diffusamente usato in topologia differenziale per la dimostrazione di molti teoremi, tra cui il Teorema del punto fisso di Brouwer, il Teorema di Borsuk-Ulam, il Teorema della curva di Jordan, e anche nella teoria delle equazioni differenziali.
Un risultato fondamentale dovuto ad Heinz Hopf asserisce che due mappe fra sfere che hanno lo stesso grado sono omotope: il grado è quindi un invariante omotopico completo, nel senso che descrive completamente le mappe tra sfere della stessa dimensione, viste a meno di omotopia. In particolare si dimostra che l'applicazione
definisce un isomorfismo tra l'n-esimo gruppo di omotopia e Z.
Bibliografia
[modifica | modifica wikitesto]- (EN) John W. Milnor, Topology from a differentiable viewpoint; Princeton University Press
- (EN) Glen Bredon, Topology and geometry; Springer-Verlag
- (EN) William Massey, A basic course in algebraic topology; Springer-Verlag
Voci correlate
[modifica | modifica wikitesto]Collegamenti esterni
[modifica | modifica wikitesto]- (EN) Eric W. Weisstein, Grado topologico, su MathWorld, Wolfram Research.