WWW.DISSERS.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

   Добро пожаловать!


Pages:     || 2 | 3 |
Содержание Вместо предисловия 4 1. Метрические, нормированные и гильбертовы пространства 5 1.1. Что такое метрика.................................. 5 1.2. Примеры метрических пространств......................... 5 1.3. Mножества в метрических пространствах...................... 6 1.4. Сходимость и полнота................................ 7 1.5. Компактность..................................... 8 1.6. Как линейное пространство сделать нормированным.............. 9 1.7. Скалярные произведения и гильбертовы пространства.............. 11 2. Линейные операторы 13 2.1. Пространство линейных непрерывных операторов................ 13 2.2. Обратный оператор.................................. 15 2.3. Замкнутые операторы................................. 16 3. Задачи и упражнения 17 3.1. Пространства..................................... 17 3.2. Линейные операторы................................. 19 Список литературы 21 3 Вместо предисловия Две основные причины побудили меня написать это учебное пособие. Многие годы чтения курса по прикладному функциональному анализу выявили необходимость того, чтобы студенты имели лаконичное пособие, максимально автономное и предназначенное, в первую очередь, для интенсивного практикума. Кроме того, в процессе консультаций с инженерами и физиками, обращавшимися ко мне за советами по поводу трудностей, с которыми они сталкивались при решении возникавших перед ними задач, выяснилось, что инженеру, не являющемуся профессиональным математиком и желающему строго обосновать предлагаемый им способ решения практической задачи, необходимо ознакомиться с современным математическим аппаратом, по крайней мере с основами функционального анализа. Этот раздел математики содержит много новых для нематематика абстрактных понятий, которые нельзя усвоить второпях. Таким образом, возникла идея подготовки учебного пособия, содержащего теоретические сведения по функциональному анализу, которые можно глубже усвоить с помощью упражнений и контрпримеров. Литература по функциональному анализу достаточно обширна, но представлена она, в основном, ”толстыми” книгами известных авторов, изданными давно, и практически отсутствующими в библиотеках вузов. Данное пособие призвано восполнить указанный пробел. Оно является первой частью серии пособий по прикладному функциональному анализу, над которой работает автор. В дальнейшем предполагается рассмотреть теорию линейных функционалов и ее приложения, теорию линейных и нелинейных операторных уравнений, экстремальные задачи в гильбертовых пространствах и приложения функционального анализа к задачам оптимального управления.

Александр Чеботарев Владивосток, 1. Метрические, нормированные и гильбертовы пространства 1.1. Что такое метрика Определение 1. Если каждой паре элементов x, y некоторого множества X поставлено в соответствие число (x, y) R, называемое расстоянием между элементами x и y так, что 1. (x, y) = 0 x = y;

2. (x, y) (x, z) + (y, z) x, y, z X, то множество X называется метрическим пространством с метрикой (x, y).

Свойство 1 называется аксиомой тождества, а свойство 2 аксиомой треугольника.

Пример 1.1. Показать, что из аксиом 1, 2 вытекает свойство (аксиома симметрии) 3. (x, y) = (y, x) 0 x, y X.

Решение. Положим в аксиоме треугольника z = x. Тогда из аксиомы тождества вытекает (x, y) (y, x) x, y X. Меняя местами x и y получаем симметричность метрики. Если в аксиоме 2 положить y = x получим неотрицательность метрики.

Метрическое пространство определяется выбором множества X и метрики ; одно и то же множество может порождать различные метрические пространства при введении различных метрик. Элементами метрического пространства могут быть объекты различной природы:

числа, векторы, функции, студенты (если смоделировать группу студентов как некоторое множество) и т. п. Эти элементы называются точками метрического пространства.

Пример 1.2. Пусть X — произвольное множество. Доказать, что формула 0 при x = y, (x, y) = 1 при x = y определяет метрику на X ( X – дискретное пространство).

Решение. Выполнение аксиомы 1 очевидно. Проверим справедливость неравенства треугольника. Последнее не выполняется, если (x, y) = 1, x = y, а при этом (x, z) + (y, z) = 0.

