Теорема Брауэра о неподвижной точке

Теорема Брауэра о неподвижной точке — важная теорема о неподвижной точке, применимая к непрерывным отображениям в конечномерных пространствах, являющаяся основной для некоторых более общих теорем.

ИсторияПравить

Приоритет в открытии теоремы принадлежит Пирсу Георгиевичу Болю: в своей работе 1904 года он сформулировал и доказал теорему эквивалентную теореме о неподвижной точке и описал применение этой теоремы к теории дифференциальных уравнений. Однако его результат не был замечен. В 1909 году Брауэр переоткрыл эту теорему для случая $n=3$$n=3$ .

ФормулировкаПравить

Обычно теорема формулируется в следующем виде: Любое непрерывное отображение замкнутого шара в себя в конечномерном евклидовом пространстве имеет неподвижную точку.

Более подробно, рассмотрим замкнутый шар в n-мерном пространстве $B^n\subset <!--\; \subset \; -->{\mathbb{R}}^n$$B^{n}\subset {\mathbb R}^{n}$ . Пусть $f:<!--\; :\; -->B^n\to <!--\; \to \; -->B^n$$f\colon B^{n}\to B^{n}$  — некоторое непрерывное отображение этого шара в себя (не обязательно строго внутрь себя, не обязательно биективное, т.е. даже не обязательно сюръективное). Тогда найдется такая точка $x\in <!--\; \in \; -->B^n$$x\in B^{n}$ , что $f(x)=x$$f(x)=x$ .

ДоказательствоПравить

Из подсчёта гомологических или гомотопических групп сферы и шара вытекает, что не существует ретракции шара на его границу.

Пусть теперь $f:<!--\; :\; -->B^n\to <!--\; \to \; -->B^n$$f\colon B^{n}\to B^{n}$  — отображение шара в себя, не имеющее неподвижных точек. Построим на его основе ретракцию шара на его границу. Для каждой точки $x$$x$  рассмотрим прямую, проходящую через точки $x$$x$  и $f(x)$$f(x)$  (она единственна, так как по предположению неподвижных точек нет.). Пусть $y$$y$  — точка пересечения этой прямой с границей шара, причем $x$$x$  лежит между $f(x)$$f(x)$  и $y$$y$ . Легко видеть, что отображение $x\mapsto <!--\; \mapsto \; -->y$$x\mapsto y$  — ретракция шара на его границу. Противоречие.

Вариации и обобщенияПравить

• Теорема Какутани о неподвижной точке
• Теорема Шаудера о неподвижной точке (англ.) является обобщением теоремы Брауэра на случай выпуклых компактов в банаховых пространствах.
• Теорема Шаудера — Тихонова является обобщением теоремы Шаудера на случай локально выпуклых топологических векторных пространств.
• Лемма Шпернера — комбинаторный аналог теоремы Брауэра.
• Теорема об инвариантности области — основанная на теореме утверждение что образ непрерывного инъективного отображения Евклидова пространства в себя открыт.

СледствияПравить

• Теорема о причёсывании ежа
• Теорема Лефшеца

ЛитератураПравить

• Шашкин Ю. А. Неподвижные точки. — М.: Наука, 1989. — 80 с. — (Популярные лекции по математике). — 92 000 экз.