2014 dxdy logo

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

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




Начать новую тему Ответить на тему На страницу 1, 2, 3  След.
 
 банаховы пространства
Сообщение07.12.2010, 18:42 


02/10/10
376
Пусть банахово пространство $X$ таково , что для любого открытого шара $B\subset X$ и любого $f\in C(B,X)$ множество $f(B)$ открыто в $X$. Доказать, что $X$ конечномерно.

 Профиль  
                  
 
 Re: банаховы пространства
Сообщение07.12.2010, 20:00 


02/10/10
376
забыл сказать : любого инъективного $f$






простая задача, неинтересно

 Профиль  
                  
 
 Re: банаховы пространства
Сообщение15.12.2010, 00:45 
Заслуженный участник


01/12/05
458
moscwicz в сообщении #384725 писал(а):
простая задача, неинтересно


Вы имели в виду, что достаточно рассмотреть компактный оператор, спектр которого не содержит 0?

 Профиль  
                  
 
 Re: банаховы пространства
Сообщение24.12.2010, 06:05 
Заслуженный участник


05/06/08
1097
Правый сдвиг в $l_2$ тоже наводит на кое-какие соображения.

 Профиль  
                  
 
 Re: банаховы пространства
Сообщение24.12.2010, 14:24 
Заслуженный участник


05/06/08
1097
Вопрос возник по ходу дела, для случая банахова пространства-не гильбертова (ну и пусть к тому же нет базиса Шаудера).
Естественной выглядит идея выделения в $X$ базиса Гамеля (заведомо несчетного) $\{ e_{\lambda}\}_{\lambda}$ из единичных векторов, в котором выделяется счетное подмножество $\{ e_i\}_{i=1}^{\infty}$. Строим линейный оператор $T$ такой, что $T(e_i) = e_{i+1}, i \geq 1$; на остальных векторах из $\{ e_{\lambda}\}_{\lambda}$ оператор тождественен.

Вопрос - а будет ли такой оператор непрерывен? Кажется, да.

Похоже, что нет, хотя и удивляет:
Пусть $e_1$ остается как есть, а $e_i$ заменим на $\hat e_i := -e_1+ \frac {C} {i^2} e_i$, $i \geq 2$.
$x_n:= (n-1) e_1 + \sum\limits_{i=2}^{n} \hat{e}_i$; тогда при должном выборе $C$ имеем $\forall n: \| x_n \| \leq 1$.
Однако $T x_n = (n-1) \hat e_2 + \sum\limits_{i=3}^{n+1} \hat e_i = -2 (n-1) e_1 + \sum\limits_{i=2}^{n+1} \frac {C} {i^2} e_i$, откуда все понятно.

Тогда остается вопрос - а как же дорешивать исходную задачу, если такая наивная конструкция не срабатывает?

 Профиль  
                  
 
 Re: банаховы пространства
Сообщение25.12.2010, 12:52 
Заслуженный участник


09/05/08
1155
Новосибирск
id в сообщении #390931 писал(а):
[...] Строим линейный оператор $T$ такой, что $T(e_i) = e_{i+1}, i \geq 1$ [...]
Наблюдается попытка изоморфно отобразить $X$ на гиперплоскость в $X$.
Кажется, что это возможно для любого бесконечномерного БП $X$.
Самому Банаху это казалось возможным.
И более 50 лет это всем казалось возможным.
Но в 1993 году William Timothy Gowers (филдсовский медалист 1998 года)
привел пример беконечномерного БП $X$, для которого это невозможно.
Более того, его $X$ не изоморфно никакому своему подпространству,
кроме самого $X$. Очень весело.

 Профиль  
                  
 
 Re: банаховы пространства
Сообщение01.01.2011, 23:55 
Заслуженный участник


05/06/08
1097
AGu
Занятно.
А какое "простое решение" тогда имел ввиду автор? :-)

 Профиль  
                  
 
 Re: банаховы пространства
Сообщение02.01.2011, 00:14 


