2014 dxdy logo

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

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




 
 Замкнутое подпространство рефлексивного рефлексивно
Сообщение24.03.2025, 20:26 
Задача: доказать, что замкнутое векторное подпространство рефлексивного нормированного пространства рефлексивно.
Решение: Пусть $X_0$ -- замкнутое векторное подпространство рефлексивного нормированного пространства $X$. Пусть $L\in X_0^{\ast\ast}$. Рассмотрим функционал на пространстве $X^\ast$, заданный следующим образом $X^\ast\ni F\mapsto L(F\mid_{X_0})\in\mathbb C$, где $F\mid_{X_0}$ -- сужение функционала $F\in X^\ast$ на подпространство $X_0$. Это непрерывный линейный функционал на $X^\ast$, то есть элемент пространства $X^{\ast\ast}$. Так как $X$ по условию рефлексивно, то существует вектор $l\in X$ такой, что $$L(F\mid_{X_0})=F(l)$$ для любого $F\in X^\ast$. Отсюда получаем, что $l\in X_0$, та как иначе по теореме Хана-Банаха нашелся бы $F\in X^\ast$ такой, что $F\mid_{X_0}\equiv 0$, но $F(l)\neq 0$, что противоречит приведенному равенству. Но $F\mid_{X_0}$ при всевозможных $F\in X^\ast $ опять же по теореме Хана-Банаха дает всё $X_0^\ast$. Поэтому $L(f)=f(l)$ для всех $f\in X_0^\ast$, где $l\in X_0$. Это и означает рефлексивность $X_0$.

Верное доказательство? Все ок?

 
 
 
 Re: Замкнутое подпространство рефлексивного рефлексивно
Сообщение24.03.2025, 20:51 

(Оффтоп)

Пространство рефлексивно тогда и только тогда, когда всякая ограниченная последовательность содержит слабо сходящуюся подпоследовательность. Пусть
$\{x_n\}\subset X_0$ -- ограничена. Следовательно, существует $\{x_{n_j}\}\subset \{x_n\}$ которая сходится слабо к $\tilde x\in X$ в смысле $\sigma(X,X')$ Поскольку сильно замкнутое выпуклое множество слабо замкнуто, $\tilde x\in X_0 $
Но всякий $f\in X'_0$ продолжается на $X$.
Вроде все доказано.

 
 
 
 Re: Замкнутое подпространство рефлексивного рефлексивно
Сообщение24.03.2025, 21:18 
drzewo
А что по поводу моего доказательства?

 
 
 
 Re: Замкнутое подпространство рефлексивного рефлексивно
Сообщение24.03.2025, 21:38 
я не вижу ошибок

 
 
 
 Re: Замкнутое подпространство рефлексивного рефлексивно
Сообщение25.03.2025, 04:31 
drzewo
Спасибо

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


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