Tipos de Funciones: Inyectiva, Sobreyectiva y Biyectiva
Imagínate que estás organizando una fiesta y necesitas asignar sillas a tus invitados. Las funciones inyectivas funcionan como una regla súper estricta: cada invitado (elemento del dominio) debe tener su propia silla única (elemento del codominio). Si dos invitados comparten silla, ya no es inyectiva.
Una función inyectiva también se conoce como "uno a uno". Esto significa que cada elemento del dominio se conecta con un elemento diferente del codominio. Si notas que en el codominio "sobran" elementos sin usar, eso está bien para una función inyectiva.
Las funciones sobreyectivas tienen otra regla: todos los elementos del codominio deben ser "imagen" de al menos un elemento del dominio. Es como si todas las sillas de tu fiesta deben estar ocupadas, sin excepción.
💡 Tip clave: Si en el codominio queda algún elemento "solo" (sin conexión), entonces la función NO es sobreyectiva. Todos los elementos del conjunto de llegada deben participar.
Finalmente, una función biyectiva es la perfecta: combina las dos propiedades anteriores. Es inyectiva Y sobreyectiva al mismo tiempo, creando una correspondencia perfecta entre dominio y codominio.