Ver el código de «Subaditividad»

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 [[Elemento de un conjunto|elementos]] de su [[Dominio de una función|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 [[Norma vectorial|normas]] y la [[raíz cuadrada]]. Las [[Mapa aditivo|aplicaciones aditivas]] son casos especiales de funciones subaditivas.

Un ejemplo sencillo es el [[teorema de Pitágoras]],<ref>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.</ref> donde se aprecia que <math>\sqrt{a^2+b^2} \leq \sqrt{a^2} + \sqrt{b^2}</math>.

==Definiciones==
Una [[Función (matemática)|función]] subaditiva <math>f \colon A \to B</math>, que tiene un [[Dominio de una función|dominio]] ''A'' y un [[codominio]] [[Conjunto parcialmente ordenado|ordenado]] ''B'' que son ambos [[clausura (matemáticas)|cerrados]] bajo la suma, con la siguiente propiedad:

:<math>\forall x, y \in A, f(x+y)\leq f(x)+f(y).</math>

Un ejemplo es la función [[raíz cuadrada]], que tiene los [[números reales]] [[signo (matemáticas)|no negativos]] como dominio y codominio, de modo que <math>\forall x, y \geq 0</math> se tiene que:

:<math>\sqrt{x+y}\leq \sqrt{x}+\sqrt{y}.</math>

Una [[sucesión (matemática)|sucesión]] <math>\left \{a_n \right \}, n \geq 1</math>, se denomina '''subaditiva''' si satisface la [[Desigualdad matemática|desigualdad]]

:<math> a_{n+m}\leq a_n+a_m</math>

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 <math>a_1, a_2, ...</math> con valores comprendidos en <math>0.5, 1</math>, entonces la sucesión es subaditiva pero no cóncava.

==Propiedades==

===Sucesiones===
Un resultado útil relacionado con sucesiones subaditivas es el siguiente [[Lema (matemáticas)|lema]] debido a [[Michael Fekete]].<ref>{{cite journal|last=Fekete|first=M.|title=Über die Verteilung der Wurzeln bei gewissen algebraischen Gleichungen mit ganzzahligen Koeffizienten|journal=Mathematische Zeitschrift|volume=17|issue=1|year=1923|pages=228–249|doi=10.1007/BF01504345|s2cid=186223729 }}</ref>

{{teorema|título=Lema subaditivo de Fekete|1= Para cada sucesión subaditiva <math>{\left \{a_n \right \}}_{n=1}^\infty</math>, el [[Límite de una sucesión|límite]] <math>\displaystyle \lim_{n \to \infty} \frac{a_n}{n}</math> existe y es igual al [[Elemento supremo e ínfimo|ínfimo]] <math>\inf \frac{a_n}{n}</math> (el límite puede ser <math>-\infty</math>).}}

{{demostración|1= 
Sea <math>s^* := \inf_n \frac{a_n}n</math>.

Por definición, <math>\liminf_n \frac{a_n}n \geq s^*</math>. Entonces, basta con demostrar que <math>\limsup_n \frac{a_n}n \leq s^*</math>.

En caso contrario, existe entonces una subsucesión <math>(a_{n_k})_k</math> y un <math>\epsilon > 0</math>, tal que <math>\frac{a_{n_k}}{n_k} > s^* + \epsilon</math> para todos los <math>k</math>.

Dado que <math>s^* := \inf_n \frac{a_n}n</math>, existe un <math>a_m</math> tal que <math>\frac{a_m}m < s^* + \epsilon/2</math>.

Por el [[principio del palomar]], existe una subsucesión <math>(a_{n_k})_k</math>, cuyos índices pertenecen todos a la misma [[Aritmética modular|clase de residuo]] módulo <math>m</math>, por lo que avanzan en múltiplos de <math>m</math>. 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 <math>s^* + \epsilon</math>, produciéndose una contradicción.

Más detalladamente, por subaditividad, se tiene que

<math display="inline">\begin{aligned} a_{n_2} &\leq a_{n_1} + a_m (n_2-n_1)/m \\ a_{n_3} &\leq a_{n_2} + a_m (n_3-n_2)/m \leq a_{n_1} + a_m (n_3-n_1)/m \\ \cdots & \cdots \end{aligned}</math>

lo que implica que <math>\limsup_k a_{n_k}/n_k \leq a_m/m < s^* + \epsilon</math>
}}

El análogo del lema de Fekete también es válido para sucesiones superaditivas, es decir: <math>a_{n+m}\geq a_n + a_m</math> (el límite entonces puede ser infinito positivo: considérese la sucesión <math>a_n= \log n!</math>).

Hay extensiones del lema de Fekete que no requieren que la desigualdad <math>a_{n+m}\le a_n + a_m</math> se cumpla para todo ''m'' y ''n'', sino solo para ''m'' y ''n'' tales que <math display="inline">\frac 1 2 \le \frac m n \le 2.</math> 

{{demostración|1= 

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

Considérese ahora la secuencia <math>a_m, a_{2m}, a_{3m}, ...</math>. Dado que <math>2m/m= 2</math>, se tiene entonces que <math>a_{2m} \leq 2a_m</math>. De manera similar, se tiene que <math>a_{3m} \leq a_{2m}+a_m \leq 3a_m</math>, etc.

Por supuesto, para cualquier <math>s, t \in \N</math>, se puede recurrir a la propiedad de subaditividad en ellos si

:<math>\ln(s+t) \in [\ln(1.5 s), \ln (3s)]= \ln s + [\ln 1.5, \ln 3]</math>

Si se estuvieran manejando variables continuas, entonces se puede usar la subaditividad para ir de <math>a_{n_k}</math> a <math>a_{n_k} + [\ln 1.5, \ln 3]</math>, luego a <math>a_{n_k} + \ln 1.5 + [\ln 1.5, \ln 3]</math>, y así sucesivamente, lo que cubre todo el intervalo <math>a_{n_k} + [\ln 1.5, +\infty)</math>.

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

:<math>\ln (2) > \ln(1.5) + \ln \left(\frac{1.5 n_k + m}{1.5 n_k}\right) </math>

Entonces, sea <math>n'</math> el número más pequeño en la intersección <math>(n_k + m\Z) \cap (\ln n_k + [\ln(1.5), \ln (3)])</math>. Según el supuesto de <math>n_k</math>, es fácil ver (realizando un gráfico) que los intervalos <math>\ln n_k + [\ln(1.5), \ln (3)]</math> y <math>\ln n' + [\ln(1.5), \ln (3)]</math> se tocan en el medio. Así, al repetir este proceso, se cubre la totalidad de <math>(n_k + m\Z) \cap (\ln n_k + [\ln(1.5), \infty])</math>.

Con eso, todos los <math>a_{n_k}, a_{n_{k+1}}, ...</math> son forzados a reducirse como en la demostración anterior.
}}

Además, la condición <math>a_{n+m}\le a_n + a_m</math> puede debilitarse de la siguiente manera: <math>a_{n+m}\le a_n + a_m + \phi(n+m)</math> siempre que <math>\phi</math> sea una función creciente tal que la integral <math display="inline">\int \phi(t) t^{-2} \, dt</math> converja (cerca del infinito).<ref>{{cite journal|last1=de Bruijn|first1=N.G.|last2=Erdös|first2=P.|title=Some linear and some quadratic recursion formulas. II|journal=Nederl. Akad. Wetensch. Proc. Ser. A|volume=55|year=1952|pages=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. </ref>

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.<ref>Michael J. Steele. "Probability theory and combinatorial optimization". SIAM, Philadelphia (1997). {{isbn|0-89871-380-3}}.</ref><ref>{{cite video|author=Michael J. Steele|title=CBMS Lectures on Probability Theory and Combinatorial Optimization|publisher=University of Cambridge|year=2011|url=http://sms.cam.ac.uk/collection/1189351}}</ref>

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,<ref>{{Cite journal|doi= 10.1007/BF02810577|issn= 0021-2172|volume= 115|issue= 1|pages= 1–24|last1= Lindenstrauss|first1= Elon|authorlink1=Elon Lindenstrauss|last2= Weiss|first2= Benjamin|authorlink2=Benjamin Weiss|title= Mean topological dimension|journal= [[ Israel Journal of Mathematics]]|year= 2000|cita= citeseerx:  10.1.1.30.3552}} Teorema 6.1</ref>
<ref>{{Cite journal|doi= 10.1007/BF02790325|issn= 0021-7670|volume= 48|issue= 1|pages= 1–141|last1= Ornstein|first1= Donald S.|authorlink1=Donald Samuel Ornstein|last2= Weiss|first2= Benjamin|authorlink2=Benjamin Weiss|title= Entropy and isomorphism theorems for actions of amenable groups|journal= [[ Journal d'Analyse Mathématique]]|year= 1987}}</ref><ref>{{Cite journal|doi= 10.1023/A:1009841100168|issn= 1385-0172|volume= 2|issue= 4|pages= 323–415|last= Gromov|first= Misha|title= Topological Invariants of Dynamical Systems and Spaces of Holomorphic Maps: I|journal= Mathematical Physics, Analysis and Geometry|year= 1999|s2cid= 117100302}}</ref> y por otro lado, de un semigrupo cancelador susceptible por la izquierda.<ref>{{Cite journal|arxiv= 1209.6179|last1= Ceccherini-Silberstein|first1= Tullio|title= An analogue of Fekete's lemma for subadditive functions on cancellative amenable semigroups|journal= [[Journal d'Analyse Mathématique]]|volume= 124|pages= 59–81|last2= Krieger|first2= Fabrice|last3= Coornaert|first3= Michel|year= 2014|doi= 10.1007/s11854-014-0027-4}} Teorema 1.1</ref>

===Funciones===
{{teorema|título='''Teorema:'''<ref>Hille 1948, Theorem 6.6.1. (Measurability is stipulated in Sect. 6.2 "Preliminaries".)</ref>|1= Para cada función subaditiva [[Función medible|medible]] <math>f : (0,\infty) \to \R,</math> existe el límite <math>\lim_{t\to\infty} \frac{f(t)}{t}</math> y es igual a <math>\inf_{t > 0} \frac{f(t)}{t}</math> (el límite puede ser <math>-\infty.</math>)}}

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, <math>f(x) \ge f(x+y) - f(y)</math>. Por lo tanto, <math>f(0) \ge f(0+y) - f(y)= 0</math>

Una [[función cóncava]] <math>f: [0,\infty) \to \mathbb{R}</math> con <math>f(0) \ge 0</math> también es subaditiva. Para ver esto, primero se observa que <math>f(x) \ge \textstyle{\frac{y}{x+y}} f(0) + \textstyle{\frac{x}{x+y}} f(x+y)</math>. Entonces, al observar la suma de este límite para <math>f(x)</math> y <math>f(y)</math>, finalmente se verificará que ''f'' es subaditiva.<ref>{{cite book|last= Schechter|first=Eric|author-link=Eric Schechter|title=Handbook of Analysis and its Foundations|publisher=Academic Press|location= San Diego|year=1997|isbn=978-0-12-622760-4}}, p.314,12.25</ref>

El negativo de una función subaditiva es [[Superaditividad|superaditiva]].


==Ejemplos en varios dominios==

===Entropía===

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 [[Entropía de von Neumann|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 [[subaditividad fuerte de la entropía cuántica|análogo cuántico]].

===Economía===

La subaditividad es una propiedad esencial de algunas [[Curva de costo|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ía de escala|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===

La subaditividad es una de las propiedades deseables de la [[medida de riesgo coherente]] en [[gestión de riesgos]].<ref name="Rau-Bredow">{{Cite journal|doi= 10.3390/risks7030091|title= Bigger Is Not Always Safer: A Critical Analysis of the Subadditivity Assumption for Coherent Risk Measures|year= 2019|last1= Rau-Bredow|first1= H.|journal= Risks|volume= 7|issue= 3|pages= 91|hdl= 10419/257929|hdl-access= free}}</ref> 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 [[Distribución normal|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 <math> V </math> en el nivel de confianza <math> 1-p </math> 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,

:<math> \text{VaR}_p \equiv z_{p}\sigma_{\Delta V}= z_{p}\sqrt{\sigma_x^2+\sigma_y^2+2\rho_{xy}\sigma_x \sigma_y} </math>

donde <math> z_p </math> es el inverso de la [[función de distribución]] normal en el nivel de probabilidad <math> p </math>, <math> \sigma_x^2,\sigma_y^2 </math> son las variaciones de los rendimientos de las posiciones individuales y <math> \rho_{xy} </math> es el [[Coeficiente de correlación de Pearson|medida de correlación lineal]] entre los rendimientos de las dos posiciones individuales. Como la [[varianza]] siempre es positiva,

:<math> \sqrt{\sigma_x^2+\sigma_y^2+2\rho_{xy}\sigma_x \sigma_y} \leq \sigma_x + \sigma_y </math>

Por lo tanto, el valor riesgo gaussiano es subaditivo para cualquier valor de <math> \rho_{xy} \in [-1,1] </math> y, en particular, es igual a la suma de las exposiciones al riesgo individuales cuando <math> \rho_{xy}=1 </math>, que es el caso de que no haya efectos de diversificación en el riesgo de la cartera.

===Termodinámica===

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

===Combinatoria en palabras===

Un [[Lenguaje formal|lenguaje]] <math>L</math> factorial es aquel en el que si una [[Cadena de caracteres|palabra]] está en <math>L</math>, entonces todos los [[subcadena de caracteres|factores]] de esa palabra también están en <math>L</math>. En combinatoria de palabras, un problema común es determinar el número <math>A(n)</math> de palabras de longitud <math>n</math> en un lenguaje factorial. Claramente <math>A(m+n) \leq A(m)A(n)</math>, por lo que <math>\log A(n)</math> es subaditivo y, por lo tanto, el lema de Fekete puede usarse para estimar el crecimiento de <math>A(n)</math>.<ref name=shur>{{cite journal|last=Shur|first=Arseny|title=Growth properties of power-free languages|journal=Computer Science Review|date=2012|volume=6|issue=5–6|pages=187–208|doi=10.1016/j.cosrev.2012.09.001}}</ref>

Para cada <math>k \geq 1</math>, muestreense dos cadenas de longitud <math>n</math> de manera uniforme y aleatoria en el alfabeto <math>1, 2, ..., k</math>. La longitud esperada de la [[problema de subsecuencia común más larga|subsecuencia común más larga]] es una función ''superaditiva'' de <math>n</math> y, por lo tanto, existe un número <math>\gamma_k \geq 0</math>, de modo que la longitud esperada crece como <math>\sim \gamma_k n</math>. Al verificar el caso con <math>n=1</math>, fácilmente se tiene que <math>\frac 1k < \gamma_k \leq 1</math>. Sin embargo, se sabe que el valor exacto incluso de <math>\gamma_2</math> solo está entre 0,788 y 0,827.<ref>{{Cite journal|last=Lueker|first=George S.|date=May 2009|title=Improved bounds on the average length of longest common subsequences|url=https://dl.acm.org/doi/10.1145/1516512.1516519|journal=Journal of the ACM|language=en|volume=56|issue=3|pages=1–38|doi=10.1145/1516512.1516519|s2cid=7232681|issn=0004-5411}}</ref>

==Véase también==
*[[Propiedad molar aparente]]
*[[Integral de Choquet]]
*[[Superaditividad]]
*[[Desigualdad triangular]]

==Referencias==
{{listaref}}

==Bibliografía==
*[[György Pólya]] y [[Gábor Szegő]]. "Problems and theorems in analysis, volume 1". Springer-Verlag, New York (1976). {{isbn|0-387-05672-6}}.
*[[Einar Hille]]. "[https://archive.org/details/functionalanalys017173mbp Functional analysis and semi-groups]". American Mathematical Society, New York (1948).
*N.H. Bingham, A.J. Ostaszewski. "Generic subadditive functions." Proceedings of American Mathematical Society, vol. 136, no. 12 (2008), pp.&nbsp;4257–4266.

==Enlaces externos==
* {{PlanetMath attribution|id=4615|title=subadditivity}}

{{Control de autoridades}}
[[Categoría:Análisis matemático]]
[[Categoría:Sucesiones]]
[[Categoría:Tipos de funciones]]