Матрица (математика)

«Теория матрицы» перенаправляется сюда. По теме физики см. Теорию матриц (физика) . Чтобы узнать о других значениях слова «Матрица», см. «Матрица (значения)» .

Матрица размера m × n : строки m горизонтальны, а столбцы n вертикальны. Каждый элемент матрицы часто обозначается переменной с двумя индексами . Например, 2,1 _{представляет элемент} во второй строке и первом столбце матрицы.

В математике матрица прямоугольный ( мн.: matrices ) — это массив или таблица чисел , символов или выражений с элементами или записями, расположенными в строках и столбцах, которая используется для представления математического объекта или свойства такого объекта.

Например, $${\begin{bmatrix}1&9&-13\\20&5&-6\end{bmatrix}}$$представляет собой матрицу с двумя строками и тремя столбцами. Это часто называют «матрицей два на три». $2\times 3$ матрица" или матрица размерности $2\times 3$.

Матрицы обычно связаны с линейной алгеброй . Заметные исключения включают матрицы инцидентности и матрицы смежности в теории графов . Эта статья посвящена матрицам, связанным с линейной алгеброй, и, если не указано иное, все матрицы представляют собой линейные карты или могут рассматриваться как таковые.

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

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

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

Определение

Матрица — это прямоугольный массив чисел (или других математических объектов), называемый элементами матрицы. С матрицами выполняются стандартные операции, такие как сложение и умножение . Чаще всего матрица над F представляет собой прямоугольный массив элементов F полем . и Действительная матрица комплексная матрица — это матрицы, элементами которых являются соответственно действительные или комплексные числа . Более общие типы записей обсуждаются ниже . Например, это реальная матрица:

$\mathbf {A} ={\begin{bmatrix}-1.3&0.6\\20.4&5.5\\9.7&-6.2\end{bmatrix}}.$

Числа, символы или выражения в матрице называются ее записями или элементами . Горизонтальные и вертикальные линии записей в матрице называются строками и столбцами соответственно.

Размер

Размер матрицы определяется количеством содержащихся в ней строк и столбцов. Нет ограничений на количество строк и столбцов, которые может иметь матрица (в обычном смысле), если они являются целыми положительными числами. Матрица с ${m}$ ряды и ${n}$ столбцы называются ${m\times n}$ матрица, или ${m}$-к- ${n}$ матрица, где ${m}$ и ${n}$ называются его размерами . Например, матрица ${\mathbf {A} }$ выше это ${3\times 2}$ матрица.

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

Обзор размера матрицы

Имя	Размер	Пример	Описание	Обозначения
Вектор-строка	1  ×  n	${\begin{bmatrix}3&7&2\end{bmatrix}}$	Матрица с одной строкой, иногда используемая для представления вектора.	${a_{i}}$
Вектор-столбец	n  ×  1	${\begin{bmatrix}4\\1\\8\end{bmatrix}}$	Матрица с одним столбцом, иногда используемая для представления вектора.	${a_{j}}$
Квадратная матрица	n  ×  n	${\begin{bmatrix}9&13&5\\1&11&7\\2&6&3\end{bmatrix}}$	Матрица с одинаковым количеством строк и столбцов, иногда используемая для представления линейного преобразования векторного пространства в себя, такого как отражение , вращение или сдвиг .	${\mathbf {A} }$

Обозначения

Специфика обозначения символьных матриц широко варьируется, но преобладают некоторые тенденции. Матрицы обычно записываются в квадратных скобках или круглых скобках , так что $m\times n$ матрица $\mathbf {A}$ представлен как $$\mathbf {A} ={\begin{bmatrix}a_{11}&a_{12}&\cdots &a_{1n}\\a_{21}&a_{22}&\cdots &a_{2n}\\\vdots &\vdots &\ddots &\vdots \\a_{m1}&a_{m2}&\cdots &a_{mn}\end{bmatrix}}={\begin{pmatrix}a_{11}&a_{12}&\cdots &a_{1n}\\a_{21}&a_{22}&\cdots &a_{2n}\\\vdots &\vdots &\ddots &\vdots \\a_{m1}&a_{m2}&\cdots &a_{mn}\end{pmatrix}}.$$Это можно сократить, написав только один общий термин, возможно, вместе с индексами, как в $$\mathbf {A} =\left(a_{ij}\right),\quad \left[a_{ij}\right],\quad {\text{or}}\quad \left(a_{ij}\right)_{1\leq i\leq m,\;1\leq j\leq n}$$или $\mathbf {A} =(a_{i,j})_{1\leq i,j\leq n}$ в случае, если $n=m$.

Матрицы обычно обозначаются прописными буквами (например, ${\mathbf {A} }$ в примерах выше), а соответствующие строчные буквы с двумя индексами нижнего регистра (например, ${a_{11}}$, или ${a_{1,1}}$), представляют записи. Помимо использования прописных букв для обозначения матриц, многие авторы используют специальный типографский стиль , обычно жирный римский (не курсив), чтобы еще больше отличать матрицы от других математических объектов. Альтернативное обозначение включает использование двойного подчеркивания имени переменной с жирным шрифтом или без него, как в ${\underline {\underline {A}}}$.

Запись в i -й строке и j -м столбце матрицы A иногда называют ${i,j}$ или ${(i,j)}$ вход матрицы и обычно обозначается ${a_{i,j}}$ или ${a_{ij}}$. Альтернативные обозначения для этой записи: ${\mathbf {A} [i,j]}$ и ${\mathbf {A} _{i,j}}$. Например, $(1,3)$ ввод следующей матрицы $\mathbf {A}$ равно 5 (также обозначается ${a_{13}}$, ${a_{1,3}}$, $\mathbf {A} [1,3]$ или ${{\mathbf {A} }_{1,3}}$):

$\mathbf {A} ={\begin{bmatrix}4&-7&\color {red}{5}&0\\-2&0&11&8\\19&1&-3&12\end{bmatrix}}$

Иногда элементы матрицы можно определить по такой формуле, как $a_{i,j}=f(i,j)$. Например, каждая из записей следующей матрицы $\mathbf {A}$ определяется по формуле $a_{ij}=i-j$.

$\mathbf {A} ={\begin{bmatrix}0&-1&-2&-3\\1&0&-1&-2\\2&1&0&-1\end{bmatrix}}$

В этом случае сама матрица иногда определяется этой формулой в квадратных или двойных скобках. Например, приведенная выше матрица определяется как ${\mathbf {A} }=[i-j]$ или ${\mathbf {A} }=((i-j))$. Если размер матрицы $m\times n$, указанная выше формула $f(i,j)$ действителен для любого $i=1,\dots ,m$ и любой $j=1,\dots ,n$. Это можно указать отдельно или указать с помощью $m\times n$ в качестве нижнего индекса. Например, матрица $\mathbf {A}$ выше это $3\times 4$, и может быть определен как ${\mathbf {A} }=[i-j](i=1,2,3;j=1,\dots ,4)$ или ${\mathbf {A} }=[i-j]_{3\times 4}$.

Некоторые языки программирования используют массивы с двойным индексом (или массивы массивов) для представления m матрицы размером на n . Некоторые языки программирования начинают нумерацию индексов массива с нуля, и в этом случае элементы матрицы m - n индексируются $0\leq i\leq m-1$ и $0\leq j\leq n-1$. Эта статья следует более распространенному соглашению в математической литературе, согласно которому нумерация начинается с 1 .

Набор действительных матриц размером всех m на n часто обозначается ${\mathcal {M}}(m,n),$ или ${\mathcal {M}}_{m\times n}(\mathbb {R} ).$ Набор всех mxn размером матриц над другим полем или над кольцом R аналогично обозначается ${\mathcal {M}}(m,n,R),$ или ${\mathcal {M}}_{m\times n}(R).$ Если m   =   n , например, в случае квадратных матриц , размерность не повторяется: ${\mathcal {M}}(n,R),$ или ${\mathcal {M}}_{n}(R).$ Часто, $M$, или $\operatorname {Mat}$, используется вместо ${\mathcal {M}}.$

Основные операции

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

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

Сложение, скалярное умножение, вычитание и транспонирование.

Добавление

Сумма A B + B двух m x n матриц A и размером вычисляется по пунктам:

( A + B ) _{я , j} знак равно А _{я , j} + B _{я , j} , где 1 ≤ я ≤ м и 1 ≤ j ≤ п .

Например,

${\begin{bmatrix}1&3&1\\1&0&0\end{bmatrix}}+{\begin{bmatrix}0&0&5\\7&5&0\end{bmatrix}}={\begin{bmatrix}1+0&3+0&1+5\\1+7&0+5&0+0\end{bmatrix}}={\begin{bmatrix}1&3&6\\8&5&0\end{bmatrix}}$

Скалярное умножение

