Рефетека.ру / Математика

Дипломная работа: Операторы проектирования

Министерство Образования Российской Федерации


Вятский Государственный Гуманитарный Университет


Математический факультет


Кафедра математического анализа и МПМ


Выпускная квалификационная работа


Операторы проектирования.


Выполнил студент 5курса

математического факультета

Лежнин В.В.

/подпись/

Операторы проектирования

Научный руководитель:

Старший преподаватель кафедры математического анализа и МПМ

Гукасов А.К.

/подпись/

Операторы проектирования

Рецензент:

Старший преподаватель кафедры математического анализа и МПМ

Подгорная М.И.

/подпись/

Операторы проектирования

Допущена к защите в ГАК


Операторы проектированияЗав. кафедрой М.В. Крутихина

Операторы проектированияОператоры проектирования /подпись/ << >>


Декан факультета В.И. Варанкина

Операторы проектированияОператоры проектированияОператоры проектирования /подпись/ << >>


Киров

2003


Оглавление.

Введение. 2

Часть I. Основные понятия и предложения. 2

Часть II. Дополняемость в гильбертовых пространствах. 10

Часть III. Задача о дополняемости. 13

Литература. 15


Введение.

В данной работе рассматриваются операторы проектирования, которые являются частным случаев линейных операторов, их некоторые свойства, и рассматривается вопрос: как с помощью операторов проектирования можно выяснить дополняемо множество или нет. Так же освящается тема дополняемости в гильбертовых пространствах. Попутно для рассмотрения предлагаются некоторые определения и факты, на которые опираются нужные нам утверждения. К самостоятельно выполненным заданиям относятся доказательство замкнутости ядра (стр. 6, предложение 2), формула изменения коэффициентов Фурье при сдвиге на некоторое вещественное число и решение задачи о дополняемости.


Часть I. Основные понятия и предложения.

Определение. Метрику d на векторном пространстве X будем называть инвариантной, если d(x+z,y+z)=d(x,y), для любых x,y,z из X.

Определение. Пусть d – метрика на множестве X. Если каждая последовательность Коши сходится в X к некоторой точке, то d называется полной метрикой на X.

Определение. Векторное пространство X называется нормированным пространством, если каждому элементу x из X сопоставлено неотрицательное вещественное числоОператоры проектирования, именуемое нормой x, и выполняются следующие условия:

Операторы проектирования Ј Операторы проектирования+Операторы проектирования "x, yОX.

Операторы проектирования = Операторы проектированияОператоры проектирования "xОX, "a - скаляра.

Операторы проектирования > 0, если x№0.


Примеры нормированных пространств.

1) lОператоры проектирования - нормированное пространство, в котором элементы – последовательности комплексных чисел x=(xОператоры проектирования, …,xОператоры проектирования, …), удовлетворяющие условию Операторы проектирования <Ґ,

норма в таком пространстве определяется Операторы проектирования;

2) LОператоры проектирования(0,1) - нормированное пространство, состоящее из функций с интегрируемым квадратом на интервале (0, 1), удовлетворяющее условию Операторы проектированияdx < Ґ, и норма определена как Операторы проектирования = Операторы проектирования.

3) СОператоры проектирования[0, 2p] – пространство непрерывных 2p периодических функций на отрезке [0, 2p]. Норма в нем определяется Операторы проектирования = Операторы проектирования


Определение. Пусть X, Y – два топологических линейных пространства. Линейным оператором, действующим из X в Y, называется отображение y = Ax, где x принадлежит X, а y принадлежит Y, удовлетворяющее условию

A(axОператоры проектирования+bxОператоры проектирования) = aAxОператоры проектирования+bAxОператоры проектирования.

Определение. Оператор A называется непрерывным в точке xОператоры проектирования области определения, если для любой окрестности V точки yОператоры проектирования= AxОператоры проектирования существует такая окрестность U точки xОператоры проектирования, что Ax принадлежит V, как только x принадлежит пересечению области определения и U. Оператор A называется непрерывным, если он непрерывен в каждой точке области определения.

Определение. Линейный оператор, действующий из Е в ЕОператоры проектирования, называется ограниченным, если он определен на всем Е и каждое ограниченное множество переводит снова в ограниченное.

Предложение 1. Всякий непрерывный линейный оператор ограничен.

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

