INSIEMI ORDINATI, RETICOLI. N.B.: il simbolo contrassegna gli esercizi (relativamente) più complessi.

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "INSIEMI ORDINATI, RETICOLI. N.B.: il simbolo contrassegna gli esercizi (relativamente) più complessi."

Transcript

1 ESERCIZI SU INSIEMI ORDINATI, RETICOLI N.B.: il simbolo contrassegna gli esercizi relativamente più complessi. Siano E ed E due insiemi non vuoti, nei quali siano date rispettivamente la relazione ω e la relazione ω. Nel prodotto cartesiano E E si consideri la relazione ω definita da e, e ω e, e e ω e, e ω e e, e, e, e E E a se ω e ω sono riflessive, allora anche ω è riflessiva; b se ω e ω sono simmetriche, allora anche ω è simmetrica; c se ω e ω sono antisimmetriche, allora anche ω è antisimmetrica; d se ω e ω sono transitive, allora anche ω è transitiva; e se ω e ω sono equivalenze, allora anche ω è un equivalenza; f se ω e ω sono ordini, allora anche ω è un ordine detto ordine prodotto su E E ; g se ω e ω sono entrambi ordini totali, allora ω è un ordine totale se e soltanto se si ha E = oppure E =. Sia E un insieme non vuoto, nel quale sia data la relazione ω, sia X un altro insieme non vuoto. Nell insieme E X di tutte le funzioni da X a E si consideri la relazione ω X definita da f ω X l fx ω lx x X f, l E X a se ω è riflessiva, allora anche ω X è riflessiva; b se ω è simmetrica, allora anche ω X è simmetrica; c se ω è antisimmetrica, allora anche ω X è antisimmetrica; d se ω è transitiva, allora anche ω X è transitiva; e se ω è un equivalenza, allora anche ω X è un equivalenza; f se ω è un ordine, allora anche ω X è un ordine; g se ω è un ordine totale, allora ω è un ordine totale se e soltanto se si ha E =.

2 INSIEMI ORDINATI, RETICOLI 3 Siano E ed E due insiemi ordinati, e si consideri in E E l ordine prodotto di cui all esercizio qui sopra. a se esistono mine e mine, allora esiste anche min E E che è dato da min E E = mine, mine ; b se esistono maxe e maxe, allora esiste anche max E E che è dato da max E E = maxe, maxe ; c se esiste min E E, dato dalla coppia min E E = m, m, allora esistono anche mine e mine, dati da mine = m e mine = m ; d se esiste max E E, dato dalla coppia max E E = M, M, allora esistono anche maxe e maxe, dati da maxe = M e maxe = M. 4 Sia E un insieme ordinato, sia X un altro insieme, e si consideri in E X l ordine standard di cui all esercizio qui sopra. a se esiste mine, allora esiste anche min E X che è dato dalla funzione costante f min E X tale che f min x := mine per ogni x X ; b se esiste maxe, allora esiste anche max E X che è dato dalla funzione costante f max E X tale che f max x := maxe per ogni x X ; c se esiste f min E X, allora tale minimo è una funzione costante, ed esiste anche mine, dato dal valore unico costante f min x di f min per ogni x X ; d se esiste f max E X, allora tale massimo è una funzione costante, ed esiste anche maxe, dato dal valore unico costante f max x di f max per ogni x X. 5 Prodotto diretto di reticoli : Siano L ed L insiemi ordinati con proprietà particolari, e si consideri in L L l ordine prodotto di cui all esercizio qui sopra. Dimostrare che se L ed L sono reticoli rispetto agli ordini considerati, allora anche L L è a sua volta un reticolo rispetto all ordine prodotto. 6 Siano E ed E due insiemi, ciascuno con una operazione, indicata rispettivamente con e. Nel prodotto cartesiano E E si consideri l operazione definita da e, e e, e := e e, e e e, e, e, e E E a se b se e e sono associative, allora anche è associativa; sono commutative, allora anche è commutativa.

3 INSIEMI ORDINATI, RETICOLI 3 7 Prodotto diretto di reticoli : Siano L ; ed L ; due insiemi dotati ciascuno di due operazioni, e si considerino in L L le operazioni e ottenute,, da e secondo la procedura di cui all esercizio 6 qui sopra. Dimostrare che se L ed L sono reticoli rispetto alle operazioni considerate, allora anche L L è a sua volta un reticolo rispetto alle operazioni considerate. 8 Dimostrare che le due costruzioni di un Prodotto diretto di reticoli considerate negli esercizi 5 e 7 qui sopra sono equivalenti, nel senso che la relazione d ordine considerata in L L nell esercizio 5 corrisponde esattamente alle due operazioni in L L considerate nell esercizio 7, e viceversa. 9 Sia L un insieme ordinato, sia X un altro insieme, e si consideri in L X l ordine standard di cui all esercizio qui sopra. Dimostrare che se L è un reticolo rispetto all ordine considerato allora anche L X è a sua volta un reticolo rispetto all ordine standard. 0 Sia E con una operazione, indicata con, e sia X un altro insieme non vuoto. Nell insieme E X di tutte le funzioni da X ad E si consideri l operazione definita da f l : X E, x f l x := fx lx x X, f, l E X a se è associativa, allora anche è associativa; b se è commutativa, allora anche è commutativa. Sia L ;, un insieme con due operazioni, sia X un altro insieme non vuoto, e si considerino in L X le due operazioni ottenute da e da utilizzando la procedura di cui all esercizio 0 qui sopra. Dimostrare che se L è un reticolo rispetto alle operazioni considerate allora anche L X è a sua volta un reticolo rispetto alle operazioni così costruite. Dato un reticolo L ed un insieme non vuoto X, dimostrare che le due costruzioni di una struttura di reticolo su L X considerate negli esercizi 9 e qui sopra sono equivalenti, nel senso che la relazione d ordine in L X considerata in nell esercizio 9 corrisponde esattamente alle due operazioni in L X considerate nell esercizio, e viceversa.

