Question Statement
If f:A→B is defined by f(x)=x−3x−2 for all x∈A where A=R−{3} and B=R−{1}, show that the function f is bijective.
Background and Explanation
A function is bijective if it is both one-one (injective) and onto (surjective). To prove this, we must show that every unique input has a unique output, and every element in the codomain is mapped to by at least one element in the domain.
Solution
Given the function:
f(x)=x−3x−2
With Domain A=R−{3} and Codomain B=R−{1}.
To show the function is one-one, we assume f(x1)=f(x2) and must prove that x1=x2.
Let f(x1)=f(x2):
x1−3x1−2=x2−3x2−2
By cross-multiplying the denominators:
(x1−2)(x2−3)=(x1−3)(x2−2)
Expanding both sides:
x1x2−3x1−2x2+6=x1x2−2x1−3x2+6
Subtracting x1x2 and 6 from both sides:
−3x1−2x2=−2x1−3x2
Rearranging the terms to group x1 and x2:
−3x1+2x1=−3x2+2x2
−x1=−x2
x1=x2
Since f(x1)=f(x2) implies x1=x2, the function f is one-one.
To show the function is onto, we must show that for every y in the codomain B, there exists an x in the domain A such that f(x)=y.
Let f(x)=y:
y=x−3x−2
Now, we solve for x in terms of y:
y(x−3)=x−2
xy−3y=x−2
xy−x=3y−2
x(y−1)=3y−2
x=y−13y−2
For x to be a real number, the denominator y−1 cannot be zero:
y−1=0⇒y=1
This matches our codomain B=R−{1}. Since for every y∈B, there exists a corresponding x=y−13y−2, and we can verify that x=3 for any y∈B:
If y−13y−2=3, then 3y−2=3y−3, which leads to −2=−3 (impossible).
Thus, Range f=B=R−{1}. Since the range equals the codomain, the function f is onto.
Because the function f is both one-one and onto, it is a bijective function.
- One-one (Injective) Definition: f(x1)=f(x2)⇒x1=x2
- Onto (Surjective) Definition: Range of f = Codomain of f
- Bijective Definition: A function that is both injective and surjective.
Summary of Steps
- Test for Injective property: Set f(x1)=f(x2), cross-multiply, and simplify to see if x1=x2.
- Test for Surjective property: Set y=f(x) and rearrange the equation to express x in terms of y.
- Identify Restrictions: Determine the values of y for which x is defined to find the range.
- Compare: Verify that the calculated range matches the given codomain B.
- Conclude: If both conditions are met, the function is bijective.