Collegamenti esterni  The MacTutor History of Mathematics archive (University of St. Andrews, Scotland)  Wikipedia |
I Settimana (23-27 Settembre)
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.
II Settimana (30 Settembre - 4 Ottobre)
L'insieme P(X) delle parti di un insieme X è in corrispondenza biunivoca con l'insieme
2^X = { f: X -> 2 | f è una funzione}.
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)).
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 (7-11 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) |
IV Settimana (14-18 Ottobre)
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.
Algebre booleane e campi d'insiemi. Algebra booleana degli aperti-chiusi di uno spazio topologico non vuoto. L'algebra booleana degli aperti-chiusi di uno spazio topologico non vuoto è un campo d'insiemi.
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.
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.
V Settimana (21-25 Ottobre)
Cenni biografici su G. Boole.
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 |
VI Settimana (28 Ottobre - 1 Novembre)
Didattica sospesa per permettere le prove di valutazione in itinere.
VII Settimana (4-8 Novembre)
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.
Didattica sospesa per permettere le prove di valutazione in itinere.
VII Settimana (4-8 Novembre)
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. Congruenze di algebre booleane (equivalenze che rispettano le operazioni di un'algebra booleana). Algebre booleane quoziente rispetto ad una congruenza booleana. Congruenze di un anello booleano: descrizione in termini di ideali. 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.
VIII Settimana (11-15 Novembre)
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'.
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}.
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.
Spazi topologici totalmente disconnessi. Spazi topologici booleani. Esempi: completamento di Alexandroff di uno spazio discreto.
 |
| Pavel Sergeyevich Alexandroff May 7, 1896, Bogorodsk, Russian Empire November 16, 1982 Moscow, Soviet Union |
 |
| Eduard Čech June 29, 1893, Stračov, Bohemia (now Czech Republic) March 15, 1960, Prague, Czechoslovakia (now Czech Republic) |
.jpeg) |
| Andrey Nikolayevich Tychonoff October 30, 1906, Gagarin, Soviet Union November 8, 1993, Moscow, Russia |
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).
IX Settimana (18-22 Novembre)
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 .
Esempio di applicazione del Teorema di Stone
 |
| 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).
X Settimana (25-29 Novembre)
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 è un dominio in cui ogni ideale è principale.
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 con ACCP (con la condizione della catena ascendente sugli ideali principali) ed anelli noetheriani (cenni).
PID <=> dominio Bézout noetheriano => MCD-dominio + ACCP.
In un dominio con ACCP, ogni elemento non nullo possiede un divisore irriducibile.
In un MCD-dominio con ACCP, 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 + ACCP.
PID => UFD.
XI Settimana (2-6 Dicembre)
Numeri di Fibonacci e problema della natalità dei conigli. Maggiorazioni per l'n-esimo numero di Fibonacci.
Numero aureo. Formula di Binet 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.
Due numeri di Fibonacci successivi sono coprimi.
MCD (f_n, f_m) = f_d, dove d = MCD(n, m). Esempi ed applicazioni.
Numero aureo. Formula di Binet 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.
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) |
XII Settimana (9-15 Dicembre)
Terne pitagoriche: presentazione del problema, cenni storici, collegamento con la congettura di Fermat o Ultimo Teorema di Fermat (in breve, 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.
Non esistono triangoli pitagorici isosceli (irrazionalità di √2).
XIII Settimana (16-19 Dicembre)
Terne pitagoriche con un lato e l'ipotenusa di lunghezza numeri primi: congettura sull'infinità di tali terne pitagoriche.
Congettura sull'infinità dei primi gemelli.
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.
Triangoli pitagorici con stessa area e stessa ipotenusa sono uguali.
Triangoli pitagorici aventi area uguale al perimetro.
 |
| Andrew Wiles (1953 - ) |
.jpg) |
| Richard Taylor (1962 - ) |
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.
Non esistono triangoli pitagorici isosceli (irrazionalità di √2).
.jpeg) |
| Pitagora Samo, 570 AC - Metaponto, 495 AC |
XIII Settimana (16-19 Dicembre)
Terne pitagoriche con un lato e l'ipotenusa di lunghezza numeri primi: congettura sull'infinità di tali terne pitagoriche.
Congettura sull'infinità dei primi gemelli.
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.
Triangoli pitagorici con stessa area e stessa ipotenusa sono uguali.
Triangoli pitagorici aventi area uguale al perimetro.
