Tommaso Cortopassi- Settimana 6-8 (da 4 Aprile a 21 Aprile) Esercizio 1 Mostrare che A (B C) = (A B) (A C) come insiemi ordinati.

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "Tommaso Cortopassi- Settimana 6-8 (da 4 Aprile a 21 Aprile) Esercizio 1 Mostrare che A (B C) = (A B) (A C) come insiemi ordinati."

Transcript

1 Tommaso Cortopassi- Settimana 6-8 (da 4 Aprile a 2 Aprile) Esercizio Mostrare che A (B C) = (A B) (A C) come insiemi ordinati. Intanto fissiamo i termini. Definiamo somma e prodotto nel seguente modo: A B = {(d, x) (d A x = 0) (d B x = )} La nuova relazione d ordine che introdurremo sarà che (d, x ) < (d 2, x 2 ) se e solo se (d A d 2 B) oppure se d e d 2 appartengono allo stesso insieme, e lì si ha d < d 2. Similmente definiamo il prodotto: A B = A B La relazione d ordine introdotta è detta anti-lessicografica, per cui (a, b) < (a, b ) se e solo se b < B b (b = b a < A a ). A questo punto, vediamo che gli elementi dei due insiemi che vogliamo dimostrare essere isomorfi sono rispettivamente del tipo (a, (d, x)) e ((a, d), x), dove si mantengono le lettere usate nella definizione, per evitare confusione. La funzione che manda una scrittura nell altra è chiaramente biunivoca, basta mostrare che preserva l ordine. Sia (a, (d, x)) < (a, (d, x )). Allora, per come abbiamo definito il prodotto, dovrà essere (d, x) < (d, x ) oppure (d, x) = (d, x ) a < a. Verifichiamo che, in tutti i casi possibili, l ordine si mantiene nell immagine. Caso : (d, x) < (d, x ) Abbiamo due sottocasi: d, d B oppure d, d C, e d < d Allora nell immagine avrò ((a, d), x) < ((a, d ), x ), infatti (a, d) e (a, d ) appartengono allo stesso insieme, e posso concludere in base alla relazione anti-lessicografica (poichè per ipotesi d < d ). d B d C. In questo caso vale ancora la disuguaglianza, perchè (a, d) A B e (a, d ) A C, e concludo per la relazione d ordine introdotta con. Caso 2:(d, x) = (d, x ) a < a Ripetendo il ragionamento fatto nel primo sottocaso del punto, considero la relazione anti-lessicografica fra (a, d) e (a, d ) (visto che entrambi appartengono a A B o a A C) e ottengo la disuguaglianza osservando che d = d e a < a. Allora la funzione preserva l ordine e ho la tesi. P.S. Nella dimostrazione si è usato sempre (o quasi) il simbolo <, senza specificare a quale relazione ci si riferisse in particolare, ma dovrebbe essere chiaro dal contesto.

2 Esercizio 2 Se n, m ω, allora n m = n + m e n m = n m. La prima è banale, infatti n m = {(a, t) (a n t = 0) (a m t = )} e un isomorfismo potrebbe essere ad esempio quello che manda (a, t) in a se t = 0, in a + n se t =. Il secondo caso è più o meno analogo, solo che dato l ordine anti-lessicografico, l isomorfismo dovrà mandare (x, y) n m in n y + x per avere la biunivocità e preservare l ordine. Esercizio 3 Exp(B, A) ben ordinato A, B ben ordinati. Intanto notiamo che Exp(B, A) = (F un 0 (A, B), <), dove l insieme è quello delle funzioni da A a B a supporto finito e la relazione d ordine è quella della massima differenza. Fisso ã A e considero il sottoinsieme X = {f Exp(B, A) f(ã) 0 (f(a) = 0 a ã)} Sia ora Y un sottoinsieme di B. Sicuramente posso considerare il sottoinsieme di X dato da X = {f Exp(B, A) f(ã) 0 (f(ã) Y ) (f(a) = 0 a ã)}. Per ipotesi esiste il minimo di X, diciamo g, per cui si ha che g(ã) < f(ã) per ogni f X. Allora g(ã) è il minimo di Y. Un ragionamento simile lo faccio per A. Se A non fosse ben ordinato avrei una catena discendente infinita, del tipo {a > a 2 > a 3... }. Allora basterebbe prendere le funzioni caratteristiche degli a j per avere un assurdo, in quanto sarebbe {χ a > χ a2 > χ a3 >... } catena discendente infinita, assurdo poichè per ipotesi Exp(B, A) è ben ordinato. Esercizio 4 Trova sottoinsiemi di Q isomorfi a: )ω ω 2)ω ω 3)Exp(ω, ω) (in realtà qui troverò un sottoinsieme di ω) ) Considero il sottoinsieme di Q dato da A = { /n n ω {0}} { /n n ω {0}}. Basta mandare gli elementi /n del primo in elementi del tipo (n, 0) e analogamente mandare quelli del secondo insieme in elementi del tipo (n, ) per avere l isomorfismo cercato. 2)Considero il sottoinsieme di Q dato da B = m ω {0} {m /n n ω {0}}. Per avere l isomorfismo voluto, basta mandare gli elementi del tipo (m /n) in (n, m). 3)Sappiamo che exp(ω, ω) = ω, dove gli elementi di ω sono del tipo (0, 0,..., f(b ),..., f(b 2 ),..., f(b k ), 0, 0,... ), con gli f(b j ) al posto j-esimo. f Exp(ω, ω) e Supp(f) = {b < b 2 < b 3 < < b k }, mentre la relazione d ordine è come di consueto quella anti-lessicografica. Allora vediamo che la funzione θ che manda f Exp(ω, ω) in ω nel modo descritto è un isomorfismo. Cerchiamo di trovare un isomorfismo fra ω e un sottoinsieme di Q per concludere. Considero allora, per ogni f, il numero x f = p +f(b) p +f(b2) 2... p +f(b k), dove p j è il j-esimo numero primo, e k 2

