2014 dxdy logo

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

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




 
 Задача по метрическим пространствам
Сообщение08.11.2009, 09:15 
Помогите, пожалуйста, решить такую задачу повышенной сложности.
Пусть $(X, \rho)$ - компактное метрическое пространство, а преобразование f таково, что $\rho(f(x), f(y))>=\rho(x, y)$. Доказать, что f(X)=X и что f - изометрия.

Я здесь пока вижу только инъективность f.

 
 
 
 Re: Задача по метрическим пространствам
Сообщение08.11.2009, 11:36 
Это мне не на зачет или контрольную, просто хочу разобраться.

 
 
 
 Re: Задача по метрическим пространствам
Сообщение08.11.2009, 12:11 
topic16887-30.html
Внизу - ссылка на статью.

 
 
 
 Re: Задача по метрическим пространствам
Сообщение08.11.2009, 14:04 
Не согласен с решением. Утверждение "Поэтому точка (x, y) является предельной для последовательности S" в общем случае неверно. Поскольку S - сходящаяся, то она имеет единственную предельную точку - свой предел, которой только и может быть (x, y). Но это не может следовать из того, что
$0=\lim_{j>i\rightarrow\infty}\rho(f^{k_i}(x), f^{k_j}(x))\ge\lim_{j>i\rightarrow\infty}\rho(x, f^{k_j-k_i}(x))$, так как разность $k_j-k_i$ не обязательно является индексом сходящейся подпоследовательности S.
Вот предложенное мне решение Доценка.
Я до сих пор не смог найти решения этой задачи - то, что имеется на форуме, ошибочно.

 
 
 
 Re: Задача по метрическим пространствам
Сообщение08.11.2009, 14:18 
amiable
Cсылку на это решение от В.В. Доценко я и имел ввиду, если что.

Не понимаю, что вам не нравится? Мы выбрали сходящуюся подпоследовательность ${(f^{k_i} x,f^{k_i} y)}$ точек компакта $K \times K$. У нее последовательность как первых, так и вторых координат сходится по определению топологии произведения.
Предел тот равен $0$ в силу фундаментальности.

Предельная точка - это не то же самое, что предел, кстати.

-- Вс ноя 08, 2009 15:19:36 --

И, кстати, зря вы так ругаетесь на найденное на форуме решение. Оно правильное, но в самом деле чуть неряшливо записано.

 
 
 
 Re: Задача по метрическим пространствам
Сообщение08.11.2009, 14:52 
Предел - это предельная точка; для сходящейся последовательности множество предельных точек состоит из единственного элемента - её предела.

Цитата:
Предел тот равен 0 в силу фундаментальности.

Это и не отрицается.

Но из полученного неравенства не следует, что первые координаты подпоследовательности стремятся к x, а вторые к y, потому что, как я сказал, разность $k_j-k_i$ не обязательно является индексом сходящейся подпоследовательности последовательности S, а только индексом некоторой другой подпоследовательности $(f^k(x), f^k(y))$. Поэтому (x, y) будет предельной точкой, но не обязательно для S, а для исходной подпоследовательности $(f^k(x), f^k(y))$. Нельзя утверждать, что (x, y) - предельная точка S, вот в чём проблема!

 
 
 
 Re: Задача по метрическим пространствам
Сообщение08.11.2009, 18:13 
Ну, как же достаточно?! Ведь (x, y) - предельная точка нефундаментальной $(f^k(x), f^k(y))$, а не S, и дальнейшие рассуждения не проходят! Прочитайте внимательно решение Доценко и мое сообщение.

Добавлено:
Это был ответ на сообщение от ewert, которое исчезло, пока он набирался. Но решение Доценко, тем не менее, представляется неверным.

 
 
 
 Re: Задача по метрическим пространствам
Сообщение08.11.2009, 18:49 
Аватара пользователя
amiable в сообщении #259730 писал(а):
Поэтому (x, y) будет предельной точкой, но не обязательно для S, а для исходной подпоследовательности $(f^k(x), f^k(y))$. Нельзя утверждать, что (x, y) - предельная точка S, вот в чём проблема!
Видимо, в решении опечатка. Действительно, нельзя утверждать, что $(x,y)$ --- предельная точка $S$, но это и не нужно. Достаточно того, что $(x,y)$ предельная для $(f^k(x), f^k(y))$.

 
 
 
 Re: Задача по метрическим пространствам
Сообщение08.11.2009, 20:28 
В решении не очипятка, в решении разгильдяйство. Я вот думаю, как это решение в чувство привесть, но пока не получается...

 
 
 
 Re: Задача по метрическим пространствам
Сообщение09.11.2009, 12:48 
amiable в сообщении #259769 писал(а):
Ну, как же достаточно?! Ведь (x, y) - предельная точка нефундаментальной $(f^k(x), f^k(y))$, а не S, и дальнейшие рассуждения не проходят! Прочитайте внимательно решение Доценко и мое сообщение.


Мы спасены!
Эта незначительная ошибка в доказательстве жутко сбивает с толку, но оно, тем не менее, верное. Доценко правильно показал, что (x, y) - предельная точка исходной последовательности ($(f^k(x), f^k(y))$, а не S, как написано), а неравенство $\rho(f(x), f(y)) - \rho(x, y) > \epslion$ исключает её существование, так как из него следует $\rho(f^k(x), f^k(y)) - \rho(x, y) > \epsilon$ для любого k, дальше использовать неравенство четырёхугольника. Противоречие!
Наконец-то я нашёл решение этой задачи. Ещё раз большое спасибо за ссылку!

 
 
 
 Re: Задача по метрическим пространствам
Сообщение10.11.2009, 07:39 
Аватара пользователя
задача уже обсуждалась - см.
topic3487.html
topic17017.html

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


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