Для установки нажмите кнопочку Установить расширение. И это всё.

Исходный код расширения WIKI 2 регулярно проверяется специалистами Mozilla Foundation, Google и Apple. Вы также можете это сделать в любой момент.

4,5
Келли Слэйтон
Мои поздравления с отличным проектом... что за великолепная идея!
Александр Григорьевский
Я использую WIKI 2 каждый день
и почти забыл как выглядит оригинальная Википедия.
Статистика
На русском, статей
Улучшено за 24 ч.
Добавлено за 24 ч.
Что мы делаем. Каждая страница проходит через несколько сотен совершенствующих техник. Совершенно та же Википедия. Только лучше.
.
Лео
Ньютон
Яркие
Мягкие

Из Википедии — свободной энциклопедии

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

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

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

Прямая сумма конечного числа подпространств

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

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

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

Комментарий

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

Примеры

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

Прямая сумма конечного числа пространств

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

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

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

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

Прямая сумма произвольного множества пространств

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

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

.

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

Свойства прямой суммы

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

См. также

Литература

Эта страница в последний раз была отредактирована 9 марта 2021 в 15:34.
Как только страница обновилась в Википедии она обновляется в Вики 2.
Обычно почти сразу, изредка в течении часа.
Основа этой страницы находится в Википедии. Текст доступен по лицензии CC BY-SA 3.0 Unported License. Нетекстовые медиаданные доступны под собственными лицензиями. Wikipedia® — зарегистрированный товарный знак организации Wikimedia Foundation, Inc. WIKI 2 является независимой компанией и не аффилирована с Фондом Викимедиа (Wikimedia Foundation).