CORSO DI GEOMETRIA 2

Anno Accademico 2018-2019
 
Registro delle lezioni

Lunedi' 4/3/2019 14-16
Spazi localmente connessi. Cammini continui. Componenti connesse per archi. Spazi localmente connessi per archi. In uno spazio localmente connesso per archi le componenti connesse per archi sono aperte e coincidono con le componenti connesse. Omotopia di applicazioni continue tra due spazi topologici, esempi. La relazione di omotopia e' una relazione di equivalenza. Se f_0, f_1 sono due applicazioni continue da X a Y omotope e g_0, g_1 sono due applicazioni continue da Y a Z omotope, allora la composizione di g_0 con f_0 e' omotopa alla composizione di g_1 con f_1. Equivalenze omotopiche, spazi omotopicamente equivalenti. Se due spazi topologici sono omeomorfi, allora sono omotopicamente equivalenti. Il viceversa e' falso.

Martedi' 5/3/2019 9-11
Spazi topologici contraibili. Ogni spazio contraibile e' connesso per archi. Esempi ed esercizi. Retratti e retratti di deformazione. Esempi. Omotopia di cammini. Comportamento dell'omotopia rispetto alla concatenazione di cammini e rispetto all'inversione di cammini.

Mercoledi' 6/3/2019 14-15
Associativita' della concatenazione di cammini a meno di omotopia. Se f e' un'applicazione continua tra X e Y e g,h sono due cammini in X omotopi, allora fg e fh sono omotopi. Gli operatori di inversione e concatenazione di cammini commutano con la composizione con applicazioni continue. Per ogni h cammino in X da a a b, 1_a * h e h * 1_b sono omotopi a h, h * i(h) e' omotopo a 1_a.

Giovedi' 7/3/2019 11-13
Proprieta', esempi ed esercizi sull'omotopia di cammini. Il gruppo fondamentale di uno spazio topologico X con punto base x. Un sottospazio convesso di R^n ha gruppo fondamentale banale. Se a, b sono due punti connessi da un cammino continuo in X, il gruppo fondamentale di X con punto base in a e' isomorfo al gruppo fondamentale di X con punto base in b.

Lunedi' 11/3/2019 14-16
L'isomorfismo tra i gruppi fondamentali di uno stesso spazio connesso per archi con punti base diversi in generale non e' canonico. L'isomorfismo e' canonico se e solo se il gruppo fondamentale e' abeliano. Gruppo fondamentale del prodotto di due spazi topologici. Ogni applicazione continua f tra spazi topologici X, Y induce un omomorfismo tra i due gruppi fondamentali con punti base x e f(x) rispettivamente. Se A e' un retratto di X l'inclusione induce un omomorfismo iniettivo tra i gruppi fondamentali di A e di X. Se A e' un retratto di deformazione (forte) di X l'inclusione induce un isomorfismo tra i gruppi fondamentali. Proprieta' funtoriali.

Martedi' 12/3/2019 9-11
Se X e Y sono due spazi topologici e f e' un'applicazione continua da X in Y che e' un'equivalenza omotopica, allora f induce un isomorfismo tra il gruppo fondamentale di X con punto base a sul gruppo fondamentale di Y con punto base f(a). Spazi semplicamente connessi. Se X e' contraibile, X e' semplicemente connesso. Esercizi sull'omotopia e sul gruppo fondamentale.

Mercoledi' 13/3/2019 14-15
Esercizi sull'omotopia e sul gruppo fondamentale. Cenni su categorie e funtori. Esempi.

Giovedi' 14/3/2019 11-13
Cenni su categorie e funtori. Esempi. Il gruppoide fondamentale. Numero di Lebesgue. Teorema di Van Kampen in versione semplificata: se X e' l'unione di due aperti connessi per archi A e B tali che l'intersezione di A con B e' connessa per archi e x e' un punto nell'intersezione, il gruppo fondamentale di X con punto base x e' generato dalle immagini dei gruppi fondamentali di A e di B con punti base x tramite gli omomorfismi indotti dalle inclusione di A e B in X.

Lunedi' 18/3/2019 14-16
Con le ipotesi del teorema di Van Kampen, se inoltre A e B sono semplicemente connessi, allora X e' semplicemente connesso. Proiezione stereografica. Le sfere S^n con n maggiore o uguale a 2 sono semplicemente connesse. Lo spazio proietivo complesso di dimensione n e' semplicemente connesso. Il complementare di un numero finito di punti in R^n con n almeno 3 e' semplicemente connesso. Esercizi su gruppo fondamentale e omotopia.

Martedi' 19/3/2019 9-11
Esercizi su gruppo fondamentale e omotopia. La mappa esponenziale dalla retta reale sulla circonferenza unitaria S^1. Ogni punto di S^1 ha un intorno aperto banalizzante. Lemma di sollevamento dei cammini per la mappa esponenziale.

