<<
>>

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

ОПРЕДЕЛЕНИЕ 15. Множество Х называется линейным нормированным пространством, если X является линейным пространством, т.е. для него определены операции сложения x+y и умножения векторов на числа lx, обладающие следующими свойствами:

x+y = y+x;

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

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

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

(lm)x = l(mx);

(l+m)x = lx+mx;

l(x+y) = lx+ly

1?x = x.

2.

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

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

- ||lх|| = êl÷?||х||,

- ||х+y|| £ ||х||+||y||.

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

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

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

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

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

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

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

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

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

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

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

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

4. Пространство Lpс.

Здесь норма, порождающая метрику из раннего, задается формулой ||х - y||p=.

Пространство банаховым не является.

5. Пространство lp.

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

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

ПРЕДЛОЖЕНИЕ 11. Если хn®х, yn®y в пространстве Х и ln®l в пространстве R, то

хn+yn®х+y;

lnхn®lх;

||хn|| ® ||х||.

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

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

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

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

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

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

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

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

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

<< | >>
Источник: Шпаргалка по курсу Функциональный анализ. 2017

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

  1. 2. Элементы нелинейного анализа
  2. 1.2.1. Определение. Линейное пространство называется нормированным пространством,
  3. Линейные нормированные пространства
  4. Изоморфные и изометричные линейные нормированные пространства
  5. Компактность в линейных нормированных пространствах
  6. Линейные операторы
  7. Сопряженные пространства и слабая сходимость
  8. 1. Линейные пространства. Нормированные пространства. Метрика, порожденная нормой. Ряды в нормированных пространствах. Абсолютная сходимость ряда и полнота нормированного пространства. Факторпространства
  9. 2. Конечномерные пространства. Конечномерность и компактность. Теорема Рисса о локальной компактности.
  10. 3. Скалярное произведение. Гильбертово пространство. Аксиомы и свойства. Ортонормированные системы. Ортогонализация по Шмидту. Тождество параллелограмма.
  11. 5. Ряды Фурье в гильбертовом пространстве. Коэффициенты Фурье. Неравенство Бесселя и равенство Парсеваля. Полные и замкнутые ортонормированные системы
  12. ГЛАВА 7 ЛИНЕЙНЫЕ ОПЕРАТОРЫ В НОРМИРОВАННЫХ ПРОСТРАНСТВАХ
  13. 1. Линейные операторы в линейных нормированных пространствах. Равносильность непрерывности и ограниченности линейного оператора. Понятие нормы ограниченного оператора. Различные формулы для вычисления норм. Примеры линейных ограниченных операторов.
  14. 2. Пространство линейных непрерывных операторов и его полнота относительно равномерной сходимости операторов