4 4 INSIEMI ORDINATI, RETICOLI 3 Siano L ed L due reticoli non vuoti, e sia L L il reticolo prodotto diretto di essi. a se L e L sono entrambi distributivi, allora anche L L è a sua volta distributivo; b se L e L sono entrambi limitati e complementati cioè ogni elemento ha complemento, allora anche L L è a sua volta limitato e complementato; c se L L è distributivo, allora anche L e L sono entrambi distributivi; d se L L è limitato e complementato, allora anche L e L sono entrambi limitati e complementati. 4 Sia L un reticolo non vuoto, sia X un insieme non vuoto, e sia L X l insieme di tutte le funzioni da X a L, con la sua struttura standard di reticolo. a se L è distributivo, allora anche L X è a sua volta distributivo; b se L è limitato e complementato, allora anche L X è a sua volta limitato e complementato; c d se L X è distributivo, allora anche L è distributivo; se L X è limitato e complementato, allora anche L è limitato e complementato. 5 Isomorfismi tra reticoli : Sia ϕ : L L una funzione biiettiva da un reticolo L ad un reticolo L. Dimostrare che le due seguenti proprietà per ϕ sono equivalenti: I x y ϕx ϕy, per ogni x, y L ; II ϕ x y = ϕx ϕy, ϕ x y = ϕx ϕy, per ogni x, y L. N.B.: una tale ϕ : L L si dice isomorfismo da L a L ; quando una tale ϕ esiste, si dice che L è isomorfo a L. 6 Sia L un reticolo, e si considerino sul prodotto L L e sull insieme L {,} di tutte le funzioni da {, } a L le rispettive strutture standard di reticolo. Dimostrare che la funzione ϕ : L {,} L L data da f ϕf := f, f per ogni f L {,} è un isomorfismo dal reticolo L {,} al reticolo L L. 7 Per ogni n N, sia D n il reticolo dei divisori in N di n con relazione d ordine la divisibilità in N e operazioni e date dal M.C.D. e dal m.c.m. e sia [ 0, n] l insieme [ 0, n] := {0,,,..., n, n} dei numeri naturali da 0 ad n, con la sua struttura naturale di reticolo indotta dall ordine naturale o standard in N. Dimostrare allora che, per ogni primo p ed ogni e N, il reticolo D p e è isomorfo al reticolo [ 0, n].

5 INSIEMI ORDINATI, RETICOLI 5 8 Per ogni n N, sia D n il reticolo dei divisori di n. a D 00 è isomorfo a D 4 D 5 ; b D 5400 è isomorfo a D 8 D 7 D 5 ; c più in generale, se n N + si fattorizza in n = p e pe pe s s con p, p,..., p s primi distinti, allora D n = D e p p e p e s è isomorfo a D e s p D e p D p es. s

ESERCIZI sulle RELAZIONI - 2 Fabio GAVARINI. N.B.: il simbolo contrassegna gli esercizi (relativamente) più complessi.

ESERCIZI sulle RELAZIONI - 2 Fabio GAVARINI. N.B.: il simbolo contrassegna gli esercizi (relativamente) più complessi. ESERCIZI sulle RELAZIONI - 2 Fabio GAVARINI NB: il simbolo contrassegna gli esercizi relativamente più complessi 1 Siano E 1 ed E 2 due insiemi non vuoti, nei quali siano date rispettivamente la relazione

Dettagli

ESERCIZI sulle RELAZIONI - 1 Fabio GAVARINI. N.B.: il simbolo contrassegna gli esercizi (relativamente) più complessi.