Mercoledi' 20/3/2019 14-15
Lemma di sollevamento dell'omotopia. Gruppo fondamentale della circonferenza.

Giovedi' 20/3/2019 11-13
Gruppo fondamentale della circonferenza. Conseguenze: teorema fondamentale dell'algebra, teorema del punto fisso di Brouwer. Gruppi liberi.

Lunedi' 25/3/2019 14-16
Gruppi liberi e prodotti liberi di gruppi.

Martedi' 26/3/2019 9-11
Teorema di Van Kampen (con due aperti). Applicazioni di Van Kampen al calcolo di gruppi fondamentali. Esempi ed esercizi.

Mercoledi' 27/3/2019 14-15
Esercizi sul calcolo di gruppi fondamentali.

Giovedi' 28/3/2019 9-13
Esercizi sul calcolo di gruppi fondamentali. Calcolo del gruppo fondamentale degli spazi proiettivi reali.

Lunedi' 1/4/2019 14-16
Curve parametrizzate di classe C^k (k>0). Vettore tangente. Esempi. Cambiamenti di parametro. Lunghezza d'arco. Curve regolari. Data una curva regolare parametrizzata, esiste sempre una sua riparametrizzazione per lunghezza d'arco. Esempi. Curvatura. Curve regolari e biregolari. Triedro di Frenet. Torsione.

Martedi' 2/4/2019 10-13
Formule di Frenet. Una curva biregolare e' piana se e solo se ha torsione nulla. Piano osculatore. Raggio di curvatura per una curva biregolare parametrizzata per lunghezza d'arco. Cerchio osculatore. Calcolo della curvatura e della torsione rispetto ad un parametro qualunque. Esercizi su curve in R^3. Calcolo di curvatura torsione e triedro di Frenet in esempi.

Mercoledi' 3/4/2019 14-15
Teorema fondamentale della teoria locale delle curve.

Giovedi' 4/4/2019 10-13
Esempi di curve. La trattrice. Esercizi su curve. Il teorema della funzione inversa (solo enunciato). Teorema del rango (versione suriettiva). Dimostrazione a partire dal teorema della funzione inversa. Teorema del rango (versione iniettiva). Dimostrazione a partire dal teorema della funzione inversa.

Lunedi' 8/4/2019 14-16
Teorema del Dini a partire dal teorema della funzione inversa. Teorema del Dini implica il teorema della funzione inversa. Definizione di superficie regolare. Una superficie regolare e' locamente il grafico di un'applicazione differenziabile da un aperto di R^2 in R. Esempi: grafici di funzioni differenziabili. La sfera.

Martedi' 9/4/2019 10-12
Esempi di superfici regolari: quadriche. Controimmagini di valori regolari di un'applicazione differenziabile da un aperto dello spazio a valori reali sono superfici regolari. Se un sottoinsieme S dello spazio e' una superficie regolare e f e' un'applicazione differenziabile da un aperto del piano a valori in S iniettiva e con differenziale iniettivo in ogni punto, allora f e' una parametrizzazione locale di S. Esempi di superfici regolari: il toro di rivolzione, superfici di rotazione.

Mercoledi' 10/4/2019 10-12
Esempi di superfici regolari: il toro di rivoluzione, superfici di rotazione. Su una superficie regolare, il cambiamento di parametrizzazione e' un'applicazione differenziabile. Applicazioni differenziabili da una superficie regolare a valori reali. Applicazioni differenziabili tra due superfici regolari. Esempi: le parametrizzazioni locali sono diffeomorfismi locali. Il piano tangente ad una superficie in un punto.

Giovedi' 11/4/2019 11-13
Differenziale di un'applicazione differenziabile tra due superfici regolari. Differenziale di un'applicazione da un'aperto di una superficie regolare a valori reali. Se F e' un'applicazione differenziabile tra due superfici regolari tale che il suo differenziale in un punto sia invertibile, allora F e' un diffeomorfismo locale. Prima forma fondamentale di una superficie regolare. Esempi di calcolo della prima forma fondamentale in una parametrizzazione locale.

Lunedi' 15/4/2019 9-11
Esempi di calcolo della prima forma fondamentale in una parametrizzazione locale. Area di un dominio regolare limitato su una superficie regolare. Esempi di calcolo: area della sfera, del toro, di un tronco di cono. Il cono con il vertice non e' una superficie regolare.

