Таким образом, очерчены конкретные виды множеств в правых частях соотношений (2.3) и (2.4), определяющих функции совокупных спроса и предложения:
Модель (2.5), в которой функции и определены в виде (3.3) и (3.4), называется моделью Эрроу-Дебре, если выполнены следующие требования.
У‑1. Множество
У‑2. Множество
У‑3. Множество
У‑4. Функция полезности
У‑5. Функция
У‑6. Существует
Условие У‑1, с учетом непрерывности функции прибыли, обеспечивает существование решения задачи (3.2). Условие У‑2 допускает эффективность использования «смешанных» планов производства на уровне всего производственного сектора. Условия У‑3 и У‑4 имеют технический характер. Условие У‑6 требует наличия у каждого потребителя «существенного» начального запаса всех товаров. Оно считается достаточно жестким, но без него (или незначительного его ослабления) нельзя доказать существование конкурентного равновесия в модели Эрроу-Дебре (см. замечание после доказательства теоремы 3.1).
Прежде чем приступить к доказательству теоремы, разъясню несколько терминов и сформулирую вспомогательные утверждения.
Пусть
Отображение F называется полунепрерывным сверху, если из соотношений
Непрерывное отображение всегда полунепрерывно сверху, а обратное неверно. Чтобы полунепрерывное сверху отображение было непрерывным, нужно, чтобы оно было одновременно полунепрерывным снизу, т.е. для каждого
Отображение F называется ограниченным, если для любого
Лемма 3.1. Пусть P, X – выпуклые и компактные подмножества пространства
полунепрерывно сверху, если функция
Пусть
Пусть
Доказательство этого утверждения предоставлено на рисунке.
Рис. 5. Иллюстрация к лемме 3.2.
Точка
Приведем без доказательства теорему существования неподвижной точки.
Доказательство существования равновесия в модели Эрроу-Дебре будет проведено с помощью леммы Гейла, которую сформулируем в терминах элементов рынка. Сначала пронормируем цены, поделив все pk на одну и ту же величину