Subaditividad

propiedad de una función donde la suma de dos elementos en el dominio de la función es menor que la suma de los valores de la función
(Redirigido desde «Función subaditiva»)

En matemáticas, la subaditividad es una propiedad de una función que establece, aproximadamente, que al evaluar la función para la suma de dos elementos de su dominio, siempre se obtiene un valor algo menor o igual a la suma de los valores de la función de cada elemento. Existen numerosos ejemplos de funciones subaditivas en diversas áreas de las matemáticas, particularmente las normas y la raíz cuadrada. Las aplicaciones aditivas son casos especiales de funciones subaditivas.

Un ejemplo sencillo es el teorema de Pitágoras,[1]​ donde se aprecia que .

Definiciones

editar

Una función subaditiva  , que tiene un dominio A y un codominio ordenado B que son ambos cerrados bajo la suma, con la siguiente propiedad:

 

Un ejemplo es la función raíz cuadrada, que tiene los números reales no negativos como dominio y codominio, de modo que   se tiene que:

 

Una sucesión  , se denomina subaditiva si satisface la desigualdad

 

para todos los m y n. Este es un caso especial de función subaditiva, si una sucesión se interpreta como una función del conjunto de números naturales.

Téngase en cuenta que si bien una secuencia cóncava es subaditiva, lo contrario es falso. Por ejemplo, asignando aleatoriamente   con valores comprendidos en  , entonces la sucesión es subaditiva pero no cóncava.

Propiedades

editar

Sucesiones

editar

Un resultado útil relacionado con sucesiones subaditivas es el siguiente lema debido a Michael Fekete.[2]

Lema subaditivo de Fekete

Para cada sucesión subaditiva  , el límite   existe y es igual al ínfimo   (el límite puede ser  ).

Demostración
Sea  .

Por definición,  . Entonces, basta con demostrar que  .

En caso contrario, existe entonces una subsucesión   y un  , tal que   para todos los  .

Dado que  , existe un   tal que  .

Por el principio del palomar, existe una subsucesión  , cuyos índices pertenecen todos a la misma clase de residuo módulo  , por lo que avanzan en múltiplos de  . Esta sucesión, si continúa durante un tiempo suficiente, se vería obligada por la subaditividad a descender por debajo de la línea de pendiente  , produciéndose una contradicción.

Más detalladamente, por subaditividad, se tiene que

 

lo que implica que  

El análogo del lema de Fekete también es válido para sucesiones superaditivas, es decir:   (el límite entonces puede ser infinito positivo: considérese la sucesión  ).

Hay extensiones del lema de Fekete que no requieren que la desigualdad   se cumpla para todo m y n, sino solo para m y n tales que  

Demostración
Iniciar la demostración como antes, hasta llegar a aplicar el principio del palomar.

Considérese ahora la secuencia  . Dado que  , se tiene entonces que  . De manera similar, se tiene que  , etc.

Por supuesto, para cualquier  , se puede recurrir a la propiedad de subaditividad en ellos si

 

Si se estuvieran manejando variables continuas, entonces se puede usar la subaditividad para ir de   a  , luego a  , y así sucesivamente, lo que cubre todo el intervalo  .

Aunque no se están manejando variables continuas, aún se pueden cubrir suficientes números enteros para completar la demostración. Sea   lo suficientemente grande, tal que

 

Entonces, sea   el número más pequeño en la intersección  . Según el supuesto de  , es fácil ver (realizando un gráfico) que los intervalos   y   se tocan en el medio. Así, al repetir este proceso, se cubre la totalidad de  .

Con eso, todos los   son forzados a reducirse como en la demostración anterior.

Además, la condición   puede debilitarse de la siguiente manera:   siempre que   sea una función creciente tal que la integral   converja (cerca del infinito).[3]

También hay resultados que permiten deducir la tasa de convergencia al límite cuya existencia se establece en el lema de Fekete si está presente algún tipo de superaditividad o de subaditividad.[4][5]

Además, se han demostrado análogos del lema de Fekete para aplicaciones reales subaditivas (con supuestos adicionales) de subconjuntos finitos de un grupo susceptible,[6][7][8]​ y por otro lado, de un semigrupo cancelador susceptible por la izquierda.[9]

