Let $f: X \rightarrow Y$ be an invertible function. Show that $f$ has a unique inverse.
(Hint: Suppose $g_{1}$ and $g_{2}$ are two inverses of $f$. Then for all $y \in Y$,$f \circ g_{1}(y) = I_{Y}(y) = f \circ g_{2}(y)$. Use the one-one property of $f$.)

Vedclass pdf generator app on play store
Vedclass iOS app on app store
Let $f: X \rightarrow Y$ be an invertible function.
Suppose $f$ has two inverses,$g_{1}$ and $g_{2}$,where $g_{1}: Y \rightarrow X$ and $g_{2}: Y \rightarrow X$.
By the definition of an inverse function,for any $y \in Y$,we have:
$f \circ g_{1}(y) = I_{Y}(y) = y$
$f \circ g_{2}(y) = I_{Y}(y) = y$
Therefore,$f(g_{1}(y)) = f(g_{2}(y))$ for all $y \in Y$.
Since $f$ is an invertible function,it must be a bijection (both one-one and onto).
Because $f$ is one-one,$f(x_{1}) = f(x_{2}) \Rightarrow x_{1} = x_{2}$.
Applying this to $f(g_{1}(y)) = f(g_{2}(y))$,we get $g_{1}(y) = g_{2}(y)$ for all $y \in Y$.
Thus,$g_{1} = g_{2}$.
Hence,the inverse of an invertible function $f$ is unique.

Explore More

Similar Questions

Let $f: [4, \infty) \to [1, \infty)$ be a function defined by $f(x) = 5^{x(x - 4)}$. Then $f^{-1}(x)$ is:

Let $f : A \to B$ be a function defined as $f(x) = \frac{x - 1}{x - 2}$,where $A = R - \{2\}$ and $B = R - \{1\}$. Then $f$ is

State with reason whether the following function has an inverse: $g : \{5, 6, 7, 8\} \rightarrow \{1, 2, 3, 4\}$ with $g = \{(5, 4), (6, 3), (7, 4), (8, 2)\}$.

Let $f(x) = (x + 2)^2 - 2, x \geq - 2$. Then $f^{-1}(x) =$

State with reason whether the following function has an inverse: $f: \{1,2,3,4\} \rightarrow \{10\}$ with $f = \{(1,10), (2,10), (3,10), (4,10)\}$.

Vedclass Products

For Students

Vedclass Test Series

Mock tests in real JEE/NEET style with performance analysis. 5-day free trial.

Start Free Trial
For Teachers

Exam Paper Generator

Generate Set A/B/C/D exam papers from 7.5L+ questions in 2 minutes. 3 chapters free.

Try Free
For Institutes

Online Exam Module

Live online exams with unlimited students, 360° analytics & white-label branding.

See Demo