3 gli f(b i ) sono i valori presenti nella componente i-esima del vettore corrispondente a f tramite l isomorfismo θ visto all inizio fra Exp(ω, ω) e. Considero Im(φ) ω e la relazione d ordine anti-lessicografica sugli esponenti dei numeri primi nella fattorizzazione di x Im(φ). Chiaramente ho una bigezione, e l ordine è mantenuto, perciò l isomorfismo cercato è dato dalla composizione di θ e φ. P.S. Nel secondo punto ho considerato ω senza lo 0, ma l ho fatto solo per comodità, tanto non cambia nulla (dove nelle formule è scritto n basterebbe mettere + n). Esercizio 5 Se A R è ben ordinato, allora A ω. Supponiamo che sia A > ℵ 0 e che sia A ben ordinato. Allora l insieme stesso avrà un minimo a. Allora avremo A [a, + ), e in particolare avrò che A = n ω (A [a + n, a + n + )). Visto che la cardinalità di A è più che numerabile, almeno uno di tali insiemi dovrà contenere un numero più che numerabile di elementi di A. Sia X = [a + k, a + k + ) tale insieme. Quindi, in particolare, A X > ℵ 0. Considero il segmento iniziale A 0 = A [a, a + k + ]. Vi sono ora due possibilità: A 0 si lascia scrivere come A a0 per qualche a 0 A 0 non si lascia scrivere come A a0 per qualche a 0 Ma la seconda ipotesi porterebbe ad un assurdo, in quanto un insieme A è ben ordinato se e solo se i suoi segmenti iniziali si scrivono come A a0 per qualche a 0. Considero allora A = A [a, a 0 ]. A questo punto basta ripetere il ragionamento, infatti anche A è segmento iniziale e si deve lasciar scrivere come A a per qualche a. Allora in ogni caso cado in un assurdo: o perchè a un certo punto non trovo un a j siffatto, o perchè alla fine avrò una catena discendente infinita data da {a 0 > a > a 2 >... }. Esercizio 6 A, B R ben ordinati, allora A + B = {a + b a A b B} è ben ordinato Voglio mostrare che non esiste una catena infinitamente lunga in A + B. Sia ā + b un elemento di A + B, voglio mostrare che a partire da tale elemento ogni catena ā + b > a + b > a 2 + b 2 >... termina dopo un numero finito di passi. Notiamo che essendo a k + b k > a k+ + b k+, allora dovrà essere a k > a k+ b k > b k+. Allora se esistesse una catena discendente infinita, potrei considerare gli elementi della catena del tipo a + b > a + b 2 > a + b 3 >... con a fissato. Visto che A è ben ordinato per ipotesi, considerando gli elementi {a a+b k appartenente alla catena considerata} avrò una certa catena discendente di lunghezza finita in A. Allora ci deve essere almeno un elemento a nella catena per cui gli elementi del tipo a + b j sono infiniti, altrimenti la catena che parte da ā+ b che ho supposto essere infinita sarebbe finita, in quanto unione 3

4 finita di insiemi con un numero finito di elementi. Ma la catena a+b > a+b 2 > a + b 3 >... mi dà naturalmente la catena infinita b > b 2 > b 3..., assurdo perchè B è ben ordinato per ipotesi. Esercizio 7 Un insieme transitivo di ordinali è un ordinale L unica cosa da vedere è che, detto A l insieme transitivo di ordinali considerato, esso è bene ordinato dalla relazione di appartenenza. Sicuramente l ordine è totale, per tricotomia degli ordinali. In generale, dato un sottoinsieme B di A, scelgo β B ordinale. Se β risulta essere il minimo di B ho finito, altrimenti significa che esiste α B tale che α β. Perciò = B β β. Ma essendo β ben ordinato, avrò che esiste il minimo γ di B β, che risulta essere proprio il minimo di B. Infatti per ogni elemento α di B ho tre possibilità (grazie alla tricotomia): α β Allora α (β B) e abbiamo detto che essendo γ il minimo di tale insieme, sarà γ α. α = β Ovvio, γ β = α β α Allora γ β α e per transitività degli ordinali γ α. Esercizio 8 ) La collezione di tutti gli ordinali non è un insieme; 2) [A] = {B B = A }, con A non vuoto, non è un insieme.(non userò ZFC, ma la teoria delle classi, in particolare l assioma di rimpiazzamento sarà cruciale) )Sia U la collezione di tutti gli ordinali. Visto che un elemento di un ordinale è un ordinale, abbiamo che α, β U α β U α U. Ma allora U se fosse un insieme sarebbe un insieme transitivo di ordinali e quindi un ordinale, da cui U U, assurdo. 2)Se [A] fosse un insieme, potrei considerare una funzione classe che va da [A] all insieme universale U. Fissiamo B insieme di cardinalità A. Allora y U abbiamo che B {y} [A]. Mandiamo tutti gli elementi di questa forma in y U, e il resto lo mandiamo in, ad esempio. Per rimpiazzamento l immagine di tale funzione deve essere un insieme, ma essendo essa surgettiva, dovrebbe essere U insieme, assurdo perchè è la classe universale che sappiamo essere una classe propria. Dunque [A] non è un insieme. Esercizio 9 Se α è un ordinale e β è il suo massimo, allora α = β {β} = β +. E banale vedere che α β {β}, perchè per ogni γ α si ha che γ β oppure γ = β. Invece per dimostrare che β {β} α si sfrutta il fatto che β α β α. 4

