Inecuacin

"Menor que" y "Mayor que" redirigen aqu. Para el uso de "<" y ">" como signos de puntuacin vase Parntesis.

La regin de viabilidad en un problema de programacin lineal est definida por un juego de inecuaciones. Una inecuacin es una expresin matemtica la cual se caracteriza por tener los signos de desigualdad. Siendo una expresin 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 matemticas, una inecuacin es una expresin referida al tamao u orden relativo de dos objetos (ver tambin ecuacin). La notacin a < b significa que a es menor que b y la notacin 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), llamadas inecuaciones no estrictas. Si el signo comparativo de la inecuacin es el mismo para cualquier valor que tomen las variables por las que est definida, entonces se hablar de una inecuacin "absoluta" o "incondicional" (vase identidad). Si por el contrario, el signo comparativo es el mismo slo para ciertos valores de las variables, pero se invierte o cambia para otros valores, ser una inecuacin "condicional". El signo comparativo de una inecuacin no se cambia si a ambos miembros se les suma o resta el mismo nmero real, o si se les multiplica o divide por un nmero positivo; en cambio, se invierte si a ambos miembros se les multiplica o divide por un nmero negativo. La notacin a >> b quiere decir que a "es mucho mayor que" b. El significado de esto puede variar, refirindose a una diferencia entre ambos indefinida. Se usa en ecuaciones en

las cuales un valor mucho mayor causar que la resolucin de la ecuacin arroje a luz un cierto resultado.

Propiedades
Las inecuaciones se rigen por las siguientes propiedades:

Tricotoma
La propiedad de la tricotoma dicta que, para dos nmeros reales cualesquiera a y b, slo se cumplir una de las siguientes propiedades:
y y y

Simetra
Las relaciones en inecuaciones pueden ser invertidas, queriendo decir esto que:
y

Para dos nmeros reales, a y b: o Si entonces o Si entonces

Transitiva
y

Para tres nmeros reales, a, b, y c: o Si y entonces o Si y entonces o Si y entonces o Si y entonces

Adicin y sustraccin
Si a los dos miembros de una desigualdad se suma o resta una misma cantidad, el signo de la cantidad no varia.
y

Para tres nmeros reales, a, b, y c: o Si ; entonces o Si ; entonces

y y

Multiplicacin y divisin
Las propiedades relativas a la multiplicacin y la divisin:
y

Para tres nmeros reales, a, b, y c:

o

Si es positivo y Si es positivo y Si es negativo y Si es negativo y

entonces entonces entonces entonces

y y y y

Nota: Si ambos trminos de una inecuacin se multiplican o dividen por la misma expresin negativa, el smbolo de la desigualdad CAMBIA.pero siempre hay que tener en cuenta que el resultado debe cumplir la condicion dada.

Aplicando una funcin a ambos miembros

Puede aplicarse cualquier funcin montona creciente a ambos lados de una inecuacin manteniendo el mismo signo de desigualdad.

Funcin montona
En matemticas, una funcin entre conjuntos ordenados se dice montona (o istona) si conserva el orden dado. Las funciones de tal clase surgieron primeramente en clculo, y fueron luego generalizadas al entorno ms abstracto de la teora del orden. Aunque los conceptos generalmente coinciden, las dos disciplinas han desarrollado una terminologa ligeramente diferente; mientras en clculo se habla de funciones montonamente crecientes y montonamente decrecientes (o simplemente crecientes y decrecientes), en la teora del orden se usan los trminos montona y anttona, o se habla de funciones que conservan e invierten el orden.

Definicin general
Sea

una funcin entre dos conjuntos P y Q, donde cada conjunto tiene un orden parcial (los dos se denotarn por ). En clculo se habla de funciones entre subconjuntos de los reales, y el orden no es otro que el orden usual de la recta real, aunque esto no es esencial para la definicin. La funcin f es montona si y slo si x y implica f(x) f(y) (es decir, la funcin es creciente), o bien x y implica f(x) g(y) (es decir, la funcin es decreciente). En otras palabras, una funcin es montona si conserva el orden.