Пусть М – подмножество ограниченного множества Е, а подмножество АМ множества ЕОператоры проектирования не ограничено. Тогда в ЕОператоры проектирования найдется такая окрестность нуля V, что ни одно из множеств Операторы проектированияАМ не содержится в V. То тогда существует такая последовательность хОператоры проектирования из М, что ни один из элементов Операторы проектированияАхОператоры проектирования не принадлежит V, и получается, что Операторы проектированияхОператоры проектирования ® 0 в Е, но последовательность {Операторы проектированияАхОператоры проектирования}Операторы проектированияне сходится к 0 в ЕОператоры проектирования, а это противоречит непрерывности оператора А.


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

Операторы проектирования.

Наименьшее из чисел С, удовлетворяющее этому неравенству, называется нормой оператора А и обозначается Операторы проектирования.

Определение. Пусть X - векторное пространство. Линейное отображение P:X → X называется проектором в пространстве X, если Операторы проектирования, т.е. P(P(x)) = Px для любого элемента x из X.


Свойства проекторов.

Пусть P проектор в X с ядром N(P) и образом R(P).

R(P) = N(I-P) = {xОX, Px = x}, где I – тождественное отображение;

R(P)ЗN(P) = {0} и X = R(P)+N(P);

Доказательство 1.

а) Так как (I-P)P = IP-Операторы проектирования = P-P = 0, то R(P) содержится в N(I-P);

б) Если x принадлежит N(I-P), то x-Px = 0, следовательно, x = Px принадлежит R(P), значит N(I-P) содержится в R(P);

Таким образом, из а) и б) следует, что R(P) = N(I-P).

Доказательство 2.

Если x принадлежит пересечению R(P) и N(P), то x=Px=0, а следовательно, R(P) и N(P) пересекаются по {0};

Для любого x из X можно представить в виде x=Px+(x-Px), где Px принадлежит R(P) и x-Px принадлежит N(P), значит X=R(P)+N(P);

Определение. М – замкнутое подпространство топологического векторного пространства X. Если в X существует такое замкнутое подпространство N, что X=M+N и MЗN={0}, то говорят, что М дополняемо в X и что X является прямой суммой подпространств X=MЕN.

Определение. Топологическое векторное пространство X называется F-пространством, если топология порождается некоторой полной инвариантной метрикой.

Теорема o замкнутом графике.

Предположим, что X и Y являются F-пространствами, отображение Т:X→Y линейно и множество G={(x, Tx): xОX} (его график) замкнуто в XґY. Тогда Т – непрерывно.

Предложение 2. Пусть Щ - линейный функционал на топологическом векторном пространстве X. Допустим, что Щx №0 для некоторого x из X.

Тогда если Щ непрерывен, то ядро N(Щ) замкнуто в X.

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

Так как N(Щ) = ЩОператоры проектирования({0}), а {0} – замкнутое множество поля скаляров (как любое одноточечное подмножество), то тогда непрерывность Щ влечет замкнутость ядра (как прообраз замкнутого множества при непрерывном отображении).


Теорема 1.

а) Если Р – непрерывный проектор в топологическом векторном пространстве X, то X представляется в виде прямой суммы подпространств X=R(P)ЕN(P);

б) Обратно: если Х является F-пространством и X представляется в виде прямой суммы подпространств Х=АЕВ, то проектор Р с образом А и ядром В непрерывен.

Доказательство:

а) Так как Р и I-P непрерывны, то подпространства N(P) и R(P)=N(I-P) замкнуты (см. предложение 2), значит по второму свойству проекторов X=R(P)ЕN(P);

Чтобы доказать б) достаточно проверить, что проектор Р удовлетворяет условиям теоремы о замкнутом графике .

Пусть последовательности xОператоры проектирования→x и PxОператоры проектирования→y.

Так как PxОператоры проектирования принадлежит А, А – замкнуто, следовательно y принадлежит A, а значит y = Py.

Аналогично xОператоры проектирования- PxОператоры проектирования принадлежит В, В – замкнуто, следовательно x-y принадлежит B, значит Py = Px поэтому y = Px. Получили, что точка (x, y) принадлежит G (см. теорему о замкнутом графике). Отсюда вытекает, что проектор Р непрерывен.

Определение. Топологической группой называется группа G, снабженная такой топологией, относительно которой групповые операции в G непрерывны.

Расшифровка этого определения состоит в том, что постулируется непрерывное отображение j:GґG®G, определенного равенством: j(x,y)=xyОператоры проектирования.

Определение. Топологическая группа G, топология которой компактна, называется компактной группой.

