Этот результат действительно является версией максимальной теоремы Берге. Если существует непрерывная функция такая, что тогда и только тогда, когда , можно получить результат напрямую из максимальной теоремы Берге. Если локально компактен, как в случае , то такую функцию всегда можно найти, это следует из теоремы 1 в книге Мас-Колелла « О непрерывном представлении предзаказов» (по крайней мере, если метризуем, я не уверен в этом). Больше о таких «совместно непрерывных функциях полезности» можно найти в главе 8 « Представления порядков предпочтений».u:M×H→Rx⪯ezu(e,x)≤u(e,z)HH=RnM1995, Bridges & Mehta.
Теперь у Дебре не было такого результата, поэтому он работал с отношениями предпочтений и, по существу, обличал теорему максимума Берге (обобщение математически просто). Почему он так сделал? Чтобы понять это, нужно понять суть статьи Дебре, которая находит топологию отношений предпочтения, которая имеет свойства nioce и делает экономическое поведение непрерывным. Необходимость в таком результате исходит из литературы по экономике с целым рядом агентов.
Что это означает, что континуум агентской экономики является пределом последовательности конечных экономик? Один из ответов заключается в том, что распределение по характеристикам агентов сходится к распределению характеристик в континуальной экономике, поэтому понятие конвергенции - это конвергенция в распределении. Для реализации этой идеи необходимо топологизировать характеристики агентов. Теперь для агента характерны его одаренность и ее предпочтения (а в более общих моделях - ее набор потребления). Существует естественная топология эндаументов, евклидова топология, но топологизировать предпочтения не так просто, и именно это сделал Дебре в своей статье. Изложение этого подхода к распределению можно найти в Hildenbrand 1974, Ядро и равновесия большой экономики .
Теперь есть случаи, когда хотелось бы применить теорему Берге для некомпактных множеств выбора. Это может быть важно при изучении экономик с бесконечномерными товарными пространствами, в которых замкнутость и ограничение не подразумевают компактность. Один из способов решения этой проблемы - найти компакт, чтобы соответствие было компактным и непустым, если оно ограничено этим набором. Существует большая, очень техническая литература по «обобщенным играм» или «абстрактным экономикам» (в основном игры с нормальной формой, в которых пространства стратегий зависят от действий других), и они косвенно часто содержат некомпактные обобщения теоремы Берге. Если вы можете взять в руки книгу, посмотрите главу 4 «Сянь-чжи юань 1999», « Теория ККМ и приложения в нелинейном анализе»., Однако у меня сложилось впечатление, что эти результаты оказались не столь полезными в экономических приложениях. Чтобы доказать существование вальрасовских равновесий в моделях с бесконечномерными товарными пространствами, обычно используются разные методы.