Prueba de la línea horizontal

Pasa la prueba (inyectiva)

Falla la prueba (no inyectiva)

En matemáticas, la prueba de la línea horizontal es una comprobación utilizada para determinar si una función es inyectiva (es decir, si presenta una correspondencia uno a uno entre los valores de su dominio y de su imagen).^[1]​

Una línea horizontal es una línea recta y sin pendiente que discurre de izquierda a derecha. Dada una función ${displaystyle fcolon mathbb {R} o mathbb {R} }$ (es decir, una aplicación de los números reales en los números reales), se puede determinar si es una función inyectiva observando las líneas horizontales que se cruzan con la gráfica de la función. Si alguna línea horizontal ${displaystyle y=c}$ corta el gráfico en más de un punto, la función no es inyectiva. Para ver esto, basta tener en cuenta que los puntos de intersección tienen el mismo valor (porque se encuentran en la línea ${displaystyle y=c}$) pero diferentes valores de ${displaystyle x}$, lo que por definición significa que la función no puede ser inyectiva.^[1]​

Se pueden usar variantes de la prueba de la línea horizontal para determinar si una función es sobreyectiva o biyectiva:

Considérese una función ${displaystyle fcolon X o Y}$ con su gráfica correspondiente como un subconjunto del producto cartesiano ${displaystyle X imes Y}$. Sean las líneas horizontales en ${displaystyle X imes Y}$: ${displaystyle {(x,y_{0})in X imes Y:y_{0}{ ext{ es constante}}}=X imes {y_{0}}}$. La función f es inyectiva bicondicionalmente, si cada línea horizontal interseca el gráfico como máximo una vez. En este caso, se dice que el gráfico pasa la prueba de la línea horizontal. Si alguna línea horizontal interseca el gráfico más de una vez, la función falla la prueba de la línea horizontal y no es inyectiva.^[2]​

---