Skip to content
Exercise 1.2 · Q3

Q.Prove that the Greatest Integer Function f:R→Rf: \mathbf{R} \to \mathbf{R}, given by f(x)=[x]f(x) = [x], is neither one-one nor onto, where [x][x] denotes the greatest integer less than or equal to xx.

CBSENCERTSubjective· 3mImportance★★★★★
24% · 25/104 Questions
✓ Free question

The greatest integer function f(x)=[x]f(x)=[x] is not one-one because many real numbers map to the same integer (e.g., 1.21.2 and 1.91.9 both give 11), and not onto because non-integer real numbers (like 0.50.5) have no preimage — the range is only Z\mathbb{Z}, not R\mathbb{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][x], any two numbers in the same integer interval [n,n+1)[n, n+1) map to the same nn — 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)f(x). Since [x][x] always spits out an integer, any non-integer (like 0.50.5) can never be the output. That's the whole idea.


Step-by-step proof

1. Not one-one

Take any integer nn. For any xx in the interval [n,n+1)[n, n+1), the definition says [x]=n[x] = n. So pick two distinct numbers in that interval, say:

x1=n+0.2,x2=n+0.7x_1 = n + 0.2, \quad x_2 = n + 0.7

Both are in [n,n+1)[n, n+1), so:

f(x1)=[n+0.2]=n,f(x2)=[n+0.7]=nf(x_1) = [n+0.2] = n, \quad f(x_2) = [n+0.7] = n

Thus x1≠x2x_1 \neq x_2 but f(x1)=f(x2)f(x_1) = f(x_2). Hence ff is not injective.

Watch out

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 xx values and show they give the same f(x)f(x). Just saying "it's constant" isn't enough for a formal proof.

2. Not onto

The codomain is R\mathbf{R} (all real numbers). But what values does ff actually take? For any x∈Rx \in \mathbf{R}, [x][x] is always an integer. So:

Range(f)=Z⊂R\text{Range}(f) = \mathbb{Z} \subset \mathbb{R}

Pick any non-integer real number, say y=0.5y = 0.5. Is there any xx such that [x]=0.5[x] = 0.5? No — because [x][x] is always an integer. So 0.50.5 has no preimage.

Tip

You don't need to check every non-integer — just one counterexample is enough to disprove onto-ness. y=0.5y = 0.5 works perfectly, but y=πy = \pi or y=−1.3y = -1.3 would also do.

Thus ff is not surjective.


✓Final answer

The greatest integer function f(x)=[x]f(x)=[x] is neither one-one nor onto — it fails injectivity because all numbers in [n,n+1)[n, n+1) map to the same nn, and it fails surjectivity because no non-integer real number is ever an output.

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.