Si una función $f:A\longrightarrow B\times C, f(x)=(g(x),h(x))$ es inyectiva, ¿implica que $h(x)$ y $g(x)$ ¿son también inyectivas? Creo que esto es sencillo, pero sólo quiero confirmarlo.
Supongamos que $g,h$ no son inyectivas. Esto significa que para algunos $x,y,x\neq y\in A$ tenemos $g(x)=g(y)$ y $h(x)=h(y)$ es decir $(g(x),h(x))=(g(y),h(y))\Longrightarrow f(x)=f(y)$ una contradicción, ya que $f$ es inyectiva.
¿Es correcto?