Consider the function mapping a student to his/her roll numbers. The domain of the function is the set of all students. The range of the function is the set of all possible roll numbers. Of course, two students cannot have the exact same roll number. So, each used roll number can be used to uniquely identify a student. Such a function is called an injective function.
Injective function definition
A function f : A ⇾ B is defined to be one-to-one or injective if the images of distinct elements of A under f are distinct.
Suppose we have 2 sets, A and B. If a function that points from A to B is injective, it means that there will not be two or more elements of set A pointing to the same element in set B. Conversely, no element in set B will be pointed to by more than 1 element in set A.
Injective function - no element in set B is pointed to by more than 1 element in set A, mathisfun.com
Such a function is also called a one-to-one function since one element in the range corresponds to only one element in the domain.
Composition of injective functions
The composition of functions is a way of combining functions. In the composition of functions, the output of one function becomes the input of the other. To know more about the composition of functions, check out our article on Composition of Functions
Consider two functions and. If these two functions are injective, then, which is their composition is also injective.
Let's prove this.
Let and suppose .
From the above,
Because is injective,
is also injective. Therefore,
This implies that is an injection.
Graphical explanation of Injective functions
When you draw an injective function on a graph, for any value of y there will not be more than 1 value of x.
So, given the graph of a function, if no horizontal line (parallel to the X-axis) intersects the curve at more than 1 point, we can conclude that the function is injective. On the other hand, if a horizontal line can be drawn which intersects the curve at more than 1 point, we can conclude that it is not injective. This is known as the horizontal line test.
Injective function graph - StudySmarter Originals
Consider the point P in the above graph. We can see that a straight line through P parallel to either the X or the Y-axis will not pass through any other point other than P. This applies to every part of the curve. Thus the curve passes both the vertical line test, implying that it is a function, and the horizontal line test, implying that the function is an injective function.
Not an injective function - StudySmarter Originals
By contrast, the above graph is not an injective function. The points, P1 and P2 have the same Y (range) values but correspond to different X (domain) values. Thus, it is not injective.
Types of injective functions
The following are the types of injective functions.
- is injective.
- is injective.
- is injective
- is injective
- is injective
- is injective.
- is injective, since all-natural numbers have unique squares.
- is not injective.
- is not injective.
Injective, Surjective and Bijective function
Apart from injective functions, there are other types of functions like surjective and bijective functions It is important that you are able to differentiate these functions from an injective function. So let's look at their differences.
For injective functions, it is a one to one mapping. Every element in A has a unique mapping in B but for the other types of functions, this is not the case. For a bijective function, every element in A matches perfectly with an element in B. No element is left out. See the figure below.
Bijective Function.
For surjective functions, every element in set B has at least one matching element in A and more than one element in A can point to just one element in B. See the figure below.
Surjective function.
Injective function examples
Consider the function,
Clearly, the value of will be different when the value of x is different.
The same applies to the functions , etc.
On the other hand, consider the function,
This is not an injective function.
Consider the value, 4, in the range of the function.
Thus, we see that more than 1 value in the domain can result in the same value in the range, implying that the function is not injective in nature.
The same applies to functions such as , etc.
Let and . Which of the following is an injective function?
Solution:
The answer is option c. Option c satisfies the condition for an injective function because the elements in B are uniquely mapped with the elements in D.
If is an injective function, is true?
Solution:
The statement is true. If you assume then,
From the statement,
This means that:
Injective functions - Key takeaways
- If a function that points from A to B is injective, it means that there will not be two or more elements of set A pointing to the same element in set B. Conversely, no element in set B will be pointed to by more than 1 element in set A.
- An injective function is also called a one-to-one function.
- When you draw an injective function on a graph, for any value of y there will not be more than 1 value of x.
How we ensure our content is accurate and trustworthy?
At StudySmarter, we have created a learning platform that serves millions of students. Meet
the people who work hard to deliver fact based content as well as making sure it is verified.
Content Creation Process:
Lily Hulatt is a Digital Content Specialist with over three years of experience in content strategy and curriculum design. She gained her PhD in English Literature from Durham University in 2022, taught in Durham University’s English Studies Department, and has contributed to a number of publications. Lily specialises in English Literature, English Language, History, and Philosophy.
Get to know Lily
Content Quality Monitored by:
Gabriel Freitas is an AI Engineer with a solid experience in software development, machine learning algorithms, and generative AI, including large language models’ (LLMs) applications. Graduated in Electrical Engineering at the University of São Paulo, he is currently pursuing an MSc in Computer Engineering at the University of Campinas, specializing in machine learning topics. Gabriel has a strong background in software engineering and has worked on projects involving computer vision, embedded AI, and LLM applications.
Get to know Gabriel