Произведение c A числа c (также называемого в этом контексте скаляром ) и матрицы A вычисляется путем умножения каждой записи A на c :

( cA ) _{я , j} знак равно c · Ai _{i , j} .

Эта операция называется скалярным умножением , но ее результат не называется «скалярным произведением», чтобы избежать путаницы, поскольку «скалярное произведение» часто используется как синоним « внутреннего произведения ». Например:

$2\cdot {\begin{bmatrix}1&8&-3\\4&-2&5\end{bmatrix}}={\begin{bmatrix}2\cdot 1&2\cdot 8&2\cdot -3\\2\cdot 4&2\cdot -2&2\cdot 5\end{bmatrix}}={\begin{bmatrix}2&16&-6\\8&-4&10\end{bmatrix}}$

Вычитание

Вычитание двух матриц размера m × n определяется путем сложения матриц со скалярным умножением на –1 :

$\mathbf {A} -\mathbf {B} =\mathbf {A} +(-1)\cdot \mathbf {B}$

Транспонирование

Транспонирование . матрицы m размером на A n представляет собой n размером на m матрицу A ^Т (также обозначается А ^тр или ^т А ) образуется путем превращения строк в столбцы и наоборот:

( А ^Т ) _{я , j} знак равно А _{j , я} .

Например:

${\begin{bmatrix}1&2&3\\0&-6&7\end{bmatrix}}^{\mathrm {T} }={\begin{bmatrix}1&0\\2&-6\\3&7\end{bmatrix}}$

На эти операции над матрицами распространяются знакомые свойства чисел: например, сложение коммутативно то есть сумма матриц не зависит от порядка слагаемых: A   +   B   =   B   +   A. , Транспонирование совместимо со сложением и скалярным умножением, что выражается формулой ( c A ) ^Т = с ( А ^Т ) и ( А   +   В ) ^Т  =   А ^Т  +   Б ^Т . Наконец ( А ^Т ) ^Т  =   А. ​

Умножение матрицы

Основная статья: Матричное умножение

Схематическое изображение матричного произведения AB двух матриц A и B.

Умножение двух матриц определяется тогда и только тогда, когда количество столбцов левой матрицы совпадает с количеством строк правой матрицы. Если A — m матрица размером на n , а B — n матрица размером на p , то их матричный продукт AB — это m матрица размером на p , элементы которой задаются скалярным произведением соответствующей строки A и соответствующей строки. столбец B :

$[\mathbf {AB} ]_{i,j}=a_{i,1}b_{1,j}+a_{i,2}b_{2,j}+\cdots +a_{i,n}b_{n,j}=\sum _{r=1}^{n}a_{i,r}b_{r,j},$

где 1 ≤ i ≤ m и 1 ≤ j ≤ p . Например, подчеркнутая запись 2340 в произведении рассчитывается как (2×1000) + (3×100) + (4×10) = 2340:

${\begin{aligned}{\begin{bmatrix}{\underline {2}}&{\underline {3}}&{\underline {4}}\\1&0&0\\\end{bmatrix}}{\begin{bmatrix}0&{\underline {1000}}\\1&{\underline {100}}\\0&{\underline {10}}\\\end{bmatrix}}&={\begin{bmatrix}3&{\underline {2340}}\\0&1000\\\end{bmatrix}}.\end{aligned}}$

Умножение матриц удовлетворяет правилам ( AB ) C = A ( BC ) ( ассоциативность ) и ( A + B ) C = AC + BC , а также C ( A + B ) = CA + CB (левая и правая дистрибутивность ), всякий раз, когда размер матриц таков, что определены различные продукты. Произведение AB может быть определено без BA определения , а именно, если A и B являются m - n и n - k матрицами соответственно, и m ≠ k . Даже если оба продукта определены, они, как правило, не обязательно должны быть равными, то есть:

АВ ≠ БА ,

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

${\begin{bmatrix}1&2\\3&4\\\end{bmatrix}}{\begin{bmatrix}0&1\\0&0\\\end{bmatrix}}={\begin{bmatrix}0&1\\0&3\\\end{bmatrix}},$

тогда как

${\begin{bmatrix}0&1\\0&0\\\end{bmatrix}}{\begin{bmatrix}1&2\\3&4\\\end{bmatrix}}={\begin{bmatrix}3&4\\0&0\\\end{bmatrix}}.$

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

Операции со строками

Основная статья: Операции со строками

Существует три типа операций со строками:

1. добавление строки, то есть добавление одной строки к другой.
2. умножение строк, то есть умножение всех записей строки на ненулевую константу;
3. переключение строк, то есть замена двух строк матрицы;

Эти операции используются несколькими способами, включая решение линейных уравнений и поиск обратных матриц .

Подматрица

Подматрица . матрицы — это матрица, полученная удалением любого набора строк и/или столбцов Например, из следующей матрицы 3х4 мы можем построить подматрицу 2х3, удалив строку 3 и столбец 2:

$\mathbf {A} ={\begin{bmatrix}1&\color {red}{2}&3&4\\5&\color {red}{6}&7&8\\\color {red}{9}&\color {red}{10}&\color {red}{11}&\color {red}{12}\end{bmatrix}}\rightarrow {\begin{bmatrix}1&3&4\\5&7&8\end{bmatrix}}.$

Миноры определителя и кофакторы матрицы находятся путем вычисления определенных подматриц.

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

Линейные уравнения

Основные статьи: Линейное уравнение и Система линейных уравнений

Матрицы можно использовать для компактной записи и работы с несколькими линейными уравнениями, то есть системами линейных уравнений. Например, если A — m x матрица размером n , x обозначает вектор-столбец (то есть матрицу n × 1) из n переменных x ₁ , x ₂ , ..., x _n , а b — матрица m ×1-вектор-столбец, то матричное уравнение

$\mathbf {Ax} =\mathbf {b}$

эквивалентна системе линейных уравнений

${\begin{aligned}a_{1,1}x_{1}+a_{1,2}x_{2}+&\cdots +a_{1,n}x_{n}=b_{1}\\&\ \ \vdots \\a_{m,1}x_{1}+a_{m,2}x_{2}+&\cdots +a_{m,n}x_{n}=b_{m}\end{aligned}}$

Используя матрицы, эту задачу можно решить более компактно, чем это было бы возможно, выписав все уравнения по отдельности. Если n = m и уравнения независимы , то это можно сделать, написав

$\mathbf {x} =\mathbf {A} ^{-1}\mathbf {b}$

где А ⁻¹ является матрицей A . обратной Если A не имеет обратного, решения (если таковые имеются) можно найти, используя его обобщенное обратное .

Линейные преобразования

Основные статьи: Линейное преобразование и Матрица преобразования.

Векторы, представленные матрицей 2х2, соответствуют сторонам единичного квадрата, преобразованного в параллелограмм.

Матрицы и умножение матриц раскрывают свои существенные особенности, когда они связаны с линейными преобразованиями , также известными как линейные карты . Действительная размером m × n матрица A приводит к линейному преобразованию R ^н → Р ^м отображение каждого вектора x в R ^н к (матричному) произведению Ax , которое является вектором в R ^м . И наоборот, каждое линейное преобразование f : R ^н → Р ^м возникает из уникальной mxn размером , матрицы A : явно ( i , j ) -запись A является i ^й координата f ( e _j ), где e _j = (0,...,0,1,0,...,0) — единичный вектор с 1 в j ^й позиция и 0 в другом месте. f , Говорят, что матрица A представляет линейное а A называется матрицей преобразования f отображение .

Например, матрица 2×2

$\mathbf {A} ={\begin{bmatrix}a&c\\b&d\end{bmatrix}}$

можно рассматривать как преобразование единичного квадрата в параллелограмм с вершинами в точках (0, 0) , ( a , b ) , ( a + c , b + d ) и ( c , d ) . Параллелограмм, изображенный справа, получается умножением A на каждый из вектор-столбцов. ${\begin{bmatrix}0\\0\end{bmatrix}},{\begin{bmatrix}1\\0\end{bmatrix}},{\begin{bmatrix}1\\1\end{bmatrix}}$, и ${\begin{bmatrix}0\\1\end{bmatrix}}$ по очереди. Эти векторы определяют вершины единичного квадрата.

В следующей таблице показано несколько действительных матриц 2 × 2 с соответствующими линейными картами R. ² . Синий зеленой оригинал сопоставляется с сеткой и фигурами. Начало координат (0,0) отмечено черной точкой.

