Función Monótona
Función Monótona
Función Monótona
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.
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 no montona.
f es montona.
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:
Funciones booleana
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.