Esercizi. H(b) e tale insieme e dom(r). Sia (a, β) I(a) ; per l assioma della coppia esiste {β} e per unione esiste
|
|
- Geronima Salvadori
- 4 anni fa
- Visualizzazioni
Transcript
1 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 una relazione di equivalenza su un insieme A. Allora esiste l insieme quoziente A/. (d)data una sequenza di insiemi X i i I, esiste i I X i. Dim: (a)fisso un F F. Per separazione esiste l insieme B = x F x G G F} e tale insieme e F. (b)fisso (a, b) R. Per separazione esistono gli insiemi C(b) = (α, β) R β = b} = (α, b) R} e I(a) = (α, β) R α = a} = (a, β) R} Sia ora (α, b) C(b) ; per l assioma della coppia esiste α} e per l assioma dell unione esiste l insieme H(b) = (α,b) C(b)α}. Sempre per l assioma dell unione esiste l insieme (α,b) R H(b) e tale insieme e dom(r). Sia (a, β) I(a) ; per l assioma della coppia esiste β} e per unione esiste K(a) = (a,β) I(a) β}. Sempre per l assioma dell unione esiste l insieme (a,β) R K(a) e tale insieme e Im(R). (c)sia A un insieme e sia una relazione di equivalenza su di esso. Per separazione, dato ã A esiste l insieme [ã] = a A a ã}. Dunque abbiamo provato l esistenza delle classi di equivalenza. Usando l assioma della coppia possiamo dire dunque che: a A [a]} Per l assioma dell unione esiste dunque l insieme a A [a]} che e A/. (d)avendo una sequenza di insiemi in particolare abbiamo assicurata l esistenza dell insieme A = X i i I}. Dunque per separazione si ha l esistenza del seguente insieme (si dovrebbe dimostrare che dati K, H insiemi F un(k, H) e un insieme): f F un(i, A) dom(f) = I i I f(i) X i } e tale insieme e i I X i. 1
2 Esercizio 3.1: Dimostrare che la funzione successore S : ω ω 0} t.c. S(x) = ˆx e bigettiva. Dim: Innanzitutto S e iniettiva: infatti siano x, y ω con x y. Per tricotomia accade ad esempio che x y, e dunque (per una proposizione vista in classe) ˆx ŷ ovvero S(x) S(y) cioe in particolare S(x) S(y). Dunque vale anche che ω ω 0} ; siccome,chiaramente, vale anche l altra inclusione, abbiamo che ω = ω 0} e cio garantisce che S e anche suriettiva. Esercizio 3.2: Dimostrare che: (a) se n, m ω, allora n m n m. (b) se x n ω, allora x ω (c) se n, m ω, allora n m, n m ω. (d) se n ω, ˆn e il successore di n. Dim: (a) ) Se n m, sia a n. Siccome e gia che n m, per transitivita di si ha a m, cioe n m. Tuttavia vale l inclusione stretta poiche se n = m avremmo n n assurdo. Dunque e n m. ) Sia n m ; dunque in particolare e n m e quindi per tricotomia vale che o n m o m n. Se fosse m n, per quanto visto si dovrebbe avere m n e cio e assurdo per ipotesi. Dunque e n m. (b)dimostriamo l implicazione per induzione su n: n = 0: e vera a vuoto. n n + 1 : sia x n + 1 = n n}. Allora abbiamo due casi: se x n,per ipotesi induttiva x ω ; mentre se x n} accade che x = n ω. (c) Siano n, m ω. Per tricotomia si hanno tre casi: n = m : n m = n m = n ω n m : per il punto (a) abbiamo n m e quindi n m = n ω e n m = m ω m n : analogo. (d) Se per assurdo esistesse x ω t.c. n x ˆn = n n}, avremmo che n x x n n}. Siccome e n x, per irriflessivita di, x / n e dunque si ha che x n}, cioe x = n. Ma allora avremmo n x n = x, ovvero n n e cio e assurdo. Dunque tra n e ˆn non ci sono naturali e dunque possiamo dire che ˆn e il successore immediato di n. 2
3 Esercizio 3.3: Dimostrare il Teorema di Ricorsione Numerabile forte, ovvero dimostrare che: sia ã A e f : ω F S(A) A. Allora esiste un unica a n n ω t.c. a 0 = ã a n+1 = f(n, a i i = 1...n ) (dove F S(A) sono le sequenze finite di A). Dim: come fatto per la ricorsione numerabile debole. definiamo le approssimazioni finite AF come: g : 0,..., n 1} A e una AF se. g(0) = ã e g(j + 1) = f(j, g(i) i = 1...j ) 0 j n 2 Ogni AF e un sottoinsieme di ω A, dunque per separazione posso considerare l insieme: Valgono i seguenti fatti: F = φ P(ω A) φ e AF } n ω φ F t.c. dom(φ) = 0...n} (1) φ, ψ AF e n dom(φ) dom(ψ)φ(n) = ψ(n) (2) Supponiamo di averle dimostrate, possiamo dire che: consideriamo F = φ F φ. Per la (2) si ha che F e una funzione con dom(f ) = φ F dom(φ) ω (fatto visto a lezione). Tuttavia per la (1) ω dom(f ) e quindi dom(f ) = ω Inoltre φ F e i dom(φ) si ha F (i) = φ(i), e dunque (per la (1)) F (n) = φ(n) = f(n 1, φ(i) i = 1...n 1 ) = f(n 1, F (i) i = 1...n 1 ) che e quanto volevamo dimostrare. Dimostriamo dunque la (1) e la (2): (1) induzione su n: n = 0 basta considerare φ : 0} A t.c. φ(0) = ã n n + 1 : per ipotesi induttiva φ F t.c. dom(φ) = 0...n}. Sia ψ = φ (n + 1, b)}, dove b = f(n, φ(i) i = 1...n ). Allora ψ e una funzione; infatti sia φ = (n + 1, b)}, allora dom(φ ) dom(φ) = n + 1} 0...n} =. Dunque ψ e una funzione di dominio 0...n + 1}. Inoltre essa e una AF: ψ(0) = φ(0) = ã e ψ(j + 1) = φ(j + 1) j = 0...n 1 ; mentre 3
4 ψ(n + i) = b = f(n, φ(i) i = 1...n ) = f(n, ψ(i) i = 1...n ). Dunque ψ e la AF cercata. Dimostriamo la (2)per induzione su n: n = 0: 0 dom(φ) dom(ψ) dunque φ(0) = ã = ψ(0) Supponiamo vera la tesi k < n e dimostriamola per n: φ(n) = f(n 1, φ(i) i = 1...n 1 ) ; la tesi vale per 1...n 1 dunque φ(i) = ψ(i) i = 1..n 1 e dunque φ(n) = f(n 1, ψ(i) i = 1...n 1 ) = ψ(n) Verifichiamo l unicita : siano g, g due funzioni che soddisfano le proprieta di ricorsione; mostriamo per induzione che g(n) = g (n) n ω: n = 0 : g(0) = ã = g (0) n n + 1 : g(n + 1) = f(n, g(i) i = 1..n ) = Dunque g = g. = f(n, g (i) i = 1..n ) = g (n + 1). Esercizio 3.4: Sia A un insieme, dimostrare che A e infinito se e solo se A e equipotente ad una sua parte propria. Dim: ) a lezione e stato dimostrato che se un insieme A e finito, aloora non e equipotente a nessuna sua parte propria. ) (AC) Sia A infinito, allora per AC N A cioe esiste f : N A iniettiva e sia ã = f(0). Definiamo la seguente funzione: ψ(x) = x f(n + 1) ψ : A A ã} t.c. se x A Im(f) se x Im(f) dove n e t.c. x = f(n) (Osserviamo che il codominio della funzione e A ã} poiche ã non puo essere della forma ψ(x); infatti se x A Im(f), abbiamo ã = ψ(x) = x e quindi ã A Im(f) e cio e assurdo poiche ã = f(0). Mentre se x Im(f) allora f(0) = ã = ψ(x) = f(n + 1) e siccome f e iniettiva allora n + 1 = 0 assurdo) Si ha che ψ e iniettiva: se x, y A Im(f) t.c. ψ(x) = ψ(y), allora x = y. se x, y Im(f) t.c. ψ(x) = ψ(y), allora f(n + 1) = f(m + 1), dove n, m N t.c. x = f(n) e y = f(m). Per iniettivita di f si ha n + 1 = m + 1 4
5 e quindi n = m e dunque x = y. Percio A A ã} e siccome evidentemente A ã} A abbiamo che A = A ã} ovvero A e equipotente ad una sua parte propria. Esercizio 3.5: Dimostrare i seguenti fatti: 1. siano A, B insiemi finiti, allora A B, A B, A B, A B, P(A) sono insiemi finiti. 2. se F e una famiglia finita di insiemi finiti, allora F e finita. 3. sia A insieme finito e f : A B una funzione. Allora Im(f) e finita. 4. se F e una famiglia infinita di insiemi a due a due disgiunti, allora F e infinita. 5. Sia F una famiglia di insiemi tale che n N F F t.c. F n, allora F e infinita. Dim: 1. A B e A B sono finiti perche sottoinsiemi di A che e finito (tale fatto e stato provato a lezione). Vediamo che l unione e finita: dimostriamolo innanzitutto per insiemi finiti disgiunti. Siano C, D insiemi finiti disgiunti t.c. C = n e D = m per qualche n, m N. Allora esistono due bigezioni f : C n e g : D m. Per ricorsione numerabile dato un n ω, definiamo: F 0 (n) = n dove S e la funzione successore. F k+1 (n) = S(F k (n)) Osserviamo che F k (n) < F k+1 (n) (infatti f k+1 (n) = S(F k (n)) > F k (n)). Definiamo una funzione in tal modo: Allora ψ e iniettiva: ψ : C D F m+1 (n) tale che: f(x) se x C ψ(x) = F g(x)+1 (n) se x D se x, y C t.c. ψ(x) = ψ(y), allora f(x) = f(y) e per bigettivita di f x = y. se x, y D t.c. ψ(x) = ψ(y), allora F g(x)+1 (n) = F g(y)+1 (n) quindi S(F g(x) (n)) = S(F g(y) (n)) e per iniettivita di S, F g(x) (n) = F g(y) (n). Ora 5
6 se g(x) < g(y) o g(y) < g(x) allora per l osservazione precedente F g(x) (n) < F g(y) (n) o viceversa. Dunque e g(x) = g(y) e per iniettivita di g abbiamo x = y. Quindi C D F m+1 (n) e quindi C D e finita. Percio abbiamo }} ω dimostrato che l unione di due insiemi finiti disgiunti e finita. Siano ora A, B insiemi finiti; allora A B = A (B A) e siccome A (B A) = finiti per quanto detto fino ad ora A B e finita. Vediamo che il prodotto cartesiano e finito: A B = b B (A b}). Siccome A b} = A, abbiamo che A b} e finito. Dunque A B e unione finita di insiemi finiti che, come dimostrato nel punto 2, e finita. Occupiamoci delle parti di A: siccome se A e finito esiste un n ω t.c. A = n e P(A) = P(n), mi basta dimostrare per induzione che n ω P(n) e finito. n = 0 : P(0) = P( ) = } che e finito n n + 1 : P(n + 1) = P(n) sottoinsiemi di n a cui aggiungo n }}}} finito equipotente a P(n) dunque P(n + 1) e finita perche unione di due insiemi finiti. 2. Basta dimostrare che se A 1,..., A n sono insiemi finiti allora A 1... A n e finita. n = 1 : ok poiche A 1 e finito per ipotesi. n n + 1 : n+1 i=1 A i = A n+1 n i=1 A i dunque ho l unione di due insiemi finiti che e finita per il punto Sia A finito, allora esiste una bigezione g : n A e sia f : A B. Definiamo y Im(f) l insieme C(y) = a A f(a) = g} (cioe le controimmagini di g). Allora A = y Im(f) C(y). Sia ora ψ : Im(f) A t.c. a y C(y) f Im(f) ψ(y) = a y dove g 1 (a y ) g 1 (a) a C(f) Allora ψ e iniettiva: se ψ(y) = ψ(z) allora a y = a x dunque a y C(y) C(z) quindi y = z (se y z allora C(y) C(z) = ). 6
7 Dunque Im(f) A = n quindi esiste φ : Im(f) n iniettiva, quindi Im(f) = m dove m n cioe Im(f) e finita. 4. Sia F una famiglia di insiemi a due a due disgiunti infinita. Se per assurdo F fosse finita allora ogni F F sarebbe finito (questo perche F F); dunque F conterrebbe solo insiemi finiti. Sia F F, allora ψ F : F n F ω bigettiva e sia a F F t.c. ψ F (a F ) < ψ F (a) a F. Siccome gli insiemi in F sono a due a due disgiunti, e ben definita e iniettiva la seguente funzione: ψ : F F t.c. ψ(f ) = a F e dunque F F ed essendo F finita anche F sarebbe finita assurdo. Dunque F e infinita. 5. Sia F una famiglia di insiemi t.c. n ω F F t.c. F n. Se per assurdo F fosse finita, allora per 4. F e finita e inoltre ogni F F e finito (poiche F F ); dunque F sarebbe una famiglia finita di insiemi finiti e dunque potremmo considerare l insieme A = F F F} : esso e finito (poiche trovo al piu una cardinalita diversa per ogni insieme della famiglia) dunque posso scrivere A = n 1,...n k }. Sia dunque M ω t.c. M > n i i. Per ipotesi F F t.c. F M > n i cioe F F t.c. F > n i i. Tuttavia F F dunque F A e quindi F = n j per qualche j assurdo. Dunque F e infinita. Esercizio 3.6: Dimostrare i seguenti fatti: 1. se (A, <) e ordinato e X A e finito, allora X ammette massimo e minimo. 2.(n, ) e bene ordinato per ogni n ω. 3. se (A, <) e finito ordinato con A = n, allora (A, <) = (n, ) Dim: 1. Esistenza minimo: x X sia B(x) = y X y < x} x} (in questo modo i B(x) sono tutti non vuoti). Vale che se x < y allora B(x) B(y) e sia B = n 1 i=0 B(x i) (dove formalmente n ω t.c. X = n e ho posto x i = f(i) dove f e una bigezione fra X e n e n 1 e quel naturale t.c. S(n 1) = n, essendo S la funzione successore). Ora se per assurdo B = allora i j t.c. B(x i ) B(x j ) = e 7
8 supponiamo che ad esempio sia x i < x j. Dunque per quanto detto: B(x i ) B(x j ) dunque B(X i ) B(x j ) = B(X i ) assurdo. Dunque e B e percio x B e per definizione di B, x B(x i ) i. Dunque x < x i x i X cioe min(x) = x. Esistenza massimo: x X sia C(x) = y X y > x} x}. Vale che se x < y allora C(y) C(x) e C(x) x X. Sia dunque C = n 1 i=0 C(X i) : analogamente a prima e C e quindi esiste un x C ; tale elemento e il massimo di X. 2. sia X n. A lezione si e visto che sottoinsiemi di insiemi finiti sono finiti, dunque X e finito; ma allora siamo nelle ipotesi del punto 1. (n e ordinato poiche lo e ω) e dunque in particolare X ammette minimo e cio ci dice che n e ben ordinato. A 0 = A 3. definiamo dove a n = min(a n ). A n+1 = A n a n } In questo modo A = a 0 < a 1 <... < a n 1 } poniamo dunque ψ : A n t.c. ψ(a i ) = i tale funzione e l isomorfismo cercato. 8
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,
DettagliEsercizi. Esercizio 2.5:Dimostrare che se A A e B B allora: Dim: Per ipotesi esistono f : A A e g : B B iniettive. 1. Sia h : A B A B t.c.
Esercizi Esercizio 2.5:Dimostrare che se A A e B B allora: 1. A B A B se A B = A B = 2. A B A B 3. P(A) P(A ) 4. F un(a, B) F un(a, B ) Dim: Per ipotesi esistono f : A A e g : B B iniettive. 1. Sia h :
DettagliEsercizi 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
DettagliDunque 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,
DettagliEsercizi 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},
DettagliElementi 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)
DettagliElementi di teoria degli insiemi. Esercizio 1: coppia di Kuratowski
Elementi di teoria degli insiemi Esercizio 1: coppia di Kuratowski tesi:(a, b) = (c, d) a = c b = d Supponiamo (a, b) = (c, d) cioe {{a},{a, b}} = {{c},{c, d}} Per estensionalita due insiemi sono uguali
DettagliEsercizi. 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
DettagliESERCIZI 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
DettagliESERCIZI 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
DettagliDimostrazione: 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
DettagliElementi 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},
DettagliEsercizi 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
DettagliAPPUNTI 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
DettagliDAI 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
DettagliEsercizi per Casa corso di Elementi di teoria degli insiemi Dario Rancati-2016/2017
Coppie ordinate Esercizi per Casa corso di Elementi di teoria degli insiemi Dario Rancati-2016/2017 ( Es.4.2 dispense 1) Notiamo innanzitutto che, se a = c e b = d, per il principio di estensionalitá vale
DettagliAppunti del Corso Analisi 1
Appunti del Corso Analisi 1 Anno Accademico 2011-2012 Roberto Monti Versione del 5 Ottobre 2011 1 Contents Chapter 1. Cardinalità 5 1. Insiemi e funzioni. Introduzione informale 5 2. Cardinalità 7 3.
DettagliELEMENTI DI TEORIA DEGLI INSIEMI Dispensa 4. Mauro Di Nasso
ELEMENTI DI TEORIA DEGLI INSIEMI Dispensa 4 Mauro Di Nasso 1. GLI INSIEMI INITI 3 L aritmetica di Peano e gli insiemi numerici 1. Gli insiemi finiti Grazie ai numeri naturali, si può usare la nozione
DettagliELEMENTI DI TEORIA DEGLI INSIEMI Dispensa 3. Mauro Di Nasso
ELEMENTI DI TEORIA DEGLI INSIEMI Dispensa 3 Mauro Di Nasso 1. FORMULE DEL LINGUAGGIO DEGLI INSIEMI 3 La teoria di Zermelo-Fraenkel 1. Formule del linguaggio degli insiemi A partire da questo capitolo,
DettagliIstituzioni 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
DettagliELEMENTI 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
DettagliELEMENTI DI TEORIA DEGLI INSIEMI Dispensa 2. Mauro Di Nasso
ELEMENTI DI TEORIA DEGLI INSIEMI Dispensa 2 Mauro Di Nasso CHAPTER 2 Cardinalità numerabile e cardinalità del continuo 1. Equipotenza Adesso che tutta la terminologia di base è stata introdotta, possiamo
DettagliCAPITOLO 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
DettagliELEMENTI 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
DettagliDefinizione 1 Diciamo che ϕ è un applicazione (o funzione o mappa) tra A e B se per ogni a A esiste uno ed un solo b B tale che (a,b) ϕ.
0.1 Applicazioni Siano A e B due insiemi non vuoti e sia ϕ una relazione binaria tra A e B. Definizione 1 Diciamo che ϕ è un applicazione (o funzione o mappa) tra A e B se per ogni a A esiste uno ed un
DettagliIstituzioni di Logica Matematica
Istituzioni di Logica Matematica Sezione 11 del Capitolo 3 Alessandro Andretta Dipartimento di Matematica Università di Torino A. Andretta (Torino) Istituzioni di Logica Matematica AA 2013 2014 1 / 19
DettagliTOPOLOGIA - 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 :
DettagliEsercizi svolti di Elementi di Teoria degli Insiemi, Volume 1. Matteo Casarosa, Elia Antonini, Francesco Moroniti
Esercizi svolti di Elementi di Teoria degli Insiemi, Volume 1 Matteo Casarosa, Elia Antonini, Francesco Moroniti 4 aprile 2018 2 Indice 1 Esercizi 5 1.1 Coppia di Kuratowski.................................
DettagliTeoria 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
DettagliElementi di Algebra e Logica Esercizi 1. Insiemi, funzioni, cardinalità, induzione, funzioni ricorsive.
Elementi di Algebra e Logica 2008 Esercizi 1 Insiemi, funzioni, cardinalità, induzione, funzioni ricorsive 1 Siano A = {0, 2, 4,, 8, 10}, B = {0, 1, 2, 3, 4, 5, } e C = {4, 5,, 7, 8, 9, 10} Determinare:
DettagliUltrafiltri 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
DettagliINSIEMI. 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
DettagliCapitolo 1: Concetti matematici di base
Capitolo 1: Concetti matematici di base 1 Insiemi x A x é elemento dell insieme A. B A B é un sottoinsieme di A. B A B é un sottoinsieme proprio di A. A costituito da n elementi A = n é la sua cardinalitá.
DettagliINDUZIONE 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
DettagliSe 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
DettagliNote 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
DettagliTommaso Cortopassi- Settimana 6-8 (da 4 Aprile a 21 Aprile) Esercizio 1 Mostrare che A (B C) = (A B) (A C) come insiemi ordinati.
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:
DettagliGiulio 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
DettagliAlcuni 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)
DettagliANALISI 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:
DettagliIstituzioni di Logica Matematica
Istituzioni di Logica Matematica Sezione 8 del Capitolo 2 Alessandro Andretta Dipartimento di Matematica Università di Torino A. Andretta (Torino) Istituzioni di Logica Matematica AA 2012 2013 1 / 31 Strutture
DettagliALGEBRE 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
Dettagli11. 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
DettagliDispense 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
DettagliRichiami 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
DettagliCapitolo 1. Insiemi e funzioni. per elencazione: si elencano uno ad uno gli elementi dell insieme.
Capitolo 1 Insiemi e funzioni Con gli insiemi introduciamo il linguaggio universale della matematica. Il linguaggio degli insiemi ci permette di utilizzare al minimo le lingue naturali. 1.1 La descrizione
DettagliGeneralizzazioni del Teorema di Weierstrass
Capitolo 2 Generalizzazioni del Teorema di Weierstrass Il principale riferimento bibliografico per questa lezione è il testo di Checcucci, Tognoli, Vesentini [1]. Introduzione Supponiamo che X = R n. È
DettagliFilosofia della Scienza Soluzioni Compito 2
Filosofia della Scienza 2010-11 Soluzioni Compito 2 Gianluigi Bellin 10 gennaio 2011 1 Domanda 1 - Teorema di Cantor Una funzione f : A B si dice iniettiva se per ogni x, y A, f(x) f(y) implica x y. Una
DettagliMatematica e Statistica per Scienze Ambientali
per Scienze Ambientali Insiemi e Combinatoria - Appunti 1 1 Dipartimento di Matematica Sapienza, Università di Roma Roma, 23 - Ottobre 2012 Il concetto di insieme Non tratterò la teoria assiomatica degli
DettagliNote del corso di Calcolabilità e Linguaggi Formali - Lezione 10
Note del corso di Calcolabilità e Linguaggi Formali - Lezione 10 Alberto Carraro DAIS, Università Ca Foscari Venezia http://www.dsi.unive.it/~acarraro 1 Teoremi fondamentali della Recursion Theory Theorem
DettagliALGEBRA I: CARDINALITÀ DI INSIEMI
ALGEBRA I: CARDINALITÀ DI INSIEMI 1. PROCESSI E COSTRUZIONI INFINITE Molte volte, in matematica, c è la necessità di ripetere una data costruzione infinite volte. In tale situazione è spesso necessario
DettagliMETODI 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
DettagliOrdinali 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
DettagliGli insiemi N, Z e Q. I numeri naturali
Università Roma Tre L. Chierchia 1 Gli insiemi N, Z e Q Il sistema dei numeri reali (R, +,, ) può essere definito tramite sedici assiomi: quindici assiomi algebrici (si veda ad esempio 2.3 in [Giusti,
DettagliEsercitazione n. 35 (24/02/2016)
Esercitazione n 35 (24/02/206) Argomenti Morfismo di Frobenius Esercizi vari sugli anelli II Teorema di isomorfismo, applicazioni Anelli di funzioni Esercizio (Morfismo di Frobenius) Sia p un numero primo
DettagliMETODI MATEMATICI PER L INFORMATICA. Canale E O a.a Docente: C. Malvenuto Prova intermedia 12 novembre 2009
METODI MATEMATICI PER L INFORMATICA Canale E O a.a. 2009 10 Docente: C. Malvenuto Prova intermedia 12 novembre 2009 Esercizio 1. (10 punti) 1. Siano A = {1, 2, 3} e B = {1, 3, 5, 7}. Determinare il prodotto
DettagliAPPUNTI SU FUNZIONI REALI DI VARIABILE REALE E LORO LIMITI
APPUNTI SU FUNZIONI REALI DI VARIABILE REALE E LORO LIMITI 1. preliminari sulle funzioni Definizione 1. Una funzione è una legge che ad ogni elemento di un insieme D (detto dominio) associa un unico elemento
DettagliR = {(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)
DettagliRELAZIONI, 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
Dettagliconcetti matematici di base
concetti matematici di base Fabrizio d Amore Università La Sapienza, Dip. Informatica e Sistemistica A. Ruberti settembre 2008 concetti elementari di insiemistica Sia A un insieme x A significa che l elemento
DettagliComplemento 1 Gli insiemi N, Z e Q
AM110 Mat, Univ. Roma Tre (AA 2010/11 L. Chierchia) 30/9/10 1 Complemento 1 Gli insiemi N, Z e Q Il sistema dei numeri reali (R, +,, ) può essere definito tramite sedici assiomi: quindici assiomi algebrici
DettagliF. Ricci, A. Mennucci, T. Pacini COMPLEMENTI DI MATEMATICA. Seminario Fisico-Matematico I anno
F Ricci, A Mennucci, T Pacini COMPLEMENTI DI MATEMATICA Seminario Fisico-Matematico I anno Indice Capitolo 1 ELEMENTI DI TEORIA DEGLI INSIEMI 3 1 Prodotto cartesiano di due insiemi 3 2 Relazioni 4 3 Relazioni
DettagliELEMENTI 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
Dettaglia cura di Luca Cabibbo e Walter Didimo
a cura di Luca Cabibbo e Walter Didimo Esercizi di Informatica teorica - Luca Cabibbo e Walter Didimo 1 principio di induzione finita (o matematica) cardinalità di insiemi pigeonhole principle espressioni
Dettagli1. 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
DettagliAppunti 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
Dettagli8. Completamento di uno spazio di misura.
8. Completamento di uno spazio di misura. 8.1. Spazi di misura. Spazi di misura completi. Definizione 8.1.1. (Spazio misurabile). Si chiama spazio misurabile ogni coppia ordinata (Ω, A), dove Ω è un insieme
DettagliIl 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,
DettagliCorso di Laurea in Matematica Geometria 2. Foglio di esercizi n. 2 a.a Soluzioni
Corso di Laurea in Matematica Geometria 2 Foglio di esercizi n. 2 a.a. 2015-16 Soluzioni Gli esercizi sono presi dal libro di Manetti. Per svolgere questi esercizi, studiare con cura i paragrafi 3.5, 3.6,
DettagliIl teorema di Ascoli-Arzelà
Il teorema di Ascoli-Arzelà Alcuni risultati sugli spazi metrici Spazi metrici (e topologici) compatti Richiamiamo le definizioni di compattezza negli spazi metrici. Sia (X, d) una spazio metrico e sia
Dettagli1 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
DettagliINSIEMI 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
DettagliEsercizi 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
Dettagli3. 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ù = {0,1,2,3,4,, } I NUMERI NATURALI Z = { -3,-2,-1,0,1,2,3, } GLI INTERI m n R = Q {irrazionali} I REALI ù Z Q R ESERCITAZIONE N.
GLI INSIEMI NUMERICI ESERCITAZIONE N.2 16 ottobre 2007 ù = {0,1,2,3,4,, } I NUMERI NATURALI Z = { -3,-2,-1,0,1,2,3, } GLI INTERI m Q = { m, n Z e n 0 } I RAZIONALI n R = Q {irrazionali} I REALI Funzioni
DettagliTeoria 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
DettagliTeoria 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
DettagliInsiemi infiniti. 2. Cardinalità
Insiemi infiniti. Introduzione Finché gli insiemi che si considerano sono finiti (cioè si può contare quanti sono i loro elementi mettendoli in corrispondenza biiettiva con i numeri che precedono un certo
DettagliEsercizi sul Calcolo Proposizionale
Esercizi sul Calcolo Proposizionale Francesco Sborgia Matricola: 459245 December 7, 2015 1 Esercizio 1 Per ogni formula A dimostrare che ρ(a) = min{n A F n } Definizione 1. Ricordiamo che, dato un linguaggio
DettagliPrimi elementi di combinatoria Federico Lastaria, Analisi e Geometria 1
Politecnico di Milano. Scuola di Ingegneria Industriale e dell Informazione Analisi e Geometria 1 Federico Lastaria Primi elementi di combinatoria 11 Ottobre 2016 Indice 1 Elementi di combinatoria 2 1.1
DettagliProf. Giulio Vidotto (Università di Padova) Lez. 6 - Le scale nominali e le scale ordinali
Argomenti della lezione Scale di Misura Scala nominale Scala ordinale Scala Nominale Consideriamo il Sistema Empirico Classificatorio à = < A, > che è ripartito in classi di equivalenza (elementi dell'insieme
DettagliLuigi Ambrosio, Carlo Mantegazza COMPLEMENTI DI MATEMATICA 1. Seminario Fisico-Matematico I anno
Luigi Ambrosio, Carlo Mantegazza COMPLEMENTI DI MATEMATICA 1 Seminario Fisico-Matematico I anno 1 Queste note si basano in gran parte su quelle del corso dell aa 2012 2013, curato da F Ricci, A Mennucci,
DettagliMisure 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
DettagliFUNZIONI TRA INSIEMI. Indice
FUNZIONI TRA INSIEMI LORENZO BRASCO Indice. Definizioni e risultati.. Introduzione.. Iniettività e suriettività.3. Composizione di funzioni 4.4. Funzioni inverse 5. Esercizi 5.. Esercizi svolti 5.. Altri
DettagliCOMPATTEZZA. i) X è compatto, cioè ogni ricoprimento aperto ammette un sottoricoprimento finito.
1 COMPATTEZZA Sia X un sottoinsieme di R. Una famiglia A di sottoinsiemi aperti di R si dice ricoprimento aperto di X se X A, cioè se X è contenuto nell unione degli elementi di A. Una sottofamiglia di
DettagliSeconda 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
DettagliI Esonero di Matematica Discreta - a.a. 06/07 Versione C
I Esonero di Matematica Discreta - a.a. 06/07 Versione C 1. a. Sono dati gli insiemi A = 1, 2, 3,, 5, 6} e B = numeri naturali dispari}. Determinare A B, A B, B C N (A), C N (A B), P(A B), P(A) P(B). b.
Dettagliacuradi Luca Cabibbo e Walter Didimo Esercizi di Informatica teorica - Luca Cabibbo e Walter Didimo 1
acuradi Luca Cabibbo e Walter Didimo Esercizi di Informatica teorica - Luca Cabibbo e Walter Didimo 1 principio di induzione finita (o matematica) cardinalità di insiemi pigeonhole principle espressioni
DettagliTeoria 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
DettagliRelazioni 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
Dettaglii) 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
DettagliSPAZI TOPOLOGICI. La nozione di spazio topologico è più generale di quella di spazio metrizzabile.
SPAZI TOPOLOGICI La nozione di spazio topologico è più generale di quella di spazio metrizzabile. Definizione 1 Uno spazio topologico (X, τ) è una coppia costituita da un insieme X e da una famiglia τ
DettagliFUNZIONI ELEMENTARI, DISEQUAZIONI, NUMERI REALI, PRINCIPIO DI INDUZIONE Esercizi proposti
FUNZIONI ELEMENTARI, DISEQUAZIONI, NUMERI REALI, PRINCIPIO DI INDUZIONE Esercizi proposti. Risolvere la disequazione x x +. è soddisfatta x IR ]. Disegnare i grafici di (a) y = x + x + 3 ; (b) y = x x
Dettagli3.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,
DettagliCLASSE 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
DettagliAppunti 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
DettagliIstituzioni 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