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 enclculo, 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 ydecrecientes), 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
losreales, 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) f(y) (es decir, la funcin es decreciente). En otras
palabras, una funcin es montona si conserva el orden.

Monotona 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 por la izquierda y por la derecha, mientras que
es constante en el medio; por lo dems, es creciente pues conserva el orden ascendente
durante todo el recorrido de la funcin. La segunda de ellas es escrictamente decreciente
por la izquierda y por la derecha, puesto que conserva el orden 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:

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:

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
tienemedida 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 booleana

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 unacomposicin de conjunciones y disyunciones, pero
sin negaciones.
El nmero de estas funciones sobre n variables es conocido como el nmero de
Dedekind de n.