5 Esercizio 0 )ω è il più piccolo ordinale infinito; 2)ω è il più piccolo ordinale infinito più che numerabile. )Supponiamo di avere α ordinale infinito con α < ω. Allora dovrebbe essere α = ω n segmento iniziale di ω. Ma tale segmento iniziale sarebbe finito, assurdo. Allora per tricotomia concludo che ω α. 2)Supponiamo di avere α ordinale infinito più che numerabile, e supponiamo che sia α < ω. Allora α dovrebbe essere isomorfo a un segmento iniziale di ω, ma ogni segmento iniziale di ω appartiene ad ω, essendo esso un ordinale. Per come è definito ω, α sarebbe isomorfo a un ordinale al più numerabile, assurdo. Dunque per tricotomia dovrà essere ω α. Esercizio Zorn Zermelo L idea è, dato un generico insieme A, creare un apposita struttura che soddisfi le ipotesi del lemma di Zorn e trovare un elemento massimale in tale struttura che risulti essere l insieme di partenza dotato di un buon ordine. Considero allora B = {(C, <) C A e < è un buon ordine}. Posso dotare B di un ordine parziale, per cui (C, < ) < B (C 2, < 2 ) se e solo se C è un segmento iniziale di C 2, oppure i 2 sono uguali (come insiemi ben ordinati). L insieme B sarà non vuoto, in quanto ad esempio tutti i singoletti {a} con a A vi appartengono (essendo evidentemente bene ordinati). Adesso considero X B tale che la relazione d ordine < B introdotta precedentemente sia una relazione d ordine totale (X sarà la nostra catena). Abbiamo visto a lezione che possiamo considerare: Y = C e < Y = (C,< C ) X (C,< C ) X ed ottenere che (Y, < Y ) è ancora un ordine totale. In particolare (Y, < Y ) sarà un buon ordine in quanto unione di buoni ordini che sono uno segmento iniziale dell altro. Allora affermo che (Y, < Y ) è un maggiorante per X, e così soddisfo l ipotesi di Zorn. Infatti per ogni elemento (C, < C ) X, abbiamo (C, < C ) < B (Y, < Y ). Questo perchè, per costruzione, ogni C X è un segmento iniziale di Y o è uguale a Y stesso. Allora l ipotesi del lemma di Zorn è soddisfatta, essendo X una generica catena di B, dunque ho un elemento massimale X B. Voglio mostrare che tale elemento è (A, < A ), con < A che fornisce quindi un buon ordine. Se tale elemento massimale non fosse tutto l insieme, potrei infatti considerare X = X {x} e < X =< X {( x, x) x X}, con x A \ X. Se ( X, < X) era ben ordinato, allora lo sarà pure ( X, < X ), e è facile vedere che x sarà il suo elemento massimo. In particolare avrei allora X, X B in quanto ben ordinati, inoltre X < X B in quanto X = X x, e tuttavia X X, e questo contraddice il fatto che X deve essere massimale. Perciò dovrà essere X = A, e ho la tesi. < C 5

Elementi di Teoria degli Insiemi

Elementi di Teoria degli Insiemi Elementi di Teoria degli Insiemi 2016/17 Esercizi di Giacomo Bertolucci (matr. 519430) Lezioni 7-10 Lezione 7 Esercizio 1. Dimostrare che, se A R con A ℵ 0, allora R A è denso in R. Se così non fosse,

Dettagli

Dimostrazione: Data una allora non appartiene all immagine. Se per

Dimostrazione: Data una allora non appartiene all immagine. Se per Attenzione: Questi appunti sono la trascrizione delle lezioni del corso di ETI tenuto nel 2014 dal Prof. Di Nasso, questo file contiene le dimostrazioni svolte ma avendo perso il quaderno subito prima

Dettagli

Esercizi. t.c. biunivoca e preserva l ordine, cioe e l isomorfismo cercato.

