Una igualdad afirma que dos cantidades tienen el mismo valor. Por ejemplo,

x = 3

afirma que x tiene exactamente el valor 3.

Sin embargo, muchas veces no necesitamos conocer una cantidad exactamente. Puede bastarnos con saber que es mayor o menor que otra, o que se encuentra entre determinados valores.

Por ejemplo,

x < 3

afirma que x es menor que 3, mientras que

2 <= x <= 3

afirma que x se encuentra entre 2 y 3, incluidos ambos extremos.

Las expresiones de este tipo se llaman desigualdades.

Las desigualdades aparecen constantemente en matemáticas. Son especialmente importantes cuando queremos establecer cotas: aunque no podamos calcular exactamente una cantidad, podemos demostrar que no supera cierto valor o que no puede ser menor que otro.

Esta idea será fundamental posteriormente para estudiar límites, continuidad, series, aproximaciones y muchos otros conceptos.

Los números reales están ordenados. (De hecho, se dice que los números reales son el campo ordenado completo.)

Dados dos números reales a y b, podemos comparar sus valores.

Utilizamos las siguientes expresiones:

• a < b: a es menor que b.
• a > b: a es mayor que b.
• a <= b: a es menor o igual que b.
• a >= b: a es mayor o igual que b.

Por ejemplo,

2 < 5

5 > 2

2 <= 2

2 <= 5

5 >= 2

son todas afirmaciones verdaderas.

En cambio,

5 < 2

es falsa.

Dados dos números reales r1, r2, se dice que existe una tricotomía:

r1 < r2, o r1 > r2, o r1 = r2.

También es importante conocer la forma de negar una desigualdad (muy útil para negar un predicado lógico que la contenga).

no(a<b)=a>=b no(a<=b)=a>b no(a>b)=a<=b no(a>=b)=a<b

En algunos casos, la tricotomía se puede utilizar para forzar una igualdad. Si puedes probar que:

• a <= b
• a >= b

has probado que no(a>b) y no(a<b) , por tanto y por eliminación, a=b.

Si

a < b

y

b < c

entonces

a < c.

Por ejemplo, si

2 < 5

y

5 < 8

entonces

2 < 8.

La transitividad es una consecuencia de la propiedad de orden total de los reales.

Esta propiedad permite formar cadenas de desigualdades.

Por ejemplo,

2 < x < 5

significa simultáneamente

2 < x

y

x < 5.

Podemos sumar el mismo número a ambos lados de una desigualdad sin cambiar su sentido.

Si

a < b

entonces, para cualquier número real c,

a + c < b + c.

Por ejemplo,

3 < 7

y, sumando 5 a ambos lados,

3 + 5 < 7 + 5

por lo que

8 < 12.

Esto también permite restar la misma cantidad de ambos lados, ya que restar c equivale a sumar -c.

Por ejemplo,

x + 3 < 7

equivale a

x < 4.

Si multiplicamos ambos lados de una desigualdad por un número positivo, su sentido no cambia.

Si

a < b

y

c > 0

entonces

a*c < b*c.

Por ejemplo,

2 < 5

y, multiplicando ambos lados por 3,

6 < 15.

Si multiplicamos ambos lados por un número negativo, el sentido de la desigualdad se invierte.

Si

a < b

y

c < 0

entonces

a*c > b*c.

Por ejemplo,

2 < 5.

Multiplicando ambos lados por -1 obtenemos

-2 > -5.

Esta regla es una consecuencia del orden de los números reales, no una convención arbitraria.

Para verlo, partimos de

a < b.

Restamos b a ambos lados:

a - b < 0.

Multiplicamos por -1:

b - a > 0.

Sumamos a a ambos lados:

b > a.

Por tanto,

-a > -b

cuando partíamos de

a < b.

La misma idea permite demostrar el resultado para cualquier factor negativo.

Dividir ambos lados de una desigualdad por un número no nulo equivale a multiplicarlos por su inverso.

Por tanto:

• si dividimos por un número positivo, el sentido de la desigualdad no cambia;
• si dividimos por un número negativo, el sentido de la desigualdad se invierte.