ESERCIZI sulle RELAZIONI - 1 Fabio GAVARINI. N.B.: il simbolo contrassegna gli esercizi (relativamente) più complessi. ESERCIZI sulle RELAZIONI - 1 Fabio GAVARINI N.B.: il simbolo contrassegna gli esercizi (relativamente più complessi. 1 Sia S l insieme degli stati della Terra, e sia κ la relazione di confinanza in S,

Dettagli

Corso di ALGEBRA (M-Z) INSIEMI PARZIALMENTE ORDINATI E RETICOLI

Corso di ALGEBRA (M-Z) INSIEMI PARZIALMENTE ORDINATI E RETICOLI Corso di ALGEBRA (M-Z) 2013-14 INSIEMI PARZIALMENTE ORDINATI E RETICOLI Sia P un insieme non vuoto. Una relazione d ordine su P è una relazione riflessiva, antisimmetrica e transitiva. La coppia (P,) si

Dettagli

Teoria degli Insiemi

Teoria degli Insiemi Teoria degli Insiemi Docente: Francesca Benanti Ottobre 2017 1 Teoria degli Insiemi La Teoria degli Insiemi è una branca della matematica creata alla fine del diciannovesimo secolo principalmente dal matematico

Dettagli

Teoria degli Insiemi

Teoria degli Insiemi Teoria degli Insiemi Docente: Francesca Benanti Ottobre 2015 1 Teoria degli Insiemi La Teoria degli Insiemi è una branca della matematica creata alla fine del diciannovesimo secolo principalmente dal matematico

Dettagli

ALGEBRE DI BOOLE. (d) x, y X x y oppure y x.

ALGEBRE DI BOOLE. (d) x, y X x y oppure y x. ALGEBRE DI BOOLE Un insieme parzialmente ordinato è una coppia ordinata (X, ) dove X è un insieme non vuoto e " " è una relazione binaria definita su X tale che (a) x X x x (riflessività) (b) x, y, X se

Dettagli

R = {(0, 0), (1, 1), (2, 2), (3, 3),... }. Esempio 2. L insieme

R = {(0, 0), (1, 1), (2, 2), (3, 3),... }. Esempio 2. L insieme Definizione 1. Siano A e B insiemi. Si definisce prodotto cartesiano l insieme: A B = {(a, b) : a A b B}. Osservazione 1. Si osservi che nella Definizione 1. le coppie sono ordinate, vale a dire (x, y)

Dettagli

Che cos è un insieme? Come si individua un insieme? 1. Scrivendone esplicitamente gli elementi: C = {2, 4, 6, 8, 10,...}.

Che cos è un insieme? Come si individua un insieme? 1. Scrivendone esplicitamente gli elementi: C = {2, 4, 6, 8, 10,...}. Teoria degli insiemi Che cos è un insieme? Come si individua un insieme? 1. Scrivendone esplicitamente gli elementi: A = {a, b, c} B = {1, 2} C = {2, 4, 6, 8, 10,...}. 2. Enunciando una proprietà che è

Dettagli

01 - Elementi di Teoria degli Insiemi

01 - Elementi di Teoria degli Insiemi Università degli Studi di Palermo Facoltà di Economia CdS Sviluppo Economico e Cooperazione Internazionale Appunti del corso di Matematica 01 - Elementi di Teoria degli Insiemi Anno Accademico 2013/2014

Dettagli

3. Relazioni su un insieme

3. Relazioni su un insieme 3. Relazioni su un insieme Per introdurre il concetto di relazione su un insieme, conviene partire dal concetto di grafico associato alla relazione. Definizione 1. Sia A un insieme non vuoto. Ogni sottoinsieme

Dettagli

Precorsi di matematica

Precorsi di matematica Precorsi di matematica Francesco Dinuzzo 12 settembre 2005 1 Insiemi Il concetto di base nella matematica moderna è l insieme. Un insieme è una collezione di elementi. Gli elementi di un insieme vengono

Dettagli

LOGICA MATEMATICA. Canale E O a.a Docente: C. Malvenuto Primo compito di esonero 10 novembre 2006

LOGICA MATEMATICA. Canale E O a.a Docente: C. Malvenuto Primo compito di esonero 10 novembre 2006 LOGICA MATEMATICA Canale E O a.a. 2006 07 Docente: C. Malvenuto Primo compito di esonero 10 novembre 2006 Istruzioni. Completare subito la parte inferiore di questa pagina con il proprio nome, cognome

Dettagli

01 - Elementi di Teoria degli Insiemi

01 - Elementi di Teoria degli Insiemi Università degli Studi di Palermo Facoltà di Economia CdS Statistica per l Analisi dei Dati Appunti del corso di Matematica 01 - Elementi di Teoria degli Insiemi Anno Accademico 2013/2014 M Tumminello,

Dettagli

Elementi di Informatica A. A. 2016/2017

Elementi di Informatica A. A. 2016/2017 Elementi di Informatica A. A. 2016/2017 Ing. Nicola Amatucci Università degli studi di Napoli Federico II Scuola Politecnica e Delle Scienze di Base nicola.amatucci@unina.it Algebra di Boole Elementi di

Dettagli

Programma del Corso di Matematica Discreta (Elementi) anno accademico 2005/2006

Programma del Corso di Matematica Discreta (Elementi) anno accademico 2005/2006 Programma del Corso di Matematica Discreta (Elementi) lettere M-Z anno accademico 2005/2006 2 febbraio 2006 1. Logica 2. Insiemi e Funzioni 3. Numeri naturali 4. Numeri interi 5. Relazioni 6. Classi di

Dettagli

Algebra e Logica Matematica. Insiemi, relazioni

Algebra e Logica Matematica. Insiemi, relazioni Università di Bergamo Anno accademico 2015 2016 Ingegneria Informatica Foglio 1 Algebra e Logica Matematica Insiemi, relazioni Esercizio 1.1. Mostrare che per tutti gli insiemi A e B, (A\B) (B\A) = (A

Dettagli

C.L. Informatica, M-Z Bari, 12 Gennaio 2016 Traccia: 1

C.L. Informatica, M-Z Bari, 12 Gennaio 2016 Traccia: 1 Bari, 2 Gennaio 206 Traccia: Esercizio. Scrivere la definizione di funzione suriettiva. Dimostrare che la composizione di due funzioni suriettive è una funzione suriettiva. Esercizio 2. () Stabilire se

Dettagli

Algebra di Boole. Da Boole a Shannon

Algebra di Boole. Da Boole a Shannon Corso di Calcolatori Elettronici I A.A. 2012-2013 Algebra di Boole Prof. Roberto Canonico Università degli Studi di Napoli Federico II Dipartimento di Ingegneria Elettrica e delle Tecnologie dell Inforazione

Dettagli

ESEMPIO Un esempio di insieme vuoto è l insieme dei numeri reali di quadrato 4. B A

ESEMPIO Un esempio di insieme vuoto è l insieme dei numeri reali di quadrato 4. B A TEORI DEGLI INSIEMI GENERLIT Un insieme è un ente costituito da oggetti. Il concetto di insieme e di oggetto si assumono come primitivi. Se un oggetto a fa parte di un insieme si dice che esso è un suo

Dettagli

Richiami sugli insiemi numerici

Richiami sugli insiemi numerici Richiami sugli insiemi numerici denota l insieme vuoto cioè l insieme privo di elementi. N = {1, 2, 3,...} denota l insieme dei numeri naturali. Z = {..., 2, 1, 0, 1, 2,...} denota l insieme dei numeri

Dettagli

Teorema di rappresentazione di Stone per algebre di Boole

Teorema di rappresentazione di Stone per algebre di Boole Teorema di rappresentazione di Stone per algebre di Boole Relatore: Prof. Andrea Loi Correlatore: Prof. Stefano Montaldo Candidata: Noemi Vellante Università degli Studi di Cagliari 25 Luglio 2016 Obiettivi

Dettagli

ELEMENTI di TEORIA degli INSIEMI

ELEMENTI di TEORIA degli INSIEMI ELEMENTI di TEORI degli INSIEMI & 1. Nozioni fondamentali. ssumeremo come primitivi il concetto di insieme e di elementi di un insieme. Nel seguito gli insiemi saranno indicati con lettere maiuscole (,,C,...)

Dettagli

(b) le operazioni, sono distributive: (c) le operazioni, hanno un elemento neutro: cioè esistono O e I P(X) tali che A P(X) : A O = A, A I = A.

(b) le operazioni, sono distributive: (c) le operazioni, hanno un elemento neutro: cioè esistono O e I P(X) tali che A P(X) : A O = A, A I = A. Elementi di Algebra e Logica 2008. 7. Algebre di Boole. 1. Sia X un insieme e sia P(X) l insieme delle parti di X. Indichiamo con, e rispettivamente le operazioni di intersezione, unione e complementare

Dettagli

G. Pareschi RELAZIONI D ORDINE

G. Pareschi RELAZIONI D ORDINE G. Pareschi RELAZIONI D ORDINE 1 Definizione 1.1. Sia X un insieme. Una relazione su X è detta una relazione d ordine o un ordinamento di X se è riflessiva, antisimmetrica e transitiva. Un insieme X, munito

Dettagli

1 Relazioni. Definizione Una relazione R su un insieme A si dice relazione d ordine se gode delle proprietà 1), 3), 4).

