2014 dxdy logo

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

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




На страницу 1, 2, 3  След.
 
 Лемма о неподвижной точке.
Сообщение22.03.2007, 20:56 
В книге Каток, Хассельблат "Введение в теорию динамических систем" встретил лемму 2.3.2, использующую существование неподвижной точки в интервале (a,b) (a<b) для неубывающей функции f(x), если f(a)>a,f(b)<b (для случая f(a)<a,f(b)>b неподвижная точка может отсутствовать). Указанная лемма верна и без условия непрерывности для f(x). Однако, в доказательстве (в данной книге) использовали условие непрерывности, отсутствующей в условии леммы. То ли забывчивость авторов, то ли их неграмотность.

 
 
 
 Re: Лемма о неподвижной точке.
Сообщение22.03.2007, 21:37 
Аватара пользователя
Руст писал(а):
Указанная лемма верна и без условия непрерывности для f(x).

Вам не трудно привести доказательство леммы без условия непрерывности??

 
 
 
 
Сообщение22.03.2007, 21:40 
Аватара пользователя
Здесь было сообщение, которое могло показаться бессмысленным.

 
 
 
 Re: Лемма о неподвижной точке.
Сообщение22.03.2007, 21:46 
shwedka писал(а):
Руст писал(а):
Указанная лемма верна и без условия непрерывности для f(x).

Вам не трудно привести доказательство леммы без условия непрерывности??

В условиии имеется ещё f(a)>a,f(b)<b (кроме неубывания).

 
 
 
 Re: Лемма о неподвижной точке.
Сообщение22.03.2007, 21:50 
Аватара пользователя
Руст писал(а):
В условиии имеется ещё f(a)>a,f(b)<b (кроме неубывания).

Доказательство предъявите, плиз.

 
 
 
 
Сообщение22.03.2007, 21:55 
Аватара пользователя
Пусть $A=\{x\in[a;b]\mid f(x)>x\}$, $x_0=\sup A$. Тогда $f(x_0)=x_0$.

 
 
 
 
Сообщение22.03.2007, 21:55 
Да. Можно ещё и со стороны b определить дуальное множество B и найти аналогичную неподвижную точку (возможно совпадающую с этим).

 
 
 
 
Сообщение23.03.2007, 10:16 
Можно обобщить эту лемму. Пусть на X задана структура полной решётки: Задано такое упорядочение, что для любых двух элементов x и y существует нижняя верхняя грань и нижняя верхняя грань и для любого подмножества существует нижняя верхняя грань sup (аналогично для случая, когда существует inf). Пусть в X существует минимальный элемент и отображение f:X-->X монотонное (если х>=y, то f(x)>=f(y)), тогда отображение имеет неподвижную точку.
В такой формулировке (без непрерывности) эта лемма обобщает теорему о неподвижной точке для непрерывных отображений компакта в себя. Для этого надо показать, что можно ввести структуру полной решётки, наподобие $x=(x_1,x_2,...,x_n)\ge (y_1,y_2,...,y_n)=y$ тогда и только тогда, когда $x_i\ge y_i \ \forall i$ (упорядочение не линейное), так, чтобы отображение стало монотонной.

 
 
 
 неподвижная точка
Сообщение10.07.2010, 10:45 
Рассмотрим функцию $f:[0,1]\to[0,1]$ такую, что при $x\in(0,1]$ будет $\limsup_{y\to x-0}f(y)\le f(x)$, и при $x\in[0,1)$ будет $\liminf_{y\to x+0}f(y)\ge f(x)$.
Доказать, что $f$ имеет неподвижную точку.

 
 
 
 Re: неподвижная точка
Сообщение10.07.2010, 13:34 
Берём $x_0=\sup\big\{x:\;f(x)\geqslant x\big\}$ (это множество не пусто). Если $f(x_0)>x_0$, то нехорош верхний предел в этой точке справа, а если $f(x_0)<x_0$, то не слава богу слева.

 
 
 
 Re: неподвижная точка
Сообщение10.07.2010, 15:23 
Кстати, функция $f$ - неубывающая. И, любая неубывающая функция имеет неподвижную точку. Аргумент тот же, что и у ewert.

 
 
 
 Re: неподвижная точка
Сообщение10.07.2010, 15:27 
neo66 в сообщении #338386 писал(а):
Кстати, функция $f$ - неубывающая.

Вовсе не факт. Ей лишь "скачками" запрещено убывать.

 
 
 
 Re: неподвижная точка
Сообщение10.07.2010, 15:31 
Да, поторопился. :oops:
Но, второе утверждение верно. :-)

 
 
 
 Re: неподвижная точка
Сообщение10.07.2010, 16:22 
Аватара пользователя
topic6789.html

 i  Темы объединены. // maxal

 
 
 
 Re: Лемма о неподвижной точке.
Сообщение08.08.2010, 23:11 
RIP в сообщении #58990 писал(а):
Пусть , $A=\{x\in[a;b]\mid f(x)>x\}$

Неубывание выглядит как то так $ f(x)\geq f(a)$.
В точке $b$ для функции $f(x)>x$ нарушается краевое условие $f(b)<b$.
Это, конечно, занудство. Я согласен с доказательством, но не согласен с описанием $A$. С уважением,

 
 
 [ Сообщений: 41 ]  На страницу 1, 2, 3  След.


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