WikiSort.ru - Не сортированное

Теорема Какутани о неподвижной точке — обобщение теоремы Брауэра о неподвижной точке на многозначные функции.

Формулировка

Пусть ${\displaystyle S}$ — непустое компактное выпуклое подмножество евклидова пространства. Пусть ${\displaystyle \phi \colon S\to 2^{S}}$ — многозначная функция на ${\displaystyle S}$ , такая, что множество ${\displaystyle \phi (x)\subset S}$ непусто и выпукло для всех ${\displaystyle x\in S}$ , и имеет замкнутый график, то есть множество

${\displaystyle \{\,(x,y)\in S\times S\mid \,y\in \phi (x)\}}$

замкнуто. Тогда ${\displaystyle \phi (x)}$ имеет неподвижную точку, то есть существует точка ${\displaystyle x\in S}$ такая, что ${\displaystyle x\in \phi (x)}$ .

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

• Теорему Какутани можно свести к теореме Брауэра аппроксимацией.

• Теорему Какутани можно вывести из леммы Шпернера аналогично теореме Брауэра.

История

Теорема доказана Сидзуо Какутани в 1941 году^[1] чтобы доказать теорему о минимаксе в антагонистической игре.

Она была использована Джоном Нэшем при доказательстве существования равновесия Нэша в знаменитой двухстраничной статье^[2], которая принесла ему Нобелевскую премию по экономике.

Литература

Ссылки

• Савватеев А. В. Основные теоремы теории игр // Общеинститутский семинар «Коллоквиум МИАН» 4 декабря 2014 г. 16:00, г. Москва, конференц-зал МИАН (ул. Губкина, 8).