Прямая сумма
Эта статья нуждается в дополнительных ссылок для проверки . ( декабрь 2013 г. ) |
Прямая сумма — это операция между структурами в абстрактной алгебре , разделе математики . Оно определяется по-разному, но аналогично для разных видов структур. Например, прямая сумма двух абелевых групп и это еще одна абелева группа состоящая из упорядоченных пар где и . Чтобы добавить упорядоченные пары, определим сумму быть ; другими словами, сложение определяется по координатам. Например, прямая сумма , где — действительное координатное пространство , — декартова плоскость , . Аналогичный процесс можно использовать для формирования прямой суммы двух векторных пространств или двух модулей .
Мы также можем образовывать прямые суммы с любым конечным числом слагаемых, например , предоставил и являются одними и теми же видами алгебраических структур (например, все абелевы группы или все векторные пространства). Это основано на том факте, что прямая сумма ассоциативна с точностью до изоморфизма . То есть, для любых алгебраических структур , , и такого же рода. Прямая сумма также коммутативна с точностью до изоморфизма, т.е. для любых алгебраических структур и такого же рода.
Прямая сумма конечного числа абелевых групп, векторных пространств или модулей канонически изоморфна соответствующему прямому произведению . Однако это неверно для некоторых алгебраических объектов, таких как неабелевы группы.
В случае объединения бесконечного числа объектов прямая сумма и прямое произведение не изоморфны даже для абелевых групп, векторных пространств или модулей. В качестве примера рассмотрим прямую сумму и прямое произведение (счетного) бесконечного числа копий целых чисел. Элемент в прямом произведении представляет собой бесконечную последовательность, например (1,2,3,...), но в прямой сумме существует требование, чтобы все координаты, кроме конечного числа, были равны нулю, поэтому последовательность (1,2 ,3,...) будет элементом прямого произведения, но не прямой суммы, а (1,2,0,0,0,...) будет элементом обоих. Часто, если используется знак +, все координаты, кроме конечного числа, должны быть равны нулю, а если используется какая-либо форма умножения, все координаты, кроме конечного числа, должны быть равны 1. Говоря более техническим языком, если слагаемые равны , прямая сумма
Примеры [ править ]
Плоскость xy , двумерное векторное пространство , можно рассматривать как прямую сумму двух одномерных векторных пространств, а именно осей x и y . В этой прямой сумме оси x и y пересекаются только в начале координат (нулевом векторе). Сложение определяется по координатам, т.е. , что аналогично сложению векторов.
Учитывая две структуры и , их прямая сумма записывается как . Учитывая индексированное семейство структур , индексированный с помощью , прямую сумму можно записать . Каждое A i называется прямым слагаемым A . Если набор индексов конечен, прямая сумма равна прямому произведению. В случае групп, если групповая операция записана как используется словосочетание «прямая сумма», а если записана групповая операция используется фраза «прямой продукт». Когда набор индексов бесконечен, прямая сумма — это не то же самое, что прямое произведение, поскольку к прямой сумме предъявляется дополнительное требование: все координаты, кроме конечного числа, должны быть равны нулю.
внешние прямые суммы Внутренние и
Различают внутренние и внешние прямые суммы, хотя они изоморфны. Если сначала определяются слагаемые, а затем через слагаемые определяется прямая сумма, мы имеем внешнюю прямую сумму. Например, если мы определим действительные числа а затем определить прямая сумма называется внешней.
С другой стороны, если мы сначала определим некоторую алгебраическую структуру а потом напиши как прямая сумма двух подструктур и , то прямая сумма называется внутренней. В этом случае каждый элемент однозначно выражается как алгебраическая комбинация элемента и элемент . В качестве примера внутренней прямой суммы рассмотрим (целые числа по модулю шесть), элементами которого являются . Это выражается как внутренняя прямая сумма .
Виды прямой суммы [ править ]
сумма групп Прямая абелевых
Прямая сумма абелевых групп является типичным примером прямой суммы. Даны две такие группы и их прямая сумма то же самое, что и их прямое произведение . То есть базовым набором является декартово произведение и групповая операция определяется покомпонентно:
Для произвольного семейства групп индексируется их прямая сумма [2]
Прямая сумма модулей [ править ]
Прямая сумма модулей – это конструкция, объединяющая несколько модулей в новый модуль.
Наиболее знакомые примеры этой конструкции встречаются при рассмотрении векторных пространств , которые являются модулями над полем . Конструкция может быть распространена также на банаховы и гильбертовы пространства .
Прямая сумма по категориям [ править ]
Аддитивная категория — это абстракция свойств категории модулей. [4] [5] В такой категории конечные произведения и копроизведения совпадают, и прямая сумма равна любому из них, ср. бипродукт .
Общий случай: [2] В теории категорий Прямая сумма часто, но не всегда, является сопроизведением в категории рассматриваемых математических объектов. Например, в категории абелевых групп прямая сумма является копроизведением. Это также справедливо и в отношении модулей.
Прямые суммы и копродукции в категориях групп [ править ]
Однако прямая сумма (определяется тождественно прямой сумме абелевых групп) не является копроизведением групп и в категории групп . Поэтому для этой категории категориальную прямую сумму часто называют просто копроизведением, чтобы избежать возможной путаницы.
сумма представлений Прямая группы
Прямая сумма представлений группы обобщает прямую сумму базовых модулей , добавляя к ней групповое действие . В частности, учитывая группу и два представления и из (или, в более общем смысле, два -модули ), прямая сумма представлений равна с действием задано покомпонентно, т.е.
Учитывая два представления и векторное пространство прямой суммы есть и гомоморфизм дан кем-то где — естественная карта, полученная координатным действием, как указано выше.
Кроме того, если конечномерны, то, учитывая базис , и являются матричными. В этом случае, дается как
Более того, если мы будем относиться и как модули над групповым кольцом , где — поле, то прямая сумма представлений и равна их прямой сумме как модули.
Прямая сумма колец [ править ]
Некоторые авторы будут говорить о прямой сумме двух колец, когда они означают прямое произведение , но этого следует избегать [6] с не получает естественных гомоморфизмов колец из и : в частности, карта отправка к не является кольцевым гомоморфизмом, поскольку он не может перевести 1 в (при условии, что в ). Таким образом не является копроизведением в категории колец и не должно быть записано в виде прямой суммы. (Копроизведение в категории коммутативных колец — это тензорное произведение колец . [7] В категории колец копроизведение задается конструкцией, аналогичной свободному произведению групп.)
Использование терминологии и обозначений прямой суммы особенно проблематично при работе с бесконечными семействами колец: если является бесконечным набором нетривиальных колец, то прямая сумма основных аддитивных групп может быть снабжена почленным умножением, но это дает rng , то есть кольцо без мультипликативного тождества.
Прямая сумма матриц [ править ]
Для любых произвольных матриц и , прямая сумма определяется как блочная диагональная матрица и если обе являются квадратными матрицами (и аналогичной блочной матрицей , если нет).
сумма топологических пространств Прямая векторных
Топологическое векторное пространство (ТВП) такое как банахово пространство , называется топологической прямой суммой двух векторных подпространств. и если дополнительная карта
Если является векторным подпространством вещественного или комплексного векторного пространства тогда всегда существует другое векторное подпространство из называется алгебраическим дополнением в такой, что является алгебраической прямой суммой и (что происходит тогда и только тогда, когда карта сложения является изоморфизмом векторного пространства ). В отличие от алгебраических прямых сумм, для топологических прямых сумм существование такого дополнения уже не гарантируется.
Векторное подпространство из называется ( топологически ) дополняемым подпространством пространства если существует некоторое векторное подпространство из такой, что является топологической прямой суммой и Векторное подпространство называется недополненным, если оно не является дополняемым подпространством. Например, каждое векторное подпространство хаусдорфовой ТВС, не являющееся замкнутым подмножеством, обязательно является недополняемым. Каждое замкнутое векторное подпространство гильбертова пространства дополняемо. Но каждое банахово пространство , не являющееся гильбертовым, обязательно содержит некоторое недополняемое замкнутое векторное подпространство.
Гомоморфизмы [ править ]
Прямая сумма поставляется с проекционным гомоморфизмом для каждого j в I и копроекции для j в I. каждого [8] Учитывая другую алгебраическую структуру (с той же дополнительной структурой) и гомоморфизмы для каждого j в I существует единственный гомоморфизм , называемая суммой g j , такая, что для всех j . Таким образом, прямая сумма является копродукцией соответствующей категории .
См. также [ править ]
- Прямая сумма групп
- Прямая сумма перестановок
- Прямая сумма топологических групп
- Ограниченный продукт
- Сумма Уитни
- Теорема Фефермана-Вота
Примечания [ править ]
- ^ Томас В. Хангерфорд , Алгебра , стр.60, Springer, 1974, ISBN 0387905189
- ^ Перейти обратно: а б Прямая сумма в n Lab
- ^ Джозеф Дж. Ротман, Теория групп: введение , с. 177, Аллин и Бэкон, 1965 г.
- ^ " "стр.45" " (PDF) . Архивировано из оригинала (PDF) 22 мая 2013 г. Проверено 14 января 2014 г.
- ^ «Приложение» (PDF) . Архивировано из оригинала (PDF) 17 сентября 2006 г. Проверено 14 января 2014 г.
- ^ Math StackExchange о прямой сумме колец и прямом произведении колец.
- ^ Ланг 2002 , раздел I.11.
- ^ Хойнен, Крис (2009). Категориальные квантовые модели и логика . Палласовые диссертации. Издательство Амстердамского университета. п. 26. ISBN 978-9085550242 .
Ссылки [ править ]
- Ланг, Серж (2002), Алгебра , Тексты для выпускников по математике , том. 211 (пересмотренное третье издание), Нью-Йорк: Springer-Verlag, ISBN. 978-0-387-95385-4 , МР 1878556 , Збл 0984.00001