Теорема Брауэра о неподвижной точке: различия между версиями

[отпатрулированная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
м Удаление принудительных пробелов в формулах по ВП:РДБ.
Строка 6:
Обычно теорема формулируется в следующем виде: ''Любое непрерывное отображение замкнутого шара в себя в конечномерном [[евклидово пространство|евклидовом пространстве]] имеет неподвижную точку.''
 
Более подробно, рассмотрим замкнутый шар в ''n''-мерном пространстве <math>B^n\subset \mathbb R^n</math>. Пусть <math>f \colon B^n\to B^n\!\,</math> — некоторое непрерывное отображение этого шара в себя (не обязательно строго внутрь себя, не обязательно [[биекция|биективное]], т.е. даже не обязательно [[сюръекция|сюръективное]]). Тогда найдется такая точка <math>x\in B^n</math>, что <math>f(x)=x\!\,</math>.
 
== Доказательство ==
 
Из подсчёта [[гомологии|гомологических]] или [[гомотопическая группа|гомотопических групп]] сферы и шара вытекает, что не существует [[ретракт|ретракции]] шара на его границу.