Review the key concepts, formulae, and examples before starting your quiz.
🔑Concepts
One-to-one (Injective) Functions: A function is called one-to-one if distinct elements in have distinct images in . Formally, . Visually, no two arrows from the domain point to the same element in the codomain.
Onto (Surjective) Functions: A function is onto if every element of the codomain is the image of at least one element of the domain . This means the range of is exactly equal to the codomain .
Bijective Functions: A function is bijective if it is both one-to-one (injective) and onto (surjective). Such functions establish a perfect pairing between the elements of the domain and the codomain.
Horizontal Line Test: To check if a function is one-to-one using its graph, draw horizontal lines. If any horizontal line intersects the graph at more than one point, the function is not one-to-one.
📐Formulae
Condition for Injectivity:
Condition for Surjectivity: or
Number of injective functions from to (where ): if , else
Number of bijective functions from to (where ):
Number of onto functions from to (where ):
💡Examples
Problem 1:
Show that the function defined by is a bijective function.
Solution:
Step 1: Check for Injectivity (One-to-one). Let for some .
.
Since , the function is injective.
Step 2: Check for Surjectivity (Onto). Let be an arbitrary element in the codomain .
Set .
Solve for : .
Since is a real number, is also a real number (belongs to the domain).
.
Thus, for every in the codomain, there exists an in the domain such that . The function is surjective.
Conclusion: Since is both injective and surjective, it is bijective.
Explanation:
To prove bijectivity, we must algebraically demonstrate that the function satisfies both the one-to-one condition and the onto condition.
Problem 2:
Check the injectivity and surjectivity of the function given by .
Solution:
Step 1: Check Injectivity. Let and .
and .
Here but .
Therefore, is not injective (it is many-to-one).
Step 2: Check Surjectivity. The codomain is (all integers).
Consider in the codomain. Is there an such that ?
No integer squared results in a negative number.
Since there is no such that , the element has no pre-image.
Therefore, is not surjective (it is an 'into' function).
Explanation:
Using counter-examples is the most efficient way to show that a function fails to be injective or surjective. In this case, the square function on integers fails both.
Problem 3:
Check if the function defined by is one-to-one and onto.
Solution:
- For Injectivity: Let . Then . Taking the cube root of both sides, we get . Thus, is one-to-one.
- For Surjectivity: Let . We set . This implies . Since the cube root of any real number is also a real number, every has a pre-image in the domain. Thus, is onto. Since is both one-to-one and onto, it is a bijective function.
Explanation:
The cubic function is strictly increasing, which ensures it passes the horizontal line test (one-to-one). Because it extends from to on the y-axis, its range is all real numbers (onto).
Problem 4:
Let and . Is the function defined by onto?
Solution:
- Range of .
- Codomain .
- Since Range Codomain (the element has no pre-image in ), the function is not onto.
Explanation:
For a function to be onto, every element in the destination set (codomain) must be 'hit' by at least one arrow from the source set (domain). Here, is left out.