2014 dxdy logo

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

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




Начать новую тему Ответить на тему
 
 Пространтсва L^P построенные по схеме Даниэля
Сообщение19.10.2011, 13:49 


21/12/08
60
Сейчас читаю вот эти лекции http://www.mccme.ru/ium/s02/funcan.html
В 9 и 10 лекции идет построение теории интеграла по схеме Даниэля.

Вот некоторое описание. Пусть $X$ - компактное хаусдорфово топологическое пространство, $C(X)$ - пространство непрерывных комплекснозначных функций с $\sup$-нормой обозначаемой $||\cdot||_{\infty}$. Пусть $I$ - непрерывный линейный функционал, такой что $f\geq g,\quad f,g\in C(X)$ влечет $I(f)\geq I(g)$ (свойство монотонности).

Далее по $I$ строится однородная субаддитивная монотонная функция $I''\colon [0,+\infty]^X\to[0,+\infty]$ совпадающая с $I$ на множестве неотрицательных непрерывных на $X$ функций. Для $I''$ верна теорема о монотонной сходимости. Теперь пусть $p\geq 1$. Функция
$$
||\cdot||_p \colon \mathcal{F}^p(X,I)\to[0,+\infty] : f\mapsto I''(|f|^p)^{1/p}
$$
является преднормой на
$$
\mathcal{F}^p(X,I)=\{f\in\mathbb{C}^X\colon I''(|f|^p)^{1/p}<+\infty\}
$$
При этом $C(X)\subset \mathcal{F}^p(X,I)$, тогда пространсво Лебега $\mathcal{L}^p(X,I)$ (не факторизованное) определяем как замыкание $C(X)$ в преднормированном пространстве $(\mathcal{F}^p(X,I),||\cdot||_p)$.

Нужно доказать что для $f\in[0,+\infty)^X$ выполнено $f\in\mathcal{L}^p(X,I)\Rightarrow f^p\in\mathcal{L}^1(X,I)$. Обратная импликация доказывается легко.

В теории Лебега это утверждение очевидно. Но там сразу оговаривается что мы рассматриваем только измеримые функции. Здесь же $f$ произвольная неотрицательная функция на X. Если кто знает, подскажите решение.

 Профиль  
                  
 
 Re: Пространтсва L^P построенные по схеме Даниэля
Сообщение27.10.2011, 18:18 


21/12/08
60
Я доказал этот факт, если кому интересно могу написать.

 Профиль  
                  
 
 Re: Пространтсва L^P построенные по схеме Даниэля
Сообщение30.10.2011, 07:00 
Экс-модератор


17/06/06
5004
Там сильно просто? Тогда я бы еще подумал :-)

 Профиль  
                  
 
 Re: Пространтсва L^P построенные по схеме Даниэля
Сообщение30.10.2011, 08:41 


21/12/08
60
Там с деталями надо возиться. Идея в том что сначала доказываем для ограниченных функций, а потом с помощью теоремы о монотонной сходимости для произвольных функций.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 4 ] 

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



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

Сейчас этот форум просматривают: YandexBot [bot]


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

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