Q.Prove that the Greatest Integer Function f:R→R, given by f(x)=[x], is neither one-one nor onto, where [x] denotes the greatest integer less than or equal to x.
Concept understanding — One One Onto
One-One Onto (Bijective) Functions
Picture seating students on chairs so that every student gets a chair, every chair is used, no two students share one and none is left empty. A function that manages this perfect pairing between its domain and codomain is one-one onto, or bijective.
One-one (injective)
f is one-one if different inputs always give different outputs — no two students on one chair. Formally, f(x1)=f(x2)⟹x1=x2 (equivalently x1=x2⟹f(x1)=f(x2)).
f(x)=2x on R is one-one, since 2a=2b⇒a=b. But f(x)=x2 is not: f(2)=f(−2)=4 while 2=−2.
Onto (surjective)
f is onto if every element of the codomain is actually hit — no chair left empty. Formally, for every y in the codomain there is some x with f(x)=y. Here f(x)=2x is onto (take x=y/2), whereas f:R→R, f(x)=x2 is not, since negative values are never outputs.
Both together — bijective
A function that is one-one and onto is bijective: a one-to-one correspondence in which the two sets match up exactly.
One-one and onto are independent properties. f(x)=ex (from R to R) is one-one but not onto; f(x)=x3−x is onto but not one-one. You must verify both.
Why it matters
Only a bijection has a genuine inverse function: because each output comes from exactly one input (one-one) and every codomain element is used (onto), the map can be reversed unambiguously.
f:A→B is bijective ⟺ there is f−1:B→A with f−1(f(x))=x for all x∈A and f(f−1(y))=y for all y∈B.
| Property | Meaning |
|---|---|
| One-one | f(x1)=f(x2)⇒x1=x2 |
| Onto | ∀y∈B, ∃x∈A: f(x)=y |
| Bijective | both hold — a perfect pairing |
One-one onto (bijective) functions are a core topic of the CBSE Class 12 Relations and Functions chapter, since only a bijection guarantees the existence of a genuine inverse function — a result tested through "prove function is one-one onto" style board exam questions. This concept is equally important for JEE Main, where checking injectivity and surjectivity together is a common problem-solving step.
One-one and onto. To disprove one-one, exhibit two distinct inputs with the same output; to disprove onto, exhibit a codomain value that is never an output. We apply both tests to f(x)=[x].
Step 1 (not one-one): Take x1=1.2 and x2=1.5. Then f(1.2)=[1.2]=1 and f(1.5)=[1.5]=1. Two different inputs give the same output, so f is not injective. (In general, every x∈[n,n+1) maps to the same integer n.)
Step 2 (not onto): For every x, [x] is an integer, so the range is Z. Pick a non-integer such as 0.5∈R: no real x satisfies [x]=0.5. So 0.5 has no preimage and f is not surjective.
The greatest integer function f(x)=[x] is neither one-one nor onto — many inputs share the same integer output, and no non-integer (e.g. 0.5) is ever attained.
The greatest integer function f(x)=[x] is not one-one because many real numbers map to the same integer (e.g., 1.2 and 1.9 both give 1), and not onto because non-integer real numbers (like 0.5) have no preimage — the range is only Z, not R.
Why this approach works
To prove a function is not one-one, we just need to find two different inputs that give the same output. For [x], any two numbers in the same integer interval [n,n+1) map to the same n — so that's immediate.
To prove it's not onto, we need to show there's some real number that never appears as f(x). Since [x] always spits out an integer, any non-integer (like 0.5) can never be the output. That's the whole idea.
Step-by-step proof
1. Not one-one
Take any integer n. For any x in the interval [n,n+1), the definition says [x]=n. So pick two distinct numbers in that interval, say:
x1=n+0.2,x2=n+0.7
Both are in [n,n+1), so:
f(x1)=[n+0.2]=n,f(x2)=[n+0.7]=n
Thus x1=x2 but f(x1)=f(x2). Hence f is not injective.
A common mistake is to think "it's not one-one because it's constant on intervals" — that's exactly right, but you must explicitly pick two different x values and show they give the same f(x). Just saying "it's constant" isn't enough for a formal proof.
2. Not onto
The codomain is R (all real numbers). But what values does f actually take? For any x∈R, [x] is always an integer. So:
Range(f)=Z⊂R
Pick any non-integer real number, say y=0.5. Is there any x such that [x]=0.5? No — because [x] is always an integer. So 0.5 has no preimage.
You don't need to check every non-integer — just one counterexample is enough to disprove onto-ness. y=0.5 works perfectly, but y=π or y=−1.3 would also do.
Thus f is not surjective.
The greatest integer function f(x)=[x] is neither one-one nor onto — it fails injectivity because all numbers in [n,n+1) map to the same n, and it fails surjectivity because no non-integer real number is ever an output.
Method: Proving a function is neither one-one nor onto
To DISPROVE a property you need only one counterexample — far quicker than a general proof.
Steps
Step 1: Disprove one-one with two distinct inputs sharing an output
Find explicit x1=x2 with f(x1)=f(x2). For a step function like [x], any two numbers in the same interval [n,n+1) work, e.g. [1.2]=[1.5]=1.
Step 2: Disprove onto by exhibiting an unreached codomain value
Identify the actual range of f and pick one codomain element outside it. Since [x] only outputs integers, any non-integer such as 0.5 has no preimage.
Step 3: State both counterexamples explicitly — "constant on intervals" or "the range is small" is not a proof on its own; name the specific values that break each property.
Common Mistakes
Mistake 1: Saying "not one-one because it is constant on intervals" without a concrete counterexample.
Why it's wrong: a formal disproof needs two explicit distinct inputs with equal output. Correct approach: state e.g. [1.2]=[1.5]=1 while 1.2=1.5.
Mistake 2: Thinking the range of [x] is all of R.
Why it's wrong: [x] only outputs integers, so its range is Z, and non-integers like 0.5 have no preimage. Correct approach: compare range Z with codomain R to see it is not onto.
Showing the 12 most recent of 45 on this concept.
- CBSE 2026Set CX1 markMCQQ.The function f(x)=2x, x∈R is:(a) one-one but not onto(b) one-one and onto(c) many-one and onto(d) many-one but not onto
›Reveal solutionSolution
f(x)=2x on R is a bijection — both one-one and onto — option (b).
One-one: If f(x1)=f(x2) then 2x1=2x2⇒x1=x2. So f is injective.
Onto: For any y∈R, choose x=2y∈R; then f(x)=2⋅2y=y. So every element of the codomain is attained — f is surjective.
Being both, f is a bijection.
✓Final answerOption (b) one-one and onto.
- CBSE 2026Set ANNUAL1 markMCQQ.Let f:R→R defined as f(x)=3−4x, then f(x) is:(a) one-one onto(b) onto only(c) neither one-one nor onto(d) none of these
›Reveal solutionSolution
f(x)=3−4x is a linear function with non-zero slope, so it is both one-one and onto.
Given f:R→R, f(x)=3−4x.
One-one: Let f(x1)=f(x2). Then 3−4x1=3−4x2⇒x1=x2. So f is injective.
Onto: For any y∈R, solve 3−4x=y⇒x=43−y, which is a real number for every real y. So f is surjective.
Being both one-one and onto, f is bijective.
✓Final answerOption (a): one-one onto.
- CBSE 2026Set ANNUAL1 markMCQQ.If A = {0, 1, 4, 9, 16, 25, ......} then function defined by f: Z → A, f(x) = x² is:(a) one-one but not onto(b) onto but not one-one(c) one-one and onto(d) neither one-one nor onto
›Reveal solutionSolution
Two different integers with the same absolute value (like 2 and −2) give the same square, so f is not one-one; but every element of A is a perfect square that some integer squares to, so f is onto.
f:Z→A is defined by f(x)=x2, where A={0,1,4,9,16,25,…} is the set of all perfect squares of non-negative integers.
One-one check: Take x=2 and x=−2. Both are in Z and f(2)=4=f(−2), but 2=−2. Different inputs give the same output — f is not one-one.
Onto check: For every a∈A, a is a perfect square, say a=k2 for some non-negative integer k. Since k∈Z, we have f(k)=k2=a. Every element of A has a pre-image in Z — f is onto.
✓Final answerf is onto but not one-one (option b).
- CBSE 2026Set ANNUAL1 markMCQQ.Let f : R → R be defined by f(x) = 3x, choose the correct answer:(a) f is one-one onto(b) f is many-one onto(c) f is one-one but not onto(d) f is neither one-one nor onto
›Reveal solutionSolution
f(x)=3x is a straight-line map with non-zero slope, so it is both injective and surjective on R — a bijection.
Checking one-one (injective):
Let f(x1)=f(x2). Then 3x1=3x2⇒x1=x2. So distinct inputs never share an output — f is one-one.
Checking onto (surjective):
Take any y∈R. Choosing x=y/3∈R gives f(x)=3(y/3)=y. Every real number has a pre-image, so f is onto.
Being both one-one and onto, f is a bijection.
✓Final answerf is one-one onto. (Option a)
- CBSE 2026Set ANNUAL1 markQ.Prove that the function f:R→R, given by f(x)=2x, is both one-one and onto.
›Reveal solutionSolution
Prove injectivity by showing f(x1)=f(x2) forces x1=x2, and prove surjectivity by exhibiting a pre-image for an arbitrary y∈R.
Given f:R→R, f(x)=2x.
Step 1: One-one (injective).
Let x1,x2∈R such that f(x1)=f(x2).
2x1=2x2⟹x1=x2
So f(x1)=f(x2)⟹x1=x2, hence f is one-one.
Step 2: Onto (surjective).
Let y∈R be arbitrary (any element of the codomain). We need x∈R (the domain) such that f(x)=y.
Take x=2y. Since y∈R, x=2y∈R too, and
f(x)=f(2y)=2⋅2y=y
So every y∈R has a pre-image in R, hence f is onto.
Since f is both one-one and onto, f is bijective.
✓Final answerf(x)=2x is both one-one and onto (bijective).
- CBSE 2026Set ANNUAL1 markMCQQ.Let f:R→R be defined as f(x)=x4. Then(a) f is one-one and onto(b) f is many-one and onto(c) f is one-one but not onto(d) f is neither one-one nor onto
›Reveal solutionSolution
Find a counter-example pair with equal outputs to disprove one-one, and note the range excludes negative numbers to disprove onto.
Given f:R→R, f(x)=x4.
One-one? Consider x1=1 and x2=−1:
f(1)=14=1,f(−1)=(−1)4=1
f(1)=f(−1)=1 but 1=−1. So f is not one-one (it is many-one).
Onto? Since x4≥0 for every real x, the range of f is [0,∞), which is a proper subset of the codomain R. For example, y=−1 has no pre-image (x4=−1 has no real solution). So f is not onto.
Hence f is neither one-one nor onto.
✓Final answer(d) f is neither one-one nor onto
- CBSE 2025Set 65/4/11 markMCQQ.For real x, let f(x)=x3+5x+1. Then : (A) f is one-one but not onto on R (B) f is onto on R but not one-one (C) f is one-one and onto on R (D) f is neither one-one nor onto on R
›Reveal solutionSolution
The function f(x)=x3+5x+1 is strictly increasing (since f′(x)=3x2+5>0 for all real x), so it is one-one. As a cubic with odd degree and positive leading coefficient, its range is all real numbers, so it is onto R. Hence the correct option is (C).
-
Understanding one-one (injective) — why the derivative tells the story
A function is one-one if different inputs give different outputs. For a differentiable function, a sufficient condition is that the derivative never changes sign — that is, the function is strictly monotonic (always increasing or always decreasing).
Here, f′(x)=3x2+5. Since x2≥0 for all real x, we have 3x2≥0, so 3x2+5≥5>0. The derivative is always positive.
Therefore f is strictly increasing on R. A strictly increasing function is automatically one-one: if x1<x2, then f(x1)<f(x2), so no two distinct x's can map to the same y.
-
Understanding onto (surjective) — why the range is all reals
A function f:R→R is onto if every real number appears as an output. For a polynomial of odd degree with a positive leading coefficient, the end behaviour guarantees this:
- As x→−∞, x3→−∞, so f(x)→−∞.
- As x→+∞, x3→+∞, so f(x)→+∞. Since f is continuous (every polynomial is continuous), by the Intermediate Value Theorem it takes every value between −∞ and +∞. That is, the range is R.
TipA quick check: for any real y, the equation x3+5x+1=y is a cubic in x. Every cubic with real coefficients has at least one real root, so there is always some x solving it. That alone proves surjectivity onto R.
-
Putting it together
- One-one: yes, because f′(x)>0 everywhere.
- Onto: yes, because it's a continuous odd-degree polynomial with positive leading coefficient. Hence f is both one-one and onto on R.
Watch outA common mistake is to think that a cubic is always one-one. That is false — for example, f(x)=x3−x has derivative 3x2−1, which changes sign, so it is not one-one. Always check the derivative (or monotonicity) before concluding injectivity.
✓Final answerThe correct option is (C) — f is one-one and onto on R.
-
- CBSE 2025Set 65/4/11 markMCQQ.If f:N→W is defined as f(n)={2n,0,if n is evenif n is odd, then f is : (A) injective only (B) surjective only (C) a bijection (D) neither surjective nor injective
›Reveal solutionSolution
The function maps all odd naturals to 0 and each even natural to half its value, so it is surjective onto W (every whole number is hit) but not injective (many inputs give the same output). The correct option is (B).
The core idea here is to understand what the function does to its domain, N (the set of natural numbers, typically {1,2,3,…}), and where it lands, W (the set of whole numbers, {0,1,2,3,…}). The definition splits the domain into two clear cases: odd numbers and even numbers.
For every odd natural number — 1, 3, 5, 7, … — the output is 0. That means infinitely many inputs all map to the single output 0. That alone kills injectivity: a function is injective (one-to-one) only if different inputs always give different outputs. Here, f(1)=0, f(3)=0, f(5)=0, and so on, so it is clearly not injective.
For every even natural number — 2, 4, 6, 8, … — the output is half of that number. So f(2)=1, f(4)=2, f(6)=3, f(8)=4, and so on. This gives us every positive whole number exactly once. And the odd numbers already cover 0. So every whole number — 0, 1, 2, 3, … — appears as an output at least once. That makes the function surjective (onto).
Let’s walk through it step by step.
-
Check injectivity (one-to-one)
Take two different inputs, say n=1 and n=3. Both are odd, so f(1)=0 and f(3)=0. Since 1=3 but f(1)=f(3), the function is not injective.
Watch outA common mistake is to only check the even case and think the function looks one-to-one. But the odd case collapses everything to 0 — that’s the trap.
-
Check surjectivity (onto)
We need to see if every element of W (the codomain) is actually hit by some n in N.
- For 0∈W: pick any odd n, say n=1, then f(1)=0.
- For any positive whole number k∈W (i.e., k=1,2,3,…): pick n=2k, which is an even natural number. Then f(2k)=22k=k. So every whole number has a preimage in N. Hence f is surjective.
-
Conclusion
Since f is surjective but not injective, it is not a bijection. The correct classification is “surjective only”.
TipA quick mental check: if a function from an infinite set to another infinite set sends infinitely many inputs to a single output, it cannot be injective. Here, the odd numbers are an infinite set all mapping to 0 — injectivity is impossible.
✓Final answerThe function is surjective only, so the correct option is (B).
-
- CBSE 2025Set ANNUAL1 markMCQQ.Let f:R→R be defined as f(x)=x2, where R is the set of real numbers. Choose the correct answer:(a) f is one-one onto(b) f is many-one onto(c) f is one-one but not onto(d) f is neither one-one nor onto
›Reveal solutionSolution
f(x)=x2 on R→R is neither one-one nor onto.
Not one-one: f(−1)=1=f(1) but −1=1, so two different inputs give the same output.
Not onto: x2≥0 for every real x, so the range is [0,∞), which is not all of R (e.g. −1 has no pre-image).
✓Final answer(iv) f is neither one-one nor onto.
- CBSE 2025Set IX1 markMCQQ.The modulus function f:R→R+ given by f(x)=∣x∣ is(a) one-one and onto(b) many-one and onto(c) one-one but not onto(d) neither one-one nor onto
›Reveal solutionSolution
f(x)=∣x∣ is many-one (as f(2)=f(−2)) and onto R+; option (b).
Concept. A function is one-one if different inputs give different outputs, and onto if every element of the codomain is actually attained.
One-one? Take x=2 and x=−2: f(2)=∣2∣=2 and f(−2)=∣−2∣=2. Two different inputs share the same image, so f is many-one.
Onto? The codomain here is R+=[0,∞). For any y≥0 we can pick x=y, giving f(x)=∣y∣=y. So every element of R+ is hit, and f is onto.
✓Final answer(b) many-one and onto.
- CBSE 2025Set A1 markMCQQ.If f:R→R be defined as f(x)=3x, then(a) f is one-one onto.(b) f is many one onto.(c) f is one-one but not onto.(d) f is neither one-one nor onto.
›Reveal solutionSolution
A linear function f(x)=3x with non-zero slope is always a bijection on R.
Checking one-one (injective): Suppose f(x1)=f(x2) for x1,x2∈R.
3x1=3x2⟹x1=x2
So distinct inputs always give distinct outputs — f is one-one.
Checking onto (surjective): Let y∈R be any real number. We need x∈R such that f(x)=y, i.e. 3x=y, so x=y/3. Since y/3 is always a real number, every y∈R has a pre-image. Hence f is onto.
Since f is both one-one and onto, it is a bijection.
✓Final answer(a) f is one-one onto.
- CBSE 2025Set A1 markQ.Write True or False: If a function f is invertible, then f must be one-one and onto.
›Reveal solutionSolution
Invertibility of a function is EQUIVALENT to it being a bijection; this is a standard NCERT theorem.
A function f:A→B is invertible if there exists g:B→A such that g∘f=IA and f∘g=IB. It is a proven theorem that f is invertible if and only if f is a bijection (both one-one and onto):
- One-one ensures each output has a unique pre-image, so g is well-defined.
- Onto ensures every element of B has a pre-image, so g can be defined on the whole of B.
Hence the statement is correct.
✓Final answerTrue.
🎓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.