Определение. Топологическое векторное пространство X называется локально выпуклым, если в нем всякое непустое открытое множество содержит непустое выпуклое открытое подмножество.

Определение. Пространство X называется пространством Фреше , если оно является локально выпуклым F-пространством.

Определение. Предположим, что топологическое векторное пространство X и топологическая группа G связаны следующим образом: кждому элементу s из G сопоставлен непрерывный линейный оператор TОператоры проектирования:X®X, причем

TОператоры проектирования = TОператоры проектированияTОператоры проектирования, где s, t принадлежат G

и отображение (s, x) ® TОператоры проектированияx прямого произведения GґX в пространстве X непрерывно. В этом случае говорят, что группа G непрерывно и линейно действует в пространстве X.

Теорема 2.

Пусть Y – дополняемое подпространство Фреше Х, и пусть компактная группа G непрерывна и линейно действует на Х, причем ТОператоры проектирования(Y)МY для любого sОG. Тогда существует непрерывный проектор Q пространства Х на подпространство Y, коммутирующий со всеми операторами ТОператоры проектирования.

Лемма Фату. Пусть на множестве E задана последовательность измеримых, почти всюду конечных функций fОператоры проектирования (x), которая сходится по мере к некоторой почти всюду конечной функции f . Тогда

Операторы проектированияdm Ј Операторы проектированияОператоры проектированияdm

Пример недополняемого подпространства.

Рассмотрим подпространство Y=HОператоры проектирования пространства Х=LОператоры проектирования, где LОператоры проектирования- пространство всех суммируемых функций на комплексной плоскости, а HОператоры проектирования состоит из всех функций LОператоры проектирования, для которых Операторы проектирования(n)=0, при всех n<0. Операторы проектирования(n) обозначает n-ый коэффициент Фурье функции f и вычисляется:

Операторы проектирования(n)=Операторы проектированияeОператоры проектированияdx, (n=0,Операторы проектирования1, Операторы проектирования2, …). (1)

(для простоты обозначается: f(x)=f(e Операторы проектирования )).

В качестве группы G возьмем мультипликативную группу всех комплексных чисел, по модулю равных 1, и сопоставим каждому элементу

e Операторы проектированияОG оператор сдвига tОператоры проектирования, полагая, что

(tОператоры проектированияf)(x) = f(x+s), где s – некоторое вещественное число. (2)

Теперь посмотрим, как изменяются коэффициенты Фурье при таком сдвиге: (Операторы проектирования)(n) =Операторы проектированияОператоры проектированияОператоры проектированияe Операторы проектированияdx.

Произведем замену: x+s = t Ю x = t-s. Тогда

(Операторы проектирования)(n)=Операторы проектированияeОператоры проектированияd(t-s) =

= Операторы проектированияeОператоры проектированияeОператоры проектированияdt=eОператоры проектированияОператоры проектированияeОператоры проектированияdt=e Операторы проектированияОператоры проектирования(n),

то есть (tОператоры проектированияf)Операторы проектирования(n)= e Операторы проектированияОператоры проектирования(n). (3).

Так как e Операторы проектированияОG, то tОператоры проектирования(HОператоры проектирования) = HОператоры проектирования для любого вещественного s.

Если бы подпространство HОператоры проектирования было дополняемо в LОператоры проектирования, то из Т2. следовало бы существование такого непрерывного проектора Q пространства LОператоры проектирования на HОператоры проектирования, что tОператоры проектированияQ = QtОператоры проектирования для любого вещественного s. (4).

Найдем вид проектора. Положим eОператоры проектирования(x)=e Операторы проектирования. Тогда tОператоры проектированияeОператоры проектирования=eОператоры проектированияeОператоры проектирования, а так как оператор Q линеен, то

QtОператоры проектированияeОператоры проектирования = eОператоры проектированияQeОператоры проектирования. (5).

Из (4) и (5) следует, что

(QeОператоры проектирования)(x-s) = e Операторы проектирования(QeОператоры проектирования)(x). (6).

Пусть СОператоры проектирования = (QeОператоры проектирования)(0). При Q = 0 соотношение (6) имеет вид

QeОператоры проектирования = CОператоры проектированияeОператоры проектирования. (7).

Воспользуемся тем, что образом оператора Q служит подпространство НОператоры проектирования. Так как Qe Операторы проектирования принадлежит HОператоры проектирования для любого n, то из (7) следует, что

СОператоры проектирования = 0 для любого n<0. Так как Qf = f для любого f из HОператоры проектирования, то СОператоры проектирования = 1 при любом nі0.

