piccoli fix
Luca Lombardo
1 month ago
parent
aacfe88a30
commit
62b8b21e75
@ -0,0 +1,181 @@
|
|||||||
|
# La categoria hTop
|
||||||
|
|
||||||
|
- [ ] [definizione] Omotopia
|
||||||
|
- [ ] [**proposizione**] Omotopia è relazione di equivalenza
|
||||||
|
- [ ] [**proposizione**] Composizione passa alla relazione di omotopia
|
||||||
|
- [ ] [definizione] Inversa omotopica e Equivalenza omotopica
|
||||||
|
- [ ] [**proposizione**] Equivalenza omotopica è una equivalenza
|
||||||
|
|
||||||
|
## Funtore delle componenti connesse per archi
|
||||||
|
|
||||||
|
- [ ] [**teorema**] Mappe omotope inducono la stessa mappa nei $\pi_0$
|
||||||
|
|
||||||
|
# Gruppo fondamentale
|
||||||
|
|
||||||
|
## Omotopia di cammini
|
||||||
|
|
||||||
|
- [ ] [definizione] Omotopia di cammini
|
||||||
|
|
||||||
|
## Gruppo Fondamentale
|
||||||
|
|
||||||
|
- [ ] [definizione] Gruppo Fondamentale
|
||||||
|
- [ ] [**teorema**] Il gruppo fondamentale è un gruppo
|
||||||
|
- [ ] [definizione] Semplicemente connesso
|
||||||
|
|
||||||
|
## Cammini chiusi come applicazioni dal cerchio
|
||||||
|
|
||||||
|
- [ ] [**proposizione**] Continua su bordo si estende se e solo se classe di omotopia banale
|
||||||
|
- [ ] [**teorema**] Propriet\`a della corrispondenza tra $\pi_1(X)$ e $\spa{S^1,X}$
|
||||||
|
- [ ] [**proposizione**] Corrispondenza tra omotopie di cammini in $\Omega(X,x_0)$ e omotopie libere in ${[S^1,X]}$
|
||||||
|
|
||||||
|
## Funtorialità del gruppo fondamentale
|
||||||
|
|
||||||
|
- [ ] [definizione] Categoria degli spazi topologici puntati
|
||||||
|
- [ ] [**proposizione**] Funtore da $Top_\ast$ a $Grp$
|
||||||
|
- [ ] [definizione] Omotopia puntata
|
||||||
|
- [ ] [**proposizione**] Mappe omotope puntate inducono la stessa mappa sui gruppi fondamentali
|
||||||
|
|
||||||
|
## Dipendenze del gruppo fondamentale
|
||||||
|
|
||||||
|
- [ ] [**teorema**] Il punto base determina $\pi_1(X)$ a meno di isomorfismo
|
||||||
|
- [ ] [**proposizione**] Mappa omotopa all'identità induce isomorfismo
|
||||||
|
|
||||||
|
# Spazi contraibili e retratti
|
||||||
|
|
||||||
|
## Spazi contraibili
|
||||||
|
|
||||||
|
- [ ] [definizione] Spazio contraibile
|
||||||
|
- [ ] [definizione] Insieme stellato
|
||||||
|
- [ ] [definizione] Insieme Convesso
|
||||||
|
- [ ] [**proposizione**] Mappe a immagine in stellato
|
||||||
|
|
||||||
|
## Retratti di Deformazione
|
||||||
|
|
||||||
|
- [ ] [definizione] Retratto
|
||||||
|
- [ ] [**proposizione**] Proprietà dei retratti
|
||||||
|
- [ ] [definizione] Retratto di deformazione
|
||||||
|
|
||||||
|
# Rivestimenti
|
||||||
|
|
||||||
|
## Omeomorfismi locali
|
||||||
|
|
||||||
|
- [ ] [definizione] Omeomorfismo Locale
|
||||||
|
- [ ] [**proposizione**] Omeomorfismo locale implica aperta
|
||||||
|
|
||||||
|
## Rivestimenti
|
||||||
|
|
||||||
|
- [ ] [definizione] Rivestimento
|
||||||
|
- [ ] [**proposizione**] Rivestimento implica Omeomorfismo locale
|
||||||
|
- [ ] [definizione] Fibra
|
||||||
|
- [ ] [**teorema**] Teorema delle Fibre
|
||||||
|
- [ ] [definizione] Grado di un rivestimento
|
||||||
|
- [ ] [definizione] Rivestimento banale
|
||||||
|
- [ ] [**teorema**] Rivestimento da azione propriamente discontinua
|
||||||
|
|
||||||
|
## Sollevamenti
|
||||||
|
|
||||||
|
- [ ] [definizione] Sollevamento
|
||||||
|
- [ ] [**teorema**] Unicità del sollevamento
|
||||||
|
- [ ] [**teorema**] Esistenza e unicità del sollevamento dei cammini
|
||||||
|
- [ ] [**teorema**] Sollevamento dell'omotopia
|
||||||
|
- [ ] [**teorema**] Sollevamento delle omotopie di cammini
|
||||||
|
|
||||||
|
# Azione di Monodromia
|
||||||
|
|
||||||
|
- [ ] [definizione] Azione di monodromia
|
||||||
|
- [ ] [**teorema**] Proprietà dell'azione di monodromia
|
||||||
|
|
||||||
|
### Sollevamento di mappe qualsiasi
|
||||||
|
|
||||||
|
- [ ] [**teorema**] Sollevamento di mappe qualsiasi
|
||||||
|
|
||||||
|
## Applicazioni dell'azione di Monodromia
|
||||||
|
|
||||||
|
- [ ] [**teorema**] Gruppo fondamentale del cerchio
|
||||||
|
- [ ] [**teorema**] Teorema di Brower
|
||||||
|
|
||||||
|
# Teorema di Seifert-Van Kampen
|
||||||
|
|
||||||
|
- [ ] [**teorema**] Seifert-Van Kampen
|
||||||
|
|
||||||
|
# Calcolo del Gruppo fondamentale
|
||||||
|
|
||||||
|
## Gruppo fondamentale del prodotto
|
||||||
|
|
||||||
|
- [ ] [**teorema**] Gruppo fondamentale del prodotto
|
||||||
|
|
||||||
|
## Prodotto libero e gruppi liberi
|
||||||
|
|
||||||
|
- [ ] [definizione] Prodotto libero
|
||||||
|
- [ ] [**teorema**] Esistenza del prodotto libero
|
||||||
|
- [ ] [definizione] Gruppo libero
|
||||||
|
- [ ] [**teorema**] Propriet\`a universale del gruppo libero
|
||||||
|
|
||||||
|
## Van Kampen per intersezioni semplicemente connesse
|
||||||
|
|
||||||
|
- [ ] [**teorema**] Gruppo fondamentale del Bouquet di $n$ circonferenze
|
||||||
|
|
||||||
|
## Prodotto amalgamato
|
||||||
|
|
||||||
|
- [ ] [definizione] Prodotto amalgamato
|
||||||
|
- [ ] [**teorema**] Esistenza e unicit\`a del prodotto amalgamato
|
||||||
|
|
||||||
|
## Presentazioni di gruppi
|
||||||
|
|
||||||
|
- [ ] [definizione] Presentazione
|
||||||
|
- [ ] [**proposizione**] Propriet\`a universale delle presentazioni
|
||||||
|
- [ ] [**proposizione**] Presentazione del prodotto amalgamato
|
||||||
|
|
||||||
|
## Rango
|
||||||
|
|
||||||
|
- [ ] [definizione] Rango
|
||||||
|
|
||||||
|
## Gruppi fondamentali di proiettivi
|
||||||
|
|
||||||
|
- [ ] [**teorema**] I proiettivi complessi sono semplicemente connessi
|
||||||
|
- [ ] [**teorema**] Gruppi fondamentali dei proiettivi reali
|
||||||
|
|
||||||
|
## Gruppi fondamentali di superfici
|
||||||
|
|
||||||
|
### Toro
|
||||||
|
|
||||||
|
- [ ] [**teorema**] Gruppo fondamentale del toro
|
||||||
|
|
||||||
|
### Superfici con dato genere
|
||||||
|
|
||||||
|
- [ ] [**teorema**] Gruppo fondamentale delle superfici di genere $g$
|
||||||
|
- [ ] [**proposizione**] Genere determina univocamente il $\pi_1$
|
||||||
|
- [ ] [**teorema**] Genere, classe di Omotopia e $\pi_1$ sono invarianti completi
|
||||||
|
|
||||||
|
# Rivestimento Universale
|
||||||
|
|
||||||
|
- [ ] [definizione] Rivestimento universale
|
||||||
|
- [ ] [**teorema**] Gruppo fondamentale e fibra nel punto sono in bigezione
|
||||||
|
- [ ] [definizione] Semilocalmente semplicemente connesso
|
||||||
|
- [ ] [**teorema**] Esistenza dei rivestimenti universali
|
||||||
|
|
||||||
|
## Propriet\`a categoriche dei rivestimenti
|
||||||
|
|
||||||
|
- [ ] [**proposizione**] Propriet\`a universale del rivestimento universale
|
||||||
|
- [ ] [definizione] Morfismo di rivestimenti
|
||||||
|
- [ ] [definizione] Automorfismi di rivestimenti
|
||||||
|
- [ ] [**proposizione**] Azione di $\Aut(p)$ e di monodromia commutano
|
||||||
|
|
||||||
|
### Isomorfismi di rivestimenti
|
||||||
|
|
||||||
|
- [ ] [**teorema**] Caratterizzazione di rivestimenti isomorfi fissato un punto
|
||||||
|
- [ ] [**proposizione**] Caratterizzazione di rivestimenti isomorfi
|
||||||
|
|
||||||
|
## Rivestimenti regolari e corrispondenza di Galois
|
||||||
|
|
||||||
|
- [ ] [**proposizione**] Azione di $\Aut(p)$ \`e propriamente discontinua
|
||||||
|
- [ ] [**teorema**] Per rivestimento da azione propriamente discontinua gli automorfismi sono il gruppo
|
||||||
|
- [ ] [definizione] Rivestimento regolare
|
||||||
|
- [ ] [**proposizione**] I rivestimenti universali sono regolari
|
||||||
|
- [ ] [**teorema**] Caratterizzazioni dei rivestimenti regolari
|
||||||
|
- [ ] [**teorema**] $\Aut(p)$ in termini del gruppo fondamentale
|
||||||
|
- [ ] [**proposizione**] Automorfismi di rivestimenti regolari
|
||||||
|
|
||||||
|
## Applicazioni della teoria dei rivestimenti
|
||||||
|
|
||||||
|
- [ ] [**teorema**] Borsuk-Ulam
|
||||||
@ -0,0 +1,137 @@
|
|||||||
|
# Richiami di calcolo in pi\`u variabili
|
||||||
|
|
||||||
|
- [ ] [definizione] Differenziabilit\`a e differenziale
|
||||||
|
- [ ] [definizione] Derivate parziali
|
||||||
|
- [ ] [definizione] Coniugio
|
||||||
|
- [ ] [**proposizione**] Il differenziale \`e $\C$-lineare
|
||||||
|
- [ ] [**proposizione**] Propriet\`a del differenziale
|
||||||
|
- [ ] [**proposizione**] Le $\R$ lineari sono la somma diretta delle $\C$ lineari e $\C$ antilineari
|
||||||
|
|
||||||
|
# Funzioni olomorfe
|
||||||
|
|
||||||
|
- [ ] [definizione] Funzione olomorfa
|
||||||
|
- [ ] [**proposizione**] Caratterizzazioni delle funzioni olomorfe
|
||||||
|
- [ ] [**teorema**] Propriet\`a aritmetiche delle olomorfe
|
||||||
|
|
||||||
|
# Analitiche
|
||||||
|
|
||||||
|
## Serie di potenze
|
||||||
|
|
||||||
|
- [ ] [definizione] Serie di potenze
|
||||||
|
- [ ] [definizione] Funzione analitica
|
||||||
|
- [ ] [**proposizione**] Le analitiche sono continue
|
||||||
|
- [ ] [**teorema**] Serie di potenze sono analitiche
|
||||||
|
- [ ] [**teorema**] Serie derivata
|
||||||
|
|
||||||
|
## Ordine di annullamento
|
||||||
|
|
||||||
|
- [ ] [definizione] Ordine di annullamento
|
||||||
|
- [ ] [**teorema**] Zeri di analitica sono isolati o coprono la comp. connessa
|
||||||
|
|
||||||
|
# Esponenziale e logaritmo complessi
|
||||||
|
|
||||||
|
## Esponenziale complesso
|
||||||
|
|
||||||
|
- [ ] [definizione] Esponenziale complesso
|
||||||
|
- [ ] [**proposizione**] Propriet\`a dell'esponenziale complesso
|
||||||
|
|
||||||
|
## Logaritmo complesso
|
||||||
|
|
||||||
|
- [ ] [**proposizione**] L'esponenziale complesso \`e un rivestimento
|
||||||
|
- [ ] [**teorema**] Branche del logaritmo
|
||||||
|
- [ ] [definizione] Branca principale del logaritmo complesso
|
||||||
|
- [ ] [**proposizione**] Formula esplicita per la branca principale del logaritmo
|
||||||
|
- [ ] [**proposizione**] Le branche del logaritmo sono olomorfe
|
||||||
|
- [ ] [**teorema**] Espansione in serie del logaritmo
|
||||||
|
|
||||||
|
# 1-Forme complesse
|
||||||
|
|
||||||
|
- [ ] [definizione] 1-forma continua
|
||||||
|
- [ ] [definizione] Forme esatte e chiuse
|
||||||
|
|
||||||
|
## Integrazione di 1-forme
|
||||||
|
|
||||||
|
- [ ] [definizione] Integrale di funzione da intervallo reale a $\C$
|
||||||
|
- [ ] [definizione] Integrale lungo una curva $C^1$
|
||||||
|
- [ ] [definizione] Curva $C^1$ a tratti
|
||||||
|
- [ ] [**proposizione**] Invarianza dell'integrale per riparametrizzazione
|
||||||
|
- [ ] [**proposizione**] Integrazione di 1-forme esatte
|
||||||
|
- [ ] [definizione] Dominio
|
||||||
|
- [ ] [**proposizione**] Caratterizzazione esattezza con integrali su lacci
|
||||||
|
|
||||||
|
## Primitive lungo curve e lungo omotopie
|
||||||
|
|
||||||
|
- [ ] [definizione] Primitiva lungo una curva
|
||||||
|
- [ ] [**teorema**] Esistenza e quasi unicit\`a delle primitive lungo curve
|
||||||
|
- [ ] [definizione] Primitiva lungo una omotopia
|
||||||
|
- [ ] [**teorema**] Esistenza e quasi unicit\`a delle primitive lungo omotopie
|
||||||
|
- [ ] [definizione] Integrale di 1-forme chiuse su cammini continui
|
||||||
|
- [ ] [**teorema**] Invarianza dell'integrale per cammini omotopi
|
||||||
|
|
||||||
|
## Forme chiuse da funzioni olomorfe
|
||||||
|
|
||||||
|
- [ ] [**teorema**] Gauss-Green
|
||||||
|
- [ ] [**teorema**] Caratterizzazione delle forme chiuse $C^1$ con derivate parziali
|
||||||
|
- [ ] [**teorema**] Cauchy
|
||||||
|
- [ ] [**teorema**] Continua olomorfa fuori un segmento d\`a forma chiusa
|
||||||
|
|
||||||
|
# Indice di avvolgimento e Formula di Cauchy
|
||||||
|
|
||||||
|
- [ ] [definizione] Indice di avvolgimento
|
||||||
|
- [ ] [**proposizione**] Indice di avvolgimento \`e intero
|
||||||
|
- [ ] [**teorema**] Formula integrale di Cauchy
|
||||||
|
|
||||||
|
## Olomorfa implica analitica
|
||||||
|
|
||||||
|
- [ ] [**teorema**] Continue sul bordo di un disco definiscono olomorfa nel disco
|
||||||
|
|
||||||
|
### Propriet\`a delle olomorfe ereditate delle analitiche
|
||||||
|
|
||||||
|
- [ ] [**proposizione**] Principio di identit\`a
|
||||||
|
|
||||||
|
# Applicazioni
|
||||||
|
|
||||||
|
## Disuguaglianze di Cauchy e Teorema di Liouville
|
||||||
|
|
||||||
|
- [ ] [**proposizione**] Disuguaglianze di Cauchy
|
||||||
|
|
||||||
|
## Principio della media
|
||||||
|
|
||||||
|
- [ ] [definizione] Propriet\`a della media
|
||||||
|
- [ ] [**proposizione**] Propriet\`a della media implica continua
|
||||||
|
- [ ] [**teorema**] Principio della media
|
||||||
|
|
||||||
|
## Principio del massimo
|
||||||
|
|
||||||
|
- [ ] [**teorema**] Principio del massimo 1
|
||||||
|
- [ ] [**teorema**] Teorema dell'applicazione aperta
|
||||||
|
|
||||||
|
# Singolarità
|
||||||
|
|
||||||
|
- [ ] [definizione] Singolarit\`a
|
||||||
|
- [ ] [definizione] Corona
|
||||||
|
|
||||||
|
## Serie di Laurent
|
||||||
|
|
||||||
|
- [ ] [definizione] Serie di Laurent
|
||||||
|
- [ ] [**proposizione**] propriet\`a delle serie di Laurent
|
||||||
|
- [ ] [**teorema**] Olomorfa su Anello \`e serie di Laurent
|
||||||
|
|
||||||
|
## Tipi di singolarit\`a
|
||||||
|
|
||||||
|
- [ ] [definizione] Tipi di singolarit\`a
|
||||||
|
- [ ] [**teorema**] Estensione di Riemann
|
||||||
|
- [ ] [**teorema**] Casorati-Weierstass
|
||||||
|
|
||||||
|
# Funzioni meromorfe e Residui
|
||||||
|
|
||||||
|
- [ ] [definizione] Funzione meromorfa
|
||||||
|
- [ ] [definizione] Residuo
|
||||||
|
- [ ] [**proposizione**] Formula del residuo per rapporto di olomorfe
|
||||||
|
- [ ] [**teorema**] Teorema dei Residui
|
||||||
|
|
||||||
|
## Derivata Logaritmica
|
||||||
|
|
||||||
|
- [ ] [definizione] Derivata logaritmica
|
||||||
|
- [ ] [**proposizione**] Residuo in polo della derivata logaritmica \`e l'ordine del polo/zero
|
||||||
|
- [ ] [**teorema**] Teorema di Derivata logaritmica
|
||||||
@ -1,152 +0,0 @@
|
|||||||
# La categoria hTop
|
|
||||||
|
|
||||||
* [ ] [definizione] Omotopia
|
|
||||||
* [ ] [**proposizione**] Omotopia è relazione di equivalenza
|
|
||||||
* [ ] [**proposizione**] Composizione passa alla relazione di omotopia
|
|
||||||
* [ ] [definizione] Inversa omotopica e Equivalenza omotopica
|
|
||||||
* [ ] [**proposizione**] Equivalenza omotopica è una equivalenza
|
|
||||||
## Funtore delle componenti connesse per archi
|
|
||||||
|
|
||||||
* [ ] [**teorema**] Mappe omotope inducono la stessa mappa nei $\pi_0$
|
|
||||||
# Gruppo fondamentale
|
|
||||||
|
|
||||||
## Omotopia di cammini
|
|
||||||
|
|
||||||
* [ ] [definizione] Omotopia di cammini
|
|
||||||
## Gruppo Fondamentale
|
|
||||||
|
|
||||||
* [ ] [definizione] Gruppo Fondamentale
|
|
||||||
* [ ] [**teorema**] Il gruppo fondamentale è un gruppo
|
|
||||||
* [ ] [definizione] Semplicemente connesso
|
|
||||||
## Cammini chiusi come applicazioni dal cerchio
|
|
||||||
|
|
||||||
* [ ] [**proposizione**] Continua su bordo si estende se e solo se classe di omotopia banale
|
|
||||||
* [ ] [**teorema**] Propriet\`a della corrispondenza tra $\pi_1(X)$ e $\spa{S^1,X}$
|
|
||||||
* [ ] [**proposizione**] Corrispondenza tra omotopie di cammini in $\Omega(X,x_0)$ e omotopie libere in ${[S^1,X]}$
|
|
||||||
## Funtorialità del gruppo fondamentale
|
|
||||||
|
|
||||||
* [ ] [definizione] Categoria degli spazi topologici puntati
|
|
||||||
* [ ] [**proposizione**] Funtore da $Top_\ast$ a $Grp$
|
|
||||||
* [ ] [definizione] Omotopia puntata
|
|
||||||
* [ ] [**proposizione**] Mappe omotope puntate inducono la stessa mappa sui gruppi fondamentali
|
|
||||||
## Dipendenze del gruppo fondamentale
|
|
||||||
|
|
||||||
* [ ] [**teorema**] Il punto base determina $\pi_1(X)$ a meno di isomorfismo
|
|
||||||
* [ ] [**proposizione**] Mappa omotopa all'identità induce isomorfismo
|
|
||||||
# Spazi contraibili e retratti
|
|
||||||
|
|
||||||
## Spazi contraibili
|
|
||||||
|
|
||||||
* [ ] [definizione] Spazio contraibile
|
|
||||||
* [ ] [definizione] Insieme stellato
|
|
||||||
* [ ] [definizione] Insieme Convesso
|
|
||||||
* [ ] [**proposizione**] Mappe a immagine in stellato
|
|
||||||
## Retratti di Deformazione
|
|
||||||
|
|
||||||
* [ ] [definizione] Retratto
|
|
||||||
* [ ] [**proposizione**] Proprietà dei retratti
|
|
||||||
* [ ] [definizione] Retratto di deformazione
|
|
||||||
# Rivestimenti
|
|
||||||
|
|
||||||
## Omeomorfismi locali
|
|
||||||
|
|
||||||
* [ ] [definizione] Omeomorfismo Locale
|
|
||||||
* [ ] [**proposizione**] Omeomorfismo locale implica aperta
|
|
||||||
## Rivestimenti
|
|
||||||
|
|
||||||
* [ ] [definizione] Rivestimento
|
|
||||||
* [ ] [**proposizione**] Rivestimento implica Omeomorfismo locale
|
|
||||||
* [ ] [definizione] Fibra
|
|
||||||
* [ ] [**teorema**] Teorema delle Fibre
|
|
||||||
* [ ] [definizione] Grado di un rivestimento
|
|
||||||
* [ ] [definizione] Rivestimento banale
|
|
||||||
* [ ] [**teorema**] Rivestimento da azione propriamente discontinua
|
|
||||||
## Sollevamenti
|
|
||||||
|
|
||||||
* [ ] [definizione] Sollevamento
|
|
||||||
* [ ] [**teorema**] Unicità del sollevamento
|
|
||||||
* [ ] [**teorema**] Esistenza e unicità del sollevamento dei cammini
|
|
||||||
* [ ] [**teorema**] Sollevamento dell'omotopia
|
|
||||||
* [ ] [**teorema**] Sollevamento delle omotopie di cammini
|
|
||||||
# Azione di Monodromia
|
|
||||||
|
|
||||||
* [ ] [definizione] Azione di monodromia
|
|
||||||
* [ ] [**teorema**] Proprietà dell'azione di monodromia
|
|
||||||
### Sollevamento di mappe qualsiasi
|
|
||||||
|
|
||||||
* [ ] [**teorema**] Sollevamento di mappe qualsiasi
|
|
||||||
## Applicazioni dell'azione di Monodromia
|
|
||||||
|
|
||||||
* [ ] [**teorema**] Gruppo fondamentale del cerchio
|
|
||||||
* [ ] [**teorema**] Teorema di Brower
|
|
||||||
# Teorema di Seifert-Van Kampen
|
|
||||||
|
|
||||||
* [ ] [**teorema**] Seifert-Van Kampen
|
|
||||||
# Calcolo del Gruppo fondamentale
|
|
||||||
|
|
||||||
## Gruppo fondamentale del prodotto
|
|
||||||
|
|
||||||
* [ ] [**teorema**] Gruppo fondamentale del prodotto
|
|
||||||
## Prodotto libero e gruppi liberi
|
|
||||||
|
|
||||||
* [ ] [definizione] Prodotto libero
|
|
||||||
* [ ] [**teorema**] Esistenza del prodotto libero
|
|
||||||
* [ ] [definizione] Gruppo libero
|
|
||||||
* [ ] [**teorema**] Propriet\`a universale del gruppo libero
|
|
||||||
## Van Kampen per intersezioni semplicemente connesse
|
|
||||||
|
|
||||||
* [ ] [**teorema**] Gruppo fondamentale del Bouquet di $n$ circonferenze
|
|
||||||
## Prodotto amalgamato
|
|
||||||
|
|
||||||
* [ ] [definizione] Prodotto amalgamato
|
|
||||||
* [ ] [**teorema**] Esistenza e unicit\`a del prodotto amalgamato
|
|
||||||
## Presentazioni di gruppi
|
|
||||||
|
|
||||||
* [ ] [definizione] Presentazione
|
|
||||||
* [ ] [**proposizione**] Propriet\`a universale delle presentazioni
|
|
||||||
* [ ] [**proposizione**] Presentazione del prodotto amalgamato
|
|
||||||
## Rango
|
|
||||||
|
|
||||||
* [ ] [definizione] Rango
|
|
||||||
## Gruppi fondamentali di proiettivi
|
|
||||||
|
|
||||||
* [ ] [**teorema**] I proiettivi complessi sono semplicemente connessi
|
|
||||||
* [ ] [**teorema**] Gruppi fondamentali dei proiettivi reali
|
|
||||||
## Gruppi fondamentali di superfici
|
|
||||||
|
|
||||||
### Toro
|
|
||||||
|
|
||||||
* [ ] [**teorema**] Gruppo fondamentale del toro
|
|
||||||
### Superfici con dato genere
|
|
||||||
|
|
||||||
* [ ] [**teorema**] Gruppo fondamentale delle superfici di genere $g$
|
|
||||||
* [ ] [**proposizione**] Genere determina univocamente il $\pi_1$
|
|
||||||
* [ ] [**teorema**] Genere, classe di Omotopia e $\pi_1$ sono invarianti completi
|
|
||||||
# Rivestimento Universale
|
|
||||||
|
|
||||||
* [ ] [definizione] Rivestimento universale
|
|
||||||
* [ ] [**teorema**] Gruppo fondamentale e fibra nel punto sono in bigezione
|
|
||||||
* [ ] [definizione] Semilocalmente semplicemente connesso
|
|
||||||
* [ ] [**teorema**] Esistenza dei rivestimenti universali
|
|
||||||
## Propriet\`a categoriche dei rivestimenti
|
|
||||||
|
|
||||||
* [ ] [**proposizione**] Propriet\`a universale del rivestimento universale
|
|
||||||
* [ ] [definizione] Morfismo di rivestimenti
|
|
||||||
* [ ] [definizione] Automorfismi di rivestimenti
|
|
||||||
* [ ] [**proposizione**] Azione di $\Aut(p)$ e di monodromia commutano
|
|
||||||
### Isomorfismi di rivestimenti
|
|
||||||
|
|
||||||
* [ ] [**teorema**] Caratterizzazione di rivestimenti isomorfi fissato un punto
|
|
||||||
* [ ] [**proposizione**] Caratterizzazione di rivestimenti isomorfi
|
|
||||||
## Rivestimenti regolari e corrispondenza di Galois
|
|
||||||
|
|
||||||
* [ ] [**proposizione**] Azione di $\Aut(p)$ \`e propriamente discontinua
|
|
||||||
* [ ] [**teorema**] Per rivestimento da azione propriamente discontinua gli automorfismi sono il gruppo
|
|
||||||
* [ ] [definizione] Rivestimento regolare
|
|
||||||
* [ ] [**proposizione**] I rivestimenti universali sono regolari
|
|
||||||
* [ ] [**teorema**] Caratterizzazioni dei rivestimenti regolari
|
|
||||||
* [ ] [**teorema**] $\Aut(p)$ in termini del gruppo fondamentale
|
|
||||||
* [ ] [**proposizione**] Automorfismi di rivestimenti regolari
|
|
||||||
## Applicazioni della teoria dei rivestimenti
|
|
||||||
|
|
||||||
* [ ] [**teorema**] Borsuk-Ulam
|
|
||||||
@ -1,117 +0,0 @@
|
|||||||
# Richiami di calcolo in pi\`u variabili
|
|
||||||
|
|
||||||
* [ ] [definizione] Differenziabilit\`a e differenziale
|
|
||||||
* [ ] [definizione] Derivate parziali
|
|
||||||
* [ ] [definizione] Coniugio
|
|
||||||
* [ ] [**proposizione**] Il differenziale \`e $\C$-lineare
|
|
||||||
* [ ] [**proposizione**] Propriet\`a del differenziale
|
|
||||||
* [ ] [**proposizione**] Le $\R$ lineari sono la somma diretta delle $\C$ lineari e $\C$ antilineari
|
|
||||||
# Funzioni olomorfe
|
|
||||||
|
|
||||||
* [ ] [definizione] Funzione olomorfa
|
|
||||||
* [ ] [**proposizione**] Caratterizzazioni delle funzioni olomorfe
|
|
||||||
* [ ] [**teorema**] Propriet\`a aritmetiche delle olomorfe
|
|
||||||
# Analitiche
|
|
||||||
|
|
||||||
## Serie di potenze
|
|
||||||
|
|
||||||
* [ ] [definizione] Serie di potenze
|
|
||||||
* [ ] [definizione] Funzione analitica
|
|
||||||
* [ ] [**proposizione**] Le analitiche sono continue
|
|
||||||
* [ ] [**teorema**] Serie di potenze sono analitiche
|
|
||||||
* [ ] [**teorema**] Serie derivata
|
|
||||||
## Ordine di annullamento
|
|
||||||
|
|
||||||
* [ ] [definizione] Ordine di annullamento
|
|
||||||
* [ ] [**teorema**] Zeri di analitica sono isolati o coprono la comp. connessa
|
|
||||||
# Esponenziale e logaritmo complessi
|
|
||||||
|
|
||||||
## Esponenziale complesso
|
|
||||||
|
|
||||||
* [ ] [definizione] Esponenziale complesso
|
|
||||||
* [ ] [**proposizione**] Propriet\`a dell'esponenziale complesso
|
|
||||||
## Logaritmo complesso
|
|
||||||
|
|
||||||
* [ ] [**proposizione**] L'esponenziale complesso \`e un rivestimento
|
|
||||||
* [ ] [**teorema**] Branche del logaritmo
|
|
||||||
* [ ] [definizione] Branca principale del logaritmo complesso
|
|
||||||
* [ ] [**proposizione**] Formula esplicita per la branca principale del logaritmo
|
|
||||||
* [ ] [**proposizione**] Le branche del logaritmo sono olomorfe
|
|
||||||
* [ ] [**teorema**] Espansione in serie del logaritmo
|
|
||||||
# 1-Forme complesse
|
|
||||||
|
|
||||||
* [ ] [definizione] 1-forma continua
|
|
||||||
* [ ] [definizione] Forme esatte e chiuse
|
|
||||||
## Integrazione di 1-forme
|
|
||||||
|
|
||||||
* [ ] [definizione] Integrale di funzione da intervallo reale a $\C$
|
|
||||||
* [ ] [definizione] Integrale lungo una curva $C^1$
|
|
||||||
* [ ] [definizione] Curva $C^1$ a tratti
|
|
||||||
* [ ] [**proposizione**] Invarianza dell'integrale per riparametrizzazione
|
|
||||||
* [ ] [**proposizione**] Integrazione di 1-forme esatte
|
|
||||||
* [ ] [definizione] Dominio
|
|
||||||
* [ ] [**proposizione**] Caratterizzazione esattezza con integrali su lacci
|
|
||||||
## Primitive lungo curve e lungo omotopie
|
|
||||||
|
|
||||||
* [ ] [definizione] Primitiva lungo una curva
|
|
||||||
* [ ] [**teorema**] Esistenza e quasi unicit\`a delle primitive lungo curve
|
|
||||||
* [ ] [definizione] Primitiva lungo una omotopia
|
|
||||||
* [ ] [**teorema**] Esistenza e quasi unicit\`a delle primitive lungo omotopie
|
|
||||||
* [ ] [definizione] Integrale di 1-forme chiuse su cammini continui
|
|
||||||
* [ ] [**teorema**] Invarianza dell'integrale per cammini omotopi
|
|
||||||
## Forme chiuse da funzioni olomorfe
|
|
||||||
|
|
||||||
* [ ] [**teorema**] Gauss-Green
|
|
||||||
* [ ] [**teorema**] Caratterizzazione delle forme chiuse $C^1$ con derivate parziali
|
|
||||||
* [ ] [**teorema**] Cauchy
|
|
||||||
* [ ] [**teorema**] Continua olomorfa fuori un segmento d\`a forma chiusa
|
|
||||||
# Indice di avvolgimento e Formula di Cauchy
|
|
||||||
|
|
||||||
* [ ] [definizione] Indice di avvolgimento
|
|
||||||
* [ ] [**proposizione**] Indice di avvolgimento \`e intero
|
|
||||||
* [ ] [**teorema**] Formula integrale di Cauchy
|
|
||||||
## Olomorfa implica analitica
|
|
||||||
|
|
||||||
* [ ] [**teorema**] Continue sul bordo di un disco definiscono olomorfa nel disco
|
|
||||||
### Propriet\`a delle olomorfe ereditate delle analitiche
|
|
||||||
|
|
||||||
* [ ] [**proposizione**] Principio di identit\`a
|
|
||||||
# Applicazioni
|
|
||||||
|
|
||||||
## Disuguaglianze di Cauchy e Teorema di Liouville
|
|
||||||
|
|
||||||
* [ ] [**proposizione**] Disuguaglianze di Cauchy
|
|
||||||
## Principio della media
|
|
||||||
|
|
||||||
* [ ] [definizione] Propriet\`a della media
|
|
||||||
* [ ] [**proposizione**] Propriet\`a della media implica continua
|
|
||||||
* [ ] [**teorema**] Principio della media
|
|
||||||
## Principio del massimo
|
|
||||||
|
|
||||||
* [ ] [**teorema**] Principio del massimo 1
|
|
||||||
* [ ] [**teorema**] Teorema dell'applicazione aperta
|
|
||||||
# Singolarit\`a
|
|
||||||
|
|
||||||
* [ ] [definizione] Singolarit\`a
|
|
||||||
* [ ] [definizione] Corona
|
|
||||||
## Serie di Laurent
|
|
||||||
|
|
||||||
* [ ] [definizione] Serie di Laurent
|
|
||||||
* [ ] [**proposizione**] propriet\`a delle serie di Laurent
|
|
||||||
* [ ] [**teorema**] Olomorfa su Anello \`e serie di Laurent
|
|
||||||
## Tipi di singolarit\`a
|
|
||||||
|
|
||||||
* [ ] [definizione] Tipi di singolarit\`a
|
|
||||||
* [ ] [**teorema**] Estensione di Riemann
|
|
||||||
* [ ] [**teorema**] Casorati-Weierstass
|
|
||||||
# Funzioni meromorfe e Residui
|
|
||||||
|
|
||||||
* [ ] [definizione] Funzione meromorfa
|
|
||||||
* [ ] [definizione] Residuo
|
|
||||||
* [ ] [**proposizione**] Formula del residuo per rapporto di olomorfe
|
|
||||||
* [ ] [**teorema**] Teorema dei Residui
|
|
||||||
## Derivata Logaritmica
|
|
||||||
|
|
||||||
* [ ] [definizione] Derivata logaritmica
|
|
||||||
* [ ] [**proposizione**] Residuo in polo della derivata logaritmica \`e l'ordine del polo/zero
|
|
||||||
* [ ] [**teorema**] Teorema di Derivata logaritmica
|
|
||||||
Loading…
Reference in New Issue