2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 теорема Брауэра, неподвижная точка
Сообщение10.12.2009, 23:15 
В одном из курсов нам сформулировали теорему Брауэра в следующем виде: пусть
$K=\left\{\bar x=(x_1,\,x_2,\ldots,x_n)\geqslant 0|\sum\limits_{i=1}^{n}x_i=1\right\}$
и $f:K\to K$ -- непрерывное отображение. Тогда у этого отображения существует неподвижная точка.

Пусть теперь дано невыпуклое множество, состоящее из трех отрезков $Y = \left\{\{x = 0,\, -1 \leqslant y \leqslant 0\},\{-1\leqslant x\leqslant0, y = -x\},\{0\leqslant x\leqslant1, y = x\}\right\},$
на нем определена непрерывное отображение $f:Y\to Y.$ Существует ли у этого отображения неподвижная точка?

 
 
 
 Re: теорема Брауэра
Сообщение11.12.2009, 11:01 
Аватара пользователя
Множество $Y$ является ретрактом треугольника с вершинами в концах отрезков, а для треугольника теорема о неподвижной точки верна. Это подсказка.

 
 
 
 Re: теорема Брауэра
Сообщение11.12.2009, 13:33 
Т. е вы предлагаете представить изначальное непрерывное отображение в виде суперпозиции непрерывных отображений, у которых есть неподвижные точки? а почему тогда у исходного отображения будет неподвижная точка?

 
 
 
 Re: теорема Брауэра
Сообщение11.12.2009, 15:23 
Если $g:\ \Delta\mapsto Y$ и $f:\ Y\mapsto Y$, то $f\circ g:\ \Delta\mapsto Y$. Последнее непрерывно и, следовательно, имеет неподвижную точку. Причём лежащую на образе $f$, т.е. заведомо на $Y$. И осталось лишь выбрать $\Delta$ так, чтобы...

 
 
 
 Re: теорема Брауэра
Сообщение11.12.2009, 23:07 
ewert в сообщении #270238 писал(а):
Последнее непрерывно и, следовательно, имеет неподвижную точку.

Почему?

 
 
 
 Re: теорема Брауэра
Сообщение12.12.2009, 09:55 
По Брауэру -- оно непрерывно на треугольнике.

 
 
 
 Re: теорема Брауэра
Сообщение12.12.2009, 12:19 
Аватара пользователя
Насколько я понимаю, теорема Брауэра справедлива для любого подмножества $\mathbb{R}^n$, гомеоморфного замкнутому шару. В частности, для любого треугольника, четырёхугольника и т. п. Действительно, если $B$ --- замкнутый шар, $X \subseteq \mathbb{R}^n$ и $\varphi : X \to B$ --- гомеоморфизм, то отображение $g = \varphi \circ f \circ \varphi^{-1} : B \to B$ --- непрерывное отображение $B$ в себя, и если $g(x_0) = x_0$, то $f(\varphi^{-1}(x_0)) = \varphi^{-1}(x_0)$.

A вот как построить непрерывное отображение внутренности круга в себя, не имеющее неподвижной точки? И можно ли добиться того, чтобы это отображение было биективным?

 
 
 
 Re: теорема Брауэра
Сообщение12.12.2009, 13:41 
Профессор Снэйп в сообщении #270579 писал(а):
A вот как построить непрерывное отображение внутренности круга в себя, не имеющее неподвижной точки?

A как построить непрерывное отображение внутренности отрезка в себя, не имеющее неподвижной точки? И можно ли выбрать его биективным?

 
 
 
 Re: теорема Брауэра
Сообщение12.12.2009, 13:45 
Профессор Снэйп в сообщении #270579 писал(а):
A вот как построить непрерывное отображение внутренности круга в себя, не имеющее неподвижной точки? И можно ли добиться того, чтобы это отображение было биективным?
С точностью до гомеоморфизма внутренность круга — это плоскость, а плоскость можно, например, сдвинуть.

 
 
 
 Re: теорема Брауэра
Сообщение12.12.2009, 13:53 
Или, если уж наглядно. В пространстве рисуем плоскость $y=z$ и выбираем на нём эллипс так, чтобы в проекциях на плоскости $XOZ$ и $XOY$ получались круги. Поначалу берём тривиальную биекцию, связывающую эти круги через плоскость. А потом поверхность, натянутую на эллипс, чуток продавливаем вниз.

 
 
 
 Re: теорема Брауэра
Сообщение12.12.2009, 16:33 
Аватара пользователя
AGu в сообщении #270601 писал(а):
С точностью до гомеоморфизма внутренность круга — это плоскость, а плоскость можно, например, сдвинуть.

Доступно. Мог бы и сам догадаться :oops:

 
 
 [ Сообщений: 11 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group