Таким образом, проектор Q должен являться «естественным», то есть его действие сводится к замене нулями всех коэффициентов Фурье с отрицательными номерами:

Q(Операторы проектированияeОператоры проектирования)=Операторы проектированияeОператоры проектирования. (8).

Рассмотрим функцию fОператоры проектирования (x) = Операторы проектированияeОператоры проектирования, (0<r<1), (9).

которая представляет собой ядро Пуассона: Операторы проектирования, в частности fОператоры проектирования>0. Поэтому

Операторы проектирования = Операторы проектированияdx = Операторы проектированияdx = 1 для любого r. (10) Но (QfОператоры проектирования)(x) = Операторы проектированияeОператоры проектирования = Операторы проектирования (11).

Так как Операторы проектированияdx = Ґ, то из леммы Фату следует, что Операторы проектирования ® Ґ, при

r ® 1. В силу (10) это противоречит непрерывности оператора Q.

Таким образом, доказано, что HОператоры проектирования недополняемо в LОператоры проектирования.


Часть II. Дополняемость в гильбертовых пространствах.

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

Комплексное векторное пространство Н называется пространством с внутренним произведением (унитарное пространство), если каждой упорядоченной паре векторов x,y из Н сопоставлено комплексное число (x,y), называемое скалярным и:

а) (y,x)=Операторы проектирования, "x, yОH;

b) (x+y,z)=(x+z)+(y+z), "x, y, zОH;

c) (ax,y)=a(x,y), "x, yОH, "aОC;Операторы проектирования

d) (x,x)і0, "xОH;

e) (x,x)=0 Ы x=0, "xОH;

Если (x,y) = 0, то говорят, что x ортогонален y (обозначение x^y).

Если Е подмножество Н, F подмножество H, то Е^F обозначает, что (x,y) = 0 для любых x из E и любых y из F.

Через ЕОператоры проектирования обозначаются все y из H, ортогональные каждому из векторов x из E.

Нормой в пространстве Н называется число Операторы проектирования.

Если полученное нормированное пространство является полным, то оно называется гильбертовым пространством.


Примеры гильбертовых пространств.

1) lОператоры проектирования - комплексное гильбертово пространство, в котором скалярное произведение определяется формулой (x, y) = Операторы проектирования;

2) LОператоры проектирования(0,1) - гильбертово пространство, в котором скалярное произведение определено формулой

(f, g) = Операторы проектированияdx.


Теорема3:

М – замкнутое подпространство гильбертова пространства Н, следовательно H можно представить в виде прямой суммы M и МОператоры проектирования (Н=МЕМОператоры проектирования, МОператоры проектирования - ортогональное дополнение к М).


Доказательство:

Если Е подмножество Н, то из линейности скалярного произведения (x,y) по x следует, что ЕОператоры проектирования является подпространством в Н. Допустим, что элементы gОператоры проектирования принадлежат ЕОператоры проектирования и сходятся к g. Тогда для любого f из E

(g, f) = Операторы проектирования = 0, и потому g тоже входит в ЕОператоры проектирования, значит ЕОператоры проектирования - замкнутое подпространство.

(1) Если х принадлежит М и х принадлежит МОператоры проектирования, то (х, х) = 0, а это будет тогда и только тогда, когда х = 0, следовательно МЗМОператоры проектирования={0}.

(2) Пусть х принадлежит Н.

Рассмотрим множество х-М = {х-хОператоры проектирования: хОператоры проектированияОМ}, причем хОператоры проектирования такой, что он минимизирует величину Операторы проектирования. Пусть хОператоры проектирования = х-хОператоры проектирования, следовательно, Операторы проектированияЈОператоры проектирования для любых y из М, значит, хОператоры проектирования принадлежит МОператоры проектирования, поэтому для любого х из Н х можно представить в виде х = хОператоры проектированияОператоры проектирования, где хОператоры проектирования из М и хОператоры проектирования из МОператоры проектирования.

Из (1) и (2) следует, что Н представимо в виде прямой суммы М и МОператоры проектирования Н=МЕМОператоры проектирования, следовательно любое подмножество в гильбертовом пространстве дополняемо.


Примеры дополняемых подпространств в гильбертовом пространстве.

1) в lОператоры проектирования рассмотрим элементы x = (xОператоры проектирования, …,xОператоры проектирования, …), у которых xОператоры проектирования= 0 при четных n и xОператоры проектирования произвольные при n нечетных. Эти элементы образуют в lОператоры проектирования замкнутое подпространство. Назовем его X.

