naive set theory - École normale supérieure de...
TRANSCRIPT
![Page 1: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/1.jpg)
1/ 23
Naive Set Theory
Jacques Jayez, ENS de Lyon and L2C2
Cours Introduction à la logique, version du 8 octobre 2016
![Page 2: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/2.jpg)
2/ 23
Basics I
I Set = finite or infinite unordered collection without repetition.
I Notation : {a,b, c, . . .}, where a, b, c, etc. are the objects in the collection(the elements).
I Writing {a,a, . . .}, {a,b,a, . . .}, etc. does not make sense.I Identity criterion : two sets are the same iff they have the same elements.I Ex. : {a,b} = {b,a} (order is not relevant)
![Page 3: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/3.jpg)
2/ 23
Basics I
I Set = finite or infinite unordered collection without repetition.I Notation : {a,b, c, . . .}, where a, b, c, etc. are the objects in the collection
(the elements).
I Writing {a,a, . . .}, {a,b,a, . . .}, etc. does not make sense.I Identity criterion : two sets are the same iff they have the same elements.I Ex. : {a,b} = {b,a} (order is not relevant)
![Page 4: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/4.jpg)
2/ 23
Basics I
I Set = finite or infinite unordered collection without repetition.I Notation : {a,b, c, . . .}, where a, b, c, etc. are the objects in the collection
(the elements).I Writing {a,a, . . .}, {a,b,a, . . .}, etc. does not make sense.
I Identity criterion : two sets are the same iff they have the same elements.I Ex. : {a,b} = {b,a} (order is not relevant)
![Page 5: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/5.jpg)
2/ 23
Basics I
I Set = finite or infinite unordered collection without repetition.I Notation : {a,b, c, . . .}, where a, b, c, etc. are the objects in the collection
(the elements).I Writing {a,a, . . .}, {a,b,a, . . .}, etc. does not make sense.I Identity criterion : two sets are the same iff they have the same elements.
I Ex. : {a,b} = {b,a} (order is not relevant)
![Page 6: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/6.jpg)
2/ 23
Basics I
I Set = finite or infinite unordered collection without repetition.I Notation : {a,b, c, . . .}, where a, b, c, etc. are the objects in the collection
(the elements).I Writing {a,a, . . .}, {a,b,a, . . .}, etc. does not make sense.I Identity criterion : two sets are the same iff they have the same elements.I Ex. : {a,b} = {b,a} (order is not relevant)
![Page 7: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/7.jpg)
3/ 23
Basics II
I Definition of ∈ : x ∈ X means that x is an element of the set X .
I 6∈ notes the contrary property : x 6∈ X means that x is not an element of X .I Ex. : a ∈ {a,b}, b ∈ {a,b}, c 6∈ {a,b}.I Is that clear ? Not enough !I Can we write a ∈ {b, {a,b}, c} ?I NO, NEVER ! Why ?
![Page 8: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/8.jpg)
3/ 23
Basics II
I Definition of ∈ : x ∈ X means that x is an element of the set X .I 6∈ notes the contrary property : x 6∈ X means that x is not an element of X .
I Ex. : a ∈ {a,b}, b ∈ {a,b}, c 6∈ {a,b}.I Is that clear ? Not enough !I Can we write a ∈ {b, {a,b}, c} ?I NO, NEVER ! Why ?
![Page 9: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/9.jpg)
3/ 23
Basics II
I Definition of ∈ : x ∈ X means that x is an element of the set X .I 6∈ notes the contrary property : x 6∈ X means that x is not an element of X .I Ex. : a ∈ {a,b}, b ∈ {a,b}, c 6∈ {a,b}.
I Is that clear ? Not enough !I Can we write a ∈ {b, {a,b}, c} ?I NO, NEVER ! Why ?
![Page 10: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/10.jpg)
3/ 23
Basics II
I Definition of ∈ : x ∈ X means that x is an element of the set X .I 6∈ notes the contrary property : x 6∈ X means that x is not an element of X .I Ex. : a ∈ {a,b}, b ∈ {a,b}, c 6∈ {a,b}.I Is that clear ? Not enough !
I Can we write a ∈ {b, {a,b}, c} ?I NO, NEVER ! Why ?
![Page 11: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/11.jpg)
3/ 23
Basics II
I Definition of ∈ : x ∈ X means that x is an element of the set X .I 6∈ notes the contrary property : x 6∈ X means that x is not an element of X .I Ex. : a ∈ {a,b}, b ∈ {a,b}, c 6∈ {a,b}.I Is that clear ? Not enough !I Can we write a ∈ {b, {a,b}, c} ?
I NO, NEVER ! Why ?
![Page 12: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/12.jpg)
3/ 23
Basics II
I Definition of ∈ : x ∈ X means that x is an element of the set X .I 6∈ notes the contrary property : x 6∈ X means that x is not an element of X .I Ex. : a ∈ {a,b}, b ∈ {a,b}, c 6∈ {a,b}.I Is that clear ? Not enough !I Can we write a ∈ {b, {a,b}, c} ?I NO, NEVER ! Why ?
![Page 13: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/13.jpg)
4/ 23
Basic III
I Because of the Matriochka Principle.
(1) The Matriochka Principle If a set is seen as a Matriochka, only thedaughters are elements.
Good
Bad
Masha1 (the biggest) . . .Masha8 (thesmallest)Masha8 ∈ Masha7 ∈ Masha6 ∈ . . .∈Masha1Masha8 6∈ Masha6, Masha4 6∈ Ma-sha1, etc.if j 6= i + 1, Mashai 6∈ Mashaj.
![Page 14: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/14.jpg)
4/ 23
Basic III
I Because of the Matriochka Principle.
(1) The Matriochka Principle If a set is seen as a Matriochka, only thedaughters are elements.
Good
Bad
Masha1 (the biggest) . . .Masha8 (thesmallest)Masha8 ∈ Masha7 ∈ Masha6 ∈ . . .∈Masha1Masha8 6∈ Masha6, Masha4 6∈ Ma-sha1, etc.if j 6= i + 1, Mashai 6∈ Mashaj.
![Page 15: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/15.jpg)
5/ 23
Basics IV
I Within the limits of the Matriochka Principle, the elements of a set canbe :
1. atomic elements or2. sets or3. sets of sets, etc.
I Ex. : a ∈ {a,b},I {a,b} ∈ {c, {a,b},a},I {a, {a,b}} ∈ {b, c, {a,b}, {a, {a,b}}, e, {a}}I * : a 6∈{b, {a, c}}
![Page 16: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/16.jpg)
5/ 23
Basics IV
I Within the limits of the Matriochka Principle, the elements of a set canbe :
1. atomic elements or
2. sets or3. sets of sets, etc.
I Ex. : a ∈ {a,b},I {a,b} ∈ {c, {a,b},a},I {a, {a,b}} ∈ {b, c, {a,b}, {a, {a,b}}, e, {a}}I * : a 6∈{b, {a, c}}
![Page 17: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/17.jpg)
5/ 23
Basics IV
I Within the limits of the Matriochka Principle, the elements of a set canbe :
1. atomic elements or2. sets or
3. sets of sets, etc.
I Ex. : a ∈ {a,b},I {a,b} ∈ {c, {a,b},a},I {a, {a,b}} ∈ {b, c, {a,b}, {a, {a,b}}, e, {a}}I * : a 6∈{b, {a, c}}
![Page 18: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/18.jpg)
5/ 23
Basics IV
I Within the limits of the Matriochka Principle, the elements of a set canbe :
1. atomic elements or2. sets or3. sets of sets, etc.
I Ex. : a ∈ {a,b},I {a,b} ∈ {c, {a,b},a},I {a, {a,b}} ∈ {b, c, {a,b}, {a, {a,b}}, e, {a}}I * : a 6∈{b, {a, c}}
![Page 19: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/19.jpg)
5/ 23
Basics IV
I Within the limits of the Matriochka Principle, the elements of a set canbe :
1. atomic elements or2. sets or3. sets of sets, etc.
I Ex. : a ∈ {a,b},
I {a,b} ∈ {c, {a,b},a},I {a, {a,b}} ∈ {b, c, {a,b}, {a, {a,b}}, e, {a}}I * : a 6∈{b, {a, c}}
![Page 20: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/20.jpg)
5/ 23
Basics IV
I Within the limits of the Matriochka Principle, the elements of a set canbe :
1. atomic elements or2. sets or3. sets of sets, etc.
I Ex. : a ∈ {a,b},I {a,b} ∈ {c, {a,b},a},
I {a, {a,b}} ∈ {b, c, {a,b}, {a, {a,b}}, e, {a}}I * : a 6∈{b, {a, c}}
![Page 21: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/21.jpg)
5/ 23
Basics IV
I Within the limits of the Matriochka Principle, the elements of a set canbe :
1. atomic elements or2. sets or3. sets of sets, etc.
I Ex. : a ∈ {a,b},I {a,b} ∈ {c, {a,b},a},I {a, {a,b}} ∈ {b, c, {a,b}, {a, {a,b}}, e, {a}}
I * : a 6∈{b, {a, c}}
![Page 22: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/22.jpg)
5/ 23
Basics IV
I Within the limits of the Matriochka Principle, the elements of a set canbe :
1. atomic elements or2. sets or3. sets of sets, etc.
I Ex. : a ∈ {a,b},I {a,b} ∈ {c, {a,b},a},I {a, {a,b}} ∈ {b, c, {a,b}, {a, {a,b}}, e, {a}}I * : a 6∈{b, {a, c}}
![Page 23: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/23.jpg)
6/ 23
Basics V
I Correspondence between properties and sets.
I {x : P(x)} denotes the set of objects that satisfy the property P.I P can be any formula of a formal language :{x : integer(x) ∧ even(x)} = {0,2,4, . . .}.
I * Only in naive set theory.I The extensional view of a set : {0,2,4, . . .}.
The intensional view of the same set : {x : integer(x) ∧ even(x)}.I When P is contradictory, we have the null or empty set, noted ∅.I * There is one and only one empty set (∅).
![Page 24: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/24.jpg)
6/ 23
Basics V
I Correspondence between properties and sets.I {x : P(x)} denotes the set of objects that satisfy the property P.
I P can be any formula of a formal language :{x : integer(x) ∧ even(x)} = {0,2,4, . . .}.
I * Only in naive set theory.I The extensional view of a set : {0,2,4, . . .}.
The intensional view of the same set : {x : integer(x) ∧ even(x)}.I When P is contradictory, we have the null or empty set, noted ∅.I * There is one and only one empty set (∅).
![Page 25: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/25.jpg)
6/ 23
Basics V
I Correspondence between properties and sets.I {x : P(x)} denotes the set of objects that satisfy the property P.I P can be any formula of a formal language :{x : integer(x) ∧ even(x)} = {0,2,4, . . .}.
I * Only in naive set theory.I The extensional view of a set : {0,2,4, . . .}.
The intensional view of the same set : {x : integer(x) ∧ even(x)}.I When P is contradictory, we have the null or empty set, noted ∅.I * There is one and only one empty set (∅).
![Page 26: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/26.jpg)
6/ 23
Basics V
I Correspondence between properties and sets.I {x : P(x)} denotes the set of objects that satisfy the property P.I P can be any formula of a formal language :{x : integer(x) ∧ even(x)} = {0,2,4, . . .}.
I * Only in naive set theory.
I The extensional view of a set : {0,2,4, . . .}.The intensional view of the same set : {x : integer(x) ∧ even(x)}.
I When P is contradictory, we have the null or empty set, noted ∅.I * There is one and only one empty set (∅).
![Page 27: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/27.jpg)
6/ 23
Basics V
I Correspondence between properties and sets.I {x : P(x)} denotes the set of objects that satisfy the property P.I P can be any formula of a formal language :{x : integer(x) ∧ even(x)} = {0,2,4, . . .}.
I * Only in naive set theory.I The extensional view of a set : {0,2,4, . . .}.
The intensional view of the same set : {x : integer(x) ∧ even(x)}.
I When P is contradictory, we have the null or empty set, noted ∅.I * There is one and only one empty set (∅).
![Page 28: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/28.jpg)
6/ 23
Basics V
I Correspondence between properties and sets.I {x : P(x)} denotes the set of objects that satisfy the property P.I P can be any formula of a formal language :{x : integer(x) ∧ even(x)} = {0,2,4, . . .}.
I * Only in naive set theory.I The extensional view of a set : {0,2,4, . . .}.
The intensional view of the same set : {x : integer(x) ∧ even(x)}.I When P is contradictory, we have the null or empty set, noted ∅.
I * There is one and only one empty set (∅).
![Page 29: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/29.jpg)
6/ 23
Basics V
I Correspondence between properties and sets.I {x : P(x)} denotes the set of objects that satisfy the property P.I P can be any formula of a formal language :{x : integer(x) ∧ even(x)} = {0,2,4, . . .}.
I * Only in naive set theory.I The extensional view of a set : {0,2,4, . . .}.
The intensional view of the same set : {x : integer(x) ∧ even(x)}.I When P is contradictory, we have the null or empty set, noted ∅.I * There is one and only one empty set (∅).
![Page 30: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/30.jpg)
7/ 23
Operations on sets
Operations I
I Take one set or several sets and return a set.
I IntersectionX ∩ Y =df {x : x ∈ X ∧ x ∈ Y}.
I UnionX ∪ Y =df {x : x ∈ X ∨ x ∈ Y}.
![Page 31: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/31.jpg)
7/ 23
Operations on sets
Operations I
I Take one set or several sets and return a set.I Intersection
X ∩ Y =df {x : x ∈ X ∧ x ∈ Y}.
I UnionX ∪ Y =df {x : x ∈ X ∨ x ∈ Y}.
![Page 32: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/32.jpg)
7/ 23
Operations on sets
Operations I
I Take one set or several sets and return a set.I Intersection
X ∩ Y =df {x : x ∈ X ∧ x ∈ Y}.I Union
X ∪ Y =df {x : x ∈ X ∨ x ∈ Y}.
![Page 33: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/33.jpg)
7/ 23
Operations on sets
Operations I
I Take one set or several sets and return a set.I Intersection
X ∩ Y =df {x : x ∈ X ∧ x ∈ Y}.I Union
X ∪ Y =df {x : x ∈ X ∨ x ∈ Y}.
![Page 34: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/34.jpg)
8/ 23
Operations on sets
Operations II
I How to represent negation ?
I The complement of a set X with respect to another set Y = the set ofelements of Y which are not in X .
I {Y X = {z : z ∈ Y ∧ z 6∈ X}, other notations Y − X ,Y \ X .
![Page 35: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/35.jpg)
8/ 23
Operations on sets
Operations II
I How to represent negation ?I The complement of a set X with respect to another set Y = the set of
elements of Y which are not in X .
I {Y X = {z : z ∈ Y ∧ z 6∈ X}, other notations Y − X ,Y \ X .
![Page 36: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/36.jpg)
8/ 23
Operations on sets
Operations II
I How to represent negation ?I The complement of a set X with respect to another set Y = the set of
elements of Y which are not in X .I {Y X = {z : z ∈ Y ∧ z 6∈ X}, other notations Y − X ,Y \ X .
![Page 37: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/37.jpg)
8/ 23
Operations on sets
Operations II
I How to represent negation ?I The complement of a set X with respect to another set Y = the set of
elements of Y which are not in X .I {Y X = {z : z ∈ Y ∧ z 6∈ X}, other notations Y − X ,Y \ X .
![Page 38: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/38.jpg)
9/ 23
Operations on sets
Operations III
I Introducing order : sets are unordered, but, sometimes, we need order !
I Ordered pairs/couples : 〈x,y〉 =df {{x}, {x,y}}.I Triples : 〈x,y, z〉 abbreviates 〈x, 〈y, z〉〉.I * 〈x,y〉 6= 〈y, x〉 (order does matter).I In general : 〈x1, x2, . . . , xn〉 =df 〈x1, 〈x2, x3, . . . , xn〉〉.I Hideously complex when you look into triples, pairs with pairs, etc.〈x, 〈y, z〉〉 = {{x}, {x, 〈y, z〉}} = {{x}, {x, {y, {y, z}}}}.
I The nice thing is : you can forget the { } structure and just use 〈〉.I * Repetitions are allowed : 〈a,a〉 is actually {{a}, {a,a}}, which collapses
to {{a}, {a}}, which collapses to {{a}}.I Can we have infinite lists, like 〈1,2,3, . . .〉 ? More on this in section 3.
![Page 39: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/39.jpg)
9/ 23
Operations on sets
Operations III
I Introducing order : sets are unordered, but, sometimes, we need order !I Ordered pairs/couples : 〈x,y〉 =df {{x}, {x,y}}.
I Triples : 〈x,y, z〉 abbreviates 〈x, 〈y, z〉〉.I * 〈x,y〉 6= 〈y, x〉 (order does matter).I In general : 〈x1, x2, . . . , xn〉 =df 〈x1, 〈x2, x3, . . . , xn〉〉.I Hideously complex when you look into triples, pairs with pairs, etc.〈x, 〈y, z〉〉 = {{x}, {x, 〈y, z〉}} = {{x}, {x, {y, {y, z}}}}.
I The nice thing is : you can forget the { } structure and just use 〈〉.I * Repetitions are allowed : 〈a,a〉 is actually {{a}, {a,a}}, which collapses
to {{a}, {a}}, which collapses to {{a}}.I Can we have infinite lists, like 〈1,2,3, . . .〉 ? More on this in section 3.
![Page 40: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/40.jpg)
9/ 23
Operations on sets
Operations III
I Introducing order : sets are unordered, but, sometimes, we need order !I Ordered pairs/couples : 〈x,y〉 =df {{x}, {x,y}}.I Triples : 〈x,y, z〉 abbreviates 〈x, 〈y, z〉〉.
I * 〈x,y〉 6= 〈y, x〉 (order does matter).I In general : 〈x1, x2, . . . , xn〉 =df 〈x1, 〈x2, x3, . . . , xn〉〉.I Hideously complex when you look into triples, pairs with pairs, etc.〈x, 〈y, z〉〉 = {{x}, {x, 〈y, z〉}} = {{x}, {x, {y, {y, z}}}}.
I The nice thing is : you can forget the { } structure and just use 〈〉.I * Repetitions are allowed : 〈a,a〉 is actually {{a}, {a,a}}, which collapses
to {{a}, {a}}, which collapses to {{a}}.I Can we have infinite lists, like 〈1,2,3, . . .〉 ? More on this in section 3.
![Page 41: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/41.jpg)
9/ 23
Operations on sets
Operations III
I Introducing order : sets are unordered, but, sometimes, we need order !I Ordered pairs/couples : 〈x,y〉 =df {{x}, {x,y}}.I Triples : 〈x,y, z〉 abbreviates 〈x, 〈y, z〉〉.I * 〈x,y〉 6= 〈y, x〉 (order does matter).
I In general : 〈x1, x2, . . . , xn〉 =df 〈x1, 〈x2, x3, . . . , xn〉〉.I Hideously complex when you look into triples, pairs with pairs, etc.〈x, 〈y, z〉〉 = {{x}, {x, 〈y, z〉}} = {{x}, {x, {y, {y, z}}}}.
I The nice thing is : you can forget the { } structure and just use 〈〉.I * Repetitions are allowed : 〈a,a〉 is actually {{a}, {a,a}}, which collapses
to {{a}, {a}}, which collapses to {{a}}.I Can we have infinite lists, like 〈1,2,3, . . .〉 ? More on this in section 3.
![Page 42: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/42.jpg)
9/ 23
Operations on sets
Operations III
I Introducing order : sets are unordered, but, sometimes, we need order !I Ordered pairs/couples : 〈x,y〉 =df {{x}, {x,y}}.I Triples : 〈x,y, z〉 abbreviates 〈x, 〈y, z〉〉.I * 〈x,y〉 6= 〈y, x〉 (order does matter).I In general : 〈x1, x2, . . . , xn〉 =df 〈x1, 〈x2, x3, . . . , xn〉〉.
I Hideously complex when you look into triples, pairs with pairs, etc.〈x, 〈y, z〉〉 = {{x}, {x, 〈y, z〉}} = {{x}, {x, {y, {y, z}}}}.
I The nice thing is : you can forget the { } structure and just use 〈〉.I * Repetitions are allowed : 〈a,a〉 is actually {{a}, {a,a}}, which collapses
to {{a}, {a}}, which collapses to {{a}}.I Can we have infinite lists, like 〈1,2,3, . . .〉 ? More on this in section 3.
![Page 43: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/43.jpg)
9/ 23
Operations on sets
Operations III
I Introducing order : sets are unordered, but, sometimes, we need order !I Ordered pairs/couples : 〈x,y〉 =df {{x}, {x,y}}.I Triples : 〈x,y, z〉 abbreviates 〈x, 〈y, z〉〉.I * 〈x,y〉 6= 〈y, x〉 (order does matter).I In general : 〈x1, x2, . . . , xn〉 =df 〈x1, 〈x2, x3, . . . , xn〉〉.I Hideously complex when you look into triples, pairs with pairs, etc.〈x, 〈y, z〉〉 = {{x}, {x, 〈y, z〉}} = {{x}, {x, {y, {y, z}}}}.
I The nice thing is : you can forget the { } structure and just use 〈〉.I * Repetitions are allowed : 〈a,a〉 is actually {{a}, {a,a}}, which collapses
to {{a}, {a}}, which collapses to {{a}}.I Can we have infinite lists, like 〈1,2,3, . . .〉 ? More on this in section 3.
![Page 44: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/44.jpg)
9/ 23
Operations on sets
Operations III
I Introducing order : sets are unordered, but, sometimes, we need order !I Ordered pairs/couples : 〈x,y〉 =df {{x}, {x,y}}.I Triples : 〈x,y, z〉 abbreviates 〈x, 〈y, z〉〉.I * 〈x,y〉 6= 〈y, x〉 (order does matter).I In general : 〈x1, x2, . . . , xn〉 =df 〈x1, 〈x2, x3, . . . , xn〉〉.I Hideously complex when you look into triples, pairs with pairs, etc.〈x, 〈y, z〉〉 = {{x}, {x, 〈y, z〉}} = {{x}, {x, {y, {y, z}}}}.
I The nice thing is : you can forget the { } structure and just use 〈〉.
I * Repetitions are allowed : 〈a,a〉 is actually {{a}, {a,a}}, which collapsesto {{a}, {a}}, which collapses to {{a}}.
I Can we have infinite lists, like 〈1,2,3, . . .〉 ? More on this in section 3.
![Page 45: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/45.jpg)
9/ 23
Operations on sets
Operations III
I Introducing order : sets are unordered, but, sometimes, we need order !I Ordered pairs/couples : 〈x,y〉 =df {{x}, {x,y}}.I Triples : 〈x,y, z〉 abbreviates 〈x, 〈y, z〉〉.I * 〈x,y〉 6= 〈y, x〉 (order does matter).I In general : 〈x1, x2, . . . , xn〉 =df 〈x1, 〈x2, x3, . . . , xn〉〉.I Hideously complex when you look into triples, pairs with pairs, etc.〈x, 〈y, z〉〉 = {{x}, {x, 〈y, z〉}} = {{x}, {x, {y, {y, z}}}}.
I The nice thing is : you can forget the { } structure and just use 〈〉.I * Repetitions are allowed : 〈a,a〉 is actually {{a}, {a,a}}, which collapses
to {{a}, {a}}, which collapses to {{a}}.
I Can we have infinite lists, like 〈1,2,3, . . .〉 ? More on this in section 3.
![Page 46: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/46.jpg)
9/ 23
Operations on sets
Operations III
I Introducing order : sets are unordered, but, sometimes, we need order !I Ordered pairs/couples : 〈x,y〉 =df {{x}, {x,y}}.I Triples : 〈x,y, z〉 abbreviates 〈x, 〈y, z〉〉.I * 〈x,y〉 6= 〈y, x〉 (order does matter).I In general : 〈x1, x2, . . . , xn〉 =df 〈x1, 〈x2, x3, . . . , xn〉〉.I Hideously complex when you look into triples, pairs with pairs, etc.〈x, 〈y, z〉〉 = {{x}, {x, 〈y, z〉}} = {{x}, {x, {y, {y, z}}}}.
I The nice thing is : you can forget the { } structure and just use 〈〉.I * Repetitions are allowed : 〈a,a〉 is actually {{a}, {a,a}}, which collapses
to {{a}, {a}}, which collapses to {{a}}.I Can we have infinite lists, like 〈1,2,3, . . .〉 ? More on this in section 3.
![Page 47: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/47.jpg)
10/ 23
Operations on sets
Operations IV
I Cartesian product.X × Y =df {〈x,y〉 : x ∈ X ∧ y ∈ Y}.
I The Cartesian product is not commutative. It can happen that X × Y 6=Y × X .
I {a,b} × {a, c} = {〈a,a〉, 〈a, c〉, 〈b,a〉, 〈b, c〉} and . . .
{a, c} × {a,b} = {〈a,a〉, 〈a,b〉, 〈c,a〉, 〈c,b〉}.I X1 × X2 × . . .× Xn =df X1 × (X2 × . . .× Xn).I It is identical to : {〈x1 . . . xn〉 : x1 ∈ X1 ∧ . . . ∧ xn ∈ Xn}. Why ?
![Page 48: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/48.jpg)
10/ 23
Operations on sets
Operations IV
I Cartesian product.X × Y =df {〈x,y〉 : x ∈ X ∧ y ∈ Y}.
I The Cartesian product is not commutative. It can happen that X × Y 6=Y × X .
I {a,b} × {a, c} = {〈a,a〉, 〈a, c〉, 〈b,a〉, 〈b, c〉} and . . .
{a, c} × {a,b} = {〈a,a〉, 〈a,b〉, 〈c,a〉, 〈c,b〉}.I X1 × X2 × . . .× Xn =df X1 × (X2 × . . .× Xn).I It is identical to : {〈x1 . . . xn〉 : x1 ∈ X1 ∧ . . . ∧ xn ∈ Xn}. Why ?
![Page 49: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/49.jpg)
10/ 23
Operations on sets
Operations IV
I Cartesian product.X × Y =df {〈x,y〉 : x ∈ X ∧ y ∈ Y}.
I The Cartesian product is not commutative. It can happen that X × Y 6=Y × X .
I {a,b} × {a, c} = {〈a,a〉, 〈a, c〉, 〈b,a〉, 〈b, c〉} and . . .
{a, c} × {a,b} = {〈a,a〉, 〈a,b〉, 〈c,a〉, 〈c,b〉}.I X1 × X2 × . . .× Xn =df X1 × (X2 × . . .× Xn).I It is identical to : {〈x1 . . . xn〉 : x1 ∈ X1 ∧ . . . ∧ xn ∈ Xn}. Why ?
![Page 50: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/50.jpg)
10/ 23
Operations on sets
Operations IV
I Cartesian product.X × Y =df {〈x,y〉 : x ∈ X ∧ y ∈ Y}.
I The Cartesian product is not commutative. It can happen that X × Y 6=Y × X .
I {a,b} × {a, c} = {〈a,a〉, 〈a, c〉, 〈b,a〉, 〈b, c〉} and . . .
{a, c} × {a,b} = {〈a,a〉, 〈a,b〉, 〈c,a〉, 〈c,b〉}.
I X1 × X2 × . . .× Xn =df X1 × (X2 × . . .× Xn).I It is identical to : {〈x1 . . . xn〉 : x1 ∈ X1 ∧ . . . ∧ xn ∈ Xn}. Why ?
![Page 51: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/51.jpg)
10/ 23
Operations on sets
Operations IV
I Cartesian product.X × Y =df {〈x,y〉 : x ∈ X ∧ y ∈ Y}.
I The Cartesian product is not commutative. It can happen that X × Y 6=Y × X .
I {a,b} × {a, c} = {〈a,a〉, 〈a, c〉, 〈b,a〉, 〈b, c〉} and . . .
{a, c} × {a,b} = {〈a,a〉, 〈a,b〉, 〈c,a〉, 〈c,b〉}.I X1 × X2 × . . .× Xn =df X1 × (X2 × . . .× Xn).
I It is identical to : {〈x1 . . . xn〉 : x1 ∈ X1 ∧ . . . ∧ xn ∈ Xn}. Why ?
![Page 52: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/52.jpg)
10/ 23
Operations on sets
Operations IV
I Cartesian product.X × Y =df {〈x,y〉 : x ∈ X ∧ y ∈ Y}.
I The Cartesian product is not commutative. It can happen that X × Y 6=Y × X .
I {a,b} × {a, c} = {〈a,a〉, 〈a, c〉, 〈b,a〉, 〈b, c〉} and . . .
{a, c} × {a,b} = {〈a,a〉, 〈a,b〉, 〈c,a〉, 〈c,b〉}.I X1 × X2 × . . .× Xn =df X1 × (X2 × . . .× Xn).I It is identical to : {〈x1 . . . xn〉 : x1 ∈ X1 ∧ . . . ∧ xn ∈ Xn}. Why ?
![Page 53: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/53.jpg)
11/ 23
Operations on sets
Operations V
I X is a subset of Y , in symbols X ⊆ Y =df for every x, if x ∈ X , then x ∈ Y .
I E.g. {a,b} ⊆ {a,b, c}.I For every set X , X ⊆ X and ∅ ⊆ X *
I The ℘ operator (powerset) returns the set of subsets of a given set (itspowerset).
I ℘(X) =df {Y : Y ⊆ X}I E.g. ℘({a,b, c}) = {∅, {a,b, c}, {a,b}, {a, c}, {b, c}, {a}, {b}, {c}}.I Test your understanding : what is ℘(∅) ?
![Page 54: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/54.jpg)
11/ 23
Operations on sets
Operations V
I X is a subset of Y , in symbols X ⊆ Y =df for every x, if x ∈ X , then x ∈ Y .I E.g. {a,b} ⊆ {a,b, c}.
I For every set X , X ⊆ X and ∅ ⊆ X *
I The ℘ operator (powerset) returns the set of subsets of a given set (itspowerset).
I ℘(X) =df {Y : Y ⊆ X}I E.g. ℘({a,b, c}) = {∅, {a,b, c}, {a,b}, {a, c}, {b, c}, {a}, {b}, {c}}.I Test your understanding : what is ℘(∅) ?
![Page 55: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/55.jpg)
11/ 23
Operations on sets
Operations V
I X is a subset of Y , in symbols X ⊆ Y =df for every x, if x ∈ X , then x ∈ Y .I E.g. {a,b} ⊆ {a,b, c}.I For every set X , X ⊆ X and ∅ ⊆ X *
I The ℘ operator (powerset) returns the set of subsets of a given set (itspowerset).
I ℘(X) =df {Y : Y ⊆ X}I E.g. ℘({a,b, c}) = {∅, {a,b, c}, {a,b}, {a, c}, {b, c}, {a}, {b}, {c}}.I Test your understanding : what is ℘(∅) ?
![Page 56: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/56.jpg)
11/ 23
Operations on sets
Operations V
I X is a subset of Y , in symbols X ⊆ Y =df for every x, if x ∈ X , then x ∈ Y .I E.g. {a,b} ⊆ {a,b, c}.I For every set X , X ⊆ X and ∅ ⊆ X *
I The ℘ operator (powerset) returns the set of subsets of a given set (itspowerset).
I ℘(X) =df {Y : Y ⊆ X}I E.g. ℘({a,b, c}) = {∅, {a,b, c}, {a,b}, {a, c}, {b, c}, {a}, {b}, {c}}.I Test your understanding : what is ℘(∅) ?
![Page 57: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/57.jpg)
11/ 23
Operations on sets
Operations V
I X is a subset of Y , in symbols X ⊆ Y =df for every x, if x ∈ X , then x ∈ Y .I E.g. {a,b} ⊆ {a,b, c}.I For every set X , X ⊆ X and ∅ ⊆ X *
I The ℘ operator (powerset) returns the set of subsets of a given set (itspowerset).
I ℘(X) =df {Y : Y ⊆ X}
I E.g. ℘({a,b, c}) = {∅, {a,b, c}, {a,b}, {a, c}, {b, c}, {a}, {b}, {c}}.I Test your understanding : what is ℘(∅) ?
![Page 58: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/58.jpg)
11/ 23
Operations on sets
Operations V
I X is a subset of Y , in symbols X ⊆ Y =df for every x, if x ∈ X , then x ∈ Y .I E.g. {a,b} ⊆ {a,b, c}.I For every set X , X ⊆ X and ∅ ⊆ X *
I The ℘ operator (powerset) returns the set of subsets of a given set (itspowerset).
I ℘(X) =df {Y : Y ⊆ X}I E.g. ℘({a,b, c}) = {∅, {a,b, c}, {a,b}, {a, c}, {b, c}, {a}, {b}, {c}}.
I Test your understanding : what is ℘(∅) ?
![Page 59: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/59.jpg)
11/ 23
Operations on sets
Operations V
I X is a subset of Y , in symbols X ⊆ Y =df for every x, if x ∈ X , then x ∈ Y .I E.g. {a,b} ⊆ {a,b, c}.I For every set X , X ⊆ X and ∅ ⊆ X *
I The ℘ operator (powerset) returns the set of subsets of a given set (itspowerset).
I ℘(X) =df {Y : Y ⊆ X}I E.g. ℘({a,b, c}) = {∅, {a,b, c}, {a,b}, {a, c}, {b, c}, {a}, {b}, {c}}.I Test your understanding : what is ℘(∅) ?
![Page 60: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/60.jpg)
12/ 23
Relations and functions
Relations and functions I
I Intensional view of a relation : the concept, e.g. taller than.
I Extensional view : the set of lists from a given set that satisfy the relation(concept).
I taller than : concept.Domain : {Paul, Marie, Lucien} ;Relation :[[taller than]]{Paul,Marie,Lucien} = {〈x,y〉 : x,y ∈ {Paul,Marie,Lucien} ∧taller than(x,y)}.
Paul
Marie
Lucien
Extensional view :{〈Marie,Paul〉, 〈Marie,Lucien〉, 〈Paul,Lucien〉}
![Page 61: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/61.jpg)
12/ 23
Relations and functions
Relations and functions I
I Intensional view of a relation : the concept, e.g. taller than.I Extensional view : the set of lists from a given set that satisfy the relation
(concept).
I taller than : concept.Domain : {Paul, Marie, Lucien} ;Relation :[[taller than]]{Paul,Marie,Lucien} = {〈x,y〉 : x,y ∈ {Paul,Marie,Lucien} ∧taller than(x,y)}.
Paul
Marie
Lucien
Extensional view :{〈Marie,Paul〉, 〈Marie,Lucien〉, 〈Paul,Lucien〉}
![Page 62: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/62.jpg)
12/ 23
Relations and functions
Relations and functions I
I Intensional view of a relation : the concept, e.g. taller than.I Extensional view : the set of lists from a given set that satisfy the relation
(concept).I taller than : concept.
Domain : {Paul, Marie, Lucien} ;Relation :[[taller than]]{Paul,Marie,Lucien} = {〈x,y〉 : x,y ∈ {Paul,Marie,Lucien} ∧taller than(x,y)}.
Paul
Marie
Lucien
Extensional view :{〈Marie,Paul〉, 〈Marie,Lucien〉, 〈Paul,Lucien〉}
![Page 63: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/63.jpg)
12/ 23
Relations and functions
Relations and functions I
I Intensional view of a relation : the concept, e.g. taller than.I Extensional view : the set of lists from a given set that satisfy the relation
(concept).I taller than : concept.
Domain : {Paul, Marie, Lucien} ;Relation :[[taller than]]{Paul,Marie,Lucien} = {〈x,y〉 : x,y ∈ {Paul,Marie,Lucien} ∧taller than(x,y)}.
Paul
Marie
Lucien
Extensional view :{〈Marie,Paul〉, 〈Marie,Lucien〉, 〈Paul,Lucien〉}
![Page 64: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/64.jpg)
12/ 23
Relations and functions
Relations and functions I
I Intensional view of a relation : the concept, e.g. taller than.I Extensional view : the set of lists from a given set that satisfy the relation
(concept).I taller than : concept.
Domain : {Paul, Marie, Lucien} ;Relation :[[taller than]]{Paul,Marie,Lucien} = {〈x,y〉 : x,y ∈ {Paul,Marie,Lucien} ∧taller than(x,y)}.
Paul
Marie
Lucien
Extensional view :{〈Marie,Paul〉, 〈Marie,Lucien〉, 〈Paul,Lucien〉}
![Page 65: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/65.jpg)
12/ 23
Relations and functions
Relations and functions I
I Intensional view of a relation : the concept, e.g. taller than.I Extensional view : the set of lists from a given set that satisfy the relation
(concept).I taller than : concept.
Domain : {Paul, Marie, Lucien} ;Relation :[[taller than]]{Paul,Marie,Lucien} = {〈x,y〉 : x,y ∈ {Paul,Marie,Lucien} ∧taller than(x,y)}.
Paul
Marie
Lucien
Extensional view :{〈Marie,Paul〉, 〈Marie,Lucien〉, 〈Paul,Lucien〉}
![Page 66: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/66.jpg)
12/ 23
Relations and functions
Relations and functions I
I Intensional view of a relation : the concept, e.g. taller than.I Extensional view : the set of lists from a given set that satisfy the relation
(concept).I taller than : concept.
Domain : {Paul, Marie, Lucien} ;Relation :[[taller than]]{Paul,Marie,Lucien} = {〈x,y〉 : x,y ∈ {Paul,Marie,Lucien} ∧taller than(x,y)}.
Paul
Marie
Lucien
Extensional view :{〈Marie,Paul〉, 〈Marie,Lucien〉, 〈Paul,Lucien〉}
![Page 67: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/67.jpg)
13/ 23
Relations and functions
Relations and functions II
I Relations are everywhere in maths.
I [[Between]]N =df {〈x,y, z〉} : x,y, z ∈ N ∧ x < y < z.I An infinite set of triples : {〈1,2,3〉, 〈78,96,22223〉}, . . ..I Functions are just special relations.I Arguments and result are distinguished and the same arguments always
give the same result.I Ex. : the sum function on integers.
[[Sum]]=df {〈x,y, z〉} : z = x + y.x and y are the arguments, z is the result.
![Page 68: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/68.jpg)
13/ 23
Relations and functions
Relations and functions II
I Relations are everywhere in maths.I [[Between]]N =df {〈x,y, z〉} : x,y, z ∈ N ∧ x < y < z.
I An infinite set of triples : {〈1,2,3〉, 〈78,96,22223〉}, . . ..I Functions are just special relations.I Arguments and result are distinguished and the same arguments always
give the same result.I Ex. : the sum function on integers.
[[Sum]]=df {〈x,y, z〉} : z = x + y.x and y are the arguments, z is the result.
![Page 69: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/69.jpg)
13/ 23
Relations and functions
Relations and functions II
I Relations are everywhere in maths.I [[Between]]N =df {〈x,y, z〉} : x,y, z ∈ N ∧ x < y < z.I An infinite set of triples : {〈1,2,3〉, 〈78,96,22223〉}, . . ..
I Functions are just special relations.I Arguments and result are distinguished and the same arguments always
give the same result.I Ex. : the sum function on integers.
[[Sum]]=df {〈x,y, z〉} : z = x + y.x and y are the arguments, z is the result.
![Page 70: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/70.jpg)
13/ 23
Relations and functions
Relations and functions II
I Relations are everywhere in maths.I [[Between]]N =df {〈x,y, z〉} : x,y, z ∈ N ∧ x < y < z.I An infinite set of triples : {〈1,2,3〉, 〈78,96,22223〉}, . . ..I Functions are just special relations.
I Arguments and result are distinguished and the same arguments alwaysgive the same result.
I Ex. : the sum function on integers.[[Sum]]=df {〈x,y, z〉} : z = x + y.x and y are the arguments, z is the result.
![Page 71: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/71.jpg)
13/ 23
Relations and functions
Relations and functions II
I Relations are everywhere in maths.I [[Between]]N =df {〈x,y, z〉} : x,y, z ∈ N ∧ x < y < z.I An infinite set of triples : {〈1,2,3〉, 〈78,96,22223〉}, . . ..I Functions are just special relations.I Arguments and result are distinguished and the same arguments always
give the same result.
I Ex. : the sum function on integers.[[Sum]]=df {〈x,y, z〉} : z = x + y.x and y are the arguments, z is the result.
![Page 72: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/72.jpg)
13/ 23
Relations and functions
Relations and functions II
I Relations are everywhere in maths.I [[Between]]N =df {〈x,y, z〉} : x,y, z ∈ N ∧ x < y < z.I An infinite set of triples : {〈1,2,3〉, 〈78,96,22223〉}, . . ..I Functions are just special relations.I Arguments and result are distinguished and the same arguments always
give the same result.I Ex. : the sum function on integers.
[[Sum]]=df {〈x,y, z〉} : z = x + y.x and y are the arguments, z is the result.
![Page 73: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/73.jpg)
14/ 23
Relations and functions
Relations and functions III
I Relations can be represented as graphs.
Height comparison : Jean > Marie, Marie > Paul, Paul = Louis, Louis < Sophie, Sophie > Jean.
Jean
Marie Paul
Louis Sophie
![Page 74: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/74.jpg)
14/ 23
Relations and functions
Relations and functions III
I Relations can be represented as graphs.
Height comparison : Jean > Marie, Marie > Paul, Paul = Louis, Louis < Sophie, Sophie > Jean.
Jean
Marie Paul
Louis Sophie
![Page 75: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/75.jpg)
14/ 23
Relations and functions
Relations and functions III
I Relations can be represented as graphs.
Height comparison : Jean > Marie, Marie > Paul, Paul = Louis, Louis < Sophie, Sophie > Jean.
Jean
Marie Paul
Louis Sophie
![Page 76: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/76.jpg)
14/ 23
Relations and functions
Relations and functions III
I Relations can be represented as graphs.
Height comparison : Jean > Marie, Marie > Paul, Paul = Louis, Louis < Sophie, Sophie > Jean.
Jean
Marie Paul
Louis Sophie
![Page 77: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/77.jpg)
14/ 23
Relations and functions
Relations and functions III
I Relations can be represented as graphs.
Height comparison : Jean > Marie, Marie > Paul, Paul = Louis, Louis < Sophie, Sophie > Jean.
Jean
Marie Paul
Louis Sophie
![Page 78: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/78.jpg)
14/ 23
Relations and functions
Relations and functions III
I Relations can be represented as graphs.
Height comparison : Jean > Marie, Marie > Paul, Paul = Louis, Louis < Sophie, Sophie > Jean.
Jean
Marie Paul
Louis Sophie
![Page 79: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/79.jpg)
14/ 23
Relations and functions
Relations and functions III
I Relations can be represented as graphs.
Height comparison : Jean > Marie, Marie > Paul, Paul = Louis, Louis < Sophie, Sophie > Jean.
Jean
Marie Paul
Louis Sophie
![Page 80: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/80.jpg)
14/ 23
Relations and functions
Relations and functions III
I Relations can be represented as graphs.
Height comparison : Jean > Marie, Marie > Paul, Paul = Louis, Louis < Sophie, Sophie > Jean.
Jean
Marie Paul
Louis Sophie
![Page 81: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/81.jpg)
14/ 23
Relations and functions
Relations and functions III
I Relations can be represented as graphs.
Height comparison : Jean > Marie, Marie > Paul, Paul = Louis, Louis < Sophie, Sophie > Jean.
Jean
Marie Paul
Louis Sophie
![Page 82: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/82.jpg)
14/ 23
Relations and functions
Relations and functions III
I Relations can be represented as graphs.
Height comparison : Jean > Marie, Marie > Paul, Paul = Louis, Louis < Sophie, Sophie > Jean.
Jean
Marie Paul
Louis Sophie
![Page 83: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/83.jpg)
14/ 23
Relations and functions
Relations and functions III
I Relations can be represented as graphs.
Height comparison : Jean > Marie, Marie > Paul, Paul = Louis, Louis < Sophie, Sophie > Jean.
Jean
Marie Paul
Louis Sophie
![Page 84: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/84.jpg)
14/ 23
Relations and functions
Relations and functions III
I Relations can be represented as graphs.
Height comparison : Jean > Marie, Marie > Paul, Paul = Louis, Louis < Sophie, Sophie > Jean.
Jean
Marie Paul
Louis Sophie
![Page 85: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/85.jpg)
15/ 23
Complements
The comprehension axiom I
I Problem with the correspondence between sets and properties.
I Russell’s (1902, letter to Frege) paradox.I Let Y = {X : X 6∈ X}.I Either Y ∈ Y or Y 6∈ Y .I Suppose that Y ∈ Y , then Y 6∈ Y .I Suppose that Y 6∈ Y , then Y ∈ Y .
![Page 86: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/86.jpg)
15/ 23
Complements
The comprehension axiom I
I Problem with the correspondence between sets and properties.I Russell’s (1902, letter to Frege) paradox.
I Let Y = {X : X 6∈ X}.I Either Y ∈ Y or Y 6∈ Y .I Suppose that Y ∈ Y , then Y 6∈ Y .I Suppose that Y 6∈ Y , then Y ∈ Y .
![Page 87: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/87.jpg)
15/ 23
Complements
The comprehension axiom I
I Problem with the correspondence between sets and properties.I Russell’s (1902, letter to Frege) paradox.I Let Y = {X : X 6∈ X}.
I Either Y ∈ Y or Y 6∈ Y .I Suppose that Y ∈ Y , then Y 6∈ Y .I Suppose that Y 6∈ Y , then Y ∈ Y .
![Page 88: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/88.jpg)
15/ 23
Complements
The comprehension axiom I
I Problem with the correspondence between sets and properties.I Russell’s (1902, letter to Frege) paradox.I Let Y = {X : X 6∈ X}.I Either Y ∈ Y or Y 6∈ Y .
I Suppose that Y ∈ Y , then Y 6∈ Y .I Suppose that Y 6∈ Y , then Y ∈ Y .
![Page 89: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/89.jpg)
15/ 23
Complements
The comprehension axiom I
I Problem with the correspondence between sets and properties.I Russell’s (1902, letter to Frege) paradox.I Let Y = {X : X 6∈ X}.I Either Y ∈ Y or Y 6∈ Y .I Suppose that Y ∈ Y , then Y 6∈ Y .
I Suppose that Y 6∈ Y , then Y ∈ Y .
![Page 90: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/90.jpg)
15/ 23
Complements
The comprehension axiom I
I Problem with the correspondence between sets and properties.I Russell’s (1902, letter to Frege) paradox.I Let Y = {X : X 6∈ X}.I Either Y ∈ Y or Y 6∈ Y .I Suppose that Y ∈ Y , then Y 6∈ Y .I Suppose that Y 6∈ Y , then Y ∈ Y .
![Page 91: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/91.jpg)
16/ 23
Complements
The comprehension axiom II
I To eliminate this paradox, axiomatic set theory (non-naive) posits a specialaxiom, the Comprehension axiom (2).
I Intuitive interpretation : choose an arbitrary set (z) and a constraint φ,any subset of z whose elements satisfy φ is a set.
I To construct a set from a property, you must apply the property to analready existing set.
I And if I have no set in the first place ? An Existence axiom takes care ofthis (3)
(2) Comprehension For each formula φ where y is not free and each setdenoted by z, there is a set denoted by y such that x ∈ y iff x ∈ z and φ istrue.
(3) Existence There exists (at least) one set.
![Page 92: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/92.jpg)
16/ 23
Complements
The comprehension axiom II
I To eliminate this paradox, axiomatic set theory (non-naive) posits a specialaxiom, the Comprehension axiom (2).
I Intuitive interpretation : choose an arbitrary set (z) and a constraint φ,any subset of z whose elements satisfy φ is a set.
I To construct a set from a property, you must apply the property to analready existing set.
I And if I have no set in the first place ? An Existence axiom takes care ofthis (3)
(2) Comprehension For each formula φ where y is not free and each setdenoted by z, there is a set denoted by y such that x ∈ y iff x ∈ z and φ istrue.
(3) Existence There exists (at least) one set.
![Page 93: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/93.jpg)
16/ 23
Complements
The comprehension axiom II
I To eliminate this paradox, axiomatic set theory (non-naive) posits a specialaxiom, the Comprehension axiom (2).
I Intuitive interpretation : choose an arbitrary set (z) and a constraint φ,any subset of z whose elements satisfy φ is a set.
I To construct a set from a property, you must apply the property to analready existing set.
I And if I have no set in the first place ? An Existence axiom takes care ofthis (3)
(2) Comprehension For each formula φ where y is not free and each setdenoted by z, there is a set denoted by y such that x ∈ y iff x ∈ z and φ istrue.
(3) Existence There exists (at least) one set.
![Page 94: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/94.jpg)
16/ 23
Complements
The comprehension axiom II
I To eliminate this paradox, axiomatic set theory (non-naive) posits a specialaxiom, the Comprehension axiom (2).
I Intuitive interpretation : choose an arbitrary set (z) and a constraint φ,any subset of z whose elements satisfy φ is a set.
I To construct a set from a property, you must apply the property to analready existing set.
I And if I have no set in the first place ? An Existence axiom takes care ofthis (3)
(2) Comprehension For each formula φ where y is not free and each setdenoted by z, there is a set denoted by y such that x ∈ y iff x ∈ z and φ istrue.
(3) Existence There exists (at least) one set.
![Page 95: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/95.jpg)
16/ 23
Complements
The comprehension axiom II
I To eliminate this paradox, axiomatic set theory (non-naive) posits a specialaxiom, the Comprehension axiom (2).
I Intuitive interpretation : choose an arbitrary set (z) and a constraint φ,any subset of z whose elements satisfy φ is a set.
I To construct a set from a property, you must apply the property to analready existing set.
I And if I have no set in the first place ? An Existence axiom takes care ofthis (3)
(2) Comprehension For each formula φ where y is not free and each setdenoted by z, there is a set denoted by y such that x ∈ y iff x ∈ z and φ istrue.
(3) Existence There exists (at least) one set.
![Page 96: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/96.jpg)
17/ 23
Complements
The comprehension axiom III
I What happens with Russell’s paradox ?
I {X : X 6∈ X} must be replaced by {X : X ∈ Y ∧ X 6∈ X}.I Y must be the set of all sets, so Y ∈ Y .I This is impossible, as we are going to see shortly.
![Page 97: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/97.jpg)
17/ 23
Complements
The comprehension axiom III
I What happens with Russell’s paradox ?I {X : X 6∈ X} must be replaced by {X : X ∈ Y ∧ X 6∈ X}.
I Y must be the set of all sets, so Y ∈ Y .I This is impossible, as we are going to see shortly.
![Page 98: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/98.jpg)
17/ 23
Complements
The comprehension axiom III
I What happens with Russell’s paradox ?I {X : X 6∈ X} must be replaced by {X : X ∈ Y ∧ X 6∈ X}.I Y must be the set of all sets, so Y ∈ Y .
I This is impossible, as we are going to see shortly.
![Page 99: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/99.jpg)
17/ 23
Complements
The comprehension axiom III
I What happens with Russell’s paradox ?I {X : X 6∈ X} must be replaced by {X : X ∈ Y ∧ X 6∈ X}.I Y must be the set of all sets, so Y ∈ Y .I This is impossible, as we are going to see shortly.
![Page 100: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/100.jpg)
18/ 23
Complements
Hypersets I
I A set can be infinite.
I Infinite is vague.
1. Horizontal infinity : a set can have infinitely many elements but a finite numberof ‘levels’.
2. Vertical infinity (depth) : a set can have an infinite number of ‘levels’
*NOT INSTANDARD SET THEORY
Forbiden configuration
{. . .a . . .}
{. . .b . . .}
{. . . c . . .}
∞
. . . ∈ c ∈ b ∈ a
![Page 101: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/101.jpg)
18/ 23
Complements
Hypersets I
I A set can be infinite.I Infinite is vague.
1. Horizontal infinity : a set can have infinitely many elements but a finite numberof ‘levels’.
2. Vertical infinity (depth) : a set can have an infinite number of ‘levels’
*NOT INSTANDARD SET THEORY
Forbiden configuration
{. . .a . . .}
{. . .b . . .}
{. . . c . . .}
∞
. . . ∈ c ∈ b ∈ a
![Page 102: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/102.jpg)
18/ 23
Complements
Hypersets I
I A set can be infinite.I Infinite is vague.
1. Horizontal infinity : a set can have infinitely many elements but a finite numberof ‘levels’.
2. Vertical infinity (depth) : a set can have an infinite number of ‘levels’
*NOT INSTANDARD SET THEORY
Forbiden configuration
{. . .a . . .}
{. . .b . . .}
{. . . c . . .}
∞
. . . ∈ c ∈ b ∈ a
![Page 103: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/103.jpg)
18/ 23
Complements
Hypersets I
I A set can be infinite.I Infinite is vague.
1. Horizontal infinity : a set can have infinitely many elements but a finite numberof ‘levels’.
2. Vertical infinity (depth) : a set can have an infinite number of ‘levels’
*NOT INSTANDARD SET THEORY
Forbiden configuration
{. . .a . . .}
{. . .b . . .}
{. . . c . . .}
∞
. . . ∈ c ∈ b ∈ a
![Page 104: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/104.jpg)
18/ 23
Complements
Hypersets I
I A set can be infinite.I Infinite is vague.
1. Horizontal infinity : a set can have infinitely many elements but a finite numberof ‘levels’.
2. Vertical infinity (depth) : a set can have an infinite number of ‘levels’ *NOT INSTANDARD SET THEORY
Forbiden configuration
{. . .a . . .}
{. . .b . . .}
{. . . c . . .}
∞
. . . ∈ c ∈ b ∈ a
![Page 105: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/105.jpg)
18/ 23
Complements
Hypersets I
I A set can be infinite.I Infinite is vague.
1. Horizontal infinity : a set can have infinitely many elements but a finite numberof ‘levels’.
2. Vertical infinity (depth) : a set can have an infinite number of ‘levels’ *NOT INSTANDARD SET THEORY
Forbiden configuration
{. . .a . . .}
{. . .b . . .}
{. . . c . . .}
∞
. . . ∈ c ∈ b ∈ a
![Page 106: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/106.jpg)
19/ 23
Complements
Hypersets II
I In standard set theory the Foundation axiom precludes the existence ofsets of infinite depth.
I In particular X ∈ X is not possible (as a result, no Russell’s paradox). Lookcarefully into ([Foundation-axiom]).
I Every subset must respect Foundation. So (4) is equivalent to saying thatevery non-empty subset of a set must have a ∈-minimal element.
I Test your understanding : does an infinite list respect the Foundationaxiom ? Solution
(4) Every non-empty set has at least one element x such that nothing is anelement of x (a ∈ –minimal element in mathematical terminology).
∀x((∃y ∈ x)⇒ ∃z ∈ x(¬∃u(u ∈ x ∧ u ∈ z)))
![Page 107: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/107.jpg)
19/ 23
Complements
Hypersets II
I In standard set theory the Foundation axiom precludes the existence ofsets of infinite depth.
I In particular X ∈ X is not possible (as a result, no Russell’s paradox). Lookcarefully into ([Foundation-axiom]).
I Every subset must respect Foundation. So (4) is equivalent to saying thatevery non-empty subset of a set must have a ∈-minimal element.
I Test your understanding : does an infinite list respect the Foundationaxiom ? Solution
(4) Every non-empty set has at least one element x such that nothing is anelement of x (a ∈ –minimal element in mathematical terminology).
∀x((∃y ∈ x)⇒ ∃z ∈ x(¬∃u(u ∈ x ∧ u ∈ z)))
![Page 108: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/108.jpg)
19/ 23
Complements
Hypersets II
I In standard set theory the Foundation axiom precludes the existence ofsets of infinite depth.
I In particular X ∈ X is not possible (as a result, no Russell’s paradox). Lookcarefully into ([Foundation-axiom]).
I Every subset must respect Foundation. So (4) is equivalent to saying thatevery non-empty subset of a set must have a ∈-minimal element.
I Test your understanding : does an infinite list respect the Foundationaxiom ? Solution
(4) Every non-empty set has at least one element x such that nothing is anelement of x (a ∈ –minimal element in mathematical terminology).
∀x((∃y ∈ x)⇒ ∃z ∈ x(¬∃u(u ∈ x ∧ u ∈ z)))
![Page 109: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/109.jpg)
19/ 23
Complements
Hypersets II
I In standard set theory the Foundation axiom precludes the existence ofsets of infinite depth.
I In particular X ∈ X is not possible (as a result, no Russell’s paradox). Lookcarefully into ([Foundation-axiom]).
I Every subset must respect Foundation. So (4) is equivalent to saying thatevery non-empty subset of a set must have a ∈-minimal element.
I Test your understanding : does an infinite list respect the Foundationaxiom ? Solution
(4) Every non-empty set has at least one element x such that nothing is anelement of x (a ∈ –minimal element in mathematical terminology).
∀x((∃y ∈ x)⇒ ∃z ∈ x(¬∃u(u ∈ x ∧ u ∈ z)))
![Page 110: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/110.jpg)
20/ 23
Complements
Hypersets III
I In the theory of non-well-founded sets (Aczel 1988), sets can have infinitedepth.
I There, sets are actually finite or infinite graphs. Loops and infinitebranches are possible.
I Hypersets defined by equational systems (finite or infinite).I Examples of hypersets (the arrows are the ∈–relation).
X
X = {X}
X
Y
Z
3
3
X = {Y}
Y = {Z}
Z = {. . .}
etc.
![Page 111: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/111.jpg)
20/ 23
Complements
Hypersets III
I In the theory of non-well-founded sets (Aczel 1988), sets can have infinitedepth.
I There, sets are actually finite or infinite graphs. Loops and infinitebranches are possible.
I Hypersets defined by equational systems (finite or infinite).I Examples of hypersets (the arrows are the ∈–relation).
X
X = {X}
X
Y
Z
3
3
X = {Y}
Y = {Z}
Z = {. . .}
etc.
![Page 112: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/112.jpg)
20/ 23
Complements
Hypersets III
I In the theory of non-well-founded sets (Aczel 1988), sets can have infinitedepth.
I There, sets are actually finite or infinite graphs. Loops and infinitebranches are possible.
I Hypersets defined by equational systems (finite or infinite).
I Examples of hypersets (the arrows are the ∈–relation).
X
X = {X}
X
Y
Z
3
3
X = {Y}
Y = {Z}
Z = {. . .}
etc.
![Page 113: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/113.jpg)
20/ 23
Complements
Hypersets III
I In the theory of non-well-founded sets (Aczel 1988), sets can have infinitedepth.
I There, sets are actually finite or infinite graphs. Loops and infinitebranches are possible.
I Hypersets defined by equational systems (finite or infinite).I Examples of hypersets (the arrows are the ∈–relation).
X
X = {X}
X
Y
Z
3
3
X = {Y}
Y = {Z}
Z = {. . .}
etc.
![Page 114: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/114.jpg)
20/ 23
Complements
Hypersets III
I In the theory of non-well-founded sets (Aczel 1988), sets can have infinitedepth.
I There, sets are actually finite or infinite graphs. Loops and infinitebranches are possible.
I Hypersets defined by equational systems (finite or infinite).I Examples of hypersets (the arrows are the ∈–relation).
X
X = {X}
X
Y
Z
3
3
X = {Y}
Y = {Z}
Z = {. . .}
etc.
![Page 115: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/115.jpg)
21/ 23
Complements
{THE, END}
![Page 116: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/116.jpg)
22/ 23
Complements
I Does an infinite list respect the Foundation axiom ?
I If you have an infinite consecutive repetition, you clearly violate the axiom,
because you will end up with a set of the form
∞︷ ︸︸ ︷{. . . {{a
∞︷ ︸︸ ︷}} . . .} (see slide 9).
I What happens in other cases, ? Start from an infinite list Λ =〈x1, x2, . . . , xα〉, where α is some non-finite ordinal.
I We rewrite Λ.Λ ; {{x1}, {x1, 〈x2, . . . , xα〉}};
{{x1}, {x1, {{x2}, {x2, 〈x3, . . . , xα〉}}}};{{x1}, {x1, {{x2}, {x2, {{x3}, {x3, 〈x4, . . . , xα〉}}}}}; etc.,
i.e. {{x1}, {x1, {{x2}, {x2, {{x3}, {x3, . . . {{xk}, {xk , 〈xk+1, . . . , xα〉}2k−1
} . . .}
![Page 117: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/117.jpg)
22/ 23
Complements
I Does an infinite list respect the Foundation axiom ?I If you have an infinite consecutive repetition, you clearly violate the axiom,
because you will end up with a set of the form
∞︷ ︸︸ ︷{. . . {{a
∞︷ ︸︸ ︷}} . . .} (see slide 9).
I What happens in other cases, ? Start from an infinite list Λ =〈x1, x2, . . . , xα〉, where α is some non-finite ordinal.
I We rewrite Λ.Λ ; {{x1}, {x1, 〈x2, . . . , xα〉}};
{{x1}, {x1, {{x2}, {x2, 〈x3, . . . , xα〉}}}};{{x1}, {x1, {{x2}, {x2, {{x3}, {x3, 〈x4, . . . , xα〉}}}}}; etc.,
i.e. {{x1}, {x1, {{x2}, {x2, {{x3}, {x3, . . . {{xk}, {xk , 〈xk+1, . . . , xα〉}2k−1
} . . .}
![Page 118: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/118.jpg)
22/ 23
Complements
I Does an infinite list respect the Foundation axiom ?I If you have an infinite consecutive repetition, you clearly violate the axiom,
because you will end up with a set of the form
∞︷ ︸︸ ︷{. . . {{a
∞︷ ︸︸ ︷}} . . .} (see slide 9).
I What happens in other cases, ? Start from an infinite list Λ =〈x1, x2, . . . , xα〉, where α is some non-finite ordinal.
I We rewrite Λ.Λ ; {{x1}, {x1, 〈x2, . . . , xα〉}};
{{x1}, {x1, {{x2}, {x2, 〈x3, . . . , xα〉}}}};{{x1}, {x1, {{x2}, {x2, {{x3}, {x3, 〈x4, . . . , xα〉}}}}}; etc.,
i.e. {{x1}, {x1, {{x2}, {x2, {{x3}, {x3, . . . {{xk}, {xk , 〈xk+1, . . . , xα〉}2k−1
} . . .}
![Page 119: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/119.jpg)
22/ 23
Complements
I Does an infinite list respect the Foundation axiom ?I If you have an infinite consecutive repetition, you clearly violate the axiom,
because you will end up with a set of the form
∞︷ ︸︸ ︷{. . . {{a
∞︷ ︸︸ ︷}} . . .} (see slide 9).
I What happens in other cases, ? Start from an infinite list Λ =〈x1, x2, . . . , xα〉, where α is some non-finite ordinal.
I We rewrite Λ.Λ ; {{x1}, {x1, 〈x2, . . . , xα〉}};
{{x1}, {x1, {{x2}, {x2, 〈x3, . . . , xα〉}}}};{{x1}, {x1, {{x2}, {x2, {{x3}, {x3, 〈x4, . . . , xα〉}}}}}; etc.,
i.e. {{x1}, {x1, {{x2}, {x2, {{x3}, {x3, . . . {{xk}, {xk , 〈xk+1, . . . , xα〉}2k−1
} . . .}
![Page 120: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/120.jpg)
23/ 23
Complements
I If we write this list as a tree, we ‘see’ that its rightmost branch is infinite,which is not compatible with Foundation.
I Conclusion : no infinite list is well-founded.
Λ
{x1} Λ1
{x2} Λ2
x3 Λ3
Λ4
The branches correspond to ∈. Therightmost branch is then an infinitedescending ∈-chain.
![Page 121: Naive Set Theory - École normale supérieure de Lyonperso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/ensembles.pdf · 1/ 23 Naive Set Theory Jacques Jayez, ENS de Lyon and](https://reader034.vdocuments.site/reader034/viewer/2022050504/5f9615908c9b9619515a6f89/html5/thumbnails/121.jpg)
23/ 23
Complements
I If we write this list as a tree, we ‘see’ that its rightmost branch is infinite,which is not compatible with Foundation.
I Conclusion : no infinite list is well-founded.
Λ
{x1} Λ1
{x2} Λ2
x3 Λ3
Λ4
The branches correspond to ∈. Therightmost branch is then an infinitedescending ∈-chain.