520 likes | 657 Views
Paradoxes of the Infinite Kline XXV. Pre-May Seminar March 14, 2011. Galileo Galilei (1564-1642). Galileo: Dialogue on Two New Sciences , 1638.
E N D
Paradoxes of the InfiniteKline XXV Pre-May Seminar March 14, 2011
Galileo: Dialogue on Two New Sciences, 1638 • Simplicio: Here a difficulty presents itself which appears to me insoluble. Since it is clear that we may have one line segment longer than another, each containing an infinite number of points, we are forced to admit that, within one and the same class, we may have something greater than infinity, because the infinity of points in the long line segment is greater than the infinity of points in the short line segment. This assigning to an infinite quantity a value greater than infinity is quite beyond my comprehension.
Galileo’s Dialogo • Salviati: This is one of the difficulties which arise when we attempt, with our finite minds, to discuss the infinite, assigning to it those properties which we give to the finite and limited; but this I think is wrong, for we cannot speak of infinite quantities as being the one greater or less than or equal to another. To prove this I have in mind an argument, which, for the sake of clearness, I shall put in the form of questions to Simplicio who raised this difficulty.
Galileo’s Dialogo • Salviati: If I should ask further how many squares there are, one might reply truly that there are as many as the corresponding number of roots, since every square has its own root and every root its own square, while no square has more than one root and no root more than one square. • Simplicio: Precisely so.
Galileo’s Dialogo • Salviati: But if I inquire how many roots there are, it cannot be denied that there are as many as there are numbers because every number is a root of some square. This being granted we must say that there are as many squares as there are numbers because they are just as numerous as their roots, and all the numbers are roots. Yet at the outset we said there are many more numbers than squares, since the larger portion of them are not squares.
Galileo’s Dialogo • Sagredo: What then must one conclude under these circumstances? • Salviati: So far as I see we can only infer that the totality of all numbers is infinite, that the number of squares is infinite, and that the number of their roots is infinite; neither is the number of squares less than the totality of all numbers, nor the latter greater than the former; and finally the attributes "equal," "greater," and "less" are not applicable to infinite, but only to finite, quantities.
Bernard Bolzano (1781-1848) • Czech Priest
Bernard Bolzano (1781-1848) • Czech Priest • [0,1]~[0,2]
Cardinality • The number of elements in a set is the cardinality of the set.
Cardinality • The number of elements in a set is the cardinality of the set. • Card(S)=|S|
Cardinality • The number of elements in a set is the cardinality of the set. • Card(S)=|S| • |{1,2,3}|=|{a,b,c}|
Cardinality • The number of elements in a set is the cardinality of the set. • Card(S)=|S| • |{1,2,3}|=|{a,b,c}| • c=|[0,1]|
Cardinality • The number of elements in a set is the cardinality of the set. • Card(S)=|S| • |{1,2,3}|=|{a,b,c}| • c=|[0,1]| • Lemma: c=|[a,b]| for any real a<b.
Cardinality • The number of elements in a set is the cardinality of the set. • Card(S)=|S| • |{1,2,3}|=|{a,b,c}| • c=|[0,1]|. • Lemma: c=|[a,b]| for any real a<b. • Lemma: |Reals|=c.
Richard Dedekind (1831-1916) • Definition of infinite sets:
א0 • |{1, 2, 3, …}| = א0
א0 • |{1, 2, 3, …}| = א0 • |{12, 22, 32, …}| = א0
א0 • |{1, 2, 3, …}| = א0 • |{12, 22, 32, …}| = א0 • |{ rationals in (0,1) }| = א0
א0 • |{1, 2, 3, …}| = א0 • |{12, 22, 32, …}| = א0 • |{ rationals in (0,1) }| = א0 • |{ rationals }| = א0
א0 • |{1, 2, 3, …}| = א0 • |{12, 22, 32, …}| = א0 • |{ rationals in (0,1) }| = א0 • |{ rationals }| = א0 • |{ algebraic numbers }| = א0
א0 • |{1, 2, 3, …}| = א0 • |{12, 22, 32, …}| = א0 • |{ rationals in (0,1) }| = א0 • |{ rationals }| = א0 • |{ algebraic numbers }| = א0 • Arithmetic: א0 + א0
א0 • |{1, 2, 3, …}| = א0 • |{12, 22, 32, …}| = א0 • |{ rationals in (0,1) }| = א0 • |{ rationals }| = א0 • |{ algebraic numbers }| = א0 • Arithmetic: א0 + א0 • Cardinality and Dimensionality
Cantor’s Diagonal Argument • |(0,1)|=c
Cantor’s Diagonal Argument • |(0,1)|=c • c > א0
Attacks • Leopold Kronecker
Attacks • Leopold Kronecker • Henri Poincare
Attacks • Leopold Kronecker • Henri Poincare Support
Attacks • Leopold Kronecker • Henri Poincare Support David Hilbert
Georg Cantor “My theory stands as firm as a rock; every arrow directed against it will return quickly to its archer. How do I know this? Because I have studied it from all sides for many years; because I have examined all objections which have ever been made against the infinite numbers; and above all because I have followed its roots, so to speak, to the first infallible cause of all created things.”
Felix Hausdorff Set theory is “a field in which nothing is self-evident, whose true statements are often paradoxical, and whose plausible ones are false.” Foundations of Set Theory (1914)
Fun with א0 • Hilbert’s Hotel
Fun with א0 • Hilbert’s Hotel • Bottles of Beer
The Power Set of S • S={1}
The Power Set of S • S={1} • S={1, 2}
The Power Set of S • S={1} • S={1, 2} • S={1, 2, 3}
The Power Set of S • S={1} • S={1, 2} • S={1, 2, 3} • |S|=2S
The Power Set of S • c=2א0