Однако последнее возможно если только (x, z) = (y, z) = 0 и тогда x = z и y = z, что противоречит условию x = y.

Пример 1.3. Пусть (x, y) — метрика на X. Доказать, что функции 1. 1(x, y) = (x, y)/(1 + (x, y)), 2. 2(x, y) = ln(1 + (x, y)), 3. 3(x, y) = min{1, (x, y)} также являются метриками.

1.2. Примеры метрических пространств 1. Евклидово пространство размерности n 1:

Rn = x : x = (x1, x2,..., xn), xk R, k = 1, n, n 1/(x, y) = (xi - yi)2.

2. Пространство p-суммируемых последовательностей:

lp = x : x = (x1, x2,...), |xi|p <, 1/p (x, y) = |xi - yi|p, p 1.

3. Пространство непрерывных на отрезке [a, b] функций:

C[a, b] = x = x(t), t [a, b] – непрерывная функция, (x, y) = max |x(t) - y(t)|.

[a,b] 4. Пространство Лебега с показателем p:

Lp(a, b) = x = x(t), t (a, b), где x(t) — измеримая на (a, b) функция, интегрируемая по Лебегу со степенью p 1/p b 1, (x, y) = |x(t) - y(t)|p.

a Упражнение 1.1. Проверить справедливость аксиом метрики для пространств Rn, lp, C[a, b], Lp(a, b).



Упражнение 1.2. Проверить справедливость аксиом метрики (x, y) = sup |x(t) - y(t)| tT для множества M(T ) всех ограниченных функций, определенных на множестве T.

Пример 1.4. Каким условиям должна удовлетворять функция f : R R, чтобы на вещественной прямой можно было задать метрику (x, y) = |f(x) - f(y)| Решение. Аксиома треугольника справелива, очевидно, для произвольной функции f. Для справедливости аксиомы тождества необходимо и достаточно, чтобы из условия f(x) = f(y) вытекало x = y, т.е. чтобы функция f была обратимой.

1.3. Mножества в метрических пространствах 1. Открытый шар: B(a, r) = {x X : (x, a) < r}.

2. Замкнутый шар: B(a, r) = {x X : (x, a) r}.

3. Ограниченное множество M: существует шар B(a, r), такой, что M B(a, r); число diam M = sup {(x, y) : x, y M} называется диаметром M; числа (x, M) = inf {(x, y) : y M}, (M, K) = inf {(x, y) : x M, y K} называются расстоянием от точки x до множества M и расстоянием между множествами M и K соответственно.

4. Открытое множество M X: x M r > 0 B(x, r) M, т. е. любая точка множества M является внутренней точкой и, значит, содержится в M вместе с некоторым шаром.

Для множества M X точка a X называется предельной точкой этого множества, если в любом шаре B(a, r), r > 0 найдется точка x M, x = a; точка a M называется изолированной точкой множества M, если найдется > 0 такое, что B(a, ) M = {a}.

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

5. Замкнутое множество M X: M = M.

6. Множество M K плотное в множестве K : K M. В частности, множество M называется всюду плотным в пространстве X, если M = X; M нигде не плотно, если каждый шар пространства X содержит в себе некоторый шар, свободный от точек M.

7. Пространство X называется сепарабельным, если оно содержит счетное всюду плотное множество.

8. Граница M множества M:

M = {x X : > 0, M B(x, ) =, (X \ M) B(x, ) = }.

Упражнение 1.3. Доказать 1. M N = M N;

2. M = M.

Упражнение 1.4. Доказать, что граница M замкнутое множество и при этом M = (X \ M).

Упражнение 1.5. Пусть A, B X – замкнутые множества, A B =. Возможно ли, что (A, B) = 0 1.4. Сходимость и полнота Последовательность {xn} элементов метрического пространства X называется:

1. сходящейся к элементу x X, если числовая последовательность (xn, x) 0 при n, (x = lim xn или xn x);

n 2. фундаментальной, если (xn, xm) 0 при n, m.

Пример 1.5. Доказать, что сходящаяся последовательность является фундаментальной.