Por ejemplo,

6*x < 18

implica

x < 3.

En cambio,

-6*x < 18

implica

x > -3.

No podemos dividir por 0, la operación está indefinida.

Si a < b:

• a + c < b + c, para cualquier c.
• a - c < b - c, para cualquier c.
• a*c < b*c, si c > 0.
• a*c > b*c, si c < 0.
• a/c < b/c, si c > 0.
• a/c > b/c, si c < 0.

Antes de multiplicar o dividir una desigualdad por una cantidad cuyo valor no conocemos, debemos determinar si esa cantidad es positiva, negativa o cero.

Resolver una desigualdad significa determinar qué valores de una variable hacen verdadera la desigualdad.

Por ejemplo, consideremos

2*x + 3 < 9.

Restamos 3 de ambos lados:

2*x < 6.

Dividimos ambos lados por 2. Como 2 es positivo, el sentido de la desigualdad no cambia:

x < 3.

Por tanto, cualquier número real menor que 3 satisface la desigualdad original.

Consideremos

-2*x + 3 < 9.

Restamos 3:

-2*x < 6.

Dividimos por -2.

Como -2 es negativo, debemos invertir el sentido de la desigualdad:

x > -3.

Podemos comprobar el resultado escogiendo algunos valores.

Si x = 0,

-2*0 + 3 = 3 < 9,

por lo que 0 satisface la desigualdad.

Como

0 > -3,

esto concuerda con nuestra solución.

Considera la siguiente desigualdad:

-2 < x < 4

Imagina que necesitamos conocer el rango de valores de x^2.

En este caso, no podemos simplemente multiplicar por x, porque x podría ser positivo o negativo.

Para ello tendremos que dividir el problema en tres (tricotomía), aunque uno de los casos es trivial, si x=0, x^2=0.

Tomamos por tanto la desigualdad y la dividimos en el punto 0:

-2 < x < 4 implica -2 < x < 0 o 0 < x < 4.

En el primer caso, x es una cantidad negativa:

-2 < x < 0

0x=0 < x*x=x^2 < -2x

Como teníamos:

-2 < x < 0

multiplicamos por -2.

0 < -2x < 4

Por transitividad,

0x=0 < x*x=x^2 < -2x 0 < x^2 < -2x < 4

Por tanto en la parte negativa, x^2 está entre 0 y 4.

La parte positiva la podemos resolver más fácilmente:

0 < x < 4

Multiplicamos por x, que es positivo:

0 < x^2 < 4x

Y para obtener 4x:

0 < x < 4 por 4:

0 < 4x < 16

Por tanto, por transitividad:

0 < x^2 < 4x < 16.

Ahora tenemos dos posibles intervalos para x^2, dependiendo del signo de x. También tenemos el valor de x^2 cuando x es 0. El resultado viene de unirlos todos.

x^2 = 0 o 0 < x^2 < 4 o 0 < x^2 < 16 implica 0 <= x^2 < 16

Fíjate que, como x^2 puede ser 0, la desigualdad entre x^2 y cero no es estricta (<). Es un error común no prestar atención a los extremos de una desigualdad.

Una cota es un valor que sabemos que una cantidad no puede sobrepasar en determinada dirección.

Si sabemos que

x <= 10,

decimos que 10 es una cota superior de x.

Si sabemos que

x >= -3,

decimos que -3 es una cota inferior de x.

Una cantidad puede tener muchas cotas.

Por ejemplo, si

x <= 5,

entonces 5 es una cota superior, pero también lo son 6, 10 y 100.

En análisis matemático es frecuente que no necesitemos conocer exactamente una cantidad. Basta con encontrar una cota que resulte suficientemente buena para nuestro propósito.

Una de las aplicaciones más importantes de las desigualdades consiste en sustituir cantidades difíciles de calcular por otras que podemos controlar.

Supongamos que sabemos

0 <= x <= 2

y queremos encontrar una cota para

x^2.

Como x es no negativo, podemos multiplicar

x <= 2

por x sin invertir la desigualdad:

x^2 <= 2x.

Además, como

x <= 2,

