Paradoxes of the Infinite Kline XXV

1. Paradoxes of the InfiniteKline XXV Pre-May Seminar March 14, 2011

2. Galileo Galilei (1564-1642)

3. 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.

4. 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.

5. 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.

6. 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.

7. 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.

8. Bernard Bolzano (1781-1848)

9. Bernard Bolzano (1781-1848) • Czech Priest

10. Bernard Bolzano (1781-1848) • Czech Priest • [0,1]~[0,2]

11. Cardinality

12. Cardinality • The number of elements in a set is the cardinality of the set.

13. Cardinality • The number of elements in a set is the cardinality of the set. • Card(S)=|S|

14. Cardinality • The number of elements in a set is the cardinality of the set. • Card(S)=|S| • |{1,2,3}|=|{a,b,c}|

15. 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]|

16. 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.

17. 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.

18. Richard Dedekind (1831-1916)

19. Richard Dedekind (1831-1916) • Definition of infinite sets:

20. Georg Cantor (1845-1918)

21. א0 • |{1, 2, 3, …}| = א0

22. א0 • |{1, 2, 3, …}| = א0 • |{12, 22, 32, …}| = א0

23. א0 • |{1, 2, 3, …}| = א0 • |{12, 22, 32, …}| = א0 • |{ rationals in (0,1) }| = א0

24. א0 • |{1, 2, 3, …}| = א0 • |{12, 22, 32, …}| = א0 • |{ rationals in (0,1) }| = א0 • |{ rationals }| = א0

25. א0 • |{1, 2, 3, …}| = א0 • |{12, 22, 32, …}| = א0 • |{ rationals in (0,1) }| = א0 • |{ rationals }| = א0 • |{ algebraic numbers }| = א0

26. א0 • |{1, 2, 3, …}| = א0 • |{12, 22, 32, …}| = א0 • |{ rationals in (0,1) }| = א0 • |{ rationals }| = א0 • |{ algebraic numbers }| = א0 • Arithmetic: א0 + א0

27. א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

28. Cantor’s Diagonal Argument

29. Cantor’s Diagonal Argument • |(0,1)|=c

30. Cantor’s Diagonal Argument • |(0,1)|=c • c > א0

31. Attacks

32. Attacks • Leopold Kronecker

33. Attacks • Leopold Kronecker • Henri Poincare

34. Attacks • Leopold Kronecker • Henri Poincare Support

35. Attacks • Leopold Kronecker • Henri Poincare Support David Hilbert

36. 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.”

37. 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)

38. Math May Seminar: Interlaken

39. Math May Seminar: Interlaken

40. Math May Seminar: Interlaken

41. Math May Seminar: Interlaken

42. Fun with א0

43. Fun with א0 • Hilbert’s Hotel

44. Fun with א0 • Hilbert’s Hotel • Bottles of Beer

45. The Power Set of S

46. The Power Set of S • S={1}

47. The Power Set of S • S={1} • S={1, 2}

48. The Power Set of S • S={1} • S={1, 2} • S={1, 2, 3}

49. The Power Set of S • S={1} • S={1, 2} • S={1, 2, 3} • |S|=2S

50. The Power Set of S • c=2א0