Решение. Пусть последовательность {xn} сходится к точке x. Тогда на основании неравенства треугольника заключаем, что (xn, xm) (xn, x) + (xm, x) 0.

Последнее означает фундаментальность последовательности.

Определение 2. Метрическое пространство называется полным, если в нем всякая фундаментальная последовательность сходится.

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

Упражнение 1.6. Доказать, что фундаментальная последовательность ограничена.

Упражнение 1.7. Пусть xn X и числовой ряд (xn, xn+1) сходится. Доказать, что n={xn} фундаментальная. Верно ли обратное Замечание. Пространства, приведенные в п. 1.2, являются полными. Примером неполного метрического пространства может служить множество Q рациональных чисел с обычным расстоянием (x1, x2) = |x1 - x2|. Последовательность xn = (1 + 1/n)n Q является фундаментальной, однако lim xn = e не является рациональным числом.

1.5. Компактность В XIX веке чешский математик Б. Больцано заметил, что всякое ограниченное множество точек числовой прямой имеет хотя бы одну предельную точку. Идея выделения сходящейся последовательности из некоторых множеств привела к следующему понятию.

Определение 3. Множество K метрического пространства X называется компактным, если из любой бесконечной последовательности {xn} K можно выбрать подпоследовательность, сходящуюся к элементу x K.

Упражнение 1.8. Доказать, что компактное множество замкнуто и ограничено.

Упражнение 1.9. Привести пример ограниченного и замкнутого множества в C[0, 1], не являющегося компактным.

Множество M X называется относительно компактным, если M – компактное множество.

Множество A образует -сеть для множества M, если x M y A такой, что (x, y) <.

Если > 0 множество M имеет конечную -сеть, то M называется вполне ограниченным.

Оказывается, что в полном метрическом пространстве компактность M равносильна вполне ограниченности M. Пусть Rd — замкнутое ограниченное множество; через C() oбозначаем пространство непрерывных на функций, (x, y) = max |x(t) - y(t)|. Множество t M C() называется равномерно ограниченным, если > 0 : |x(t)| x M при всех t. При этом постоянная не зависит от x(t). Равностепенная непрерывность множества M означает, что > 0 > 0, зависящая только от : t1,2, |t1 - t2| < |x(t1) - x(t2)| < x M. Подчеркнем, что не зависит ни от выбора t1, t2, ни от функции x = x(t) M. Относительная компактность множества K C() равносильна равномерной ограниченности и равностепенной непрерывности K.

Упражнение 1.10. Доказать, что множество K = x = x(t) : x(t) = e-t, t [0, 1], [1, 2] вполне ограничено в C[0, 1].

Типичным примером компактного множества в C() является следующее:

K = x = x(t) C() : |x(t)| t, |x(t)| t.





1.6. Как линейное пространство сделать нормированным Рассмотрим линейное (векторное) пространство с умножением на вещественные числа.

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

Определение 4. Линейное пространство E над полем R называется нормированным пространством, если определено отображение:

x E x 0 такое, что 1. x = 0 x = 0 (условие тривиальности);

2. x = || · x R (условие однородности);

3. x + y x + y (неравенство треугольника).

Число x называется нормой элемента (точки, вектора) x E.

Любое нормированное пространство является метрическим, если определить метрику:

(x, y) = x - y. Поэтому все понятия, определенные в п. 1.1–1.5 для метрических пространств используются и в нормированных. Например, сходимость по норме (или сильная сходимость) последовательности xn E к элементу x E имеет место, если xn - x 0, при n.

Если нормированное пространство является полным в смысле сильной сходимости, то оно называется банаховым пространством (или пространством Банаха). Метрические пространства, приведенные в п. 1.2, являются банаховыми по соответствующим нормам:

n n 1. Rn. x R = ( x2)1/2 ;

i 2. lp. x l = ( |xi|p))1/p, p 1 ;

p 3. C[a, b]. x C[a,b] = max |x(t)| ;

atb 1/p b p 4. Lp(a, b). x L (a,b) = |x(t)|pdt, p 1.

