Desigualdad matemática

En matemáticas, una desigualdad es una relación de orden que se da entre

dos valores cuando estos son distintos (en caso de ser iguales, lo que se
tiene es una igualdad).1 ​

Si los valores en cuestión son elementos de un conjunto ordenado, como

los enteros o los reales, entonces pueden ser comparados.

La notación a < b significa a es menor que b;

La notación a > b significa a es mayor que b
Estas relaciones se conocen como desigualdades estrictas, puesto que a no puede ser igual a b; también
puede leerse como "estrictamente menor que" o "estrictamente mayor que"

La notación a ≤ b significa a es menor o igual que b;

La notación a ≥ b significa a es mayor o igual que b;
este tipo de desigualdades reciben el nombre de desigualdades amplias (o no estrictas).

En las ciencias de la ingeniería, el uso menos formal de la notación es afirmar que una cantidad es "mucho
mayor" que otra, normalmente en varios órdenes de magnitud.

La notación a ≪ b significa a es mucho menor que b;2 ​

La notación a ≫ b significa a es mucho mayor que b;3 ​; esta relación indica por lo general
una diferencia de varios órdenes de magnitud.4 ​
La notación a ≠ b significa que a no es igual a b. Tal expresión no indica si uno es mayor
que el otro, o siquiera si son comparables.5 ​
Generalmente se tienden a confundir los operadores según la posición de los elementos que se están
comparando; didácticamente se enseña que la abertura está del lado del elemento mayor. Otra forma de
recordar el significado, es recordando que el signo señala/apunta al elemento menor.

La relación a no mayor que b también puede representarse con a ≯ b, con el símbolo de «mayor que»
cortado con una barra, «no». Lo mismo ocurre con a no menor que b y la notación a ≮ b.

Propiedades
Las desigualdades están gobernadas por las siguientes propiedades. Notar que, para las propiedades de
transitividad, adición, sustracción, multiplicación y división, la propiedad también se mantiene si los
símbolos de desigualdad estricta (< y >) son reemplazados por sus correspondientes símbolos de
desigualdad no estricta (≤ y ≥).

Inversa
Las relaciones ≤ y ≥ son entre sí conversa, lo que significa que para cualquier número real a y b: a ≤ b y b
≥ a son equivalentes.

Transitividad
Para números reales arbitrarios a, b y c:

Si a > b y b > c entonces a > c.

Si a < b y b < c entonces a < c.
Si a > b y b = c entonces a > c.
Si a < b y b = c entonces a < c.6 ​

Adición y sustracción
Para números reales arbitrarios a,b y c:

Si a < b entonces a + c < b + c y a − c <

b − c. Si x < y, entonces x + a < y + a.
Si a > b entonces a + c > b + c y a − c >
b − c.

Multiplicación y división
Para números reales arbitrarios a y b, y c diferente de
cero:

Si c es positivo y a < b entonces ac < bc y a/c < b/c.

Si c es negativo y a < b entonces ac > bc y a/c >
b/c.

Opuesto
Si x < y y a > 0, entonces ax < ay.
Para números reales arbitrarios a y b:

Si a < b entonces −a > −b.

Si a > b entonces −a < −b.

Recíproco
Si x < y y a < 0, entonces ax > ay.
Para números reales a y b distintos de cero, ambos
positivos o negativos a la vez:

Si a < b entonces 1/a > 1/b.

Si a > b entonces 1/a < 1/b.

Si a y b son de distinto signo:

Si a < b entonces 1/a < 1/b.

 Si a > b entonces 1/a > 1/b.

Función monótona
Al aplicar una función monótona creciente, a ambos lados, la desigualdad se mantiene. Si se aplica una
función monótona decreciente, la desigualdad se invierte.

Ejemplo

al aplicar la función exponencial a ambos miembros de la desigualdad, esta se mantiene.

Valor absoluto
Se puede definir el valor absoluto por medio de desigualdades:

Aplicar una función a ambos lados

Cualquier función creciente monotónica, por su definición,7 ​ puede
aplicarse a ambos lados de una desigualdad sin romper la relación
de desigualdad (siempre que ambas expresiones estén en el dominio
de esa función). Sin embargo, aplicar una función
monotónicamente decreciente a ambos lados de una desigualdad
significa que la relación de desigualdad se invertiría. Las reglas de
la inversa aditiva y la inversa multiplicativa para números positivos
son ejemplos de aplicación de una función monótonamente
decreciente.

Si la desigualdad es estricta (a < b, a > b) y la función es

estrictamente monótona, entonces la desigualdad sigue siendo Grafo de y = ln x
estricta. Si sólo una de estas condiciones es estricta, la desigualdad
resultante no lo es. De hecho, las reglas de inversión aditiva y
multiplicativa son ejemplos de aplicación de una función estrictamente monótona decreciente.

Algunos ejemplos de esta regla son:

Elevar ambos lados de una desigualdad a una potencia n > 0 (equiv., -n < 0), cuando a y b
son números reales positivos:
0 ≤ a ≤ b ⇔ 0 ≤ an ≤ bn.
0 ≤ a ≤ b ⇔ a−n ≥ b−n ≥ 0.
Tomando el logaritmo natural en ambos lados de una desigualdad, cuando a y b son
números reales positivos:
0 < a ≤ b ⇔ ln(a) ≤ ln(b).
0 < a < b ⇔ ln(a) < ln(b).
(esto es cierto porque el logaritmo natural es una función estrictamente creciente).

Definiciones formales y generalizaciones

Un orden parcial (no estricto) es una relación binaria ≤ sobre un conjunto P que es reflexiva, antisimétrica,
y transitiva.8 ​Es decir, para todo a, b, y c en P, debe satisfacer las tres cláusulas siguientes:

1. a ≤ a (reflexividad)
2. si a ≤ b y b ≤ a, entonces a = b (antisimetría)
3. si a ≤ b y b ≤ c, entonces a ≤ c (transitividad)
Un conjunto con un orden parcial se denomina conjunto parcialmente ordenado.9 ​Esos son los axiomas
muy básicos que todo tipo de orden tiene que satisfacer. Otros axiomas que existen para otras definiciones
de órdenes sobre un conjunto P incluyen:

1. Para todo a y b en P, a ≤ b o b ≤ a (orden total).

2. Para todo a y b en P para el cual a < b, hay un c en P tal que a < c < b (orden denso).
3. Todo subconjunto no vacío de P con un límite superior tiene un límite superior mínimo
(supremum) en P (propiedad del límite superior mínimo).

Cuerpo ordenado
Si (F, +, ×) es un cuerpo y ≤ es un orden total sobre F, entonces (F, +, ×, ≤) es un cuerpo ordenado si y
solo si:

a ≤ b implica a + c ≤ b + c;
0 ≤ a y 0 ≤ b implica 0 ≤ a × b.
Los cuerpos (Q, +, ×, ≤) y (R, +, ×, ≤) son ejemplos comunes de cuerpo ordenado, pero ≤ no puede
definirse en los complejos para hacer de (C, +, ×, ≤) un cuerpo ordenado.

Las desigualdades en sentido amplio ≤ y ≥ sobre los números reales son relaciones de orden total, mientras
que las desigualdades estrictas < y > sobre los números reales son relaciones de orden estricto.

Notación encadenada
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 real 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. 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 transitiva, esta condición es equivalente a ai ≤ aj
para cualesquiera 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 (y por transitividad: a < d). Esta notación es utilizada en algunos lenguajes
de programación tales como Python..10 ​

Desigualdades agudas
Se dice que una desigualdad es aguda si no puede ser relajada y seguir siendo válida en general.
Formalmente, una desigualdad universalmente cuantificada φ se llama aguda si, para cada desigualdad
válida universalmente cuantificada ψ, si ψ ⇒ φ tiene, entonces ψ ⇔ φ también se cumple. Por ejemplo, la
desigualdad ∀a ∈ 'R. a2 ≥ 0 es aguda, mientras que la desigualdad ∀a ∈ R'. a2 ≥ -1 no es aguda.

Desigualdades entre medias

Véase también: Desigualdad de las medias aritmética y geométrica
Las distintas medias pueden relacionarse utilizando desigualdades. Por ejemplo, para números positivos a1,
a2, …, an, si

(Media armónica),

(Media geométrica),

(Media aritmética),

(Media cuadrática),

entonces: .

Desigualdad de Cauchy-Schwarz
Véase también: Desigualdad de Cauchy-Schwarz
La desigualdad de Cauchy-Schwarz establece que para todos los vectores u y v de un espacio de producto
interior se cumple que:

donde es el producto interior. Ejemplos de productos internos incluyen el producto punto real y el
producto punto complejo; En el espacio euclídeo Rn con el producto interno estándar, la desigualdad de
Cauchy-Schwarz es

Desigualdades de poder
Una desigualdad de potencia es una desigualdad que contiene términos de la forma ab, donde a y b son
números reales positivos o expresiones variables. Suelen aparecer en ejercicios de olimpiadas matemáticas.

Ejemplos
Para cualquier real x,

Si x > 0 y p > 0, entonces

En el límite de p → 0, los límites superior e inferior convergen a ln(x).

Si x > 0, entonces

Si x > 0, entonces

Si x, y, z > 0, entonces

Para cualesquiera números reales distintos a y b,

Si x, y > 0 y 0 < p < 1, entonces

Si x, y, z > 0, entonces

Si a, b > 0, entonces

11 ​

Si a, b > 0, entonces

12 ​

Si a, b, c > 0, entonces

Si a, b > 0, entonces

Véase también
Desigualdad lineal
Inecuación
Programación lineal
Teoría del orden
 Categoría:Desigualdades (para una lista de desigualdades conocidas)

