Programma Definitivo

Programma Definitivo
Matematica Discreta (Corso A) a.a. 2002/2003
Docente: Maria Falcitelli
CENNI DI LOGICA MATEMATICA:
La logica proposizionale, connettivi logici, tavole di verità, tautologie
e contraddizioni. Equivalenza logica ed equivalenza semantica. Metodi di
dimostrazione: diretta, per contrapposizione, per assurdo. Calcolo dei
predicati del primo ordine: linguaggi con identità, formule, loro
interpretazione. Negazione di una formula chiusa.
ARITMETICA
Numeri naturali, assioma del buon ordinamento, principio d'induzione,
Numeri interi relativi, algoritmo di divisione, divisori di un intero,
massimo comun divisore e minimo comune multiplo, algoritmo di Euclide e
sua correttezza. Algoritmo di Euclide esteso, identità di Bezout,
equazioni diofantee, numeri primi e irriducibili, crivello di Eratostene,
fattorizzazione unica. Espansione di un numero su una base, congruenze
modulo n, la prova del 9 e criteri di divisibilità. Sistemi di congruenze
lineari, teorema cinese del resto.
RELAZIONI, FUNZIONI, COMBINATORIA
Prodotto cartesiano di insiemi. Relazioni, relazioni funzionali e
funzioni. Immagini e controimmagini: funzioni ingettive, surgettive e
bigettive. Funzioni tra insiemi finiti, modello di occupazione e delle
parole, regole del prodotto e del pastore. Enumerazione di funzioni:
funzioni ingettive, permutazioni e combinazioni. Formula di Stifel e
binomio di Newton. Principio dei cassetti generalizzato, principio di
inclusione-esclusione e sue applicazioni.
RELAZIONI DI EQUIVALENZA E PARTIZIONI
Relazioni di equivalenza, classi di equivalenza, insieme quoziente.
Relazione di equivalenza associata ad una funzione. Partizioni di un
insieme e teorema di corrispondenza fra relazioni di equivalenza e
partizioni. Congruenze modulo n e struttura di Zn.
RELAZIONI D'ORDINE E RETICOLI
Insiemi ordinati e totalmente ordinati: esempi fondamentali. Relazione
d'ordine indotta su un sottoinsieme. Il diagramma di Hasse di un insieme
ordinato finito. Elementi minimali, massimali, minimo e massimo. Il
problema del sorting topologico. Estremo inferiore e superiore: reticoli.
Operazioni algebriche indotte su un reticolo, il principio di dualità dei
reticoli. Reticoli distributivi, limitati e complementati: reticoli
booleani. Insiemi totalmente ordinati e reticoli booleani. Omomorfismi fra
reticoli.
STRUTTURE ALGEBRICHE E MONOIDI
Primi esempi di strutture algebriche. Operazioni su un insieme, la nozione
di struttura algebrica. Semigruppi e monoidi. Potenza in un monoide.
Insiemi chiusi per una operazione, sottomonoidi. Sottomonoide generato da
un sottoinsieme. Monoidi ciclici: esempi. Congruenze su una struttura
algebrica e struttura quoziente: le operazioni su Zn. Omomorfismi fra
strutture algebriche, teorema di isomorfismo. Il monoide delle parole su
un alfabeto e proprietà universale dei monoidi liberi. Elementi
invertibili di un monoide.
GRUPPI
Nozione di gruppo, esempi fondamentali: (Zn, +) munito della somma, il
gruppo degli elementi invertibili di un monoide, gli elementi invertibili
di (Zn, •) munito del prodotto. Leggi di cancellazione Sottogruppi,
sottogruppi di (Z, +). Sottogruppo generato da un insieme, gruppi ciclici.
Periodo di un elemento. Determinazione del periodo di un elemento di (Zn,
+). Relazioni di equivalenza e sottogruppi: classi laterali modulo un
sottogruppo. Il teorema di Lagrange, il reticolo dei sottogruppi di un
gruppo, esempi fondamentali. Omomorfismi fra gruppi. Determinazione degli
omomorfismi fra gruppi ciclici. Classificazione dei gruppi ciclici. Nucleo
di un omomorfismo e relativo gruppo quoziente: teorema fondamentale di
isomorfismo. Il gruppo delle permutazioni, cicli, loro periodo,
fattorizzazione in cicli disgiunti. Fattorizzazione in trasposizioni,
segno di una permutazione, gruppo alterno. Struttura dei gruppi S3, S4.
Gruppi ciclici come gruppi di rotazioni del piano che fissano poligoni
regolari.
ANELLI, CAMPI
Anelli e sottoanelli, divisori dello zero, domini d'integrità, il gruppo
degli elementi unitari di un anello. Campi: definizioni ed esempi.
L'anello degli interi, l'anello dei polinomi, grado di un polinomio e sue
proprietà, divisione fra polinomi, l'algoritmo di Euclide fra polinomi,
equazioni diofantee su polinomi. Polinomi irriducibili, fattorizzazione
unica per i polinomi, teorema di Ruffini, molteplicità di una radice,
radici razionali di un polinomio, criterio di irriducibilità di
Eisenstein, fattorizzazione di un polinomio a coefficienti razionali,
lemma di Gauss. Irriducibilità e fattorizzazione di un polinomio modulo p:
prime applicazioni alla fattorizzazione su Q. Omomorfismi di anelli,
nucleo e immagine di un omomorfismo, teorema fondamentale dell'omomorfismo
per gli anelli. Anelli di Boole e loro associazione a reticoli: esempi
fondamentali.
Testi consigliati:
Ø
A. Facchini, Algebra e Matematica Discreta, Decibel, Zanichelli
(2000).
Ø
G. M. Piacentini Cattaneo, Algebra: un'approccio algoritmico,
Decibel, Zanichelli (1996).
Ø
M. G. Bianchi, A. Gillio, Introduzione alla Matematica Discreta,
McGraw Hill (2001).
Ø
Alzati, M. Bianchi, M. Cariboni, Matematica Discreta: esercizi,
Città Studi Edizioni (1995).