Линейные нормированные пространства

ОПРЕДЕЛЕНИЕ 13. Множество Х называется линейным нормированным пространством, если

1. X является линейным пространством, т.е. для него определены операции сложения x+y и умножения векторов на числа x, обладающие следующими свойствами:

x+y = y+x;

(x+y)+z = y+(x+z);

Существует такой элемент (нулевой) 0  X, что x+0 = x для любого x;

Для всякого xX существует обратный (x), т.е. такой, что x+(x) = 0;

()x = (x);

(+)x = x+x;

(x+y) = x+y

1x = x.

2. На Х определена вещественнозначная функция ||х|| (норма), которая обладает следующими свойствами:

- ||х||  0, причем ||х|| = 0 только при х = 0,

- ||х|| = ||х||,

- ||х+y||  ||х||+||y||.

Наличие нормы позволяет ввести метрику на Х: (x,y) = ||хy||.

ПРЕДЛОЖЕНИЕ 10. Величина (x,y) обладает свойствами метрики.

Очевидно, что так определенная метрика сохраняется при сдвигах, т.е. выполняется свойство (x,y) = (x+z,y+z). Следует иметь в виду, что не всякая метрика в линейном пространстве, обладающая этим свойством, порождается некоторой нормой. Так, на линейном пространстве можно определить дискретную метрику, расстояние сохраняется при сдвигах, но никакой нормой она не порождается.

Почти все примеры метрических пространств, рассмотренные ранее, в действительности являются линейными нормированными пространствами.

Полные линейные нормированные пространства называются банаховыми.

1. Конечномерные пространства .

Множество векторов является линейным пространством. Если определить норму вектора по формуле ||х||_р=(свойства нормы можно проверить с использованием неравенств Гельдера и Минковского), то расстояние, введенное ранее, порождается этой нормой. Аналогично для случаяр=: соответствующая норма имеет вид ||х||_=maxx_i. Все эти пространства полные, т.е. банаховы.

2. Пространство С.

Множество непрерывных функций на отрезке [0,1] является линейным пространством, поскольку функции можно складывать и умножать на скаляры (поточечно) c сохранением непрерывности и при этом справедливы аксиомы 1-8 из п. Error: Reference source not found. Если ввести норму по формуле ||х  y|| = max(х(t)), где максимум берется по всем значениям t, то метрика, порождаемая этой нормой, совпадает с метрикой из раннего. Тем самым, пространство С является линейным нормированным пространством. Поскольку это пространство полное, оно банахово.

3. Пространство m.

Сумма ограниченных последовательностей  ограниченная последовательность, ограниченность сохраняется и при умножении последовательности на число. Аксиомы линейного пространства легко проверяются. Тем самым, множество ограниченных последовательностей является линейным пространством. Если определить норму вектора ||х  y|| = max(х_i), то метрика в пространстве m порождается этой нормой. Пространство является банаховым.

Естественно, так же определяется норма и в пространстве сходящихся последовательностей с подпространстве m.

4. Пространство L^p_с.

Здесь норма, порождающая метрику из раннего, задается формулой ||х  y||_p=. Пространство банаховым не является.

5. Пространство l^p.

Это пространство является линейным. Для этого сначала надо проверить, что сумма последовательностей из l^p также является элементом l^p. Норма в l^p определяется формулой ||х||=. Пространствоl^p банахово.

Проверим, что линейные операции и норма как функция на линейном нормированном пространстве непрерывны.

ПРЕДЛОЖЕНИЕ 11. Если х_nх, y_ny в пространстве Х и _n в пространстве R, то

х_n+y_nх+y;

_nх_nх;

||х_n||  ||х||.

Ограниченность множества в нашем случае согласно замечанию п. Error: Reference source not found равносильна тому, что множество содержится в некотором шаре с центром 0, т.е. ограниченности норм элементов множества. Шары в линейных нормированных пространствах обладают некоторыми дополнительными свойствами по сравнению с общими метрическими пространствами.

ПРЕДЛОЖЕНИЕ 12. Шары (замкнутые шары) в линейном нормированном пространстве являются выпуклыми множествами.

ПРЕДЛОЖЕНИЕ 13. Замыканием шара B(a,r) (r>0) является замкнутый шар (a,r). Заметим, что в общем случае метрических пространств это неверно.

ОПРЕДЕЛЕНИЕ 14. Замкнутое линейное многообразие в линейном нормированном пространстве называется линейным подпространством.

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

Например, в пространстве l¹ подпространством является множество S={xl¹:}.

Рассмотрим линейное многообразие в пространстве С, состоящее из непрерывно дифференцируемых функций. Линейность этого многообразия следует из правил дифференцирования. Многообразие не является подпространством, поскольку по теореме Вейерштрасса любую непрерывную функцию можно сколь угодно точно приблизить многочленом (это равносильно малости расстояния в метрике С), т.е. замыкание многообразия совпадает со всем пространством С. При этом в С существуют недифференцируемые функции (например, х1/2 ).

ТЕОРЕМА 6 (Ф.Рисс). Пусть L подпространство линейного нормированного пространства Х, не совпадающее со всем пространством. Для любого >0 существует вектор y такой, что 1 для всех хL.

Следует иметь в виду, что вектор со свойством может и не существовать. В важном частном случае гильбертова пространства такой вектор существует.