WikiDer > Теорема Какутани о неподвижной точке

В математический анализ, то Теорема Какутани о неподвижной точке это теорема о неподвижной точке за многозначные функции. Это обеспечивает достаточные условия для многозначной функции, определенной на выпуклый, компактный подмножество Евклидово пространство иметь фиксированная точка, т.е. точка, которая нанесенный на карту в набор, содержащий его. Теорема Какутани о неподвижной точке является обобщением Теорема Брауэра о неподвижной точке. Теорема Брауэра о неподвижной точке является фундаментальным результатом топология что доказывает существование неподвижных точек для непрерывные функции определены на компактных выпуклых подмножествах евклидовых пространств. Теорема Какутани распространяет это на многозначные функции.

Теорема была развита Шизуо Какутани в 1941 г.,^[1] и использовался Джон Нэш в его описании Равновесия Нэша.^[2] Впоследствии он нашел широкое применение в теория игры и экономика.^[3]

Заявление

Теорема Какутани гласит:^[4]

Позволять S быть непустой, компактный и выпуклый подмножество некоторых Евклидово пространство р^п.

Позволять φ: S → 2^S быть многозначная функция на S со следующими свойствами:

• φ имеет а закрытый график;
• φ(Икс) непусто и выпукло для всех Икс ∈ S.

потом φ имеет фиксированная точка.

Определения

Многозначная функция

А многозначная функция φ из набора Икс к набору Y какое-то правило, которое связывает один или больше указывает в Y с каждой точкой в Икс. Формально это можно рассматривать как обыкновенный функция из Икс к набор мощности из Y, записанный как φ: Икс → 2^Y, так что φ(Икс) непусто для каждого ${ displaystyle x in X}$. Некоторые предпочитают термин переписка, который используется для обозначения функции, которая для каждого входа может возвращать несколько выходов. Таким образом, каждый элемент домена соответствует подмножеству одного или нескольких элементов диапазона.

Замкнутый график

Многозначная функция φ:Икс → 2^Y говорят, что имеет закрытый график если множество {(Икс,у) | у ∈ φ(Икс)} это закрыто подмножество Икс × Y в топология продукта т.е. для всех последовательностей ${ displaystyle {x_ {n} } _ {n in mathbb {N}}}$ и ${ displaystyle {y_ {n} } _ {n in mathbb {N}}}$ такой, что ${ displaystyle x_ {n} to x}$, ${ displaystyle y_ {n} to y}$ и ${ displaystyle y_ {n} in varphi (x_ {n})}$ для всех ${ displaystyle n}$, у нас есть ${ Displaystyle у в varphi (х)}$.

Фиксированная точка

Пусть φ:Икс → 2^Икс - многозначная функция. потом а ∈ Икс это фиксированная точка из φ если а ∈ φ(а).

Примеры

Фиксированные точки для φ(x) = [1−Икс/2, 1−Икс/4]

Функция с бесконечным числом неподвижных точек

Функция: ${ Displaystyle varphi (х) = [1-х / 2, ~ 1-х / 4]}$, показанная на рисунке справа, удовлетворяет всем условиям Какутани и действительно имеет много фиксированных точек: любая точка на линии под углом 45 ° (пунктирная линия красного цвета), которая пересекает график функции (заштрихована серым цветом), является фиксированной точка, поэтому на самом деле в данном конкретном случае существует бесконечное количество неподвижных точек. Например, Икс = 0,72 (пунктирная линия синего цвета) - фиксированная точка, поскольку 0,72 ∈ [1 - 0,72 / 2, 1 - 0,72 / 4].

Функция с уникальной фиксированной точкой

Функция:

