Матрицей называется прямоугольная таблица из чисел с некоторым количеством m строк и с некоторым количеством n столбцов. Числа m и n называются порядками или размерами матрицы.
Матрица порядка m × n записывается в форме:
или (i=1,2. m; j=1,2. n).
Числа aij входящие в состав данной матрицы называются ее элементами. В записи aij первый индекс i означает номер строки, а второй индекс j— номер столбца.
Матрица строка
Матрица размером 1×n, т.е. состоящая из одной строки, называется матрицей-строкой. Например:
Матрица столбец
Матрица размером m×1, т.е. состоящая из одного столбца, называется матрицей-столбцом. Например
Нулевая матрица
Квадратная матрица
Матрица A порядка m×n называется квадратной матрицей, если количество строк и столбцов совпадают: m=n. Число m=n называется порядком квадратной матрицы. Например:
Главная диагональ матрицы
Побочная диагональ матрицы
Диагональная матрица
Квадратная матрица называется диагональной, если элементы, расположенные вне главной диагонали равны нулю. Пример диагональной матрицы:
Единичная матрица
След матрицы
Сумма главных диагональных элементов матрицы A называется следом матрицы и обозначается Sp A или Tr A. Например:
Верхняя треугольная матрица
Нижняя треугольная матрица
Квадратная матрица порядка n×n называется нижней треугольной матрицей, если равны нулю все элементы матрицы, расположенные над главной диагональю, т.е. aij=0, при всех i T ).
Cтолбцы матрицы A образуют пространство столбцов матрицы и обозначаются через R(A).
Ядро или нуль пространство матрицы
Противоположная матрица
Для любой матрицы A сущеcтвует противоположная матрица -A такая, что A+(-A)=0. Очевидно, что в качестве матрицы -A следует взять матрицу (-1)A, элементы которой отличаются от элементов A знаком.
Кососимметричная (Кососимметрическая) матрица
Кососимметричной называется квадратная матрица, которая отличается от своей транспонированной матрицы множителем −1:
В кососимметричной матрице любые два элемента, расположенные симметрично относительно главной диагонали отличаются друг от друга множителем −1, а диагональные элементы равны нулю.
Пример кососимметрической матрицы:
Разность матриц
Разностью C двух матриц A и B одинакового размера определяется равенством
Для обозначения разности двух матриц используется запись:
Степень матрицы
Пусть квадратная матрица размера n×n. Тогда степень матрицы определяется следующим образом:
где E-единичная матрица.
Из сочетательного свойства умножения следует:
где p,q— произвольные целые неотрицательные числа.
Симметричная (Симметрическая) матрица
Матрица, удовлетворяющая условию A=A T называется симметричной матрицей.
Что такое матрицы, откуда они взялись, и чем они полезны?
Первые упоминания о матрицах или «волшебных квадратах», как их тогда называли, были найдены на территории еще Древнего Китая, однако бум случился намного позже, в середине XVIII века, когда знаменитый математик Габриэль Крамер опубликовал свой труд под названием «Введение в анализ алгебраических кривых», в котором описывался алгоритм решения систем линейных уравнений совершенно новым методом.
Как следствие, в дальнейшем появляются «классический» метод решения Карла Фридриха Гаусса, теорема Гамильтона-Кели, работы Карла Вейерштрасса, Георга Фробениуса и других выдающихся ученых.
Занимательно, что только после всех этих открытий, а именно в 1850 году был непосредственно введен термин матрица, автором которого стал Джеймс Джозеф Сильвестр.
Сегодня термин «матрица» применяется во множестве разных областей: от программирования до кинематографии (здесь должно быть название фильма, о котором вы все подумали).
Матрица в математике – это таблица чисел, состоящая из определенного количества строк (m) и столбцов (n).
Вы встречаетесь с ними каждый день, так как любая числовая информация, занесенная в таблицу, уже в какой-то степени считается матрицей.
Примером могут служить: ● список телефонных номеров; ● различные статистические данные; ● табель успеваемости ученика и многое другое.
Сами матрицы всегда обозначаются прописными латинскими буквами (A, B, C…), а элементы матрицы – строчными (a, b, c…). Индексы обозначают местоположение элемента матрицы в системе, причем первое число – это всегда номер строки, а второе – это всегда номер столбца. Например, а23 находится во второй строке и в третьем столбце, а31 в третьей строке и первом столбце и т.д.
Важно произносить элементы матриц правильно, так а23 будет звучать как «а два три», а не «а двадцать три».
Примеры записи матриц
Для чего нужны матрицы
Теперь выясним, для чего нам так нужны матрицы конкретно в математике?
В качестве примера рассмотрим простейшую систему двух линейных уравнений и решим ее методом сложения, который изучают в школьном курсе.
Оказывается, можно решить эту систему уравнений альтернативным способом, используя матрицы, и называется он метод Крамера.
Вы можете подумать, зачем усложнять решение какими-то матрицами?
В данном случае да, при желании можно эту систему и в уме решить. Но представьте себе систему, состоящую хотя бы из 5 линейных уравнений с пятью неизвестными. А если система состоит из 6, 7 или ещё больше уравнений? Решать её школьным методом, мягко говоря, трудоёмко. Зато применяя тот же метод Крамера, решение будет выглядеть достаточно компактно.
Система с тремя уравнениями
В подтверждение вышесказанного рассмотрим систему уравнений с тремя неизвестными и решим её метод Крамера.
Из этого следует, что матрицы – еще один способ решения систем линейных алгебраических уравнений (СЛАУ).
На основе второго примера убеждаемся в том, что матрицы могут применяться в тех случаях, когда применение школьных методов решения СЛАУ не является рациональным.
На самом деле за прошедшие столетия алгебра матриц изучена более, чем достаточно, и тот факт, что матрицы используются повсеместно однозначно подтверждает необходимость их изучения.
Матрицей размерности m×n называется таблица чисел aij, содержащая m строк и n столбцов. Числа aij называются элементами этой матрицы, где i – номер строки, j – номер столбца, на пересечении которых стоит данный элемент. Матрица, содержащая m строк и n столбцов, имеет вид:
Виды матриц: 1) при m=n – квадратная, в данном случае n называют порядком матрицы; 2) квадратная матрица, у которой все недиагональные элементы равны нулю – диагональная; 3) диагональная матрица, у которой все диагональные элементы равны единице – единичная и обозначается E; 4) при n≠m –прямоугольная; 5) при m=1 – матрица-строка (вектор-строка); 6) при n=1 – матрица-столбец (вектор-столбец); 7) при всех aij=0 – нулевая матрица.
Заметим, что основной числовой характеристикой квадратной матрицы является ее определитель. Определитель, соответствующий матрице n-го по-порядка, также имеет n-ый порядок.
Дадим ряд необходимых определений.
Определителем матрицы 2-го порядка называется число
Минором Мij элементаaij матрицы n-го порядка А называется определитель матрицы (n-1)-го порядка, полученной из матрицы А путем вычеркивания i-ой строки и j-го столбца.
1. При транспонировании матрицы ее определитель не меняется.
2. При перестановке двух строк (столбцов) матрицы ее определитель меняет знак.
3. Определитель, имеющий две пропорциональные (равные) строки (столбца), равен нулю.
4. Общий множитель элементов какой-либо строки (столбца) определителя можно вынести за знак определителя.
5. Если элементы какой-либо строки (столбца) определителя представляют собой сумму двух слагаемых, то определитель может быть разложен на сумму двух соответствующих определителей.
6. Определитель не изменится, если к элементам любой его строки (столбца) прибавить соответствующие элементы другой его строки (столбца), предварительно умноженные на любое число.
7. Определитель матрицы равен сумме произведений элементов любой его строки (столбца) на алгебраические дополнения этих элементов.
Поясним данное свойство на примере определителя 3-го порядка. В данном случае свойство 7 означает, что
Свойство 7 представляет собой теорему о разложении определителя, сформулированную Лапласом.
8. Сумма произведений элементов какой-либо строки (столбца) определителя на алгебраические дополнения соответствующих элементов другой его строки (столбца) равна нулю.
Последнее свойство часто называют псевдоразложением определителя.
Матрицы широко применяются в математике для компактной записи систем линейных алгебраических или дифференциальных уравнений. В этом случае, количество строк матрицы соответствует числу уравнений, а количество столбцов — количеству неизвестных. В результате решение систем линейных уравнений сводится к операциям над матрицами.
Для матрицы определены следующие алгебраические операции:
Относительно сложения матрицы образуют абелеву группу; если же рассматривать ещё и умножение на скаляр, то матрицы образуют модуль над соответствующим кольцом (векторное пространство над полем). Множество квадратных матриц замкнуто относительно матричного умножения, поэтому квадратные матрицы одного размера образуют ассоциативное кольцо с единицей относительно матричного сложения и матричного умножения.
Доказано, что каждому линейному оператору, действующему в 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).
Является инвариантом ортогональных (унитарных) преобразований матрицы, соответствующих преобразованию матричного представления линейного оператора или билинейной (квадратичной) формы при соотвестствующем преобразовании векторного пространства (например, вращении).