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



Скачать 51.74 Kb.
Дата25.11.2012
Размер51.74 Kb.
ТипДокументы
Линейные пространства.

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

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

  2. Для элементов множества определена операция умножения на число. Т.е. каждому элементу и каждому элементу некоторого числового поля поставлен в соответствие определённый элемент , который называется произведением элемента на число .

  3. Указанные операции удовлетворяют следующим требованиям (аксиомам линейного пространства).

1). (коммутативность).

2). (ассоциативность)

3). , (существование нуля)

4) (существование противоположного элемента)

Эти четыре свойства можно было высказать короче: в L введена операция сложения, превращающая L в абелеву группу

5).

6) gif" name="object23" align=absmiddle width=89 height=23>

Аксиомы связывающие обе операции

7)

8)

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



  1. Пространство непрерывных функций.

  2. Пространство быстро убывающих функций.

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

Конечный набор элементов ., если существуют такие числа не все равные нулю . В противном случае элементы называются линейно независимыми.

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

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

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







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

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

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

Доказательство. По условию при , т.к. при , следовательно , т.е. последовательность фундаментальна. В следствии полноты существует . Докажем, что . Т.к , и и поскольку замкнут, то . Если бы существовала другая точка принадлежащая всем шарам, то , противоречие.

Нормой в линейном пространстве L называется функционал [т.е. отображение , удовлетворяющий следующим условиям:

  1. причём (положительная определённость нормы)

  2. (неравенство треугольника)



Примеры норм.

  1. в или .

  2. в том же или .





  3. Норма в

Сходимость в нормированном пространстве

Говорят, что , если

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

Определение. Множество называется плотным, если его замыкание совпадает со всем пространством.

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

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

В самом деле, пусть .Согласно формуле Тейлора с остаточным членом в форме Лагранжа можем записать



Окончательно получаем, что последовательность Pn лежит в подпространстве многочленов, сходится (к функции )
, но предельная функция не лежит в пространстве многочленов. Следовательно, рассматриваемое подпространство незамкнуто.

Последовательность точек xn нормированного линейного пространства L называется фундаментальной, если для любого существует номер n0 такой, что для всех m,n>n0 выполняется неравенство .

Определение. Линейное нормированное пространство L называют полным, если всякая его фундаментальная последовательность сходится.

Определение. Полное линейное нормированное пространство называется Банаховым.

Примеры.

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

  2. Пространство ограниченных числовых последовательностей с нормой

  3. - пространство непрерывных на функций .



4) Лебеговские функциональные пространства


Лебеговским функциональным пространством Lp(X) называется совокупность всех вещественно-значных (соответственно комплексно-значных) измеримых по Лебегу функций, таких, что интегрируема на . Число называется нормой функции.

Неравенство Гельдера. Пусть p>1, q>1, 1/p+1/q=1 и выполнено неравенство ,

Неравенство Минковского

Пусть , , тогда



Доказательство. Для , оно очевидно, пусть , тогда



Применяя неравенство Гёльдера.



Здесь было использовано

Разделив начальный и конечный члены полученного неравенства на


получим



Для любого является нормированным пространством (неравенство треугольника выполняется в силу неравенства Минковского). При этом функции считаются равными, если они эквивалентны

Теорема. Для линейное нормированное пространство является полным , т.е. любая фундаментальная последовательность сходится к некоторой функции из .

Теорема. Для линейное нормированное пространство является сепарабельным.

Пусть измеримая функция на множестве . Говорят, что функция имеет конечный существенный максимум, если существует число такое, что . При этом существенным максимумом функции называется .

Похожие:

Линейные пространства iconПрограмма экзамена по алгебре и геометрии 2 семестр линейные пространства
Линейные пространства. Понятие линейного пространства. Примеры линейных пространств
Линейные пространства iconВопросы к экзамену алгебра линейные пространства
Размерность и базис линейного пространства. Конечномерные и бесконечномерные линейные пространства. Базис. Разложение вектора по...
Линейные пространства icon4. линейные операторы
Пусть Xn и Ym – линейные пространства. Отображение a называется линейным оператором из Xn в Ym, если оно сохраняет линейные зависимости,...
Линейные пространства icon3. линейные, евклидовы и унитарные пространства линейные пространства
Определение. Арифметическим пространством Rn называется множество векторов, в котором операции сложения векторов и умножения вектора...
Линейные пространства iconВопросы к экзамену по курсу "Линейная алгебра и геометрия"
Конечномерные линейные пространства. Базис пространства. Размерность пространства
Линейные пространства iconПрограмма курса Линейная и векторная алгебра. Программа курса
Линейные операции над векторами. Базисы, разложение вектора по базису. Координаты вектора. Декартов базис. Скалярное, векторное и...
Линейные пространства iconПрограмма курса «уравнения математической физики»
Линейные пространства, линейная независимость, конечномерные и бесконечномерные пространства, примеры
Линейные пространства iconЛинейные преобразования
Пусть дано п-мерное действительное пространство Vп. Рассмотрим преобразование этого пространства, то есть отображение, переводящее...
Линейные пространства icon2. Линейные пространства
Элементы линейного пространства называются векторами. Операции сложения и умножения на число удовлетворяют следующим аксиомам
Линейные пространства iconТемы экзамена дисциплины «Математические основы теории систем»
Понятие пространства. Линейные векторные пространства. Пространство состояний системы
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org