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

Материал из Википедии — свободной энциклопедии

У этого термина существуют и другие значения, см. Матрица.

Ма́трица — математический объект, записываемый в виде прямоугольной таблицы чисел (или элементов кольца) и допускающий алгебраические операции (сложение, вычитание, умножение и др.) между ним и другими подобными объектами. Правила выполнения операций над матрицами сделаны такими, чтобы было удобно записывать системы линейных уравнений. Обычно матрицу обозначают Заглавной буквой латинского алфавита и выделяют круглыми скобками «(…)» (встречается также выделение квадратными скобками «[…]», двойными прямыми линиями «||…||») А числа, составляющие матрицу (элементы матрицы), обозначают той же буквой, что и саму матрицу, но маленькой. у каждого элемента матрицы есть 2 нижних индекса ( $a i j$ ) — первый «i» обозначает номер строки, в которой находится элемент, а второй «j» — номер столбца.

Содержание

1 История
2 Матрица как запись коэффициентов системы линейных уравнений
3 Операции над матрицами
4 Квадратная матрица и смежные определения
5 Свойства матриц
6 Элементарные преобразования матриц
7 Типы матриц
8 Матрица линейного оператора
9 Обобщения
10 См. также
11 Литература
12 Ссылки

[править] История

Понятие матрицы впервые появилось в середине XIX века в работах Уильяма Гамильтона и Артура Кэли. Фундаментальные результаты в теории матриц принадлежат Вейерштрассу, Жордану, Фробениусу.

[править] Матрица как запись коэффициентов системы линейных уравнений

Cистему из $m$ уравнений с $n$ неизвестными

$a_{11}x_1 + a_{12}x_2 + \cdots + a_{1n}x_n = b_1$

$a_{21}x_1 + a_{22}x_2 + \cdots + a_{2n}x_n = b_2$

$\cdots \cdots \cdots \cdots \cdots$

$a_{m1}x_1 + a_{m2}x_2 + \cdots + a_{mn}x_n = b_m$

можно представить в матричном виде

$A = \begin{pmatrix} a_{11} & a_{12} & \cdots & a_{1n} \\ a_{21} & a_{22} & \cdots & a_{2n} \\ \cdots & \cdots & \cdots & \cdots \\ a_{m1} & a_{m2} & \cdots & a_{mn} \end{pmatrix} ; X = \begin{pmatrix} x_{1} \\ x_{2} \\ \cdots \\ x_{n} \end{pmatrix} ; B = \begin{pmatrix} b_{1} \\ b_{2} \\ \cdots \\ b_{m} \end{pmatrix}$

и тогда всю систему можно записать так:

$A X = B$ , где $A$ имеет смысл таблицы коэффициентов $a i j$ cистемы уравнений.

если $m = n$ и матрица $A$ невырожденная, то решение этого уравнение состоит в нахождении обратной матрицы $A - 1$ , поскольку умножив обе части уравнения на эту матрицу слева

$A - 1 A X = A - 1 B$

$A - 1 A$ — превращается в E (единичную матрицу). И это даёт возможность получить столбец корней уравнений

$X = A - 1 B$ .

Все правила, по котором проводятся операции над матрицами выводятся из операций над системами уравнений.

[править] Операции над матрицами

Пусть $a i j$ элементы матрицы $A$ , а $b i j$ — матрицы $B$ .

Умножение матрицы $A$ на число $λ$ (обозначение: $λ A$ ) заключается в построении матрицы $B$ , элементы которой получены путём умножения каждого элемента матрицы $A$ на это число, то есть каждый элемент матрицы $B$ равен

b i j = λ a i j

Сложение матриц $A + B$ есть операция нахождения матрицы $C$ , все элементы которой равны попарной сумме всех соответствующих элементов матриц $A$ и $B$ , то есть каждый элемент матрицы $C$ равен

c i j = a i j + b i j

$A+B= \begin{bmatrix} 2 & 0 & -1 & 4\\ 1 & 3 & 0 & 5 \end{bmatrix} + \begin{bmatrix} 3 & 1 & 0 & 10\\ 8 & 2 & 3 & -5 \end{bmatrix} = \begin{bmatrix} 2+3 & 0+1 & -1+0 & 4+10\\ 1+8 & 3+2 & 0+3 & 5+(-5) \end{bmatrix} = \begin{bmatrix} 5 & 1 & -1 & 14\\ 9 & 5 & 3 & 0 \end{bmatrix}$

Вычитание матриц $A - B$ определяется аналогично сложению, это операция нахождения матрицы $C$ , элементы которой

c i j = a i j - b i j

$A-B= \begin{bmatrix} 2 & 0 & -1 & 4\\ 1 & 3 & 0 & 5 \end{bmatrix} - \begin{bmatrix} 3 & 1 & 0 & 10\\ 8 & 2 & 3 & -5 \end{bmatrix} = \begin{bmatrix} 2-3 & 0-1 & -1-0 & 4-10\\ 1-8 & 3-2 & 0-3 & 5-(-5) \end{bmatrix} = \begin{bmatrix} -1 & -1 & -1 & -6\\ -7 & 1 & -3 & 10 \end{bmatrix}$

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

Существует нулевая матрица $Θ$ такая, что её прибавление к другой матрице A не изменяет A, то есть

A + Θ = A

Все элементы нулевой матрицы равны нулю.

Умножение матриц (обозначение: $A B$ , реже со знаком умножения $A\times B$ ) — есть операция вычисления матрицы $C$ , элементы которой равны сумме произведений элементов в соответствующей строке первого множителя и столбце второго.

c_ij =	∑	a_ikb_kj
	k