02/10/10
376
ответ уже был дан
Юстас в сообщении #387611 писал(а):
Вы имели в виду, что достаточно рассмотреть компактный оператор, спектр которого не содержит 0?

 Профиль  
                  
 
 Re: банаховы пространства
Сообщение04.01.2011, 15:44 
Заслуженный участник


05/06/08
1097
Цитата:
достаточно рассмотреть компактный оператор, спектр которого не содержит 0?

Почему, кстати, он существует? Ведь спектр компактного оператора в бесконечномерном пространстве содержит $0$ всегда.

 Профиль  
                  
 
 Re: банаховы пространства
Сообщение04.01.2011, 16:43 


02/10/10
376
Да это я прозевал, про спектр это слишком. Нужно искать компактный инъективный оператор. Я это умею делать только в сепарабельном рефлексивном (может рефлексивность не нужна, а тогда нужна сепарабельность сопряженного пространства, надо подумать) банаховом пространстве $X$.
Делается это так. Пусть $\{e_k'\}$ -- счетная плотная система в $X',\quad \|e_k'\|'=1.$ Система векторов $\{e_k\}\subset X$ такова, что $(e_i,e_j')=\delta_{ij},\quad \|e_i\|=1$
Зададим оператор $A:X\to X$ формулой $Ax=\sum_{k=1}^\infty 2^{-k}(x,e'_k)e_k$.
Этот оператор компактен и $\ker A=\{0\}$.

 Профиль  
                  
 
 Re: банаховы пространства
Сообщение04.01.2011, 17:16 
Заслуженный участник


05/06/08
1097
Где нужна рефлексивность, пока что не вижу.
Есть кстати результат, что если сопряженное пространство сепарабельно, то и исходное тоже.

 Профиль  
                  
 
 Re: банаховы пространства
Сообщение04.01.2011, 17:17 


02/10/10
376
если нет рефлексивности то непонятно откуда $e_k$ брать

 Профиль  
                  
 
 Re: банаховы пространства
Сообщение05.01.2011, 09:25 
Заслуженный участник


05/06/08
1097
moscwicz
А если есть - то как именно выполняется построение, обеспечивающее то, что при $i \neq j \  \ e_j'(e_i) = 0$?
Да, рефлексивность даёт то, что норма достигается.

 Профиль  
                  
 
 Re: банаховы пространства
Сообщение05.01.2011, 09:36 


02/10/10
376
id в сообщении #395482 писал(а):
А если есть - то как именно выполняется построение, обеспечивающее то, что при $i \neq j \ \ e_j'(e_i) = 0$?

мы строим линейный функционал на $X'$ который на $e_j'$ равен 1 , на всех остальных векторах-- 0. Поскольку этот функционал является элементом $X''$, ему по изоморфизму соответствует вектор из $X$, это и есть вектор $e_j$.

-- Wed Jan 05, 2011 10:39:49 --

id в сообщении #395482 писал(а):
Да, рефлексивность даёт то, что норма достигается.

это не понял

 Профиль  
                  
 
 Re: банаховы пространства
Сообщение05.01.2011, 10:00 
Заслуженный участник


05/06/08
1097
Цитата:
это не понял

Сначала в посте шла система функционалов $\{ e_i' \}$ единичной нормы, а только потом система единичных векторов исходного пространства, на которых норма достигается. Я и подумал, что вектора строятся по функционалам.

Ибо есть теорема о том, что в рефлексивном пр-ве функционал достигает нормы.
Цитата:
мы строим линейный функционал на $X'$ который на $e_j'$ равен 1 , на всех остальных векторах-- 0

А почему он существует?
Конечно, если $ E$ есть замкнутое подпространство нормированного пространства $X$, $x \notin E$ есть вектор из $X$, то можно построить огр. функционал $f \in X^*$ аннулирующийся на $E$ такой, что $f(x) = 1$.
Но ведь замыкание $\mathrm{span} \{e_i ': i \neq j\}$ может совпадать со всем пространством.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 31 ]  На страницу 1, 2, 3  След.

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: nnosipov, Shadow


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group