Determine the cardinality of each of the sets, A, B, and C defined below, and prove the cardinality of any set that you claim is countably infinite.
A is the set of negative odd integers
B is the set of positive integers less than 1000
C is the set of positive rational numbers with numerator equal to 1
Let us determine the cardinality of each of the sets, and defined below, and prove the cardinality of any set that we claim is countably infinite.
Recall that the set is called countably infinite if it has the same cardinality as the set of positive integer numbers, that is there is a bijection
Let be the set of negative odd integers, that is Let us show that the map is bijection. If then It follows that and hence We conclude that the map is injection. For any we have that and thus the map is surjection. Consequently,
is bijection, and we conclude that the set is countably infinite.
Let is the set of positive integers less than 1000. It follows that the set contains elements, and hence
Let is the set of positive rational numbers with numerator equal to 1, that is
Let us show that the map is bijection. If then It follows that and hence the map is injection. For any we have that and thus the map is surjection. Consequently, is bijection, and we conclude that the set is countably infinite.
Comments