Conozco muchos ejemplos de resultados matemáticos que se han desarrollado por primera vez en la economía, en su mayoría resultado del análisis de conjuntos de valores y del análisis convexo. Mi ignorancia de la ingeniería y la física me impide enumerar muchos ejemplos allí. Muchos resultados en transporte óptimo se han utilizado ciertamente en muchos otros ámbitos.
El teorema del punto fijo de Kakutani también debería estar en la lista, en mi humilde opinión. Ahora bien, Shizuo Kakutani era un matemático puro que publicó este resultado puramente matemático en una revista de matemáticas puras:
Kakutani, Shizuo. "Una generalización del teorema del punto fijo de Brouwer". Duke mathematical journal 8.3 (1941): 457-459.
Entonces, ¿por qué debería contar? Pues bien, el teorema del punto fijo de Kakutani es en gran medida una variante (con una demostración simplificada) de un lema que John von Neumann introdujo en el coloquio matemático de Karl Menger para resolver un modelo de crecimiento económico.
Von Neumann, John. "Sobre un sistema de ecuaciones económicas". Ergebn. coloquio matemático. Viena. Vol. 8. 1937.
En realidad, se puede demostrar la existencia de soluciones al modelo por métodos más sencillos, como finalmente hizo David Gale, pero aquí está el resultado de von Neumann en lenguaje moderno:
Teorema: Dejemos que $C$ y $K$ sean subconjuntos convexos y compactos no vacíos de espacios euclidianos (de no necesariamente la misma dimensión). Sea $E$ y $F$ sean subconjuntos cerrados de $C\times K$ tal que para cada $x\in C$ , el conjunto $E_x=\{y\in K\mid (x,y)\in E\}$ es no vacía, convexa y compacta y tal que para cada $y\in K$ el conjunto $F^y=\{x\in C:(x,y)\in F\}$ es no vacío, convexo y compacto. Entonces $E\cap F\neq\emptyset$ .
Que el teorema del punto fijo de Kakutani implica el resultado de von Neumann se muestra en el artículo de Kakutani. Pero el teorema del punto fijo de Kakutani es también una consecuencia fácil del teorema de von Neumann. Si $C=K$ entonces los supuestos de $E$ dicen que $E$ es el gráfico de una correspondencia hemicontinua superior con valores no vacíos, convexos y compactos de $C$ a sí mismo. Que esta correspondencia tenga un punto fijo equivale a un punto de la forma $(x,x)$ en el gráfico. Ahora bien, si dejamos que $F$ siendo la diagonal de $C$ Es decir $F=\{(x,x)\mid x\in C\}$ entonces $E$ y $F$ satisfacen las condiciones del resultado de von Neumann, por lo que la intersección debe ser vacía y la correspondencia con el grafo $E$ debe tener un punto fijo.
Se puede encontrar una reimpresión del artículo de von Neumann en este libro . Se puede encontrar una traducción al inglés aquí .