Una inecuación es una expresión matemática la cual se caracteriza por tener los signos de desigualdad; Siendo una expresión algebraica nos da como resultado un conjunto en el cual la variable independiente puede tomar el valor cualesquiera de ese conjunto cumpliendo esta desigualdad; a este conjunto se le conoce como Intervalo.

En matemáticas, una inecuación es una expresión referida al tamaño u orden relativo de dos objetos (ver también ecuación). La notación a < b significa que a es menor que b y la notación a > b quiere decir que a es mayor que b. Estas relaciones son conocidas con el nombre de inecuaciones estrictas, contrastando con a ≤ b (a es menor o igual a b) y a ≥ b (a es mayor o igual que b).

Si el signo comparativo de la inecuación es el mismo para cualquier valor que tomen las variables por las que está definida, entonces se hablará de una inecuación "absoluta" o "incondicional" (véase entidad). Si por el contrario, es el mismo sólo para ciertos valores de las variables, pero se invierte o destruye en caso de que éstos se cambien, será una inecuación "condicional". El signo comparativo de una inecuación no se cambia si a ambos miembros se les suma o resta el mismo número, o si se les multiplica o divide por un número positivo; en cambio, se invierte si ambos miembros se multiplican o dividen por un número negativo.

La notación a >> b quiere decir que a "es mucho mayor que" b. El significado de esto puede variar, refiriéndose a una diferencia entre ambos indefinida. Se usa en ecuaciones en las cuales un valor mucho mayor causará que la resolución de la ecuación arroje a luz un cierto resultado.

Las inecuaciones se rigen por las siguientes propiedades:


Tricotomía [editar]La propiedad de la tricotomía dicta que:

Para dos números reales cualquiera, a y b, sólo se cumplirá una de las siguientes afirmaciones:
a < b
a = b
c > d

Transitividad [editar]El principio de transitividad de las inecuaciones dicta que:

Para tres números reales cualesquiera, a, b, y c:
Si a > b y b > c; entonces a > c
Si a < b y b < c; entonces a < c

Simetría [editar]Las relaciones en inecuaciones pueden ser invertidas, queriendo decir esto que:

Para dos números reales, a y b:
Si a > b entonces b < a
Si a < b entonces b > a
>(mayor que)
<(menor que)

Adición y sustración [editar]Las propiedades relacionadas con la adición y la sustración:

Para tres números reales, a, b, y c:
Si a > b; entonces a + c > b + c y a − c > b − c
Si a < b; entonces a + c < b + c y a − c < b − c

Multiplicación y división [editar]Las propiedades relativas a la multiplicación y la división:

Para tres números reales, a, b, y c:
Si c es positivo y a > b; entonces a × c > b × c y a / c > b / c
Si c es positivo y a < b; entonces a × c < b × c y a / c < b / c
Si c es negativo y a > b; entonces a × c < b × c y a / c < b / c
Si c es negativo y a < b; entonces a × c > b × c y a / c > b / c
Nota:

Si ambos términos de una inecuación se multiplican o dividen por la misma expresión negativa, el símbolo de la desigualdad se invierte.


Aplicando una función a ambos miembros [editar]Puede aplicarse cualquier función monótona creciente a ambos lados de una inecuación manteniendo el mismo signo de desigualdad.


Notación encadenada [editar]La notación a < b < c establece que a < b (a menor que b) y que b < c (b menor que c) y aplicando la propiedad transitiva anteriormente citada, puede deducirse que a < c (a menor que c). Obviamente, aplicando las leyes anteriores, puede sumarse o restarse el mismo número a los tres términos, así como multiplicarlos o dividirlos todos por el mismo número (distinto de cero) invirtiendo las inecuaciones según su signo. Debe tenerse cuidado de utilizar en todos los casos el mismo número. Así, a < b + e < c es equivalente a a - e < b < c - e.

Esta notación se puede extender a cualquier número de términos: por ejemplo, a1 ≤ a2 ≤ ... ≤ an establece que ai ≤ ai+1 para i = 1, 2, ..., n−1. Según la propiedad de la transitividad, esta condición es equivalente a ai ≤ aj para cualquier 1 ≤ i ≤ j ≤ n.

Ocasionalmente, la notación encadenada se usa con inecuaciones en diferentes direcciones. En ese caso el significado es la conjunción lógica de las desigualdades entre los términos adyacentes. Por ejemplo, a < b > c ≤ d significa que a < b, b > c, y c ≤ d. Aparte del uso poco frecuente en matemáticas, esta notación existe en unos pocos lenguajes de programación tales como Python.