!Screenshot 2023-11-27 at 10.05.21 AM.png
We can think of injections as giving only “half” of the information needed to construct a bijection, which is why we only get an inequality
If is a set, then
Let and be sets.
Let be a function.
Define (barber set)
Proof.
Let be a set. Let be a function. Define the barber set . Let .
Case 1: Assume that . Then hence .
Case 2: Assume that . Then hence .
So in every case . Since was arbitrary. is not surjective.
Define by the rule .
We first show that is injective.
Let and assume that .
Then .
Let , we h
Exam Question
If A is any set, then .
HW 31
Ben Finch
E 31.1
a) False. Consider the power set of . By theorem 31.5, it has a larger cardinality than (0, 1) despite being uncountable. .
b) True. Since A is a subset of B, all elements in A must be in B. Thus it is impossible for A to have a greater cardinality than B.
c) True. By definition of a true subset, all elements in A must be in B, but A must not include all elements of B. So it is evident that |A| < |B|.
d) True. Since A is a countably infinite set, and A is a subset of B, B is not finite. Per theorem 28.14, since C is countably infinite, B must also be countably infinte.
e) False. Take {1} . |{1}| = 1 < .
f) False. Take A = {1}, B = {3, 4}. We see that |A| < |B| and A is finite, but B is not infinite.
g) False. Take A = {1}, B = {3, 4}. We see that |A| < |B| and A is countable, but B is also countable.
h) True. All countably infinite sets have the same cardinality. Also, a countably infinite set has the highest cardinality of any countable set. So if B has a greater cardinality than a countably infinite set, it is uncountable.
g) True. Per theorem 31.5, take B = . We have .
E 31.2
The reason is not in the image of is because that is the definition of the barber set. It is specifically constructed so that it is not in the image of .
E 31.3
Take power set of . Per theorem 31.5, . Now take the power set of that set. Per the same theorem . .
E 31.4
a)
(injective)
Define a function such that . Let . Assume that . We see that
So is injective.
(not surjective) does not map any value to , since the lowest possible value for . So is not surjective.
b)
(surjective)
Define a function such that
There are two cases:
Case 1: .
Let . Define . We see that
So for all there exists a such that maps to it.
Case 2: . In this case is explicitly mapped to 1 which is in .
Thus in all cases, is surjective.
(not injective)
We see that so is not injective.
E 31.5
(Injective)
Assume for some . This means that . Since is a bijection, it is injective, so each element in must be mapped to a unique element in , and similarly for . Therefore, , so is injective.
(Surjective)
Let be any subset of . We want to find a subset such that . Since is a bijection, for each , there exists a unique such that . Let be the set of all such in that correspond to elements of under . Then , proving that is surjective.
Since is both injective and surjective, is bijective.
Thus, .
E 31.6
(Injective)
Let . Assume . Since , every rational number less than or equal to is also less than or equal to , and vice versa. Suppose by way of contradiction that ; without loss of generality, assume . From exercise 11.6, there exists a rational number such that . However, this rational number would be in but not in , contradicting the assumption that . Therefore, must equal , and is injective.
By 31.1, we have . Since, by 29.7, then . So we have .
E 31.7 Proof. Assume there exists an injection . By definition of injection, for each , if , then . We need to show that there exists a surjection .
Define as follows:
For each , if there exists such that , set . If no exists (i.e., is not an image of any under ), pick any and set .
Since is nonempty, such an always exists. So, every element of is the image under of at least one element of , thus is a surjection.
Assume there exists a surjection . By definition of surjection, for each , there exists at least one such that . We need to show that there exists an injection .
Define as follows:
For each , since is surjective, there exists at least one such that . Choose some arbitrary for each and set .
This definition ensures that different elements of are mapped to different elements of . Thus, if , then the chosen for is different from the chosen for since and cannot hold simultaneously for the same . Therefore, is an injection.
Thus, we have shown that the existence of an injection implies the existence of a surjection and vice versa.