mirror of
https://github.com/BachoSeven/poisson-website
synced 2026-10-07 01:04:54 +00:00
Initial upload
This commit is contained in:
@@ -0,0 +1,49 @@
|
||||
---
|
||||
title: "Maths"
|
||||
---
|
||||
|
||||
# General resources
|
||||
|
||||
- LibGen (pdfs of any math book): if you use `8.8.8.8` as your DNS, [this](https://libgen.rs) mirror should work
|
||||
- [Overleaf](https://overleaf.com): you probably already know this, but there's a [self-hosted](https://tex.dm.unipi.it/) version of the most popular online LaTeX editor in the
|
||||
math department's servers.
|
||||
|
||||
# Courses
|
||||
|
||||
Here's some material from my undergrad classes, drop me an email for any glaring mistakes.
|
||||
|
||||
## Istituzioni di Algebra
|
||||
|
||||
The PDFs and LaTeX sources of all the [exercises](https://github.com/BachoSeven/esercizi-istalg) from the course, on commutative and homological algebra.
|
||||
|
||||
## Logic
|
||||
|
||||
In 2023 I TeX'ed up some [exercises](https://github.com/BachoSeven/esercizi-logica) from Di Nasso's Mathematical Logic course.
|
||||
|
||||
## ETI (Set Theory)
|
||||
|
||||
A [repository](https://github.com/BachoSeven/eti) for the course of _Elementi di Teoria degli Insiemi_ held by Marcello Mamino in 2022, containing:
|
||||
|
||||
- a simple list of theorems, inspired from
|
||||
[baldo](https://poisson.phc.dm.unipi.it/~baldino)'s lists.
|
||||
- a simple proof of König's theorem.
|
||||
|
||||
## ASD
|
||||
|
||||
Snippets of code, course notes and the final project from the _Algorithms and Data Structure_ course of Roberto Grossi: [repository](https://github.com/BachoSeven/asd).
|
||||
|
||||
## Algebra 2
|
||||
|
||||
A markdown [list](orali-alg2) of past oral exam questions.
|
||||
|
||||
## Geometria 2
|
||||
|
||||
Idem as above, a [list](orali-g2) of oral exam questions.
|
||||
|
||||
## Laboratorio Didattico di Matematica Computazionale
|
||||
|
||||
Some **MATLAB** [exercises](https://github.com/BachoSeven/labdidcomp) from the aforementioned course.
|
||||
|
||||
## LPL (Principles for Software Composition)
|
||||
|
||||
[This](https://git.phc.dm.unipi.it/BachoSeven/labLPL) is a repository containing some exercises I coded during "Linguaggi di Programmazione con Laboratorio" classes.
|
||||
@@ -0,0 +1,63 @@
|
||||
---
|
||||
title: "Domande orali Algebra 2"
|
||||
math: true
|
||||
---
|
||||
|
||||
<!-- TODO: TeX this up -->
|
||||
|
||||
- $f:A^m\to A^n$ , cosa possiamo dire su m,n?
|
||||
- Quando Supp(M) è vuoto? Uno tra Supp(M), Supp(N) vuoto implica Supp(M⊗N) vuoto.
|
||||
- K[x2,x4,...]->K[x1,...,x_n], come trovo gli ideali contratti?
|
||||
---
|
||||
- Impostare il discorso sul teorema di struttura sui PID, e unicità.
|
||||
- Z/(2) come Z-modulo non è piatto. Nei PID piatto sse libero
|
||||
- C'è unicità nella decomposizione in irriducibili?
|
||||
---
|
||||
- Come sono gli ideali monomiali primari?
|
||||
---
|
||||
- Relazioni fra dimensione di krull si A/I e di A/rad(I)
|
||||
- Se A=K[x1,..., xn] che relazione c'è fra le loro dimensioni di spazi vettoriali?
|
||||
- Decomposizione primaria
|
||||
- Chi è il prodotto tensoriale di A/I e A/J
|
||||
- Trovare un anello con esattamente n ideali, senza usare giochetti combinatorici (cioè ad esempio senza sapere la decomposizione in primi)
|
||||
- Che relazioni ci sono fra Noetheriano e UFD?
|
||||
---
|
||||
- Ideali di S^(-1)A, corrispondenze, e qualche relazione.
|
||||
- Studiare un po’ Q[x] localizzato in S=1+J con J =(x^3-1).
|
||||
- Teorema della base di Hilbert, dimostrazione che ogni base di Gröbner genera, e lemma di Dickson.
|
||||
- Sia I ideale di K[x1...xn] e consideriamo l’insieme degli ideali Lm(I) al variare degli ordinamenti monomiali. Allora tale insieme è finito?
|
||||
---
|
||||
- Esercizio 2.2 del compito
|
||||
- Ideali monomiali: definizione, un polinomio gli appartiene se e solo se ogni suo termine gli appartiene, tappe per mostrare che ogni ideale monomiale è finitamente generato (senza dimostrazione)
|
||||
- S = { p € K[x,y]/(x^2) : p = a(y)+b(y)x, a(y) =/= 0} è un insieme moltiplicativo? È il complementare di un ideale primo? Studia S^{-1}A, con A=K[x,y]/(x^2)
|
||||
- Definizione sottomodulo di torsione
|
||||
---
|
||||
- Prodotto tensoriale, definizione e costruzione
|
||||
- Moduli proiettivi, definizioni equivalenti.
|
||||
- Essere proiettivi è una proprietà locale?
|
||||
- Dati A=C[x,y,z] e I=(x^2+y^2+z^2-1,xy,z^4), dire più proprietà interessanti possibili di A/I, anche passando per la varietà associata ad I. Trovare il radicale di I, parlare di dimensione di A/I e di A/sqrt(I), di come sarà la base di Grobner associata, poi un accenno alla decomposizione primaria. A/I è noetheriano o artiniano?
|
||||
---
|
||||
- Omomorfismo canonico \sigma_S : A->S^{-1}A, quando è iniettivo, quando è nullo, quando è surgettivo; quando f:A->B si estende a un isomorfismo S^{-1}A->B.
|
||||
- Dati A=Z/(60), p=(5), descrivere A_p. Se A è finito, mostrare che \sigma_S è surgettivo.
|
||||
---
|
||||
- Anello artiniano, enunciare definizione e proprietà a piacimento. Esempi di anelli artianiani.
|
||||
- Parlare di basi di Groebner, ideali monomiali e cose varie sui Leading Term Ideals.
|
||||
- Relazione tra libero e proiettivo, con i casi particolari A PID e A locale.
|
||||
---
|
||||
- Dati, A=Q[x,y,z], f€A, S=1+(f), studiare S^{-1}A.
|
||||
- Estensione e contrazione di ideali rispetto la localizzazione.
|
||||
- Decomposizione primaria: esistenza.
|
||||
- Anello noetheriano non UFD. Relazioni fra noetheriano e UFD(1/2).
|
||||
- Data f:CxC->C, f(x,y)=xy sull'anello A, sia f~ : C x_{R} C -> C; trovare ker(f) e im(f).
|
||||
---
|
||||
- Nullstellensatz, enunciato e dimostrazione della forma debole.
|
||||
- Ordinamenti monomiali, definizione ed esempi.
|
||||
- Tutte le proprietà di Q come Z modulo.
|
||||
- Un modulo su un PID è proiettivo se e solo è libero.
|
||||
---
|
||||
- Chiarimento su esercizio 2.1 del compito, in particolare studiare (Z/(q^n))_{(p)}, con p,q primi.
|
||||
- Elencare tutte le proprietà di Z/(p^n) come anello e come modulo, con p primo; dimostrare in modo diretto che non è piatto.
|
||||
- Data l'immersione di K[x_1,x_3,x_5] in K[x_1,x_2,...,x_6], studiare gli ideali estesi e contratti, come calcolarli, quali proprietà si conservano.
|
||||
- Dimostrare il teorema di eliminazione delle variabili.
|
||||
- Relazione fra elementi/ideali primi ed irriducibili su anelli di polinomi.
|
||||
- Data una base di Grobner ridotta composta da polinomi irriducibili, l'ideale associato è primo?
|
||||
@@ -0,0 +1,118 @@
|
||||
---
|
||||
title: "Domande orali Geometria 2"
|
||||
math: true
|
||||
---
|
||||
|
||||
|
||||
- R³ meno due rette. Nei tre casi in cui sono incidenti, parallele o sghembe, chi è il π_1?
|
||||
- Chi sono i biolomorfismi da C in C?
|
||||
---
|
||||
- Zeri di funzioni olomorfe e Teorema di Rouché.
|
||||
- Il gruppo G delle rotazioni generato da quella di angolo 2pi/7 che agisce su R_2. Calcolare il gruppo fondamentale di R_2/G e studiare il rivestimento dato dalla proiezione al quoziente di R_2\{0} su R_2\{0}/G.
|
||||
- Prodotto numerabile di metrizzabili é metrizzabile e controesempio quando il prodotto é più che numerabile
|
||||
---
|
||||
- Forme chiuse e esatte, relazioni tra le due
|
||||
- Esempio di funzione armonica che non sia la parte reale di una funzione olomorfa
|
||||
- Riferimenti proiettivi e teorema fondamentale delle trasformazioni proiettive
|
||||
- Retratti, in generale sono chiusi/aperti/nessuno dei due?
|
||||
---
|
||||
- Parlare delle singolaritá, weierstrass-casorati, teorema di brouwer, se levo il bordo a D2 è ancora vero il teorema?
|
||||
- spazi separabili che implicazioni sai dirmi e dimostrazione
|
||||
---
|
||||
- Teorema di Liouville
|
||||
- In quale altro risultato che abbiamo visto si usano le stime di Cauchy sui coefficienti? (Voleva la caratterizzazione delle singolarità essenziali, io gli ho nominato il lemma di Schwarz e mi ha fatto fare la dimostrazione anche di quello)
|
||||
- Differenzia (nel senso di dimostra che uno dei due non implica l'altro) due assiomi di separazione a scelta
|
||||
- Cosa sai dire delle proprietà di separazione della topologia di Zariski?
|
||||
---
|
||||
- Un esempio di spazio T2 con un quoziente non T2 e un esempio in cui il quoziente è ottenuto per azioni di gruppo.
|
||||
- Funzioni armoniche e parti reali di funzioni olomorfe.
|
||||
- Proiettivo complesso è semplicemente connesso, e mappe dalla sfera complessa al proiettivo. Sono rivestimenti?
|
||||
---
|
||||
- Connesso non connesso per archi
|
||||
- Archi-> connesso
|
||||
- [0,1] connesso
|
||||
- Olomorfa ->analitica
|
||||
- Per quali d interi esiste un rivestimento connesso della superficie di seconda specie di grado d
|
||||
---
|
||||
- Sottospazio compatto=>chiuso. Quando e perché. Controesempio se X non è T2.
|
||||
- Metrico compatto => limitato. Controesempio a metrico completo limitato => compatto
|
||||
- Definizione funzione olomorfa. Se abbiamo una funzione olomorfa su un disco aperto senza il centro, quando si può estendere nel punto?
|
||||
- Il toro si retrae al toro senza un dischetto?
|
||||
---
|
||||
- Compattezza in spazi metrici. Compatto per successioni=>completo e totalmente limitato (Implicazione a scelta).
|
||||
- Ultima domanda dell'esame precedente: Il toro si retrae al toro senza un dischetto?
|
||||
- Definizione di funzione analitica e criteri per stabilire se è identicamente nulla su un aperto connesso. Derivate nulle in un punto => identicamente nulla nell'aperto connesso.
|
||||
---
|
||||
- Zeri di una funzione analitica, perché sono un insieme discreto. Come contarli con molteciplità?
|
||||
- Definizione di semilocalmente semplicemente connesso + esempio di spazio senza tale proprietà
|
||||
---
|
||||
- Invertibiltà locale di olomorfe dove la derivata è non nulla.
|
||||
- Dove posso definire una funzione radice quadrata olomorfa?
|
||||
- Gruppo fondamentale degli spazi proiettivi su R e su C
|
||||
---
|
||||
- Punti in posizione generale, trasformazioni proiettive, scelta del punto unità - definizioni
|
||||
- Teorema fondamentale trasformazioni proiettive
|
||||
- O-O è omotopicamente equivalente a OO ma non un suo retratto per deformazione + il loro pi_1
|
||||
- Definizione funzione armonica + ogni armonica è parte reale di una funzione olomorfa su di un semplicemente connesso.
|
||||
---
|
||||
- Connessione, connessione per archi e relazione tra le due.
|
||||
- [0,1] è connesso
|
||||
- funzioni meromorfe, poli di funzioni olomorfe. Dimostrazione teorema di Weiestrass
|
||||
---
|
||||
- Esempio di un connesso non connesso per archi
|
||||
- Y connesso. Y ⊆ Z ⊆ \bar{Y} => Z connesso
|
||||
- Determinare chiusura dell'insieme {0} x [0,1] ∩ Q in R^2, e di {0} x ]0,1[ ∩ Q in R^2, chi sono i bordi in R^2 di questi insiemi?
|
||||
- Liouville
|
||||
---
|
||||
- Birapporto: definizione, cosa succede se scambio P1 e P2, comportamento con trasf. proiettive
|
||||
- Spazi contraibili: definizione, se x_0 ∈ X contraibile allora x_0 ne è retratto per deformazione?
|
||||
- Contraibile --> semplicemente connesso
|
||||
- Definizione indice di avvolgimento.
|
||||
---
|
||||
- Rivestimento di grado due del wedge di due cerchi e sottogruppo associato nel pi1
|
||||
- Relazione tra sottogruppi del pi1, rivestimenti e rivestimento universale.
|
||||
- Quando ho un automorfismo di rivestimento che manda un punto di una fibra in un altro?
|
||||
- Dimostrazione preferita del Teorema Fondamentale dell'Algebra
|
||||
---
|
||||
- Definizione funzione olomorfa/analitica e relazione tra le due
|
||||
- Olomorfa --> Analitica
|
||||
- Definizione di rivestimento regolare, esibire un rivestimento non regolare.
|
||||
- Un biolomorfismo dal disco unitario in sè con f(0) = 0
|
||||
---
|
||||
- Definizione di rivestimento regolare, esibire un rivestimento non regolare.
|
||||
- Principio del massimo modulo
|
||||
---
|
||||
- Caratterizzazione degli zeri delle funzioni olomorfe e come contarli con molteplicità
|
||||
- p1 : R^2 --> R è aperta/chiusa/propria?
|
||||
---
|
||||
- Caratterizzare le funzioni intere e bigettive
|
||||
- In R^n connesso sse connesso per archi
|
||||
---
|
||||
- Trovare uno spazio connesso ma non connesso per archi.
|
||||
- Dimostrare che la chiusura di un connesso è connessa.
|
||||
- Definizione di parte interna, chiusura e bordo di un insieme. Queste definizioni dipendono dallo spazio ambiente?
|
||||
- Calcolare la chiusura di (0,1) e dei razionali in [0,1] immersi in IR e IR^2.
|
||||
- Enunciato e dimostrazione del teorema di Liouville.
|
||||
---
|
||||
- Calcolare n-proiettivo reale
|
||||
- Olomorfa sse analitica
|
||||
- Esercizio sul proiettivo del compito di luglio mi sembra
|
||||
---
|
||||
- Parlare di retrazione e retrazione per deformazione, con le conseguenze sui gruppi fondamentali
|
||||
- Teorema di Bezout
|
||||
- Data F irriducibile di grado d, quanti punti singolari può avere al massimo F? (una stima)
|
||||
---
|
||||
- Spazi metrici e caratterizzazione dei compatti per spazi metrici
|
||||
- Formula di Cauchy
|
||||
- f olomorfa in U\z e limitata in un intorno di z, cosa possiamo dire?
|
||||
---
|
||||
- Definizione di gruppo fondamentale e perché è un gruppo
|
||||
- Formula di Cauchy
|
||||
---
|
||||
- derivata logaritmica
|
||||
- prodotto di due spazi compatti è compatto
|
||||
- se il prodotto di due spazi è compatto, è sempre vero che i due spazi sono compatti? (Sì, posso vederli entrambi come immagine continua tramite le proiezioni di X x Y)
|
||||
---
|
||||
- Definire l'integrale di forme chiuse su curve continue, accenni di dimostrazione di "integrale su forme chiuse non cambia per curve omotope", un esercizio in cui di fatto serviva la definizione di indice di avvolgimento
|
||||
- Un aperto di R^n connesso è connesso per archi, connesso+localmente connesso per archi implica connesso per archi, la connessione per archi è relazione di equivalenza
|
||||
- Quanti asintoti può avere al massimo una curva di P^2(C)?
|
||||
Reference in New Issue
Block a user