Jump to content

Блочная матрица

(Перенаправлено из блочных матриц )

В математике или блочная матрица секционированная матрица — это матрица , которая интерпретируется как разбитая на секции, называемые блоками или подматрицами . [1] [2]

Интуитивно матрицу, интерпретируемую как блочную матрицу, можно визуализировать как исходную матрицу с набором горизонтальных и вертикальных линий, которые разбивают ее или разделяют на набор меньших матриц. [3] [2] Например, представленная ниже матрица 3x4 разделена горизонтальными и вертикальными линиями на четыре блока: верхний левый блок 2x3, верхний правый блок 2x1, нижний левый блок 1x3 и нижний правый блок 1x1.

Любую матрицу можно интерпретировать как блочную матрицу одним или несколькими способами, причем каждая интерпретация определяется тем, как разделены ее строки и столбцы.

Это понятие можно уточнить для к матрица путем разделения в коллекцию , а затем разбиение в коллекцию . Исходная матрица затем рассматривается как «сумма» этих групп в том смысле, что запись исходной матрицы соответствует 1 к 1 некоторым компенсационная запись некоторых , где и . [4]

Алгебра блочных матриц обычно возникает из двойных произведений в категориях матриц. [5]

Блочная матрица элементов размером 168×168 с подматрицами 12×12, 12×24, 24×12 и 24×24. Ненулевые элементы выделены синим цветом, нулевые элементы — серым.

Матрица

можно представить разделенным на четыре блока, т.

.

Горизонтальные и вертикальные линии не имеют особого математического значения. [6] [7] но являются распространенным способом визуализации раздела. [6] [7] По этому разделу разбит на четыре блока 2×2, так как

Тогда разделенную матрицу можно записать как

[8]

Формальное определение

[ редактировать ]

Позволять . Разделение является представлением в форме

,

где являются смежными подматрицами, , и . [9] Элементы раздела называются блоками . [9]

Согласно этому определению, все блоки в любом столбце должны иметь одинаковое количество столбцов. [9] Аналогично, блоки в любой строке должны иметь одинаковое количество строк. [9]

Методы разделения

[ редактировать ]

Матрицу можно разделить разными способами. [9] Например, матрица называется разделенным по столбцам, если оно записано как

,

где это й столбец . [9] Матрицу также можно разделить на строки :

,

где это й ряд . [9]

Общие разделы

[ редактировать ]

Часто, [9] мы встречаем раздел 2x2

, [9]

особенно в той форме, где является скаляром:

. [9]

Блочные матричные операции

[ редактировать ]

Транспонировать

[ редактировать ]

Позволять

где . (Эта матрица будет повторно использоваться в § Сложении и § Умножении .) Тогда его транспонирование будет

, [9] [10]

и то же уравнение справедливо с заменой транспонирования сопряженным транспонированием. [9]

Блокировать транспонирование

[ редактировать ]

Для блочных матриц также можно определить специальную форму транспонирования , при которой отдельные блоки переупорядочиваются, но не транспонируются. Позволять быть блочная матрица с блоки , транспонирование блока это блочная матрица с блоки . [11] Как и в случае с обычным оператором трассировки, транспонирование блоков представляет собой линейное отображение такое, что . [10] Однако в целом свойство не выполняется, если только блоки и добираться.

Добавление

[ редактировать ]

Позволять

,

где , и пусть быть матрицей, определенной в § Транспонирование . (Эта матрица будет повторно использоваться в § Умножении .) Тогда, если , , , и , затем

. [9]

Умножение

[ редактировать ]

Можно использовать матричное произведение с блочным разделением, которое включает только алгебру над подматрицами факторов. Однако разделение факторов не является произвольным и требует « соответствующих распределений». [12] между двумя матрицами и так, чтобы были определены все продукты подматрицы, которые будут использоваться. [13]

Две матрицы и называются конформно разделенными для произведения , когда и разбиваются на подматрицы и если умножение выполняется с обработкой подматриц, как если бы они были скалярами, но с сохранением порядка, и когда все произведения и суммы задействованных подматриц определены.

- Арак М. Матай и Ханс Дж. Хаубольд, Линейная алгебра: курс для физиков и инженеров [14]

