# Lema de Shapley–Folkman

El lema de Shapley-Folkman es el resultado de una geometría convexa con aplicaciones en economía matemática que describe la Suma de Minkowski en un espacio vectorial. La adición de Minkowski se define como la adición de los miembros de los conjuntos: por ejemplo, agregar el conjunto que consiste en los enteros cero y uno a sí mismo produce el conjunto que consiste en cero, uno y dos:
    {0, 1} + {0, 1} = {0 + 0, 0 + 1, 1 + 0, 1 + 1} = {0, 1, 2}.
El lema de Shapley-Folkman y los resultados relacionados proporcionan una respuesta afirmativa a la pregunta: "¿Es la suma de muchos conjuntos casi convexa ?" Un conjunto se define como convexo si cada segmento de línea que une dos de sus puntos es un subconjunto en el conjunto: por ejemplo, el disco sólido $\bullet$ es un conjunto convexo pero el círculo $\circ$ no lo es, porque el segmento de línea une dos puntos distintos $\oslash$ no es un subconjunto del círculo. El lema de Shapley-Folkman sugiere que si el número de conjuntos sumados excede la dimensión del espacio vectorial, entonces su suma de Minkowski es aproximadamente convexa.
El lema de Shapley-Folkman se introdujo como un paso en la prueba del teorema de Shapley-Folkman, que establece un límite superior en la distancia entre la suma de Minkowski y su envolvente convexa. El casco convexo de un conjunto Q es el conjunto convexo más pequeño que contiene Q. Esta distancia es cero si y solo si la suma es convexa. El teorema vinculado a la distancia depende de la dimensión D y de las formas de los conjuntos de suma y resta, pero no del número de conjuntos sumatorios N, cuando N > D. Las formas de una subcolección de solo D summand-sets determinan el límite en la distancia entre el promedio de N de Minkowski:
    $^1$⁄$_N$ (Q$_1$ + Q$_2$ + ... + Q$_N$)
y su casco convexo. A medida que N aumenta hasta el infinito, el límite disminuye a cero (para summand-sets de tamaño uniformemente acotado). El límite superior del teorema de Shapley-Folkman se redujo por el corolario de Starr (alternativamente, el teorema de Shapley-Folkman-Starr).
El lema de Lloyd Shapley y Jon Folkman fue publicado por primera vez por el economista Ross M. Starr, quien estaba investigando la existencia de equilibrios económicos mientras estudiaba con Kenneth Arrow. En su artículo, Starr estudió una economía convexificada, en la cual los conjuntos no convexos fueron reemplazados por sus cascos convexos; Starr demostró que la economía convexificada tiene equilibrios que se aproximan por "cuasi-equilibrios" de la economía original; además, demostró que todo cuasiequilibrio tiene muchas de las propiedades óptimas de los equilibrios verdaderos, que se ha comprobado que existen para las economías convexas. Siguiendo el documento de Starr de 1969, los resultados de Shapley-Folkman-Starr han sido ampliamente utilizados para mostrar que los resultados centrales de la teoría económica (convexa) son buenas aproximaciones para las economías grandes con no convexidades; por ejemplo, los cuasi-equilibrios se aproximan a los equilibrios de una economía convexificada. "La derivación de estos resultados en forma general ha sido uno de los principales logros de la teoría económica de la posguerra", escribió Roger Guesnerie. El tema de los conjuntos no convexos en economía ha sido estudiado por muchos premios Nobel, además de Lloyd Shapley, que ganó el premio en 2012: Arrow (1972), Robert Aumann (2005), Gérard Debreu (1983), Tjalling Koopmans (1975), Paul Krugman (2008) y Paul Samuelson (1970); el tema complementario de conjuntos convexos en economía ha sido enfatizado por estos galardonados, junto con Leonid Hurwicz, Leonid Kantorovich (1975) y Robert Solow (1987).
El lema Shapley-Folkman también tiene aplicaciones en optimización y teoría de la probabilidad. En la teoría de optimización, el lema Shapley-Folkman se ha utilizado para explicar la solución exitosa de problemas de minimización que son sumas de muchas funciones.</ref> El lema de Shapley-Folkman también se ha utilizado en pruebas de la "Ley de los grandes números" para conjuntos aleatorios, un teorema que se ha demostrado solo para conjuntos convexos.