Supongamos que$A,B$ no están vacíos y considera la proyección$P: A \times B \to A $ dada por$P( (a,b) ) = a $. Mostrar$P$ es de alto rendimiento.
Intento:
Deje que$y \in A $ sea arbitrario. Sabemos que por cada$x \in B $, se sigue que$P ( ( y,x) ) = y $. Por lo tanto, para cada$y \in A $, siempre podemos encontrar un elemento$(a,b) \in A \times B $, es decir,$(a,b) = (y,x) $ para que$P(y,x) = y $. De hecho,$P$ es sobreyectivo.
¿Es esto correcto?