E 27.1 is surjective iff . Proof.
Let be as stated above.
(=>)
Assume that is surjective. Then . Thus .
(<=)
Assume that . We work contrapositively.. Assume that is not surjective. Then there exists such that . Thus if , . Hence .
E 27.2
Injective.
Let such that are even. Assume that . We find that
So is injective.
Surjective.
Let . Define . We find that
So is surjective. Since is both injective and surjective, it is bijective.
Injective
Let such that are odd. Assume that . We see that
So is injective.
Surjective
Let . Define . We find that
So is surjective .Since is both injective and surjective, it is bijective.
Hence, both and are bijective.
E 27.3
Injective:
Let . Assume . There are two cases:
If , then so , which means .
If , then , so , which means .
So, using the pasting together theorem is injective.
Surjective:
Given any element in , we want to find an integer such that .
If , define . Then .
If , define . Then .
So, using the pasting together theorem, is surjective.
Hence, is bijective.
E 27.4
a)
b)
c) . We see that is a subset of . is injective since every second component appears exactly once. Also, im() = im(),
E 27.5
a) Proof.
Let be an injective function and let . Let . Assume that . Note that and . Therefore, . Since is injective, . So is injective.
b) Proof.
(Surjective)
Let . Then such that . Hence . Thus is surjective.
(Injective)
Let . Assume that . Then . Hence . Thus is injective.
So is bijective.
E 27.6
a) Prove that is surjective iff for each .
() Assume is surjective. By definition, for every element , there exists at least one element such that . This implies is not empty for each , because there is at least one element in that maps to each in .
() Conversely, assume for each in . This means for each in , there is at least one element in that maps to . This is the definition of a surjective function. Therefore, is surjective.
b) Prove that is injective iff for each .
() Assume is injective. By definition, for every element in that is the image of an element in , there is no other element in that maps to . This implies that the preimage contains at most one element for each in , so .
() Conversely, assume for each in . This means for each in , there is at most one element in that maps to . This is the definition of an injective function. Therefore, is injective.
E 27.7
a)
:
Take any element . Then there exists an such that . Now, is either in or , so will be in or , and hence in .
:
Take any element . This means is either in or . If , then there is an such that . Also, if , then there is an such that . In either case, is in , so is in .
Therefore, .
b)
This statement is not always true. We will disprove it.
Consider such that for some , , and . Then is in both and , but there is no element in that maps to it because . Hence, .
c)
Proof.
:
If , then , which means or . Hence, is in either or , and thus in their union.
:
If is in or , then is in or , and thus in . Hence, .
Therefore, .
d)
Proof.
: If , then , which means and . Thus, is in both and .
: If is in both and , then is in both and , and therefore in their intersection . Hence, .