Q.Let be the set of all 50 students of Class X in a school. Let be function defined by roll number of the student . Show that is one-one but not onto.
The function assigns each student a unique roll number, so it is one-one (injective). Since the codomain is infinite but only 50 roll numbers are used, is not onto (surjective).
Why This Approach Works
The key to this problem is understanding what "one-one" and "onto" actually mean in a real-world context. A function is one-one if different inputs always give different outputs — no two students share the same roll number. It is onto if every possible natural number is actually assigned to some student — which is impossible here because there are only 50 students but infinitely many natural numbers.
Rather than getting lost in abstract notation, think of it this way: the function is just a labelling rule. The question asks whether that rule satisfies two properties. We check each property by looking at what the rule does, not by manipulating symbols.
Step-by-Step Reasoning
1. Understanding the domain and codomain
The domain is the set of 50 students. The codomain is , the set of all natural numbers. The function gives the roll number of student .
In Indian schools, roll numbers are usually distinct positive integers assigned to each student in a class. No two students share the same roll number.
2. Checking one-one (injective) property
A function is one-one if:
Equivalently: different students must have different roll numbers.
Since each student has a unique roll number, if , then the roll numbers are the same, which can only happen if and are the same student. Therefore, is one-one.
You don't need to know the actual roll numbers — the fact that roll numbers are unique by design is enough. The property follows from the definition of a roll number system.
3. Checking onto (surjective) property
A function is onto if every natural number has some student such that .
Here, only 50 roll numbers are used (one per student). But has infinitely many numbers. For example, the number 51 is a natural number, but no student has roll number 51 (since there are only 50 students). So is not onto.
A common mistake is to think "onto" means every roll number from 1 to 50 is used. That's not correct — onto means every natural number (1, 2, 3, ...) must appear as a roll number, which is impossible with only 50 students.
4. Formal justification
Let the set of roll numbers actually assigned be . Since has 50 elements, has at most 50 elements. But is infinite. So is non-empty — pick any ; there is no student with roll number . Hence is not onto.
For a finite domain and infinite codomain , no function can be onto. The image set is always finite, while the codomain is infinite.
The function is one-one because each student has a unique roll number, but it is not onto because only 50 natural numbers are used as roll numbers, leaving infinitely many natural numbers unassigned.
Unlock everything free for 14 days
- Full step-by-step solutions
- Concept-first explanations
- Methods, shortcuts & mistakes
- PYQ mapping + timed mock tests
Full access for 14 days. No credit card required.