1 Relazioni. Definizione Una relazione R su un insieme A si dice relazione d ordine se gode delle proprietà 1), 3), 4). 1 Relazioni 1. definizione di relazione; 2. definizione di relazione di equivalenza; 3. definizione di relazione d ordine Definizione Una corrispondenza tra due insiemi A e B è un sottoinsieme R del prodotto

Dettagli

Richiami di teoria degli insiemi

Richiami di teoria degli insiemi Appartenenza Se A è un insieme con la notazione a A indichiamo che l elemento a appartiene ad A, con a A che non appartiene Spesso con la notazione {x x } dove con x si intende una certa proprietà per

Dettagli

Corso di Calcolatori Elettronici I A.A Algebra di Boole Lezione 4

Corso di Calcolatori Elettronici I A.A Algebra di Boole Lezione 4 Corso di Calcolatori Elettronici I A.A. 2010-2011 Algebra di Boole Lezione 4 Università degli Studi di Napoli Federico II Facoltà di Ingegneria Segnali in circuiti elettronici digitali da: G. Bucci. Calcolatori

Dettagli

CAPITOLO 1. Fondamenti. 1. Assiomi, postulati, definizioni

CAPITOLO 1. Fondamenti. 1. Assiomi, postulati, definizioni CAPITOLO 1 Fondamenti In questo capitolo presentiamo alcune nozioni necessarie per i successivi capitoli. 1. Assiomi, postulati, definizioni La Matematica è la scienza ipotetico-deduttiva per eccellenza.

Dettagli

Programma del Corso di Matematica Discreta (Elementi) lettere P-Z anno accademico 2004/2005

Programma del Corso di Matematica Discreta (Elementi) lettere P-Z anno accademico 2004/2005 Programma del Corso di Matematica Discreta (Elementi) lettere P-Z anno accademico 2004/2005 27 gennaio 2005 1. Logica 2. Insiemi e Funzioni 3. Numeri naturali 4. Numeri interi 5. Relazioni 6. Classi di

Dettagli

ANELLI EUCLIDEI E ANELLI A IDEALI PRINCIPALI. contrassegna gli esercizi (relativamente) più complessi.

ANELLI EUCLIDEI E ANELLI A IDEALI PRINCIPALI. contrassegna gli esercizi (relativamente) più complessi. ESERCIZI SU ANELLI EUCLIDEI E ANELLI A IDEALI PRINCIPALI N.B.: il simbolo contrassegna gli esercizi relativamente più complessi. 1 Sia A un anello commutativo unitario. Dimostrare che A è un campo A ha

Dettagli

Elementi di teoria degli insiemi

Elementi di teoria degli insiemi ppendice Elementi di teoria degli insiemi.1 Introduzione Comincia qui l esposizione di alcuni concetti primitivi, molto semplici da un punto di vista intuitivo, ma a volte difficili da definire con grande

Dettagli

Tecniche di conteggio

Tecniche di conteggio Tecniche di conteggio 9 Ottobre 2003 Principio della somma Il numero di elementi dell unione di una famiglia di insiemi disgiunti è la somma del numero di elementi contenuti in ogni singolo insieme F =

Dettagli

METODI MATEMATICI PER L INFORMATICA. Canale E O a.a Docente: C. Malvenuto Primo compito di esonero 26 novembre 2008

METODI MATEMATICI PER L INFORMATICA. Canale E O a.a Docente: C. Malvenuto Primo compito di esonero 26 novembre 2008 METODI MATEMATICI PER L INFORMATICA Canale E O a.a. 2008 09 Docente: C. Malvenuto Primo compito di esonero 26 novembre 2008 Istruzioni. Completare subito la parte inferiore di questa pagina con il proprio

Dettagli

AL210 - Appunti integrativi - 3

AL210 - Appunti integrativi - 3 AL210 - Appunti integrativi - 3 Prof. Stefania Gabelli - a.a. 2016-2017 Nello studio delle strutture algebriche, sono interessanti le relazioni che sono compatibili con le operazioni. Vogliamo dimostrare

Dettagli

INSIEMI. Se X è un insieme, indichiamo con P(X) l insieme dei sottoinsiemi di X (sono elementi di P(X) anche e X).

INSIEMI. Se X è un insieme, indichiamo con P(X) l insieme dei sottoinsiemi di X (sono elementi di P(X) anche e X). INSIEMI Se X è un insieme, indichiamo con P(X) l insieme dei sottoinsiemi di X (sono elementi di P(X) anche e X). Sia A = {A λ : λ Λ} una famiglia di insiemi. Definiamo: unione A = A λ è l insieme U tale

Dettagli

NUMERI INTERI. N.B.: il simbolo contrassegna gli esercizi (relativamente) più complessi.

NUMERI INTERI. N.B.: il simbolo contrassegna gli esercizi (relativamente) più complessi. ESERCIZI SUI NUMERI INTERI N.B.: il simolo contrassegna gli esercizi relativamente più complessi. NOTA: si assumono note tutte le proprietà fondamentali di un Sistema di Numeri Naturali, il cui insieme

Dettagli

Istituzioni di Logica Matematica

Istituzioni di Logica Matematica Istituzioni di Logica Matematica Sezione 7 del Capitolo 2 Alessandro Andretta Dipartimento di Matematica Università di Torino A. Andretta (Torino) Istituzioni di Logica Matematica AA 2013 2014 1 / 57 Ordini

Dettagli

Insiemi. Concetto di insieme

Insiemi. Concetto di insieme Insiemi Paolo Montanari Appunti di Matematica Insiemi 1 Concetto di insieme I concetti di insieme e di elemento di un insieme sono concetti primitivi, cioè non definibili tramite concetti più semplici.

Dettagli

Definizione di anello

Definizione di anello Definizione di anello Definizione Sia A un insieme dotato di due leggi di composizione interne + e. Si dice che la struttura algebrica (A, +, ) è un anello se: Definizione di anello Definizione Sia A un

Dettagli

Richiami di Matematica. 1. Insiemi, relazioni, funzioni. 2. Cardinalitá degli insiemi infiniti e numerabilitá. 3. Notazione asintotica.

Richiami di Matematica. 1. Insiemi, relazioni, funzioni. 2. Cardinalitá degli insiemi infiniti e numerabilitá. 3. Notazione asintotica. Richiami di Matematica 1. Insiemi, relazioni, funzioni. 2. Cardinalitá degli insiemi infiniti e numerabilitá. 3. Notazione asintotica. Insiemi Definizioni di base Dato un insieme A: x A: elemento x appartenente

