Define . Suppose . Then , so . Hence we see .
Note that
HW 25
Ben Finch
E 25.1
A to B
{}
Neither injective nor surjective
{}
Surjective but not injective
{}
Surjective but not injective
{}
Neither injective nor surjective
{}
Surjective but not injective
{}
Surjective but not injective
{}
Surjective but not injective
{}
Surjective but not injective
B to A
{}
Neither injective nor surjective
{}
Injective but not surjective
{}
Injective but not surjective
{}
Injective but not surjective
{}
Neither injective nor surjective
{}
Injective but not surjective
{}
Injective but not surjective
{}
Injective but not surjective
{}
Neither injective nor surjective
E 25.2
a)
We aim to prove that the function by is bijective.
Proof.
(Injective)
Let . Assume . Then
So is injective.
(Surjective)
Let . Define . Note that
So is surjective.
Since is both injective and surjective, it is bijective.
b)
We aim to prove that the function by is neither injective nor surjective.
Proof. (Injective)
Fix and . We see that and so . But so is not surjective.
Proof. (Surjective)
Suppose that there exists some some point within the function . Then we can use the quadratic formula to find out what it is. We see
We see that there are no real roots, so there is no point within . Since 0 is within the codomain but not defined within the function, the function is not surjective.
c)
We aim to prove that the function by is bijective. Proof.
(Injective)
Let . Assume that . Then
So is injective.
(Surjective)
Let . Define . We see that that
So is surjective.
Since we have proven that is both surjective and injective, is bijective.
E 25.3
Define by .
a) Proof.
We aim to prove that for each , is unique.
Then is well defined.
b)
Based on part a, we see that . We will prove is both surjective and injective.
Proof.
(Injective)
We see that no two distinct elements in the domain are mapped to the same element in the codomain . Thus, is injective since implies .
(Surjective)
The codomain of is . Since every element in appears as a second component in the set of ordered pairs, is surjective.
Therefore, is bijective.
E 25.4
a) Proof.
(Injective)
Fix and . Then and but . So is not injective.
(Surjective)
Take which is within the codomain. However, solving for , we see that which is not within the domain. In other words, squaring any real number cannot result in a negative number. So is not surjective.
b) Proof.
(Injective)
Let . Assume that . We see that
Squaring both sides we get
So is injective.
(Surjective)
Consider any negative number with . There is no such that because the square root of a nonnegative number is always nonnegative.
Therefore, there is no that maps to any negative , which means is not surjective.
c)
Proof.
(Surjective)
There are two cases.
If
Let . Define . We see that
Since crosses the origin at , it is fine that will not result in any any negative values.
If or .
Let . Define . We see that
So is surjective
(Injective)
Fix and . Then and but . So is not injective.
d) Proof.
(Injective)
Let . Assume that . This gives us:
Therefore, is injective.
(Surjective)
We aim to show that for every , there exists an such that . This is true because for every , we can take , and we will have . Therefore, is surjective.
E 25.5
a)
Let . Then . We want to show that .
Suppose . Then we have:
Multiplying both sides by (which is not zero since ), we get:
This simplifies to , which is a contradiction. Therefore, for any , and is indeed a function from to .
b) Let . Assume . We find
So is injective.
c)
Let . Fix
We now show that is in the domain of , which is . Since is not 1, the denominator is not zero, and so is a well-defined real number. Furthermore, cannot be 2 because if were 2, then we would have:
which is a contradiction. Therefore, .
Substituting back into , we have:
Multiplying the numerator and the denominator by we get:
Therefore, for every , there exists an such that . Hence, is surjective.
E 25.6 is surjective and not injective.
Surjective:
We want to show that for every , there exists at least one pair such that . This is equivalent to solving the equation for integers and .
Case 1: is even, for some .
We can choose and , so .
Case 2: is odd, for some .
We can choose and , so .
Since in both cases, we can find integers and such that , the function is surjective.
Not injective.
Fix and . These are distinct pairs in . For these values, and . Since but , the function is not injective.
Therefore, is surjective but not injective.
E 25.7
a)
b) )
c)
d)
E 25.8
a) A function from to assigns to each element in the domain exactly one element in the codomain. If a vertical line intersects the graph of more than once, then there would be two different values of for the same , which contradicts the definition of a function. Therefore, since is a function, every vertical line intersects the graph of at most once.
b) Since is a function defined on all of , for every in , there exists a unique in . This means that for every vertical line (which corresponds to a value of ), there must be a point on the graph of where it intersects that line. If there were a vertical line that did not intersect the graph of , then there would be an in for which is not defined, which would contradict the fact that is a function from to . Therefore, every vertical line intersects the graph of at least once.
c) To prove that is injective using the horizontal line test, we assume that for every horizontal line , the line intersects the graph of at most once. This means for any two points and in the domain, if , then it must be the case that . Thus, no two different -values map to the same -value, which by definition means is injective.
d) For to be surjective, every in the codomain must be the image of at least one in the domain. To prove this, we assume that for every real number , there exists a real number such that . Thus, any horizontal line , for any real number , will intersect the graph of at least once, which means is surjective as it covers the entire codomain without any 'holes'.