Cardinality of Sets Section 2.5. Section Summary Cardinality Countable Sets Computability.
Cardinality and Infinity - UMD
Transcript of Cardinality and Infinity - UMD
![Page 1: Cardinality and Infinity - UMD](https://reader030.fdocuments.us/reader030/viewer/2022012621/61a182c8479c3279b62a6237/html5/thumbnails/1.jpg)
Cardinality and Infinity
Recall: • Cardinality is the “size” of a set. • Notation: |A| is the cardinality of A. Questions: • Can one infinite set be “larger” than another? • How can we compare the sizes of infinite sets?
![Page 2: Cardinality and Infinity - UMD](https://reader030.fdocuments.us/reader030/viewer/2022012621/61a182c8479c3279b62a6237/html5/thumbnails/2.jpg)
Rocks In the days of cave men, wealth was measured with rocks.*
*I’m pretty sure this statement is false.
![Page 3: Cardinality and Infinity - UMD](https://reader030.fdocuments.us/reader030/viewer/2022012621/61a182c8479c3279b62a6237/html5/thumbnails/3.jpg)
A rock is a rock
=
Each rock was worth “1 rock”. Cavemen weren’t good with measuring sizes.
![Page 4: Cardinality and Infinity - UMD](https://reader030.fdocuments.us/reader030/viewer/2022012621/61a182c8479c3279b62a6237/html5/thumbnails/4.jpg)
Conflict Resolution Cavemen often argued about who had accumulated more wealth. The problem was… they didn’t know how to count yet.
How could they determine who was wealthier?
Me have MORE!!
NO!! Me have WAAAYYY More!!!
![Page 5: Cardinality and Infinity - UMD](https://reader030.fdocuments.us/reader030/viewer/2022012621/61a182c8479c3279b62a6237/html5/thumbnails/5.jpg)
Comparing Cardinality
Idea #1: If we can find a one-to-one function mapping A to B, then |A|≤ |B|. Idea #2: If we can find an onto function mapping A to B, then |A| ≥ |B|. Idea #3: If we can find a bijective function mapping A to B, then |A| = |B|. • These ideas allow us to compare sizes of sets without counting the elements, so we can apply them to infinite sets!
![Page 6: Cardinality and Infinity - UMD](https://reader030.fdocuments.us/reader030/viewer/2022012621/61a182c8479c3279b62a6237/html5/thumbnails/6.jpg)
The Future is Grim
Overpopulation is a real problem. In fact… I foresee a day when infinitely many people will inhabit the Earth.*
*This statement is utterly ridiculous. Please don’t believe it.
![Page 7: Cardinality and Infinity - UMD](https://reader030.fdocuments.us/reader030/viewer/2022012621/61a182c8479c3279b62a6237/html5/thumbnails/7.jpg)
The Infinite Hotel
The hotel is full! What can we do?
![Page 8: Cardinality and Infinity - UMD](https://reader030.fdocuments.us/reader030/viewer/2022012621/61a182c8479c3279b62a6237/html5/thumbnails/8.jpg)
The Infinite Hotel Solution:
Idea: Adding an element to an infinite collection does not make it any “bigger”. If A is an infinite set, then: |A∪{*}| = |A| Can we demonstrate this idea with an injective function?
![Page 9: Cardinality and Infinity - UMD](https://reader030.fdocuments.us/reader030/viewer/2022012621/61a182c8479c3279b62a6237/html5/thumbnails/9.jpg)
All of you need rooms???
Worse Problem…
![Page 10: Cardinality and Infinity - UMD](https://reader030.fdocuments.us/reader030/viewer/2022012621/61a182c8479c3279b62a6237/html5/thumbnails/10.jpg)
No problem. Solution:
Idea: Adding an infinite collection to an “equally sized” infinite collection does not make it any bigger. If A and B are infinite sets of the same “size” then: |A∪B| = |A| Can we demonstrate this idea with a injective function?
![Page 11: Cardinality and Infinity - UMD](https://reader030.fdocuments.us/reader030/viewer/2022012621/61a182c8479c3279b62a6237/html5/thumbnails/11.jpg)
Nightmarishly bad problem…
In my town there are infinitely many infinite hotels (numbered 1, 2, 3…). Imagine they are all full of people. All of the hotels burn down at the same time, but everyone survives. All of these people arrive at MY infinite hotel needing a room…
![Page 12: Cardinality and Infinity - UMD](https://reader030.fdocuments.us/reader030/viewer/2022012621/61a182c8479c3279b62a6237/html5/thumbnails/12.jpg)
Infinity is Weird
Idea: Infinitely many identically sized infinite collections (numbered 0, 1, 2…) can be merged together to form a collection that is no bigger than any one of those we started with. Let A0 be an infinite set, and let A1, A2, A3… be an infinite list of sets, all the same size as A0. Then: |A0 ∪ A1 ∪ A2 ∪ A3 ∪…| = |A0| Let’s demonstrate this with an injective function.
![Page 13: Cardinality and Infinity - UMD](https://reader030.fdocuments.us/reader030/viewer/2022012621/61a182c8479c3279b62a6237/html5/thumbnails/13.jpg)
Countability
Fact: There is no infinite set that is smaller than ℕ. An infinite set that has the same cardinality as ℕ is said to be countable. Sets that are bigger than ℕ are called uncountable. How can we show a set is countable? (Can you think of two ways?) How can we show a set is uncountable? (Can you think of two ways?)
![Page 14: Cardinality and Infinity - UMD](https://reader030.fdocuments.us/reader030/viewer/2022012621/61a182c8479c3279b62a6237/html5/thumbnails/14.jpg)
Countability
• Is ℤ countable? • Is ℚ countable? • Is ℝ countable? • Is the set of all finite ASCII strings countable? • Imagine an infinitely deep binary tree. Is the set of all paths down the tree countable? • Is P (ℕ) countable?