En matemáticas , una función monótona (o función monótona ) es una función entre conjuntos ordenados que conserva o invierte el orden dado . [1] [2] [3] Este concepto surgió por primera vez en el cálculo y luego se generalizó al entorno más abstracto de la teoría del orden .
En cálculo , una función definida en un subconjunto de números reales con valores reales se llama monótona si es completamente no decreciente o completamente no creciente. [2] Es decir, según la Fig. 1, una función que aumenta monótonamente no tiene que aumentar exclusivamente, simplemente no debe disminuir.
Una función se denomina monotónicamente creciente (también creciente o no decreciente ) [3] si para todos y tales que uno tiene , por lo tanto conserva el orden (ver Figura 1). Asimismo, una función se llama monótonamente decreciente (también decreciente o no creciente ) [3] si, siempre que , entonces , entonces invierte el orden (ver Figura 2).
Si el orden en la definición de monotonicidad se reemplaza por el orden estricto , se obtiene un requisito más estricto. Una función con esta propiedad se llama estrictamente creciente (también creciente ). [3] [4] Nuevamente, al invertir el símbolo de orden, se encuentra un concepto correspondiente llamado estrictamente decreciente (también decreciente ). [3] [4] Una función con cualquiera de las propiedades se llama estrictamente monótona . Las funciones que son estrictamente monótonas son uno a uno (porque por no igual a , cualquiera o y así, por monotonicidad, cualquiera o , así .)
Para evitar ambigüedades, los términos débilmente monótono , débilmente creciente y débilmente decreciente se suelen utilizar para referirse a la monotonicidad no estricta.
Los términos "no decreciente" y "no creciente" no deben confundirse con las calificaciones negativas (mucho más débiles) "no decreciente" y "no creciente". Por ejemplo, la función no monótona que se muestra en la figura 3 primero cae, luego aumenta y luego vuelve a caer. Por lo tanto, no es decreciente ni creciente, pero tampoco es no decreciente ni no creciente.
Se dice que una función es absolutamente monótona en un intervalo si las derivadas de todos los órdenes de son no negativas o no positivas en todos los puntos del intervalo.
Todas las funciones estrictamente monótonas son invertibles porque se garantiza que tendrán un mapeo uno a uno desde su rango hasta su dominio.
Sin embargo, las funciones que son sólo débilmente monótonas no son invertibles porque son constantes en algún intervalo (y por lo tanto no son uno a uno).
Una función puede ser estrictamente monótona en un rango limitado de valores y, por lo tanto, tener una inversa en ese rango aunque no sea estrictamente monótona en todas partes. Por ejemplo, si es estrictamente creciente en el rango , entonces tiene una inversa en el rango .
El término monótono a veces se usa en lugar de estrictamente monótono , por lo que una fuente puede afirmar que todas las funciones monótonas son invertibles cuando en realidad significan que todas las funciones estrictamente monótonas son invertibles. [ cita necesaria ]
El término transformación monótona (o transformación monótona ) también puede causar confusión porque se refiere a una transformación mediante una función estrictamente creciente. Este es el caso en economía con respecto a las propiedades ordinales de una función de utilidad que se conservan a través de una transformada monótona (ver también preferencias monótonas ). [5] En este contexto, el término "transformación monótona" se refiere a una transformación monótona positiva y pretende distinguirla de una "transformación monótona negativa", que invierte el orden de los números. [6]
Las siguientes propiedades son verdaderas para una función monótona :
Estas propiedades son la razón por la cual las funciones monótonas son útiles en el trabajo técnico de análisis . Otras propiedades importantes de estas funciones incluyen:
Una aplicación importante de las funciones monótonas es la teoría de la probabilidad . Si es una variable aleatoria , su función de distribución acumulativa es una función monótonamente creciente.
Una función es unimodal si aumenta monótonamente hasta cierto punto (la moda ) y luego disminuye monótonamente.
Cuando es una función estrictamente monótona , entonces es inyectiva en su dominio, y si es el rango de , entonces hay una función inversa en for . Por el contrario, cada función constante es monótona, pero no inyectiva [7] y, por tanto, no puede tener una inversa.
El gráfico muestra seis funciones monótonas. Sus formas más simples se muestran en el área del gráfico y las expresiones utilizadas para crearlas se muestran en el eje y .
Se dice que un mapa es monótono si cada una de sus fibras está conectada ; es decir, para cada elemento el conjunto (posiblemente vacío) es un subespacio conexo de
En el análisis funcional en un espacio vectorial topológico , se dice que un operador (posiblemente no lineal) es un operador monótono si
El teorema de Kachurovskii muestra que las funciones convexas en espacios de Banach tienen operadores monótonos como derivadas.
Se dice que un subconjunto de es monótono si para cada par y en ,
se dice que es monótono máximo si es máximo entre todos los conjuntos monótonos en el sentido de inclusión de conjuntos. La gráfica de un operador monótono es un conjunto monótono. Se dice que un operador monótono es monótono máximo si su gráfica es un conjunto monótono máximo .
La teoría del orden trata de conjuntos arbitrarios parcialmente ordenados y conjuntos preordenados como una generalización de los números reales. La definición anterior de monotonicidad también es relevante en estos casos. Sin embargo, se evitan los términos "creciente" y "decreciente", ya que su representación pictórica convencional no se aplica a pedidos que no son totales . Además, las relaciones estrictas son de poca utilidad en muchos pedidos no totales y, por tanto, no se introduce terminología adicional para ellas.
Denotando la relación de orden parcial de cualquier conjunto parcialmente ordenado, una función monótona , también llamada isótona , opreservación del orden , satisface la propiedad
para todo x e y en su dominio. La composición de dos mapeos monótonos también es monótona.
La noción dual suele denominarse antitono , antimonótono o inversión de orden . Por tanto, una función antitono f satisface la propiedad
para todo x e y en su dominio.
Una función constante es a la vez monótona y antítona; por el contrario, si f es a la vez monótono y antitono, y si el dominio de f es una red , entonces f debe ser constante.
Las funciones monótonas son centrales en la teoría del orden. Aparecen en la mayoría de los artículos sobre el tema y en estos lugares se encuentran ejemplos de aplicaciones especiales. Algunas funciones monótonas especiales notables son las incrustaciones de orden (funciones para las cuales si y solo si y isomorfismos de orden ( incrustaciones de orden sobreyectivas ).
En el contexto de los algoritmos de búsqueda, la monotonicidad (también llamada consistencia) es una condición que se aplica a las funciones heurísticas . Una heurística es monótona si, para cada nodo n y cada sucesor n' de n generado por cualquier acción a , el costo estimado de alcanzar la meta desde n no es mayor que el costo del paso para llegar a n' más el costo estimado de alcanzar el gol de n' ,
Esta es una forma de desigualdad triangular , con n , n' y el objetivo G n más cercano a n . Dado que toda heurística monótona también es admisible , la monotonicidad es un requisito más estricto que la admisibilidad. Algunos algoritmos heurísticos como A* pueden resultar óptimos siempre que la heurística que utilicen sea monótona. [8]
En álgebra booleana , una función monótona es aquella que para todo a i y b i en {0,1} , si a 1 ≤ b 1 , a 2 ≤ b 2 , ..., a n ≤ b n (es decir, la El producto cartesiano {0, 1} n está ordenado en coordenadas ), entonces f( a 1 , ..., a n ) ≤ f( b 1 , ..., b n ) . En otras palabras, una función booleana es monótona si, para cada combinación de entradas, cambiar una de las entradas de falsa a verdadera sólo puede hacer que la salida cambie de falsa a verdadera y no de verdadera a falsa. Gráficamente, esto significa que una función booleana n -aria es monótona cuando su representación como un n -cubo etiquetado con valores de verdad no tiene un borde ascendente de verdadero a falso . (Este diagrama de Hasse etiquetado es el dual del diagrama de Venn etiquetado de la función , que es la representación más común para n ≤ 3 ).
Las funciones booleanas monótonas son precisamente aquellas que pueden definirse mediante una expresión que combina las entradas (que pueden aparecer más de una vez) utilizando únicamente los operadores y y o (en particular, no está prohibido). Por ejemplo, "al menos dos de a , b , c se mantienen" es una función monótona de a , b , c , ya que se puede escribir, por ejemplo, como (( a y b ) o ( a y c ) o ( b y c) . )).
El número de tales funciones en n variables se conoce como número de Dedekind de n .
La resolución de SAT , generalmente una tarea NP-difícil , se puede lograr de manera eficiente cuando todas las funciones y predicados involucrados son monótonos y booleanos. [9]