Lunedi' 15/4/2019 14-16
Orientabilita`. Definizione di superficie regolare orientabile. Esempi di superfici orientabili: grafici di applicazioni differenziabili, la sfera, controimmagini di valori regolari tramite applicazioni differenziabili da un aperto di R^3 a valori reali. Una superficie regolare e' orientabile se e solo se esiste un campo di vettori differenziabile normale e unitario. Mappa di Gauss.

Martedi' 16/4/2019 9-11
Il nastro di Moebius non e' orientabile. Mappa di Gauss. Esempi. Differenziale della mappa di Gauss. Esempi. Il differenziale della mappa di Gauss e' un operatore lineare autoaggiunto sul tangente in un punto ad una superficie regolare orientata. Definizione della seconda forma fondamentale. Curvatura normale.

Lunedi' 29/4/2019 14-16
Seconda forma fondamentale e curvatura normale. Teorema di Meusnier. Sezione normale. Esempi. Curvature principali e direzioni principali di curvatura. Curvatura Gaussiana e curvatura media. Linee di curvatura. Esempi. Punti ellittici, iperbolici, parabolici e planari.

Martedi' 30/4/2019 11-13
Esempi di punti ellittici, iperbolici, parabolici e planari. Punti ombelicali. Espressione della seconda forma fondamentale, del differenziale della mappa di Gauss, della curvatura media e gaussiana in coordinate locali.

Giovedi' 2/5/2019 10-12
Esercizi sulla seconda forma fondamentale, curvatura gaussiana e naura dei punti: toro, superfici di rotazione, grafici di funzioni.

Lunedi' 6/5/2019 11-13
Direzioni asintotiche, linee asintotiche. Indicatrice di Dupin. In un intorno sufficientemente piccolo di un punto ellittico una superficie e' tutta contenuta da una parte rispetto al piano tangente, mentre questo non accade in nessun intorno di un punto iperbolico. Se tutti i punti di una superficie connessa S sono ombelicali, allora o S e' contentuna in una sfera o in un piano.

Martedi' 7/5/2019 9-11
Isometrie globali e locali tra superfici. Il cilindro e' localmente isometrico al piano. Simboli di Christoffel di una superficie rispetto ad una parametrizzazione locale. I simboli di Christoffel dipendono solo dai coefficienti della prima forma fondamentale e dalle loro derivate. Calcolo dei simboli di Christoffel per le superfici di rotazione. Formula di Gauss. Teorema Egregium di Gauss.

Mercoledi' 8/5/2019 14-16
Equazioni di Codazzi-Mainardi. Esercizi ed esempi. Esempio di due superfici con stessa curvatura gaussiana in ogni punto ma non localmente isometriche.

Giovedi' 9/5/2019 11-13
Esempi di superfici localmente isometriche e non. Il cono meno il vertice e' localmente isometrico al piano. La pseudosfera di Beltrami.

Lunedi' 13/5/2019 14-16
Campi di vettori tangenti. Derivata covariante. Campi di vettori tangenti lungo una curva. Campi di vettori tangenti lungo una curva paralleli. Trasporto parallelo.

Martedi' 14/5/2019 9-11
Geodetiche parametrizzate. Geodetiche. Esempi: geodetiche sul piano, sulla sfera e sul cilindro. Equazioni differenziali delle geodetiche. Teorema di esistenza e unicita' locale per le geodetiche passanti per un punto con un dato vettore tangente. Geodetiche sulle superfici di rotazione.

Mercoledi' 15/5/2019 14-15
Valore algebrico della derivata covariante. Curvatura geodetica. Esempi ed esercizi sulle geodetiche.

Giovedi' 16/5/2019 11-13
Esercizi su geodetiche e isometrie.

Lunedi' 20/5/2019 14-16
Determinazione dell'angolo tra due campi di vettori differenziabili, unitari tangenti lungo una curva. La differenza del valore algebrico della derivata covariante e' la derivata di una determinazione dell'angolo. Espressione del valore algebrico della derivata covariante di un campo di vettori tangenti unitario w lungo una curva contenuta nell'immagine di una parametrizzazione locale ortogonale in funzione dei coefficienti della prima forma fondamentale e della derivata di una determinazione dell'angolo tra il tangente ad una curva coordinata e w. Enunciato del teorema di Gauss sui triangoli geodetici.

Martedi' 21/5/2019 9-11
Enunciato del teorema delle turning tangents. Enunciato della formula di Gauss Green nel piano. Dimostrazione del teorema di Gauss Bonnet in versione locale. Teorema di Gauss sui triangoli geodetici. Regioni regolari di una superficie. Triangolazioni di regioni regolari. Caratteristica di Eulero Poincare'. Enunciato del teorema di classificazione delle superficie compatte e orientate in R^3.

Lunedi' 27/5/2019 14-16
Dimostrazione del teorema di Gauss Bonnet in versione globale. Conseguenze: una superficie compatta e orientata in R^3 con curvatura Gaussiana positiva in ogni punto e' omeomorfa alla sfera. Teorema di Gauss sui triangoli geodetici. Esempi e applicazioni di Gauss-Bonnet.

Mercoledi' 29/5/2019 9-11
Esercizi su geodetiche e applicazioni di Gauss-Bonnet.

Giovedi' 30/5/2019 11-13
Esercizi su tutto il programma.

Venerdi' 31/5/2019 9-11
Esercizi su tutto il programma.