${ displaystyle varphi (x) = { begin {case} 3/4 & 0 leq x <0,5 {} [0,1] & x = 0,5 1/4 & 0,5$

удовлетворяет всем условиям Какутани и действительно имеет фиксированную точку: Икс = 0,5 - фиксированная точка, поскольку Икс содержится в интервале [0,1].

Функция, не удовлетворяющая выпуклости

Функция без фиксированных точек

Требование, чтобы φ(Икс) будет выпуклой для всех Икс существенно для справедливости теоремы.

Рассмотрим следующую функцию, определенную на [0,1]:

${ displaystyle varphi (x) = { begin {case} 3/4 & 0 leq x <0,5 {3/4,1 / 4 } & x = 0,5 1/4 & 0,5$

Функция не имеет фиксированной точки. Хотя он удовлетворяет всем остальным требованиям теоремы Какутани, его значение не может быть выпуклым при Икс = 0.5.

Функция, не удовлетворяющая замкнутому графику

Рассмотрим следующую функцию, определенную на [0,1]:

${ displaystyle varphi (x) = { begin {cases} 3/4 & 0 leq x <0,5 1/4 & 0,5 leq x leq 1 end {cases}}}$

Функция не имеет фиксированной точки. Хотя он удовлетворяет всем остальным требованиям теоремы Какутани, его график не замкнут; например, рассмотрим последовательности Икс_п = 0.5 - 1/п, у_п = 3/4.

Альтернативное заявление

В некоторых источниках, в том числе в оригинальной статье Какутани, используется концепция верхняя гемонепрерывность формулируя теорему:

Позволять S быть непустой, компактный и выпуклый подмножество некоторых Евклидово пространство р^п. Позволять φ: S→2^S быть верхний полунепрерывный многозначная функция на S со свойством, что φ(Икс) непусто, замкнуто и выпукло для всех Икс ∈ S. потом φ имеет фиксированная точка.

Это утверждение теоремы Какутани полностью эквивалентно утверждению, данному в начале статьи.

Мы можем показать это, используя теорема о замкнутом графике для многозначных функций,^[5] что говорит о том, что для компактного Хаусдорф пространство диапазона Y, многозначная функция φ: Икс→2^Y имеет замкнутый граф тогда и только тогда, когда он полунепрерывен сверху и φ(Икс) - замкнутое множество для всех Икс. Поскольку все Евклидовы пространства Хаусдорф (будучи метрические пространства) и φ требуется, чтобы они были замкнутыми в альтернативной формулировке теоремы Какутани, из теоремы о замкнутом графе следует, что эти два утверждения эквивалентны.

Приложения

Теория игры

Теорема Какутани о неподвижной точке может быть использована для доказательства теорема о минимаксе в теории игры с нулевой суммой. Это приложение специально обсуждалось в оригинальной статье Какутани.^[1]

Математик Джон Нэш использовал теорему Какутани о неподвижной точке, чтобы доказать главный результат в теория игры.^[2] Неформально сформулированная теорема влечет существование равновесие по Нэшу в любой конечной игре со смешанными стратегиями для любого числа игроков. Эта работа позже принесла ему Нобелевская премия по экономике. В этом случае:

• Базовый набор S это набор кортежи из смешанные стратегии выбирается каждым игроком в игре. Если у каждого игрока k возможных действий, то стратегия каждого игрока k-набор вероятностей в сумме до 1, так что пространство стратегии каждого игрока является стандартный симплекс в р^k. Потом, S - декартово произведение всех этих симплексов. Это действительно непустое, компактное и выпуклое подмножество р^кн.
• Функция φ (Икс) связывает с каждым кортежем новый кортеж, в котором стратегия каждого игрока является его лучшим ответом на стратегии других игроков в Икс. Поскольку может быть несколько ответов, которые одинаково хороши, φ является многозначным, а не однозначным. Для каждого Икс, φ (Икс) непусто, поскольку всегда есть хотя бы один лучший ответ. Он является выпуклым, поскольку сочетание двух наилучших ответов для игрока по-прежнему является наилучшим ответом для игрока. Можно доказать, что φ имеет замкнутый граф.
• Тогда равновесие по Нэшу игры определяется как фиксированная точка φ, то есть набор стратегий, в которых стратегия каждого игрока является наилучшим ответом на стратегии других игроков. Теорема Какутани гарантирует, что эта неподвижная точка существует.

Общее равновесие

В общее равновесие В экономической теории теорема Какутани использовалась для доказательства существования набора цен, который одновременно уравнивает предложение и спрос на всех рынках экономики.^[6] Существование таких цен было открытым вопросом в экономике, по крайней мере еще с Вальрас. Первое доказательство этого результата было построено Лайонел Маккензи.^[7]

В этом случае:

• Базовый набор S это набор кортежи цен на товары.
• Функция φ (Икс) выбирается так, чтобы его результат отличался от его аргументов, пока цена-кортеж Икс не везде уравнивает спрос и предложение. Задача здесь состоит в том, чтобы построить φ так, чтобы он обладал этим свойством и в то же время удовлетворял условиям теоремы Какутани. Если это можно сделать, то согласно теореме φ имеет неподвижную точку. Учитывая способ его построения, эта фиксированная точка должна соответствовать набору цен, который повсюду уравнивает предложение и спрос.

Справедливое деление

Теорема Какутани о неподвижной точке используется для доказательства существования распределений тортов, которые являются без зависти и Парето эффективный. Этот результат известен как Теорема Веллера.

Схема доказательства

S = [0,1]

Доказательство теоремы Какутани наиболее просто для многозначных функций, определенных над закрытые интервалы реальной линии. Однако доказательство этого случая поучительно, поскольку его общая стратегия может быть перенесена и на многомерный случай.

Пусть φ: [0,1] → 2^[0,1] быть многозначная функция на отрезке [0,1], удовлетворяющем условиям теоремы Какутани о неподвижной точке.

• Создайте последовательность подразделений [0,1] с соседними точками, движущимися в противоположных направлениях.

Позволять (а_я, б_я, п_я, q_я) за я = 0, 1,… быть последовательность со следующими свойствами:

1.	1 ≥ бя > ая ≥ 0	2.	(бя − ая) ≤ 2−я
3.	пя ∈ φ (ая)	4.	qя ∈ φ (бя)
5.	пя ≥ ая	6.	qя ≤ бя

Таким образом, отрезки [а_я, б_я] образуют последовательность подынтервалов [0,1]. Условие (2) говорит нам, что эти подынтервалы продолжают уменьшаться, в то время как условия (3) - (6) говорят нам, что функция φ сдвигает левый конец каждого подинтервала вправо и сдвигает правый конец каждого подинтервала влево.

Такую последовательность можно построить следующим образом. Позволять а₀ = 0 и б₀ = 1. Пусть п₀ - любая точка из φ (0) и q₀ - любая точка из φ (1). Тогда сразу выполняются условия (1) - (4). Более того, поскольку п₀ ∈ φ (0) ⊂ [0,1], должно быть так, что п₀ ≥ 0 и, значит, условие (5) выполнено. Аналогично условие (6) выполняется q₀.

Теперь предположим, что мы выбрали а_k, б_k, п_k и q_k удовлетворяющие (1) - (6). Позволять,

м = (а_k+б_k)/2.

потом м ∈ [0,1], поскольку [0,1] является выпуклый.

Если есть р ∈ φ (м) такие, что р ≥ м, тогда берем,

а_k+1 = м

б_k+1 = б_k

п_k+1 = р

q_k+1 = q_k

В противном случае, поскольку φ (м) непусто, должен быть s ∈ φ (м) такие, что s ≤ м. В этом случае пусть,

а_k+1 = а_k

б_k+1 = м

п_k+1 = п_k

q_k+1 = s.

Можно проверить, что а_k+1, б_k+1, п_k+1 и q_k+1 удовлетворяют условиям (1) - (6).

• Найдите точку ограничения подразделений.

В декартово произведение [0,1] × [0,1] × [0,1] × [0,1] является компактный набор к Теорема Тихонова. Поскольку последовательность (а_п, п_п, б_п, q_п) лежит в этом компакте, он должен иметь сходящийся подпоследовательность посредством Теорема Больцано-Вейерштрасса. Зафиксируем внимание на такой подпоследовательности и пусть ее предел равен (а*, п*,б*,q*). Поскольку график φ замкнут, должно быть, что п* ∈ φ (а*) и q* ∈ φ (б*). Кроме того, по условию (5) п* ≥ а* и по условию (6) q* ≤ б*.

Но с тех пор (б_я − а_я) ≤ 2^−я по условию (2),

б* − а* = (lim б_п) - (lim а_п) = lim (б_п − а_п) = 0.

Так, б* равно а*. Позволять Икс = б* = а*.

Тогда у нас есть ситуация, когда

φ (Икс) ∋ q* ≤ Икс ≤ п* ∈ φ (Икс).

• Покажите, что предельная точка - это неподвижная точка.

Если п* = q* тогда п* = Икс = q*. С п* ∈ φ (Икс), Икс - неподвижная точка φ.

В противном случае мы можем написать следующее. Напомним, что мы можем параметризовать линию между двумя точками a и b как (1-t) a + tb. Используя наш вывод выше, что q Икс) является выпуклый и

${ displaystyle x = left ({ frac {xq ^ {*}} {p ^ {*} - q ^ {*}}} right) p ^ {*} + left (1 - { frac { xq ^ {*}} {p ^ {*} - q ^ {*}}} right) q ^ {*}}$

это еще раз следует, что Икс должен принадлежать φ (Икс) поскольку п* и q* делать и, следовательно, Икс - неподвижная точка φ.

S это п-суплекс

В размерах больше единицы, п-симплексы являются простейшими объектами, на которых может быть доказана теорема Какутани. Неофициально п-simplex - это многомерная версия треугольника. Доказательство теоремы Какутани для многозначной функции, определенной на симплексе, по существу не отличается от ее доказательства для интервалов. Дополнительная сложность в многомерном случае существует на первом этапе разделения домена на более мелкие части:

• Если мы разбиваем интервалы на два посередине в одномерном случае, барицентрическое подразделение используется для разбиения симплекса на более мелкие субсимплексы.
• Если в одномерном случае мы могли бы использовать элементарные аргументы, чтобы выбрать один из полуинтервалов таким образом, чтобы его конечные точки перемещались в противоположных направлениях, в случае симплексов комбинаторный результат известен как Лемма Спернера используется, чтобы гарантировать существование соответствующего субсимплекса.

После того, как эти изменения были внесены в первый шаг, второй и третий этапы поиска предельной точки и доказательства того, что это фиксированная точка, почти не отличаются от одномерного случая.

Произвольный S

Теорема Какутани для n-симплексов может быть использована для доказательства теоремы для произвольного компактного выпуклого S. И снова мы используем ту же технику для создания более тонких подразделений. Но вместо треугольников с прямыми краями, как в случае n-симплексов, мы теперь используем треугольники с изогнутыми краями. Формально мы находим симплекс, покрывающий S а затем переместите проблему из S в симплекс с помощью деформационный отвод. Тогда мы можем применить уже установленный результат для n-симплексов.

Бесконечномерные обобщения

Теорема Какутани о неподвижной точке была распространена на бесконечномерные локально выпуклые топологические векторные пространства к Ирвинг Гликсберг^[8]и Кай Фан.^[9]Чтобы сформулировать теорему в этом случае, нам понадобится еще несколько определений:

Верхняя гемиконтинуальность

Многозначная функция φ:Икс→2^Y является верхний полунепрерывный если для каждого открытый набор W ⊂ Y, набор {Икс| φ (Икс) ⊂ W} открыт в Икс.^[10]

Карта Какутани

Позволять Икс и Y быть топологические векторные пространства и φ:Икс→2^Y - многозначная функция. Если Y выпукло, то φ называется Карта Какутани если он полунепрерывен сверху и φ (Икс) непусто, компактно и выпукло для всех Икс ∈ Икс.^[10]

Тогда теорему Какутани – Гликсберга – Фана можно сформулировать следующим образом:^[10]

Пусть S - непустой, компактный и выпуклый подмножество из Хаусдорф локально выпуклое топологическое векторное пространство. Пусть φ: S → 2^S быть картой Какутани. Тогда φ имеет неподвижную точку.

Соответствующий результат для однозначных функций - это Теорема Тихонова о неподвижной точке.

Есть еще одна версия, что формулировка теоремы становится такой же, как и в Евклидово дело:^[5]

Пусть S - непустой, компактный и выпуклый подмножество из локально выпуклый Пространство Хаусдорфа. Пусть φ: S → 2^S быть многозначная функция на S, который имеет замкнутый граф и свойство φ (x) непусто и выпукло для всех x ∈ S.Тогда множество фиксированные точки функции φ непусто и компактно.

Анекдот

В своем учебнике теории игр^[11] Кен Бинмор вспоминает, как Какутани однажды спросил его на конференции, почему так много экономистов посетили его выступление. Когда Бинмор сказал ему, что это, вероятно, из-за теоремы Какутани о неподвижной точке, Какутани был озадачен и ответил: "Что такое теорема Какутани о неподвижной точке?"

Рекомендации

дальнейшее чтение

• Граница, Ким С. (1989). Теоремы о неподвижной точке в приложениях к экономике и теории игр. Издательство Кембриджского университета. (Стандартный справочник по теории неподвижной точки для экономистов. Включает доказательство теоремы Какутани.)
• Дугунджи, Джеймс; Анджей Гранас (2003). Теория фиксированной точки. Springer. (Комплексное математическое рассмотрение теории неподвижной точки на высоком уровне, включая бесконечномерные аналоги теоремы Какутани.)
• Эрроу, Кеннет Дж.; Ф. Х. Хан (1971). Общий конкурентный анализ. Холден-Дэй. (Стандартная ссылка на общее равновесие теория. В главе 5 используется теорема Какутани для доказательства существования равновесных цен. Приложение C включает доказательство теоремы Какутани и обсуждает ее связь с другими математическими результатами, используемыми в экономике.)

внешняя ссылка

• «Теорема Какутани», Энциклопедия математики, EMS Press, 2001 [1994]
• Теорема Какутани не может быть сведена к теореме Брауэра с помощью непрерывной функции выбора.