Позволять — матрица, определенная в § Транспонирование , и пусть быть матрицей, определенной в § Сложение . Тогда матричное произведение

может выполняться поблочно, что дает как матрица. Матрицы в полученной матрице рассчитываются путем умножения:

[6]

Или, используя обозначение Эйнштейна , которое неявно суммирует по повторяющимся индексам:

изображая в качестве матрицы мы имеем

. [9]

Инверсия

[ редактировать ]

Если матрица разделена на четыре блока, ее можно инвертировать поблочно следующим образом:

где A и D — квадратные блоки произвольного размера, а B и C согласны с ними при разбиении. Более того, A и дополнение Шура к A в P : P / A = D CA −1 B должен быть обратимым. [15]

Аналогично, переставляя блоки:

[16]

Здесь D и дополнение Шура к D в P : P / D = A BD −1 C должен быть обратимым.

Если A и D обратимы, то:

Согласно тождеству Вайнштейна – Ароншайна , одна из двух матриц в блочно-диагональной матрице обратима ровно тогда, когда обратима другая.

Определитель

[ редактировать ]

Формула определителя а Приведенная выше матрица продолжает сохраняться при соответствующих дальнейших предположениях для матрицы, состоящей из четырех подматриц. . Самая простая такая формула, которую можно доказать с помощью формулы Лейбница или факторизации с дополнением Шура , имеет вид

[16]

Используя эту формулу, мы можем вывести полиномы характеристические и одинаковы и равны произведению характеристических многочленов и . Кроме того, если или диагонализуема то , и также диагонализуемы. Обратное неверно; просто проверьте .

Если является обратимым , имеется

[16]

и если обратима, имеется

[17] [16]

Если блоки представляют собой квадратные матрицы одинакового размера , дальнейшие формулы справедливы. Например, если и ездить на работу (т.е. ), затем

[18]

Эта формула была обобщена на матрицы, состоящие из более чем блоков, опять же при соответствующих условиях коммутативности между отдельными блоками. [19]

Для и , справедлива следующая формула (даже если и не ездить на работу)

[16]

Специальные типы блочных матриц

[ редактировать ]

Прямые суммы и блочные диагональные матрицы

[ редактировать ]

Прямая сумма

[ редактировать ]

Для любых произвольных матриц A (размера m × n ) и B (размера p × q ) мы имеем сумму прямую A и B , обозначаемую A   B и определяется как

[10]

Например,

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

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

Блочные диагональные матрицы

[ редактировать ]

Блочная диагональная матрица — это блочная матрица, представляющая собой квадратную матрицу , в которой блоки главной диагонали являются квадратными матрицами, а все внедиагональные блоки являются нулевыми матрицами. [16] То есть блочно-диагональная матрица A имеет вид

где A k — квадратная матрица для всех k = 1,..., n . Другими словами, матрица A является прямой суммой A 1 , ... An , . [16] Его также можно обозначить как A 1 A 2 ⊕ ... An [10] или Diag( A 1 , A 2 , ... An , ) [10] (последний представляет собой тот же формализм, который используется для диагональной матрицы ). Любую квадратную матрицу можно тривиально считать блочной диагональной матрицей только с одним блоком.

Для определителя и следа выполняются следующие свойства:

[20] [21] и
[16] [21]

Блочная диагональная матрица обратима тогда и только тогда, когда каждый из ее блоков главной диагонали обратим, и в этом случае ее обратная матрица является другой блочной диагональной матрицей, заданной формулой

[22]

Собственные значения [23] и собственные векторы являются просто теми из комбинированное. [21]

Блочные трехдиагональные матрицы

[ редактировать ]

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

где , и — квадратные подматрицы нижней, главной и верхней диагонали соответственно. [24] [25]

Блочные трехдиагональные матрицы часто встречаются при численном решении инженерных задач (например, вычислительной гидродинамики ). оптимизированные численные методы LU-факторизации. Доступны [26] и, следовательно, эффективные алгоритмы решения систем уравнений с блочной трехдиагональной матрицей в качестве матрицы коэффициентов. Алгоритм Томаса , используемый для эффективного решения систем уравнений, включающих трехдиагональную матрицу , также может применяться с использованием матричных операций для блокировки трехдиагональных матриц (см. также Блочное LU-разложение ).

Блочные треугольные матрицы

