Q.Show that the function , given by and , for every , is onto but not one-one.
You're viewing a preview — the full solution, concept, methods & PYQ mapping are locked.
Start your 14-day free trial to unlock the full solution →The function is not one-one because (two inputs map to the same output), but it is onto because every natural number has a preimage: is hit by and , and for , .
Concept and Intuition
A function is one-one (injective) if different inputs always give different outputs. It is onto (surjective) if every element of the codomain is actually reached by some input from .
Here, the domain and codomain are both . The function is defined piecewise:
- For and , the output is .
- For every , the output is .
The key observation: the first two values collide at , so injectivity fails immediately. But surjectivity? For any target , we need to find some such that . The rule for gives us a natural way to hit numbers — just take . And is already covered by or . So every natural number is hit.
Step-by-Step Reasoning
1. Check one-one (injectivity).
A function is one-one if implies . Here, and . So but . That is a direct counterexample.
Hence is not one-one.
A common mistake is to only check the part and conclude the function is one-one because is strictly increasing. But the definition at breaks injectivity — always check the whole domain.
2. Check onto (surjectivity).
We need to show: for every , there exists some such that .
- Case : Choose (or ). Then , so is in the range. …
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.