2014 dxdy logo

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

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




На страницу 1, 2, 3, 4, 5 ... 7  След.
 
 функция из $C[0,1]\setminus H^1(0,1)$
Сообщение19.02.2009, 13:08 
Здравствуйте!

$H^1(0,1)$ вложено в $C[0,1]$, значит любая функция из $H^1(0,1)$ является непрерывной.
Существует ли непрерывная функция из $C[0,1]$, не принадлежащая $H^1(0,1)$?

Например, подойдёт ли функция Вейерштрасса или Ван-дер-Вардена?

 
 
 
 
Сообщение19.02.2009, 13:47 
Аватара пользователя
$H^1(0,1)$ -- это кто?

 
 
 
 Re: функция из $C[0,1]\setminus H^1(0,1)$
Сообщение19.02.2009, 15:19 
nckg писал(а):
Здравствуйте!

$H^1(0,1)$ вложено в $C[0,1]$, значит любая функция из $H^1(0,1)$ является непрерывной.
Существует ли непрерывная функция из $C[0,1]$, не принадлежащая $H^1(0,1)$?

Например, подойдёт ли функция Вейерштрасса или Ван-дер-Вардена?

Подойдёт, естественно. Они нигде не дифференцируемы, в то время как абсолютно непрерывные функции дифференцируемы почти всюду.

($H^1[0;1]\equiv\left\{\forall u\colon\int_0^1(|u'(x)|+|u(x)|)dx\neq+\infty\right\}$)

 
 
 
 
Сообщение19.02.2009, 19:26 
ewert писал(а):
Подойдёт, естественно. Они нигде не дифференцируемы, в то время как абсолютно непрерывные функции дифференцируемы почти всюду.


Отлично! Спасибо.

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

P.S. Под $H^1[0;1]$ я имел в виду
($H^1[0;1]\equiv\left\{\forall u\colon\int_0^1(|u'(x)|^2+|u(x)|^2)dx\neq+\infty\right\}$), но то, что $u'\in L_1(0,1)$ отсюда следует.

 
 
 
 
Сообщение19.02.2009, 19:49 
да, это у меня какая-то аберрация: $H^l=W_2^l$

 
 
 
 Re: функция из $C[0,1]\setminus H^1(0,1)$
Сообщение19.02.2009, 22:28 
nckg писал(а):
Существует ли непрерывная функция из $C[0,1]$, не принадлежащая $H^1(0,1)$?


Очевидно, да, поскольку пространство $H^1$ гильбертово, а $C[0,1]$ нет.
А примеры есть и попроще, например, $\sqrt x$.

 
 
 
 
Сообщение19.02.2009, 22:39 
Gafield писал(а):
А примеры есть и попроще, например, $\sqrt x$.

Тоже хороший пример:) Что-то я не догадался до такого :oops:
Насчёт гильбертовости --- тоже правильное замечание.

 
 
 
 Re: функция из $C[0,1]\setminus H^1(0,1)$
Сообщение19.02.2009, 22:40 
Gafield писал(а):
nckg писал(а):
Существует ли непрерывная функция из $C[0,1]$, не принадлежащая $H^1(0,1)$?

Очевидно, да, поскольку пространство $H^1$ гильбертово, а $C[0,1]$ нет.

Ну и что? Почему в гильбертовом пространстве нельзя ввести негильбертовой нормы, с сохранением полноты?

Кстати: пример с корнями, конечно, хорош для $W_2^1$ (вообще для $W_p^1$ при $p>1$), но вот для $W_1^1$ придётся уже поискать что-то хоть немножко, но поизысканнее.

 
 
 
 
Сообщение19.02.2009, 23:18 
Насколько я помню, в $C^[0,1]$ нельзя ввести гильбертову норму. А для $W_1^1$ подойдет $x \sin x^{-1}$.

 
 
 
 
Сообщение19.02.2009, 23:34 
Gafield писал(а):
Насколько я помню, в $C^[0,1]$ нельзя ввести гильбертову норму.

Скорее всего, нельзя. Но почему? Я вот так сходу и не скажу. Во всяком случае, этот факт гораздо менее тривиален, чем обсуждаемый.

Gafield писал(а):
А для $W_1^1$ подойдет $x \sin x^{-1}$.

Да, ровно это и имелось в виду.

 
 
 
 
Сообщение20.02.2009, 00:46 
ewert писал(а):
Gafield писал(а):
Насколько я помню, в $C^[0,1]$ нельзя ввести гильбертову норму.

Скорее всего, нельзя. Но почему? Я вот так сходу и не скажу. Во всяком случае, этот факт гораздо менее тривиален, чем обсуждаемый.


Если бы в $C[0,1]$ можно было ввести скалярное произведение, с которым оно стало бы гильбертовым,
то с учётом леммы Рисса мы получили бы что $C[0,1]^*=C[0,1]$, а на самом деле $C[0,1]^*= \mathbf{rca}[0,1]$ (см. Канторович-Акилов). И останется, видимо, показать, что $C[0,1]$ и $\mathbf{rca}[0,1]$ не изометричны (чего я сделать не берусь :lol: )...

 
 
 
 
Сообщение20.02.2009, 00:58 
Ну, как известно, $C[0,1]$ устроено гораздо сложнее и является в некотором смысле универсальным: любое сепарабельное нормированное пространство можно изометрически вложить в $C[0,1]$. А гильбертово пространство - типа самое простое :) У него все замкнутые подпространства гильбертовы.

 
 
 
 
Сообщение20.02.2009, 01:04 
Можно было ещё так: гильбертово пространство рефлексивно, а $C[0,1]$ --- нет. Но всё же тут есть одно неявное предположение - что
мы вводим скалярное произведение так, что $\|\cdot\|_{C[0,1]}=\sqrt{(\cdot,\cdot)}$ или эквивалентна последней.... а может
как-то по-другому можно ввести?

 
 
 
 
Сообщение20.02.2009, 09:36 
Аватара пользователя
Можно попробовать поискать в пространстве C[0,1] функции не удовлетворяющие тождеству параллелограмма.

 
 
 
 
Сообщение20.02.2009, 09:46 
Не нужно искать -- и так ясно, что для оригинальной (равномерной) нормы это тождество не выполняется. Вопрос в другом: можно ли придумать на $C[0;1]$ другую норму, которая была бы гильбертовой? т.е. удовлетворяла бы пресловутому тождеству и давала бы полноту?

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


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