Горизонтальный сдвиг при м = 1,25.	Отражение через вертикальную ось	Сжатие карт с г = 3/2	Масштабирование в 3/2 раза	Вращение на π /6 = 30°
${\begin{bmatrix}1&1.25\\0&1\end{bmatrix}}$	${\begin{bmatrix}-1&0\\0&1\end{bmatrix}}$	${\begin{bmatrix}{\frac {3}{2}}&0\\0&{\frac {2}{3}}\end{bmatrix}}$	${\begin{bmatrix}{\frac {3}{2}}&0\\0&{\frac {3}{2}}\end{bmatrix}}$	${\begin{bmatrix}\cos \left({\frac {\pi }{6}}\right)&-\sin \left({\frac {\pi }{6}}\right)\\\sin \left({\frac {\pi }{6}}\right)&\cos \left({\frac {\pi }{6}}\right)\end{bmatrix}}$

При соответствии 1 к 1 между матрицами и линейными картами умножение матриц соответствует композиции карт: если k размером x m матрица B представляет собой другую линейную карту g : R ^м → Р ^к , то композиция g ∘ f представляется через BA, так как

( г ∘ ж )( Икс ) знак равно г ( ж ( Икс )) знак равно г ( Ах ) знак равно B ( Ах ) знак равно ( BA ) Икс .

Последнее равенство следует из отмеченной выше ассоциативности умножения матриц.

Ранг матрицы A — это максимальное количество линейно независимых векторов-строк матрицы, которое совпадает с максимальным количеством линейно независимых векторов-столбцов. Эквивалентно это размерность изображения представленной линейной карты, A . Теорема о ранге-нулевости утверждает, что размерность ядра матрицы плюс ранг равна количеству столбцов матрицы.

Квадратная матрица

Основная статья: Квадратная матрица

– Квадратная матрица это матрица с одинаковым количеством строк и столбцов. Матрица n на размера n называется квадратной матрицей порядка n. Любые две квадратные матрицы одного порядка можно складывать и перемножать.Элементы a _ii образуют главную диагональ квадратной матрицы. Они лежат на воображаемой линии, идущей из левого верхнего угла в правый нижний угол матрицы.

Основные типы

Имя	Пример с n = 3
Диагональная матрица	${\begin{bmatrix}a_{11}&0&0\\0&a_{22}&0\\0&0&a_{33}\\\end{bmatrix}}$
Нижняя треугольная матрица	${\begin{bmatrix}a_{11}&0&0\\a_{21}&a_{22}&0\\a_{31}&a_{32}&a_{33}\\\end{bmatrix}}$
Верхняя треугольная матрица	${\begin{bmatrix}a_{11}&a_{12}&a_{13}\\0&a_{22}&a_{23}\\0&0&a_{33}\\\end{bmatrix}}$

Диагональная и треугольная матрица

Если все элементы A ниже главной диагонали равны нулю, A называется верхней треугольной матрицей . Аналогично, если все элементы A выше главной диагонали равны нулю, A называется нижней треугольной матрицей . Если все элементы за пределами главной диагонали равны нулю, A называется диагональной матрицей .

Матрица идентичности

Основная статья: Матрица идентичности

Единичная матрица I _n размера n — это n матрица размером × n , в которой все элементы на главной диагонали равны 1, а все остальные элементы равны 0, например,

$\mathbf {I} _{1}={\begin{bmatrix}1\end{bmatrix}},\ \mathbf {I} _{2}={\begin{bmatrix}1&0\\0&1\end{bmatrix}},\ \ldots ,\ \mathbf {I} _{n}={\begin{bmatrix}1&0&\cdots &0\\0&1&\cdots &0\\\vdots &\vdots &\ddots &\vdots \\0&0&\cdots &1\end{bmatrix}}$

Это квадратная матрица порядка n , а также особый вид диагональной матрицы . Она называется единичной матрицей, потому что умножение на нее оставляет матрицу неизменной:

AI _n = I _m A = A для любой m x размера n матрицы A .

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

Симметричная или кососимметричная матрица

Квадратная матрица A , равная ее транспонированной, то есть A = A ^Т , является симметричной матрицей . Если вместо этого A равно отрицательному результату транспонирования, то есть A = − A ^Т , то A — кососимметричная матрица . В комплексных матрицах симметрию часто заменяют понятием эрмитовых матриц , удовлетворяющих условию А ^∗ = A , где звездочка или звездочка обозначает сопряженное транспонирование матрицы, то есть транспонирование комплексно -сопряженного числа A .

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

Обратимая матрица и ее обратная

Квадратная матрица A называется обратимой или неособой, если существует матрица B такая, что

AB = BA = I _n ,

где I _n — n × n единичная матрица размера с единицами на главной диагонали и нулями в остальных местах. Если B существует, она уникальна и называется обратной матрицей A A. , обозначаемой ⁻¹ .

Определенная матрица

Положительно определенная матрица	Неопределенная матрица
${\begin{bmatrix}{\frac {1}{4}}&0\\0&1\\\end{bmatrix}}$	${\begin{bmatrix}{\frac {1}{4}}&0\\0&-{\frac {1}{4}}\end{bmatrix}}$
$Q(x,y)={\frac {1}{4}}x^{2}+y^{2}$	$Q(x,y)={\frac {1}{4}}x^{2}-{\frac {1}{4}}y^{2}$
Точки такие, что ${\textstyle Q(x,y)=1}$ ( Эллипс )	Точки такие, что ${\textstyle Q(x,y)=1}$ ( Гипербола )

Несимметричная вещественная матрица A называется положительно определенной, если ассоциированная квадратичная форма

ж   ( Икс ) знак равно Икс ^Т А   х

имеет положительное значение для каждого ненулевого вектора x в R ^н . Если f   ( x ) дает только отрицательные значения, то A является отрицательно определенным ; если f действительно дает как отрицательные, так и положительные значения, то A является неопределенным . Если квадратичная форма f дает только неотрицательные значения (положительные или нулевые), симметричная матрица называется положительно-полуопределенной (или, если только неположительные значения, то отрицательно-полуопределенной); следовательно, матрица является неопределенной именно тогда, когда она не является ни положительно-полуопределенной, ни отрицательно-полуопределенной.

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

Разрешение в качестве входных данных двух разных векторов вместо этого дает билинейную форму, связанную с A :

B _А ( Икс , y ) знак равно Икс ^Т Ой .

В случае комплексных матриц применяются та же терминология и результат: симметричная матрица , квадратичная форма , билинейная форма и транспонирование x ^Т заменены соответственно эрмитовой матрицей , эрмитовой формой , полуторалинейной формой и сопряженным транспонированием x ^ЧАС .

Ортогональная матрица

Основная статья: Ортогональная матрица

Ортогональная матрица — это квадратная матрица с действительными элементами, столбцы и строки которой являются ортогональными единичными векторами (то есть ортонормированными векторами). Эквивалентно, матрица A ортогональна, если ее транспонирование равно обратному :

$\mathbf {A} ^{\mathrm {T} }=\mathbf {A} ^{-1},\,$

что влечет за собой

$\mathbf {A} ^{\mathrm {T} }\mathbf {A} =\mathbf {A} \mathbf {A} ^{\mathrm {T} }=\mathbf {I} _{n},$

где I _n — единичная матрица размера n .

Ортогональная матрица A обязательно обратима (с обратной A ⁻¹ = А ^Т ), унитарный ( А ⁻¹ = A * ) и нормальный ( A * A = AA * ). Определитель любой ортогональной матрицы равен +1 или −1 . Специальная ортогональная матрица — это ортогональная матрица с определителем +1. В качестве линейного преобразования каждая ортогональная матрица с определителем +1 представляет собой чистое вращение без отражения, т. е. преобразование сохраняет ориентацию преобразованной структуры, в то время как каждая ортогональная матрица с определителем -1 меняет ориентацию на противоположную, т. е. представляет собой композицию чистое отражение и (возможно, нулевое) вращение. Единичные матрицы имеют определитель 1 и представляют собой чистые повороты на нулевой угол.

Комплексным аналогом ортогональной матрицы является унитарная матрица .

Основные операции

След

След представляет собой tr( A ) квадратной матрицы A сумму ее диагональных элементов. Хотя умножение матриц не является коммутативным, как упоминалось выше , след произведения двух матриц не зависит от порядка множителей:

$\operatorname {tr} (\mathbf {AB} )=\operatorname {tr} (\mathbf {BA} )$.

Это следует из определения умножения матриц:

$\operatorname {tr} (\mathbf {AB} )=\sum _{i=1}^{m}\sum _{j=1}^{n}a_{ij}b_{ji}=\operatorname {tr} (\mathbf {BA} ).$

Отсюда следует, что след произведения более чем двух матриц не зависит от циклических перестановок матриц, однако это, вообще говоря, неприменимо для произвольных перестановок (например, tr( ABC ) ≠ tr( BAC ), вообще говоря) . Кроме того, след матрицы равен следу ее транспонирования, то есть

тр( А ) = тр( А ^Т ) .

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

Основная статья: Определитель

Линейное преобразование на R ² заданной указанной матрицей. Определитель этой матрицы равен -1, так как площадь зеленого параллелограмма справа равна 1, но карта меняет ориентацию на противоположную , поскольку она меняет ориентацию векторов против часовой стрелки на ориентацию по часовой стрелке.