a Так как нормированное пространство E фактически является линейным пространством, то для E имеют смысл понятия, определённые для линейных пространств. Например:

1. Пусть A E, B E. A + B = {a + b : a A, b B} E 2. Множество L E называется линейным многообразием, если x, y L, R:

x + y L, · x L.

3. Множество x0 + L, где x0 E, L — линейное многообразие, называется аффинным многообразием.

4. Элементы x1, x2,..., xn,... линейного пространства E называются линейно независимыми, если n N n cixi = 0, ci R ci = 0, i = 1, 2,..., n.

i=В противном случае элементы x1, x2,..., xn будут линейно зависимыми.

5. Базисом линейного многообразия L E называется множество линейно независимых n элементов x1, x2,..., xn L таких, что x L ci R, i = 1, 2,..., n : x = cixi.

i=Числа ci называются координатами элемента x в данном базисе; число n называется размерностью L, n = dim L; L называется n-мерным многообразием. Если n N в L можно найти n линейно независимых элементов, то L называется бесконечномерным линейным многообразием, dim L =.

6. Отрезком, соединяющим точки x, y E, называется множество [x, y] = {x + y : 0, 0, + = 1}.

Множество A E называется выпуклым, если [x, y] A x, y A.

Соединение алгебраической структуры линейного пространства и метрических свойств элементов, определяемых нормой, приводит к понятию подпространства, которое есть просто замкнутое линейное многообразие. Заметим, что в случае если L — линейное многообразие, n = dim L <, то L = L, то есть L — подпространство. Для бесконечномерных линейных многообразий равенство L = L может не иметь место, то есть не все линейные многообразия являются подпространствами. Если L — подпространство пространства E, dim L =, то последовательность линейно независимых элементов {xi} L называется счетным базисом L, если x L {ci} R:

i=1 i=n x = cixi, т.е. x - cixi 0 при n.

i=Упражнение 1.11. Пусть L — множество всех многочленов степени не больше n, определенных на [a, b]. Показать, что L — подпространство в C[a, b]. Найти его базис.

Упражнение 1.12. Образует ли подпространство в C[a, b] множество всех многочленов Упражнение 1.13. Доказать, что шар в нормированном пространстве не может содержать ненулевого линейного многообразия.

В одном и том же линейном пространстве E можно по-разному определять норму элемента x E. Две нормы x 1 и x 2 называются эквивалентными, если:, > 0, x 1 x x 2 x E.

В этом случае из сходимости по одной норме следует сходимость по другой норме, а если по одной из этих норм E является полным (т.е. банаховым), то E является банаховым и по другой (из эквивалентных) норме. Отметим также, что в конечномерном пространстве все нормы эквивалентны.

Вложение нормированного пространства X в нормированное пространство Y, X Y называется непрерывным, если x Y x X x X, где не зависит от x. Если при этом ограниченное в X множество будет предкомпактным в Y, то вложение называется компактным.

В общем случае в нормированных пространствах неопределено понятие угла между элементами и, соответственно, ортогональности элементов. Тем не менее справедлив следующий результат о существовании «почти перпендикуляра» к подпространству L E, L = E:

> 0 y E, y = 1, x - y > 1 - x L.

(y E — «почти перпендикуляр»).

1.7. Скалярные произведения и гильбертовы пространства Пусть V — линейное пространство над R. Скалярное произведение на V есть симметрическая билинейная форма, являющаяся при этом положительно определенной. Каждой паре элементов x, y V ставится в соответствие число (x, y), удовлетворяющее аксиомам:

x, y, R 1. (x, y) = (y, x) (симметрия);

2. (x, y) = (x, y); (x + y, z) = (x, z) + (y, z) (линейность);

3. (x, x) > 0, если x = 0 (положительная определенность).

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

Замечание. Рассматривая линейное пространство V над полем C комплексных чисел, следует заменить аксиому 1 в определении скалярного произведения условием (x, y) = (y, x).

Пространство V при этом называется унитарным пространством.

Pages:     || 2 | 3 |










© 2011 www.dissers.ru - «Бесплатная электронная библиотека»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.