Dettagli

LIBRO ADOTTATO. G.M. PIACENTINI CATTANEO: MATEMATICA DISCRETA, ed. ZANICHELLI LIBRI CONSIGLIATI

LIBRO ADOTTATO. G.M. PIACENTINI CATTANEO: MATEMATICA DISCRETA, ed. ZANICHELLI LIBRI CONSIGLIATI LIBRO ADOTTATO G.M. PIACENTINI CATTANEO: MATEMATICA DISCRETA, ed. ZANICHELLI LIBRI CONSIGLIATI A. FACCHINI: ALGEBRA E MATEMATICA DISCRETA, ed. ZANICHELLI M.G. BIANCHI, A. GILLIO: INTRODUZIONE ALLA MA-

Dettagli

Le relazioni tra due insiemi

Le relazioni tra due insiemi 1 Le relazioni tra due insiemi DEFINIZIONE. Quando tra due insiemi A e B si individua una proprietà che associa agli elementi di A gli elementi di B, tra i due insiemi si stabilisce una corrispondenza;

Dettagli

Relazioni e Principio di Induzione

Relazioni e Principio di Induzione Relazioni e Principio di Induzione Giovanna Carnovale October 12, 2011 1 Relazioni Dato un insieme S, un sottoinsieme fissato R del prodotto cartesiano S S definisce una relazione ρ tra gli elementi di

Dettagli

