1. Show that the size of the set of all positive integer multiples of 7 has cardinality No. 2. Show that the size of the set of all positive integer multiples of k has cardinality No for any k € Z+. 3. Show that the size of the even integers is the same as the size of the set of all positive integer multiples of 5. 4. Let A = {1,2}. Show that |A| ‡ |A × A|.
Background info:
Here, this covers the concept of different sizes of infinity. Afterall, when sets are finite, the answer is easy since the size of a finite set is a number. The order of a set A, |A|, is the number of elements it contains. Let A = {1, 2, 3}, B = {q, f, z} and C = {♠, ◇} Note that |A| = 3 = |B| so A and B have the same size. Since |C| = 2, A and C have different sizes. When sets are infinite, things get trickier since ထ is a concept rather than a number. So, We need a different approach that is still consistent with the concept of size of finite sets. A sturdier definition that works with both finite and infinite sets is to say that two sets have the same size if there exists a one-to-one and onto function between the sets. Note that one-to-one and onto functions are invertible. Hence order is a symmetric relation. As such, A and C have different sizes since we cannot map all three elements of A to C with a one-to-one function. Conversely, if we attempt to map C to A, no onto function exists. This approach works with sets of infinite size. We define the cardinality of the positive integers as countably infinite. Symbolically, |Z+| = ℵ0 (aleph null)
What I am not understanding is what makes a function one-to-one and/or onto? Also how would we apply the given background information to prove the following problems? (attached as images)
![**Question 6**: Provide an example of sets \( A \) and \( B \) such that \( A \) is a proper subset of \( B \) but \(|A| = |B|\).
**Explanation**:
In set theory, a set \( A \) is said to be a *proper subset* of a set \( B \) if all elements of \( A \) are in \( B \), but \( B \) contains at least one element not in \( A \). The notation for a proper subset is \( A \subset B \).
The condition \(|A| = |B|\) means that the cardinality (number of elements) of both sets \( A \) and \( B \) are the same.
To meet both conditions, one could use sets of infinite size. For instance:
- Let \( A = \{0, 1, 2, 3, \ldots\} \), the set of all non-negative integers.
- Let \( B = \{0, 1, 2, 3, \ldots\} \cup \{\frac{1}{2}\} \).
In this example:
- \( A \) is a proper subset of \( B \) because all elements of \( A \) are in \( B \) and \( B \) has an additional element \(\frac{1}{2}\).
- Despite this, both sets are infinite, so their cardinalities are equal, \(|A| = |B|\).](/v2/_next/image?url=https%3A%2F%2Fcontent.bartleby.com%2Fqna-images%2Fquestion%2F1239419b-9a0e-4d7d-b530-178e8148fbce%2F7c6be957-268a-4b57-bdbd-106662abbd9e%2F33mo7kd_processed.png&w=3840&q=75)
![1. Show that the size of the set of all positive integer multiples of 7 has cardinality ℵ₀.
2. Show that the size of the set of all positive integer multiples of k has cardinality ℵ₀ for any \( k \in \mathbb{Z}^+ \).
3. Show that the size of the even integers is the same as the size of the set of all positive integer multiples of 5.
4. Let \( A = \{1, 2\} \). Show that \( |A| \neq |A \times A| \).](/v2/_next/image?url=https%3A%2F%2Fcontent.bartleby.com%2Fqna-images%2Fquestion%2F1239419b-9a0e-4d7d-b530-178e8148fbce%2F7c6be957-268a-4b57-bdbd-106662abbd9e%2F6ezsw0e_processed.png&w=3840&q=75)
![](/static/compass_v2/shared-icons/check-mark.png)
Trending now
This is a popular solution!
Step by step
Solved in 2 steps with 2 images
![Blurred answer](/static/compass_v2/solution-images/blurred-answer.jpg)
![Advanced Engineering Mathematics](https://www.bartleby.com/isbn_cover_images/9780470458365/9780470458365_smallCoverImage.gif)
![Numerical Methods for Engineers](https://www.bartleby.com/isbn_cover_images/9780073397924/9780073397924_smallCoverImage.gif)
![Introductory Mathematics for Engineering Applicat…](https://www.bartleby.com/isbn_cover_images/9781118141809/9781118141809_smallCoverImage.gif)
![Advanced Engineering Mathematics](https://www.bartleby.com/isbn_cover_images/9780470458365/9780470458365_smallCoverImage.gif)
![Numerical Methods for Engineers](https://www.bartleby.com/isbn_cover_images/9780073397924/9780073397924_smallCoverImage.gif)
![Introductory Mathematics for Engineering Applicat…](https://www.bartleby.com/isbn_cover_images/9781118141809/9781118141809_smallCoverImage.gif)
![Mathematics For Machine Technology](https://www.bartleby.com/isbn_cover_images/9781337798310/9781337798310_smallCoverImage.jpg)
![Basic Technical Mathematics](https://www.bartleby.com/isbn_cover_images/9780134437705/9780134437705_smallCoverImage.gif)
![Topology](https://www.bartleby.com/isbn_cover_images/9780134689517/9780134689517_smallCoverImage.gif)