Esercizi. t.c. biunivoca e preserva l ordine, cioe e l isomorfismo cercato. Esercizi Esercizio 5.1: Se A = A e B = B allora A B = A B Dim: Per ipotesi esistono due isomorfismi f :{ A A e g : B B. Allora la funzione ψ : A B A B (a, 0) (f(a), 0) t.c. e (b, 1) (g(b), 1) biunivoca

Dettagli

Istituzioni di Logica Matematica

Istituzioni di Logica Matematica Istituzioni di Logica Matematica Sezione 12 del Capitolo 3 Alessandro Andretta Dipartimento di Matematica Università di Torino A. Andretta (Torino) Istituzioni di Logica Matematica AA 2013 2014 1 / 25

Dettagli

ESERCIZI ELEMENTI DI TEORIA DEGLI INSIEMI Foglio I

ESERCIZI ELEMENTI DI TEORIA DEGLI INSIEMI Foglio I ESERCIZI ELEMENTI DI TEORIA DEGLI INSIEMI Foglio I 1. Esercizio Dimostrare la definizione di Kuratowski della coppia ordinata: (a, b) = {{a}, {a, b}}. Sulla base del Principio del linguaggio questa formula

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

APPUNTI DI TEORIA DEGLI INSIEMI. L assioma della scelta e il lemma di Zorn Sia {A i } i I

APPUNTI DI TEORIA DEGLI INSIEMI. L assioma della scelta e il lemma di Zorn Sia {A i } i I APPUNTI DI TEORIA DEGLI INSIEMI MAURIZIO CORNALBA L assioma della scelta e il lemma di Zorn Sia {A i } i I un insieme di insiemi. Il prodotto i I A i è l insieme di tutte le applicazioni α : I i I A i

Dettagli

ELEMENTI DI LOGICA MATEMATICA LEZIONE VII

ELEMENTI DI LOGICA MATEMATICA LEZIONE VII ELEMENTI DI LOGICA MATEMATICA LEZIONE VII MAURO DI NASSO In questa lezione introdurremo i numeri naturali, che sono forse gli oggetti matematici più importanti della matematica. Poiché stiamo lavorando

Dettagli

Se con e indichiamo l elemento neutro di in G, e deve appartenere ad H.

Se con e indichiamo l elemento neutro di in G, e deve appartenere ad H. Abbiamo visto a lezione che una sottoalgebra B di un algebra A è identificabile con l immagine di un omomorfismo iniettivo a valori in A. Una sottoalgebra B di A è in particolare un sottoinsieme non vuoto

Dettagli

Elementi di Teoria degli Insiemi

Elementi di Teoria degli Insiemi Elementi di Teoria degli Insiemi 2016/17 Esercizi di Giacomo Bertolucci (matr. 519430) Lezioni 1-6 Lezione 1 Non sono stati lasciati esercizi. Lezione 2 Esercizio 1. Sia: Dimostrare che: (a, b) = {{a},

Dettagli

ELEMENTI DI TEORIA DEGLI INSIEMI Dispensa 5. Mauro Di Nasso

ELEMENTI DI TEORIA DEGLI INSIEMI Dispensa 5. Mauro Di Nasso ELEMENTI DI TEORIA DEGLI INSIEMI Dispensa 5 Mauro Di Nasso 1. BUONI ORDINI 3 Buoni ordini e ordinali 1. Buoni ordini Con questa lezione iniziamo lo studio degli insiemi bene ordinati. Si tratta di un

Dettagli

Ultrafiltri e metodi non standard

Ultrafiltri e metodi non standard Ultrafiltri e metodi non standard esercizi Giulio Bresciani 1 Ultrafiltri & Topologia Esercizio 1.1. Sia X uno spazio topologico. Allora X è T 2 se e solo se I, U ultrafiltro su I e (x i ) i I X il limite

Dettagli

Alcuni equivalenti dell Assioma della Scelta

Alcuni equivalenti dell Assioma della Scelta Alcuni equivalenti dell Assioma della Scelta Giugno 2010 Gabriele Gullà Sommario Dimostreremo l equivalenza fra l assioma della scelta ed altri enunciati della matematica piú o meno noti. Enunciati: 1)

Dettagli

Esercizi di Elementi di Teoria degli Insiemi, Parte 1 Fabrizio Anelli

Esercizi di Elementi di Teoria degli Insiemi, Parte 1 Fabrizio Anelli Esercizi di Elementi di Teoria degli Insiemi, Parte 1 Fabrizio Anelli Lezione 1, Esercizio 1 Dimostrare che per le coppie di Kuratowski vale che (a, b) = (a, b ) a = a b = b. Perché i due insiemi {{a},

Dettagli

Seconda lezione. Dipartimento di Matematica Università di Salerno

Seconda lezione. Dipartimento di Matematica Università di Salerno Algebra della Logica Seconda lezione Dipartimento di Matematica Università di Salerno http://logica.dmi.unisa.it/lucaspada Scuola AILA 2017 Palazzo Feltrinelli, Gargnano, 20 26 agosto 2017. Completezza

Dettagli

Esercizi. H(b) e tale insieme e dom(r). Sia (a, β) I(a) ; per l assioma della coppia esiste {β} e per unione esiste

Esercizi. H(b) e tale insieme e dom(r). Sia (a, β) I(a) ; per l assioma della coppia esiste {β} e per unione esiste Esercizi Esercizio 3.0: Dimostrare i seguenti fatti usando gli assiomi di ZFC: (a)data una famiglia F non vuota di insiemi, esiste F. (b)data una relazione R,esistono gli insiemi dom(r) e Im(R). (c)sia

Dettagli

ULTRAFILTRI E METODI NONSTANDARD IN TEORIA COMBINATORIA DEI NUMERI

ULTRAFILTRI E METODI NONSTANDARD IN TEORIA COMBINATORIA DEI NUMERI ULTRAFILTRI E METODI NONSTANDARD IN TEORIA COMBINATORIA DEI NUMERI MAURO DI NASSO 1. Filtri e ultrafiltri Iniziamo introducendo le fondamentali nozioni di filtro e ultrafiltro. Definizione 1.1. Un filtro

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

Corso di Laurea in Matematica Geometria 2. Foglio di esercizi n. 1 a.a Soluzioni

Corso di Laurea in Matematica Geometria 2. Foglio di esercizi n. 1 a.a Soluzioni Corso di Laurea in Matematica Geometria 2 Foglio di esercizi n. 1 a.a. 2015-16 Soluzioni Gli esercizi sono presi dal libro di Manetti. Per svolgere questi esercizi, studiare con cura i paragrafi 3.1, 3.2,

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

Tracce di soluzioni di alcuni esercizi di matematica 1 - gruppo 76-93

Tracce di soluzioni di alcuni esercizi di matematica 1 - gruppo 76-93 Tracce di soluzioni di alcuni esercizi di matematica 1 - gruppo 76-93 5. Funzioni continue Soluzione dell Esercizio 76. Osserviamo che possiamo scrivere p() = n (a n + u()) e q() = m (b m + v()) con lim

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

Esercizi lezione 23/3/15, Andrea Vaccaro

Esercizi lezione 23/3/15, Andrea Vaccaro Esercizi lezione 3/3/15, Andrea Vaccaro 31 marzo 015 Proposizione 0.1. Sia A N interno. A è iperinfinito esiste f : A N interna bigettiva. Dimostrazione. Prima di cominciare con la dimostrazione vera e

Dettagli

Aritmetica 2009/10 Compitino 3/11/ x 16 mod 23 3x 2 mod 5

Aritmetica 2009/10 Compitino 3/11/ x 16 mod 23 3x 2 mod 5 Aritmetica 2009/10 Compitino 3/11/2009 1. Trovare le soluzioni intere del sistema 4 x 16 mod 23 3x 2 mod 5 Esempio risoluzione: Cerchiamo di riportarci ad un sistema di congruenze lineari. Calcoliamo l

Dettagli

Dunque Q(x) e vera per ogni x. Sia ora P (y) = x x + y = y + x allora P (0) e vera poiche Q(x) e vera per ogni x. Supponiamo ora vera P (y) e

Dunque Q(x) e vera per ogni x. Sia ora P (y) = x x + y = y + x allora P (0) e vera poiche Q(x) e vera per ogni x. Supponiamo ora vera P (y) e Esercizi Esercizio 4.1: Dimostrare che ω e il piu piccolo insieme bene ordinato infinito, cioe se (A,

Dettagli

Il Teorema Never Two di Vaught

Il Teorema Never Two di Vaught Il Teorema Never Two di Vaught Lorenzo Lami Rosario Mennuni 8 aprile 2014 1 Contesto 1.1 Ipotesi, notazioni e definizioni Ipotesi 1.1. A meno di indicazione contraria, T sarà sempre una teoria: completa,

Dettagli

10. Il gruppo Speciale Lineare SL(V )

10. Il gruppo Speciale Lineare SL(V ) 1 2 3 4 5 6 7 8 9 1 10. Il gruppo Speciale Lineare SL(V ) Siano F un campo e V uno spazio vettoriale di dimensione n su F. Indichiamo con GL(V ) l insieme delle applicazioni lineari biiettive di V in sé.

Dettagli

Teoria degli insiemi

Teoria degli insiemi Teoria degli insiemi Cos è la teoria degli insiemi La teoria degli insiemi è il fondamento della matematica. Cos è la teoria degli insiemi La teoria degli insiemi è il fondamento della matematica. Questa

Dettagli

Elementi di Teoria degli Insiemi

Elementi di Teoria degli Insiemi Esercizi di Elementi di Teoria degli Insiemi A.A. 2017/2018 Cristofer Villani mat. 561436 Parte I. Esercizio 1. Definita (a, b) := {{a}, {a, b}}, vale (a, b) = (a, b ) a = a b = b. Soluzione. ) (a, b)

Dettagli

14 Spazi metrici completi

14 Spazi metrici completi 54 2006-apr-26 Geometria e Topologia I 14 Spazi metrici completi (14.1) Definizione. Una successione {x n } n in uno spazio metrico si dice di Cauchy se per ogni ɛ > 0 esiste un intero N = N(ɛ) per cui

Dettagli

Prima lezione. Gilberto Bini. 16 Dicembre 2006

Prima lezione. Gilberto Bini. 16 Dicembre 2006 16 Dicembre 2006 Vediamo alcune nozioni di teoria ingenua degli insiemi. Vediamo alcune nozioni di teoria ingenua degli insiemi. Un insieme è una collezione di oggetti di cui possiamo specificare una proprietà

Dettagli

11. Misure con segno.

11. Misure con segno. 11. Misure con segno. 11.1. Misure con segno. Sia Ω un insieme non vuoto e sia A una σ-algebra in Ω. Definizione 11.1.1. (Misura con segno). Si chiama misura con segno su A ogni funzione ϕ : A R verificante

Dettagli

Esercizi di Elementi di Teoria degli Insiemi

Esercizi di Elementi di Teoria degli Insiemi Esercizi di Elementi di Teoria degli Insiemi Gemma di Petrillo 531909 3 aprile 2018 1 Esercizi sulla prima parte Esercizio 1.1. I seguenti fatti sono equivalenti: 1. Se < A i i I > è una sequenza di insiemi

Dettagli

DAI NUMERI NATURALI AI NUMERI RAZIONALI

DAI NUMERI NATURALI AI NUMERI RAZIONALI DAI NUMERI NATURALI AI NUMERI RAZIONALI 1. L insieme dei numeri naturali Nel sistema assiomatico ZF, l Assioma dell infinito stabilisce che: Esiste un insieme A, i cui elementi sono insiemi e tale che

Dettagli

Giulio Del Corso. Attenzione:

Giulio Del Corso. Attenzione: Dispense di Elementi di Teoria degli insiemi (ETI) Giulio Del Corso Attenzione: Questi appunti sono la trascrizione delle lezioni del corso di ETI tenuto nel 2014 dal Prof. Di Nasso, questo file non contiene

Dettagli

Terza lezione - 15/03/2018

Terza lezione - 15/03/2018 Università degli Studi di Trento CORSO DI ANALISI MATEMATICA II DIPARTIMENTO DI FISICA ANNO ACCADEMICO 2017/2018 ALBERTO MAIONE Terza lezione - 15/03/2018 1. Richiami teorici 1.1. Spazi Topologici. Definizione

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

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

COMPITO DI ALGEBRA 1 18 giugno 2019

COMPITO DI ALGEBRA 1 18 giugno 2019 COMPITO DI ALGEBRA 1 18 giugno 2019 1. (a) Sia G un gruppo di ordine 8 11 19. Dimostrare che G contiene un sottogruppo normale di ordine 11 19. (b) Determinare il mimimo intero n per cui S n contiene un

Dettagli

TOPOLOGIA - APPUNTI SETTIMANA 2/12/2013-5/11/2013

TOPOLOGIA - APPUNTI SETTIMANA 2/12/2013-5/11/2013 TOPOLOGIA - APPUNTI SETTIMANA 2/12/2013-5/11/2013 KIERAN G. O GRADY - 9 DICEMBRE 2013 1. Connessione Se X è uno spazio topologico connesso per archi vale il Teorema dei valori intermedi : dati una f :

Dettagli

Lezione 4. Da questa definizione si ha dunque che le similitudini sono particolari trasformazioni affini.

Lezione 4. Da questa definizione si ha dunque che le similitudini sono particolari trasformazioni affini. Lezione 4 Trasformazioni affini tra piani Una affinità f tra due piani P e Q è una trasformazione biunivoca di P in Q che conserva l allineamento. Ciò significa che comunque si scelgano tre punti allineati

Dettagli

i) la somma e il prodotto godano delle proprietà associativa, commutativa e distributiva;

i) la somma e il prodotto godano delle proprietà associativa, commutativa e distributiva; 1 Spazi vettoriali 11 Definizioni ed assiomi Definizione 11 Un campo è un insieme K dotato di una operazione somma K K K, (x, y) x + y e di una operazione prodotto K K K, (x, y) xy tali che i) la somma

