Indicazione dei principali collegamenti esterni usati in questa pagina  The MacTutor History of Mathematics archive (University of St. Andrews, Scotland)  Wikipedia |
Il corso ha avuto inizio con una settimana di ritardo per impegni scientifici del docente
____________________________________
I Settimana (30 Settembre - 3 Ottobre)
Modalità di valutazione ed esami.
Introduzione al corso: breve illustrazione del programma, organizzazione ed orario delle lezioni.
G. Cantor: cenni biografici.
 |
| Georg Cantor (1845-1918) |
Introduzione alla teoria della cardinalità. Cardinalità di un insieme. Insiemi di cardinalità finita.
Cardinalità del numerabile. Cardinalità del continuo. Un insieme infinito ha sempre un sottoinsieme numerabile. Un sottoinsieme di un insieme numerabile o è finito o è numerabile.
Teorema di Cantor sull'unione numerabile di insiemi numerabili: Primo procedimento diagonale di Cantor. Gli insiemi ℤ e ℚ hanno cardinalità del numerabile.
L'insieme P(X) delle parti di un insieme X è in corrispondenza biunivoca con l'insieme
2^X = { f: X -> 2 | f è una funzione}, dove 2 = {0, 1}.
Un insieme X ha cardinalità minore od uguale ad un insieme Y se esiste una biiezione tra X ed un sottoinsieme di Y.
Un insieme X ha cardinalità minore strettamente a quella di un insieme Y se è minore od uguale e non esiste una biiezione tra X ed Y.
La relazione di minore od uguale tra cardinalità è una relazione riflessiva e transitiva.
Teorema di Cantor: Per ogni insieme X, Card(X) < Card(P(X)).
____________________________________
II Settimana (6 - 10 Ottobre)
____________________________________
II Settimana (6 - 10 Ottobre)
La relazione di minore od uguale tra cardinalità è una relazione riflessiva e transitiva.
Card(ℝ) = Card(P(ℕ)) > Card(ℕ) e Secondo metodo diagonale di Cantor.
Teorema di Dedekind: un insieme è infinito se e soltanto se può essere messo in corrispondenza biunivoca con un suo sottoinsieme proprio.
.jpeg) |
| Richard Dedekind (1831-1916) |
Teorema di Cantor-Schröder-Bernstein: La relazione di minore od uguale tra cardinalità è una relazione antisimmetrica (e quindi è una relazione di ordine).
 |
| Ernst Schröder (1841-1902) |
 |
| Felix Bernstein (1878-1956) |
Ipotesi del Continuo (CH) ed Ipotesi Generalizzata del Continuo (GCH): cenni sui risultati di K. Gödel e P. Cohen sulla consistenza ed indipendenza di (CH) dagli assiomi della teoria degli insiemi (secondo Zermelo-Fraenkel (ZF)) e dall'assioma della scelta.
 |
| Kurt Gödel (1906-1978) |
 |
