Función inyectiva

Una función es inyectiva, o uno a uno, cuando entradas distintas nunca producen la misma salida. Esa propiedad es exactamente lo que captura el test de la recta horizontal en un gráfico: si cada recta horizontal corta la curva en a lo sumo un punto, la función es inyectiva y, por tanto, invertible sobre su recorrido. Los estudiantes lo encuentran al preparar funciones inversas, al restringir dominios cuadráticos o al decidir si una exponencial o un logaritmo ya admite inversa sin más recortes. Docentes y autores de LMS necesitan un oráculo determinista que declare aprobado o fallido con un motivo breve, no un dibujo vago. Este comprobador de funciones uno a uno acepta una familia algebraica habitual—lineal, cuadrática, valor absoluto, cúbica, exponencial, logarítmica, recíproca, potencia o raíz cuadrada—, coeficientes opcionales y una restricción de dominio opcional; devuelve si el criterio de la recta horizontal se cumple, si la aplicación es invertible, una expresión para mostrar y una razón en lenguaje claro.

Qué decide el test de la recta horizontal

El criterio de la recta horizontal es el gemelo gráfico de la definición algebraica de inyectividad. En álgebra, f es inyectiva en un dominio D cuando f(x1) igual a f(x2) obliga a x1 igual a x2 para todo par en D. En el gráfico, ninguna recta horizontal y igual a k puede cortar la gráfica más de una vez dentro de D.

Si la prueba se aprueba, cada valor de salida en el recorrido proviene de exactamente una entrada, de modo que puede invertir las flechas y obtener una inversa bien definida del recorrido hacia D. Si falla, al menos una salida la comparten dos entradas, y cualquier intento de inversa tendría que devolver dos valores a la vez. Fracasos clásicos: potencias pares como x al cuadrado en todos los reales, formas en V del valor absoluto en la recta completa y parábolas abiertas a ambos lados del vértice.

Aprobados clásicos: mapas lineales no constantes, crecimiento y decaimiento exponencial con base válida, logaritmos en su semirrecta nativa, potencias de grado impar y ramas de raíz cuadrada para x mayor o igual que el desplazamiento. Las cúbicas son más sutiles: algunas son estrictamente monótonas en toda la recta (por ejemplo x al cubo), mientras otras oscilan con un máximo y un mínimo local y fallan hasta que se recorta el dominio.

Este comprobador codifica esas reglas por familia con opciones de dominio explícitas—todos los reales, rayos unilaterales y semirrectas del vértice para parábolas y valor absoluto—para que usted obtenga la misma conclusión que un manual tras esbozar la gráfica, sin depender de píxeles ni de un núcleo de álgebra computacional.

Dónde un comprobador uno a uno aporta valor

Los cursos de álgebra usan un comprobador de funciones inyectivas para que el alumnado confirme que y igual a dos x más uno es invertible mientras y igual a x al cuadrado en todos los reales no lo es, y luego vuelva a probar x al cuadrado con x mayor o igual que cero y vea cambiar el veredicto: una forma interactiva de interiorizar la restricción de dominio antes de formalizar la inversa.

Los generadores de exámenes y los plugins LMS necesitan un oráculo determinista que nunca invente un aprobado para una cúbica con dos puntos de inflexión de giro ni un fallo para una exponencial pura. Los sitios de contenidos que compiten por frases como comprobador de función uno a uno o calculadora del test de la recta horizontal se benefician de una herramienta en vivo cuyo nivel gratuito coincide byte a byte con el contrato de automatización.

Mantenga las peticiones pequeñas, fije los indicadores booleanos y las palabras clave de la razón en las pruebas, y obtendrá decisiones reproducibles del criterio horizontal para deberes, sitios curriculares y edge workers sin montar infraestructura gráfica propia.