Прямая сумма

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

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

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

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

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

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

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

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

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

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

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

с покомпонентными операциями сложения и с операцией умножения на скаляр :

 .

Очевидно, сумма двух конечных сумм — вновь конечная сумма, поэтому прямая сумма замкнута относительно операций векторного пространства. Для того чтобы определить прямую сумму модулей, достаточно поле  заменить на некоторое кольцо.

Свойства прямой суммы 
 Если векторное пространство  конечномерно, то . Аналогичные утверждения верны для ранга абелевой группы и длины модуля.
 Объединение базисов линейных подпространств ) есть базис .
 Каждое векторное пространство над полем  изоморфно прямой сумме некоторого множества копий . Также это верно для свободных модулей.
 Операция прямой суммы двух пространств коммутативна и ассоциативна с точностью до изоморфизма.
 Группа K-линейных гомоморфизмов из прямой суммы пространств изоморфна произведению групп гомоморфизмов из отдельных пространств:
 

 В частности, пространство, двойственное к прямой сумме пространств, изоморфно произведению пространств, двойственных к компонентам прямой суммы.

См. также 
 Прямое произведение
 Тензорное произведение
 Прямая сумма представлений группы

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

Линейная алгебра