2014 dxdy logo

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

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




На страницу 1, 2  След.
 
 Задача о слабой и сильной сходимости (в Банаховом пространст
Сообщение16.02.2007, 21:18 
Аватара пользователя
Помогите, пожалуйста, доказать, что если $Af_n$ слабо сходится к $Af$ и подпоследовательность $Af_n_k$ сильно сходится к $Af^*$, то $Af_n$ сильно сходится к $Af$ и $f$ совпадает с $f^*$. (Здесь $A$- линейный оператор, а $f_n$- некая последовательность). Я так понимаю, что последовательность сходится слабо, если сходится функционал от этой последовательности. Но что дальше? Как связать это с подпоследовательностью?

 
 
 
 
Сообщение17.02.2007, 00:27 
Аватара пользователя
Последовательность $\{x_n\}$ векторов некоторого нормированного пространства $X$ слабо сходится к элементу $x\in X$, если для любого непрерывного линейного функционала $\varphi\in X^*$ верно $\varphi(x_n)\underset{n\to\infty}{\longrightarrow}\varphi(x)$.

Уточните, какое пространство имеется в виду в задаче. Например, утверждение неверно в $l^2$.

Кроме того, ни в каком пространстве нельзя утверждать, что $f=f^*$. Достаточно взять $A=0$ (нулевой оператор.)

 
 
 
 
Сообщение17.02.2007, 00:34 
Аватара пользователя
Речь идет о Банаховом пространстве.
Нулевой оператор во внимание не берем.
Надо, мне кажется, как-то отталкиваться от сильной сходимости ПОДпоследовательности?

 
 
 
 
Сообщение17.02.2007, 00:42 
Аватара пользователя
Во-первых, $l^2$ банахово.
Во-вторых, утверждение (если выкинуть $f=f^*$) верно только для таких пространств, в которых понятия сильной и слабой сходимости совпадают. Но для таких пространств утверждение очевидно.
В третьих, достаточно взять любой оператор с нетривиальным ядром, чтобы убедиться, что необязательно $f=f^*$.

Добавлено спустя 3 минуты 34 секунды:

Короче, проверьте условие задачи.

 
 
 
 
Сообщение17.02.2007, 00:47 
Аватара пользователя
Получается: в произвольном Банаховом пространстве нельзя утверждать, что из слабой сходимости $Af_n$ и сильной сходимости подпоследовательности $Af_n_k$ следует сильная сходимость для $Af_n$?

 
 
 
 
Сообщение17.02.2007, 00:52 
Аватара пользователя
Получается. Сами судите, берем последовательность $\{x_n\}$, которая слабо сходится к $x$, но не сходится сильно. Теперь рассмотрите последовательность $x_1,x,x_2,x,x_3,x,\ldots$.

 
 
 
 
Сообщение17.02.2007, 00:58 
Аватара пользователя
Что же делать?!
Научный руководитель представил это как элементарную задачу по линейному функциональному анализу. Может что-то упущено в условии?

 
 
 
 
Сообщение17.02.2007, 01:00 
Аватара пользователя
Мироника писал(а):
Может что-то упущено в условии?

Вот и я о том же.

 
 
 
 
Сообщение17.02.2007, 01:03 
Аватара пользователя
Большое спасибо!
Буду думать! Надо же как-то "выкручиваться". :?

 
 
 
 
Сообщение17.02.2007, 08:15 
Аватара пользователя
Можно только сказать, что эта самая подпоследовательность, которая сходится сильно, сходится и слабо. Но так как слабый предел единственен, но эти два предела совпадают.

Приведите руководителю пример RIP-а.

 
 
 
 
Сообщение17.02.2007, 17:28 
Аватара пользователя
Но ведь не у каждой слабо сходящейся последовательности есть подпоследовательность, которая сходится сильно? А если такая подпоследовательность есть, то какой можно сделать вывод?

 
 
 
 
Сообщение17.02.2007, 19:26 
Аватара пользователя
Мироника писал(а):
Но ведь не у каждой слабо сходящейся последовательности есть подпоследовательность, которая сходится сильно? А если такая подпоследовательность есть, то какой можно сделать вывод?

Вывод можно сделать только один: что есть подпоследовательность, которая сходится (сильно).

 
 
 
 
Сообщение17.02.2007, 19:30 
Аватара пользователя
И о поведении самой последовательности никакого вывода сделать нельзя?

 
 
 
 
Сообщение17.02.2007, 19:33 
Я вот думаю, в исходном условии задачи нигде $\forall A$ не пропущено?

 
 
 
 
Сообщение17.02.2007, 19:34 
Аватара пользователя
Нельзя. Я же приводил пример.

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


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