Me gustaría saber cómo el último teorema del trabajo de Debreu "Agentes económicos vecinos" (La Decision 171 (1969): 85-90; reimpreso en G. Debreu, Mathematical Economics: Twenty Papers of Gerard Debreu (1986), pp. 173-178):
Teorema. _Para un espacio topológico $M$ y un espacio métrico $H$ , dejemos que $\varphi$ sea un mapeo de valor de conjunto desde $M$ a $H$ que es de valor compacto (es decir $\varphi(e)$ es compacto para cada $e \in M$ ) y continuo . Además, para cada $e \in M$ dejar $\lesssim_e$ ser una preorden total en $\varphi(e)$ tal que el conjunto $\{(e, x, y) \in M \times H \times H : x \lesssim_e y\}$ está cerrado. Entonces el mapeo conjunto-valorado $\varphi^0$ de $M$ a $H$ donde_
$\varphi^0(e) = \{z \in \varphi(e) : x \lesssim_e z \ \ \mbox{for all} \ x \in \varphi(e)\}, \quad e \in M,$
_es de valor compacto y hemicontinuo superior ._
Obsérvese que el teorema se parece al conocido Teorema del Máximo de Berge. Antes del enunciado del teorema, Debreu escribe que casos especiales del mismo "se han utilizado repetidamente en la teoría del equilibrio económico y en la teoría de los juegos", pero no da ninguna referencia; en el propio artículo, se utiliza para demostrar la hemicontinuidad superior de la correspondencia de la demanda para un agente en una economía de intercambio.
Estoy especialmente interesado en saber si ha habido algún uso o generalización reciente de este teorema, por ejemplo, para mapeos que no son de valor compacto.
Preguntas: ¿Cuáles son algunos buenos ejemplos y/o referencias de aplicaciones del teorema anterior? ¿Se ha generalizado a mapeos que no son de valor compacto?