Funciones

editar

'Teorema:'[10]

Para cada función subaditiva medible   existe el límite   y es igual a   (el límite puede ser  )

Si f es una función subaditiva, y si 0 está en su dominio, entonces f(0) ≥ 0. Para ver esto, tómese la desigualdad anterior,  . Por lo tanto,  

Una función cóncava   con   también es subaditiva. Para ver esto, primero se observa que  . Entonces, al observar la suma de este límite para   y  , finalmente se verificará que f es subaditiva.[11]

El negativo de una función subaditiva es superaditiva.


Ejemplos en varios dominios

editar

Entropía

editar

La entropía juega un papel fundamental en teoría de la información y en mecánica estadística, así como en mecánica cuántica en una formulación generalizada debida a von Neumann. Aparece siempre como una cantidad subaditiva en todas sus formulaciones, es decir, la entropía de un supersistema o de una unión de variables aleatorias es siempre menor o igual que la suma de las entropías de sus componentes individuales. Además, la entropía en física satisface varias desigualdades más estrictas, como la subaditividad fuerte de la entropía en la mecánica estadística clásica y su análogo cuántico.

Economía

editar

La subaditividad es una propiedad esencial de algunas funciones de coste particulares. Generalmente es una condición necesaria y suficiente para la verificación de un monopolio natural. Implica que la producción de una sola empresa es socialmente menos costosa (en términos de costes promedio) que la producción de una fracción de la cantidad original por un número igual de empresas.

Las economías de escala están representadas por funciones de coste medio subaditivas.

Excepto en el caso de los bienes complementarios, el precio de los bienes (en función de la cantidad) debe ser subaditiva. De lo contrario, si la suma del costo de dos artículos es más barata que el costo del paquete de dos de ellos juntos, entonces nadie compraría jamás el paquete, lo que efectivamente causaría que el precio del paquete se "convirtiera" en la suma de los precios de los dos elementos separados. Demostrando así que no es condición suficiente para un monopolio natural, ya que la unidad de cambio puede no ser el costo real de un artículo. Esta situación es familiar para todos en la arena política, donde alguna minoría afirma que la pérdida de alguna libertad particular en algún nivel particular de gobierno significa que muchos gobiernos son mejores, mientras que la mayoría afirma que existe alguna otra unidad de coste correcta.

Finanzas

editar

La subaditividad es una de las propiedades deseables de la medida de riesgo coherente en gestión de riesgos.[12]​ La intuición económica detrás de la subaditividad de la medida de riesgo es que la exposición al riesgo de una cartera debería, en el peor de los casos, simplemente igualar la suma de las exposiciones al riesgo de las posiciones individuales que componen la cartera. En cualquier otro caso, los efectos de la diversificación darían como resultado una exposición de la cartera inferior a la suma de las exposiciones al riesgo individuales. La falta de subaditividad es una de las principales críticas a los modelos de valor en riesgo que no se basan en el supuesto de la normalidad estadística de los factores de riesgo. El valor en riesgo gaussiano garantiza la subaditividad: por ejemplo, el valor en riesgo gaussiano de una cartera unitaria de dos posiciones largas   en el nivel de confianza   es, suponiendo que la variación media del valor de la cartera es cero y el valor en riesgo gaussiano se define como una pérdida negativa,

 

donde   es el inverso de la función de distribución normal en el nivel de probabilidad  ,   son las variaciones de los rendimientos de las posiciones individuales y   es el medida de correlación lineal entre los rendimientos de las dos posiciones individuales. Como la varianza siempre es positiva,

 

Por lo tanto, el valor riesgo gaussiano es subaditivo para cualquier valor de   y, en particular, es igual a la suma de las exposiciones al riesgo individuales cuando  , que es el caso de que no haya efectos de diversificación en el riesgo de la cartera.

Termodinámica

editar

La subaditividad se produce en las propiedades termodinámicas de mezclas y mezclas no ideales como el exceso de volumen molar y calor de mezcla o exceso de entalpía.

Combinatoria en palabras

editar