Рассмотрим также элементы y = (yОператоры проектирования, …, yОператоры проектирования, …), у которых yОператоры проектирования произвольные при четных n, и yОператоры проектирования= 0 при нечетных n. Эти элементы образуют замкнутое подпространство в lОператоры проектирования, и при этом это подпространство является ортогональным дополнением к X, так как их скалярное произведение равно 0. Следовательно, по Т3. X дополняемо в H с помощью XОператоры проектирования.

2) LОператоры проектирования(0,1).

Пусть X – подпространство LОператоры проектирования(0,1), состоящее из тех функций LОператоры проектирования(0,1), которые обращаются в 0 на интервале (0, а].

Пусть Y – подпространство LОператоры проектирования(0,1), состоящее из тех функций LОператоры проектирования(0,1), которые в ноль не обращаются на интервале [a, 1).

Тогда Y является ортогональным дополнением X, так как их скалярное произведение равно 0, а значит X дополняемо в LОператоры проектирования(0,1) с помощью Y.


Часть III. Задача о дополняемости.

Пусть СОператоры проектирования[0, 2p] - множество непрерывных 2p периодических функций на отрезке [0, 2p].

Пусть Е – множество четных чисел и пусть

СОператоры проектирования = {f(x)О СОператоры проектирования: Операторы проектирования(n) = 0 "nПE}.

Требуется доказать, что СОператоры проектирования дополняемо в СОператоры проектирования[0, 2p].

Доказательство:

Чтобы доказать требуемое, необходимо найти такой непрерывный проектор, который бы отображал множество СОператоры проектирования[0, 2p] на СОператоры проектирования(Т1.), таким образом, чтобы коэффициенты Фурье функций, стоящие на нечетных номерах, отображались бы в 0, а на четных оставались бы без изменения.

Рассмотрим оператор P = Операторы проектирования(tОператоры проектирования+I), где tОператоры проектирования - оператор сдвига на p, а I - тождественное отображение.

tОператоры проектирования ограничен, так как мы имеем дело с 2p периодическими функциями, так как

Операторы проектирования = Операторы проектирования = 1Операторы проектирования, то есть С = 1.

А раз он ограничен, то следовательно и непрерывен (предложение 1).

I - тоже непрерывен.

Теперь посмотрим, как изменятся коэффициенты Фурье функций при таком отображении.

n = 2k-1, где к – целое.

Операторы проектирования((Операторы проектирования)(2k-1)+(Операторы проектирования)(2k-1)) =

= Операторы проектирования(e Операторы проектированияОператоры проектирования(2k-1)+ Операторы проектирования(2k-1)) = Операторы проектированияОператоры проектирования(2k-1)( e Операторы проектирования+1). (*)

Так как e Операторы проектирования=cos j+isin j, значит e Операторы проектирования = cos ((2k-1)p)+isin((2k-1)p).

При любом k – целом выражение cos ((2k-1)p)+isin((2k-1)p) = -1, а, следовательно, и выражение (*) принимает значение 0. Мы показали, что коэффициенты Фурье функций, стоящие на нечетных номерах при таком отображении обращаются в 0.

n=2k, где k – целое.

Операторы проектирования((Операторы проектирования)(2k)+( Операторы проектирования)(2k)) = Операторы проектирования(e Операторы проектированияОператоры проектирования(2k)+ Операторы проектирования(2k)) =

= Операторы проектированияОператоры проектирования(2k)( e Операторы проектирования+1). (**)

При любом k – целом выражение cos (2kp)+isin(2kp) = 1, а следовательно и выражение (**) не изменяет своего значения, то есть равно Операторы проектирования(2k). Мы показали, что коэффициенты Фурье функций, стоящие на четных номерах при таком отображении не изменяются, то есть оператор Р действительно является проектором.

Таким образом, нашелся такой непрерывный проектор P: СОператоры проектирования[0, 2p]® СОператоры проектирования, следовательно СОператоры проектирования дополняемо в СОператоры проектирования[0, 2p].


Литература.

Колмогоров А.Н., Фомин С.В. Элементы теории функций и функционального анализа. М., Наука. 1989.

Рудин Уолтер. Функциональный анализ. М., Наука. 1975.

Вулих Б.З. Краткий курс в теорию функций вещественной переменной. М., Наука. 1973.

Рефетека ру refoteka@gmail.com