Dettagli

1 PRELIMINARI 1.1 NOTAZIONI. denota l insieme vuoto. a A si legge a appartiene a A oppure a è elemento di A.

1 PRELIMINARI 1.1 NOTAZIONI. denota l insieme vuoto. a A si legge a appartiene a A oppure a è elemento di A. 1 PRELIMINARI 1.1 NOTAZIONI denota l insieme vuoto. a A si legge a appartiene a A oppure a è elemento di A. B A si legge B è un sottoinsieme di A e significa che ogni elemento di B è anche elemento di

Dettagli

Istituzioni di Logica Matematica

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

Dettagli

3. OPERAZIONI TRA CLASSI 2

3. OPERAZIONI TRA CLASSI 2 INSIEMI 1. Elementi e Classi Lo scopo di questo primo capitolo è di introdurre in maniera rigorosa le nozioni di classe e insieme, e di studiarne le principali proprietà. Nel seguito useremo il termine

Dettagli

Alcuni complementi sulla misura di Lebesgue in R N

Alcuni complementi sulla misura di Lebesgue in R N Alcuni complementi sulla misura di Lebesgue in R N Notazioni m Misura di Lebesgue in R N m e Misura esterna di Lebesgue in R N ; m e (E) = inf m(v ) V aperti V E m i Misura interna di Lebesgue in R N ;

Dettagli

CLASSE LIMITE DI UNA SUCCESSIONE DI NUMERI REALI C. MADERNA, G. MOLTENI, M. VIGNATI

CLASSE LIMITE DI UNA SUCCESSIONE DI NUMERI REALI C. MADERNA, G. MOLTENI, M. VIGNATI CLASSE LIMITE DI UNA SUCCESSIONE DI NUMERI REALI C. MADERNA, G. MOLTENI, M. VIGNATI Consideriamo l insieme R = R {, + } ottenuto aggiungendo all insieme dei numeri reali i simboli e +. Introduciamo in

Dettagli

Analogamente, avremmo ottenuto la stessa relazione d ordine parziale A B se A B a partire da A B se A B = B. Z B, B W.

Analogamente, avremmo ottenuto la stessa relazione d ordine parziale A B se A B a partire da A B se A B = B. Z B, B W. Elementi di Algebra e Logica 2008. 6. Reticoli. 1. Sia X un insieme e sia P(X) l insieme delle parti di X. Indichiamo con e le operazioni di intersezione e di unione fra sottoinsiemi di X. (a) Dimostrare

