Set Theory History Martin Bunder September 2015
What is a set? Possible Definition A set is a collection of elements having a common property Abstraction Axiom If a(x) is a property ( y)( x)(x y a(x)) This says that for every property a(x) there is a set y that has all the elements that satisfy a(x). Notation: this y = {x a(x)} Comprehension Axiom (Cantor 1874, Frege (Begriffsschrift) 1879, 1903) ( z)(z {x a(x)}) a(z)
What is a set? Possible Definition A set is a collection of elements having a common property Abstraction Axiom If a(x) is a property ( y)( x)(x y a(x)) This says that for every property a(x) there is a set y that has all the elements that satisfy a(x). Notation: this y = {x a(x)} Comprehension Axiom (Cantor 1874, Frege (Begriffsschrift) 1879, 1903) ( z)(z {x a(x)}) a(z)
What is a set? Possible Definition A set is a collection of elements having a common property Abstraction Axiom If a(x) is a property ( y)( x)(x y a(x)) This says that for every property a(x) there is a set y that has all the elements that satisfy a(x). Notation: this y = {x a(x)} Comprehension Axiom (Cantor 1874, Frege (Begriffsschrift) 1879, 1903) ( z)(z {x a(x)}) a(z)
What is a set? Possible Definition A set is a collection of elements having a common property Abstraction Axiom If a(x) is a property ( y)( x)(x y a(x)) This says that for every property a(x) there is a set y that has all the elements that satisfy a(x). Notation: this y = {x a(x)} Comprehension Axiom (Cantor 1874, Frege (Begriffsschrift) 1879, 1903) ( z)(z {x a(x)}) a(z)
Examples of Sets {x x = a} = {a} {x x 2 = 1} = {1, 1} {x x = 1 x = 1} = {1, 1} {x x Z ( y)(y Z ( z)(z Z y = zx)} = {1, 1} x y {x x R 0 < x < 1} = (0, 1)
Extensionality Axiom A = B ( x)(x A x B) Sets are equal if they have the same elements. Assume if a(x) is a property of x: A = B (a(a) a(b))
Special Sets {x x x} = {x x R x 2 = 1} = {x x = x} = V {x x A x B} = A B {x x A x B} = A B {x x A} = A Empty Set Universal Set Union of A and B Intersection of A and B Complement of A
Subsets Definition A is a subset of B A B ( x)(x A x B) {x x A} = P(A)(the powerset of A) {x x } = { } {x x { } = {, { }} {x x {a, b, c}} = {, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}}
The Properties of Sets Come from Logic e.g. A B = B A Proof By the Comprehension Axiom: A B = {x x A x B} B A = {x x B x A} x A B x A x B x B x A by logic x B A So ( x)(x A B x B A). By the Extensionality Axiom A B = B A.
Similarly... A B = B A (A B) C = A (B C) A (B C) = (A B) C A (B C) = (A B) (A C) A (B C) = (A B) (A C) (A B) = A B (A B) = A B
Comparing Sets People Heads People Brains People Chairs Chickens Beaks Chickens Tails Definition Equivalent Sets are sets that have elements matched by a one to one mapping. A B ( f )f A B f is 1-1 and onto (a bijection) A is equivalent to B A B ( f )f A B f is 1-1 A B A B A B
Examples {+,, } {,, } {+,, } {,,, }
Defining Natural Numbers Note 0 1 2 3... {+,, } {0, 1, 2} = 3. 0 = 1 = {0} = { } 2 = {0, 1} 3 = {0, 1, 2} etc. Definition If A n, n is the cardinal number of A, or n = #A. So, #{+,, } = 3.
Cardinal Arithmetic Definition Addition: If A B =, #A + #B = #(A B). e.g. 3 + 2 = #{0, 1, 2} + #{3, 4} = #{0, 1, 2, 3, 4} = 5. Definition Multiplication: #A #B = #(A B) where A B = {(a, b) a A, b B}. e.g. 3 2 = #{0, 1, 2} #{0, 1} = #({0, 1, 2} {0, 1}) = #{(0, 0), (0, 1), (1, 0), (1, 1), (2, 0), (2, 1)} = 6
Infinite Cardinal Numbers Let #{1, 2, 3, 4,... } = ℵ 0. If N = {1, 2, 3, 4,... }, E = {2, 4, 6, 8,... }. then if f (n) = 2n, f N E, f is 1-1 and onto. So N E and #E = ℵ 0. Also Q = {0, 1, 1, 1 2, 1 2, 2, 2, 1 3, 1 3, 2 3, 2 3, 3, 3,... }. So N Q and #Q = ℵ 0.
Some Arithmetic For n N: ℵ 0 + n = ℵ 0 nℵ 0 = ℵ 0 ℵ n 0 = ℵ 0 What about n ℵ 0? Is N [0, 1) R?
n ℵ 0 Assume N [0, 1). Then there is an f N [0, 1). f is 1-1 and onto So: f (1) =.a 11 a 12... f (2) =.a 21 a 22... f (3) =.a 31 a 32... Let b =.b 1 b 2 b 3... a ii + 1 if a ii = 0 where b i = a ii 1 if a ii = 0 Then b f (n) for any n So N [0, 1) R #[0, 1) = #R = 2 ℵ 0. These must all be different (for 1-1) and use up all of [0, 1) (for onto)
Cantor #N = ℵ 0 is the smallest infinite cardinal number. ℵ 1 is the next smallest, then ℵ 2, etc. Continuum 2 ℵ 0 = ℵ 1 Hypothesis: Generalised Continuum Hypothesis: 2 ℵn = ℵ n+1 Georg Cantor (1845-1918) - 1874 Unresolved problem till 1964.
Cantor s Theorem A P(A) (Like the proof of N [0, 1)) Cantor s Paradox, 1899 So So V = {x x = x} P V P V But V P(V ) i.e. P(V ) V. Burali-Forti Paradox, 1897 Involves Ordinal Numbers.
Russel and Frege Bertrand Russell (1872-1970) Gottlob Frege (1845-1925) Russell sent his paradox to Frege when volume 2 of his Begriffsschrift was about to be published.
Russel s Paradox (1903) If R = {x x / x}, then by the Comprehension axiom: y {x a(x)} a(y) R R R / R A contradiction! (Gives: R R R R)
Hilbert at the 1900 International Congress of mathematics in Paris David Hilbert (1862-1943) What would be the major problems of interest in mathematics in the 20th century? Hilbert listed 23: 1 The Continuum hypothesis, is 2 ℵ 0 = ℵ 1? 2 Prove that the axioms of arithmetic are consistent.
The Hilbert Programme Aim: To ground all existing theories (including set theory) to a finite, complete set of axioms, and prove that these are consistent.
Gödel s Incompleteness Theorems 1931 Kurt Gödel (1906-1978) 1. In any axiomatic systems, strong enough to include arithmetic, there is always an arithmetical statement that can neither be proved nor disproved. 2. A statement saying such a system is consistent can neither be proved nor disproved.
Ways of Beating the Paradoxes: Change the Logic
Intuitionistic Logic Luitzen Brouwer (1881-1966) - 1908 Arend Heyting (1898-1980) - 1930 Don t allow P P, so you don t have V V V V or R R R R.
Paraconsistent Logic Newton da Costa (1929 -!) Allow R R and R R, but not P P Q. (This doesn t work, Curry s Paradox, 1942 - IF C = {x x x X } then X.)
Logic and Aritmetic based on Combinatory Logic Moses Schonfinkel (1887-1942) - 1924 Haskell Curry (1900-1982) - 1930
Logic and Arithmetic based on Lambda Calculus Alonzo Church (1903-1995) - 1933
Ways of Beating the Paradoxes: Change the Set Theory
Change the Set Theory Ernst Zermelo (1871-1953) - 1908 Abraham Fraenkel (1891-1965) - 1921
Axioms ( z)(z x z y) x = y ( y)( x)(x y x z P(x)) ( z)(x z y z) ( z)( x)(x y y w x z) Extensionality Substitution of Specification (Defines subsets of z) Pairing (defines {x, y}) Union (z is the set of the elements of the elements of w.) + Others
von Neumann, Bernays and Gödel John von Neumann (1903-1957) - 1925, 1928 Paul Bernays (1888-1977) - 1937, 1945 Gödel - 1940 Has sets and classes (only sets can be elements of classes.)
Axioms ( z)(z X z Y ) X = Y (X, Y classes) Extensionality ( Y )(x Y a(x)) (Y is a class) comprehension Only y X if y is a set + Axioms for sets
Continuum Hypothesis 2 ℵ 0 = ℵ 1 Can neither be proved or disproved in NBG or ZF! Paul Cohen (1934-2007)
Cardinal Numbers and Measures The measure, or length, of: [m, m + n] = n #[m, m + n] = 2 ℵ 0 #[0, a] = 2 ℵ 0 if a > 0 IF #A = ℵ 0, the measure A = 0 N { 1 10 n, 2 10 n+1, 3 10 n+2,... } k can be made arbitrarily small for n large 10n+k 1 Question:If #A = 2 ℵ 0 is a measure for A > 0?