Referencias
1. «Inequality Definition (Illustrated Mathematics Dictionary)» ([Link]
nitions/[Link]). [Link]. Consultado el 3 de diciembre de 2019.
2. Weisstein, Eric W. «Much Less» ([Link]
[Link] (en inglés). Consultado el 3 de diciembre de 2019.
3. Weisstein, Eric W. «Much Greater» ([Link]
[Link] (en inglés). Consultado el 3 de diciembre de 2019.
4. Polyanin, A.D.; Manzhirov, A.V. (2006). Handbook of Mathematics for Engineers and
Scientists ([Link] CRC Press.
p. 29. ISBN 978-1-4200-1051-0. Consultado el 19 de noviembre de 2021.
5. «Inequality» ([Link]
[Link]. Consultado el 3 de diciembre de 2019.
6. Drachman, Bryon C.; Cloud, Michael J. (2006). Inequalities: With Applications to Engineering
([Link] Springer Science & Business Media.
pp. 2-3. ISBN 0-3872-2626-5.
7. «ProvingInequalities» ([Link]
ml). [Link]. Consultado el 3 de diciembre de 2019.
8. Simovici, Dan A.; Djeraba, Chabane (2008). [Link]/books?id=6i-
F3ZNcub4C&pg=PA127 «Conjuntos parcialmente ordenados» ([Link]
Herramientas matemáticas para la minería de datos: Set Theory, Partial Orders,
Combinatorics. Springer. ISBN 9781848002012.
9. Weisstein, Eric W. «Conjunto Parcialmente Ordenado» ([Link]
[Link]). [Link] (en inglés). Consultado el 3 de diciembre de
2019.
10. Brian W. Kernighan and Dennis M. Ritchie (Apr 1988). The C Programming Language.
Prentice Hall Software Series (2nd edición). Englewood Cliffs/NJ: Prentice Hall.
ISBN 0131103628. Here: Sect.A.7.9 Relational Operators, p.167: Quote: "a<b<c is parsed as
(a<b)<c"
11. Laub, M.; Ilani, Ishai (1990). «E3116». The American Mathematical Monthly 97 (1): 65-67.
JSTOR 2324012 ([Link] doi:10.2307/2324012 ([Link]
4012).
12. Manyama, S. (2010). «Solution of One Conjecture on Inequalities with Power-Exponential
Functions» ([Link]
7n2/[Link]). Australian Journal of Mathematical Analysis and Applications 7 (2): 1.
Archivado desde el original ([Link] el 9 de
octubre de 2022.

Bibliografía
Hardy, G., Littlewood J.E., Polya, G. (1999). Inequalities, Cambridge Mathematical Library,
Cambridge University Press. ISBN 0-521-05206-8.
Beckenbach, E.F., Bellman, R. (1975). Introduction to Inequalities, Random House Inc. ISBN
0-394-01559-2.
Drachman, Byron C., Cloud, Michael J. (1998). Inequalities: With Applications to
Engineering, Springer-Verlag. ISBN 0-387-98404-6.
Aurelio Baldor, (1975) Álgebra de Baldor, Edime organización gráfica S.S. Madrid. ISBN 84-
399-0259-X
 Grinshpan, A. Z. (2005), «General inequalities, consequences, and applications», Advances
in Applied Mathematics 34 (1): 71-100, doi:10.1016/[Link].2004.05.001 ([Link]
am.2004.05.001).
Murray S. Klamkin. « 'Quickie' inequalities» ([Link]
s://[Link]/pi/issue7/[Link]). Math Strategies. Archivado desde el
original ([Link] el 9 de octubre de 2022.
Arthur Lohwater (1982). «Introduction to Inequalities» ([Link]
gozzu). Online e-book in PDF format.
Harold Shapiro (2005). «Mathematical Problem Solving» ([Link]
S/[Link]). The Old Problem Seminar. Kungliga Tekniska högskolan.
«3rd USAMO» ([Link]
k/usa/[Link]). Archivado desde el original ([Link]
l) el 3 de febrero de 2008.
Pachpatte, B. G. (2005). Mathematical Inequalities. North-Holland Mathematical Library 67
(first edición). Amsterdam, The Netherlands: Elsevier. ISBN 0-444-51795-2. ISSN 0924-6509 (https://
[Link]/resource/issn/0924-6509). MR 2147066 ([Link]
Zbl 1091.26008 ([Link]
Ehrgott, Matthias (2005). Multicriteria Optimization. Springer-Berlin. ISBN 3-540-21398-8.
Steele, J. Michael (2004). The Cauchy-Schwarz Master Class: An Introduction to the Art of
Mathematical Inequalities ([Link]
SMC/CSMC_index.html). Cambridge University Press. ISBN 978-0-521-54677-5.

Enlaces externos
Esta obra contiene una traducción parcial derivada de «Inequality (mathematics)» de
Wikipedia en inglés, publicada por sus editores ([Link]
hematics)?action=history) bajo la Licencia de documentación libre de GNU y la Licencia
Creative Commons Atribución-CompartirIgual 4.0 Internacional ([Link]
g/licenses/by-sa/4.0/[Link]).

Obtenido de «[Link]