| Paul Cohen (1934-2007) |
____________________________________
III Settimana (13-17 Ottobre)
L'insieme dei numeri algebrici (reali o complessi) forma un insieme numerabile, mentre l'insieme dei numeri trascendenti (reali o complessi) forma un insieme continuo.
Gli insiemi ℝ x ℕ , ℝ x ℝ sono equipotenti ad ℝ.
Aritmetica dei numeri cardinali: somma e prodotto di due numeri cardinali.
Prime proprietà della somma e del prodotto di numeri cardinali. Si ponga 
:= Card(ℕ), 
:= Card(ℝ), allora:
:= Card(ℕ), := Card(ℝ), allora: + = = = n + = n, + = + = = = = n + = n.
L'esponenziazione tra numeri cardinali e prime proprietà.
Anelli booleani esempi e prime proprietà.
.jpeg) |
| George Boole (1815-1864) |
Operazioni ∨, ∧ e passaggio al duale ' .
L'insieme delle parti P(X) di un insieme non vuoto X è un anello booleano rispetto alle operazioni (tra insiemi) di somma simmetrica e intersezione.
Algebre booleane e loro assiomi. Esempi. Caratterizzazione delle algebre booleane (tramite un sottoinsieme dei loro assiomi). Algebra booleana associata ad un anello booleano ed anello booleano associato ad un'algebra booleana.
Teorema di equivalenza tra anelli booleani ed algebre booleane. Utilità dell'uso delle due nozioni per trattare -in modo naturale- una varietà di esempi di natura differente.
____________________________________
IV Settimana (20-24 Ottobre)
IV Settimana (20-24 Ottobre)
Algebra booleana degli aperti regolari di uno spazio topologico: caratterizzazioni degli aperti regolari ed operazione ⊥ (chiusura topologica seguita dalla complementazione).
L'Algebra booleana degli aperti regolari di uno spazio topologico non è un campo d'insiemi.
Proprietà elementari di un'algebra booleana: unicità dell'elemento neutro rispetto a ∨, unicità dell'elemento neutro rispetto a ∧, unicità del elemento complementare a' di un elemento a.
Leggi di assorbimento.
Cenni biografici su G. Boole.
Algebre booleane e logica matematica elementare. La somma (in un anello booleano) come duale dell'equivalenza "<=>" (nell'algebra booleana canonicamente associata) ed il suo significato logico come "o, disgiuntivo", "aut" latino.
Algebre booleane come insiemi (parzialmente) ordinati. Prime proprietà della relazione di ordine naturale introdotta su una qualunque algebra booleana.
____________________________________
Le nozioni di "sup" ed "inf". Cenni sulla nozione di reticolo. Reticoli completi. Reticoli distributivi ed algebre booleane.
Algebre booleane complete. Esempi e controesempi.
Leggi di de Morgan estese al caso infinito. Dualità anche nel caso di algebre booleane complete. Leggi distributive semplici estese al caso infinito.
 |
| Augustus De Morgan (1806-1871) Born 27 June 1806 Madurai, Madras Presidency, British Raj (now India) Died 18 March 1871 London, England |
Sottoalgebre booleane: esempi e controesempi. Campo d'insiemi di un dato insieme X non vuoto è una sottoalgebra booleana di P(X). Intersezioni di famiglie di sottoalgebre booleane. Sottoalgebra booleana generata da un sottoinsieme di una data algebra booleana. Omomorfismi tra algebre booleane. Prime proprietà degli omomorfismi tra algebre booleane.
Omomorfismi tra algebre booleane ed omomorfismi tra anelli booleani. Esempi di omomorfismi booleani.
Ideali di algebre booleane. Esempi.
____________________________________
Didattica sospesa per permettere l'effettuazione delle prove di esonero.
____________________________________
Congruenze di algebre booleane (equivalenze che rispettano le operazioni di un'algebra booleana). Algebre booleane quoziente rispetto ad una congruenza booleana. Congruenze di algebre booleane ed ideali di algebre booleane: corrispondenza tra congruenze booleane ed ideali. Classi di equivalenza rispetto a congruenze. Ideali propri.
Filtro booleano: dualità con gli ideali booleani. Corrispondenza biunivoca tra filtri ed ideali che conserva l'ordinamento per inclusione.
Esistenza di ideali massimali ed esistenza di filtri massimali (detti ultrafiltri). Caratterizzazioni di ideali massimali e filtri massimali in funzione dell'appartenenza di un elemento a o del suo elemento duale a'. Esempi di ideali massimali
Ideale nucleo di un omomorfismo booleano. Esempi e controesempi di ideali nucleo che sono ideali massimali.
Intersezioni di ideali. Ideali generati da sottoinsiemi.
Teorema fondamentale di omomorfismo di algebre booleane. Esempi ed applicazioni.
Ideali massimali di un'algebra booleana A ed omomorfismi booleani da A all'algebra booleana {0, 1}.
Ogni ideale di un'algebra booleana è nucleo di un omomorfismo suriettivo tra algebre booleane.
Algebre semplici. Ogni algebra booleana semplice è isomorfa all'algebra booleana {0, 1}. Algebre booleane semplici ed ideali massimali.
Atomi di un'algebra booleana. Algebre booleane atomiche ed algebre booleane non-atomiche. Esempi e controesempi. In un'algebra booleana atomica ogni elemento è uguale al sup dell'insieme dei suoi atomi.
Un'algebra booleana A è isomorfa ad un'algebra booleana del tipo P(X) , per qualche insieme non vuoto X se e soltanto se è atomica e completa.
Caso delle algebre booleane finite.
Spazi topologici totalmente disconnessi. Spazi topologici booleani. Insieme di Cantor: cenni.
____________________________________
Ogni algebra booleana finita è isomorfa all'algebra booleana di un spazio discreto finito. Esempi di algebre booleane finite.
Algebra booleana duale di uno spazio topologico (booleano).
Esempi di spazi topologici booleani: (1) compattificazione di Alexandroff di uno spazio topologico discreto infinito.
 |
| Pavel Sergeyevich Alexandroff May 7, 1896, Bogorodsk, Russian Empire November 16, 1982 Moscow, Soviet Union |
.jpeg) |
| Andrey Nikolayevich Tychonoff October 30, 1906, Gagarin, Soviet Union November 8, 1993, Moscow, Russia |
 |