podemos multiplicar esta desigualdad por 2:

2x <= 4.

Por transitividad,

x^2 <= 4.

Por tanto,

0 <= x^2 <= 4.

No hemos calculado x. Sin embargo, hemos obtenido información útil sobre x^2.

Este procedimiento de buscar cantidades mayores o menores que una expresión aparece constantemente en análisis.

No podemos multiplicar o dividir una desigualdad por una expresión sin tener en cuenta su signo.

Supongamos que

a < b

y queremos multiplicar ambos lados por x.

Si x > 0, obtenemos

a*x < b*x.

Si x < 0, obtenemos

a*x > b*x.

Si x = 0, obtenemos

a*x = b*x = 0.

Por tanto, si no conocemos el signo de x, no podemos escoger simplemente uno de los dos sentidos de la desigualdad.

Este es un origen frecuente de errores.

El valor absoluto permite expresar desigualdades relacionadas con distancias.

Por ejemplo,

|x| < 3

significa que la distancia entre x y 0 es menor que 3.

Esto equivale a decir

-3 < x < 3.

Más generalmente, si eps > 0,

|x - a| < eps

equivale a

a - eps < x < a + eps.

Esta equivalencia es especialmente importante para estudiar límites.

Decimos que x se encuentra en un radio eps the a, es decir, eps denota la distancia máxima a la que x puede encontrarse de a, y viceversa.

Una cuestión curiosa de los valores absolutos es que la diferencia es conmutativa:

|a-b| = |b-a|

Esto resulta obvio si tenemos en cuenta el enfoque métrico.

Si a está a una distancia 2 de b, b está a una distancia 2 de a.

El valor absoluto y sus propiedades se estudian con más detalle en Valor absoluto.

De

-2x < 6

no se obtiene

x < -3.

Como hemos dividido por -2, debemos invertir la desigualdad:

x > -3.

De

a < b

no podemos concluir, sin conocer el signo de x, que

ax < bx.

El resultado depende del signo de x.

Las expresiones

x < 3

y

x <= 3

no significan lo mismo.

En la primera, x = 3 está excluido.

En la segunda, x = 3 está incluido.

Esta diferencia puede ser importante. Por ejemplo, en la definición habitual de límite exigimos

y no simplemente

Resuelve:

3x + 2 < 11.

Resuelve:

-4x + 1 <= 9.

Supón que

2 <= x <= 5.

Demuestra que

4 <= 2x <= 10.

Supón que

0 <= x <= 3.

Encuentra una cota superior para x^2.

Explica por qué de

a < b

no podemos deducir

ax < bx

si no conocemos el signo de x.

Partimos de

3x + 2 < 11.

Restamos 2:

3x < 9.

Dividimos por 3. Como 3 es positivo, mantenemos el sentido de la desigualdad:

x < 3.

Partimos de

-4x + 1 <= 9.

Restamos 1:

-4x <= 8.

Dividimos por -4. Como es negativo, invertimos el sentido de la desigualdad:

x >= -2.

Sabemos que

2 <= x <= 5.

Multiplicamos toda la cadena por 2.

Como 2 es positivo, mantenemos el sentido de las desigualdades:

4 <= 2x <= 10.

Sabemos

0 <= x <= 3.

Como x >= 0, podemos multiplicar

x <= 3

por x:

x^2 <= 3x.

También podemos multiplicar

x <= 3

por 3:

3x <= 9.

Por transitividad,

x^2 <= 9.

Por tanto, 9 es una cota superior para x^2.

El resultado depende del signo de x.

Si x es positivo, se conserva el sentido de la desigualdad.

Si x es negativo, se invierte.

Si x es cero, ambos productos son iguales a cero.

Por tanto, sin conocer el signo de x no podemos determinar qué relación existe entre ax y bx.

• a < b: a es estrictamente menor que b.
• a > b: a es estrictamente mayor que b.
• a <= b: a es menor o igual que b.
• a >= b: a es mayor o igual que b.
• |x|: valor absoluto de x. En DokuWiki puede ser necesario escapar esta expresión para evitar que se interprete como una tabla.