E 26.1
a) Proof.
Assume and are injective. By definition, a function is injective if for all elements and in the domain of , . Let and assume . By the definition of composition, . Since is injective, . And since is also injective, . Thus, is injective.
b) Proof. We work directly.
Assume is surjective. By definition, a function is surjective if for every element in the codomain of , there exists an element in the domain of such that . Let . Since is surjective, there exists an such that . By the definition of composition, . Let , where because maps from to . Therefore, . Since was an arbitrary element in and we found a such that , is surjective.
E 26.2
The composition of is defined that for each element , . Since for each , we can substitute this into the composition, getting . Since is the result of applying directly to each element , it follows that .
Therefore, .
E 26.3 Disproof.
Define the function . Let and . Define such that and . Note that is not surjective since no element in is mapped to in .
Define the function . Let . Define such that and . is surjective because every element in is a second component in . Defines . For in , . For in , . In this composition, no element of is mapped to in . Thus, even though is surjective, the composition is not surjective, as there is no element in that maps to in through . This disproves the statement.
E 26.4 Disproof.
Define the function as . Define the function as . We see that . Let . Assume that . This gives us:
Therefore, is injective. Take and . Then . So is not injective. Therefore, the implication that if is injective then is injective is false.
E 26.5
Let and be bijective functions. Per Theorem 26.12, since and are both bijective, is bijective. By theorem 26.15, is a function since is bijective. We want to show that for every element , . Let . Since is bijective, there exists a unique such that . Similarly, as is bijective, there exists a unique such that . By the definition of function composition, . Since is bijective, its inverse function, , will map back to , so . Also, and , so . Therefore, for every , , proving that .
E 26.6
Fix given by
Proof.
(Injective)
Let . Assume . We find
So is injective.
(Surjective)
Let . Define . We see that
Hence, for every , we have found an (specifically ) such that . Therefore, is surjective.