Определитель |) — это число , квадратной матрицы A (обозначается det( A ) или | A кодирующее определенные свойства матрицы. Матрица обратима тогда и только тогда, когда ее определитель отличен от нуля. Его абсолютное значение равно площади (в R ² ) или объём (в Р ³ ) образа единичного квадрата (или куба), а его знак соответствует ориентации соответствующего линейного отображения: определитель положителен тогда и только тогда, когда ориентация сохраняется.

Определитель матриц 2х2 определяется выражением

$\det {\begin{bmatrix}a&b\\c&d\end{bmatrix}}=ad-bc.$

Определитель матриц 3х3 включает 6 членов ( правило Сарруса ). Более длинная формула Лейбница обобщает эти две формулы на все измерения.

Определитель произведения квадратных матриц равен произведению их определителей:

det( AB ) = det( A ) · det( B ) или используя альтернативные обозначения:

| АБ | = | А | · | Б |.

Добавление кратного числа любой строки в другую строку или кратного числа любого столбца в другой столбец не меняет определитель. Перестановка двух строк или двух столбцов влияет на определитель, умножая его на -1. С помощью этих операций любую матрицу можно преобразовать в нижнюю (или верхнюю) треугольную матрицу, причем для таких матриц определитель равен произведению элементов на главной диагонали; это обеспечивает метод вычисления определителя любой матрицы. Наконец, разложение Лапласа выражает определитель через миноры , то есть определители меньших матриц. Это расширение можно использовать для рекурсивного определения определителей (взяв в качестве начального случая определитель матрицы 1 на 1, который является ее уникальной записью, или даже определитель матрицы 0 на 0, который равен 1) , что, как можно видеть, эквивалентно формуле Лейбница. Определители можно использовать для решения линейных систем с использованием правила Крамера , где деление определителей двух связанных квадратных матриц приравнивается к значению каждой из переменных системы.

Собственные значения и собственные векторы

Основная статья: Собственные значения и собственные векторы

Число ${\textstyle \lambda }$ и ненулевой вектор v, удовлетворяющий

$\mathbf {A} \mathbf {v} =\lambda \mathbf {v}$

называются собственным значением и вектором A собственным соответственно. Число λ является собственным значением n × n -матрицы A тогда и только тогда, когда A − λ I _n не обратима, эквивалентно что

$\det(\mathbf {A} -\lambda \mathbf {I} )=0.$

Полином p _A от неопределенного X, вычислением определителя det( X I _n − A ), называется характеристическим многочленом A заданный . Это полином степени n . монический Следовательно, полиномиальное уравнение p _A (λ)   =   0 имеет не более n различных решений, т. е. собственных значений матрицы. Они могут быть сложными, даже если записи A реальны. Согласно теореме Кэли-Гамильтона , p _A ( A ) = 0 , то есть результат подстановки самой матрицы в ее характеристический многочлен дает нулевую матрицу .

Вычислительные аспекты

Матричные вычисления часто могут выполняться с использованием различных методов. Многие задачи можно решить как прямыми алгоритмами, так и итерационными подходами. Например, собственные векторы квадратной матрицы можно получить, найдя последовательность векторов x _n, сходящихся к собственному вектору, когда n стремится к бесконечности .

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

Определение сложности алгоритма означает нахождение верхних границ или оценок того, сколько элементарных операций, таких как сложение и умножение скаляров, необходимо для выполнения некоторого алгоритма, например, умножения матриц . Для вычисления матричного произведения двух n матриц размером на n с использованием приведенного выше определения требуется n ³ умножения, поскольку для любого из n ² записей произведения, n необходимо умножений. Алгоритм Штрассена превосходит этот «наивный» алгоритм; для этого нужно только н ^2.807 умножения. Усовершенствованный подход также учитывает особенности вычислительных устройств.

Во многих практических ситуациях известна дополнительная информация об используемых матрицах. Важным случаем являются разреженные матрицы , то есть матрицы, большинство элементов которых равны нулю. Существуют специально адаптированные алгоритмы, например, для решения линейных систем Ax = b для разреженных матриц A , такие как метод сопряженных градиентов .

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

А ⁻¹ = прил( А ) / дет( А )

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

Большинство языков программирования поддерживают массивы, но не имеют встроенных команд для работы с матрицами. Вместо этого доступные внешние библиотеки обеспечивают матричные операции с массивами почти на всех используемых в настоящее время языках программирования. Манипулирование матрицами было одним из первых численных применений компьютеров. Первоначальный Dartmouth BASIC имел встроенные команды для матричной арифметики с массивами из его второй версии в 1964 году. Еще в 1970-х годах некоторые инженерные настольные компьютеры, такие как HP 9830, имели картриджи ПЗУ для добавления команд BASIC для матриц . Некоторые компьютерные языки, такие как APL, были разработаны для управления матрицами, а различные математические программы . для вычислений с матрицами можно использовать По состоянию на 2023 год большинство компьютеров имеют те или иные встроенные матричные операции на низком уровне, реализующие стандартную спецификацию BLAS , на которую опирается большинство библиотек матриц и линейной алгебры более высокого уровня (например, EISPACK , LINPACK , LAPACK ). Хотя большинство этих библиотек требуют профессионального уровня кодирования, доступ к LAPACK можно получить с помощью привязок более высокого уровня (и удобных для пользователя), таких как NumPy / SciPy , R , GNU Octave , MATLAB .

Разложение

Основные статьи: Разложение матрицы , Диагонализация матрицы , исключение Гаусса и алгоритм Барейсса.

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

как Матрицы факторов разложения LU произведение нижней ( L ) и верхней треугольных матриц ( U ). После расчета этого разложения линейные системы можно решать более эффективно с помощью простого метода, называемого прямой и обратной заменой . Аналогично, обратные треугольные матрицы алгоритмически легче вычислять. Исключение Гаусса — аналогичный алгоритм; он преобразует любую матрицу в форму эшелона строк . Оба метода основаны на умножении матрицы на подходящие элементарные матрицы , что соответствует перестановке строк или столбцов и добавлению кратных одной строки к другой строке. Разложение по сингулярным значениям выражает любую матрицу A как произведение UDV. ^∗ , где U и V — унитарные матрицы , а D — диагональная матрица.

Пример матрицы в жордановой нормальной форме. Серые блоки называются блоками Жордана.

Собственное разложение или диагонализация выражает A как произведение VDV. ⁻¹ , где D — диагональная матрица, а V — подходящая обратимая матрица. Если А можно записать в такой форме, то она называется диагонализируемой . В более общем смысле и применимо ко всем матрицам, разложение Жордана преобразует матрицу в нормальную форму Жордана , то есть матрицы, единственными ненулевыми элементами которых являются собственные значения от λ ₁ до λ _n матрицы A , расположенные на главной диагонали и, возможно, элементы, равные один прямо над основной диагональю, как показано справа. Учитывая собственное разложение, n ^й степень A (то есть n -кратное итерированное умножение матрицы) можно вычислить с помощью

А ^н = ( VDV ⁻¹ ) ^н = VDV ⁻¹ VDV ⁻¹ ... VDV ⁻¹ = Генеральный директор ^н V ⁻¹

а степень диагональной матрицы можно вычислить, взяв соответствующие степени диагональных элементов, что намного проще, чем возводить в степень A. вместо этого Это можно использовать для вычисления матричной экспоненты e ^А , необходимость часто возникающая при решении линейных дифференциальных уравнений , матричных логарифмов и квадратных корней матриц . Чтобы избежать численно плохо обусловленных дополнительные алгоритмы, такие как разложение Шура . ситуаций, можно использовать

Абстрактные алгебраические аспекты и обобщения

Матрицы можно обобщать по-разному. Абстрактная алгебра использует матрицы с элементами в более общих полях или даже кольцах , тогда как линейная алгебра кодифицирует свойства матриц в понятии линейных карт. Можно рассматривать матрицы с бесконечным числом столбцов и строк. Еще одним расширением являются тензоры , которые можно рассматривать как многомерные массивы чисел, в отличие от векторов, которые часто можно реализовать как последовательности чисел, тогда как матрицы представляют собой прямоугольные или двумерные массивы чисел. Матрицы при соблюдении определенных требований имеют тенденцию образовывать группы, известные как матричные группы. Аналогичным образом при определенных условиях матрицы образуют кольца, известные как матричные кольца . Хотя произведение матриц, как правило, не является коммутативным, некоторые матрицы образуют поля, известные как матричные поля .В общем, матрицы и их умножение тоже образуют категорию , категорию матриц .

Матрицы с более общими записями

В этой статье основное внимание уделяется матрицам, элементы которых являются действительными или комплексными числами. Однако матрицы можно рассматривать с гораздо более общими типами элементов, чем действительные или комплексные числа. В качестве первого шага обобщения можно использовать любое поле , то есть набор , в котором сложения , вычитания , умножения и деления определены и корректно выполняются операции вместо R или C , например рациональные числа или конечные поля . Например, теория кодирования использует матрицы над конечными полями. Везде, где рассматриваются собственные значения , поскольку они являются корнями многочлена, они могут существовать только в более широком поле, чем поле элементов матрицы; например, они могут быть сложными в случае матрицы с действительными элементами. Возможность по-новому интерпретировать элементы матрицы как элементы более крупного поля (например, рассматривать действительную матрицу как комплексную матрицу, все элементы которой оказываются вещественными), а затем позволяет считать, что каждая квадратная матрица обладает полным набором собственных значений. В качестве альтернативы можно рассматривать только матрицы с элементами в алгебраически замкнутое поле , такое как C , с самого начала.

матрицы с элементами в кольце R. В более общем смысле, в математике широко используются Кольца — более общее понятие, чем поля, поскольку операция деления не требуется. На этот параметр распространяются те же операции сложения и умножения матриц. Множество M( n , R ) (также обозначаемое M _n (R) ) всех квадратных n размера на n матриц над R представляет собой кольцо, называемое матричным кольцом , изоморфное кольцу эндоморфизмов левого R - модуля R. ^н . Если кольцо R коммутативно коммутативно , то кольцо M( n , R ) также является ассоциативной алгеброй над R. , то есть его умножение Определитель все еще квадратных матриц над коммутативным кольцом R можно определить с помощью формулы Лейбница ; такая матрица обратима тогда и только тогда, когда ее определитель обратим в R , что обобщает ситуацию над полем F , где каждый ненулевой элемент обратим. Матрицы над суперкольцами называются суперматрицами .

Матрицы не всегда содержат все свои элементы в одном кольце   или даже в каком-либо кольце вообще. Особым, но распространенным случаем являются блочные матрицы , которые можно рассматривать как матрицы, элементы которых сами являются матрицами. Элементы не обязательно должны быть квадратными матрицами и, следовательно, не обязательно должны быть членами какого-либо кольца ; но их размеры должны соответствовать определенным условиям совместимости.

Связь с линейными картами

Линейные карты R ^н → Р ^м эквивалентны mxn матрицам размером , как описано выше . В более общем смысле, любое линейное отображение f : V → W между конечномерными векторными пространствами может быть описано матрицей A = ( a _ij ) после выбора баз v ₁ , ..., v _n из V и w ₁ , . .., w _m из W (так что n — размерность V , а m — размерность W ), что таково, что

$f(\mathbf {v} _{j})=\sum _{i=1}^{m}a_{i,j}\mathbf {w} _{i}\qquad {\mbox{for}}\ j=1,\ldots ,n.$

Другими словами, столбец таблицы A выражает vj в _; терминах базисных векторов wI _{таблицы} W образ j таким образом, это соотношение однозначно определяет элементы матрицы A . Матрица зависит от выбора оснований: разный выбор оснований порождает разные, но эквивалентные матрицы . Многие из приведенных выше конкретных понятий могут быть переосмыслены в этом свете, например, транспонированная матрица A ^Т описывает транспонирование линейной карты, заданной A , относительно двойственных базисов .

Эти свойства можно сформулировать более естественно: категория матриц с записями в поле $k$ с умножением как композицией эквивалентно категории конечномерных векторных пространств и линейных отображений над этим полем.

В более общем смысле набор матриц размера m × n можно использовать для представления R -линейных отображений между свободными модулями R. ^м и Р ^н для произвольного кольца R с единицей. Когда n   =   m возможна композиция этих отображений, и это приводит к появлению матричного кольца из n × n, представляющего кольцо эндоморфизмов R матриц размера ^н .

Группы матриц

Основная статья: Матричная группа

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

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

М ^Т М = Я ,

образуют ортогональную группу . Каждая ортогональная матрица имеет определитель 1 или -1. Ортогональные матрицы с определителем 1 образуют подгруппу, называемую специальной ортогональной группой .

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

Бесконечные матрицы

Также можно рассматривать матрицы с бесконечным количеством строк и/или столбцов. хотя, поскольку объекты бесконечны, такие матрицы нельзя записать явно. Все, что имеет значение, это то, что для каждого элемента в строках индексирования набора и для каждого элемента в столбцах индексирования набора существует четко определенная запись (эти наборы индексов не обязательно должны быть даже подмножествами натуральных чисел). Основные операции сложения, вычитания, скалярного умножения и транспонирования по-прежнему можно определить без проблем; однако умножение матриц может включать в себя бесконечное суммирование для определения результирующих элементов, и в целом они не определены.

Если R — любое кольцо с единицей, то кольцо эндоморфизмов кольца $M=\bigoplus _{i\in I}R$ поскольку правый R- модуль изоморфен кольцу конечных матриц-столбцов $\mathrm {CFM} _{I}(R)$ чьи записи индексируются $I\times I$, и каждый столбец которого содержит только конечное число ненулевых записей. Эндоморфизмы M , рассматриваемого как левый R- модуль, приводят к аналогичному объекту - матрицам, имеющим конечные строки. $\mathrm {RFM} _{I}(R)$ каждая строка которого имеет только конечное число ненулевых записей.

Если для описания линейных карт используются бесконечные матрицы, то можно использовать только те матрицы, все столбцы которых имеют лишь конечное число ненулевых элементов, по следующей причине. Чтобы матрица A описывала линейное отображение f : V → W , должны быть выбраны базы для обоих пространств; что по определению это означает, что каждый вектор в пространстве может быть записан однозначно как (конечная) линейная комбинация базисных векторов, так что записанный как вектор (столбец)   ve ​​коэффициентов Напомним , , только конечное число элементов v _I ненулевые. Теперь столбцы A описывают изображения f отдельных базисных векторов V в базисе W , что имеет смысл только в том случае, если эти столбцы имеют только конечное число ненулевых записей. нет Однако ограничений на строки A : в произведении A · v задействовано только конечное число ненулевых коэффициентов при v , поэтому каждая из его записей, даже если она задана как бесконечная сумма произведений, включает только конечное число много ненулевых членов и поэтому корректно определен. Более того, это равнозначно образованию линейной комбинации столбцов A , который фактически включает в себя только конечное число из них, поэтому результат имеет только конечное число ненулевых записей, поскольку они есть в каждом из этих столбцов. Произведения двух матриц данного типа корректно определены (при условии совпадения наборов индексов столбцов и индексов строк), являются однотипными и соответствуют композиции линейных отображений.

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

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

Пустая матрица

Пустая матрица — это матрица, в которой количество строк или столбцов (или того и другого) равно нулю. Пустые матрицы помогают иметь дело с отображениями, включающими нулевое векторное пространство . Например, если A — матрица 3 на 0, а B — матрица 0 на 3, то AB — это нулевая матрица 3 на 3, соответствующая нулевой карте из трехмерного пространства V в себя, в то время как BA является матрицей 0 на 0. Не существует общего обозначения пустых матриц, но большинство систем компьютерной алгебры позволяют создавать и выполнять вычисления с их использованием. Определитель матрицы размером 0 на 0 равен 1, как показано ниже, относительно пустого произведения, встречающегося в формуле Лейбница для определителя, равного 1. Это значение также согласуется с тем фактом, что тождественное отображение любого конечномерного пространства в себя имеет детерминант   1, факт, который часто используется как часть характеристики детерминантов.

Приложения

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

Комплексные числа могут быть представлены конкретными действительными матрицами 2 на 2 с помощью

$a+ib\leftrightarrow {\begin{bmatrix}a&-b\\b&a\end{bmatrix}},$

при котором сложение и умножение комплексных чисел и матриц соответствуют друг другу. Например, матрицы вращения 2х2 представляют собой умножение на некоторое комплексное число с абсолютным значением 1, как указано выше . Аналогичная интерпретация возможна для кватернионов и алгебры Клиффорда в целом.

Ранние методы шифрования , такие как шифр Хилла, также использовали матрицы. Однако из-за линейной природы матриц эти коды сравнительно легко взломать. Компьютерная графика использует матрицы для представления объектов; рассчитывать преобразования объектов с использованием матриц аффинного вращения для выполнения таких задач, как проецирование трехмерного объекта на двухмерный экран, что соответствует теоретическому наблюдению камеры; а также применять свертки изображения, такие как повышение резкости, размытие, обнаружение краев и многое другое. Матрицы над кольцом полиномов играют важную роль в изучении теории управления .

Химия использует матрицы по-разному, особенно после использования квантовой теории для обсуждения молекулярных связей и спектроскопии . Примерами являются матрица перекрытия и матрица Фока, используемые при решении уравнений Рутана для получения молекулярных орбиталей метода Хартри-Фока .

Теория графов

Неориентированный граф с матрицей смежности: $${\begin{bmatrix}1&1&0\\1&0&1\\0&1&0\end{bmatrix}}.$$

Матрица смежности конечного графа является основным понятием теории графов . Он записывает, какие вершины графа соединены ребром. Матрицы, содержащие только два разных значения (1 и 0 означают, например, «да» и «нет» соответственно), называются логическими матрицами . Матрица расстояний (или стоимости) содержит информацию о расстояниях ребер. Эти концепции можно применять к веб-сайтам, соединенным гиперссылками , или к городам, соединенным дорогами, и т. д., и в этом случае (если сеть соединений не очень плотная) матрицы имеют тенденцию быть разреженными , то есть содержать мало ненулевых элементов. можно использовать специально адаптированные матричные алгоритмы Следовательно, в теории сетей .

Анализ и геометрия

Матрица Гессе функции дифференцируемой ƒ : R ^н → R состоит из производных ƒ вторых по нескольким координатным направлениям, то есть

$H(f)=\left[{\frac {\partial ^{2}f}{\partial x_{i}\,\partial x_{j}}}\right].$

В седловой точке ( x   =   0, y   =   0) (красный) функции f ( x ,− y ) =   x ²  −   и ² , матрица Гессе ${\begin{bmatrix}2&0\\0&-2\end{bmatrix}}$ является бессрочным .

Он кодирует информацию о локальном росте функции: задана критическая точка x   =   ( x ₁ ,   ...,   x _n ), то есть точка, в которой первые частные производные $\partial f/\partial x_{i}$ исчезает ƒ , функция имеет локальный минимум , если матрица Гессе положительно определена . Квадратичное программирование можно использовать для поиска глобальных минимумов или максимумов квадратичных функций, тесно связанных с функциями, связанными с матрицами (см. Выше ).

Другая матрица, часто используемая в геометрических ситуациях, — это матрица Якоби дифференцируемого отображения f : R. ^н → Р ^м . Если f ₁ , ..., f _m обозначают компоненты f , то матрица Якоби определяется как

$J(f)=\left[{\frac {\partial f_{i}}{\partial x_{j}}}\right]_{1\leq i\leq m,1\leq j\leq n}.$

Если n > m и если ранг матрицы Якоби достигает максимального значения m , f локально обратима в этой точке по теореме о неявной функции .

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

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

Теория вероятностей и статистика

Две разные цепи Маркова. На диаграмме показано количество частиц (всего 1000) в состоянии «2». Оба предельных значения можно определить из матриц перехода, которые имеют вид ${\begin{bmatrix}0.7&0\\0.3&1\end{bmatrix}}$ (красный) и ${\begin{bmatrix}0.7&0.2\\0.3&0.8\end{bmatrix}}$ (черный).

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

В статистике также используются матрицы во многих различных формах. Описательная статистика занимается описанием наборов данных, которые часто могут быть представлены в виде матриц данных , которые затем могут быть подвергнуты методам уменьшения размерности . Ковариационная матрица кодирует взаимную дисперсию нескольких случайных величин . Другой метод использования матриц — это линейный метод наименьших квадратов , метод, который аппроксимирует конечный набор пар ( x ₁ , y ₁ ), ( x ₂ , y ₂ ), ..., ( x _N , y _N ) линейной функцией.

y _я ≈ ax _i + b , я знак равно 1, ..., N

которое можно сформулировать в терминах матриц, связанных с по сингулярным значениям . разложением матриц

Случайные матрицы — это матрицы, элементы которых представляют собой случайные числа, подчиняющиеся подходящим распределениям вероятностей , таким как матричное нормальное распределение . Помимо теории вероятностей, они применяются в самых разных областях: от теории чисел до физики .

Симметрии и преобразования в физике

Дополнительная информация: Симметрия в физике.

Линейные преобразования и связанные с ними симметрии играют ключевую роль в современной физике. Например, элементарные частицы в квантовой теории поля классифицируются как представления группы Лоренца специальной теории относительности и, более конкретно, по их поведению под спиновой группой . Конкретные представления, включающие матрицы Паули и более общие гамма-матрицы, являются неотъемлемой частью физического описания фермионов , которые ведут себя как спиноры . Для трех легчайших кварков существует теоретико-групповое представление, включающее специальную унитарную группу SU (3); для своих расчетов физики используют удобное матричное представление, известное как матрицы Гелла-Манна , которые также используются для калибровочной группы SU(3) , составляющей основу современного описания сильных ядерных взаимодействий — квантовой хромодинамики . Матрица Кабиббо-Кобаяши-Маскавы , в свою очередь, выражает тот факт, что основные состояния кварков, важные для слабых взаимодействий, не совпадают, а линейно связаны с основными состояниями кварков, которые определяют частицы с конкретными и различными массами .

Линейные комбинации квантовых состояний

Первая модель квантовой механики ( Гейзенберг , 1925) представляла операторы теории бесконечномерными матрицами, действующими на квантовые состояния. Это также называется матричной механикой . Одним из конкретных примеров является матрица плотности , которая характеризует «смешанное» состояние квантовой системы как линейную комбинацию элементарных, «чистых» собственных состояний .

Другая матрица служит ключевым инструментом для описания экспериментов по рассеянию, которые составляют краеугольный камень экспериментальной физики элементарных частиц: реакции столкновения, подобные тем, которые происходят в ускорителях частиц , когда невзаимодействующие частицы направляются навстречу друг другу и сталкиваются в небольшой зоне взаимодействия с новой множество невзаимодействующих частиц в результате можно описать как скалярное произведение состояний исходящих частиц и линейную комбинацию состояний входящих частиц. Линейная комбинация задается матрицей, известной как S-матрица , которая кодирует всю информацию о возможных взаимодействиях между частицами.

Обычные режимы

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

Геометрическая оптика

Геометрическая оптика обеспечивает дополнительные матричные приложения. В этой приближенной теории не учитывается волновая природа света. В результате получается модель, в которой световые лучи действительно являются геометрическими лучами . Если отклонение световых лучей оптическими элементами невелико, то действие линзы или отражающего элемента на данный световой луч можно выразить как умножение двухкомпонентного вектора на матрицу два на два, называемое лучевым анализом матрицы переноса : компонентами вектора являются наклон светового луча и его расстояние от оптической оси, а матрица кодирует свойства оптического элемента. Существует два вида матриц, а именно. матрицу преломления, описывающую преломление на поверхности линзы, и матрицу перемещения , описывающую перенос плоскости отсчета к следующей преломляющей поверхности, где применяется другая матрица преломления.Оптическая система, состоящая из комбинации линз и/или отражающих элементов, просто описывается матрицей, полученной в результате произведения матриц компонентов.

Электроника

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

Поведение многих электронных компонентов можно описать с помощью матриц. Пусть A будет двумерным вектором с входным напряжением компонента v ₁ и входным током I ₁ в качестве его элементов, и пусть B будет двумерным вектором с выходным напряжением компонента v ₂ и выходным током I ₂ в качестве его элементов. Тогда поведение электронного компонента можно описать формулой B = H · A , где H — матрица 2 x 2, содержащая один импеданса элемент ( h ₁₂ ), один элемент адмиттанса ( h ₂₁ ) и два безразмерных элемента ( h ₁₁ и ч ₂₂ ). Расчет схемы теперь сводится к умножению матриц.

История

Матрицы имеют долгую историю применения при решении линейных уравнений , но до 1800-х годов они были известны как массивы. Китайский текст «Девять глав математического искусства», написанный в X–II веках до нашей эры, является первым примером использования методов массива для решения одновременных уравнений . включая концепцию детерминантов . В 1545 году итальянский математик Джероламо Кардано представил этот метод Европе, опубликовав Ars Magna . Японский математик Секи использовал те же методы массивов для решения одновременных уравнений в 1683 году. Голландский математик Ян де Витт представил преобразования с использованием массивов в своей книге 1659 года «Элементы кривых» (1659). Между 1700 и 1710 годами Готфрид Вильгельм Лейбниц опубликовал информацию об использовании массивов для записи информации или решений и экспериментировал с более чем 50 различными системами массивов. Крамер представил свое правило в 1750 году.

Термины «матрица» (лат. «матка», «плотина» (животное женского пола, не являющееся человеком, содержащееся для разведения), «источник», «происхождение», «список» и «регистр» происходят от слова mater — мать . ) был придуман Джеймсом Джозефом Сильвестром в 1850 году, который понимал матрицу как объект, порождающий несколько определителей, сегодня называемых минорами , то есть определителей меньших матриц, которые получаются из исходной путем удаления столбцов и строк. В статье 1851 года Сильвестр объясняет:

В предыдущих статьях я определил «Матрицу» как прямоугольный массив терминов, из которого из лона общего родителя могут возникнуть различные системы детерминантов.

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

Английский математик Катберт Эдмунд Каллис был первым, кто использовал современное обозначение скобок для матриц в 1913 году, и одновременно он продемонстрировал первое значимое использование обозначения A = [ a _{I , j} ] для представления матрицы, где a _{I , j} относится к i-му элементу. строка и j-й столбец.

Современное изучение детерминант возникло из нескольких источников. Теоретико-числовые проблемы заставили Гаусса связать коэффициенты квадратичных форм , то есть такие выражения, как x ² + ху − 2 у ² и в линейные отображения трех измерениях в матрицы. Эйзенштейн развил эти понятия, включая замечание, что, говоря современным языком, произведения некоммутативны матричные . Коши был первым, кто доказал общие положения об определителях, используя в качестве определения определителя матрицы A = [ a _{i , j} ] следующее: заменить степени a _j ^к на jk _​ в полиноме

$a_{1}a_{2}\cdots a_{n}\prod _{i<j}(a_{j}-a_{i})\;$,

где $\textstyle \prod$ обозначает произведение указанных слагаемых. В 1829 году он также показал, что собственные значения симметричных матриц действительны. Якоби изучал «функциональные определители» — позже названные определителями Якоби Сильвестром — которые можно использовать для описания геометрических преобразований на локальном (или бесконечно малом ) уровне, см . выше . Кронекера « Vorlesungen über die Theorie der Determinanten» и Вейерштрасса « О детерминантной теории» . оба, опубликованные в 1903 году, впервые трактовали детерминанты аксиоматически , в отличие от предыдущих более конкретных подходов, таких как упомянутая формула Коши. На тот момент определяющие факторы были твердо установлены.

Многие теоремы были впервые установлены только для небольших матриц, например, теорема Кэли-Гамильтона была доказана для матриц 2 × 2 Кэли в вышеупомянутых мемуарах и Гамильтоном для матриц 4 × 4. Фробениус , работая над билинейными формами , обобщил теорему на все измерения (1898). Также в конце 19-го века исключение Гаусса-Жордана (обобщающее особый случай, ныне известный как исключение Гаусса установил Вильгельм Йордан ) . В начале 20 века матрицы заняли центральную роль в линейной алгебре. частично из-за их использования в классификации гиперкомплексных систем счисления прошлого века.

Зарождение механики Гейзенбергом матричной , Борном и Джорданом привело к изучению матриц с бесконечным числом строк и столбцов. Позже фон Нейман осуществил математическую формулировку квантовой механики , путем дальнейшего развития функционально-аналитических понятий, таких как линейные операторы в гильбертовых пространствах , которые, очень грубо говоря, соответствуют евклидову пространству , но с бесконечностью независимых направлений .

Другие исторические варианты использования слова «матрица» в математике.

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

Бертран Рассел и Альфред Норт Уайтхед в своих Principia Mathematica (1910–1913) используют слово «матрица» в контексте своей аксиомы сводимости . Они предложили эту аксиому как средство последовательного сведения любой функции к функции более низкого типа так, чтобы на «низу» (нулевой порядок) функция была идентична своему расширению :

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

Например, функцию Φ( x, y ) двух переменных x и y можно свести к набору функций одной переменной, например, y , «рассмотрев» функцию для всех возможных значений «индивидуумов» a. _Я заменил переменную x . И тогда полученный набор функций одной переменной y , то есть ∀ a _i : Φ( a _i , y ) , можно свести к «матрице» значений, «рассмотрев» функцию для всех возможных значений « люди" b _i подставлены вместо переменной y :

∀ б _j ∀ а _я : Φ( а _я , б _j ).

Альфред Тарский в своем «Введении в логику» 1946 года использовал слово «матрица» как синоним понятия таблицы истинности , используемого в математической логике.

См. также

• Список именованных матриц
• Алгебраическая кратность - кратность собственного значения как корня характеристического многочлена.
• Геометрическая кратность - размерность собственного пространства, связанная с собственным значением.
• Процесс Грама – Шмидта – Ортонормализация набора векторов
• Нерегулярная матрица
• Матричное исчисление - специализированные обозначения для исчисления с несколькими переменными.
• Функция матрицы — функция, которая сопоставляет матрицы с матрицами. Страницы, отображающие краткие описания целей перенаправления.
• Алгоритм умножения матриц
• Тензор — обобщение матриц с любым количеством индексов.
• Богемские матрицы – Набор матриц
• Категория матриц . Алгебраическая структура, образованная матрицами и их умножением.

Ссылки

• Антон, Ховард (1987), Элементарная линейная алгебра (5-е изд.), Нью-Йорк: Wiley , ISBN  0-471-84819-0
• Арнольд Владимир Иванович ; Кук, Роджер (1992), Обыкновенные дифференциальные уравнения , Берлин, Германия; Нью-Йорк, штат Нью-Йорк: Springer-Verlag , ISBN  978-3-540-54813-3
• Артин, Майкл (1991), Алгебра , Прентис Холл , ISBN  978-0-89871-510-1
• Ассоциация вычислительной техники (1979), Компьютерная графика , Тата МакГроу – Хилл, ISBN  978-0-07-059376-3
• Бейкер, Эндрю Дж. (2003), Матричные группы: введение в теорию групп Ли , Берлин, Германия; Нью-Йорк, штат Нью-Йорк: Springer-Verlag, ISBN  978-1-85233-470-3
• Бау III, Дэвид; Трефетен, Ллойд Н. (1997), Численная линейная алгебра , Филадельфия, Пенсильвания: Общество промышленной и прикладной математики, ISBN  978-0-89871-361-9
• Борегар, Раймонд А.; Фрэли, Джон Б. (1973), Первый курс линейной алгебры: с дополнительным введением в группы, кольца и поля , Бостон: Houghton Mifflin Co. , ISBN  0-395-14017-Х
• Бретшер, Отто (2005), Линейная алгебра с приложениями (3-е изд.), Прентис Холл
• Бронсон, Ричард (1970), Матричные методы: Введение , Нью-Йорк: Academic Press , LCCN   70097490
• Бронсон, Ричард (1989), Очерк теории и проблем матричных операций Шаума , Нью-Йорк: McGraw – Hill , ISBN  978-0-07-007978-6
• Браун, Уильям К. (1991), Матрицы и векторные пространства , Нью-Йорк, Нью-Йорк: Марсель Деккер , ISBN  978-0-8247-8419-5
• Коберн, Натаниэль (1955), Векторный и тензорный анализ , Нью-Йорк, штат Нью-Йорк: Macmillan, OCLC   1029828.
• Конри, Дж. Брайан (2007), Ранги эллиптических кривых и теория случайных матриц , Cambridge University Press , ISBN  978-0-521-69964-8
• Фрэли, Джон Б. (1976), Первый курс абстрактной алгебры (2-е изд.), Чтение: Аддисон-Уэсли , ISBN  0-201-01984-1
• Фуденберг, Дрю; Тироль, Жан (1983), Теория игр , MIT Press
• Гилбарг, Дэвид; Трудингер, Нил С. (2001), Эллиптические уравнения в частных производных второго порядка (2-е изд.), Берлин, Германия; Нью-Йорк, штат Нью-Йорк: Springer-Verlag, ISBN  978-3-540-41160-4
• Годсил, Крис ; Ройл, Гордон (2004), Алгебраическая теория графов , Тексты для аспирантов по математике, том. 207, Берлин, Германия; Нью-Йорк, штат Нью-Йорк: Springer-Verlag, ISBN  978-0-387-95220-8
• Голуб, Джин Х .; Ван Лоан, Чарльз Ф. (1996), Матричные вычисления (3-е изд.), Джонс Хопкинс, ISBN  978-0-8018-5414-9
• Греуб, Вернер Хильдберт (1975), Линейная алгебра , Тексты для аспирантов по математике, Берлин, Германия; Нью-Йорк, штат Нью-Йорк: Springer Verlag, ISBN  978-0-387-90110-7
• Халмош, Пол Ричард (1982), Книга по задачам гильбертова пространства , Тексты для выпускников по математике, том. 19 (2-е изд.), Берлин, Германия; Нью-Йорк, штат Нью-Йорк: Springer-Verlag, ISBN  978-0-387-90685-0 МР  0675952
• Хорн, Роджер А .; Джонсон, Чарльз Р. (1985), Матричный анализ , Издательство Кембриджского университета, ISBN  978-0-521-38632-6
• Хаусхолдер, Алстон С. (1975), Теория матриц в численном анализе , Нью-Йорк, Нью-Йорк: Dover Publications , MR   0378371
• Крейциг, Эрвин (1972), Высшая инженерная математика (3-е изд.), Нью-Йорк: Wiley , ISBN  0-471-50728-8 .
• Кржановский, Войтек Дж. (1988), Принципы многомерного анализа , Oxford Statistical Science Series, vol. 3, издательство Clarendon Press, издательство Оксфордского университета, ISBN  978-0-19-852211-9 , МР   0969370
• Ито, Кийоси, изд. (1987), Энциклопедический математический словарь. Том. I-IV (2-е изд.), MIT Press, ISBN  978-0-262-09026-1 , МР   0901762
• Ланг, Серж (1969), Анализ II , Аддисон-Уэсли
• Ланг, Серж (1987a), Исчисление нескольких переменных (3-е изд.), Берлин, Германия; Нью-Йорк, штат Нью-Йорк: Springer-Verlag, ISBN  978-0-387-96405-8
• Ланг, Серж (1987b), Линейная алгебра , Берлин, Германия; Нью-Йорк, штат Нью-Йорк: Springer Verlag, ISBN  978-0-387-96412-6
• Ланг, Серж (2002), Алгебра , Тексты для аспирантов по математике , том. 211 (пересмотренное третье издание), Нью-Йорк: Springer-Verlag, ISBN.  978-0-387-95385-4 , МР   1878556
• Латуш, Гай; Рамасвами, Вайдьянатан (1999), Введение в матричные аналитические методы в стохастическом моделировании (1-е изд.), Филадельфия, Пенсильвания: Общество промышленной и прикладной математики, ISBN  978-0-89871-425-8
• Мэннинг, Кристофер Д.; Шютце, Хинрих (1999), Основы статистической обработки естественного языка , MIT Press, ISBN  978-0-262-13360-9
• Мехата, КМ; Сринивасан, СК (1978), Случайные процессы , Нью-Йорк, Нью-Йорк: МакГроу – Хилл, ISBN  978-0-07-096612-3
• Мирский, Леонид (1990), Введение в линейную алгебру , Courier Dover Publications, ISBN  978-0-486-66434-7
• Неринг, Эвар Д. (1970), Линейная алгебра и теория матриц (2-е изд.), Нью-Йорк: Wiley , LCCN   76-91646
• Носедаль, Хорхе; Райт, Стивен Дж. (2006), Численная оптимизация (2-е изд.), Берлин, Делавэр; Нью-Йорк, штат Нью-Йорк: Springer-Verlag, с. 449, ISBN  978-0-387-30303-1
• Уаллин, Стив (2003), Практическое программирование на C++ , О'Рейли , ISBN  978-0-596-00419-4
• Перроне, Паоло (2024), Теория стартовых категорий , World Scientific, doi : 10.1142/9789811286018_0005 , ISBN  978-981-12-8600-1
• Пресс, Уильям Х.; Фланнери, Брайан П.; Теукольский, Саул А. ; Веттерлинг, Уильям Т. (1992), «LU-разложение и его приложения» (PDF) , Числовые рецепты на FORTRAN: Искусство научных вычислений (2-е изд.), Cambridge University Press, стр. 34–42, заархивировано из оригинала. 6 сентября 2009 г. {{citation}}: CS1 maint: неподходящий URL ( ссылка )
• Проттер, Мюррей Х.; Морри, Чарльз Б. младший (1970), Колледжское исчисление с аналитической геометрией (2-е изд.), Чтение: Аддисон-Уэсли , LCCN   76087042
• Пуннен, Авраам П.; Гутин, Грегори (2002), Задача коммивояжера и ее варианты , Бостон, Массачусетс: Kluwer Academic Publishers, ISBN  978-1-4020-0664-7
• Райхл, Линда Э. (2004), Переход к хаосу: консервативные классические системы и квантовые проявления , Берлин, Германия; Нью-Йорк, штат Нью-Йорк: Springer-Verlag, ISBN  978-0-387-98788-0
• Роуэн, Луи Халле (2008), Выпускник алгебры: некоммутативный взгляд , Провиденс, Род-Айленд: Американское математическое общество , ISBN  978-0-8218-4153-2
• Шолин, Павел (2005), Уравнения в частных производных и метод конечных элементов , Wiley-Interscience , ISBN  978-0-471-76409-0
• Стинсон, Дуглас Р. (2005), Криптография , дискретная математика и ее приложения, Chapman & Hall/CRC, ISBN  978-1-58488-508-5
• Стер, Йозеф; Булирш, Роланд (2002), Введение в численный анализ (3-е изд.), Берлин, Германия; Нью-Йорк, штат Нью-Йорк: Springer-Verlag, ISBN  978-0-387-95452-3
• Уорд, Дж. П. (1997), Кватернионы и числа Кэли , Математика и ее приложения, том. 403, Дордрехт, Нидерланды: Группа академических издателей Kluwer, номер номера : 10.1007/978-94-011-5768-1 , ISBN  978-0-7923-4513-8 , МР   1458894
• Вольфрам, Стивен (2003), Книга Mathematica (5-е изд.), Шампейн, Иллинойс: Wolfram Media, ISBN  978-1-57955-022-6

Ссылки по физике

• Бом, Арно (2001), Квантовая механика: основы и приложения , Springer, ISBN  0-387-95330-2
• Берджесс, Клифф; Мур, Гай (2007), Стандартная модель. Букварь , издательство Кембриджского университета, ISBN  978-0-521-86036-9
• Гюнтер, Роберт Д. (1990), Современная оптика , Джон Уайли, ISBN  0-471-60538-7
• Ицыксон, Клод; Зубер, Жан-Бернар (1980), Квантовая теория поля , МакГроу – Хилл, ISBN  0-07-032071-3
• Райли, Кеннет Ф.; Хобсон, Майкл П.; Бенс, Стивен Дж. (1997), Математические методы в физике и технике , издательство Кембриджского университета, ISBN  0-521-55506-Х
• Шифф, Леонард И. (1968), Квантовая механика (3-е изд.), МакГроу – Хилл
• Вайнберг, Стивен (1995), Квантовая теория полей. Том I: Основы , издательство Кембриджского университета, ISBN  0-521-55001-7
• Уэрретт, Брайан С. (1987), Теория групп атомов, молекул и твердых тел , Prentice-Hall International, ISBN  0-13-365461-3
• Забродин Антон; Брезен, Эдуард; Казаков Владимир; Сербан, Дидина; Вигманн, Пол (2006), «Применение случайных матриц в физике» (Научная серия НАТО II: математика, физика и химия) , Берлин, Германия; Нью-Йорк, штат Нью-Йорк: Springer-Verlag , ISBN  978-1-4020-4530-1

Исторические справки

• А. Кэли Мемуары по теории матриц . Фил. Пер. 148 1858 17–37; Математика. Статьи II 475–496.
• Бошер, Максим (2004), Введение в высшую алгебру , Нью-Йорк, Нью-Йорк: Dover Publications , ISBN  978-0-486-49570-5 , перепечатка оригинального издания 1907 года.
• Кэли, Артур (1889), Сборник математических статей Артура Кэли , том. I (1841–1853), Cambridge University Press , стр. 123–126.
• Дьедонне, Жан , изд. (1978), Краткое изложение истории математики 1700–1900 гг. , Париж, Франция: Герман
• Хокинс, Томас (1975), «Коши и спектральная теория матриц», Historia Mathematica , 2 : 1–29, doi : 10.1016/0315-0860(75)90032-4 , ISSN   0315-0860 , MR   0469635
• Кноблох, Эберхард (1994), «От Гаусса до Вейерштрасса: детерминантная теория и ее исторические оценки», Пересечение истории и математики , Исторические исследования научных сетей, том. 15, Базель, Бостон, Берлин: Birkhäuser, стр. 51–66, MR   1308079.
• Кронекер, Леопольд (1897), Хензель, Курт (редактор), Верке Леопольда Кронекера , Тойбнер
• Мехра, Джагдиш ; Рехенберг, Гельмут (1987), Историческое развитие квантовой теории (1-е изд.), Берлин, Германия; Нью-Йорк, штат Нью-Йорк: Springer-Verlag , ISBN  978-0-387-96284-9
• Шен, Каншен; Кроссли, Джон Н.; Лун, Энтони Ва-Чунг (1999), Девять глав математического искусства, компаньон и комментарии (2-е изд.), Oxford University Press , ISBN  978-0-19-853936-0
• Вейерштрасс, Карл (1915), Собрание сочинений , т. 3

Дальнейшее чтение

• «Матрица» , Энциклопедия математики , EMS Press , 2001 [1994]
• Кау, Аутар К. (сентябрь 2008 г.), Введение в матричную алгебру , Lulu.com, ISBN  978-0-615-25126-4
• Поваренная книга матрицы (PDF) , получено 24 марта 2014 г.
• Брукс, Майк (2005), Справочное руководство по Матрице , Лондон: Имперский колледж , получено 10 декабря 2008 г.

Внешние ссылки

• MacTutor: Матрицы и определители
• Матрицы и линейная алгебра на страницах самых ранних использований
• Самое раннее использование символов для матриц и векторов