Dettagli

Spazi Vettoriali ed Applicazioni Lineari

Spazi Vettoriali ed Applicazioni Lineari Spazi Vettoriali ed Applicazioni Lineari 1. Sottospazi Definizione. Sia V uno spazio vettoriale sul corpo C. Un sottoinsieme non vuoto W di V è un sottospazio vettoriale di V se è chiuso rispetto alla

Dettagli

Quello che avreste dovuto sapere su ordinali e cardinali, ma non avete mai osato studiare.

Quello che avreste dovuto sapere su ordinali e cardinali, ma non avete mai osato studiare. Relazione per il seminario di logica, Milano, 11 Aprile 2008. Quello che avreste dovuto sapere su ordinali e cardinali, ma non avete mai osato studiare. Giorgio Venturi Si può giustamente affermare che

Dettagli

1. CARDINALITÀ. e) Se A B e B C, allora A C, d) Se A B allora A B,

1. CARDINALITÀ. e) Se A B e B C, allora A C, d) Se A B allora A B, 1. CARDINALITÀ In queste note discuteremo il concetto di cardinalità di un iniseme, che significa, parlando informalmente, la sua grandezza o il suo numero di elementi. Tale concetto è naturale per gli

Dettagli

Esercizi di Elementi di Teoria degli Insiemi, Parte 2 Fabrizio Anelli

Esercizi di Elementi di Teoria degli Insiemi, Parte 2 Fabrizio Anelli Esercizi di Elementi di Teoria degli Insiemi, Parte 2 Fabrizio Anelli Lezione 5, Esercizio 1 Dimostrare che A B Fun(A, B). Per l assioma delle parti, ammesso che esista A B, esiste P(A B). Usando poi l

Dettagli

SOLUZIONI DELLA PRIMA PROVA IN ITINERE DEL CORSO GE220

SOLUZIONI DELLA PRIMA PROVA IN ITINERE DEL CORSO GE220 SOLUZIONI DELLA PRIMA PROVA IN ITINERE DEL CORSO GE220 ESERCIZIO 1 (6 punti) Sia X uno spazio topologico. Dimostrare che: (i) (3 punti) X è uno spazio T 1 se e solo se per ogni x X l intersezione di tutti

Dettagli

Corso di Laurea in Matematica Geometria 2. Foglio di esercizi n. 4 a.a Soluzioni

Corso di Laurea in Matematica Geometria 2. Foglio di esercizi n. 4 a.a Soluzioni Corso di Laurea in Matematica Geometria 2 Foglio di esercizi n. 4 a.a. 2015-16 Soluzioni Gli esercizi sono presi dal libro di Manetti. Per svolgere questi esercizi, studiare con cura i paragrafi 5.2, 5.3

Dettagli

1 Se X e Y sono equipotenti, Sym(X) e Sym(Y ) sono isomorfi

1 Se X e Y sono equipotenti, Sym(X) e Sym(Y ) sono isomorfi In ogni esercizio c è la data del giorno in cui l ho proposto. 1 Se X e Y sono equipotenti, Sym(X) e Sym(Y ) sono isomorfi Se X è un insieme indichiamo con Sym(X) l insieme delle biiezioni X X. Si tratta

Dettagli

LEZIONE 11. s V : V V V (v 1, v 2 ) v 1 + v 2 = s V (v 1, v 2 ), p V : k V V. per cui valgono:

LEZIONE 11. s V : V V V (v 1, v 2 ) v 1 + v 2 = s V (v 1, v 2 ), p V : k V V. per cui valgono: LEZIONE 11 11.1. Spazi vettoriali ed esempi. La nozione di spazio vettoriale generalizza quanto visto nelle lezioni precedenti: l insieme k m,n delle matrici m n a coefficienti in k = R, C, l insieme V

Dettagli

Il teorema di Sierpiński con contorno

Il teorema di Sierpiński con contorno Il teorema di Sierpiński con contorno (L.V., appunti per l SAA del 24 marzo 2014) Introduzione E ben noto e facile da vedere che l intervallo [0, 1] non può essere rappresentato come unione disgiunta di

Dettagli

INDUZIONE E NUMERI NATURALI

INDUZIONE E NUMERI NATURALI INDUZIONE E NUMERI NATURALI 1. Il principio di induzione Il principio di induzione è una tecnica di dimostrazione molto usata in matematica. Lo scopo di questa sezione è di enunciare tale principio e di

Dettagli

IL TEOREMA FONDAMENTALE DELL ARITMETICA: DIMOSTRAZIONE VELOCE.

IL TEOREMA FONDAMENTALE DELL ARITMETICA: DIMOSTRAZIONE VELOCE. IL TEOREMA FONDAMENTALE DELL ARITMETICA: DIMOSTRAZIONE VELOCE. PH. ELLIA Indice Introduzione 1 1. Divisori di un numero. 1 2. Il Teorema Fondamentale dell Aritmetica. 2 3. L insieme dei numeri primi è

Dettagli

ESAME DI ALGEBRA 3, 24/02/2014

ESAME DI ALGEBRA 3, 24/02/2014 ESAME DI ALGEBRA 3, 24/02/204 Esercizio. Si consideri il polinomio f X := X 4 8X + 2 Q [X]. Si mostri che f X Q [X] è irriducibile. 2 Si determini il gruppo di Galois del campo di spezzamento di f X su

Dettagli

Sia k un campo e sia un elemento non appartenente a k chamato, al solito, infinito. Consideriamo k := k { }. Poniamo per definizione:

Sia k un campo e sia un elemento non appartenente a k chamato, al solito, infinito. Consideriamo k := k { }. Poniamo per definizione: Capitolo 6 Posti Sia k un campo e sia un elemento non appartenente a k chamato, al solito, infinito. Consideriamo k := k { }. Poniamo per definizione: a ± := := ± a, a k; a := := a, a k \ {0} ; := ; 1

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

Soluzioni primi compitini - Geometria 1

Soluzioni primi compitini - Geometria 1 Soluzioni primi compitini - Geometria Caterina Vernieri Ottobre 7 Le soluzioni proposte non sono state riviste dai professori Soluzioni Primi Compitini - G I compitino 7//3 Esercizio Al variare di α R

Dettagli

Gli Assiomi di Forcing e la cardinalità del continuo

