Ejercicio · ZW-FUNCION-SUPRAYECTIVA-003 · ★☆☆ Básico

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

Elige una opción.

Ver respuesta
  • C. \(\forall b\in B\,\exists a\in A\,(f(a)=b)\)

Explicación

Cada \(b\) del codominio necesita algún \(a\) del dominio que lo alcance; el orden de los cuantificadores importa. La negación de la suprayectividad es la opción que afirma que existe un \(b\) que ningún \(a\) alcanza, y la que compara imágenes describe la inyectividad. La opción con un único \(a\) para todos los \(b\) invierte los cuantificadores.

Estudiar Teoría de conjuntos en ZWMath →

Repasa el concepto: Función suprayectiva

Función \(f\colon A\to B\) cuya imagen es todo el codominio \(B\).

\[\forall b\in B\,\exists a\in A\,(f(a)=b)\]

Más ejercicios de función suprayectiva

← ZW-FUNCION-SUPRAYECTIVA-002 ZW-FUNCION-SUPRAYECTIVA-004 →