tra gli elementi di B definita come segue: ( x, y B) ( x B

tra gli elementi di B definita come segue: ( x, y B) ( x B Definizione 1. Si dice che R è una relazione d ordine se è riflessiva, antisimmetrica e transitiva. La coppia ordinata (A, R) (ovvero l insieme A munito della relazione d ordine) si chiama insieme ordinato.

Dettagli

1 Relazione di congruenza in Z

1 Relazione di congruenza in Z 1 Relazione di congruenza in Z Diamo ora un esempio importante di relazione di equivalenza: la relazione di congruenza modn in Z. Definizione 1 Sia X = Z, a,b Z ed n un intero n > 1. Si dice a congruo

Dettagli

CAPITOLO SECONDO APPLICAZIONI TRA INSIEMI E RELAZIONI DI EQUIVALENZA

CAPITOLO SECONDO APPLICAZIONI TRA INSIEMI E RELAZIONI DI EQUIVALENZA CAPITOLO SECONDO APPLICAZIONI TRA INSIEMI E RELAZIONI DI EQUIVALENZA 1 Applicazioni tra insiemi Siano A, insiemi. Una corrispondenza tra A e è un qualsiasi sottoinsieme del prodotto cartesiano A ; Se D

Dettagli

ESERCIZI DI ALGEBRA GRUPPI E ANELLI (3) N.B.: il simbolo contrassegna gli esercizi (relativamente) più complessi.

ESERCIZI DI ALGEBRA GRUPPI E ANELLI (3) N.B.: il simbolo contrassegna gli esercizi (relativamente) più complessi. ESERCIZI DI ALGEBRA GRUPPI E ANELLI 3 NB: il simbolo contrassegna gli esercizi relativamente più complessi 1 Dato un anello A e il corrispondente per n N + fissato anello di matrici quadrate Mat n A, consideriamo

Dettagli

Teoria degli Insiemi

Teoria degli Insiemi Angelica Malaspina Dipartimento di Matematica, Informatica ed Economia Università degli Studi della Basilicata, Italy angelica.malaspina@unibas.it distributive distributive distributive Il concetto di

Dettagli

INSIEMI E RELAZIONI. 1. Insiemi e operazioni su di essi

INSIEMI E RELAZIONI. 1. Insiemi e operazioni su di essi INSIEMI E RELAZIONI 1. Insiemi e operazioni su di essi Il concetto di insieme è primitivo ed è sinonimo di classe, totalità. Sia A un insieme di elementi qualunque. Per indicare che a è un elemento di

Dettagli

DISPENSE SU TEORIA DEGLI INSIEMI E NUMERI

DISPENSE SU TEORIA DEGLI INSIEMI E NUMERI FACOLTA' DI ECONOMIA UNIVERSITA DELLA CALABRIA Corso di Modelli Matematici per l Azienda a.a. 2011-2012 DISPENSE SU TEORIA DEGLI INSIEMI E NUMERI Prof. Fabio Lamantia INSIEMI INSIEME= gruppo di oggetti

Dettagli

Indice. NUMERI REALI Mauro Saita Versione provvisoria. Ottobre 2017.

Indice. NUMERI REALI Mauro Saita   Versione provvisoria. Ottobre 2017. NUMERI REALI Mauro Saita e-mail: maurosaita@tiscalinet.it Versione provvisoria. Ottobre 2017. Indice 1 Numeri reali 2 1.1 Il lato e la diagonale del quadrato sono incommensurabili: la scoperta dei numeri

Dettagli

ESERCITAZIONE 7 : FUNZIONI

ESERCITAZIONE 7 : FUNZIONI ESERCITAZIONE 7 : FUNZIONI e-mail: tommei@dm.unipi.it web: www.dm.unipi.it/ tommei Ricevimento: Martedi 16-18 Dipartimento di Matematica, piano terra, studio 126 20 Novembre 2012 Corso di recupero Docente:

Dettagli

ELEMENTI DI TEORIA DEGLI INSIEMI

ELEMENTI DI TEORIA DEGLI INSIEMI ELEMENTI DI TEORIA DEGLI INSIEMI Diamo per note le nozioni fondamentali di teoria degli insiemi, come: la nozione di appartenenza di un elemento a un insieme (x A), la nozione di insieme vuoto (indicato

Dettagli

PROGRAMMA DETTAGLIATO DI MATEMATICA DISCRETA A.A. 2003/04 PROF. SSA FARINOLA \ VERROCA

PROGRAMMA DETTAGLIATO DI MATEMATICA DISCRETA A.A. 2003/04 PROF. SSA FARINOLA \ VERROCA PROGRAMMA DETTAGLIATO DI MATEMATICA DISCRETA A.A. 2003/04 PROF. SSA FARINOLA \ VERROCA 1. LOGICA MATEMATICA E STUDIO DELLE PROPOSIZIONI 2. VALORI DI VERITA 3. LOGICA PROPOSIZIONALE Proposizioni Atomiche

Dettagli

1.1 Esempio. Siano A = {11, f, β,,, } e B = {x, 11,,,, α, γ} e le seguenti leggi:

1.1 Esempio. Siano A = {11, f, β,,, } e B = {x, 11,,,, α, γ} e le seguenti leggi: 1. Relazioni. 1 Dati due insiemi possiamo stabilire in modo del tutto arbitrario una legge che associ elementi di un insieme ad elementi dell altro insieme. Ovviamente, data la totale arbitrarietà di tale

Dettagli

Elementi di Algebra e di Matematica Discreta Insiemi, relazioni

Elementi di Algebra e di Matematica Discreta Insiemi, relazioni Elementi di Algebra e di Matematica Discreta Insiemi, relazioni Cristina Turrini UNIMI - 2015/2016 Cristina Turrini (UNIMI - 2015/2016) Elementi di Algebra e di Matematica Discreta 1 / 65 index Matematica

Dettagli

LEZIONE N 3 METODI E TECNOLOGIE PER L INSEGNAMENTO DELLA MATEMATICA

LEZIONE N 3 METODI E TECNOLOGIE PER L INSEGNAMENTO DELLA MATEMATICA LEZIONE N 3 METODI E TECNOLOGIE PER L INSEGNAMENTO DELLA MATEMATICA GLI INSIEMI NUMERICI N Numeri naturali Z : Numeri interi Q : Numeri razionali R : Numeri reali Q A meno di isomorfismi!!! R 5 π 2 3 11

Dettagli

AL210 - Appunti integrativi - 6

AL210 - Appunti integrativi - 6 L210 - ppunti integrativi - 6 Prof. Stefania Gabelli - a.a. 2016-2017 Divisibilità in un dominio Per definire in un anello commutativo unitario una buona teoria della divisibilità, è conveniente assumere

Dettagli

Indice. 1. Cenni di logica 2. Elementi di teoria degli insiemi 3. Relazioni e funzioni 4. Strutture algebriche. 1 Cenni di logica

Indice. 1. Cenni di logica 2. Elementi di teoria degli insiemi 3. Relazioni e funzioni 4. Strutture algebriche. 1 Cenni di logica Indice 1 Cenni di logica 2 Elementi di teoria degli insiemi 3 Relazioni e funzioni 4 Strutture algebriche Cenni di logica Dispongo queste quattro carte da gioco davanti a voi, due coperte e due scoperte

Dettagli

Elementi di Algebra e di Matematica Discreta Insiemi, relazioni

Elementi di Algebra e di Matematica Discreta Insiemi, relazioni Elementi di Algebra e di Matematica Discreta Insiemi, relazioni Cristina Turrini UNIMI - 2017/2018 Cristina Turrini (UNIMI - 2017/2018) Elementi di Algebra e di Matematica Discreta 1 / 63 index Matematica

Dettagli

4.1 Le relazioni. Obiettivi di apprendimento: Relazioni, dati e previsioni 6T, 7T, 8T, 10Q.

4.1 Le relazioni. Obiettivi di apprendimento: Relazioni, dati e previsioni 6T, 7T, 8T, 10Q. 4.1 Le relazioni Obiettivi di apprendimento: Relazioni, dati e previsioni 6T, 7T, 8T, 10Q. Nel linguaggio quotidiano: In relazione a quanto hai detto credo di poter essere d accordo La mia relazione con

Dettagli

Capitolo 1. Gli strumenti. 1.1 Relazioni

Capitolo 1. Gli strumenti. 1.1 Relazioni Capitolo 1 Gli strumenti Consideriamo un insieme X. In geometria siamo abituati a considerare insiemi i cui elementi sono punti ad esempio, la retta reale, il piano cartesiano. Più in generale i matematici

Dettagli

Introduzione alla TEORIA DEI NUMERI

Introduzione alla TEORIA DEI NUMERI Renato Migliorato Introduzione alla teoria dei numeri Introduzione alla TEORIA DEI NUMERI Avvertenza: questo è l inizio di un testo pensato come supporto al corso di Matematiche Complementari I ed ancora

Dettagli

TEORIA degli INSIEMI 1

TEORIA degli INSIEMI 1 TORIA degli INSIMI 1 INDIC Premessa... 3 1 - Generalità.... 4 2 - Parte di un insieme. Insieme delle parti di un insieme.... 5 3 - Unione, intersezione, complementare..... 6 4 - Prodotto di insiemi. Relazioni...

Dettagli

$marina/did/md $marina/did/mdis03/ $marina/did/mdis03/

$marina/did/md   $marina/did/mdis03/   $marina/did/mdis03/ 1 2 Avvertenze Matematica Discreta (elementi) E-O CdL Informatica 3 dicembre 2003 Queste fotocopie sono distribuite solo come indicazione degli argomenti svolti a lezione e NON sostituiscono in alcun modo

Dettagli

Facoltà di Scienze MFN, Università di Cagliari Analisi Matematica 1 (Informatica), a.a. 2006/07. Notazioni, richiami sulla teoria degli insiemi.

Facoltà di Scienze MFN, Università di Cagliari Analisi Matematica 1 (Informatica), a.a. 2006/07. Notazioni, richiami sulla teoria degli insiemi. Facoltà di Scienze MFN, Università di Cagliari Analisi Matematica 1 (Informatica, a.a. 2006/07 Notazioni, richiami sulla teoria degli insiemi. Introduzione e richiami di alcune notazioni (simboli matematiche.

Dettagli

$marina/did/md

$marina/did/md Matematica Discreta (elementi) E-O CdL Informatica Strutture algebriche 3 dicembre 2003 Marina Cazzola (marina@matapp.unimib.it) Dipartimento di Matematica e Applicazioni Università di Milano Bicocca Matematica

Dettagli

Insiemi numerici: numeri reali

Insiemi numerici: numeri reali Insiemi numerici: numeri reali Hynek Kovarik Università di Brescia Analisi Matematica 1 Hynek Kovarik (Università di Brescia) I numeri reali Analisi Matematica 1 1 / 29 R è un CAMPO R è dotato delle operazioni

Dettagli

Indice. 1 Cenni di logica. 2 Elementi di teoria degli insiemi. 3 Relazioni e funzioni. 4 Strutture algebriche

Indice. 1 Cenni di logica. 2 Elementi di teoria degli insiemi. 3 Relazioni e funzioni. 4 Strutture algebriche Indice 1 Cenni di logica 2 Elementi di teoria degli insiemi 3 Relazioni e funzioni 4 Strutture algebriche Silvia Pianta - Laura Montagnoli Geometria I - Prerequisiti - UCSC A.A. 2015/2016 1 / 36 1. Cenni

Dettagli

Esercizi di Logica Matematica (parte 2)

Esercizi di Logica Matematica (parte 2) Luca Costabile Esercizio 317 Esercizi di Logica Matematica (parte 2) Dimostro per induzione sulla costruzione del termine : - Supponiamo che sia una variabile :, - Supponiamo che sia una variabile diversa

Dettagli

RELAZIONI, FUNZIONI, INSIEMI NUMERICI. 1. Relazioni. Siano X e Y due insiemi non vuoti. Si definisce il prodotto cartesiano

RELAZIONI, FUNZIONI, INSIEMI NUMERICI. 1. Relazioni. Siano X e Y due insiemi non vuoti. Si definisce il prodotto cartesiano RELAZIONI, FUNZIONI, INSIEMI NUMERICI C. FRANCHI 1. Relazioni Siano X e Y due insiemi non vuoti. Si definisce il prodotto cartesiano X Y := {(x, y) x X, y Y } dove con (x, y) si intende la coppia ordinata

Dettagli

DIARIO DEL CORSO DI ALGEBRA A A.A. 2015/16 DOCENTE: ANDREA CARANTI

DIARIO DEL CORSO DI ALGEBRA A A.A. 2015/16 DOCENTE: ANDREA CARANTI DIARIO DEL CORSO DI ALGEBRA A A.A. 2015/16 DOCENTE: ANDREA CARANTI Lezione 1. martedí 16 febbraio 2015 (2 ore) Presentazione del corso. Esercizio: cosa succede a moltiplicare per 2, 3, 4,... il numero

Dettagli

01 - Elementi di Teoria degli Insiemi

01 - Elementi di Teoria degli Insiemi Università degli Studi di Palermo Scuola Politecnica Dipartimento di Scienze Economiche, Aziendali e Statistiche Appunti del corso di Matematica 01 - Elementi di Teoria degli Insiemi Anno Accademico 2015/2016

Dettagli

Elementi di teoria degli insiemi e funzioni tra insiemi

Elementi di teoria degli insiemi e funzioni tra insiemi Elementi di teoria degli insiemi e funzioni tra insiemi 1 / 50 Il concetto di insieme 2 / 50 Si considera il concetto di insieme come primitivo, cioè non riconducibile a nozioni più elementari. Più precisamente:

Dettagli

Matematica. Corso integrato di. per le scienze naturali ed applicate. Materiale integrativo. Paolo Baiti 1 Lorenzo Freddi 1

Matematica. Corso integrato di. per le scienze naturali ed applicate. Materiale integrativo. Paolo Baiti 1 Lorenzo Freddi 1 Corso integrato di Matematica per le scienze naturali ed applicate Materiale integrativo Paolo Baiti 1 Lorenzo Freddi 1 1 Dipartimento di Matematica e Informatica, Università di Udine, via delle Scienze

Dettagli

Vi prego di segnalare ogni inesattezza o errore tipografico a Spazi metrici, spazi topologici, applicazioni continue ed omeomorfismi

Vi prego di segnalare ogni inesattezza o errore tipografico a Spazi metrici, spazi topologici, applicazioni continue ed omeomorfismi ESERCIZI DI GEOMETRIA 3 Vi prego di segnalare ogni inesattezza o errore tipografico a mll@unife.it Spazi metrici, spazi topologici, applicazioni continue ed omeomorfismi Esercizio 1. Sia (X, d) uno spazio

Dettagli

2. I numeri reali e le funzioni di variabile reale

2. I numeri reali e le funzioni di variabile reale . I numeri reali e le funzioni di variabile reale Introduzione Il metodo comunemente usato in Matematica consiste nel precisare senza ambiguità i presupposti, da non cambiare durante l elaborazione dei

Dettagli

Appunti del corso Fondamenti di Analisi e Didattica

Appunti del corso Fondamenti di Analisi e Didattica Appunti del corso Fondamenti di Analisi e Didattica (PAS 2013-2014, Classe A049, docente prof. L. Chierchia) redatti da: A. Damiani, V. Pantanetti, R. Caruso, M. L. Conciatore, C. De Maggi, E. Becce e

Dettagli

Teoria degli insiemi

Teoria degli insiemi Teoria degli insiemi Giovanni Panti 10 marzo 1998 N.B. Questi appunti sono disponibili in ftp://ftp.dimi.uniud.it/pub/panti/notes/st.dvi. 1 Linguaggio ed assiomi Come teoria al primo ordine, il linguaggio

Dettagli

Geometria Algebrica A.A Esercizi. Insiemi algebrici affini, Insiemi algebrici irriducibili.

Geometria Algebrica A.A Esercizi. Insiemi algebrici affini, Insiemi algebrici irriducibili. Geometria Algebrica A.A. 2014 2015 Esercizi Insiemi algebrici affini, Insiemi algebrici irriducibili. Negli esercizi si suppone, se non scritto al contrario, che il campo k sia algebricamente chiuso di

Dettagli

Insiemi di numeri reali

Insiemi di numeri reali Capitolo 1 1.1 Elementi di teoria degli insiemi Se S è una totalità di oggetti x, si dice che S è uno spazio avente gli elementi x. Se si considerano alcuni elementi di S si dice che essi costituiscono

Dettagli

Algebra. Mattia Natali. 7 luglio 2011

Algebra. Mattia Natali. 7 luglio 2011 Algebra Mattia Natali 7 luglio 2011 Indice 1 Relazioni 3 1.1 Definizioni........................................... 3 1.1.1 Prodotto cartesiano.................................. 3 1.1.2 Relazione........................................

Dettagli

Indice analitico. B Base, 43 Bezout identità di, 15 per polinomi, 39 Binomio teorema del di Newton, 14, 35 ingenuo, 18, 45

Indice analitico. B Base, 43 Bezout identità di, 15 per polinomi, 39 Binomio teorema del di Newton, 14, 35 ingenuo, 18, 45 Indice analitico A Abeliano gruppo, 24 Algebrico(a) elemento, 46 estensione, 46 Algoritmo di Euclide, 15 di Euclide per polinomi, 39 Anello(i), 33 commutativo, 33 con unità, 33 di polinomi, 36 generato,

Dettagli

M.P. Cavaliere ELEMENTI DI MATEMATICA E LOGICA MATEMATICA DISCRETA INSIEMI

M.P. Cavaliere ELEMENTI DI MATEMATICA E LOGICA MATEMATICA DISCRETA INSIEMI M.P. Cavaliere ELEMENTI DI MATEMATICA E LOGICA MATEMATICA DISCRETA INSIEMI Assumiamo come primitivo il concetto di insieme e quello di appartenenza di un elemento a un insieme. La notazione x A indica

Dettagli

TEORIA DEI NUMERI. 1. Numeri naturali, interi relativi e principi d induzione

TEORIA DEI NUMERI. 1. Numeri naturali, interi relativi e principi d induzione TEORIA DEI NUMERI. Numeri naturali, interi relativi e principi d induzione Le proprietà dell insieme N = {0,, 2, } dei numeri naturali possono essere dedotte dai seguenti assiomi di Peano:. C è un applicazione

Dettagli

Altri esercizi assegnati negli esoneri degli scorsi anni

Altri esercizi assegnati negli esoneri degli scorsi anni Altri esercizi assegnati negli esoneri degli scorsi anni Esercizi sul principio di induzione 1. Utilizzando il principio di induzione si dimostri che, per ogni numero naturale positivo n, risulta: Esercizi

Dettagli

Matematica Discreta Classe 1 Dott. C. Delizia 15 Luglio 2008

Matematica Discreta Classe 1 Dott. C. Delizia 15 Luglio 2008 Matematica Discreta Classe 1 Dott. C. Delizia 15 Luglio 2008 Cognome Nome Matricola Esercizio 1. Siano S, T e V. Motivando la risposta, si stabilisca se è vero che S V T V = S T. Esercizio 2. Utilizzando

Dettagli

Ordinali e cardinali Teoria assiomatica non formalizzata degli insiemi a cura di Franco Montagna

Ordinali e cardinali Teoria assiomatica non formalizzata degli insiemi a cura di Franco Montagna Ordinali e cardinali Teoria assiomatica non formalizzata degli insiemi a cura di Franco Montagna Avvertenza. Queste note costituiscono il contenuto di una breve lezione sugli insiemi e in particolare su

Dettagli

Programma definitivo del corso MATEMATICA DISCRETA C.L.T. Informatica a.a. 2016/17

Programma definitivo del corso MATEMATICA DISCRETA C.L.T. Informatica a.a. 2016/17 Programma definitivo del corso MATEMATICA DISCRETA C.L.T. Informatica a.a. 2016/17 DOCENTE: Luigia Di Terlizzi, Studio n. 19, 3 o piano, Dip. di Matematica anno di corso: primo, semestre: primo N o ore

Dettagli

CORSO DI MATEMATICA DISCRETA I (ALGEBRA) Prof. Paolo Papi ESERCIZI

CORSO DI MATEMATICA DISCRETA I (ALGEBRA) Prof. Paolo Papi ESERCIZI CORSO DI MATEMATICA DISCRETA I (ALGEBRA) Prof. Paolo Papi ESERCIZI ). Siano A, B, C insiemi. Provare che (A B) C = A (B C) A (B C) =(A B) (A C) C(A B) =C(A) C(B). 2). Definiamo la differenza simmetrica

Dettagli

ELEMENTI DI ALGEBRA Logica, Insiemi, Funzioni, Relazioni, Ordinamenti, Reticoli LOGICA

ELEMENTI DI ALGEBRA Logica, Insiemi, Funzioni, Relazioni, Ordinamenti, Reticoli LOGICA ELEMENTI DI ALGEBRA Logica, Insiemi, Funzioni, Relazioni, Ordinamenti, Reticoli LOGICA 1. Cos è una proposizione logica? E una frase che possa essere qualificata come vera o falsa. Tali due valori vengono

Dettagli

Università degli Studi di Palermo Facoltà di Economia Dip. di Scienze Statistiche e Matematiche Silvio Vianelli

Università degli Studi di Palermo Facoltà di Economia Dip. di Scienze Statistiche e Matematiche Silvio Vianelli Università degli Studi di Palermo Facoltà di Economia Dip di Scienze Statistiche e Matematiche Silvio Vianelli Appunti del corso di Matematica Generale Gli Insiemi Anno Accademico 2009/2010 V Lacagnina

Dettagli

Il linguaggio degli insiemi

Il linguaggio degli insiemi Corso di Geometria per Fisica Il linguaggio degli insiemi 1 Le principali notazioni e definizioni della teoria degli insiemi. Iniziamo dicendo che non intendiamo dare a questo capitolo altro significato

Dettagli

Problemi e algoritmi. Il che cosa e il come. F. Damiani - Alg. & Lab. 04/05 (da U. de' Liguoro - Alg. & Spe. 03/04)

Problemi e algoritmi. Il che cosa e il come. F. Damiani - Alg. & Lab. 04/05 (da U. de' Liguoro - Alg. & Spe. 03/04) Problemi e algoritmi Il che cosa e il come Il che cosa ed il come Problema: descrive che cosa si deve calcolare Specifica (di un algoritmo): descrive che cosa calcola un algoritmo Algoritmo: descrive come

Dettagli

ALGEBRA e LOGICA CdL in Ingegneria Informatica prof. Fabio GAVARINI a.a Sessione Estiva, II appello Esame scritto del 18 Luglio 2017

ALGEBRA e LOGICA CdL in Ingegneria Informatica prof. Fabio GAVARINI a.a Sessione Estiva, II appello Esame scritto del 18 Luglio 2017 ALGEBRA e LOGICA CdL in Ingegneria Informatica prof. Fabio GAVARINI a.a. 2016 2017 Sessione Estiva, II appello Esame scritto del 18 Luglio 2017.......................................................................

Dettagli

L aritmetica degli insiemi infiniti Parte I

L aritmetica degli insiemi infiniti Parte I L aritmetica degli insiemi infiniti Parte I Stefano Baratella Versione L A TEX realizzata in collaborazione con Tullio Garbari 1 Prerequisiti La relazione di equipotenza tra insiemi. Definizione 1. Si

Dettagli