Ejercicio · ZW-FUNCION-INYECTIVA-CONJUNTOS-003 · ★☆☆ Básico

¿Cuál es la forma lógica de la definición de función inyectiva?

Elige una opción.

Ver respuesta
  • B. \(\forall a_1,a_2\in A\,(f(a_1)=f(a_2)\Rightarrow a_1=a_2)\)

Explicación

El primer cuantificador recorre todo el dominio y la implicación dice que una igualdad de imágenes fuerza una igualdad de puntos. La opción con \(\forall b\in B\) es la suprayectividad, no la inyectividad.

Estudiar Teoría de conjuntos en ZWMath →

Repasa el concepto: Función inyectiva

Función \(f\colon A\to B\) en la que elementos distintos de \(A\) tienen imágenes distintas en \(B\).

\[\forall a_1,a_2\in A\,\bigl(f(a_1)=f(a_2)\Rightarrow a_1=a_2\bigr)\]

Más ejercicios de función inyectiva

← ZW-FUNCION-INYECTIVA-CONJUNTOS-002 ZW-FUNCION-INYECTIVA-CONJUNTOS-004 →