Injective and Surjective in composite functions

1.2k Views Asked by At

Consider the function

$f:X\rightarrow Y$ and $g:Y\rightarrow Z$

then which of the following is incorrect ?

(A) If $f$ and $g$ both are injective then $gof :X\rightarrow Z$ is injective .

(B) If $f$ and $g$ both are surjective then $gof :X\rightarrow Z$ is surjective.

(C) If $gof: X\rightarrow Z$ is bijective then f is injective and g is surjective .

(D) None

My Approach : For the (A) part since both f and g are one - one then I thought of some functions and hence came to the conclusion that $gof$ will be one - one . But I want to know some good and convincing approach for this question ...

Please help

2

There are 2 best solutions below

6
On BEST ANSWER

(A) $x\neq y$ implies $f(x)\neq f(y)$ implies $g(f(x)) \neq f(g(y))$

(B) For $z\in Z$ there is $y\in Y$ with $g(y)=z$ and then $x\in X$ with $f(x)=y$

(C) If $g\circ f$ is bijective and $V=f(X)$ (need not be all of $Y$) then $g:V\rightarrow Z$ is injective (but need not be injective on all of $Y$). But clearly $g$ must be surjective (or else you can't reach all of $Z$) and $f$ injective (or else some $x_1\neq x_2$ would map to the same point).

0
On

THE ANSWER IS PART (C) .BECAUSE g$o$f is bijective does implies f is injective. But g must be bijective to satisfy the condition that g $o $f is bijective.if g is not injective then $x_1$ and $x_2$ can have same image in g .I.e Although $y_1=f(x_1)$ not equal to$ y_2=f(x_2)$,there may possibility that $g(y_1)=g(y_2)$ which disproves the statement that g $o$f is bijective.