Monotonicidad en clculo y anlisis

En clculo no hay usualmente necesidad de invocar los mtodos abstractos de la teora del orden. Como ya se seal, las funciones se establecen entre (subconjuntos de) nmeros reales, ordenados de forma natural. Por la forma de la grfica de una funcin montona en los reales, tales funciones se llaman tambin montonamente crecientes (o no decreciente), respectivamente.

Ejemplo grfico
A continuacin se muestran tres grficas de funciones cualesquiera. La primera de ellas es una funcin estrictamente creciente, ya que conserva el rden ascendente durante todo el recorrido de la funcin. La segunda de ellas es escrictamente decreciente, puesto que conserva el rden descendente durante todo el recorrido de la funcin. La ltima de ellas es una funcin con un recorrido con partes donde la funcin es creciente y partes donde es decreciente (presenta mximos y mnimos relativos).

Funcin montona creciente.

Funcin montona decreciente.

Funcin no montona.

Aplicaciones y resultados bsicos

Monotona En matemticas, cada una de las siguientes propiedades de una funcin f : R R implica la siguiente:
y y y y

f es montona. f tiene un lmite por la izquierda y por la derecha en cualquier punto de su dominio de definicin. f slo puede tener discontinuidades de salto. f slo puede tener una cantidad enumerable de discontinuidades.

Estas propiedades son la razn por la que las funciones montonas son tiles en el anlisis matemtico. Dos importantes hechos que se deducen de que una funcin sea montona son:
y

Si f es una funcin montona definida en un intervalo I, entonces f es derivable casi siempre en I, es decir, el conjunto de puntos x en I en donde f no es diferenciable tiene medida de Lebesgue 0. Si f es una funcin montona definida en un intervalo [a, b], entonces f es Riemannintegrable.

Una importante aplicacin de las funciones montonas es en probabilidad. Si X es una variable aleatoria, su funcin de distribucin

es una funcin creciente.

Funciones booleanas

Los retculos distributivos libres de funciones booleanas montonas sobre 0, 1, 2 y 3 argumentos.

En el lgebra de Boole, una funcin montona es una tal que para todo ai y bi en {0,1} tales que a1 b1, a2 b2, ... , an bn es cierto que se cumple f(a1, ... , an) f(b1, ... , bn). Las funciones booleanas montonas son precisamente aquellas que pueden ser definidas como una composicin de conjunciones y disyunciones, pero sin negaciones. El nmero de estas funciones sobre n variables es conocido como el nmero de Dedekind de n.

Valor absoluto o mdulo

y y

Notacin encadenada
La notacin 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 nmero real a los tres trminos, as como multiplicarlos o dividirlos todos por el mismo nmero (distinto de cero) invirtiendo las inecuaciones segn su signo. Debe tenerse cuidado de utilizar en todos los casos el mismo nmero. As, a < b + e < c es equivalente a a - e < b < c - e. Esta notacin se puede extender a cualquier nmero de trminos: por ejemplo, a1 a2 ... an establece que ai ai+1 para i = 1, 2, ..., n 1. Segn la propiedad transitiva, esta condicin es equivalente a ai aj para cualesquiera 1 i j n. Ocasionalmente, la notacin encadenada se usa con inecuaciones en diferentes direcciones. En ese caso el significado es la conjuncin lgica de las desigualdades entre los trminos adyacentes. Por ejemplo, a < b > c d significa que a < b, b > c, y c d. Aparte del uso poco frecuente en matemticas, esta notacin existe en unos pocos lenguajes de programacin tales como Python.

Valor absoluto
En matemtica, el valor absoluto o mdulo1 de un nmero real es su valor numrico sin tener en cuenta su signo, sea este positivo (+) o negativo (-). As, por ejemplo, 3 es el valor absoluto de 3 y de -3. El valor absoluto est relacionado con las nociones de magnitud, distancia y norma en diferentes contextos matemticos y fsicos. El concepto de valor absoluto de un nmero real puede generalizarse a muchos otros objetos matemticos, como son los cuaterniones, anillos ordenados, cuerpos o espacios vectoriales.