Gli Assiomi di Forcing e la cardinalità del continuo Gli e la cardinalità del continuo SNS Incontro SELP, venerdì 16 ottobre, 2009 Gli e la cardinalità del continuo Indipendenza in teoria degli insiemi Forcing Cenni di aritmetica cardinale generale L assioma

Dettagli

Insiemi ed applicazioni

Insiemi ed applicazioni Insiemi ed applicazioni Giovanna Carnovale October 11, 2011 1 Insiemi Con il termine insieme denoteremo una collezione di oggetti. Gli oggetti di questa collezione saranno chiamati elementi dell insieme.

Dettagli

Osservazione 1.1 Si verifica facilmente che esiste un unica relazione d ordine totale su Q che lo renda un campo ordinato.

Osservazione 1.1 Si verifica facilmente che esiste un unica relazione d ordine totale su Q che lo renda un campo ordinato. 1 Numeri reali Definizione 1.1 Un campo ordinato è un campo K munito di una relazione d ordine totale, compatibile con le operazioni di somma e prodotto nel senso seguente: 1. a, b, c K, a b = a + c b

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

ANALISI 1 1 TERZA LEZIONE

ANALISI 1 1 TERZA LEZIONE ANALISI 1 1 TERZA LEZIONE 1 prof. Claudio Saccon, Dipartimento di Matematica Applicata, Via F. Buonarroti 1/C email: saccon@mail.dm.unipi.it web: http://www2.ing.unipi.it/ d6081/index.html Ricevimento:

Dettagli

Capitolo 5 Campi finiti

Capitolo 5 Campi finiti Capitolo 5 Campi finiti Definizione 5.1. Un campo finito K (cioè composto da un numero finito di elementi) si dice campo di Galois. Il numero dei suoi elementi si dice ordine e si denota con K. Un campo

Dettagli

Dispense del corso di Algebra 1. Soluzioni di alcuni esercizi

Dispense del corso di Algebra 1. Soluzioni di alcuni esercizi Dispense del corso di Algebra 1 Soluzioni di alcuni esercizi Esercizio 1.1. 1) Vero; ) Falso; 3) V; 4) F; 5) F; 6) F (infatti: {x x Z,x < 1} {0}); 7) V. Esercizio 1.3. Se A B, allora ogni sottoinsieme

Dettagli

(2) se A A, allora A c A; (3) se {A n } A, allora +

(2) se A A, allora A c A; (3) se {A n } A, allora + 1. Spazi di misura In questo paragrafo accenneremo alla nozione di spazio di misura. Definizione 1. Sia X un insieme non vuoto. Una famiglia A di sottoinsiemi di X è una σ-algebra se : (1) A; (2) se A

Dettagli

MATEMATICA DISCRETA CLAUDIA MALVENUTO PRIMA PROVA IN ITINERE 24 APRILE 2014

MATEMATICA DISCRETA CLAUDIA MALVENUTO PRIMA PROVA IN ITINERE 24 APRILE 2014 MATEMATICA DISCRETA CLAUDIA MALVENUTO PRIMA PROVA IN ITINERE 4 APRILE 014 1. Trovare il numero di stringhe di lunghezza n che si possono formare usando le lettere A, B, C, D, E in modo che ogni stringa

Dettagli

Appunti del corso Elementi di Geometria da un Punto di Vista Superiore

Appunti del corso Elementi di Geometria da un Punto di Vista Superiore Appunti del corso Elementi di Geometria da un Punto di Vista Superiore tenuto dal Prof. Salvatore Coen Università di Bologna - Anno Accademico 2013/2014 Michele Santa Maria Indice 1 Nozioni Preliminari

Dettagli

Teoria degli insiemi Capitolo 2 del libro di K. Kunen

Teoria degli insiemi Capitolo 2 del libro di K. Kunen Teoria degli insiemi Capitolo 2 del libro di K. Kunen A. Andretta Dipartimento di Matematica Università di Torino A. Andretta (Torino) Teoria degli insiemi AA 2009 2010 1 / 45 Insiemi quasi disgiunti 1

Dettagli

Teoria degli insiemi

Teoria degli insiemi Teoria degli insiemi Cos è la teoria degli insiemi La teoria degli insiemi è il fondamento della matematica. Cos è la teoria degli insiemi La teoria degli insiemi è il fondamento della matematica. Questa

Dettagli

ESERCIZI ELEMENTI TEORIA DEGLI INSIEMI A.A. 2017/2018 Giovanni Luciano Matr TEORIA ZF E ASSIOMI DI PEANO. Esercizio 1

ESERCIZI ELEMENTI TEORIA DEGLI INSIEMI A.A. 2017/2018 Giovanni Luciano Matr TEORIA ZF E ASSIOMI DI PEANO. Esercizio 1 ESERCIZI ELEMENTI TEORIA DEGLI INSIEMI A.A. 2017/2018 Giovanni Luciano Matr. 546897 TEORIA ZF E ASSIOMI DI PEANO Esercizio 1 Dimostrare che A B F un(a, B) Abbiamo visto a lezione l esistenza dell insieme

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

Esercizi vari. Federico Scavia. April 17, Densità

Esercizi vari. Federico Scavia. April 17, Densità Esercizi vari Federico Scavia April 7, 205 0. Densità Se A Z, indichiamo con BD(A) la densità di Banach di A, con d(a) la densità superiore di A e con d(a) quella inferiore. Per brevità, indichiamo [n]

Dettagli

1 Polinomio minimo e ampliamenti

1 Polinomio minimo e ampliamenti Università degli studi di Roma Tre Corso di Laurea Triennale in Matematica, a.a. 2004/2005 AL2 - Algebra 2, gruppi anelli e campi Soluzioni 10 dicembre 2004 1 Polinomio minimo e ampliamenti 1. Determinare

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

Definizione 1.1. Sia A un sottoinsieme dei numeri reali. Diciamo che A è un insieme induttivo se

Definizione 1.1. Sia A un sottoinsieme dei numeri reali. Diciamo che A è un insieme induttivo se 1 Numeri naturali, interi e razionali Definizione 1.1. Sia A un sottoinsieme dei numeri reali. Diciamo che A è un insieme induttivo se 1. 1 A. per ogni x A, si ha x + 1 A Definizione 1.. Chiamo insieme

Dettagli

Introduzione alla logica proposizionale

