teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · la teoria degli...
TRANSCRIPT
![Page 1: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/1.jpg)
Teoria degli insiemi
![Page 2: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/2.jpg)
Cos’e la teoria degli insiemi
La teoria degli insiemi e il fondamento della matematica.
Questa affermazione e singolare: la teoria degli insiemi ha cominciato aessere svilupata a partire dalla fine del XIX secolo; la matematica esistevagia da qualche millenio.
Il significato e:
Tutti i concetti matematici possono essere definiti in termini delle nozioniprimitive di insieme e appartenenza da cui tutti i risultati matematici
possono essere dedotti.
Da questa osservazione nasce la teoria degli insiemi.
![Page 3: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/3.jpg)
Cos’e la teoria degli insiemi
La teoria degli insiemi e il fondamento della matematica.Questa affermazione e singolare: la teoria degli insiemi ha cominciato aessere svilupata a partire dalla fine del XIX secolo; la matematica esistevagia da qualche millenio.
Il significato e:
Tutti i concetti matematici possono essere definiti in termini delle nozioniprimitive di insieme e appartenenza da cui tutti i risultati matematici
possono essere dedotti.
Da questa osservazione nasce la teoria degli insiemi.
![Page 4: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/4.jpg)
Cos’e la teoria degli insiemi
Si potrebbe quindi anche dare la definizione
matematica = teoria degli insiemi
L’identificaziona appare sensata, ma non si puo escludere che in futurodebba essere soggetta a revisione.
![Page 5: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/5.jpg)
Cos’e la teoria degli insiemi
Si potrebbe quindi anche dare la definizione
matematica = teoria degli insiemi
L’identificaziona appare sensata, ma non si puo escludere che in futurodebba essere soggetta a revisione.
![Page 6: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/6.jpg)
Quale teoria degli insiemi?
Ci sono varie teorie degli insiemi, non tutte equivalenti fra loro —sebbene con larghe sovrapposizioni: hanno tutte l’ambizione di contenerela matematica ordinaria!
La teoria chiamata usualmente teoria degli insiemi e la teoria ZFC:Zermelo-Fraenkel con assioma della scelta.
![Page 7: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/7.jpg)
Quale teoria degli insiemi?
Ci sono varie teorie degli insiemi, non tutte equivalenti fra loro —sebbene con larghe sovrapposizioni: hanno tutte l’ambizione di contenerela matematica ordinaria!
La teoria chiamata usualmente teoria degli insiemi e la teoria ZFC:Zermelo-Fraenkel con assioma della scelta.
![Page 8: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/8.jpg)
Il linguaggio della teoria degli insiemi
Una teoria matematica e espressa attraverso formule in un linguaggio.
Illinguaggio della teoria degli insiemi consiste di
1. Simboli logici:I Simbolo di uguaglianza =I Connettivi ¬ (negazione), ∨ (disgiunzione), ∧ (congiunzione), ⇒
(implicazione), ⇔ (biimplicazione)I Quantificatori ∃ (quantificatore esistenziale), ∀ (quantificatore
universale)I Variabili v0, v1, v2, . . .
2. Simbolo non logico:I Relazione binaria di appartenenza ∈
![Page 9: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/9.jpg)
Il linguaggio della teoria degli insiemi
Una teoria matematica e espressa attraverso formule in un linguaggio. Illinguaggio della teoria degli insiemi consiste di
1. Simboli logici:I Simbolo di uguaglianza =I Connettivi ¬ (negazione), ∨ (disgiunzione), ∧ (congiunzione), ⇒
(implicazione), ⇔ (biimplicazione)I Quantificatori ∃ (quantificatore esistenziale), ∀ (quantificatore
universale)I Variabili v0, v1, v2, . . .
2. Simbolo non logico:I Relazione binaria di appartenenza ∈
![Page 10: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/10.jpg)
Il linguaggio della teoria degli insiemi
Una teoria matematica e espressa attraverso formule in un linguaggio. Illinguaggio della teoria degli insiemi consiste di
1. Simboli logici:I Simbolo di uguaglianza =I Connettivi ¬ (negazione), ∨ (disgiunzione), ∧ (congiunzione), ⇒
(implicazione), ⇔ (biimplicazione)I Quantificatori ∃ (quantificatore esistenziale), ∀ (quantificatore
universale)I Variabili v0, v1, v2, . . .
2. Simbolo non logico:I Relazione binaria di appartenenza ∈
![Page 11: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/11.jpg)
Il linguaggio della teoria degli insiemi
Dato il linguaggio, si possono definire le formule:
Definizione. Siano x , y delle variabili.
I x = y , x ∈ y sono formule
I Se ϕ,ψ sono formule, anche ¬ϕ,ϕ ∨ ψ,ϕ ∧ ψ,ϕ⇒ ψ,ϕ⇔ ψ sonoformule
I Se ϕ e una formula, anche ∃xϕ,∀xϕ sono formule
![Page 12: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/12.jpg)
Gli assiomi di ZFC (primo blocco)
1. Estensionalita: ∀z(z ∈ x ⇔ z ∈ y)⇒ x = y
2. Fondazione: ∃x y ∈ x ⇒ ∃y(y ∈ x ∧ ¬∃z(z ∈ x ∧ z ∈ y))
3. Schema di separazione: Per ogni formula ϕ:∃y∀x(x ∈ y ⇔ x ∈ z ∧ ϕ)
4. Coppia: ∃z(x ∈ z ∧ y ∈ z)
5. Unione: ∃A∀Y ∀x(x ∈ Y ∧ Y ∈ F ⇒ x ∈ A)
6. Schema di rimpiazzamento: Per ogni formula ϕ:∀x ∈ A ∃!yϕ⇒ ∃Y ∀x ∈ A ∃y ∈ Y ϕ
Gli assiomi 1–6 permettono di sviluppare le proprieta elementari dellateoria degli insiemi. Questo facilita anche l’enunciazione degli assiomirestanti.
![Page 13: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/13.jpg)
Gli assiomi di ZFC (primo blocco)
1. Estensionalita: ∀z(z ∈ x ⇔ z ∈ y)⇒ x = y
2. Fondazione: ∃x y ∈ x ⇒ ∃y(y ∈ x ∧ ¬∃z(z ∈ x ∧ z ∈ y))
3. Schema di separazione: Per ogni formula ϕ:∃y∀x(x ∈ y ⇔ x ∈ z ∧ ϕ)
4. Coppia: ∃z(x ∈ z ∧ y ∈ z)
5. Unione: ∃A∀Y ∀x(x ∈ Y ∧ Y ∈ F ⇒ x ∈ A)
6. Schema di rimpiazzamento: Per ogni formula ϕ:∀x ∈ A ∃!yϕ⇒ ∃Y ∀x ∈ A ∃y ∈ Y ϕ
Gli assiomi 1–6 permettono di sviluppare le proprieta elementari dellateoria degli insiemi. Questo facilita anche l’enunciazione degli assiomirestanti.
![Page 14: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/14.jpg)
Gli assiomi di ZFC (primo blocco)
1. Estensionalita: ∀z(z ∈ x ⇔ z ∈ y)⇒ x = y
2. Fondazione: ∃x y ∈ x ⇒ ∃y(y ∈ x ∧ ¬∃z(z ∈ x ∧ z ∈ y))
3. Schema di separazione: Per ogni formula ϕ:∃y∀x(x ∈ y ⇔ x ∈ z ∧ ϕ)
4. Coppia: ∃z(x ∈ z ∧ y ∈ z)
5. Unione: ∃A∀Y ∀x(x ∈ Y ∧ Y ∈ F ⇒ x ∈ A)
6. Schema di rimpiazzamento: Per ogni formula ϕ:∀x ∈ A ∃!yϕ⇒ ∃Y ∀x ∈ A ∃y ∈ Y ϕ
Gli assiomi 1–6 permettono di sviluppare le proprieta elementari dellateoria degli insiemi. Questo facilita anche l’enunciazione degli assiomirestanti.
![Page 15: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/15.jpg)
Gli assiomi di ZFC (primo blocco)
1. Estensionalita: ∀z(z ∈ x ⇔ z ∈ y)⇒ x = y
2. Fondazione: ∃x y ∈ x ⇒ ∃y(y ∈ x ∧ ¬∃z(z ∈ x ∧ z ∈ y))
3. Schema di separazione: Per ogni formula ϕ:∃y∀x(x ∈ y ⇔ x ∈ z ∧ ϕ)
4. Coppia: ∃z(x ∈ z ∧ y ∈ z)
5. Unione: ∃A∀Y ∀x(x ∈ Y ∧ Y ∈ F ⇒ x ∈ A)
6. Schema di rimpiazzamento: Per ogni formula ϕ:∀x ∈ A ∃!yϕ⇒ ∃Y ∀x ∈ A ∃y ∈ Y ϕ
Gli assiomi 1–6 permettono di sviluppare le proprieta elementari dellateoria degli insiemi. Questo facilita anche l’enunciazione degli assiomirestanti.
![Page 16: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/16.jpg)
Gli assiomi di ZFC (primo blocco)
1. Estensionalita: ∀z(z ∈ x ⇔ z ∈ y)⇒ x = y
2. Fondazione: ∃x y ∈ x ⇒ ∃y(y ∈ x ∧ ¬∃z(z ∈ x ∧ z ∈ y))
3. Schema di separazione: Per ogni formula ϕ:∃y∀x(x ∈ y ⇔ x ∈ z ∧ ϕ)
4. Coppia: ∃z(x ∈ z ∧ y ∈ z)
5. Unione: ∃A∀Y ∀x(x ∈ Y ∧ Y ∈ F ⇒ x ∈ A)
6. Schema di rimpiazzamento: Per ogni formula ϕ:∀x ∈ A ∃!yϕ⇒ ∃Y ∀x ∈ A ∃y ∈ Y ϕ
Gli assiomi 1–6 permettono di sviluppare le proprieta elementari dellateoria degli insiemi. Questo facilita anche l’enunciazione degli assiomirestanti.
![Page 17: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/17.jpg)
Gli assiomi di ZFC (primo blocco)
1. Estensionalita: ∀z(z ∈ x ⇔ z ∈ y)⇒ x = y
2. Fondazione: ∃x y ∈ x ⇒ ∃y(y ∈ x ∧ ¬∃z(z ∈ x ∧ z ∈ y))
3. Schema di separazione: Per ogni formula ϕ:∃y∀x(x ∈ y ⇔ x ∈ z ∧ ϕ)
4. Coppia: ∃z(x ∈ z ∧ y ∈ z)
5. Unione: ∃A∀Y ∀x(x ∈ Y ∧ Y ∈ F ⇒ x ∈ A)
6. Schema di rimpiazzamento: Per ogni formula ϕ:∀x ∈ A ∃!yϕ⇒ ∃Y ∀x ∈ A ∃y ∈ Y ϕ
Gli assiomi 1–6 permettono di sviluppare le proprieta elementari dellateoria degli insiemi. Questo facilita anche l’enunciazione degli assiomirestanti.
![Page 18: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/18.jpg)
Gli assiomi di ZFC (primo blocco)
1. Estensionalita: ∀z(z ∈ x ⇔ z ∈ y)⇒ x = y
2. Fondazione: ∃x y ∈ x ⇒ ∃y(y ∈ x ∧ ¬∃z(z ∈ x ∧ z ∈ y))
3. Schema di separazione: Per ogni formula ϕ:∃y∀x(x ∈ y ⇔ x ∈ z ∧ ϕ)
4. Coppia: ∃z(x ∈ z ∧ y ∈ z)
5. Unione: ∃A∀Y ∀x(x ∈ Y ∧ Y ∈ F ⇒ x ∈ A)
6. Schema di rimpiazzamento: Per ogni formula ϕ:∀x ∈ A ∃!yϕ⇒ ∃Y ∀x ∈ A ∃y ∈ Y ϕ
Gli assiomi 1–6 permettono di sviluppare le proprieta elementari dellateoria degli insiemi. Questo facilita anche l’enunciazione degli assiomirestanti.
![Page 19: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/19.jpg)
Primi sviluppi della teoria
Definizione.
I Insieme vuoto: y = ∅ ⇔ ∀x x /∈ y
I Inclusione: x ⊆ y ⇔ ∀z(z ∈ x ⇒ z ∈ y)
I Coppia ordinata: (x , y) = {{x}, {x , y}I Comprensione: y = {z ∈ x | ϕ(z)} ⇔ ∀z(z ∈ y ⇔ z ∈ x ∧ ϕ(z))
I Unione:⋃F =
⋃Y∈F Y = {x | ∃Y ∈ F x ∈ Y }
I Prodotto cartesiano: A× B = {(x , y) | x ∈ A, y ∈ B}
![Page 20: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/20.jpg)
Primi sviluppi della teoria
Definizione.
I Insieme vuoto: y = ∅ ⇔ ∀x x /∈ y
I Inclusione: x ⊆ y ⇔ ∀z(z ∈ x ⇒ z ∈ y)
I Coppia ordinata: (x , y) = {{x}, {x , y}I Comprensione: y = {z ∈ x | ϕ(z)} ⇔ ∀z(z ∈ y ⇔ z ∈ x ∧ ϕ(z))
I Unione:⋃F =
⋃Y∈F Y = {x | ∃Y ∈ F x ∈ Y }
I Prodotto cartesiano: A× B = {(x , y) | x ∈ A, y ∈ B}
![Page 21: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/21.jpg)
Primi sviluppi della teoria
Definizione.
I Insieme vuoto: y = ∅ ⇔ ∀x x /∈ y
I Inclusione: x ⊆ y ⇔ ∀z(z ∈ x ⇒ z ∈ y)
I Coppia ordinata: (x , y) = {{x}, {x , y}
I Comprensione: y = {z ∈ x | ϕ(z)} ⇔ ∀z(z ∈ y ⇔ z ∈ x ∧ ϕ(z))
I Unione:⋃F =
⋃Y∈F Y = {x | ∃Y ∈ F x ∈ Y }
I Prodotto cartesiano: A× B = {(x , y) | x ∈ A, y ∈ B}
![Page 22: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/22.jpg)
Primi sviluppi della teoria
Definizione.
I Insieme vuoto: y = ∅ ⇔ ∀x x /∈ y
I Inclusione: x ⊆ y ⇔ ∀z(z ∈ x ⇒ z ∈ y)
I Coppia ordinata: (x , y) = {{x}, {x , y}I Comprensione: y = {z ∈ x | ϕ(z)} ⇔ ∀z(z ∈ y ⇔ z ∈ x ∧ ϕ(z))
I Unione:⋃F =
⋃Y∈F Y = {x | ∃Y ∈ F x ∈ Y }
I Prodotto cartesiano: A× B = {(x , y) | x ∈ A, y ∈ B}
![Page 23: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/23.jpg)
Primi sviluppi della teoria
Definizione.
I Insieme vuoto: y = ∅ ⇔ ∀x x /∈ y
I Inclusione: x ⊆ y ⇔ ∀z(z ∈ x ⇒ z ∈ y)
I Coppia ordinata: (x , y) = {{x}, {x , y}I Comprensione: y = {z ∈ x | ϕ(z)} ⇔ ∀z(z ∈ y ⇔ z ∈ x ∧ ϕ(z))
I Unione:⋃F =
⋃Y∈F Y = {x | ∃Y ∈ F x ∈ Y }
I Prodotto cartesiano: A× B = {(x , y) | x ∈ A, y ∈ B}
![Page 24: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/24.jpg)
Primi sviluppi della teoria
Definizione.
I Insieme vuoto: y = ∅ ⇔ ∀x x /∈ y
I Inclusione: x ⊆ y ⇔ ∀z(z ∈ x ⇒ z ∈ y)
I Coppia ordinata: (x , y) = {{x}, {x , y}I Comprensione: y = {z ∈ x | ϕ(z)} ⇔ ∀z(z ∈ y ⇔ z ∈ x ∧ ϕ(z))
I Unione:⋃F =
⋃Y∈F Y = {x | ∃Y ∈ F x ∈ Y }
I Prodotto cartesiano: A× B = {(x , y) | x ∈ A, y ∈ B}
![Page 25: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/25.jpg)
Relazioni e funzioni
Definizione.
I R e una relazione se e un insieme di coppie ordinate
I domR = {x | ∃y(x , y) ∈ R}I f e una funzione se e una relazione e ∀x ∈ domf ∃!y(x , y) ∈ f . Tale
y e denotato f (x). Se domf = A e f ⊆ A× B, si scrive f : A→ B.Una tale f e biiettiva se ∀x , y ∈ A (x 6= y ⇒ f (x) 6= f (y)) e∀z ∈ B ∃x ∈ A f (x) = z .
I Se R,S sono relazioni, A,B sono insiemi ed f : A→ B, allora f e unisomorfismo tra (A,R) e (B,S) se f e biiettiva e∀x , y ∈ A (xRy ⇔ f (x)Sf (y))
I R e un ordine totale (stretto) su A se e irriflessiva (∀x ∈ A¬xRx),transitiva (∀x , y , z ∈ A (xRy ∧ yRz → xRz)) e totale(∀x , y ∈ A (x = y ∨ xRy ∨ yRx))
I . . .
Si puo dunque in questo frammento di ZFC cominciare a sviluppare lamatematica ordinaria (per garantire l’esistenza di altri enti importanti inmatematica c’e bisogno degli altri assiomi). Ma la teoria risultaabbastanza interessante da studiare per interesse indipendente.
![Page 26: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/26.jpg)
Relazioni e funzioni
Definizione.
I R e una relazione se e un insieme di coppie ordinate
I domR = {x | ∃y(x , y) ∈ R}
I f e una funzione se e una relazione e ∀x ∈ domf ∃!y(x , y) ∈ f . Taley e denotato f (x). Se domf = A e f ⊆ A× B, si scrive f : A→ B.Una tale f e biiettiva se ∀x , y ∈ A (x 6= y ⇒ f (x) 6= f (y)) e∀z ∈ B ∃x ∈ A f (x) = z .
I Se R,S sono relazioni, A,B sono insiemi ed f : A→ B, allora f e unisomorfismo tra (A,R) e (B,S) se f e biiettiva e∀x , y ∈ A (xRy ⇔ f (x)Sf (y))
I R e un ordine totale (stretto) su A se e irriflessiva (∀x ∈ A¬xRx),transitiva (∀x , y , z ∈ A (xRy ∧ yRz → xRz)) e totale(∀x , y ∈ A (x = y ∨ xRy ∨ yRx))
I . . .
Si puo dunque in questo frammento di ZFC cominciare a sviluppare lamatematica ordinaria (per garantire l’esistenza di altri enti importanti inmatematica c’e bisogno degli altri assiomi). Ma la teoria risultaabbastanza interessante da studiare per interesse indipendente.
![Page 27: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/27.jpg)
Relazioni e funzioni
Definizione.
I R e una relazione se e un insieme di coppie ordinate
I domR = {x | ∃y(x , y) ∈ R}I f e una funzione se e una relazione e ∀x ∈ domf ∃!y(x , y) ∈ f . Tale
y e denotato f (x). Se domf = A e f ⊆ A× B, si scrive f : A→ B.Una tale f e biiettiva se ∀x , y ∈ A (x 6= y ⇒ f (x) 6= f (y)) e∀z ∈ B ∃x ∈ A f (x) = z .
I Se R,S sono relazioni, A,B sono insiemi ed f : A→ B, allora f e unisomorfismo tra (A,R) e (B,S) se f e biiettiva e∀x , y ∈ A (xRy ⇔ f (x)Sf (y))
I R e un ordine totale (stretto) su A se e irriflessiva (∀x ∈ A¬xRx),transitiva (∀x , y , z ∈ A (xRy ∧ yRz → xRz)) e totale(∀x , y ∈ A (x = y ∨ xRy ∨ yRx))
I . . .
Si puo dunque in questo frammento di ZFC cominciare a sviluppare lamatematica ordinaria (per garantire l’esistenza di altri enti importanti inmatematica c’e bisogno degli altri assiomi). Ma la teoria risultaabbastanza interessante da studiare per interesse indipendente.
![Page 28: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/28.jpg)
Relazioni e funzioni
Definizione.
I R e una relazione se e un insieme di coppie ordinate
I domR = {x | ∃y(x , y) ∈ R}I f e una funzione se e una relazione e ∀x ∈ domf ∃!y(x , y) ∈ f . Tale
y e denotato f (x). Se domf = A e f ⊆ A× B, si scrive f : A→ B.Una tale f e biiettiva se ∀x , y ∈ A (x 6= y ⇒ f (x) 6= f (y)) e∀z ∈ B ∃x ∈ A f (x) = z .
I Se R,S sono relazioni, A,B sono insiemi ed f : A→ B, allora f e unisomorfismo tra (A,R) e (B,S) se f e biiettiva e∀x , y ∈ A (xRy ⇔ f (x)Sf (y))
I R e un ordine totale (stretto) su A se e irriflessiva (∀x ∈ A¬xRx),transitiva (∀x , y , z ∈ A (xRy ∧ yRz → xRz)) e totale(∀x , y ∈ A (x = y ∨ xRy ∨ yRx))
I . . .
Si puo dunque in questo frammento di ZFC cominciare a sviluppare lamatematica ordinaria (per garantire l’esistenza di altri enti importanti inmatematica c’e bisogno degli altri assiomi). Ma la teoria risultaabbastanza interessante da studiare per interesse indipendente.
![Page 29: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/29.jpg)
Relazioni e funzioni
Definizione.
I R e una relazione se e un insieme di coppie ordinate
I domR = {x | ∃y(x , y) ∈ R}I f e una funzione se e una relazione e ∀x ∈ domf ∃!y(x , y) ∈ f . Tale
y e denotato f (x). Se domf = A e f ⊆ A× B, si scrive f : A→ B.Una tale f e biiettiva se ∀x , y ∈ A (x 6= y ⇒ f (x) 6= f (y)) e∀z ∈ B ∃x ∈ A f (x) = z .
I Se R,S sono relazioni, A,B sono insiemi ed f : A→ B, allora f e unisomorfismo tra (A,R) e (B,S) se f e biiettiva e∀x , y ∈ A (xRy ⇔ f (x)Sf (y))
I R e un ordine totale (stretto) su A se e irriflessiva (∀x ∈ A¬xRx),transitiva (∀x , y , z ∈ A (xRy ∧ yRz → xRz)) e totale(∀x , y ∈ A (x = y ∨ xRy ∨ yRx))
I . . .
Si puo dunque in questo frammento di ZFC cominciare a sviluppare lamatematica ordinaria (per garantire l’esistenza di altri enti importanti inmatematica c’e bisogno degli altri assiomi). Ma la teoria risultaabbastanza interessante da studiare per interesse indipendente.
![Page 30: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/30.jpg)
Relazioni e funzioni
Definizione.
I R e una relazione se e un insieme di coppie ordinate
I domR = {x | ∃y(x , y) ∈ R}I f e una funzione se e una relazione e ∀x ∈ domf ∃!y(x , y) ∈ f . Tale
y e denotato f (x). Se domf = A e f ⊆ A× B, si scrive f : A→ B.Una tale f e biiettiva se ∀x , y ∈ A (x 6= y ⇒ f (x) 6= f (y)) e∀z ∈ B ∃x ∈ A f (x) = z .
I Se R,S sono relazioni, A,B sono insiemi ed f : A→ B, allora f e unisomorfismo tra (A,R) e (B,S) se f e biiettiva e∀x , y ∈ A (xRy ⇔ f (x)Sf (y))
I R e un ordine totale (stretto) su A se e irriflessiva (∀x ∈ A¬xRx),transitiva (∀x , y , z ∈ A (xRy ∧ yRz → xRz)) e totale(∀x , y ∈ A (x = y ∨ xRy ∨ yRx))
I . . .
Si puo dunque in questo frammento di ZFC cominciare a sviluppare lamatematica ordinaria (per garantire l’esistenza di altri enti importanti inmatematica c’e bisogno degli altri assiomi). Ma la teoria risultaabbastanza interessante da studiare per interesse indipendente.
![Page 31: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/31.jpg)
Relazioni e funzioni
Definizione.
I R e una relazione se e un insieme di coppie ordinate
I domR = {x | ∃y(x , y) ∈ R}I f e una funzione se e una relazione e ∀x ∈ domf ∃!y(x , y) ∈ f . Tale
y e denotato f (x). Se domf = A e f ⊆ A× B, si scrive f : A→ B.Una tale f e biiettiva se ∀x , y ∈ A (x 6= y ⇒ f (x) 6= f (y)) e∀z ∈ B ∃x ∈ A f (x) = z .
I Se R,S sono relazioni, A,B sono insiemi ed f : A→ B, allora f e unisomorfismo tra (A,R) e (B,S) se f e biiettiva e∀x , y ∈ A (xRy ⇔ f (x)Sf (y))
I R e un ordine totale (stretto) su A se e irriflessiva (∀x ∈ A¬xRx),transitiva (∀x , y , z ∈ A (xRy ∧ yRz → xRz)) e totale(∀x , y ∈ A (x = y ∨ xRy ∨ yRx))
I . . .
Si puo dunque in questo frammento di ZFC cominciare a sviluppare lamatematica ordinaria (per garantire l’esistenza di altri enti importanti inmatematica c’e bisogno degli altri assiomi). Ma la teoria risultaabbastanza interessante da studiare per interesse indipendente.
![Page 32: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/32.jpg)
Buoni ordini
Un concetto importante in molte aree della matematica e fondamentalein teoria degli insiemi e quello di buon ordine.
Definizione. Una relazione d’ordine (A,R) e un buon ordine se ognisottoinsieme non vuoto B ⊆ A ha un elemento minimo rispetto a R.
Lemma. Se (A,R) e un buon ordine e a ∈ A, allora (A,R) non eisomorfo al suo segmento iniziale ({x ∈ A | xRa},R).
Dimostrazione. Se f : A→ {x ∈ A | xRa} e un isomorfismo, l’elementomin{y ∈ A | f (y) 6= y} produce una contraddizione.
Lemma. Se (A,R), (B,S) sono buoni ordini isomorfi, l’isomorfismo traloro e unico.
Dimostrazione. Se f , g : A→ B sono isomorfismi, l’esistenza dimin{y ∈ A | f (y) 6= g(y)} fornisce una contraddizione.
![Page 33: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/33.jpg)
Buoni ordini
Un concetto importante in molte aree della matematica e fondamentalein teoria degli insiemi e quello di buon ordine.
Definizione. Una relazione d’ordine (A,R) e un buon ordine se ognisottoinsieme non vuoto B ⊆ A ha un elemento minimo rispetto a R.
Lemma. Se (A,R) e un buon ordine e a ∈ A, allora (A,R) non eisomorfo al suo segmento iniziale ({x ∈ A | xRa},R).
Dimostrazione. Se f : A→ {x ∈ A | xRa} e un isomorfismo, l’elementomin{y ∈ A | f (y) 6= y} produce una contraddizione.
Lemma. Se (A,R), (B,S) sono buoni ordini isomorfi, l’isomorfismo traloro e unico.
Dimostrazione. Se f , g : A→ B sono isomorfismi, l’esistenza dimin{y ∈ A | f (y) 6= g(y)} fornisce una contraddizione.
![Page 34: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/34.jpg)
Buoni ordini
Un concetto importante in molte aree della matematica e fondamentalein teoria degli insiemi e quello di buon ordine.
Definizione. Una relazione d’ordine (A,R) e un buon ordine se ognisottoinsieme non vuoto B ⊆ A ha un elemento minimo rispetto a R.
Lemma. Se (A,R) e un buon ordine e a ∈ A, allora (A,R) non eisomorfo al suo segmento iniziale ({x ∈ A | xRa},R).
Dimostrazione. Se f : A→ {x ∈ A | xRa} e un isomorfismo, l’elementomin{y ∈ A | f (y) 6= y} produce una contraddizione.
Lemma. Se (A,R), (B,S) sono buoni ordini isomorfi, l’isomorfismo traloro e unico.
Dimostrazione. Se f , g : A→ B sono isomorfismi, l’esistenza dimin{y ∈ A | f (y) 6= g(y)} fornisce una contraddizione.
![Page 35: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/35.jpg)
Buoni ordini
Un concetto importante in molte aree della matematica e fondamentalein teoria degli insiemi e quello di buon ordine.
Definizione. Una relazione d’ordine (A,R) e un buon ordine se ognisottoinsieme non vuoto B ⊆ A ha un elemento minimo rispetto a R.
Lemma. Se (A,R) e un buon ordine e a ∈ A, allora (A,R) non eisomorfo al suo segmento iniziale ({x ∈ A | xRa},R).
Dimostrazione. Se f : A→ {x ∈ A | xRa} e un isomorfismo, l’elementomin{y ∈ A | f (y) 6= y} produce una contraddizione.
Lemma. Se (A,R), (B,S) sono buoni ordini isomorfi, l’isomorfismo traloro e unico.
Dimostrazione. Se f , g : A→ B sono isomorfismi, l’esistenza dimin{y ∈ A | f (y) 6= g(y)} fornisce una contraddizione.
![Page 36: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/36.jpg)
Buoni ordini
Teorema. Se (A,R), (B,S) sono buoni ordini, vale esattamente unadelle alternative seguenti:
1. (A,R), (B,S) sono isomorfi
2. (A,R), ({y ∈ B | ySb},S) sono isomorfi, per qualche b ∈ B
3. ({x ∈ A | xRa},R), (B,S) sono isomorfi, per qualche a ∈ A
Dimostrazione. Sia
f = {(a, b) ∈ A× B | {x ∈ A | xRa} ' {y ∈ B | ySb}}.
Allora f e un isomorfismo tra un segmento iniziale di A e un segmentoiniziale di B, e non possono essere entrambi propri.
![Page 37: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/37.jpg)
Buoni ordini
Teorema. Se (A,R), (B,S) sono buoni ordini, vale esattamente unadelle alternative seguenti:
1. (A,R), (B,S) sono isomorfi
2. (A,R), ({y ∈ B | ySb},S) sono isomorfi, per qualche b ∈ B
3. ({x ∈ A | xRa},R), (B,S) sono isomorfi, per qualche a ∈ A
Dimostrazione. Sia
f = {(a, b) ∈ A× B | {x ∈ A | xRa} ' {y ∈ B | ySb}}.
Allora f e un isomorfismo tra un segmento iniziale di A e un segmentoiniziale di B, e non possono essere entrambi propri.
![Page 38: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/38.jpg)
Ordinali
Definizione.
I Un insieme x e transitivo se ogni elemento di x e sottoinsieme di x :∀y ∈ x y ⊆ x
I x e un numero ordinale se e transitivo e la relazione ∈ e un buonordine su x
Esempi d’ordinali (i numeri naturali)
I 0 = ∅I 1 = {0}I 2 = {0, 1} = {∅, {∅}}I 3 = {0, 1, 2} = {∅, {∅}, {∅, {∅}}}I . . .
Con gli assiomi introdotti finora non si puo dimostrare l’esistenza di altriordinali.
![Page 39: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/39.jpg)
Ordinali
Definizione.
I Un insieme x e transitivo se ogni elemento di x e sottoinsieme di x :∀y ∈ x y ⊆ x
I x e un numero ordinale se e transitivo e la relazione ∈ e un buonordine su x
Esempi d’ordinali (i numeri naturali)
I 0 = ∅I 1 = {0}I 2 = {0, 1} = {∅, {∅}}I 3 = {0, 1, 2} = {∅, {∅}, {∅, {∅}}}I . . .
Con gli assiomi introdotti finora non si puo dimostrare l’esistenza di altriordinali.
![Page 40: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/40.jpg)
Ordinali
Definizione.
I Un insieme x e transitivo se ogni elemento di x e sottoinsieme di x :∀y ∈ x y ⊆ x
I x e un numero ordinale se e transitivo e la relazione ∈ e un buonordine su x
Esempi d’ordinali (i numeri naturali)
I 0 = ∅
I 1 = {0}I 2 = {0, 1} = {∅, {∅}}I 3 = {0, 1, 2} = {∅, {∅}, {∅, {∅}}}I . . .
Con gli assiomi introdotti finora non si puo dimostrare l’esistenza di altriordinali.
![Page 41: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/41.jpg)
Ordinali
Definizione.
I Un insieme x e transitivo se ogni elemento di x e sottoinsieme di x :∀y ∈ x y ⊆ x
I x e un numero ordinale se e transitivo e la relazione ∈ e un buonordine su x
Esempi d’ordinali (i numeri naturali)
I 0 = ∅I 1 = {0}
I 2 = {0, 1} = {∅, {∅}}I 3 = {0, 1, 2} = {∅, {∅}, {∅, {∅}}}I . . .
Con gli assiomi introdotti finora non si puo dimostrare l’esistenza di altriordinali.
![Page 42: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/42.jpg)
Ordinali
Definizione.
I Un insieme x e transitivo se ogni elemento di x e sottoinsieme di x :∀y ∈ x y ⊆ x
I x e un numero ordinale se e transitivo e la relazione ∈ e un buonordine su x
Esempi d’ordinali (i numeri naturali)
I 0 = ∅I 1 = {0}I 2 = {0, 1} = {∅, {∅}}
I 3 = {0, 1, 2} = {∅, {∅}, {∅, {∅}}}I . . .
Con gli assiomi introdotti finora non si puo dimostrare l’esistenza di altriordinali.
![Page 43: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/43.jpg)
Ordinali
Definizione.
I Un insieme x e transitivo se ogni elemento di x e sottoinsieme di x :∀y ∈ x y ⊆ x
I x e un numero ordinale se e transitivo e la relazione ∈ e un buonordine su x
Esempi d’ordinali (i numeri naturali)
I 0 = ∅I 1 = {0}I 2 = {0, 1} = {∅, {∅}}I 3 = {0, 1, 2} = {∅, {∅}, {∅, {∅}}}
I . . .
Con gli assiomi introdotti finora non si puo dimostrare l’esistenza di altriordinali.
![Page 44: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/44.jpg)
Ordinali
Definizione.
I Un insieme x e transitivo se ogni elemento di x e sottoinsieme di x :∀y ∈ x y ⊆ x
I x e un numero ordinale se e transitivo e la relazione ∈ e un buonordine su x
Esempi d’ordinali (i numeri naturali)
I 0 = ∅I 1 = {0}I 2 = {0, 1} = {∅, {∅}}I 3 = {0, 1, 2} = {∅, {∅}, {∅, {∅}}}I . . .
Con gli assiomi introdotti finora non si puo dimostrare l’esistenza di altriordinali.
![Page 45: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/45.jpg)
Ordinali
Teorema.
1. Se x e un ordinale e y ∈ x , allora y e un ordinale e y e l’insieme dei∈-predecessori di se stesso in x
2. Se x , y sono ordinali e x ' y , allora x = y
3. Se x , y sono ordinali, esattamente una delle seguenti alternativevale: x ∈ y , x = y , y ∈ x
4. Se x , y , z sono ordinali e x ∈ y , y ∈ z , allora x ∈ z
5. Se C e un insieme non vuoto di ordinali, allora∃x ∈ C ∀y ∈ C (x = y ∨ x ∈ y)
6. Se ϕ e una formula soddisfatta da almeno un ordinale, allora c’e unminimo ordinale che la soddisfa
Dimostrazione. (5) Sia x ∈ C . Se x ∩ C = ∅, allora x e ∈-minimo in C .Altrimenti min(x ∩ C ) = min C .(6) Simile a (5). Si esprime anche dicendo che ogni classe non vuota diordinali ha un minimo.
![Page 46: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/46.jpg)
Ordinali
Teorema.
1. Se x e un ordinale e y ∈ x , allora y e un ordinale e y e l’insieme dei∈-predecessori di se stesso in x
2. Se x , y sono ordinali e x ' y , allora x = y
3. Se x , y sono ordinali, esattamente una delle seguenti alternativevale: x ∈ y , x = y , y ∈ x
4. Se x , y , z sono ordinali e x ∈ y , y ∈ z , allora x ∈ z
5. Se C e un insieme non vuoto di ordinali, allora∃x ∈ C ∀y ∈ C (x = y ∨ x ∈ y)
6. Se ϕ e una formula soddisfatta da almeno un ordinale, allora c’e unminimo ordinale che la soddisfa
Dimostrazione. (5) Sia x ∈ C . Se x ∩ C = ∅, allora x e ∈-minimo in C .Altrimenti min(x ∩ C ) = min C .(6) Simile a (5). Si esprime anche dicendo che ogni classe non vuota diordinali ha un minimo.
![Page 47: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/47.jpg)
Ordinali
Teorema.
1. Se x e un ordinale e y ∈ x , allora y e un ordinale e y e l’insieme dei∈-predecessori di se stesso in x
2. Se x , y sono ordinali e x ' y , allora x = y
3. Se x , y sono ordinali, esattamente una delle seguenti alternativevale: x ∈ y , x = y , y ∈ x
4. Se x , y , z sono ordinali e x ∈ y , y ∈ z , allora x ∈ z
5. Se C e un insieme non vuoto di ordinali, allora∃x ∈ C ∀y ∈ C (x = y ∨ x ∈ y)
6. Se ϕ e una formula soddisfatta da almeno un ordinale, allora c’e unminimo ordinale che la soddisfa
Dimostrazione. (5) Sia x ∈ C . Se x ∩ C = ∅, allora x e ∈-minimo in C .Altrimenti min(x ∩ C ) = min C .(6) Simile a (5). Si esprime anche dicendo che ogni classe non vuota diordinali ha un minimo.
![Page 48: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/48.jpg)
Ordinali
Teorema.
1. Se x e un ordinale e y ∈ x , allora y e un ordinale e y e l’insieme dei∈-predecessori di se stesso in x
2. Se x , y sono ordinali e x ' y , allora x = y
3. Se x , y sono ordinali, esattamente una delle seguenti alternativevale: x ∈ y , x = y , y ∈ x
4. Se x , y , z sono ordinali e x ∈ y , y ∈ z , allora x ∈ z
5. Se C e un insieme non vuoto di ordinali, allora∃x ∈ C ∀y ∈ C (x = y ∨ x ∈ y)
6. Se ϕ e una formula soddisfatta da almeno un ordinale, allora c’e unminimo ordinale che la soddisfa
Dimostrazione. (5) Sia x ∈ C . Se x ∩ C = ∅, allora x e ∈-minimo in C .Altrimenti min(x ∩ C ) = min C .(6) Simile a (5). Si esprime anche dicendo che ogni classe non vuota diordinali ha un minimo.
![Page 49: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/49.jpg)
Ordinali
Teorema.
1. Se x e un ordinale e y ∈ x , allora y e un ordinale e y e l’insieme dei∈-predecessori di se stesso in x
2. Se x , y sono ordinali e x ' y , allora x = y
3. Se x , y sono ordinali, esattamente una delle seguenti alternativevale: x ∈ y , x = y , y ∈ x
4. Se x , y , z sono ordinali e x ∈ y , y ∈ z , allora x ∈ z
5. Se C e un insieme non vuoto di ordinali, allora∃x ∈ C ∀y ∈ C (x = y ∨ x ∈ y)
6. Se ϕ e una formula soddisfatta da almeno un ordinale, allora c’e unminimo ordinale che la soddisfa
Dimostrazione. (5) Sia x ∈ C . Se x ∩ C = ∅, allora x e ∈-minimo in C .Altrimenti min(x ∩ C ) = min C .(6) Simile a (5). Si esprime anche dicendo che ogni classe non vuota diordinali ha un minimo.
![Page 50: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/50.jpg)
Ordinali
Lemma. Se A e un insieme transitivo di ordinali, allora A e un ordinale.
Teorema. Se (A,R) e un buon ordine, allora c’e un unico ordinale Cisomorfo a (A,R).
Dimostrazione. (Esistenza) Siano
B = {a ∈ A | ∃x (x e un ordinale e {b ∈ A | bRa} ' x)}f (a) = l’unico x tale che {b ∈ A | bRa} ' x .
Se C = imf e l’immagine di f , per il lemma precedente C e un ordinale ef : B → C e un isomorfismo. Se fosse B 6= A, sia m = min(A \ B).Allora B = {a ∈ A | aRm}, da cui m ∈ B, contraddizione.
Gli ordinali sono dunque rappresentanti dei tipi d’ordine dei buoni ordini.
![Page 51: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/51.jpg)
Ordinali
Lemma. Se A e un insieme transitivo di ordinali, allora A e un ordinale.
Teorema. Se (A,R) e un buon ordine, allora c’e un unico ordinale Cisomorfo a (A,R).
Dimostrazione. (Esistenza) Siano
B = {a ∈ A | ∃x (x e un ordinale e {b ∈ A | bRa} ' x)}f (a) = l’unico x tale che {b ∈ A | bRa} ' x .
Se C = imf e l’immagine di f , per il lemma precedente C e un ordinale ef : B → C e un isomorfismo. Se fosse B 6= A, sia m = min(A \ B).Allora B = {a ∈ A | aRm}, da cui m ∈ B, contraddizione.
Gli ordinali sono dunque rappresentanti dei tipi d’ordine dei buoni ordini.
![Page 52: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/52.jpg)
Ordinali
Lemma. Se A e un insieme transitivo di ordinali, allora A e un ordinale.
Teorema. Se (A,R) e un buon ordine, allora c’e un unico ordinale Cisomorfo a (A,R).
Dimostrazione. (Esistenza) Siano
B = {a ∈ A | ∃x (x e un ordinale e {b ∈ A | bRa} ' x)}f (a) = l’unico x tale che {b ∈ A | bRa} ' x .
Se C = imf e l’immagine di f , per il lemma precedente C e un ordinale ef : B → C e un isomorfismo. Se fosse B 6= A, sia m = min(A \ B).Allora B = {a ∈ A | aRm}, da cui m ∈ B, contraddizione.
Gli ordinali sono dunque rappresentanti dei tipi d’ordine dei buoni ordini.
![Page 53: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/53.jpg)
Ordinali
Lemma. Se A e un insieme transitivo di ordinali, allora A e un ordinale.
Teorema. Se (A,R) e un buon ordine, allora c’e un unico ordinale Cisomorfo a (A,R).
Dimostrazione. (Esistenza) Siano
B = {a ∈ A | ∃x (x e un ordinale e {b ∈ A | bRa} ' x)}f (a) = l’unico x tale che {b ∈ A | bRa} ' x .
Se C = imf e l’immagine di f , per il lemma precedente C e un ordinale ef : B → C e un isomorfismo. Se fosse B 6= A, sia m = min(A \ B).Allora B = {a ∈ A | aRm}, da cui m ∈ B, contraddizione.
Gli ordinali sono dunque rappresentanti dei tipi d’ordine dei buoni ordini.
![Page 54: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/54.jpg)
Ordinali
La relazione α ∈ β tra ordinali si scrive di solito α < β.α ≤ β significa α = β ∨ α < β.
Lemma. Per ogni α, β ordinali, α ≤ β ⇔ α ⊆ β.
Definizione. Il successore di un ordinale α e Sα = α ∪ {α}.
Lemma. Per ogni ordinale α:
I S(α) e un ordinale
I α < Sα
I ∀β(β < Sα⇔ β ≤ α)
Inoltre, se X e un insieme non vuoto di ordinali, sup X =⋃
X .
![Page 55: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/55.jpg)
Ordinali
La relazione α ∈ β tra ordinali si scrive di solito α < β.α ≤ β significa α = β ∨ α < β.
Lemma. Per ogni α, β ordinali, α ≤ β ⇔ α ⊆ β.
Definizione. Il successore di un ordinale α e Sα = α ∪ {α}.
Lemma. Per ogni ordinale α:
I S(α) e un ordinale
I α < Sα
I ∀β(β < Sα⇔ β ≤ α)
Inoltre, se X e un insieme non vuoto di ordinali, sup X =⋃
X .
![Page 56: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/56.jpg)
Ordinali
La relazione α ∈ β tra ordinali si scrive di solito α < β.α ≤ β significa α = β ∨ α < β.
Lemma. Per ogni α, β ordinali, α ≤ β ⇔ α ⊆ β.
Definizione. Il successore di un ordinale α e Sα = α ∪ {α}.
Lemma. Per ogni ordinale α:
I S(α) e un ordinale
I α < Sα
I ∀β(β < Sα⇔ β ≤ α)
Inoltre, se X e un insieme non vuoto di ordinali, sup X =⋃
X .
![Page 57: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/57.jpg)
Ordinali
La relazione α ∈ β tra ordinali si scrive di solito α < β.α ≤ β significa α = β ∨ α < β.
Lemma. Per ogni α, β ordinali, α ≤ β ⇔ α ⊆ β.
Definizione. Il successore di un ordinale α e Sα = α ∪ {α}.
Lemma. Per ogni ordinale α:
I S(α) e un ordinale
I α < Sα
I ∀β(β < Sα⇔ β ≤ α)
Inoltre, se X e un insieme non vuoto di ordinali, sup X =⋃
X .
![Page 58: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/58.jpg)
Ordinali
La relazione α ∈ β tra ordinali si scrive di solito α < β.α ≤ β significa α = β ∨ α < β.
Lemma. Per ogni α, β ordinali, α ≤ β ⇔ α ⊆ β.
Definizione. Il successore di un ordinale α e Sα = α ∪ {α}.
Lemma. Per ogni ordinale α:
I S(α) e un ordinale
I α < Sα
I ∀β(β < Sα⇔ β ≤ α)
Inoltre, se X e un insieme non vuoto di ordinali, sup X =⋃
X .
![Page 59: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/59.jpg)
Ordinali
La relazione α ∈ β tra ordinali si scrive di solito α < β.α ≤ β significa α = β ∨ α < β.
Lemma. Per ogni α, β ordinali, α ≤ β ⇔ α ⊆ β.
Definizione. Il successore di un ordinale α e Sα = α ∪ {α}.
Lemma. Per ogni ordinale α:
I S(α) e un ordinale
I α < Sα
I ∀β(β < Sα⇔ β ≤ α)
Inoltre, se X e un insieme non vuoto di ordinali, sup X =⋃
X .
![Page 60: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/60.jpg)
Ordinali
La relazione α ∈ β tra ordinali si scrive di solito α < β.α ≤ β significa α = β ∨ α < β.
Lemma. Per ogni α, β ordinali, α ≤ β ⇔ α ⊆ β.
Definizione. Il successore di un ordinale α e Sα = α ∪ {α}.
Lemma. Per ogni ordinale α:
I S(α) e un ordinale
I α < Sα
I ∀β(β < Sα⇔ β ≤ α)
Inoltre, se X e un insieme non vuoto di ordinali, sup X =⋃
X .
![Page 61: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/61.jpg)
Ordinali
Definizione. Un ordinale α e
I un ordinale successore se α = Sβ per qualche β
I un ordinale limite se non e 0 ne un ordinale sucessore
Definizione. α e un numero naturale se∀β ≤ α (β = 0 ∨ β e successore).
I naturali formano quindi un segmento iniziale degli ordinali.
![Page 62: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/62.jpg)
Ordinali
Definizione. Un ordinale α e
I un ordinale successore se α = Sβ per qualche β
I un ordinale limite se non e 0 ne un ordinale sucessore
Definizione. α e un numero naturale se∀β ≤ α (β = 0 ∨ β e successore).
I naturali formano quindi un segmento iniziale degli ordinali.
![Page 63: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/63.jpg)
Ordinali
Definizione. Un ordinale α e
I un ordinale successore se α = Sβ per qualche β
I un ordinale limite se non e 0 ne un ordinale sucessore
Definizione. α e un numero naturale se∀β ≤ α (β = 0 ∨ β e successore).
I naturali formano quindi un segmento iniziale degli ordinali.
![Page 64: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/64.jpg)
Operazioni sugli ordinali
Si definiscono, per induzione transfinita, alcune operazioni sugli ordinali(che coincidono sui naturali con le corrispondenti operazioni aritmetiche):
Addizione.
I α + 0 = α
I α + Sβ = S(α + β)
I Se λ e un ordinale limite, α + λ = sup{α + β | β < λ}α + β e il tipo d’ordine di un’unione disgiunta di un tipo d’ordine α conin coda un tipo d’ordine β.
Per esempio, α + 1 = Sα.
![Page 65: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/65.jpg)
Operazioni sugli ordinali
Si definiscono, per induzione transfinita, alcune operazioni sugli ordinali(che coincidono sui naturali con le corrispondenti operazioni aritmetiche):
Addizione.
I α + 0 = α
I α + Sβ = S(α + β)
I Se λ e un ordinale limite, α + λ = sup{α + β | β < λ}
α + β e il tipo d’ordine di un’unione disgiunta di un tipo d’ordine α conin coda un tipo d’ordine β.
Per esempio, α + 1 = Sα.
![Page 66: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/66.jpg)
Operazioni sugli ordinali
Si definiscono, per induzione transfinita, alcune operazioni sugli ordinali(che coincidono sui naturali con le corrispondenti operazioni aritmetiche):
Addizione.
I α + 0 = α
I α + Sβ = S(α + β)
I Se λ e un ordinale limite, α + λ = sup{α + β | β < λ}α + β e il tipo d’ordine di un’unione disgiunta di un tipo d’ordine α conin coda un tipo d’ordine β.
Per esempio, α + 1 = Sα.
![Page 67: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/67.jpg)
Operazioni sugli ordinali
Moltiplicazione
I α0 = 0
I αSβ = αβ + α
I Se λ e un ordinale limite, αλ = sup{αβ | β < λ}
αβ e il tipo d’ordine di α× β ordinato antilessicograficamente.
Esponenziazione.
I α0 = 1
I αβ+1 = αβα
I Se λ e un ordinale limite, αλ = sup{αβ | β < λ}
![Page 68: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/68.jpg)
Operazioni sugli ordinali
Moltiplicazione
I α0 = 0
I αSβ = αβ + α
I Se λ e un ordinale limite, αλ = sup{αβ | β < λ}αβ e il tipo d’ordine di α× β ordinato antilessicograficamente.
Esponenziazione.
I α0 = 1
I αβ+1 = αβα
I Se λ e un ordinale limite, αλ = sup{αβ | β < λ}
![Page 69: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/69.jpg)
Operazioni sugli ordinali
Moltiplicazione
I α0 = 0
I αSβ = αβ + α
I Se λ e un ordinale limite, αλ = sup{αβ | β < λ}αβ e il tipo d’ordine di α× β ordinato antilessicograficamente.
Esponenziazione.
I α0 = 1
I αβ+1 = αβα
I Se λ e un ordinale limite, αλ = sup{αβ | β < λ}
![Page 70: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/70.jpg)
Gli assiomi di ZFC (secondo blocco)
7. Infinito: ∃x(0 ∈ x | ∀y ∈ x Sy ∈ x)
8. Potenza: ∃y∀z(z ⊆ x ⇒ z ∈ y)
9. Scelta: ∃f : F →⋃F ∀X ∈ F (X 6= ∅ ⇒ f (X ) ∈ X )
L’assioma della scelta e equivalente alPrincipio del buon ordinamento. Ogni insieme e bene ordinabile.Lemma di Zorn. Se A e un insieme (parzialmente) ordinato tale cheogni suo sottoinsieme totalmente ordinato ha un maggiorante, allora Aha un elemento massimale.
(Un ordine parziale ≤ e una relazione riflessiva: ∀x x ≤ x ; transitiva:∀x , y , z (x ≤ y ∧ y ≤ z ⇒ x ≤ z); antisimmetrica:∀x , y (x ≤ y ∧ y ≤ x ⇒ x = y). E totale se ∀x , y (x ≤ y ∨ y ≤ x).)
Definizione. L’insieme dei numeri naturali, che esiste per gli assiomadell’infinito e di separazione, e indicato con ω.
Teorema. ω e un ordinale. E il minimo degli ordinali infiniti (cioe non inbiiezione con un numero naturale).
Definizione. P(x) = {z | x ⊆ x} e l’insieme potenza di x .
![Page 71: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/71.jpg)
Gli assiomi di ZFC (secondo blocco)
7. Infinito: ∃x(0 ∈ x | ∀y ∈ x Sy ∈ x)
8. Potenza: ∃y∀z(z ⊆ x ⇒ z ∈ y)
9. Scelta: ∃f : F →⋃F ∀X ∈ F (X 6= ∅ ⇒ f (X ) ∈ X )
L’assioma della scelta e equivalente alPrincipio del buon ordinamento. Ogni insieme e bene ordinabile.Lemma di Zorn. Se A e un insieme (parzialmente) ordinato tale cheogni suo sottoinsieme totalmente ordinato ha un maggiorante, allora Aha un elemento massimale.
(Un ordine parziale ≤ e una relazione riflessiva: ∀x x ≤ x ; transitiva:∀x , y , z (x ≤ y ∧ y ≤ z ⇒ x ≤ z); antisimmetrica:∀x , y (x ≤ y ∧ y ≤ x ⇒ x = y). E totale se ∀x , y (x ≤ y ∨ y ≤ x).)
Definizione. L’insieme dei numeri naturali, che esiste per gli assiomadell’infinito e di separazione, e indicato con ω.
Teorema. ω e un ordinale. E il minimo degli ordinali infiniti (cioe non inbiiezione con un numero naturale).
Definizione. P(x) = {z | x ⊆ x} e l’insieme potenza di x .
![Page 72: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/72.jpg)
Gli assiomi di ZFC (secondo blocco)
7. Infinito: ∃x(0 ∈ x | ∀y ∈ x Sy ∈ x)
8. Potenza: ∃y∀z(z ⊆ x ⇒ z ∈ y)
9. Scelta: ∃f : F →⋃F ∀X ∈ F (X 6= ∅ ⇒ f (X ) ∈ X )
L’assioma della scelta e equivalente alPrincipio del buon ordinamento. Ogni insieme e bene ordinabile.Lemma di Zorn. Se A e un insieme (parzialmente) ordinato tale cheogni suo sottoinsieme totalmente ordinato ha un maggiorante, allora Aha un elemento massimale.
(Un ordine parziale ≤ e una relazione riflessiva: ∀x x ≤ x ; transitiva:∀x , y , z (x ≤ y ∧ y ≤ z ⇒ x ≤ z); antisimmetrica:∀x , y (x ≤ y ∧ y ≤ x ⇒ x = y). E totale se ∀x , y (x ≤ y ∨ y ≤ x).)
Definizione. L’insieme dei numeri naturali, che esiste per gli assiomadell’infinito e di separazione, e indicato con ω.
Teorema. ω e un ordinale. E il minimo degli ordinali infiniti (cioe non inbiiezione con un numero naturale).
Definizione. P(x) = {z | x ⊆ x} e l’insieme potenza di x .
![Page 73: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/73.jpg)
Gli assiomi di ZFC (secondo blocco)
7. Infinito: ∃x(0 ∈ x | ∀y ∈ x Sy ∈ x)
8. Potenza: ∃y∀z(z ⊆ x ⇒ z ∈ y)
9. Scelta: ∃f : F →⋃F ∀X ∈ F (X 6= ∅ ⇒ f (X ) ∈ X )
L’assioma della scelta e equivalente alPrincipio del buon ordinamento. Ogni insieme e bene ordinabile.
Lemma di Zorn. Se A e un insieme (parzialmente) ordinato tale cheogni suo sottoinsieme totalmente ordinato ha un maggiorante, allora Aha un elemento massimale.
(Un ordine parziale ≤ e una relazione riflessiva: ∀x x ≤ x ; transitiva:∀x , y , z (x ≤ y ∧ y ≤ z ⇒ x ≤ z); antisimmetrica:∀x , y (x ≤ y ∧ y ≤ x ⇒ x = y). E totale se ∀x , y (x ≤ y ∨ y ≤ x).)
Definizione. L’insieme dei numeri naturali, che esiste per gli assiomadell’infinito e di separazione, e indicato con ω.
Teorema. ω e un ordinale. E il minimo degli ordinali infiniti (cioe non inbiiezione con un numero naturale).
Definizione. P(x) = {z | x ⊆ x} e l’insieme potenza di x .
![Page 74: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/74.jpg)
Gli assiomi di ZFC (secondo blocco)
7. Infinito: ∃x(0 ∈ x | ∀y ∈ x Sy ∈ x)
8. Potenza: ∃y∀z(z ⊆ x ⇒ z ∈ y)
9. Scelta: ∃f : F →⋃F ∀X ∈ F (X 6= ∅ ⇒ f (X ) ∈ X )
L’assioma della scelta e equivalente alPrincipio del buon ordinamento. Ogni insieme e bene ordinabile.Lemma di Zorn. Se A e un insieme (parzialmente) ordinato tale cheogni suo sottoinsieme totalmente ordinato ha un maggiorante, allora Aha un elemento massimale.
(Un ordine parziale ≤ e una relazione riflessiva: ∀x x ≤ x ; transitiva:∀x , y , z (x ≤ y ∧ y ≤ z ⇒ x ≤ z); antisimmetrica:∀x , y (x ≤ y ∧ y ≤ x ⇒ x = y). E totale se ∀x , y (x ≤ y ∨ y ≤ x).)
Definizione. L’insieme dei numeri naturali, che esiste per gli assiomadell’infinito e di separazione, e indicato con ω.
Teorema. ω e un ordinale. E il minimo degli ordinali infiniti (cioe non inbiiezione con un numero naturale).
Definizione. P(x) = {z | x ⊆ x} e l’insieme potenza di x .
![Page 75: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/75.jpg)
Gli assiomi di ZFC (secondo blocco)
7. Infinito: ∃x(0 ∈ x | ∀y ∈ x Sy ∈ x)
8. Potenza: ∃y∀z(z ⊆ x ⇒ z ∈ y)
9. Scelta: ∃f : F →⋃F ∀X ∈ F (X 6= ∅ ⇒ f (X ) ∈ X )
L’assioma della scelta e equivalente alPrincipio del buon ordinamento. Ogni insieme e bene ordinabile.Lemma di Zorn. Se A e un insieme (parzialmente) ordinato tale cheogni suo sottoinsieme totalmente ordinato ha un maggiorante, allora Aha un elemento massimale.
(Un ordine parziale ≤ e una relazione riflessiva: ∀x x ≤ x ; transitiva:∀x , y , z (x ≤ y ∧ y ≤ z ⇒ x ≤ z); antisimmetrica:∀x , y (x ≤ y ∧ y ≤ x ⇒ x = y). E totale se ∀x , y (x ≤ y ∨ y ≤ x).)
Definizione. L’insieme dei numeri naturali, che esiste per gli assiomadell’infinito e di separazione, e indicato con ω.
Teorema. ω e un ordinale. E il minimo degli ordinali infiniti (cioe non inbiiezione con un numero naturale).
Definizione. P(x) = {z | x ⊆ x} e l’insieme potenza di x .
![Page 76: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/76.jpg)
Gli assiomi di ZFC (secondo blocco)
7. Infinito: ∃x(0 ∈ x | ∀y ∈ x Sy ∈ x)
8. Potenza: ∃y∀z(z ⊆ x ⇒ z ∈ y)
9. Scelta: ∃f : F →⋃F ∀X ∈ F (X 6= ∅ ⇒ f (X ) ∈ X )
L’assioma della scelta e equivalente alPrincipio del buon ordinamento. Ogni insieme e bene ordinabile.Lemma di Zorn. Se A e un insieme (parzialmente) ordinato tale cheogni suo sottoinsieme totalmente ordinato ha un maggiorante, allora Aha un elemento massimale.
(Un ordine parziale ≤ e una relazione riflessiva: ∀x x ≤ x ; transitiva:∀x , y , z (x ≤ y ∧ y ≤ z ⇒ x ≤ z); antisimmetrica:∀x , y (x ≤ y ∧ y ≤ x ⇒ x = y). E totale se ∀x , y (x ≤ y ∨ y ≤ x).)
Definizione. L’insieme dei numeri naturali, che esiste per gli assiomadell’infinito e di separazione, e indicato con ω.
Teorema. ω e un ordinale. E il minimo degli ordinali infiniti (cioe non inbiiezione con un numero naturale).
Definizione. P(x) = {z | x ⊆ x} e l’insieme potenza di x .
![Page 77: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/77.jpg)
Gli assiomi di ZFC (secondo blocco)
7. Infinito: ∃x(0 ∈ x | ∀y ∈ x Sy ∈ x)
8. Potenza: ∃y∀z(z ⊆ x ⇒ z ∈ y)
9. Scelta: ∃f : F →⋃F ∀X ∈ F (X 6= ∅ ⇒ f (X ) ∈ X )
L’assioma della scelta e equivalente alPrincipio del buon ordinamento. Ogni insieme e bene ordinabile.Lemma di Zorn. Se A e un insieme (parzialmente) ordinato tale cheogni suo sottoinsieme totalmente ordinato ha un maggiorante, allora Aha un elemento massimale.
(Un ordine parziale ≤ e una relazione riflessiva: ∀x x ≤ x ; transitiva:∀x , y , z (x ≤ y ∧ y ≤ z ⇒ x ≤ z); antisimmetrica:∀x , y (x ≤ y ∧ y ≤ x ⇒ x = y). E totale se ∀x , y (x ≤ y ∨ y ≤ x).)
Definizione. L’insieme dei numeri naturali, che esiste per gli assiomadell’infinito e di separazione, e indicato con ω.
Teorema. ω e un ordinale. E il minimo degli ordinali infiniti (cioe non inbiiezione con un numero naturale).
Definizione. P(x) = {z | x ⊆ x} e l’insieme potenza di x .
![Page 78: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/78.jpg)
Gli assiomi di ZFC (secondo blocco)
7. Infinito: ∃x(0 ∈ x | ∀y ∈ x Sy ∈ x)
8. Potenza: ∃y∀z(z ⊆ x ⇒ z ∈ y)
9. Scelta: ∃f : F →⋃F ∀X ∈ F (X 6= ∅ ⇒ f (X ) ∈ X )
L’assioma della scelta e equivalente alPrincipio del buon ordinamento. Ogni insieme e bene ordinabile.Lemma di Zorn. Se A e un insieme (parzialmente) ordinato tale cheogni suo sottoinsieme totalmente ordinato ha un maggiorante, allora Aha un elemento massimale.
(Un ordine parziale ≤ e una relazione riflessiva: ∀x x ≤ x ; transitiva:∀x , y , z (x ≤ y ∧ y ≤ z ⇒ x ≤ z); antisimmetrica:∀x , y (x ≤ y ∧ y ≤ x ⇒ x = y). E totale se ∀x , y (x ≤ y ∨ y ≤ x).)
Definizione. L’insieme dei numeri naturali, che esiste per gli assiomadell’infinito e di separazione, e indicato con ω.
Teorema. ω e un ordinale. E il minimo degli ordinali infiniti (cioe non inbiiezione con un numero naturale).
Definizione. P(x) = {z | x ⊆ x} e l’insieme potenza di x .
![Page 79: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/79.jpg)
Numeri cardinali
Definizione. Dato un insieme A, la cardinalita di A, denotata |A|, e ilminimo ordinale α in biiezione con A (l’esistenza di α e l’enunciatodell’assioma della scelta).Se α e tale che |A| = α per qualche α (equivalentemente, α = |α|),allora α e un numero cardinale.L’insieme A e finito se |A| e un numero naturale.L’insieme A e numerabile se |A| ≤ ω.
Teorema. Se κ, λ sono cardinali
I κ = λ sseesiste una bijezione κ→ λ sseesistono iniezioni κ→ λ, λ→ κ
I κ ≤ λ sseesiste una iniezione κ→ λ sseesiste una suriezione λ→ κ
![Page 80: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/80.jpg)
Numeri cardinali
Definizione. Dato un insieme A, la cardinalita di A, denotata |A|, e ilminimo ordinale α in biiezione con A (l’esistenza di α e l’enunciatodell’assioma della scelta).Se α e tale che |A| = α per qualche α (equivalentemente, α = |α|),allora α e un numero cardinale.L’insieme A e finito se |A| e un numero naturale.L’insieme A e numerabile se |A| ≤ ω.
Teorema. Se κ, λ sono cardinali
I κ = λ sseesiste una bijezione κ→ λ sseesistono iniezioni κ→ λ, λ→ κ
I κ ≤ λ sseesiste una iniezione κ→ λ sseesiste una suriezione λ→ κ
![Page 81: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/81.jpg)
Il teorema di Cantor
Esistono cardinali arbitrariamente grandi:
Teorema. |A| < |P(A)|.
Dimostrazione. a 7→ {a} testimonia |A| ≤ |P(A)|.Viceversa, si mostra che non c’e alcuna suriezione A→ P(A). Siag : A→ P(A) una funzione. Allora I = {x ∈ A | x /∈ g(x)} /∈ img .
Definizione.
I α+ e il minimo cardinale piu grande di α.
I κ e un cardinale successore se κ = α+ per qualche α.
I Un cardinale κ e un cardinale limite se κ > ω e κ non e un cardinalesuccessore.
![Page 82: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/82.jpg)
Il teorema di Cantor
Esistono cardinali arbitrariamente grandi:
Teorema. |A| < |P(A)|.Dimostrazione. a 7→ {a} testimonia |A| ≤ |P(A)|.
Viceversa, si mostra che non c’e alcuna suriezione A→ P(A). Siag : A→ P(A) una funzione. Allora I = {x ∈ A | x /∈ g(x)} /∈ img .
Definizione.
I α+ e il minimo cardinale piu grande di α.
I κ e un cardinale successore se κ = α+ per qualche α.
I Un cardinale κ e un cardinale limite se κ > ω e κ non e un cardinalesuccessore.
![Page 83: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/83.jpg)
Il teorema di Cantor
Esistono cardinali arbitrariamente grandi:
Teorema. |A| < |P(A)|.Dimostrazione. a 7→ {a} testimonia |A| ≤ |P(A)|.Viceversa, si mostra che non c’e alcuna suriezione A→ P(A). Siag : A→ P(A) una funzione. Allora I = {x ∈ A | x /∈ g(x)} /∈ img .
Definizione.
I α+ e il minimo cardinale piu grande di α.
I κ e un cardinale successore se κ = α+ per qualche α.
I Un cardinale κ e un cardinale limite se κ > ω e κ non e un cardinalesuccessore.
![Page 84: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/84.jpg)
Il teorema di Cantor
Esistono cardinali arbitrariamente grandi:
Teorema. |A| < |P(A)|.Dimostrazione. a 7→ {a} testimonia |A| ≤ |P(A)|.Viceversa, si mostra che non c’e alcuna suriezione A→ P(A). Siag : A→ P(A) una funzione. Allora I = {x ∈ A | x /∈ g(x)} /∈ img .
Definizione.
I α+ e il minimo cardinale piu grande di α.
I κ e un cardinale successore se κ = α+ per qualche α.
I Un cardinale κ e un cardinale limite se κ > ω e κ non e un cardinalesuccessore.
![Page 85: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/85.jpg)
Il teorema di Cantor
Esistono cardinali arbitrariamente grandi:
Teorema. |A| < |P(A)|.Dimostrazione. a 7→ {a} testimonia |A| ≤ |P(A)|.Viceversa, si mostra che non c’e alcuna suriezione A→ P(A). Siag : A→ P(A) una funzione. Allora I = {x ∈ A | x /∈ g(x)} /∈ img .
Definizione.
I α+ e il minimo cardinale piu grande di α.
I κ e un cardinale successore se κ = α+ per qualche α.
I Un cardinale κ e un cardinale limite se κ > ω e κ non e un cardinalesuccessore.
![Page 86: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/86.jpg)
Il teorema di Cantor
Esistono cardinali arbitrariamente grandi:
Teorema. |A| < |P(A)|.Dimostrazione. a 7→ {a} testimonia |A| ≤ |P(A)|.Viceversa, si mostra che non c’e alcuna suriezione A→ P(A). Siag : A→ P(A) una funzione. Allora I = {x ∈ A | x /∈ g(x)} /∈ img .
Definizione.
I α+ e il minimo cardinale piu grande di α.
I κ e un cardinale successore se κ = α+ per qualche α.
I Un cardinale κ e un cardinale limite se κ > ω e κ non e un cardinalesuccessore.
![Page 87: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/87.jpg)
La sequenza degli ℵ
Si definisce la sequenza dei cardinali ℵα = ωα:
Definizione.
I ω0 = ω
I ωα+1 = ω+α
I Se λ e un ordinale limite, ωλ = sup{ωα | α < λ}
Teorema.
1. La sequenza degli ℵα contiene tutti e soli i numeri cardinali
2. α < β ⇒ ℵα < ℵβ3. ℵα e un cardinale successore sse α e un ordinale successore; ℵα e un
cardinale limite sse α e un ordinale limite
![Page 88: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/88.jpg)
La sequenza degli ℵ
Si definisce la sequenza dei cardinali ℵα = ωα:
Definizione.
I ω0 = ω
I ωα+1 = ω+α
I Se λ e un ordinale limite, ωλ = sup{ωα | α < λ}
Teorema.
1. La sequenza degli ℵα contiene tutti e soli i numeri cardinali
2. α < β ⇒ ℵα < ℵβ3. ℵα e un cardinale successore sse α e un ordinale successore; ℵα e un
cardinale limite sse α e un ordinale limite
![Page 89: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/89.jpg)
La sequenza degli ℵ
Si definisce la sequenza dei cardinali ℵα = ωα:
Definizione.
I ω0 = ω
I ωα+1 = ω+α
I Se λ e un ordinale limite, ωλ = sup{ωα | α < λ}
Teorema.
1. La sequenza degli ℵα contiene tutti e soli i numeri cardinali
2. α < β ⇒ ℵα < ℵβ3. ℵα e un cardinale successore sse α e un ordinale successore; ℵα e un
cardinale limite sse α e un ordinale limite
![Page 90: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/90.jpg)
La sequenza degli ℵ
Si definisce la sequenza dei cardinali ℵα = ωα:
Definizione.
I ω0 = ω
I ωα+1 = ω+α
I Se λ e un ordinale limite, ωλ = sup{ωα | α < λ}
Teorema.
1. La sequenza degli ℵα contiene tutti e soli i numeri cardinali
2. α < β ⇒ ℵα < ℵβ3. ℵα e un cardinale successore sse α e un ordinale successore; ℵα e un
cardinale limite sse α e un ordinale limite
![Page 91: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/91.jpg)
La sequenza degli ℵ
Si definisce la sequenza dei cardinali ℵα = ωα:
Definizione.
I ω0 = ω
I ωα+1 = ω+α
I Se λ e un ordinale limite, ωλ = sup{ωα | α < λ}
Teorema.
1. La sequenza degli ℵα contiene tutti e soli i numeri cardinali
2. α < β ⇒ ℵα < ℵβ3. ℵα e un cardinale successore sse α e un ordinale successore; ℵα e un
cardinale limite sse α e un ordinale limite
![Page 92: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/92.jpg)
Operazioni sui cardinali
Si possono definire operazioni di somma, prodotto e esponenziazionecardinale. Estendono le corrispondenti operazioni sui naturali, ma noncoincidono con le operazioni definite sugli ordinali infiniti.
Addizione. κ+ λ e la cardinalita di un’unione disgiunta di un insieme dicardinalita κ e uno di cardinalita λ:κ+ λ = |(κ× {0}) ∪ (λ× {1})|.
Moltiplicazione. κ+ λ e la cardinalita di un prodotto cartesiano di uninsieme di cardinalita κ e uno di cardinalita λ:κλ = |κ× λ|.
Tuttavia queste operazioni non sono interessanti: se almeno uno tra κ eλ e infinito,κ+ λ = κλ = max(κ, λ).
![Page 93: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/93.jpg)
Operazioni sui cardinali
Si possono definire operazioni di somma, prodotto e esponenziazionecardinale. Estendono le corrispondenti operazioni sui naturali, ma noncoincidono con le operazioni definite sugli ordinali infiniti.
Addizione. κ+ λ e la cardinalita di un’unione disgiunta di un insieme dicardinalita κ e uno di cardinalita λ:κ+ λ = |(κ× {0}) ∪ (λ× {1})|.
Moltiplicazione. κ+ λ e la cardinalita di un prodotto cartesiano di uninsieme di cardinalita κ e uno di cardinalita λ:κλ = |κ× λ|.
Tuttavia queste operazioni non sono interessanti: se almeno uno tra κ eλ e infinito,κ+ λ = κλ = max(κ, λ).
![Page 94: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/94.jpg)
Operazioni sui cardinali
Definizione. Per A,B insiemi, AB = BA = {f : B → A}.
Se κ, λ sono ordinali, e di solito preferibile usare la notazione λκ perquesto insieme di funzioni, per evitare confusione col numero cardinaleκλ.
Esponenziazione. Se κ, λ sono cardinali, κλ = |λκ|.
Esempi.2λ = |P(λ)|2ℵ0 = |R| e la cardinalita del continuo
Teorema. Se 2 ≤ κ ≤ λ e λ e infinito, λ < 2λ = κλ.
Dimostrazione. 2λ ≤ κλ ≤ λλ ≤ |P(λ× λ)| = |P(λ)| = 2λ.
![Page 95: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/95.jpg)
Operazioni sui cardinali
Definizione. Per A,B insiemi, AB = BA = {f : B → A}.Se κ, λ sono ordinali, e di solito preferibile usare la notazione λκ perquesto insieme di funzioni, per evitare confusione col numero cardinaleκλ.
Esponenziazione. Se κ, λ sono cardinali, κλ = |λκ|.
Esempi.2λ = |P(λ)|2ℵ0 = |R| e la cardinalita del continuo
Teorema. Se 2 ≤ κ ≤ λ e λ e infinito, λ < 2λ = κλ.
Dimostrazione. 2λ ≤ κλ ≤ λλ ≤ |P(λ× λ)| = |P(λ)| = 2λ.
![Page 96: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/96.jpg)
Operazioni sui cardinali
Definizione. Per A,B insiemi, AB = BA = {f : B → A}.Se κ, λ sono ordinali, e di solito preferibile usare la notazione λκ perquesto insieme di funzioni, per evitare confusione col numero cardinaleκλ.
Esponenziazione. Se κ, λ sono cardinali, κλ = |λκ|.
Esempi.2λ = |P(λ)|2ℵ0 = |R| e la cardinalita del continuo
Teorema. Se 2 ≤ κ ≤ λ e λ e infinito, λ < 2λ = κλ.
Dimostrazione. 2λ ≤ κλ ≤ λλ ≤ |P(λ× λ)| = |P(λ)| = 2λ.
![Page 97: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/97.jpg)
Operazioni sui cardinali
Definizione. Per A,B insiemi, AB = BA = {f : B → A}.Se κ, λ sono ordinali, e di solito preferibile usare la notazione λκ perquesto insieme di funzioni, per evitare confusione col numero cardinaleκλ.
Esponenziazione. Se κ, λ sono cardinali, κλ = |λκ|.
Esempi.2λ = |P(λ)|
2ℵ0 = |R| e la cardinalita del continuo
Teorema. Se 2 ≤ κ ≤ λ e λ e infinito, λ < 2λ = κλ.
Dimostrazione. 2λ ≤ κλ ≤ λλ ≤ |P(λ× λ)| = |P(λ)| = 2λ.
![Page 98: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/98.jpg)
Operazioni sui cardinali
Definizione. Per A,B insiemi, AB = BA = {f : B → A}.Se κ, λ sono ordinali, e di solito preferibile usare la notazione λκ perquesto insieme di funzioni, per evitare confusione col numero cardinaleκλ.
Esponenziazione. Se κ, λ sono cardinali, κλ = |λκ|.
Esempi.2λ = |P(λ)|2ℵ0 = |R| e la cardinalita del continuo
Teorema. Se 2 ≤ κ ≤ λ e λ e infinito, λ < 2λ = κλ.
Dimostrazione. 2λ ≤ κλ ≤ λλ ≤ |P(λ× λ)| = |P(λ)| = 2λ.
![Page 99: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/99.jpg)
Operazioni sui cardinali
Definizione. Per A,B insiemi, AB = BA = {f : B → A}.Se κ, λ sono ordinali, e di solito preferibile usare la notazione λκ perquesto insieme di funzioni, per evitare confusione col numero cardinaleκλ.
Esponenziazione. Se κ, λ sono cardinali, κλ = |λκ|.
Esempi.2λ = |P(λ)|2ℵ0 = |R| e la cardinalita del continuo
Teorema. Se 2 ≤ κ ≤ λ e λ e infinito, λ < 2λ = κλ.
Dimostrazione. 2λ ≤ κλ ≤ λλ ≤ |P(λ× λ)| = |P(λ)| = 2λ.
![Page 100: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/100.jpg)
Operazioni sui cardinali
Definizione. Per A,B insiemi, AB = BA = {f : B → A}.Se κ, λ sono ordinali, e di solito preferibile usare la notazione λκ perquesto insieme di funzioni, per evitare confusione col numero cardinaleκλ.
Esponenziazione. Se κ, λ sono cardinali, κλ = |λκ|.
Esempi.2λ = |P(λ)|2ℵ0 = |R| e la cardinalita del continuo
Teorema. Se 2 ≤ κ ≤ λ e λ e infinito, λ < 2λ = κλ.
Dimostrazione. 2λ ≤ κλ
≤ λλ ≤ |P(λ× λ)| = |P(λ)| = 2λ.
![Page 101: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/101.jpg)
Operazioni sui cardinali
Definizione. Per A,B insiemi, AB = BA = {f : B → A}.Se κ, λ sono ordinali, e di solito preferibile usare la notazione λκ perquesto insieme di funzioni, per evitare confusione col numero cardinaleκλ.
Esponenziazione. Se κ, λ sono cardinali, κλ = |λκ|.
Esempi.2λ = |P(λ)|2ℵ0 = |R| e la cardinalita del continuo
Teorema. Se 2 ≤ κ ≤ λ e λ e infinito, λ < 2λ = κλ.
Dimostrazione. 2λ ≤ κλ ≤ λλ
≤ |P(λ× λ)| = |P(λ)| = 2λ.
![Page 102: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/102.jpg)
Operazioni sui cardinali
Definizione. Per A,B insiemi, AB = BA = {f : B → A}.Se κ, λ sono ordinali, e di solito preferibile usare la notazione λκ perquesto insieme di funzioni, per evitare confusione col numero cardinaleκλ.
Esponenziazione. Se κ, λ sono cardinali, κλ = |λκ|.
Esempi.2λ = |P(λ)|2ℵ0 = |R| e la cardinalita del continuo
Teorema. Se 2 ≤ κ ≤ λ e λ e infinito, λ < 2λ = κλ.
Dimostrazione. 2λ ≤ κλ ≤ λλ ≤ |P(λ× λ)|
= |P(λ)| = 2λ.
![Page 103: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/103.jpg)
Operazioni sui cardinali
Definizione. Per A,B insiemi, AB = BA = {f : B → A}.Se κ, λ sono ordinali, e di solito preferibile usare la notazione λκ perquesto insieme di funzioni, per evitare confusione col numero cardinaleκλ.
Esponenziazione. Se κ, λ sono cardinali, κλ = |λκ|.
Esempi.2λ = |P(λ)|2ℵ0 = |R| e la cardinalita del continuo
Teorema. Se 2 ≤ κ ≤ λ e λ e infinito, λ < 2λ = κλ.
Dimostrazione. 2λ ≤ κλ ≤ λλ ≤ |P(λ× λ)| = |P(λ)|
= 2λ.
![Page 104: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/104.jpg)
Operazioni sui cardinali
Definizione. Per A,B insiemi, AB = BA = {f : B → A}.Se κ, λ sono ordinali, e di solito preferibile usare la notazione λκ perquesto insieme di funzioni, per evitare confusione col numero cardinaleκλ.
Esponenziazione. Se κ, λ sono cardinali, κλ = |λκ|.
Esempi.2λ = |P(λ)|2ℵ0 = |R| e la cardinalita del continuo
Teorema. Se 2 ≤ κ ≤ λ e λ e infinito, λ < 2λ = κλ.
Dimostrazione. 2λ ≤ κλ ≤ λλ ≤ |P(λ× λ)| = |P(λ)| = 2λ.
![Page 105: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/105.jpg)
L’ipotesi del continuo
Il teorema di Cantor asserisce che ∀α 2ℵα ≥ ℵα+1.
Definizione.
I CH e l’enunciato: 2ℵ0 = ℵ1I GCH e l’enunciato ∀α 2ℵα = ℵα+1
Si tratta dei piu famosi enunciati indipendenti in ZFC , cioe tali che (seZFC e consistente) ne essi ne le loro negazioni sono dimostrabili.
![Page 106: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/106.jpg)
L’ipotesi del continuo
Il teorema di Cantor asserisce che ∀α 2ℵα ≥ ℵα+1.
Definizione.
I CH e l’enunciato: 2ℵ0 = ℵ1I GCH e l’enunciato ∀α 2ℵα = ℵα+1
Si tratta dei piu famosi enunciati indipendenti in ZFC , cioe tali che (seZFC e consistente) ne essi ne le loro negazioni sono dimostrabili.
![Page 107: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/107.jpg)
L’ipotesi del continuo
Il teorema di Cantor asserisce che ∀α 2ℵα ≥ ℵα+1.
Definizione.
I CH e l’enunciato: 2ℵ0 = ℵ1I GCH e l’enunciato ∀α 2ℵα = ℵα+1
Si tratta dei piu famosi enunciati indipendenti in ZFC , cioe tali che (seZFC e consistente) ne essi ne le loro negazioni sono dimostrabili.
![Page 108: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/108.jpg)
La cofinalita
Definizione. Sia L = (L,≤) un ordine totale senza massimo elemento.La cofinalita cof (L) di L e il minimo ordinale α tale che esiste unafunzione illimitata (cofinale) f : α→ L.
La funzione f puo essere presastrettamente crescente.In particolare, cof (L) ≤ |L|.
Lemma.
1. cof (L) e un cardinale
2. Se α, β sono ordinali limiti e f : α→ β e strettamente crescente ecofinale, allora cof (α) = cof (β)
3. cof (cof (β)) = cof (β)
Dimostrazione (2) cof (β) ≤ cof (α) per l’esistenza della funzione cofinalecof (α)→ α→ β. Viceversa, sia g : cof (β)→ β cofinale eh : cof (β)→ α definita da h(ξ) = min{η | f (η) > g(ξ)}.
![Page 109: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/109.jpg)
La cofinalita
Definizione. Sia L = (L,≤) un ordine totale senza massimo elemento.La cofinalita cof (L) di L e il minimo ordinale α tale che esiste unafunzione illimitata (cofinale) f : α→ L. La funzione f puo essere presastrettamente crescente.
In particolare, cof (L) ≤ |L|.
Lemma.
1. cof (L) e un cardinale
2. Se α, β sono ordinali limiti e f : α→ β e strettamente crescente ecofinale, allora cof (α) = cof (β)
3. cof (cof (β)) = cof (β)
Dimostrazione (2) cof (β) ≤ cof (α) per l’esistenza della funzione cofinalecof (α)→ α→ β. Viceversa, sia g : cof (β)→ β cofinale eh : cof (β)→ α definita da h(ξ) = min{η | f (η) > g(ξ)}.
![Page 110: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/110.jpg)
La cofinalita
Definizione. Sia L = (L,≤) un ordine totale senza massimo elemento.La cofinalita cof (L) di L e il minimo ordinale α tale che esiste unafunzione illimitata (cofinale) f : α→ L. La funzione f puo essere presastrettamente crescente.In particolare, cof (L) ≤ |L|.
Lemma.
1. cof (L) e un cardinale
2. Se α, β sono ordinali limiti e f : α→ β e strettamente crescente ecofinale, allora cof (α) = cof (β)
3. cof (cof (β)) = cof (β)
Dimostrazione (2) cof (β) ≤ cof (α) per l’esistenza della funzione cofinalecof (α)→ α→ β. Viceversa, sia g : cof (β)→ β cofinale eh : cof (β)→ α definita da h(ξ) = min{η | f (η) > g(ξ)}.
![Page 111: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/111.jpg)
La cofinalita
Definizione. Sia L = (L,≤) un ordine totale senza massimo elemento.La cofinalita cof (L) di L e il minimo ordinale α tale che esiste unafunzione illimitata (cofinale) f : α→ L. La funzione f puo essere presastrettamente crescente.In particolare, cof (L) ≤ |L|.
Lemma.
1. cof (L) e un cardinale
2. Se α, β sono ordinali limiti e f : α→ β e strettamente crescente ecofinale, allora cof (α) = cof (β)
3. cof (cof (β)) = cof (β)
Dimostrazione (2) cof (β) ≤ cof (α) per l’esistenza della funzione cofinalecof (α)→ α→ β. Viceversa, sia g : cof (β)→ β cofinale eh : cof (β)→ α definita da h(ξ) = min{η | f (η) > g(ξ)}.
![Page 112: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/112.jpg)
La cofinalita
Definizione. Sia L = (L,≤) un ordine totale senza massimo elemento.La cofinalita cof (L) di L e il minimo ordinale α tale che esiste unafunzione illimitata (cofinale) f : α→ L. La funzione f puo essere presastrettamente crescente.In particolare, cof (L) ≤ |L|.
Lemma.
1. cof (L) e un cardinale
2. Se α, β sono ordinali limiti e f : α→ β e strettamente crescente ecofinale, allora cof (α) = cof (β)
3. cof (cof (β)) = cof (β)
Dimostrazione (2) cof (β) ≤ cof (α) per l’esistenza della funzione cofinalecof (α)→ α→ β. Viceversa, sia g : cof (β)→ β cofinale eh : cof (β)→ α definita da h(ξ) = min{η | f (η) > g(ξ)}.
![Page 113: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/113.jpg)
La cofinalita
Esempi. cof (ω) = ω.
cof (ℵ1) = ℵ1; piu in generale, ogni cardinale successore e regolare.cof (ℵω) = ω, infatti f : ω → ℵω, n 7→ ℵn e illimitata
In generale, se α e un ordinale limite, allora cof (ℵα) = cof (α). Dunquese ℵα e un cardinale limite regolare, ℵα = α. Questa condizione non epero sufficiente: sia
I α0 = ℵ0I αn+1 = ℵαn
I α = sup{αn | n ∈ ω}Allora ℵα = α, ma cof (ℵα) = cof (α) = ω.
cof (κ) = λ significa che κ e unione di λ insiemi di cardinalita minore diκ.
![Page 114: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/114.jpg)
La cofinalita
Esempi. cof (ω) = ω.cof (ℵ1) = ℵ1; piu in generale, ogni cardinale successore e regolare.
cof (ℵω) = ω, infatti f : ω → ℵω, n 7→ ℵn e illimitata
In generale, se α e un ordinale limite, allora cof (ℵα) = cof (α). Dunquese ℵα e un cardinale limite regolare, ℵα = α. Questa condizione non epero sufficiente: sia
I α0 = ℵ0I αn+1 = ℵαn
I α = sup{αn | n ∈ ω}Allora ℵα = α, ma cof (ℵα) = cof (α) = ω.
cof (κ) = λ significa che κ e unione di λ insiemi di cardinalita minore diκ.
![Page 115: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/115.jpg)
La cofinalita
Esempi. cof (ω) = ω.cof (ℵ1) = ℵ1; piu in generale, ogni cardinale successore e regolare.cof (ℵω) = ω, infatti f : ω → ℵω, n 7→ ℵn e illimitata
In generale, se α e un ordinale limite, allora cof (ℵα) = cof (α). Dunquese ℵα e un cardinale limite regolare, ℵα = α. Questa condizione non epero sufficiente: sia
I α0 = ℵ0I αn+1 = ℵαn
I α = sup{αn | n ∈ ω}Allora ℵα = α, ma cof (ℵα) = cof (α) = ω.
cof (κ) = λ significa che κ e unione di λ insiemi di cardinalita minore diκ.
![Page 116: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/116.jpg)
La cofinalita
Esempi. cof (ω) = ω.cof (ℵ1) = ℵ1; piu in generale, ogni cardinale successore e regolare.cof (ℵω) = ω, infatti f : ω → ℵω, n 7→ ℵn e illimitata
In generale, se α e un ordinale limite, allora cof (ℵα) = cof (α).
Dunquese ℵα e un cardinale limite regolare, ℵα = α. Questa condizione non epero sufficiente: sia
I α0 = ℵ0I αn+1 = ℵαn
I α = sup{αn | n ∈ ω}Allora ℵα = α, ma cof (ℵα) = cof (α) = ω.
cof (κ) = λ significa che κ e unione di λ insiemi di cardinalita minore diκ.
![Page 117: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/117.jpg)
La cofinalita
Esempi. cof (ω) = ω.cof (ℵ1) = ℵ1; piu in generale, ogni cardinale successore e regolare.cof (ℵω) = ω, infatti f : ω → ℵω, n 7→ ℵn e illimitata
In generale, se α e un ordinale limite, allora cof (ℵα) = cof (α). Dunquese ℵα e un cardinale limite regolare, ℵα = α.
Questa condizione non epero sufficiente: sia
I α0 = ℵ0I αn+1 = ℵαn
I α = sup{αn | n ∈ ω}Allora ℵα = α, ma cof (ℵα) = cof (α) = ω.
cof (κ) = λ significa che κ e unione di λ insiemi di cardinalita minore diκ.
![Page 118: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/118.jpg)
La cofinalita
Esempi. cof (ω) = ω.cof (ℵ1) = ℵ1; piu in generale, ogni cardinale successore e regolare.cof (ℵω) = ω, infatti f : ω → ℵω, n 7→ ℵn e illimitata
In generale, se α e un ordinale limite, allora cof (ℵα) = cof (α). Dunquese ℵα e un cardinale limite regolare, ℵα = α. Questa condizione non epero sufficiente: sia
I α0 = ℵ0I αn+1 = ℵαn
I α = sup{αn | n ∈ ω}Allora ℵα = α,
ma cof (ℵα) = cof (α) = ω.
cof (κ) = λ significa che κ e unione di λ insiemi di cardinalita minore diκ.
![Page 119: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/119.jpg)
La cofinalita
Esempi. cof (ω) = ω.cof (ℵ1) = ℵ1; piu in generale, ogni cardinale successore e regolare.cof (ℵω) = ω, infatti f : ω → ℵω, n 7→ ℵn e illimitata
In generale, se α e un ordinale limite, allora cof (ℵα) = cof (α). Dunquese ℵα e un cardinale limite regolare, ℵα = α. Questa condizione non epero sufficiente: sia
I α0 = ℵ0I αn+1 = ℵαn
I α = sup{αn | n ∈ ω}Allora ℵα = α, ma cof (ℵα) = cof (α) = ω.
cof (κ) = λ significa che κ e unione di λ insiemi di cardinalita minore diκ.
![Page 120: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/120.jpg)
La cofinalita
Esempi. cof (ω) = ω.cof (ℵ1) = ℵ1; piu in generale, ogni cardinale successore e regolare.cof (ℵω) = ω, infatti f : ω → ℵω, n 7→ ℵn e illimitata
In generale, se α e un ordinale limite, allora cof (ℵα) = cof (α). Dunquese ℵα e un cardinale limite regolare, ℵα = α. Questa condizione non epero sufficiente: sia
I α0 = ℵ0I αn+1 = ℵαn
I α = sup{αn | n ∈ ω}Allora ℵα = α, ma cof (ℵα) = cof (α) = ω.
cof (κ) = λ significa che κ e unione di λ insiemi di cardinalita minore diκ.
![Page 121: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/121.jpg)
Cardinali inaccessibili
Un modo di costruire in ZFC dei cardinali via via piu grandi e di iterare leoperazioni di potenza κ 7→ 2κ e estremo superiore{κα | α < λ} 7→ sup{κα | α < λ}:
quest’ultimo ha cofinalita ≤ λ.
Definizione. Un cardinale infinito κ e regolare se cof (κ) = κ. Altrimentie singolare.
Per esempio: ℵ0 e i cardinali successori sono regolari; ℵω e singolare.
![Page 122: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/122.jpg)
Cardinali inaccessibili
Un modo di costruire in ZFC dei cardinali via via piu grandi e di iterare leoperazioni di potenza κ 7→ 2κ e estremo superiore{κα | α < λ} 7→ sup{κα | α < λ}: quest’ultimo ha cofinalita ≤ λ.
Definizione. Un cardinale infinito κ e regolare se cof (κ) = κ. Altrimentie singolare.
Per esempio: ℵ0 e i cardinali successori sono regolari; ℵω e singolare.
![Page 123: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/123.jpg)
Cardinali inaccessibili
Un modo di costruire in ZFC dei cardinali via via piu grandi e di iterare leoperazioni di potenza κ 7→ 2κ e estremo superiore{κα | α < λ} 7→ sup{κα | α < λ}: quest’ultimo ha cofinalita ≤ λ.
Definizione. Un cardinale infinito κ e regolare se cof (κ) = κ. Altrimentie singolare.
Per esempio: ℵ0 e i cardinali successori sono regolari; ℵω e singolare.
![Page 124: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/124.jpg)
Cardinali inaccessibili
Un modo di costruire in ZFC dei cardinali via via piu grandi e di iterare leoperazioni di potenza κ 7→ 2κ e estremo superiore{κα | α < λ} 7→ sup{κα | α < λ}: quest’ultimo ha cofinalita ≤ λ.
Definizione. Un cardinale infinito κ e regolare se cof (κ) = κ. Altrimentie singolare.
Per esempio: ℵ0 e i cardinali successori sono regolari; ℵω e singolare.
![Page 125: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/125.jpg)
Cardinali inaccessibili
Definizione.
I κ e debolmente inaccessibile se κ e un cardinale limite regolare
I κ e fortemente inaccessibile se κ > ℵ0, κ e regolare e ∀λ < κ 2λ < κ
Quindi: κ fortemente inaccessibile ⇒ κ debolmente inaccessibile(GCH) κ fortemente inaccessibile ⇔ κ debolmente inaccessibile
L’esistenza di cardinali debolmente inaccessibili non e dimostrabile inZFC.
E equiconsistente con l’esistenza di un debolmente inaccessibile che 2ℵ0
sia debolmente inaccessibile, o che sia piu grande che un debolmenteinaccessibile.
![Page 126: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/126.jpg)
Cardinali inaccessibili
Definizione.
I κ e debolmente inaccessibile se κ e un cardinale limite regolare
I κ e fortemente inaccessibile se κ > ℵ0, κ e regolare e ∀λ < κ 2λ < κ
Quindi: κ fortemente inaccessibile ⇒ κ debolmente inaccessibile(GCH) κ fortemente inaccessibile ⇔ κ debolmente inaccessibile
L’esistenza di cardinali debolmente inaccessibili non e dimostrabile inZFC.
E equiconsistente con l’esistenza di un debolmente inaccessibile che 2ℵ0
sia debolmente inaccessibile, o che sia piu grande che un debolmenteinaccessibile.
![Page 127: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/127.jpg)
Cardinali inaccessibili
Definizione.
I κ e debolmente inaccessibile se κ e un cardinale limite regolare
I κ e fortemente inaccessibile se κ > ℵ0, κ e regolare e ∀λ < κ 2λ < κ
Quindi: κ fortemente inaccessibile ⇒ κ debolmente inaccessibile
(GCH) κ fortemente inaccessibile ⇔ κ debolmente inaccessibile
L’esistenza di cardinali debolmente inaccessibili non e dimostrabile inZFC.
E equiconsistente con l’esistenza di un debolmente inaccessibile che 2ℵ0
sia debolmente inaccessibile, o che sia piu grande che un debolmenteinaccessibile.
![Page 128: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/128.jpg)
Cardinali inaccessibili
Definizione.
I κ e debolmente inaccessibile se κ e un cardinale limite regolare
I κ e fortemente inaccessibile se κ > ℵ0, κ e regolare e ∀λ < κ 2λ < κ
Quindi: κ fortemente inaccessibile ⇒ κ debolmente inaccessibile(GCH) κ fortemente inaccessibile ⇔ κ debolmente inaccessibile
L’esistenza di cardinali debolmente inaccessibili non e dimostrabile inZFC.
E equiconsistente con l’esistenza di un debolmente inaccessibile che 2ℵ0
sia debolmente inaccessibile, o che sia piu grande che un debolmenteinaccessibile.
![Page 129: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/129.jpg)
Cardinali inaccessibili
Definizione.
I κ e debolmente inaccessibile se κ e un cardinale limite regolare
I κ e fortemente inaccessibile se κ > ℵ0, κ e regolare e ∀λ < κ 2λ < κ
Quindi: κ fortemente inaccessibile ⇒ κ debolmente inaccessibile(GCH) κ fortemente inaccessibile ⇔ κ debolmente inaccessibile
L’esistenza di cardinali debolmente inaccessibili non e dimostrabile inZFC.
E equiconsistente con l’esistenza di un debolmente inaccessibile che 2ℵ0
sia debolmente inaccessibile, o che sia piu grande che un debolmenteinaccessibile.
![Page 130: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/130.jpg)
Cardinali inaccessibili
Definizione.
I κ e debolmente inaccessibile se κ e un cardinale limite regolare
I κ e fortemente inaccessibile se κ > ℵ0, κ e regolare e ∀λ < κ 2λ < κ
Quindi: κ fortemente inaccessibile ⇒ κ debolmente inaccessibile(GCH) κ fortemente inaccessibile ⇔ κ debolmente inaccessibile
L’esistenza di cardinali debolmente inaccessibili non e dimostrabile inZFC.
E equiconsistente con l’esistenza di un debolmente inaccessibile che 2ℵ0
sia debolmente inaccessibile, o che sia piu grande che un debolmenteinaccessibile.
![Page 131: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/131.jpg)
La teoria degli insiemi
I Combinatorica infinita
I Grandi cardinali
I Dimostrazioni di consistenza e indipendenza
I Modelli interni
I Forcing
I Teoria descrittiva degli insiemi
I Determinatezza
I Set theoretic topology
I Fuzzy set theory
![Page 132: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/132.jpg)
La teoria degli insiemi
I Combinatorica infinita
I Grandi cardinali
I Dimostrazioni di consistenza e indipendenza
I Modelli interni
I Forcing
I Teoria descrittiva degli insiemi
I Determinatezza
I Set theoretic topology
I Fuzzy set theory
![Page 133: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/133.jpg)
La teoria degli insiemi
I Combinatorica infinita
I Grandi cardinali
I Dimostrazioni di consistenza e indipendenza
I Modelli interni
I Forcing
I Teoria descrittiva degli insiemi
I Determinatezza
I Set theoretic topology
I Fuzzy set theory
![Page 134: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/134.jpg)
La teoria degli insiemi
I Combinatorica infinita
I Grandi cardinali
I Dimostrazioni di consistenza e indipendenza
I Modelli interni
I Forcing
I Teoria descrittiva degli insiemi
I Determinatezza
I Set theoretic topology
I Fuzzy set theory
![Page 135: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/135.jpg)
La teoria degli insiemi
I Combinatorica infinita
I Grandi cardinali
I Dimostrazioni di consistenza e indipendenza
I Modelli interni
I Forcing
I Teoria descrittiva degli insiemi
I Determinatezza
I Set theoretic topology
I Fuzzy set theory
![Page 136: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/136.jpg)
La teoria degli insiemi
I Combinatorica infinita
I Grandi cardinali
I Dimostrazioni di consistenza e indipendenza
I Modelli interni
I Forcing
I Teoria descrittiva degli insiemi
I Determinatezza
I Set theoretic topology
I Fuzzy set theory
![Page 137: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/137.jpg)
La teoria degli insiemi
I Combinatorica infinita
I Grandi cardinali
I Dimostrazioni di consistenza e indipendenza
I Modelli interni
I Forcing
I Teoria descrittiva degli insiemi
I Determinatezza
I Set theoretic topology
I Fuzzy set theory
![Page 138: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/138.jpg)
La teoria degli insiemi
I Combinatorica infinita
I Grandi cardinali
I Dimostrazioni di consistenza e indipendenza
I Modelli interni
I Forcing
I Teoria descrittiva degli insiemi
I Determinatezza
I Set theoretic topology
I Fuzzy set theory
![Page 139: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/139.jpg)
La teoria degli insiemi
I Combinatorica infinita
I Grandi cardinali
I Dimostrazioni di consistenza e indipendenza
I Modelli interni
I Forcing
I Teoria descrittiva degli insiemi
I Determinatezza
I Set theoretic topology
I Fuzzy set theory
![Page 140: Teoria degli insiemi - polito.itcalvino.polito.it/~camerlo/gargnan2014-1.pdf · La teoria degli insiemi e il fondamento della matematica. Questa a ermazione e singolare: la teoria](https://reader035.vdocuments.pub/reader035/viewer/2022062607/60229589b332a735ab1d1de4/html5/thumbnails/140.jpg)
La teoria degli insiemi
I Combinatorica infinita (l’assioma di Martin, l’ipotesi di Suslin)
I
I
I
I
I Teoria descrittiva degli insiemi (teorema di Cantor-Bendixson)
I
I
I