Un lenguaje   factorial es aquel en el que si una palabra está en  , entonces todos los factores de esa palabra también están en  . En combinatoria de palabras, un problema común es determinar el número   de palabras de longitud   en un lenguaje factorial. Claramente  , por lo que   es subaditivo y, por lo tanto, el lema de Fekete puede usarse para estimar el crecimiento de  .[13]

Para cada  , muestreense dos cadenas de longitud   de manera uniforme y aleatoria en el alfabeto  . La longitud esperada de la subsecuencia común más larga es una función superaditiva de   y, por lo tanto, existe un número  , de modo que la longitud esperada crece como  . Al verificar el caso con  , fácilmente se tiene que  . Sin embargo, se sabe que el valor exacto incluso de   solo está entre 0,788 y 0,827.[14]

Véase también

editar

Referencias

editar
  1. Por la desigualdad triangular, en un triángulo rectángulo, la longitud de la hipotenusa siempre es menor o igual que la suma de las longitudes de los catetos.
  2. Fekete, M. (1923). «Über die Verteilung der Wurzeln bei gewissen algebraischen Gleichungen mit ganzzahligen Koeffizienten». Mathematische Zeitschrift 17 (1): 228-249. S2CID 186223729. doi:10.1007/BF01504345. 
  3. de Bruijn, N.G.; Erdös, P. (1952). «Some linear and some quadratic recursion formulas. II». Nederl. Akad. Wetensch. Proc. Ser. A 55: 152-163. doi:10.1016/S1385-7258(52)50021-0.  (Lo mismo que Indagationes Math.14.) Véase también Steele 1997, Teorema 1.9.2.
  4. Michael J. Steele. "Probability theory and combinatorial optimization". SIAM, Philadelphia (1997). ISBN 0-89871-380-3.
  5. Michael J. Steele (2011). CBMS Lectures on Probability Theory and Combinatorial Optimization. University of Cambridge. 
  6. Lindenstrauss, Elon; Weiss, Benjamin (2000). «Mean topological dimension». Israel Journal of Mathematics 115 (1): 1-24. ISSN 0021-2172. doi:10.1007/BF02810577. «citeseerx: 10.1.1.30.3552».  Teorema 6.1
  7. Ornstein, Donald S.; Weiss, Benjamin (1987). «Entropy and isomorphism theorems for actions of amenable groups». Journal d'Analyse Mathématique 48 (1): 1-141. ISSN 0021-7670. doi:10.1007/BF02790325. 
  8. Gromov, Misha (1999). «Topological Invariants of Dynamical Systems and Spaces of Holomorphic Maps: I». Mathematical Physics, Analysis and Geometry 2 (4): 323-415. ISSN 1385-0172. S2CID 117100302. doi:10.1023/A:1009841100168. 
  9. Ceccherini-Silberstein, Tullio; Krieger, Fabrice; Coornaert, Michel (2014). «An analogue of Fekete's lemma for subadditive functions on cancellative amenable semigroups». Journal d'Analyse Mathématique 124: 59-81. arXiv:1209.6179. doi:10.1007/s11854-014-0027-4.  Teorema 1.1
  10. Hille 1948, Theorem 6.6.1. (Measurability is stipulated in Sect. 6.2 "Preliminaries".)
  11. Schechter, Eric (1997). Handbook of Analysis and its Foundations. San Diego: Academic Press. ISBN 978-0-12-622760-4. , p.314,12.25
  12. Rau-Bredow, H. (2019). «Bigger Is Not Always Safer: A Critical Analysis of the Subadditivity Assumption for Coherent Risk Measures». Risks 7 (3): 91. doi:10.3390/risks7030091. hdl:10419/257929. 
  13. Shur, Arseny (2012). «Growth properties of power-free languages». Computer Science Review 6 (5–6): 187-208. doi:10.1016/j.cosrev.2012.09.001. 
  14. Lueker, George S. (May 2009). «Improved bounds on the average length of longest common subsequences». Journal of the ACM (en inglés) 56 (3): 1-38. ISSN 0004-5411. S2CID 7232681. doi:10.1145/1516512.1516519. 

Bibliografía

editar

Enlaces externos

editar