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

Размещено на http://www.allbest.ru/

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

Равенство матриц. Две матрицы A и B называются равными, если они имеют одинаковое число строк и столбцов и их соответствующие элементы равны a_ij = b_ij. Так если

и ,

то A=B, если a₁₁ = b₁₁, a₁₂ = b₁₂, a₂₁ = b₂₁ и a₂₂ = b₂₂.

Транспонирование. Рассмотрим произвольную матрицу A из m строк и n столбцов. Ей можно сопоставить такую матрицу B из n строк и m столбцов, у которой каждая строка является столбцом матрицы A с тем же номером (следовательно, каждый столбец является строкой матрицы A с тем же номером).

Итак, если , то .

Эту матрицу B называют транспонированной матрицей A, а переход от A к B транспонированием.

Таким образом, транспонирование - это перемена ролями строк и столбцов матрицы. Матрицу, транспонированную к матрице A, обычно обозначают A^T.

Связь между матрицей 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 выполняются равенства:

.

Умножение матриц. Эта операция осуществляется по своеобразному закону. Прежде всего, заметим, что размеры матриц-сомножителей должны быть согласованы. Перемножать можно только те матрицы, у которых число столбцов первой матрицы совпадает с числом строк второй матрицы (т.е. длина строки первой равна высоте столбца второй). Произведением матрицы A не матрицу B называется новая матрица C=AB, элементы которой составляются следующим образом:

.

Таким образом, например, чтобы получить у произведения (т.е. в матрице C) элемент, стоящий в 1-ой строке и 3-м столбце c₁₃, нужно в 1-ой матрице взять 1-ую строку, во 2-ой - 3-й столбец, и затем элементы строки умножить на соответствующие элементы столбца и полученные произведения сложить. И другие элементы матрицы-произведения получаются с помощью аналогичного произведения строк первой матрицы на столбцы второй матрицы.

В общем случае, если мы умножаем матрицу A = (a_ij) размера mЧn на матрицу B = (b_ij) размера nЧp, то получим матрицу C размера mЧp, элементы которой вычисляются следующим образом: элемент c_ij получается в результате произведения элементов i-ой строки матрицы A на соответствующие элементы j-го столбца матрицы B и их сложения.

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

Другим важным случаем является умножение матрицы-строки на матрицу-столбец, причём ширина первой должна быть равна высоте второй, в результате получим матрицу первого порядка (т.е. один элемент). Действительно,

.

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

Перестановкой чисел 1, 2,…, n называется любое расположение этих чисел в определенном порядке. В элементарной алгебре доказывается, что число всех перестановок, которые можно образовать из n чисел, равно 12…n = n!. Например, из трех чисел 1, 2, 3 можно образовать 3!=6 перестановок: 123, 132, 312, 321, 231, 213. Говорят, что в данной перестановке числа i и j составляют инверсию (беспорядок), если i > j, но i стоит в этой перестановке раньше j, то есть если большее число стоит левее меньшего.

Перестановка называется четной (или нечетной), если в ней соответственно четно (нечетно) общее число инверсий. Операция, посредством которой от одной перестановки переходят к другой, составленной из тех же n чисел, называется подстановкой n-ой степени.

Подстановка, переводящая одну перестановку в другую, записывается двумя строками в общих скобках, причем числа, занимающие одинаковые места в рассматриваемых перестановках, называются соответствующими и пишутся одно под другим. Например, символ обозначает подстановку, в которой 3 переходит в 4, 1>2, 2>1, 4>3. Подстановка называется четной (или нечетной), если общее число инверсий в обеих строках подстановки четно (нечетно). Всякая подстановка n-ой степени может быть записана в виде , т.е. с натуральным расположением чисел в верхней строке.

Пусть нам дана квадратная матрица порядка n

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

,

где индексы q₁, q₂,…, q_n составляют некоторую перестановку из чисел 1, 2,…, n. Число таких произведений равно числу различных перестановок из n символов, т.е. равно n!. Знак произведения (4.4) равен (- 1)^q, где q - число инверсий в перестановке вторых индексов элементов.

Определителем n - го порядка, соответствующим матрице (4.3), называется алгебраическая сумма n! членов вида (4.4). Для записи определителя употребляется символ

A = или det A=

(детерминант, или определитель, матрицы А).

Свойства определителей

1. Если квадратная матрица A^T является транспонированной матрицей A, то их определители совпадают |A^T | = |A|, т.е. определитель не меняется, если заменить его строки столбцами и обратно, например, для определителя третьего порядка

.

Доказательство проводится проверкой, т.е. сравнением обеих частей записанного равенства. Вычислим определители, стоящие слева и справа:

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

