Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатика
ИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханика
ОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторика
СоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансы
ХимияЧерчениеЭкологияЭкономикаЭлектроника

Прямая сумма подпространств

Читайте также:
  1. III. 5 доказательств бытия Бога в философии томизма (Ф. Аквинский «Сумма против язычников», «Сумма теологии»).
  2. Автосуммалау автоесептеу
  3. Верхняя прямая подача.
  4. Коммандная Сумма: 147.8
  5. Коммандная Сумма: 147.8
  6. Найдите периметр ромба с наибольшей площадью если сумма длин его диагоналей равна 10.
  7. НОРМА ПРИБЫЛИ И СУММА ПРИБЫЛИ. ПАДЕНИЕ НОРМЫ ПРИБЫЛИ

 

Пусть, , …, – подпространства линейного пространства . Суммой подпространств называется множество всех сумм элементов этих подпространств, взятых по одному из каждого подпространства:

 

Теорема.

Доказательство. Пусть – базис , т. е. . Элементы линейно независимы в и их можно в дополнить до максимальной линейно независимой системы, т.е. до базиса : – базис , . Аналогично, дополним систему до базиса : - базис , . Векторы линейно независимы. В самом деле, если

,

то

.

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

 

Сумма подпространств называется прямой, если каждый её элемент можно представить в виде суммы элементов подпространств единственным образом. В этом случае пишут .

 

Теорема. Сумма + … + – прямая

, i =1,..., k.

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


Дано: сумма + … + – прямая. Без ограничения общности можно рассмотреть лишь случай i =1.

Пусть .

Тогда , где , т.е. . С другой стороны, для нулевого вектора уже существует представление в виде суммы элементов подпространств: . В силу единственности представления получаем , т.е. .

Дано: .

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

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

Если , то подпространства и называются дополнительными.

Пусть и – произвольные линейные пространства над одним и тем же полем К. Рассмотрим множество пар вида . Оно является линейным пространством (надо проверить!) относительно отношения

равенства ,

сложения

и умножения на элемент поля .

Это линейное пространство называется (внешней) прямой суммой линейных пространств и . Заметим, что изоморфно подпространству , а , т.е. . Обычно отождествляют и , и . При таком отождествлении внешняя прямая сумма совпадает с введенной ранее внутренней прямой суммой. ■

 

Упражнения

 

1) Для подпространств и докажите, что и тоже подпространства линейного пространства .

2) Докажите, что семейства подпространств – линейная оболочка их объединения.

3) Докажите, что сумма и – прямая .

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

5) Если , то , где , , . Докажите.

6) Если , то . Докажите.

7) Для любого подпространства существует дополнительное подпространство. Докажите.

 

 


Дата добавления: 2015-10-23; просмотров: 152 | Нарушение авторских прав


Читайте в этой же книге: Линейная оболочка. | Эквивалентные системы. Базис и размерность | Матрица перехода от базиса к базису | Глава 3.2. Системы линейных уравнений | Теорема Кронекера-Капелли | Фундаментальная система решений |
<== предыдущая страница | следующая страница ==>
Изоморфизм линейных пространств| Евклидовы пространства

mybiblioteka.su - 2015-2024 год. (0.012 сек.)