Просмотр кода страницы Прямая сумма

: ''Символ <math> \oplus</math> означает взятие прямой суммы; это также символ [[Земля|Земли]] в [[астрономия|астрономии]] и [[астрология|астрологии]] и символ операции [[Сложение по модулю 2|исключающее «или»]].''

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

Прямая сумма двух объектов <math>A</math> и <math>B</math> обозначается <math>A\oplus B</math>, а прямая сумма произвольного множества объектов <math>A_i</math> — как <math>\bigoplus_{i\in I} A_i</math>. При этом произвольное <math>A_i</math> называется '''прямым слагаемым''' <math>\bigoplus_{i\in I} A_i</math>.

== Прямая сумма конечного числа подпространств ==
Говорят, что [[линейное пространство]] <math>X</math> есть '''прямая сумма''' своих [[линейное подпространство|подпространств]] <math>M_1,\dots,M_n</math>:
: <math>X = M_1  \oplus\dots\oplus M_n,</math>
если каждый вектор <math>x\in X</math> представляется в виде суммы
: <math>x=m_1+\dots+m_n, \quad m_i\in M_i, \quad (*)</math>
и притом единственным образом.

=== Комментарий ===
Последнее условие («единственным образом») весьма существенно, без него получается просто определение '''суммы''' подпространств (обозначается <math>X = M_1 +\dots+ M_n</math>). Из определения линейного пространства следует, что условие единственности разложения (*) ''для каждого вектора'' <math>x\in X</math> равносильно условию единственности разложения (*) только ''для нулевого вектора'' (для <math>x=0</math> в сумме (*) все слагаемые <math>m_i=0</math>).

=== Примеры ===
* Трёхмерное линейное пространство является прямой суммой плоскости (то есть двумерного подпространства) и любой прямой (одномерного подпространства), не лежащей в этой плоскости, а также прямой суммой любых трёх не лежащих в одной плоскости прямых. Трёхмерное линейное пространство является суммой двух несовпадающих плоскостей, но не является их прямой суммой, так как пересечение плоскостей даёт прямую (и поэтому нулевой вектор может быть представлен бесконечным числом способов: <math>0=m_1+m_2</math>, где <math>m_1</math> и <math>m_2</math> — противоположные векторы на этой прямой).

* Пространство многочленов степени не больше <math>n</math> (от фиксированного числа переменных) может быть представлено в виде прямой суммы <math>M_0 \oplus M_1 \oplus \cdots \oplus M_n,</math> где <math>M_i</math> — подпространство [[однородный многочлен|однородных многочленов]] степени <math>i</math>. Если в определении <math>M_i</math> убрать условие однородности, то сумма перестанет быть прямой.

== Прямая сумма конечного числа пространств ==
Понятие прямой суммы <math>X = M_1 \oplus\dots\oplus M_n</math> распространяется на случай, когда <math>M_1,\dots,M_n</math> изначально не являются подпространствами какого-либо одного объемлющего линейного пространства. Чтобы избежать путаницы, прямая сумма в этом смысле называется '''внешней''' прямой суммой, тогда как прямая сумма ''подпространств'' называется '''внутренней''' прямой суммой.

Пусть <math>M_1,\ldots M_n</math> — векторные пространства над [[поле (алгебра)|полем]] <math>K</math>. Определим множество-носитель <math>X</math> как [[декартово произведение]] множеств <math>X = M_1 \times \dots \times M_n</math> и введём на нём операции векторного пространства с помощью формул
: <math>(x_1,\ldots,x_n)+(y_1,\ldots,y_n) = (x_1+y_1,\ldots,x_n+y_n) \quad x_i,y_i \in M_i \quad (*)</math>
: <math> \alpha (x_1,\ldots,x_n) = (\alpha x_1,\ldots,\alpha x_n), \quad x_i \in M_i, \alpha\in K \quad (**)</math>
Для каждого <math>i</math> существуют естественные вложения <math>f:M_i\to X</math>, такие что <math>f(M_i)</math> — это в точности множество тех векторов, все координаты которых в прямом произведении, кроме <math>i</math>-й координаты, равны нулю. Если отождествить пространства <math>M_i</math> с соответствующими подпространствами в <math>X</math>, каждый вектор <math>x\in X</math> однозначно представим в виде <math>x=m_1+\dots+m_n,</math> <math>m_i\in M_i,</math> следовательно, <math>X</math> является внутренней прямой суммой <math>M_i</math>.

Аналогичным образом определяется прямая сумма [[модуль над кольцом|модулей]] над [[Кольцо (алгебра)|кольцом]] <math>K</math> (и, в частности, прямая сумма [[Абелева группа|абелевых групп]], являющихся модулями над кольцом целых чисел).

== Прямая сумма произвольного множества пространств ==
Только при рассмотрении прямой суммы бесконечного числа пространств проявляется её отличие от [[прямое произведение|прямого произведения]] этих пространств. Пусть <math>M_i</math> — индексированное семейство векторных пространств над [[поле (алгебра)|полем]] <math>K</math>, тогда их прямая сумма — это множество '''конечных''' формальных сумм
: <math>\sum\limits_{i\in I} x_i, \; x_i\in M_i</math>

с покомпонентными операциями сложения и с операцией умножения на скаляр <math>\alpha \in K</math>:

: <math>\alpha(\sum_{i\in I} x_i)=\sum_{i\in I} \alpha x_i</math>.

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

== Свойства прямой суммы ==
* Если векторное пространство <math>X</math> конечномерно, то <math>\dim X = \dim M_1+\ldots+\dim M_n</math>. Аналогичные утверждения верны для [[ранг абелевой группы|ранга абелевой группы]] и [[длина модуля|длины модуля]].
* Объединение [[базис]]ов линейных подпространств <math>M_i\;(i=1,\dots,n</math>) есть базис <math>X</math>.
* Каждое векторное пространство над полем <math>K</math> изоморфно прямой сумме некоторого множества копий <math>K</math>. Также это верно для [[свободный модуль|свободных модулей]].
* Операция прямой суммы двух пространств [[коммутативность|коммутативна]] и [[Ассоциативность (математика)|ассоциативна]] с точностью до [[изоморфизм]]а.
* Группа ''K''-линейных гомоморфизмов из прямой суммы пространств изоморфна произведению групп гомоморфизмов из отдельных пространств:
:: <math>\operatorname{Hom}_K\biggl( \bigoplus_{i \in I} M_i,L\biggr) \cong \prod_{i \in I}\operatorname{Hom}_K\left(M_i,L\right).</math>

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

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

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

[[Категория:Линейная алгебра]]