E 32.1 Proof.
Let be sets. Assume that and . We know that every element of is in and every element of is in . Assume by way of contradiction that . Since , . However , so every element in is in . Since it follows that . However, since , . Herein lies the contradiction. Therefore, .
E 32.2
Proof.
Let and
We proved in a homework problem that given by is a bijection. Note that given by the rule is an injection. Thus is an injection from .
Deinfe by . Note that this is a function because the rule takes elements of . Further is injective because if and then which implies . Thus by the Schröder-Bernstein Theorem, .
E 32.3
We define the function as follows:
For the interval , define . Let . Assume . Then . It follows that . So is injective. The image of will be (15, 17) which is in B and separate from the image of and
For the rational numbers, define . Let . Assume . We find
So is injective. The image of will be , which is in B and separate from the image of and .
For , we simply map it to 3, which is obviously injective. It is also separate from the image of .
Thus by the pasting together theorem, is injective.
Now we define the function as follows:
For the interval define . Let . Assume . We find
So is injective. The image of will be which is in A but separate from the image of .
For the interval (15, 17) define . Let . Assume . We find
So is injective. The image of will be which is in A but separate from the image of .
Thus by the pasting together theorem, is injective.
Since and are injective, by the Schröder-Bernstein theorem, .
E 32.4
Let and be sets. Prove that if there is an injection and a surjection then .
Proof.
Let and be sets. Assume that there is an injection and a surjection .
By a proof in exercise 31.7, since there is a surjection , there exists an injection . Since there is an injection and an injection , by the Schröder-Bernstein Theorem .
E 32.5
Define by the rule . To show that is a bijection, we need to establish three facts:
We first show that really is a function taking elements of to . For any in , the genealogy of is of type 2. The parent of is , which must be in since is a function from to . Moreover, the genealogy of is also of type 2, thus is in . Hence, is in .
Next, we show that is injective. Let and assume . This gives us . Since is injective (by its given properties), it must be the case that . Therefore, is injective because it maps distinct elements in to distinct elements in .
Now, we show that is surjective. For some , its genealogy is of type 2, meaning it has a child in , say , such that because is a function whose domain is all of and so all elements of are images under . Since and by the definition of , we have . This shows that every element of is an image of some element in , hence is surjective.
Since is both injective and surjective, we have shown that is indeed a bijection.
E 32.6 Proof.
Let , with decimal expansions and , where neither decimal expansion ends in repeating 9's.
Assume that . Then the sets and are equal.
Since the sets are equal, the corresponding elements must be equal. In other words, for all . If this were not the case, there would be some least for which . Without loss of generality, suppose . Then the set derived from would have a smaller -th element than the set derived from , which contradicts our assumption that .
Thus, because all corresponding digits in the decimal expansions of and are equal and since neither nor has a decimal expansion ending in repeating 9's, it must be the case that .