Review the key concepts, formulae, and examples before starting your quiz.
🔑Concepts
Definition of a Function: A function is a relation where every element in set (domain) is mapped to exactly one element in set (codomain). Visually, this is represented by an arrow diagram where every point in the left oval has exactly one arrow originating from it.
One-to-one (Injective) Function: A function is injective if no two distinct elements in the domain have the same image in the codomain. Mathematically, . Visually, if you look at the codomain, no element has more than one arrow pointing to it. On a graph, this is confirmed by the Horizontal Line Test: any horizontal line must intersect the graph at most once.
Onto (Surjective) Function: A function is surjective if every element in the codomain has at least one pre-image in the domain . This means the Range of the function is exactly equal to the Codomain (). Visually, every element in the right oval of an arrow diagram must have at least one arrow pointing to it.
Many-to-one Function: A function is many-to-one if two or more distinct elements in the domain map to the same element in the codomain. For example, in the function defined over real numbers, both and map to . Visually, multiple arrows from the domain converge on a single point in the codomain.
Into Function: A function is called an 'into' function if there is at least one element in the codomain that does not have a pre-image in the domain. In this case, the Range is a proper subset of the Codomain (). Visually, there will be 'lonely' elements in the right-hand set with no arrows pointing to them.
Bijective Function: A function that is both one-to-one (injective) and onto (surjective) is called a bijection. Bijective functions are invertible. Visually, this creates a perfect one-to-one correspondence where every element in is paired with exactly one unique element in , leaving no elements unused in either set.
Horizontal Line Test for Graphs: To check for injectivity visually on a coordinate plane, draw horizontal lines across the graph. If any line hits the graph in more than one place, the function is many-to-one. To check for surjectivity, ensure that every horizontal line corresponding to the -values in the codomain hits the graph at least once.
📐Formulae
Injective Condition:
Surjective Condition: (Range equals Codomain)
Number of one-to-one functions from to (where ): if , and if
Number of bijective functions from to (where ):
Number of onto functions from to (where ):
💡Examples
Problem 1:
Check the injectivity and surjectivity of the function defined by .
Solution:
- Injectivity: Let . Then . Subtracting from both sides gives . Dividing by gives . Since implies , the function is injective (one-to-one). \n2. Surjectivity: Let be an arbitrary element in the codomain . We set and solve for : . For any real value of , will also be a real number. Since (the domain) exists for every (the codomain), the function is surjective (onto). \nConclusion: The function is bijective.
Explanation:
We use the standard algebraic definitions: for injectivity, we prove that equal outputs imply equal inputs; for surjectivity, we prove that any output can be produced by a valid input .
Problem 2:
Show that the function defined by is injective but not surjective.
Solution:
- Injectivity: Let . Since the domain is natural numbers (), and must be positive. Therefore, . The function is injective. \n2. Surjectivity: The codomain is . Consider an element in the codomain, say . If , then , which means . However, is not a natural number (). Since there are elements in the codomain (like ) that have no pre-image in the domain, the function is not surjective.
Explanation:
Injectivity holds because natural numbers are always positive, eliminating the negative root. Surjectivity fails because only perfect squares in the codomain have pre-images in the domain.