Доказательство проводится аналогично доказательству свойства 1 сравнением обеих частей. Проведём его для определителя второго порядка.

.

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

3. Если определитель имеет две одинаковые строки или столбца, то он равен нулю. Например, .

Действительно, если переставить здесь 2-ю и 3-ю строки, то по свойству 2 этот определитель должен изменить знак, но сам определитель в данном случае не меняется, т.е. получаем |A| = -|A| или |A| = 0.

4. Общий множитель строки или столбца можно выносить за знак определителя. Например,

.

Доказательство проводится проверкой, как и свойство 1.

5. Если все элементы какой-либо строки или столбца определителя равны нулю, то сам определитель равен нулю. (Доказательство - проверкой).

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

.

Доказательство - проверкой, аналогично свойству 1.

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

.

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

Эти свойства определителей довольно часто используются при вычислении определителей и в различных задачах.

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

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

Минором M_ij элемента a_ij определителя d n-го порядка называется определитель порядка n-1, который получается из d вычеркиванием строки и столбца, содержащих данный элемент.

Алгебраическим дополнением элемента a_ij определителя d называется его минор M_ij, взятый со знаком (-1)^i+j. Алгебраическое дополнение элемента a_ij будем обозначать A_ij. Таким образом, A_ij = (-1)^i+j + M_ij.

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

Ранг матрицы

Рассмотрим прямоугольную матрицу (4.1). Если в этой матрице выделить произвольно k строк и k столбцов, то элементы, стоящие на пересечении выделенных строк и столбцов, образуют квадратную матрицу k-го порядка. Определитель этой матрицы называется минором k-го порядка матрицы А. Очевидно, что матрица А обладает минорами любого порядка от 1 до наименьшего из чисел m и n. Среди всех отличных от нуля миноров матрицы А найдется по крайней мере один минор, порядок которого будет наибольшим. Наибольший из порядков миноров данной матрицы, отличных от нуля, называется рангом матрицы. Если ранг матрицы А равен r, то это означает, что в матрице А имеется отличный от нуля минор порядка r, но всякий минор порядка, большего чем r, равен нулю. Ранг матрицы А обозначается через r(A). Очевидно, что выполняется соотношение 0 ? r(A) ? min (m, n).

Ранг матрицы находится либо методом окаймления миноров, либо методом элементарных преобразований. При вычислении ранга матрицы первым способом следует переходить от миноров низших порядков к минорам более высокого порядка. Если уже найден минор D k-го порядка матрицы А, отличный от нуля, то требуют вычисления лишь миноры (k+1) - го порядка, окаймляющие минор D, т.е. содержащие его в качестве минора. Если все они равны нулю, то ранг матрицы равен k.

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

1) перестановка двух любых строк (или столбцов),

2) умножение строки (или столбца) на отличное от нуля число,

3) прибавление к одной строке (или столбцу) другой строки (или столбца), умноженной на некоторое число.

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

Эквивалентные матрицы не являются, вообще говоря, равными, но их ранги равны. Если матрицы А и В эквивалентны, то это записывается так: A ~ B.

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

.

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

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

Рассмотрим квадратную матрицу

A = .

Обозначим Д = det A.

Квадратная матрица А называется невырожденной, или неособенной, если ее определитель отличен от нуля, и вырожденной, или особенной, если Д = 0.

Квадратная матрица В называется обратной для квадратной матрицы А того же порядка, если их произведение А В = В А = Е, где Е - единичная матрица того же порядка, что и матрицы А и В.

Теорема. Для того, чтобы матрица А имела обратную, необходимо и достаточно, чтобы ее определитель был отличен от нуля.

Матрица, обратная матрице А, обозначается через А^-1, так что В = А^-1. Обратная матрица вычисляется по формуле

А^-1 = 1/Д ,

матрица транспонирование определитель ранг

где А_ij - алгебраические дополнения элементов a_ij.

Вычисление обратной матрицы по формуле (4.5) для матриц высокого порядка очень трудоемко, поэтому на практике бывает удобно находить обратную матрицу с помощью метода элементарных преобразований (ЭП). Любую неособенную матрицу А путем ЭП только столбцов (или только строк) можно привести к единичной матрице Е. Если совершенные над матрицей А ЭП в том же порядке применить к единичной матрице Е, то в результате получится обратная матрица. Удобно совершать ЭП над матрицами А и Е одновременно, записывая обе матрицы рядом через черту. Отметим еще раз, что при отыскании канонического вида матрицы с целью нахождения ее ранга можно пользоваться преобразованиями строк и столбцов. Если нужно найти обратную матрицу, в процессе преобразований следует использовать только строки или только столбцы.

Список литературы

1. http://www.mathematica.ru/

Размещено на Allbest.ru