Grfica de la funcin valor absoluto.

Valor absoluto de un nmero real

Formalmente, el valor absoluto o mdulo de todo nmero real est definido por:2 ejemplos bsicos:

Note que, por definicin, el valor absoluto de siempre ser mayor o igual que cero y nunca negativo. Desde un punto de vista geomtrico, el valor absoluto de un nmero real es siempre positivo o cero, pero nunca negativo. En general, el valor absoluto de la diferencia de dos nmeros reales es la distancia entre ellos. De hecho, el concepto de funcin distancia o mtrica en matemticas se puede ver como una generalizacin del valor absoluto de la diferencia, a la distancia a lo largo de la recta numrica real

Propiedades fundamentales
No negatividad Definicin positiva Propiedad multiplicativa Desigualdad triangular (Vase tambin Propiedad aditiva)

Otras propiedades
Simetra Identidad de indiscernibles Desigualdad triangular (equivalente a la propiedad aditiva) Preservacin de la divisin (equivalente a la propiedad multiplicativa) Otras dos tiles inecuaciones son:
y y

Estas ltimas son de gran utilidad para la resolucin de inecuaciones, como por ejemplo:

Valor absoluto de un nmero complejo

El valor absoluto de un nmero complejo es la distancia que y su conjugado tienen el mismo valor absoluto.

desde al origen. Aqu vemos

Como los nmeros complejos no conforman un conjunto ordenado en el sentido de los reales, la generalizacin del concepto no es directa, sino que requiere de la siguiente identidad, que proporciona una definicin alternativa y equivalente para el valor absoluto:

De esta manera, dado cualquier nmero complejo de la forma

con x e y nmeros reales, el valor absoluto o mdulo de z est definido formalmente por:

Como los nmeros complejos son una generalizacin de los nmeros reales, es lgico que podamos representar a estos ltimos tambin de esta forma:

De modo similar a la interpretacin geomtrica del valor absoluto para los nmeros reales, se desprende del Teorema de Pitgoras que el valor absoluto de un nmero complejo corresponde a la distancia en el plano complejo de ese nmero hasta el origen, y ms en

general, que el valor absoluto de la diferencia de dos nmeros complejos es igual a la distancia entre ellos.

Propiedades
El valor absoluto de los complejos comparte todas las propiedades vistas anteriormente para los nmeros reales. Adems, si

es el conjugado de z, entonces se verifica que:

Esta ltima frmula es la versin compleja de la primera identidad en los reales que mencionamos en esta seccin. Como los nmeros reales positivos forman un subgrupo de los nmeros complejos bajo el operador de multiplicacin, podemos pensar en el valor absoluto como un endomorfismo del grupo multiplicativo de los nmeros complejos.

Programacin del valor absoluto

En programacin, la funcin matemtica utilizada comnmente para calcular el valor absoluto es abs(). Esta se utiliza en los lenguajes de programacin Fortran, Matlab y GNU Octave (los cuales la soportan para nmeros enteros, reales y complejos), y adems en el Lenguaje C, donde tambin son vlidas las funciones labs(), llabs(), fabs(), fabsf() y fabsl(). La codificacin de la funcin valor absoluto para valores enteros es sencilla:
int abs (int i) { if (i < 0) return -i; else return i; }

Sin embargo, al tratar con puntos flotantes la codificacin se complica, pues se debe lidiar con la infinitud y valores NaN. Con el lenguaje ensamblador es posible calcular el valor absoluto de un nmero utilizando slo tres instrucciones. Por ejemplo, para un registro de 32 bits en una arquitectura x86, con la sintaxis de Intel:
cdq xor eax, edx sub eax, edx cdq extiende el bit de signo de eax en edx. Si eax es no-negativa, entonces edx se convierte en cero, y las dos ltimas instrucciones no tienen efecto, dejando eax sin cambios. Si eax es negativa, entonces edx se convierte en 0xFFFFFFFF, o -1. Las siguientes

dos instrucciones se convierten en una inversin complemento a dos, dejando el valor absoluto del valor negativo en eax.