Introduzione alla logica proposizionale Introduzione alla logica proposizionale Francesco Paoli Dispense per gli studenti March 6, 2013 1 Linguaggi proposizionali Nel presente modulo studieremo la logica proposizionale classica. In generale,

Dettagli

p(ϕ) = a 0 Id + a 1 ϕ + + a n ϕ n,

p(ϕ) = a 0 Id + a 1 ϕ + + a n ϕ n, 1. Autospazi e autospazi generalizzati Sia ϕ: V V un endomorfismo. Allora l assegnazione x ϕ induce un morfismo di anelli ρ: K[x] End K (V ). Più esplicitamente, al polinomio p dato da viene associato

Dettagli

0.1 Coordinate in uno spazio vettoriale

0.1 Coordinate in uno spazio vettoriale .1. COORDINATE IN UNO SPAZIO VETTORIALE 1.1 Coordinate in uno spazio vettoriale Sia V uno spazio vettoriale di dimensione finita n costruito sul campo K. D ora in poi, ogni volta che sia fissata una base

Dettagli

3.3 - Il principio del buon ordine. Sia A un insieme, e sia una relazione di ordine in A. Si dice che è un buon

3.3 - Il principio del buon ordine. Sia A un insieme, e sia una relazione di ordine in A. Si dice che è un buon Marco Barlotti appunti di Teoria degli insiemi supplemento numero 1 Pag. 1 3.3 - Il principio del buon ordine. Sia A un insieme, e sia una relazione di ordine in A. Si dice che è un buon ordine per A,

Dettagli

c A (a c = b) Le ipotesi che abbiamo ci dicono che esistono h, k A tali che:

c A (a c = b) Le ipotesi che abbiamo ci dicono che esistono h, k A tali che: Definizione 1. Dato un insieme A, un operazione su A è una applicazione da A A a valori in A. Definizione 2. Se A è un insieme con una operazione, dati a, b A diciamo che a divide b (e scriviamo a b) se

Dettagli

Parte II. Incontro del 20 dicembre 2011

Parte II. Incontro del 20 dicembre 2011 Parte II Incontro del 20 dicembre 2011 12 I quadrati modulo 4 Cerchiamo di determinare i possibili resti nella divisione per 4 del quadrato x 2 di un numero intero x. Se x = 2h è un numero pari allora

Dettagli

Note sugli insiemi. Alberto Zanardo. Febbraio 2003

Note sugli insiemi. Alberto Zanardo. Febbraio 2003 Note sugli insiemi Alberto Zanardo Febbraio 2003 1 Insiemi finiti e insiemi infiniti Definizione 1.1 (1) L insieme X è infinito se esiste una funzione iniettiva da N in X. (2) L insieme X è D-infinito

Dettagli

Massimo limite e minimo limite di una funzione

Massimo limite e minimo limite di una funzione Massimo limite e minimo limite di una funzione Sia f : A R una funzione, e sia p DA). Per ogni r > 0, l insieme ) E f p r) = { fx) x A I r p) \ {p} } è non vuoto; inoltre E f p r ) E f p r ) se 0 < r r.

Dettagli

12. Funzioni numeriche misurabili.

12. Funzioni numeriche misurabili. 12. Funzioni numeriche misurabili. 12.1. Funzioni numeriche misurabili. D ora in avanti, nel corso di questi appunti, adotteremo la seguente terminologia: per far riferimento ad una funzione f : Ω R, per

Dettagli

3. Successioni di insiemi.

3. Successioni di insiemi. 3. Successioni di insiemi. Per evitare incongruenze supponiamo, in questo capitolo, che tutti gli insiemi considerati siano sottoinsiemi di un dato insieme S (l insieme ambiente ). Quando occorrerà considerare

Dettagli

3 La curva di Peano. insieme di misura nulla in R m. Definiamo, ora,

3 La curva di Peano. insieme di misura nulla in R m. Definiamo, ora, Versione del 5/0/04 3 La curva di Peano Proposizione (a) Sia f : A R n R m con n < m. Se f è una funzione lipschitziana, allora f(a) è un insieme di misura nulla in R m. (b) Esiste una funzione ϕ C ( [0,

Dettagli

La cardinalità di Q e R

La cardinalità di Q e R La cardinalità di Q e R Ha senso chiedersi se ci sono più elementi in N o in Q? Sono entrambi due insiemi infiniti. I numeri naturali sono numerosi quanto i quadrati perfetti, infatti ad ogni numero naturale

Dettagli

La definizione di Ultrafiltro e la regolarità per partizioni

La definizione di Ultrafiltro e la regolarità per partizioni La definizione di Ultrafiltro e la regolarità per partizioni Lorenzo Lami Definizione 1 (Filtro). Dato un insieme X, si dice filtro su X una collezione F di sottoinsiemi di X tali che: X F; / F; A F, B

Dettagli

Spazi proiettivi. 16 novembre Completamento proiettivo di uno spazio affine

Spazi proiettivi. 16 novembre Completamento proiettivo di uno spazio affine Spazi proiettivi 16 novembre 2009 1 Completamento proiettivo di uno spazio affine Definizione 1. Una geometria è una coppia ordinata (P, L) di insiemi con: 1. Ogni elemento di L è un sottoinsieme di P;

Dettagli

ALGEBRA I: SOLUZIONI QUINTA ESERCITAZIONE 9 maggio 2011

ALGEBRA I: SOLUZIONI QUINTA ESERCITAZIONE 9 maggio 2011 ALGEBRA I: SOLUZIONI QUINTA ESERCITAZIONE 9 maggio 2011 Esercizio 1. Usando l algoritmo euclideo delle divisioni successive, calcolare massimo comune divisore e identità di Bézout per le seguenti coppie

Dettagli

Misure e loro proprietà (appunti per il corso di Complementi di Analisi Matematica per Fisici, a.a )

Misure e loro proprietà (appunti per il corso di Complementi di Analisi Matematica per Fisici, a.a ) Misure e loro proprietà (appunti per il corso di Complementi di Analisi Matematica per Fisici, a.a. 2006-07 Sia Ω un insieme non vuoto e sia A una σ-algebra in Ω. Definizione 1. (Misura. Si chiama misura

Dettagli

Un modello dei numeri iperreali

Un modello dei numeri iperreali Un modello dei numeri iperreali Riccardo Dossena Introdurremo nella prossima sezione una nuova struttura matematica che sarà basilare nella costruzione di un modello dei numeri iperreali a partire dai

Dettagli