[ редактировать ]

Верхний блок треугольный

[ редактировать ]

Матрица ( верхний блок треугольный или блок верхний треугольный [27] ) если

,

где для всех . [23] [27]

Нижний блок треугольный

[ редактировать ]

Матрица является нижним блоком треугольным, если

,

где для всех . [23]

Блочные матрицы Теплица

[ редактировать ]

Блочная матрица Теплица — это еще одна специальная блочная матрица, которая содержит блоки, повторяющиеся по диагонали матрицы, поскольку в матрице Теплица элементы повторяются по диагонали.

Матрица является блочным Теплицем, если для всех , то есть,

,

где . [23]

Блочные матрицы Ханкеля

[ редактировать ]

Матрица является блоком Ханкеля, если для всех , то есть,

,

где . [23]

См. также

[ редактировать ]

Примечания

[ редактировать ]
  1. ^ Ивс, Ховард (1980). Элементарная теория матриц (переиздание). Нью-Йорк: Дувр. п. 37 . ISBN  0-486-63946-0 . Проверено 24 апреля 2013 г. Мы обнаружим, что иногда удобно разбить матрицу на прямоугольные блоки элементов. называемые секционированные или блочные матрицы Это заставляет нас рассмотреть так .
  2. ^ Jump up to: а б Добрушкин Владимир. «Матрицы разделов» . Линейная алгебра с Mathematica . Проверено 24 марта 2024 г.
  3. ^ Антон, Ховард (1994). Элементарная линейная алгебра (7-е изд.). Нью-Йорк: Джон Уайли. п. 30. ISBN  0-471-58742-7 . Матрицу можно разделить на более мелкие матрицы, вставив горизонтальные и вертикальные правила между выбранными строками и столбцами.
  4. ^ Индумати, Д.; Сарала, С. (16 мая 2014 г.). «Анализ фрагментов и создание тестовых примеров с использованием F-меры для адаптивного случайного тестирования и адаптивного случайного тестирования на основе разделенных блоков» (PDF) . Международный журнал компьютерных приложений . 93 (6): 13. дои : 10.5120/16218-5662 .
  5. ^ Маседо, HD; Оливейра, JN (2013). «Типизация линейной алгебры: подход, ориентированный на два произведения». Наука компьютерного программирования . 78 (11): 2160–2191. arXiv : 1312.4818 . дои : 10.1016/j.scico.2012.07.012 .
  6. ^ Jump up to: а б с Джонстон, Натаниэль (2021). Введение в линейную и матричную алгебру . Чам, Швейцария: Springer Nature. стр. 30, 425. ISBN.  978-3-030-52811-9 .
  7. ^ Jump up to: а б Джонстон, Натаниэль (2021). Продвинутая линейная и матричная алгебра . Чам, Швейцария: Springer Nature. п. 298. ИСБН  978-3-030-52814-0 .
  8. ^ Джеффри, Алан (2010). Матричные операции для инженеров и ученых: важное руководство по линейной алгебре . Дордрехт [Нидерланды] ; Нью-Йорк: Спрингер. п. 54. ИСБН  978-90-481-9273-1 . OCLC   639165077 .
  9. ^ Jump up to: а б с д и ж г час я дж к л м н Стюарт, Гилберт В. (1998). Матричные алгоритмы. 1: Основные разложения . Филадельфия, Пенсильвания: Soc. по промышленной и прикладной математике. стр. 18–20. ISBN  978-0-89871-414-2 .
  10. ^ Jump up to: а б с д и Нежный, Джеймс Э. (2007). Матричная алгебра: теория, вычисления и приложения в статистике . Тексты Спрингера в статистике. Нью-Йорк, штат Нью-Йорк: Электронные книги Springer New York Springer. стр. 47, 487. ISBN.  978-0-387-70873-7 .
  11. ^ Макки, Д. Стивен (2006). Структурированная линеаризация матричных полиномов (PDF) (Диссертация). Университет Манчестера. ISSN   1749-9097 . OCLC   930686781 .
  12. ^ Ивс, Ховард (1980). Элементарная теория матриц (переиздание). Нью-Йорк: Дувр. п. 37 . ISBN  0-486-63946-0 . Проверено 24 апреля 2013 г. называется соформным разбиением A Разбиение , и B. подобное теореме 1.9.4 ,
  13. ^ Антон, Ховард (1994). Элементарная линейная алгебра (7-е изд.). Нью-Йорк: Джон Уайли. п. 36. ISBN  0-471-58742-7 . ...при условии, что размеры подматриц A и B таковы, что указанные операции могут быть выполнены.
  14. ^ Матай, Аракапарампил М.; Хаубольд, Ханс Дж. (2017). Линейная алгебра: курс для физиков и инженеров . Учебник де Грюйтера. Берлин Бостон: Де Грюйтер. п. 162. ИСБН  978-3-11-056259-0 .
  15. ^ Бернштейн, Деннис (2005). Матричная математика . Издательство Принстонского университета. п. 44. ИСБН  0-691-11802-7 .
  16. ^ Jump up to: а б с д и ж г час Абадир, Карим М.; Магнус, Ян Р. (2005). Матричная алгебра . Издательство Кембриджского университета. стр. 100-1 97, 100, 106, 111, 114, 118. ISBN.  9781139443647 .
  17. ^ Табога, Марко (2021). «Определитель блочной матрицы», Лекции по матричной алгебре.
  18. ^ Сильвестр, младший (2000). «Определители блочных матриц» (PDF) . Математика. Газ . 84 (501): 460–467. дои : 10.2307/3620776 . JSTOR   3620776 . Архивировано из оригинала (PDF) 18 марта 2015 г. Проверено 25 июня 2021 г.
  19. ^ Сотанафан, Нат (январь 2017 г.). «Определители блочных матриц с некоммутирующими блоками». Линейная алгебра и ее приложения . 512 : 202–218. arXiv : 1805.06027 . дои : 10.1016/j.laa.2016.10.004 . S2CID   119272194 .
  20. ^ Квартерони, Альфио; Сакко, Риккардо; Салери, Фаусто (2000). Численная математика . Тексты по прикладной математике. Нью-Йорк: Спрингер. стр. 10, 13. ISBN  978-0-387-98959-4 .
  21. ^ Jump up to: а б с Джордж, Раджу К.; Аджаякумар, Абхиджит (2024). «Курс линейной алгебры» . Университетские тексты по математическим наукам : 35, 407. doi : 10.1007/978-981-99-8680-4 . ISBN  978-981-99-8679-8 . ISSN   2731-9318 .
  22. ^ Принс, Саймон Джей Ди (2012). Компьютерное зрение: модели, обучение и выводы . Нью-Йорк: Издательство Кембриджского университета. п. 531. ИСБН  978-1-107-01179-3 .
  23. ^ Jump up to: а б с д и Бернштейн, Деннис С. (2009). Матричная математика: теория, факты и формулы (2-е изд.). Принстон, Нью-Джерси: Издательство Принстонского университета. стр. 168, 298. ISBN.  978-0-691-14039-1 .
  24. ^ Дитль, Гвидо К.Е. (2007). Линейное оценивание и обнаружение в подпространствах Крылова . Основы обработки сигналов, коммуникаций и сетей. Берлин ; Нью-Йорк: Спрингер. стр. 85, 87. ISBN.  978-3-540-68478-7 . OCLC   85898525 .
  25. ^ Хорн, Роджер А.; Джонсон, Чарльз Р. (2017). Матричный анализ (Второе издание, исправленное переиздание). Нью-Йорк, штат Нью-Йорк: Издательство Кембриджского университета. п. 36. ISBN  978-0-521-83940-2 .
  26. ^ Датта, Бисва Натх (2010). Численная линейная алгебра и приложения (2-е изд.). Филадельфия, Пенсильвания: СИАМ. п. 168. ИСБН  978-0-89871-685-6 .
  27. ^ Jump up to: а б Стюарт, Гилберт В. (2001). Матричные алгоритмы. 2: Собственные системы . Филадельфия, Пенсильвания: Soc. по промышленной и прикладной математике. п. 5. ISBN  978-0-89871-503-3 .
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 5a493456fe1a3a8c20509c7aee0e9ecb__1720777140
URL1:https://arc.ask3.ru/arc/aa/5a/cb/5a493456fe1a3a8c20509c7aee0e9ecb.html
Заголовок, (Title) документа по адресу, URL1:
Block matrix - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)