Funcin montona

1
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) 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.
Funcin montona
2
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 tiene medida de Lebesgue 0.
Si f es una funcin montona definida en un intervalo [a, b], entonces f es Riemann-integrable.
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 a
i
y
b
i
en {0,1} tales que a
1
b
1
, a
2
b
2
,
... , a
n
b
n
es cierto que se cumple
f(a
1
, ... , a
n
) f(b
1
, ... , b
n
).
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.
Fuentes y contribuyentes del artculo
3
Fuentes y contribuyentes del artculo
Funcin montona Fuente: http://es.wikipedia.org/w/index.php?oldid=68219231 Contribuyentes: Farisori, Fibonacci, Javierito92, Jerowiki, Juan Mayordomo, Lipedia, Lord Trolldemort,
Raulshc, Ucevista, 14 ediciones annimas
Fuentes de imagen, Licencias y contribuyentes
Archivo:Monotonicity example1.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Monotonicity_example1.png Licencia: Public Domain Contribuyentes: Oleg Alexandrov
Archivo:Monotonicity example2.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Monotonicity_example2.png Licencia: Public Domain Contribuyentes: Oleg Alexandrov
Archivo:Monotonicity example3.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Monotonicity_example3.png Licencia: Public Domain Contribuyentes: Oleg Alexandrov
File:Loupe light.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Loupe_light.svg Licencia: Public Domain Contribuyentes: Hohum, Jimmy44, Mate2code
Archivo:Monotone Boolean functions 0,1,2,3.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Monotone_Boolean_functions_0,1,2,3.svg Licencia: Public Domain
Contribuyentes: Monotone Boolean functions.svg: David Eppstein derivative work: mate2code
Licencia
Creative Commons Attribution-Share Alike 3.0
//creativecommons.org/licenses/by-sa/3.0/