2014 dxdy logo

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

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




 
 Изометрия векторных простанств
Сообщение04.07.2008, 04:34 
Аватара пользователя
Пусть $X$, $Y$ --- нормированные векторные пространства над $\mathbb{R}$ и $f : X \to Y$ --- отображение, такое что $\| f(x) - f(y) \| = \| x-y \|$ при любых $x,y \in X$ и $f(0)=0$.

Известно (на первом курсе вроде бы рассказывали), что если $X = \mathbb{R}^n$ и $Y = \mathbb{R}^m$, то $f$ с таким свойством является линейным гомеоморфизмом $X$ на образ $f$ (то есть $f$ сохраняет расстояния и линейные комбинации).

Останется ли это верным, если $X$ и/или $Y$ заменить на произвольные нормированные (банаховы, предгильбертовы, гильбертовы) пространства?

 
 
 
 
Сообщение04.07.2008, 05:36 
Аватара пользователя
Для предгильбертовых пространств это верно. Ваши условия эквивалентны тому, что $f$ сохраняет скалярные произведения. Тогда при любых $\lambda,\mu\in\mathbb R$, $x,y\in X$
$\|f(\lambda x+\mu y)-\lambda f(x)-\mu f(y)\|^2=\ldots=\|(\lambda x+\mu y)-\lambda x-\mu y\|^2=0$.

 
 
 
 
Сообщение04.07.2008, 08:32 
Аватара пользователя
в конечномерном случае доказательство основано на том, что все нормы эквивалентны, думаю, что в случае произвольных банаховых пространств ответ "нет", но доказать это не умею

 
 
 
 
Сообщение04.07.2008, 08:56 
См. теорему Мазура -- Улама.

 
 
 
 
Сообщение04.07.2008, 09:17 
Аватара пользователя
RIP писал(а):
Ваши условия эквивалентны тому, что $f$ сохраняет скалярные произведения.


Поясните, пожалуйста, этот момент подробнее.

Мне вот что непонятно. Надо доказать, что $(f(x),f(y)) = (x,y)$. Имеем

$$
4(f(x),f(y)) = \| f(x) + f(y) \|^2 - \| f(x) - f(y) \|^2
$$

$\| f(x) - f(y) \|^2$ можно заменить на $\| x-y \|^2$ по условию. Но почему $\| f(x) + f(y) \|^2$ можно заменить на $\| x+y \|^2$?

Добавлено спустя 18 минут 59 секунд:

AGu, спасибо за ссылку. Благодаря ей, кстати, выяснилось, что я упустил важное условие на $f$ --- сюрьективность (либо строгую выпуклость). Как показывает пример в тексте по этой ссылке, условие на сюрьективность (строгую выпуклость) существенно: без него линейности может не быть даже в случае $X = \mathbb{R}$ и $Y = \mathbb{R}^2$.

Хотя в случае предгильбертовости пространств $X$ и $Y$ строгая выпуклость выполняется автоматически :)

 
 
 
 
Сообщение04.07.2008, 09:31 
Аватара пользователя
$2(f(x),f(y))=\|f(x)-f(0)\|^2+\|f(y)-f(0)\|^2-\|f(x)-f(y)\|^2=$
$=\|x-0\|^2+\|y-0\|^2-\|x-y\|^2=2(x,y).$
В обратную сторону аналогично.

 
 
 
 
Сообщение04.07.2008, 09:36 
Аватара пользователя
RIP писал(а):
$2(f(x),f(y))=\|f(x)-f(0)\|^2+\|f(y)-f(0)\|^2-\|f(x)-f(y)\|^2=$
$=\|x-0\|^2+\|y-0\|^2-\|x-y\|^2=2(x,y).$
В обратную сторону аналогично.


Спасибо. Не тем равенством пользовался :)

 
 
 
 
Сообщение04.07.2008, 09:56 
RIP писал(а):
$2(f(x),f(y))=\|f(x)-f(0)\|^2+\|f(y)-f(0)\|^2-\|f(x)-f(y)\|^2=$
$=\|x-0\|^2+\|y-0\|^2-\|x-y\|^2=2(x,y).$
В обратную сторону аналогично.

Это т.наз. "поляризационные тождества" -- билинейная форма всегда выражается через некоторую комбинацию квадратичных. В комплексном пространстве тоже верно, только если форма полуторалинейна (как оно и есть для скалярного произведения), то и тождества немножко другие.

 
 
 
 
Сообщение04.07.2008, 10:27 
Аватара пользователя
AGu писал(а):

:oops:

 
 
 
 
Сообщение04.07.2008, 10:36 
Аватара пользователя
А я вот чего так и не понял.
Профессор Снэйп писал(а):
Пусть $X$, $Y$ --- нормированные векторные пространства над $\mathbb{R}$...

После этого все стали бодренько обсуждать связь нормы и скалярного произведения. А вот я краем уха слыхал, что не всякая норма порождается каким-либо скалярным произведением. Или я сейчас "не в теме"? :shock:

 
 
 
 
Сообщение04.07.2008, 10:50 
Аватара пользователя
Brukvalub писал(а):
Или я сейчас "не в теме"? :shock:


После ответа AGu уже нет. Ибо он дал нам замечательную ссылку, пройдя по которой, можно прочитать доказательство (кстати, очень красивое, я, разобравшись в нём, получил много удовольствия) для произвольных нормированных пространств.

Ситация получилась такая. Заявленное мною утверждение неверно даже в случае $X = \mathbb{R}$ и $Y = \mathbb{R}^2$. Однако оно верно, если дополнительно потребовать либо строгую выпуклость $Y$, либо сюрьективность $f$. Ну и если норма на $Y$ задана скалярным произведением, то тоже верно, поскольку строгая выпуклость следует из предгильбертовости.

Кстати, там ещё говорится, что при $Y = l_p$ для $1 < p < \infty$ утверждение тоже верно.

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


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