Матрицей размером m×n называется совокупность m·n чисел, расположенных в виде прямоугольной таблицы из m строк и n столбцов. Эту таблицу обычно заключают в круглые скобки. Например, матрица может иметь вид:
Для краткости матрицу можно обозначать одной заглавной буквой, например, А или В.
В общем виде матрицу размером m×n записывают так
.
Числа, составляющие матрицу, называются элементами матрицы. Элементы матрицы удобно снабжать двумя индексами aij: первый указывает номер строки, а второй – номер столбца. Например, a23 – элемент стоит во 2-ой строке, 3-м столбце.
Если в матрице число строк равно числу столбцов, то матрица называется квадратной, причём число ее строк или столбцов называется порядком матрицы. В приведённых выше примерах квадратными являются вторая матрица – её порядок равен 3, и четвёртая матрица – её порядок 1.
Матрица, в которой число строк не равно числу столбцов, называется прямоугольной. В примерах это первая матрица и третья.
Различаются также матрицы, имеющие только одну строку или один столбец.
Матрица, у которой всего одна строка , называется матрицей – строкой (или строковой), а матрица, у которой всего один столбец, матрицей – столбцом.
Матрица, все элементы которой равны нулю, называется нулевой и обозначается (0), или просто 0. Например,
.
Главной диагональю квадратной матрицы назовём диагональ, идущую из левого верхнего в правый нижний угол.
Квадратная матрица, у которой все элементы, лежащие ниже главной диагонали, равны нулю, называется треугольной матрицей.
.
Квадратная матрица, у которой все элементы, кроме, быть может, стоящих на главной диагонали, равны нулю, называется диагональной матрицей. Например, или .
Диагональная матрица, у которой все диагональные элементы равны единице, называется единичной матрицей и обозначается буквой E. Например, единичная матрица 3-го порядка имеет вид .
ДЕЙСТВИЯ НАД МАТРИЦАМИ
Равенство матриц. Две матрицы A и B называются равными, если они имеют одинаковое число строк и столбцов и их соответствующие элементы равны aij = bij. Так если и , то A=B, если a11 = b11, a12 = b12, a21 = b21 и a22 = b22.
Транспонирование. Рассмотрим произвольную матрицу A из m строк и n столбцов. Ей можно сопоставить такую матрицу B из n строк и m столбцов, у которой каждая строка является столбцом матрицы A с тем же номером (следовательно, каждый столбец является строкой матрицы A с тем же номером). Итак, если , то .
Эту матрицу B называют транспонированной матрицей A, а переход от A к B транспонированием.
Связь между матрицей A и её транспонированной можно записать в виде .
Например. Найти матрицу транспонированную данной.
Сложение матриц. Пусть матрицы A и B состоят из одинакового числа строк и одинакового числа столбцов, т.е. имеют одинаковые размеры. Тогда для того, чтобы сложить матрицы A и B нужно к элементам матрицы A прибавить элементы матрицы B, стоящие на тех же местах. Таким образом, суммой двух матриц A и B называется матрица C, которая определяется по правилу, например,
Примеры. Найти сумму матриц:
Легко проверить, что сложение матриц подчиняется следующим законам: коммутативному A+B=B+A и ассоциативному (A+B)+C=A+(B+C).
Умножение матрицы на число. Для того чтобы умножить матрицу A на число k нужно каждый элемент матрицы A умножить на это число. Таким образом, произведение матрицы A на число k есть новая матрица, которая определяется по правилу или .
Для любых чисел a и b и матриц A и B выполняются равенства:
.
Матрицу C найти нельзя, т.к. матрицы A и B имеют разные размеры.
Умножение матриц. Эта операция осуществляется по своеобразному закону. Прежде всего, заметим, что размеры матриц–сомножителей должны быть согласованы. Перемножать можно только те матрицы, у которых число столбцов первой матрицы совпадает с числом строк второй матрицы (т.е. длина строки первой равна высоте столбца второй). Произведением матрицы A не матрицу B называется новая матрица C=AB, элементы которой составляются следующим образом:
.
Таким образом, например, чтобы получить у произведения (т.е. в матрице C) элемент, стоящий в 1-ой строке и 3-м столбце c13, нужно в 1-ой матрице взять 1-ую строку, во 2-ой – 3-й столбец, и затем элементы строки умножить на соответствующие элементы столбца и полученные произведения сложить. И другие элементы матрицы-произведения получаются с помощью аналогичного произведения строк первой матрицы на столбцы второй матрицы.
В общем случае, если мы умножаем матрицу A = (aij) размера m×n на матрицу B = (bij) размера n×p, то получим матрицу C размера m×p, элементы которой вычисляются следующим образом: элемент cij получается в результате произведения элементов i-ой строки матрицы A на соответствующие элементы j-го столбца матрицы B и их сложения.
Из этого правила следует, что всегда можно перемножать две квадратные матрицы одного порядка, в результате получим квадратную матрицу того же порядка. В частности, квадратную матрицу всегда можно умножить саму на себя, т.е. возвести в квадрат.
Другим важным случаем является умножение матрицы–строки на матрицу–столбец, причём ширина первой должна быть равна высоте второй, в результате получим матрицу первого порядка (т.е. один элемент). Действительно,
.
.
, B·A – не имеет смысла.
Таким образом, эти простые примеры показывают, что матрицы, вообще говоря, не перестановочны друг с другом, т.е. A∙B ≠ B∙A. Поэтому при умножении матриц нужно тщательно следить за порядком множителей.
Можно проверить, что умножение матриц подчиняется ассоциативному и дистрибутивному законам, т.е. (AB)C=A(BC) и (A+B)C=AC+BC.
Легко также проверить, что при умножении квадратной матрицы A на единичную матрицу E того же порядка вновь получим матрицу A, причём AE=EA=A.
Можно отметить следующий любопытный факт. Как известно произведение 2-х отличных от нуля чисел не равно 0. Для матриц это может не иметь места, т.е. произведение 2-х не нулевых матриц может оказаться равным нулевой матрице.
Например, если , то
.
Пусть дана матрица второго порядка – квадратная матрица, состоящая из двух строк и двух столбцов .
Определителем второго порядка, соответствующим данной матрице, называется число, получаемое следующим образом: a11a22 – a12a21.
Определитель обозначается символом .
Итак, для того чтобы найти определитель второго порядка нужно из произведения элементов главной диагонали вычесть произведение элементов по второй диагонали.
Примеры. Вычислить определители второго порядка.
Аналогично можно рассмотреть матрицу третьего порядка и соответствующий ей определитель.
Определителем третьего порядка, соответствующим данной квадратной матрице третьего порядка, называется число, обозначаемое и получаемое следующим образом:
.
Таким образом, эта формула даёт разложение определителя третьего порядка по элементам первой строки a11, a12, a13 и сводит вычисление определителя третьего порядка к вычислению определителей второго порядка.
Примеры. Вычислить определитель третьего порядка.
.
Аналогично можно ввести понятия определителей четвёртого, пятого и т.д. порядков, понижая их порядок разложением по элементам 1-ой строки, при этом знаки «+» и «–» у слагаемых чередуются.
Итак, в отличие от матрицы, которая представляют собой таблицу чисел, определитель это число, которое определённым образом ставится в соответствие матрице.
Матрицы широко применяются в математике для компактной записи систем линейных алгебраических или дифференциальных уравнений. В этом случае, количество строк матрицы соответствует числу уравнений, а количество столбцов — количеству неизвестных. В результате решение систем линейных уравнений сводится к операциям над матрицами.
Для матрицы определены следующие алгебраические операции:
Относительно сложения матрицы образуют абелеву группу; если же рассматривать ещё и умножение на скаляр, то матрицы образуют модуль над соответствующим кольцом (векторное пространство над полем). Множество квадратных матриц замкнуто относительно матричного умножения, поэтому квадратные матрицы одного размера образуют ассоциативное кольцо с единицей относительно матричного сложения и матричного умножения.
Доказано, что каждому линейному оператору, действующему в n-мерном линейном пространстве, можно сопоставить единственную квадратную матрицу порядка n; и обратно — каждой квадратной матрице порядка n может быть сопоставлен единственный линейный оператор, действующий в этом пространстве. [2] Свойства матрицы соответствуют свойствам линейного оператора. В частности, собственные числа матрицы — это собственные числа оператора, отвечающие соответствующим собственным векторам.
То же можно сказать о представлении матрицами билинейный (квадратичных) форм.
В математике рассматривается множество различных типов и видов матриц. Таковы, например, единичная, симметричная, кососимметричная, верхнетреугольная (нижнетреугольная) и т. п. матрицы.
Особое значение в теории матриц занимают всевозможные нормальные формы, то есть канонический вид, к которому можно привести матрицу заменой координат. Наиболее важной (в теоретическом значении) и проработанной является теория жордановых нормальных форм. На практике, однако, используются такие нормальные формы, которые обладают дополнительными свойствами, например, устойчивостью.
Содержание
История
Впервые матрицы упоминались ещё в древнем Китае, называясь тогда «волшебным квадратом». Основным применением матриц было решение линейных уравнений. Также волшебные квадраты были известны чуть позднее у арабских математиков, примерно тогда появился принцип сложения матриц. После развития теории определителей в конце 17-го века, Габриэль Крамер начал разрабатывать свою теорию в 18-ом столетии и опубликовал «правило Крамера» в 1751 году. Примерно в этом же промежутке времени появился «метод Гаусса». Теория матриц начала своё существование в середине XIX века в работах Уильяма Гамильтона и Артура Кэли. Фундаментальные результаты в теории матриц принадлежат Вейерштрассу, Жордану, Фробениусу. Термин «матрица» ввел Джеймс Сильвестр в 1850 г. [3]
Определение
Пусть есть два конечных множества и , где и — натуральные числа.
Назовём матрицей размера (читается на ) с элементами из некоторого кольца или поля отображение вида
.
называется элементом матрицы, находящимся на пересечении -той строки и -ого столбца;
Если индекс пробегает множество , а пробегает множество , то совокупность элементов полностью определяет матрицу.
Таким образом, матрица размера состоит в точности из
В соответствии с этим
Сама матрица естественным образом интерпретируется как вектор в пространстве , имеющем размерность . Это позволяет ввести покомпонентное сложение матриц и умножение матрицы на число (см. ниже); что касается матричного умножения, то оно существенным образом опирается на прямоугольную структуру матрицы.
Если у матрицы количество строк совпадает с количеством столбцов , то такая матрица называется квадратной, а число называется размером квадратной матрицы или её порядком.
Обозначения
Обычно матрицу обозначают заглавной буквой латинского алфавита: пусть
,
тогда — матрица, которая интерпретируется как прямоугольный массив элементов поля вида , где
таким образом, — элемент матрицы , находящийся на пересечении -той строки и -того столбца. В соответствии с этим принято следующее компактное обозначение для матрицы размера :
если нужно просто указать обозначение для элементов матрицы.
Иногда, вместо , пишут , чтобы отделить индексы друг от друга и избежать смешения с произведением двух чисел.
Если необходимо дать развёрнутое представление матрицы в виде таблицы, то используют запись вида
Можно встретить как обозначения с круглыми скобками «(…)», так и обозначения с квадратными скобками «[…]». Реже можно встретить обозначения с двойными прямыми линиями «||…||»).
Поскольку матрица состоит из строк и столбцов, для них используются следующие обозначения:
— это -тая строка матрицы ,
— это -тый столбец матрицы .
Таким образом, матрица обладает двойственным представлением — по строкам:
.
Такое представление позволяет формулировать свойства матриц в терминах строк или в терминах столбцов.
Транспонированная матрица
С каждой матрицей размера связана матрица размера вида
Такая матрица называется транспонированной матрицей для и обозначается так .
Транспонированную матрицу можно получить, поменяв строки и столбцы матрицы местами. Матрица размера при этом преобразовании станет матрицей размерностью .
Диагональная матрица
Диагональная матрица — квадратная матрица, все элементы которой кроме диагональных — нулевые , иногда записывается как:
Единичная матрица
Единичная матрица — матрица, при умножении на которую любая матрица (или вектор) остается неизменной, является диагональной матрицей с единичными (всеми) диагональными элементами:
Для ее обозначения чаще всего используется обозначение I или E, а также просто 1 (или 1 специальным шрифтом).
Для обозначения ее элементов также используется символ Кронекера , определяемый как:
при
Нулевая матрица
Для обозначения нулевой матрицы — матрицы, все элементы которой нули (при сложении ее с любой матрицей та остается неизменной, а при умножении на любую получается нулевая матрица) — используется обычно просто 0 или 0 специальным шрифтом, или буква, начертанием похожая на ноль, например .
Вектор-строка и вектор-столбец
Матрицы размера и являются элементами пространств и соответственно:
Операции над матрицами
Умножение матрицы на число
Умножение матрицы на число (обозначение: ) заключается в построении матрицы , элементы которой получены путём умножения каждого элемента матрицы на это число, то есть каждый элемент матрицы равен
Свойства умножения матриц на число:
Сложение матриц
Сложение матриц есть операция нахождения матрицы , все элементы которой равны попарной сумме всех соответствующих элементов матриц и , то есть каждый элемент матрицы равен
Свойства сложения матриц:
Все свойства линейных операций повторяют аксиомы линейного пространства и поэтому справедлива теорема:
Множество всех матриц одинаковых размеров mxn с элементами из поля P (поля всех действительных или комплексных чисел) образуют линейное пространство над полем P (каждая такая матрица является вектором этого пространства). Впрочем, прежде всего во избежание терминологической путаницы, матрицы в обычных контекстах избегают без необходимости (которой нет в наиболее обычных стандартных применениях) и четкого уточнения употребления термина называть векторами.
Умножение матриц
Умножение матриц (обозначение: , реже со знаком умножения ) — есть операция вычисления матрицы , каждый элемент которой равен сумме произведений элементов в соответствующей строке первого множителя и столбце второго.
Количество столбцов в матрице должно совпадать с количеством строк в матрице , иными словами, матрица обязана быть согласованной с матрицей . Если матрица имеет размерность , — , то размерность их произведения есть .
Свойства умножения матриц:
Умножение вектора на матрицу
По обычным правилам матричного умножения осуществляется умножение на матрицу слева вектора-столбца, а также умножение вектора-строки на матрицу справа. Поскольку элементы вектора-столбца или вектора-строки можно записать (что обычно и делается), используя один, а не два индекса, это умножение можно записать так:
для вектора-столбца v (получая новый вектор-столбец Av):
для вектора-строки s (получая новый вектор-строку sA):
Вектор-строка, матрица и вектор столбец могут быть умножены друг на друга, давая число (скаляр):
(Порядок важен: вектор-строка слева, вектор-столбец справа от матрицы).
Эти операции являются основой матричного представления линейных операторов и линейных преобразований координат (смены базисов), таких, как повороты, масштабирования, зеркальные отражения, а также (последнее) матричного представления билинейных (квадратичных форм.
Заметим, что обычной мотивировкой введения матриц и определения операции матричного умножения (см.тж.в статье об умножении матриц) является именно введение их, начиная с умножения вектора на матрицу (которое вводится исходя из преобразований базиса или вообще линейных операций над векторами), а уже затем композиции преобразований сопоставляется произведение матриц. Действительно, если новый вектор Av, полученный из исходного вектора v преобразованием, представимым умножением на матрицу A, преобразовать теперь еще раз, преобразованием, представимым умножением на матрицу B, получив B(Av), то, исходя из правила умножения вектора на матрицу, приведенного в начале этого параграфа (используя ассоциативность умножения чисел и меняя порядок суммирования), нетрудно увидеть в результате формулу, дающую элементы матрицы (BA), представляющую композицию первого и второго преобразований, и совпадающую с обычным определением матричного умножения.
Комплексное сопряжение
Если элементами матрицы являются комплексные числа, то комплексно сопряжённая (не путать с эрмитово сопряжённой! см. далее) матрица равна . Здесь — число, комплексно сопряжённое к .
Транспонирование и эрмитово сопряжение
Транспонирование уже обсуждалось выше: если , то . Для комплексных матриц более употребительно эрмитово сопряжение: . С точки зрения операторного взгляда на матрицы, транспонированная и эрмитово сопряжённая матрица — это матрицы оператора, сопряжённого относительно скалярного или эрмитова произведения, соответственно.
Для квадратной матрицы определен след:
(иногда также обозначается как Sp или Spur).
Является инвариантом ортогональных (унитарных) преобразований матрицы, соответствующих преобразованию матричного представления линейного оператора или билинейной (квадратичной) формы при соотвестствующем преобразовании векторного пространства (например, вращении).