Лекции Капустина (2006) (1159955), страница 5

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 5)

Доказательство. Необходимость. Если сильно, то из неравенства следует равномерная сходимость в шаре .

Достаточность. Пусть последовательность сходится равномерно в шаре , то есть существует , что для всех и всех . Отсюда следует . Воспользуемся следствием 1 к теореме Хана-Банаха, обозначив . Мы имеем функционал или , причём выбор функционала зависит от разности . Итак, для всех , что и означает сильнуюсходимость к элементу x.

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

§10. Гильбертовы пространства

Определение 1. Гильбертовым пространством H называется множество элементов x, y, z, … со свойствами:

1) H – линейное пространство над полем действительных (комплексных) чисел;

2) каждой паре поставлено в соответствие действительное (комплексное) число , называемое скалярным произведением и удовлетворяющее условиям:

а). ,

б). ,

в). для любого ,

г). , причем тогда и только тогда, когда ,

- норма элемента x в H;

3). H – полное в метрике , то есть является банаховым пространством;

4). H – бесконечномерное, то есть для любого натурального числа существует линейно независимых элементов.

Комплексное пространство - гильбертово пространство, если скалярное произведение в нем ввести по формуле

,

где . Сходимость ряда следует из неравенства Коши-Буняковского. Аналогично, пространство - гильбертово пространство со скалярным произведением

.

Поговорим о свойствах скалярного произведения. Первые два и проверяются тривиально. Неравенство Коши при очевидно. Пусть - любой элемент из H, - любое число из С:

;

полагая здесь , получим

,

откуда и следует неравенство Коши. Неравенство треугольника доказывается на основе неравенства Коши:

.

Равенство параллелограмма следует из следующих соотношений:

.

Замечание. Пространство не является гильбертовым:

,

,

,

следовательно, равенство параллелограмма не выполнено.

Теорема 1. Замкнутое выпуклое множество W в гильбертовом пространстве H содержит элемент содержит элемент с наименьшей нормой, и причем только один.

Доказательство. Пусть и пусть - минимизирующая последовательность, то есть при . Так как W – выпукло, то , поэтому . Согласно равенству параллелограмма

при , ибо вычитаемая величина , а уменьшаемое стремится к . В силу того, что H – полное, а W – замкнуто, существует , причем , то есть - элемент с наименьшей нормой. Докажем единственность элемента : пусть - еще один элемент из W и такой, что . Тогда

.

Так как

,

то

, или .

Возвращаясь к равенству параллелограмма для и , имеем , то есть = . Теорема доказана.

Определение 2. Два элемента называются ортогональными ( ), если (x, y) = 0; говорят, что элемент ортогонален множеству , если для любого .

Теорема 2 (теорема Б. Леви). Пусть L – подпространство H. Каждый вектор допускает единственное представление , причем элемент y осуществляет наилучшее приближение вектора x в подпространстве L, то есть .

Доказательство. Обозначим множество , которое замкнуто в силу замкнутости L и, очевидно, выпуклое. По теореме 1 существует единственный элемент с минимальной нормой, , или . Покажем, что . Пусть - любой вектор из L, а - произвольное комплексное число. Так как , то , поэтому

.

Полагая

,

получим

, или (z, v) = 0,

а так как v – любой элемент из L, то . Докажем теперь единственность разложения. Пусть , где , тогда , то есть , другими словами, ортогонален самому себе. Следовательно и . Второе утверждение теоремы следует из определения W и теоремы 1.

Предел последовательности элементов, ортогональных подпространству L, ортогонален L. Поэтому элементы, ортогональные к L, образуют подпространство, которое называется ортогональным дополнением к L и обозначается . Так как любой элемент равен , то говорят, что пространство H разлагается в прямую сумму подпространств L и . Записывают этот факт в виде . Элемент y называется ортогональной проекцией элемента x на подпространство L, а оператор P, действующий по закону y = Px, то есть каждому элементу ставящий в соответствие его проекцию y, называется оператором ортогонального проецирования или ортопроектором. Нетрудно проверить справедливость равенства .

Рассмотрим линейный ограниченный оператор, действующий из гильбертова пространства H на комплексную плоскость C. Этот оператор мы также будем называть линейным функционалом. Обозначим через ker f = - множество, называемое ядром функционала f(x). Очевидно, что ker f – подпространство H.