В первом множителе должно быть столько же столбцов, сколько строк во втором. Если матрица $A$ имеет размерность $m \times n$ , $B$ — $n \times k$ , то размерность их произведения $A B = C$ есть $m \times k$ . Умножение матриц не коммутативно. Это видно хотя бы из того, что если матрицы не квадратные, то можно умножать только одну на другую, но не наоборот. Для квадратных матриц результат умножения зависит от порядка сомножителей.

$A B= \begin{bmatrix} 2 & 0\\ 1 & 3 \end{bmatrix} \times \begin{bmatrix} 3 & 1\\ 8 & 2 \end{bmatrix} = \begin{bmatrix} 2 \cdot 3 + 0 \cdot 8 & 2 \cdot 1 + 0 \cdot 2\\ 1 \cdot 3 + 3 \cdot 8 & 1 \cdot 1 + 3 \cdot 2 \end{bmatrix} = \begin{bmatrix} 6 & 2\\ 27 & 7 \end{bmatrix}$

$B A= \begin{bmatrix} 3 & 1\\ 8 & 2 \end{bmatrix} \times \begin{bmatrix} 2 & 0\\ 1 & 3 \end{bmatrix} = \begin{bmatrix} 3 \cdot 2 + 1 \cdot 1 & 3 \cdot 0 + 1 \cdot 3\\ 8 \cdot 2 + 2 \cdot 1 & 8 \cdot 0 + 2 \cdot 3 \end{bmatrix} = \begin{bmatrix} 7 & 3\\ 18 & 6 \end{bmatrix}$

Умножение матриц ассоциативно. Возводить в степень можно только квадратные матрицы.

Транспонирование матрицы (обозначение: $A T$ ) — операция, при которой матрица отражается относительно главной диагонали, то есть

$a^T_{ij} = a_{ji}$

Если $A$ — матрица размера $m \times n$ , то $A T$ — матрица размера $n \times m$

[править] Квадратная матрица и смежные определения

Если количество строк матрицы равно количеству столбцов, то такая матрица называется квадратной.

Для квадратных матриц существует единичная матрица $E$ такая, что умножение любой матрицы на неё не влияет на результат, а именно

E A = A E = A

У единичной матрицы единицы стоят только по главной диагонали, остальные элементы равны нулю

$E = \begin{pmatrix} 1 & 0 & \cdots & 0 \\ 0 & 1 & \cdots & 0 \\ \cdots & \cdots & \cdots & \cdots \\ 0 & 0 & \cdots & 1 \end{pmatrix}$

Для некоторых квадратных матриц можно найти так называемую обратную матрицу. Обратная матрица $A - 1$ такова, что если умножить матрицу на неё, то получится единичная матрица

A A - 1 = E

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

[править] Свойства матриц

$A + (B + C) = (A + B) + C$
$A + B = B + A$
$A (B C) = (A B) C$
$A (B + C) = A B + A C$
$(B + C) A = B A + C A$
$0 \cdot A = 0$
$1 \cdot A = A$
$A_{k \times l} \cdot B_{l \times n} = C \Rightarrow c_{ij} = \sum_{k = 1}^l a_{ik} b_{kj}$
$(A T) T = A$
$(A * B) T = B T * A T$

[править] Элементарные преобразования матриц

Элементарными преобразованиями строк матрицы называются следующие преобразования:

Умножение строки на число отличное от нуля
Прибавление одной строки к другой строке

Элеменатрные преобразование столбцов матрицы определяются аналогично.

[править] Типы матриц

Единичная
Блочно-диагональная
Верхнетреугольная
Вырожденная
Диагональная
Трёхдиагональная
Квадратной называют матрицу, количество строк в которой равно количеству столбцов. Для квадратных матриц существует определитель.
Кососимметрическая
Нормальная
Нижнетреугольная
Ортогональная
Симметричная
1. Симметричная матрица $A$ положительно определена ( $A > 0$ ), если значения у всех ее главных угловых миноров $A k > 0$
2. Симметричная матрица $A$ отрицательно определена ( $A < 0$ ), если матрица $( - A)$ положительно определена, то есть если для любого $k$ главный минор $k$ -го порядка $A k$ имеет знак $( - 1) k$
Треугольная
Эрмитова
Циркулянт
Унитарная
Унимодулярная

[править] Матрица линейного оператора

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

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

Выберем базис $\mathbf{e}_k$ . Пусть $\mathbf{x}$ — произвольный вектор. Тогда его можно разложить по этому базису:

$\mathbf{x} = x^k\mathbf{e}_k$ , где $x k$ — координаты вектора $\mathbf{x}$ в выбранном базисе.

Здесь и далее предполагается суммирование по немым индексам.

Пусть $\mathbf{A}$ — произвольный линейный оператор. Подействуем им на обе стороны предыдущего равенства, получим

$\mathbf{Ax} = x^k\mathbf{Ae}_k$ .

Вектора $\mathbf{Ae}_k$ также разложим в выбранном базисе, получим

$\mathbf{Ae}_k = a^j_k\mathbf{e}_j$ , где $a^j_k$ — $j$ -я координата $k$ -го вектора из $\mathbf{Ae}_k$ .

Подставим разложение в предыдущую формулу, получим

$\mathbf{Ax} = x^ka^j_k\mathbf{e}_j = (a^j_kx^k)\mathbf{e}_j$ .

Выражение $a^j_kx^k$ , заключённое в скобки, есть ни что иное, как формула умножения матрицы на столбец, и, таким образом, матрица $a^j_k$ при умножении на столбец $x k$ даёт в результате координаты вектора $\mathbf{Ax}$ , возникшего от действия оператора $\mathbf{A}$ на вектор $\mathbf{x}$ , что и требовалось получить.

[править] Обобщения

Тензор — многомерный аналог матриц

[править] См. также

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