2014 dxdy logo

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

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




Начать новую тему Ответить на тему На страницу 1, 2  След.
 
 изоморфизмы функциоеальных пространств
Сообщение04.01.2011, 10:52 


02/10/10
376
Оно конечно понятно, что один дурак может столько вопросов задать, что десять умных не справятся.

Тем не менее: изоморфны ли $L^a(0,1)$ и $L^b(0,1)$?; $C[a,b]$ и $C^1[a,b]$? Этим вообще кто-нибудь интересовался? Ведь формулировки на поверхности лежат.

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


11/05/08
32166
Если я правильно понимаю, вопрос навеян вот этой темой; но если так, то тут какая-то аберрация. Если бы $L^a[0;1]$ было бы изоморфно $L^b[0;1]$, то (при $a>b$, для определённости) $L^a[0;1]$ было бы подпространством $L^b[0;1]$. Что, естественно, невозможно, т.к. первое плотно во втором, но не совпадает с ним.

 Профиль  
                  
 
 Re: изоморфизмы функциоеальных пространств
Сообщение04.01.2011, 11:52 


02/10/10
376
ewert в сообщении #395103 писал(а):
Если бы $L^a[0;1]$ было бы изоморфно $L^b[0;1]$, то (при $a>b$, для определённости) $L^a[0;1]$ было бы подпространством $L^b[0;1]$. Что, естественно, невозможно, т.к. первое плотно во втором, но не совпадает с ним.


Это просто неверные рассуждения. Контрпример. Если через $\tilde H^1(0,1)$ обозначить подпространство $H^1(0,1)$, состоящие из функций периода $1$, то $\tilde H^1(0,1)$ плотно в $L^2(0,1)$ и не совпадает с $L^2(0,1)$, но при этом $\tilde H^1(0,1)$ изоморфно $L^2(0,1)$.

Это если говорить формально. А по-существу,
ewert в сообщении #395103 писал(а):
Если бы $L^a[0;1]$ было бы изоморфно $L^b[0;1]$, то (при $a>b$, для определённости) $L^a[0;1]$ было бы подпространством $L^b[0;1]$

педагогам следует понимать, что из того, что два пространства $(X,\|\cdot\|_X)$ и $(Y,\|\cdot\|_Y)$, $X\subseteq Y$ изоморфны совсем не следует, что топология в $X$, индуцированная из $Y$ должна совпадать с родной топологией $X$ порожденной нормой $\|\cdot\|_X$.

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


11/05/08
32166
moscwicz в сообщении #395104 писал(а):
Это просто неверные рассуждения.

Да, это каюсь (хотя и не понял, зачем там периодичность). Придётся к случаю -- ещё подумаю.

--------------------------
ПысПыс насчёт педагогичности, да ещё и назойливой -- не понял совершенно

 Профиль  
                  
 
 Re: изоморфизмы функциоеальных пространств
Сообщение04.01.2011, 19:29 


02/10/10
376
периодичность удобна (мне) потому, что $\{e^{2\pi i x k}\}$ это базис в $L^2(0,1)$ и в $\tilde H^1(0,1)$ (но не во всем $H^1(0,1)$). Из этих соображений изоморфизм очень легко выписывается. Но можно и просто $H^1(0,1)$ использовать, да два бесконечномерных сепарабельных гильбертовых пространства изоморфны

 Профиль  
                  
 
 Re: изоморфизмы функциоеальных пространств
Сообщение05.01.2011, 01:17 
Заслуженный участник
Аватара пользователя


30/01/06
72407
Чё-то я не понял. Я вижу два вопроса:
и как мне кажется, их формулировки не совпадают. Нельзя ли пояснить, ответы на эти вопросы совпадают, или в теме приведён ответ только на один из них (какой)?

 Профиль  
                  
 
 Re: изоморфизмы функциоеальных пространств
Сообщение05.01.2011, 09:41 


02/10/10
376
Munin Второе это не вопрос, а попытка решения
Ни на один мой вопрос ответа дано не было, я думаю, что эти вопросы не очень простые. Не в рамках этого форма, не очень простые, а вообще.

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


11/05/08
32166
Munin в сообщении #395408 писал(а):
и как мне кажется, их формулировки не совпадают.

Если речь о скобках, то в случае интегральной метрики не важно, квадратные они или круглые.

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


30/01/06
72407
А разве вы не огласили уже ответа? По крайней мере на "второй вопрос". Если на ваш ("первый") вопрос ответ сложен, то он меня пока и не интересует.

-- 05.01.2011 10:19:39 --

ewert
Для метрики, может быть, неважно, а для объёма пространства важно. Впрочем, это моя смутная догадка, а так - полагаюсь на ваши пояснения.

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


11/05/08
32166
Munin в сообщении #395499 писал(а):
Для метрики, может быть, неважно, а для объёма пространства важно

А что такое "объём пространства"?...
Если имелись в виду множества функций, образующих пространство, то они фактически одинаковы, т.к. эти функции всё равно определены лишь с точностью до подмножеств меры ноль.

 Профиль  
                  
 
 Re: изоморфизмы функциоеальных пространств
Сообщение05.01.2011, 12:19 
Заслуженный участник
Аватара пользователя


30/01/06
72407
То есть функции, неограниченно растущие на краю интервала, одинаково входят или не входят в то и в другое пространство, так?

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


11/05/08
32166
Munin в сообщении #395564 писал(а):
То есть функции, неограниченно растущие на краю интервала, одинаково входят или не входят в то и в другое пространство, так?

В частности.

 Профиль  
                  
 
 Re: изоморфизмы функциоеальных пространств
Сообщение06.01.2011, 23:26 
Экс-модератор


17/06/06
5004
$L_1$ и $L_\infty$ никому не изомофрны, потому что у них шар квадратный (ну последнее еще и несепарабельно, но это скучно). $L_2$ никому не изомофрно, потому что у него шар круглый. Имхо, надо как-то измерить "круглость" шаров в пространстве. Может, как-то замерять отклонение от равенства параллелограмма? Я в это время суток ничего не соображаю, но вдруг кого-нибудь наведёт ...

На всякий случай также подмечу, что $C_1[a,b]\sim C[a,b]\oplus\mathbb{R}$ (неопределенный интеграл же)

Просто надеялся, что иногда повторять всякие тривиальности - полезно.

А еще на всякий случай надо бы уточнить, идет ли речь об изоморфизме пространств как банаховых, или, скажем, как линейных топологических.

 Профиль  
                  
 
 Re: изоморфизмы функциоеальных пространств
Сообщение07.01.2011, 00:05 
Заслуженный участник
Аватара пользователя


30/01/06
72407
А что такое "шар квадратный"?

 Профиль  
                  
 
 Re: изоморфизмы функциоеальных пространств
Сообщение07.01.2011, 09:16 
Экс-модератор


17/06/06
5004
Munin в сообщении #396141 писал(а):
А что такое "шар квадратный"?
Ну в смысле не строго выпуклый. Сфера содержит отрезки. Это из области что норма не дифференцируема. Слышал краем уха какую-то теорию по этому поводу даже.

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

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



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

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


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

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