Символ означает взятие прямой суммы; это также символ Земли в астрономии и астрологии и символ операции исключающее «или».

Прямая сумма — производный математический объект, создаваемый по определённым ниже правилам из базовых объектов. В качестве базовых чаще всего выступают векторные пространства или абелевы группы. Существует также обобщение данной конструкции для банаховых и гильбертовых пространств.

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

Говорят, что линейное пространство есть прямая сумма своих подпространств :

если каждый вектор представляется в виде суммы

и притом единственным образом.

Комментарий

Последнее условие («единственным образом») весьма существенно, без него получается просто определение суммы подпространств (обозначается ). Из определения линейного пространства следует, что условие единственности разложения (*) для каждого вектора равносильно условию единственности разложения (*) только для нулевого вектора (для в сумме (*) все слагаемые ).

Критерии прямой суммы

• Каждый вектор раскладывается в сумму (*), причём (Если конечномерно)
• Любая система из ненулевых векторов, принадлежащих различным подпространствам, линейно независима.
• Пересечение каждого из подпространств с суммой остальных есть нулевое пространство (пространство, состоящее только из нулевого вектора).
• Если линейное пространство обладает базисом, то объединение базисов подпространств ) есть базис в .
• Каждый элемент гильбертова пространства может быть представлен в виде (*), причём если число подпространств бесконечно, то  — сходящийся ряд.
• Пусть гильбертово пространство разлагается в прямую сумму , тогда сопряженное пространство также распадается в прямую сумму , причём и .

Примеры

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

• Пространство многочленов степени (от любого числа переменных) представимо в виде прямой суммы где — подпространство однородных многочленов степени . Если в определении убрать условие однородности, то сумма перестанет быть прямой.

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

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

Определим как декартово произведение и определим в нём операции линейного пространства с помощью формул

Тогда является линейным пространством, содержащим подпространства Согласно построению, каждый вектор однозначно представим в виде следовательно,

Прямая сумма абелевых групп

Говорят, что абелева группа есть прямая сумма своих подгрупп :

если каждый элемент представляется в виде суммы

и притом единственным образом. Условие единственности разложения (*) для каждого элемента равносильно условию единственности разложения (*) только для нулевого элемента .

Пусть — абелевы группы (с операцией ). Определим множество как декартово произведение и определим в нём групповую операцию с помощью формулы

Тогда является абелевой группой, содержащей подгруппы Это обозначается: Согласно построению, каждый элемент однозначно представим в виде (*). Противоположным (обратным) элементом к является элемент Нейтральным (нулевым) элементом группы является элемент где — нейтральный элемент группы

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

См. также

• Прямое произведение
• Тензорное произведение
• Прямая сумма представлений

Литература

• Гельфанд И. М. Лекции по линейной алгебре, — М.: Наука, 1971.
• Фаддеев Д. К. Лекции по алгебре, — М.: Наука, 1984.
• Кострикин А. И., Манин Ю. И. Линейная алгебра и геометрия, — М.: Наука, 1986.
• Шафаревич И. Р., Ремизов А. О. Линейная алгебра и геометрия, — Физматлит, Москва, 2009.