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).​

En el cálculo

Una línea horizontal es una línea recta y sin pendiente que discurre de izquierda a derecha. Dada una función $f\colon \mathbb {R} \to \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 $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 $y=c$) pero diferentes valores de $x$, lo que por definición significa que la función no puede ser inyectiva.​

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

• La función f es sobreyectiva (es decir, se aplica en) bicondicionalmente si su gráfico interseca cualquier línea horizontal al menos una vez.
• La función f es biyectiva si y solo si cualquier línea horizontal se cruza con el gráfico exactamente una vez.

En la teoría de conjuntos

Considérese una función $f\colon X\to Y$ con su gráfica correspondiente como un subconjunto del producto cartesiano $X\times Y$. Sean las líneas horizontales en $X\times Y$: $\{(x,y_{0})\in X\times Y:y_{0}{\text{ es constante}}\}=X\times \{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.​

Véase también

• Prueba de la línea vertical
• Función recíproca
• Función monótona

Referencias

• Datos: Q985704