| Eduard Čech June 29, 1893, Stračov, Bohemia (now Czech Republic) March 15, 1960, Prague, Czechoslovakia (now Czech Republic) |
Spazio topologico booleano duale di un'algebra booleana. Ogni sottospazio chiuso di uno spazio topologico booleano è uno spazio topologico booleano. Ogni aperto-chiuso di un sottospazio chiuso Y di uno spazio topologico booleano X è la intersezione con Y di uno spazio aperto-chiuso dello spazio topologico X .
Per ogni elemento nonzero a di un'algebra booleana A esiste un omomorfismo booleano da A all'algebra booleana {0, 1} che calcolato in a vale 1.
Teorema di rappresentazione di Stone delle algebre booleane: ogni algebra booleana A è canonicamente isomorfa all'algebra booleana duale dello spazio topologico booleano duale, dato da Hom_{bool}(A, {0, 1}), sottospazio chiuso dello spazio booleano {0, 1} ^A.
Teorema di rappresentazione di Stone degli spazi topologici booleani: ogni spazio topologico booleano X è omeomorfo allo spazio topologico booleano duale dell'algebra booleana duale dello spazio X .
 |
| Marshall H. Stone 8 April 1903, New York, USA 9 Jan 1989 Madras, India |
____________________________________
Introduzione alla teoria della divisibilità in un dominio D (anello commutativo, unitario, privo di divisori dello zero).
MCD e mcm. Elementi associati.
MCD(a, b) esiste ed è esprimibile tramite una espressione lineare di a e b (identità di Bézout se e soltanto se ogni ideale finitamente generato è principale.
mcm(a, b) esiste se e soltanto se aD ∩ bD è un ideale principale.
Dominio di Bézout è un dominio in cui ogni ideale finitamente generato è principale
 |
| Étienne Bézout 31 March 1730 27 September 1783 |
PID => Bézout.
Lemma di Euclide per un PID e, più generalmente, per un MCD-dominio (cioè, un dominio nel quale ogni coppia di elementi non entrambi nulli possiede un MCD).
MCD-dominio <=> mcm-dominio (cioè, un dominio nel quale ogni coppia di elementi possiede un mcm).
In un MCD-dominio, MCD(a, b) mcm(a, b) = ab.
Elementi primi ed elementi irriducibili: prime proprietà e caratterizzazioni.
In un dominio arbitrario, un elemento primo è un elemento irriducibile.
In un MCD-dominio, elemento primo <=> elemento irriducibile.
Anelli noetheriani: definizione, caratterizzazioni ed esempi.
PID <=> dominio Bézout noetheriano.
____________________________________
In un dominio noetheriano, ogni elemento non nullo possiede un divisore irriducibile.
In un MCD-dominio noetheriano, ogni elemento non nullo possiede un divisore primo.
UFD (cioè, dominio a fattorizzazione unica): definizione e sue variazioni.
In un UFD, elemento primo <=> elemento irriducibile.
UFD <=> MCD-dominio & verifica ACCP (condizione della catena ascendente sugli ideali principali).
PID => UFD.
Anello di polinomi a coefficienti un MCD-dominio. Contenuto di un polinomio e polinomi primitivi. Teorema di Gauss per polinomi primitivi. Dati due polinomi f, g in un MCD-dominio, allora c(fg) = c(f)c(g). Un dominio di polinomi a coefficienti in un MCD-dominio è ancora un MCD-dominio.
 |
| Carl Friedrich Gauss 30 April 1777, Braunschweig, Duchy of Brunswick-Wolfenbüttel, Holy Roman Empire 23 February 1855, Göttingen, Kingdom of Hanover (Germany) |
L'anello Z+ XQ[X] è un dominio di Bézout ma non un PID. L'anello di polinomi Z[X] è un UFD che non è né un PID né un anello di Bézout. Ulteriori esempi e controesempi. Divisibilità nel dominio Z [i √5 ].
Introduzione ai numeri di Fibonacci.
Numeri di Fibonacci e problema della natalità dei conigli. Maggiorazioni per l'n-esimo numero di Fibonacci.
Numero aureo. Formula di Binet-Euler che mette in relazione i numeri di Fibonacci ed il numero aureo (ed il suo coniugato).
____________________________________
Il limite per n che tende all'infinito del rapporto di due numeri Fibonacci successivi tende al numero aureo.
Triangolo di Pascal-Tartaglia e coefficienti binomiali. Numeri di Fibonacci come sommatoria di coefficienti binomiali.
Algoritmo euclideo delle divisioni successive e MCD di numeri di Fibonacci.
Stima del numero massimo di divisioni successive dell'algoritmo euclideo per raggiungere il MCD.
Due numeri di Fibonacci successivi sono coprimi.
MCD (F_n, F_m) = F_d, dove d = MCD(n, m). Esempi ed applicazioni.
 |
| Leonardo Pisano Bigollo, detto Fibonacci (circa 1170 - circa 1250) |
Terne pitagoriche: presentazione del problema, cenni storici, collegamento con la congettura di Fermat o FLT (ora, Teorema di Wiles-Taylor).
Terne pitagoriche primitive positive. Prime proprietà ed esempi.
Teorema di descrizione di tutte le terne pitagoriche primitive (Formula di Euclide).
Data comunque una terna pitagorica (x, y, z) allora 60 | xyz.
XII Settimana (15-19 Dicembre)
Terne pitagoriche con un lato e l'ipotenusa di lunghezza numeri primi: congettura sull'infinità di tali terne pitagoriche.
Corrispondenza biunivoca tra terne pitagoriche e punti a coordinate razionali della circonferenza unitaria. Corrispondenza biunivoca punti a coordinate razionali della circonferenza unitaria e punti dell'asse delle x con ascissa razionale (proiezione stereografica dal "polo nord" della circonferenza).
Il raggio della circonferenza inscritta in un triangolo pitagorico ha lunghezza intera.
Esistenza di triangoli pitagorici diversi che hanno la stessa aerea.
Non esistono triangoli pitagorici isosceli (irrazionalità di √2).
Triangoli pitagorici con stessa area e stessa ipotenusa sono uguali.
Esiste un unico triangolo pitagorico avente area uguale al perimetro.
Esistono infinite terne pitagoriche del tipo (x, y, x+1).
Terne pitagoriche primitive positive. Prime proprietà ed esempi.
Teorema di descrizione di tutte le terne pitagoriche primitive (Formula di Euclide).
Data comunque una terna pitagorica (x, y, z) allora 60 | xyz.
____________________________________
Terne pitagoriche con un lato e l'ipotenusa di lunghezza numeri primi: congettura sull'infinità di tali terne pitagoriche.
Corrispondenza biunivoca tra terne pitagoriche e punti a coordinate razionali della circonferenza unitaria. Corrispondenza biunivoca punti a coordinate razionali della circonferenza unitaria e punti dell'asse delle x con ascissa razionale (proiezione stereografica dal "polo nord" della circonferenza).
Il raggio della circonferenza inscritta in un triangolo pitagorico ha lunghezza intera.
Esistenza di triangoli pitagorici diversi che hanno la stessa aerea.
Non esistono triangoli pitagorici isosceli (irrazionalità di √2).
Triangoli pitagorici con stessa area e stessa ipotenusa sono uguali.
Esiste un unico triangolo pitagorico avente area uguale al perimetro.
Esistono infinite terne pitagoriche del tipo (x, y, x+1).