Лемма 1. Коразмерность пространства ker f, то есть ортогонального дополнения к ядру, любого линейного функционала f(x) в h, не равного тождественно нулю, равна 1: .

Доказательство. Пусть . Докажем, что и - линейно зависимы. Положим , тогда f(x) = 0, то есть . С другой стороны, , следовательно . Получаем x = 0 и, значит, и - линейно зависимы.

Теорема 3 (теорема Рисса - Фреше). Любой линейный функционал f(x) в гильбертовом пространстве H представим в виде скалярного произведения f(x) = (x, y), где элемент y однозначно определяется по функционалу f(x), причем .

Доказательство. Если , то y = 0. Если , то обозначим через e – единичный вектор, ортогональный ядру f(x). Согласно лемме 1 и теореме 2 любой элемент представим в виде x = Px + (x, e)e, где P – ортопроектор на ядро ker f. Отсюда

,

так как . Полагая , получаем f(x) = (x, y) для любого .

Докажем единственность элемента y. Пусть существует вектор такой, что для любого , или . Для получим

,

то есть . По поводу нормы заметим

,

но

,

следовательно . Теорема доказана.

Лемма 2. Для того, чтобы линейное многообразие M было всюду плотно в H, необходимо и достаточно, чтобы в H не существовало элемента, отличного от нуля и ортогонального M.

Необходимость. Пусть . Ясно, что из условия следует , но и . В частности , следовательно x = 0.

Достаточность. Пусть M не всюду плотно в H, то есть . Поэтому существует , . Так как также подпространство, то по теореме 2 , где , причем и . Это противоречит условию.

Определение 3. Система элементов гильбертова пространства H называется ортонормированной, если , где .

Определение 4. Бесконечная система элементов линейного пространства называется линейно независимой, если любая конечная подсистема этой системы линейно независима.

Лемма 3. Любую систему линейно независимых элементов можно сделать ортонормированной с помощью процесса ортогонализации Шмидта.

Доказательство. Полагаем

;

пусть , подберем так, чтобы , то есть . Получаем

,

ибо в противном случае и элементы и - линейно зависимы, что невозможно. Пусть уже построены, вводим элемент

и подберем числа так, чтобы . Для этого надо взять ; полагаем

и так далее.

Если совокупность степеней ортогонализировать в пространстве с весом , то есть в пространстве со скалярным произведением

,

мы придем к системе полиномов. При получим полиномы Лежандра; при получим полиномы Чебышева – Эрмита, при получим полиномы Чебышева – Лагерра.

Пусть L – подпространство, порожденное ортонормированной системой и . Тогда для любого существует линейная комбинация такая, что

.

Но

=

,

где - коэффициенты Фурье элемента x. Перепишем последнее представление в виде

,

откуда следует, что выражение

достигает минимального значения при . В этом случае

и так как - любое, то в итоге получаем

,

Причем

(равенство Парсеваля).

Пусть теперь x – любой элемент из H. Согласно теореме 2: . Тогда

и .

В силу равенства имеем (неравенство Бесселя).

Определение 5. Ортонормированная в H система называется полной, если в H не существует никакого элемента кроме нуля, ортогонального каждому члену системы . Система называется замкнутой, если подпространство L, порожденное этой системой, совпадает с H.

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

Определение 6. Замкнутая ортонормированная система называется ортонормированным базисом в гильбертовом пространстве H.

Легко проверяется справедливость следующих двух утверждений. В гильбертовом пространстве H полнота и замкнутость ортонормированной системы совпадают. Любая ортонормированная система в гильбертовом пространстве слабо сходится к нулю.

Лемма 1. Пусть Х – банахово пространство. Если последовательность элементов x_n X сходится слабо к элементу x₀ X, то x_n x₀ сильно.

Доказательство. Пусть это не так: тогда существует и последовательность номеров nk такие, что . Так как компактна, то она содержит последовательность элементов , которая сходится сильно к некоторому элементу y₀ X. Тем более последовательность сходится слабо к x₀ и поэтому x₀=y₀. Итак имеем и при , что невозможно. Лемма доказана.

Теорема 3. Пусть X и Y – баноховы пространства. Любой вполне непрерывный оператор А, действующий из X в Y, переводит всякую слабо сходящуюся последовательность в X в сильно сходящуюся в Y.

Характеристики

Список файлов лекций