Skip to content
Exercise 1.2 · Q1

Q.Show that the function f:R∗→R∗f: \mathbf{R}_* \to \mathbf{R}_* defined by f(x)=1xf(x) = \frac{1}{x} is one-one and onto, where R∗\mathbf{R}_* is the set of all non-zero real numbers. Is the result true, if the domain R∗\mathbf{R}_* is replaced by N\mathbf{N} with co-domain being same as R∗\mathbf{R}_*?

CBSENCERTSubjective· 3mImportance★★★★★
22% · 23/104 Questions
✓ Free question

The function f(x)=1/xf(x) = 1/x is a bijection from the non-zero reals to themselves because it is its own inverse. If the domain is restricted to natural numbers N\mathbf{N}, the function is still one-one but no longer onto, since outputs like 1/21/2 are not natural numbers.

We need to check two things for the function f:R∗→R∗f: \mathbf{R}_* \to \mathbf{R}_* given by f(x)=1/xf(x) = 1/x: whether it is one-one (injective) and onto (surjective). The set R∗\mathbf{R}_* means all real numbers except zero.

The core idea is that ff is its own inverse. If you take a number, take its reciprocal, and then take the reciprocal again, you get back the original number. That property alone guarantees both injectivity and surjectivity — but let's verify step by step.


1. Checking one-one (injectivity)

A function is one-one if different inputs always give different outputs. Equivalently, if two outputs are equal, the inputs must be equal.

Assume f(x1)=f(x2)f(x_1) = f(x_2) for some x1,x2∈R∗x_1, x_2 \in \mathbf{R}_*.

That means:

1x1=1x2\frac{1}{x_1} = \frac{1}{x_2}

Since x1x_1 and x2x_2 are non-zero, we can cross-multiply:

x2=x1x_2 = x_1

So f(x1)=f(x2)f(x_1) = f(x_2) implies x1=x2x_1 = x_2. Hence ff is one-one.

Tip

For a function of the form f(x)=a/xf(x) = a/x with a≠0a \neq 0, injectivity always holds on any domain that excludes zero, because the equation a/x1=a/x2a/x_1 = a/x_2 simplifies directly to x1=x2x_1 = x_2.


2. Checking onto (surjectivity)

A function is onto if every element in the co-domain is actually reached by some input from the domain. Here the co-domain is R∗\mathbf{R}_* — all non-zero real numbers.

Take any y∈R∗y \in \mathbf{R}_*. We need an x∈R∗x \in \mathbf{R}_* such that f(x)=yf(x) = y.

Set f(x)=yf(x) = y:

1x=y\frac{1}{x} = y

Solving for xx:

x=1yx = \frac{1}{y}

Since y≠0y \neq 0, 1/y1/y is also a non-zero real number, so x∈R∗x \in \mathbf{R}_*. And indeed f(1/y)=yf(1/y) = y.

Thus every yy in the co-domain has a pre-image in the domain. So ff is onto.

Watch out

A common mistake is to forget that yy itself must be non-zero. But the co-domain is R∗\mathbf{R}_*, so y=0y=0 is never considered — the function is defined only for non-zero outputs, which matches perfectly.


3. The function is bijective

Since ff is both one-one and onto, it is a bijection. In fact, ff is its own inverse: f(f(x))=xf(f(x)) = x for all x∈R∗x \in \mathbf{R}_*.

f−1(x)=1x=f(x)f^{-1}(x) = \frac{1}{x} = f(x)


4. What happens if the domain is N\mathbf{N} instead?

Now consider f:N→R∗f: \mathbf{N} \to \mathbf{R}_* defined by f(x)=1/xf(x) = 1/x, where N={1,2,3,… }\mathbf{N} = \{1, 2, 3, \dots\}.

Is it one-one?

Yes. The same reasoning applies: if 1/x1=1/x21/x_1 = 1/x_2, then x1=x2x_1 = x_2. Different natural numbers give different reciprocals.

Is it onto?

No. The co-domain is still R∗\mathbf{R}_*, which includes numbers like 1/21/2, 2/32/3, π\pi, −5-5, etc. But the outputs of ff are only reciprocals of natural numbers: {1,1/2,1/3,1/4,… }\{1, 1/2, 1/3, 1/4, \dots\}.

For example, y=2y = 2 is in R∗\mathbf{R}_*, but there is no natural number xx such that 1/x=21/x = 2 (that would require x=1/2x = 1/2, which is not a natural number). So the function is not onto.

Note

The function becomes one-one but not onto when the domain shrinks to N\mathbf{N}, because the range {1,1/2,1/3,… }\{1, 1/2, 1/3, \dots\} is a proper subset of R∗\mathbf{R}_*.


✓Final answer

The function f(x)=1/xf(x) = 1/x from R∗\mathbf{R}_* to R∗\mathbf{R}_* is both one-one and onto (a bijection), but if the domain is replaced by N\mathbf{N}, it remains one-one but is not onto.

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.