АвтоАвтоматизацияАрхитектураАстрономияАудитБиологияБухгалтерияВоенное делоГенетикаГеографияГеологияГосударствоДомДругоеЖурналистика и СМИИзобретательствоИностранные языкиИнформатикаИскусствоИсторияКомпьютерыКулинарияКультураЛексикологияЛитератураЛогикаМаркетингМатематикаМашиностроениеМедицинаМенеджментМеталлы и СваркаМеханикаМузыкаНаселениеОбразованиеОхрана безопасности жизниОхрана ТрудаПедагогикаПолитикаПравоПриборостроениеПрограммированиеПроизводствоПромышленностьПсихологияРадиоРегилияСвязьСоциологияСпортСтандартизацияСтроительствоТехнологииТорговляТуризмФизикаФизиологияФилософияФинансыХимияХозяйствоЦеннообразованиеЧерчениеЭкологияЭконометрикаЭкономикаЭлектроникаЮриспунденкция

Пространства Лебега

Читайте также:
  1. V2: ДЕ 11 - Векторные пространства. Линейные операции над векторами
  2. V2: ДЕ 14 – Векторные пространства. Коллинеарность векторов.
  3. Аксиомы линейного пространства
  4. Антиномии пространства и времени
  5. Арифметическое представление пространства и времени
  6. Архитектоника культурного пространства
  7. Базис векторного пространства
  8. Базис векторного пространства. Координаты вектора
  9. Билет 22Понятие евклидова пространства, неравенство Коши-Буняковского. Теорема Кронекера Капелли.
  10. Билет 26. Корневые подпространства. Расщепление линейного пространства в прямую сумму корневых подпространств.
  11. Билет 7 Скалярное произведение векторов, проекция одного вектора на другой. Понятие линейного пространства и подпространства, критерии подпространства
  12. Билет 8. Векторное произведение, его геометрический смысл, выражение через координаты. Базис и размерность линейного пространства.

Пусть некоторое пространство с мерой , причем мера данного пространства конечна. Рассмотрим совокупность всех функций , интегри-руемых на . Как известно, линейная комбинация интегрируемых функций интегрируема, и потому эта совокупность, снабженная операциями сложения функций и умножения их на числа, образует линейное пространство. Это пространство обозначается или .

О п р е д е л е н и е 1. Пространством называется линейное норми-рованное пространство, элементами которого служат классы эквивалентных между собой интегрируемых функций; сложение элементов в и умно-жение их на числа определяются как обычное сложение и умножение функции, а норма задается формулой

 

.

С помощью формулы

 

в пространстве можно ввести расстояние. Сходимость последователь-ности интегрируемых функций в смысле этого расстояния называют сходимостью в среднем.

Т е о р е м а 1. Пространство полно.

Д о к а з а т е л ь с т в о. Пусть фундаментальная последователь-ность в , т.е.

при .

Тогда найдем такую возрастающую последовательность , что

 

.

 

Из данного неравенства и теоремы Б.Леви следует, что ряд

 

 

сходится почти всюду на . А тогда ряд

 

сходится почти всюду на к некоторой функции

 

.

Итак, фундаментальная последовательность в содержит подпос-ледовательность, сходящуюся почти всюду.

Теперь покажем, что подпоследовательность сходится к той же функции в среднем. В силу фундаментальности последовательности , при любом фиксированном для всех достаточно больших и имеем

 

.

 

Применяя теорему Фату, заметим, что в этом неравенстве можно перейти к пределу под знаком интеграла при . Тогда

 

,

 

откуда следует, что , а . Поскольку фундаментальная последовательность содержит подпоследовательность, сходящуюся к некоторому пределу, то и сама она сходится к этому же пределу.

Теорема доказана.

œ

Таким образом, является банаховым пространством, однако норму элемента в этом пространстве нельзя задать в виде скалярного произведения. Перейдем к рассмотрению пространства, в котором это возможно.

 

О п р е д е л е н и е 2. Измеримая функция называется функцией с интегрируемым квадратом на , если интеграл

 

 

существует и конечен. Совокупность всех таких функций обозначим или .

Приведем некоторые основные свойства функций с интегрируемым квадратом.

 

1. Произведение двух функций с интегрируемым квадратом есть интегри-руемая функция.

Это непосредственно вытекает из неравенства

 

 

и свойств интеграла Лебега.

2. Сумма двух функций из также принадлежит .

Действительно,

.

 

В силу свойства 1 каждая из трех функций, стоящих справа, интегрируема.

3. Если и произвольное число, то

Действительно, если , то

 

.

 

Свойства 2 и 3 означают, что линейные комбинации функций из снова принадлежат . Поскольку при этом сложение функций из и умножение их на число удовлетворяют всем аксиомам линейного пространства, то совокупность функций с интегрируемым квадратом образует линейное пространство.

Положив

,

 

определим в скалярное произведение.

Нетрудно убедиться в том, что все требования, входящие в определе-ние скалярного произведения выполняются.

О п р е д е л е н и е 3.Евклидовым пространством называется линейное пространство, элементами которого служат классы эквивалентных между собой функций с интегрируемым квадратом, в котором скалярное произведение определено формулой

 

.

 

Заметим, что выполнено неравенство Коши – Буняковского

 

 

и неравенство треугольника

 

 

.

 

В частности, при и неравенство Коши – Буняковского имеет вид:

 

(1)

 

Норма в определяется формулой

 

,

 

а расстояние между элементами и формулой

 

.

Величину

 

называют средним квадратичным уклонением функций и друг от друга.

Сходимость функциональной последовательности в смысле метрики пространства называют сходимостью в среднем квадратичном, т.е. , если .

Т е о р е м а 2. Пространство при полно.

Д о к а з а т е л ь с т в о. Пусть фундаментальная последователь-ность в , т.е.

при .

 

Тогда в силу оценки (1) получаем

 

, (2)

 

 

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

 

,

которое выполняется для членов этой подпоследовательности при всех достаточно больших и , можно, используя теорему Фату, перейти к пределу при .Тогда получим

 

.

 

Из этого неравенства следует, что и что . Если фундамен-тальная последовательность содержит сходящуюся подпоследовательность, то она сама сходится к тому же пределу.

З а м е ч а н и е. Теорема о полноте пространства остается справед-ливой и при .

Установим связь введенной выше сходимости в среднем квадратичном с другими типами сходимостей.

Будем полагать, что .

1. Если последовательность функций из сходится в метри-ке , то она сходится и в метрике .

Действительно, в силу неравенства (2) имеем

,

 

откуда и следует утверждение.

2. Если последовательность сходится равномерно, то она сходится и в среднем квадратичном.

Действительно, при каждом при всех достаточно больших имеем

и, следовательно,

,

 

откуда вытекает наше утверждение.

3. Если последовательность суммируемых функций сходится в среднем, то она сходится на и по мере.

Доказательство сразу следует из неравенства Чебышева

 

для любого .

 

Пространство измеримых функций , интегрируемых с степенью на , являющихся обобщением пространств и , рассмотрены [2].

Литература

1. Колмогоров, А.Н. Элементы теории функций и функционального анализа. [Текст]/ А.Н. Колмогоров, С.В.Фомин. – М.: Физматлит, 2004.

2. Натансон, И.П. Теория функций вещественной переменной. [Текст]/ И.П.Натансон. – М.: Наука, 1974.

 


1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 |

Поиск по сайту:



Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Студалл.Орг (0.013 сек.)