Теорема Шаудера о неподвижной точке - Schauder fixed-point theorem

В Теорема Шаудера о неподвижной точке является продолжением Теорема Брауэра о неподвижной точке к топологические векторные пространства, который может иметь бесконечное измерение. Он утверждает, что если ${\displaystyle K}$ непустой выпуклый замкнутое подмножество Хаусдорф топологическое векторное пространство ${\displaystyle V}$ и ${\displaystyle T}$ является непрерывным отображением ${\displaystyle K}$ в себя так, что ${\displaystyle T(K)}$ содержится в компактный подмножество ${\displaystyle K}$, тогда ${\displaystyle T}$ имеет фиксированная точка.

Следствие, названное Теорема Шефера о неподвижной точке, особенно полезно для доказательства существования решений нелинейный уравнения в частных производных Теорема Шефера на самом деле является частным случаем далеко идущего Теорема Лере – Шаудера. что ранее было доказано Юлиуш Шаудер и Жан Лере Утверждение выглядит следующим образом:

Позволять ${\displaystyle T}$ - непрерывное и компактное отображение банахова пространства ${\displaystyle X}$ в себя, так что набор

${\displaystyle \{x\in X:x=\lambda Tx{\mbox{ for some }}0\leq \lambda \leq 1\}}$

ограничено. потом ${\displaystyle T}$ имеет фиксированную точку.

История

Теорема была выдвинута и доказана для частных случаев, таких как банаховы пространства, Юлиушем Шаудером в 1930 году. Его гипотеза для общего случая была опубликована в Шотландская книга. В 1934 г. Тихонов доказал теорему для случая, когда K компактное выпуклое подмножество локально выпуклый Космос. Эта версия известна как Теорема Шаудера – Тихонова о неподвижной точке. Б. В. Сингбал доказал теорему для более общего случая, когда K может быть некомпактным; доказательство можно найти в приложении к книге Бонсалла (см. ссылки).

Смотрите также

• Теоремы о неподвижной точке
• Теорема Банаха о неподвижной точке
• Теорема Какутани о неподвижной точке

использованная литература

• Дж. Шаудер, Der Fixpunktsatz в Funktionalräumen, Studia Math. 2 (1930), 171–180
• А. Тихонов, Ein Fixpunktsatz, Mathematische Annalen 111 (1935), 767–776
• Ф. Ф. Бонсалл, Лекции о некоторых теоремах функционального анализа о неподвижной точке, Бомбей 1962 г.
• Д. Гилбарг, Н. Трудингер, Эллиптические дифференциальные уравнения с частными производными второго порядка.. ISBN  3-540-41160-7.
• Э. Зейдлер, Нелинейный функциональный анализ и его приложения, я - Теоремы о неподвижной точке

внешние ссылки

• «Теорема Шаудера», Энциклопедия математики, EMS Press, 2001 [1994]
• "Теорема Шаудера о неподвижной точке". PlanetMath. с приложенным доказательством (для случая банахова пространства).