Операции (действия) над матрицами

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

Содержание Сложение матриц Сумма матриц Пример нахождения суммы матриц Вычитание матриц Разность матриц Пример нахождения разности матриц Умножение матрицы на число (скаляр) Произведение матрицы на число Пример нахождения произведения матрицы на число (скаляр) Противоположная матрица Теорема о единственности противоположной матрицы Свойства операций сложения, вычитания и умножения матриц на число Умножение матриц Произведение матриц Пример нахождения произведения матриц Перестановочные матрицы Свойства операции умножения матриц Транспонирование матриц Пример транспонирования матрицы Элементарные преобразования над матрицами Каноническая форма матрицы

Сложение матриц

На множестве матриц одного и того же размера можно ввести внутреннюю бинарную операцию сложение матриц, при такой операции двум матрицам quicklatex-com-c2ad2387f35d11e1454b53817a28b76d_l3-1867584 и quicklatex-com-e6b67ca9131f126e20a95219c93a9034_l3-8515647 одинакового размера ставится в соответствие матрица quicklatex-com-606b82b0f5c713a03806b7d79791c340_l3-3434514 того же размера, матрицу-результат будем называть суммой матриц и обозначать quicklatex-com-c3ef9d25bdcc12c2e3f117b1b7faa922_l3-6326770

Определение 1. Суммой матриц quicklatex-com-1d2c4679d77e463e4ae59c5a24b6f271_l3-3689742 и quicklatex-com-0852ee9bbf4a3bc8142761ed8b6c7012_l3-5464840 называется матрица quicklatex-com-f43e51931aaf24f401becb7c439e6e22_l3-1811351 где каждый элемент quicklatex-com-adf77a22835af7072ac11d7800d1facd_l3-3353581 quicklatex-com-4454f49461b11d374d91c36a9d614feb_l3-4802230 quicklatex-com-71229401bbc9e5aa6133156542691e54_l3-7019418 т.е.

quicklatex-com-1ff3a31fadd64ecea0bac218a0a43a77_l3-2821173 quicklatex-com-d43ce015b1808153b26d32da268f6bbb_l3-4162597

quicklatex-com-ba8ea5342c5e22399ca444064e3f7121_l3-7836802

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

Например,

quicklatex-com-5477e9a9701461e41c5203783a41cd26_l3-9276746 quicklatex-com-4c0364817f0276509bf4358365385111_l3-8046966

quicklatex-com-7fb8fbf559b6131368b03fa2a454304b_l3-5093855 quicklatex-com-6d15186ee5a57011152620a441c06018_l3-9870877

Вычитание матриц

Аналогичным образом на множестве матриц одного и того же размера вводится внутренняя бинарная операция вычитание матриц, при такой операции двум матрицам quicklatex-com-c2ad2387f35d11e1454b53817a28b76d_l3-1867584 и quicklatex-com-e6b67ca9131f126e20a95219c93a9034_l3-8515647 одинакового размера ставится в соответствие матрица quicklatex-com-606b82b0f5c713a03806b7d79791c340_l3-3434514 того же размера, матрицу-результат будем называть разностью матриц quicklatex-com-c2ad2387f35d11e1454b53817a28b76d_l3-1867584 и quicklatex-com-e6b67ca9131f126e20a95219c93a9034_l3-8515647 и для обозначения использовать запись quicklatex-com-3de5d1bf1d5a75d0ea32d199a16d2bb1_l3-7012484

Определение 2. Разностью матриц quicklatex-com-1d2c4679d77e463e4ae59c5a24b6f271_l3-3689742 и quicklatex-com-0852ee9bbf4a3bc8142761ed8b6c7012_l3-5464840 называется матрица quicklatex-com-f43e51931aaf24f401becb7c439e6e22_l3-1811351 где quicklatex-com-51d239d2f5939fae44d1fa13d7081456_l3-2262657 quicklatex-com-4454f49461b11d374d91c36a9d614feb_l3-4802230 quicklatex-com-71229401bbc9e5aa6133156542691e54_l3-7019418 т.е.

quicklatex-com-4dfb1dd79325e57ac4f7d06aa84837b2_l3-7030947 quicklatex-com-d43ce015b1808153b26d32da268f6bbb_l3-4162597

quicklatex-com-c75954fe90b65c6699e6d19a8de0749b_l3-1950484

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

Например,

quicklatex-com-1fee4bb37371ca7e2e2585f9e94c1310_l3-3392373 quicklatex-com-8752b1eecb884b0168928b9023debe92_l3-6395683

quicklatex-com-5e8d2f1d4f5bdcd8c3382b5353f94b51_l3-2315045 quicklatex-com-9921ba50be98a522e58e3861c1ee0354_l3-1494648

Умножение матрицы на число (скаляр)

На множестве матриц введем внешнюю бинарную операцию умножение матрицы на число, при такой операции матрице quicklatex-com-c2ad2387f35d11e1454b53817a28b76d_l3-1867584 и числу ставится в соответствие матрица quicklatex-com-e6b67ca9131f126e20a95219c93a9034_l3-8515647 того же размера, что и матрица quicklatex-com-160caa9a5f0a11d7fdc984dd8507db8c_l3-1879715 Матрицу-результат будем называть произведением матрицы quicklatex-com-c2ad2387f35d11e1454b53817a28b76d_l3-1867584 на число и обозначать quicklatex-com-c78d1ff1624f6e699254c4fca1730106_l3-5021627

Определение 3. Произведением матрицы quicklatex-com-1d2c4679d77e463e4ae59c5a24b6f271_l3-3689742 на число называется матрица quicklatex-com-e3ce04b66ad60d004fde143d6b95a657_l3-4059936 где quicklatex-com-3cfdae14ee157ca4c1659065c6081ef0_l3-7604063 quicklatex-com-4454f49461b11d374d91c36a9d614feb_l3-4802230 quicklatex-com-71229401bbc9e5aa6133156542691e54_l3-7019418 т.е.

quicklatex-com-4e1b0cb654d59a0e2852c6abd26872cf_l3-9975972 quicklatex-com-b895c079a73b15c3e468ecddd4cee3f6_l3-3413858

Таким образом, для нахождения произведения матрицы quicklatex-com-c2ad2387f35d11e1454b53817a28b76d_l3-1867584 на число надо каждый элемент матрицы quicklatex-com-c2ad2387f35d11e1454b53817a28b76d_l3-1867584 умножить на число

Например,

quicklatex-com-4589bef1a24cb1fffb324b0541f8ddbf_l3-9635400 quicklatex-com-275ff9551a598a683fdeffb0744e4613_l3-7793484 quicklatex-com-cda596711b4a06e253ac7f7799c17e5f_l3-5449662

Противоположная матрица

Определение 4. Противоположной матрицей к матрице quicklatex-com-590f0763b681f86761207d2ec25d3be8_l3-9593263 называется матрица, обозначаемая quicklatex-com-0d3b8330b152bab5f8bf3b35c6a183e3_l3-5130714 такая, что quicklatex-com-113427324f47b06f26ab936ea8cf1314_l3-3220427 где quicklatex-com-b41578e9170486d61538e104cea35811_l3-8017137 — нулевая матрица того же размера, что и матрица quicklatex-com-160caa9a5f0a11d7fdc984dd8507db8c_l3-1879715

Теорема 1. Каждая матрица quicklatex-com-c2ad2387f35d11e1454b53817a28b76d_l3-1867584 имеет единственную противоположную матрицу, причем quicklatex-com-59b9b210cdcc1a47a041bf52181c432c_l3-2690091

Доказательство. Пусть quicklatex-com-dba2d35a94170f2114b2485138bb1fc6_l3-5378187 произвольная матрица. Тогда из задания операций сложения матриц и умножения матрицы на число, следует, что для матрицы quicklatex-com-c2ad2387f35d11e1454b53817a28b76d_l3-1867584 существует противоположная матрица quicklatex-com-30b01ce37e3ad90aff18164044a238e0_l3-4824063

quicklatex-com-bf8636d7d6e1e8f3f6adf1f7302a8e0e_l3-2093533 quicklatex-com-05b9102790a9d385a578f2bd1156b7d0_l3-8677985 quicklatex-com-75ff42bd312c33dddb43d145f7512e58_l3-2188048

quicklatex-com-65012c2421a908ca9978b78065ef6082_l3-7590969 quicklatex-com-281f4eed13ae3a275a6bf82e077ce11c_l3-9555785 quicklatex-com-6653d6b0804517fe98f78af39ef9cacf_l3-7355643

Докажем единственность противоположной матрицы. Предположим, что матрица quicklatex-com-c2ad2387f35d11e1454b53817a28b76d_l3-1867584 имеет противоположную матрицу quicklatex-com-362ffad50008f9b5b5610930ec2f43bd_l3-9596226 отличную от матрицы quicklatex-com-f256a8cad5b6db9ec069be5508ad2d56_l3-8331590 Тогда

quicklatex-com-2f7cc2a47c5d77be8ac8dba6a27500bc_l3-5425073 quicklatex-com-a25ade4f15c0270f6777a29af328af9c_l3-2409399 quicklatex-com-30475440edcdac7c22a1c88a64b022ca_l3-3821306

quicklatex-com-43f226bedf286841b1f0b2132ff100de_l3-7656712 quicklatex-com-4454f49461b11d374d91c36a9d614feb_l3-4802230 quicklatex-com-55c747d899678d9ebe8335b2ec58b4bc_l3-2563014

quicklatex-com-e7f7d23b90686ad015fef0a153992d46_l3-5504480 quicklatex-com-4454f49461b11d374d91c36a9d614feb_l3-4802230 quicklatex-com-8d7f1774ecb66b9ce57340428731d5bd_l3-9372914

Мы получили, что каждый элемент quicklatex-com-838f5de69582d077f11d32a39043a792_l3-8670217 матрицы quicklatex-com-e6b67ca9131f126e20a95219c93a9034_l3-8515647 равен соответствующему элементу матрицы quicklatex-com-a25c7457a68ae40fa2b45afc8ca9b418_l3-9118825 а значит, матрицы quicklatex-com-e6b67ca9131f126e20a95219c93a9034_l3-8515647 и quicklatex-com-cb0db59206221cb557cd474ba3957994_l3-1457329 равны. Полученное противоречие (по предположению матрицы quicklatex-com-e6b67ca9131f126e20a95219c93a9034_l3-8515647 и quicklatex-com-cb0db59206221cb557cd474ba3957994_l3-1457329 не равны) доказывает то, что у матрицы quicklatex-com-c2ad2387f35d11e1454b53817a28b76d_l3-1867584 не существует противоположной матрицы отличной от quicklatex-com-f256a8cad5b6db9ec069be5508ad2d56_l3-8331590 quicklatex-com-50ecfa7bc4176a534074e3e65758a8a1_l3-9724343

Разность матриц quicklatex-com-c2ad2387f35d11e1454b53817a28b76d_l3-1867584 и quicklatex-com-e6b67ca9131f126e20a95219c93a9034_l3-8515647 можно определить через сумму матрицы quicklatex-com-c2ad2387f35d11e1454b53817a28b76d_l3-1867584 и противоположной матрицы quicklatex-com-7444a677766c6f10fdb285ac7d62fb3f_l3-6565455 quicklatex-com-1c18423ca895befa89098a5e81f59ae2_l3-4647821

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

Пусть quicklatex-com-595cf082499ab020a4567b0a41524918_l3-1510448 и quicklatex-com-606b82b0f5c713a03806b7d79791c340_l3-3434514 произвольные матрицы размера quicklatex-com-a68089326eec2e261125aafb803e2b26_l3-2477108 а и quicklatex-com-44f693dec9dc0c62aa2fed122fbc860c_l3-6315397 любые действительные числа, тогда справедливы следующие утверждения.

  1. quicklatex-com-9ed43fea36ae4b19a433f064d6f23536_l3-3764229
  2. quicklatex-com-b3defdb9dfe2efd36d17209a7207fc68_l3-9042173
  3. quicklatex-com-cd6f9c3cbb1975096e6328e6bd50c2a1_l3-4729099
  4. quicklatex-com-54920708dc319530892847aeb6b81505_l3-3070020
  5. quicklatex-com-84dc86c4181f07479c53af0b5b4720c9_l3-1158262
  6. quicklatex-com-6e29c3a84201d56711af4c6f4a30dcad_l3-3986274
  7. quicklatex-com-1fe21897101b651bb354435ee726a782_l3-5239685
  8. quicklatex-com-b29da12e417743bd1f5ecb89f468c150_l3-8643670

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

На множестве матриц вводится операция (действие) умножение матриц. При умножении матрицы quicklatex-com-c2ad2387f35d11e1454b53817a28b76d_l3-1867584 размера quicklatex-com-4ad85c3a799a006f5b5294707a0c7325_l3-2882741 и матрицы quicklatex-com-e6b67ca9131f126e20a95219c93a9034_l3-8515647 размера quicklatex-com-5f8b52a04469944c4ddbcb2f163ec894_l3-9664240 им ставится в соответствие матрица quicklatex-com-a870e5458c4ee2e4bd5e25481013a7cc_l3-7519369 размера quicklatex-com-a68089326eec2e261125aafb803e2b26_l3-2477108 называемая произведением матрицы quicklatex-com-c2ad2387f35d11e1454b53817a28b76d_l3-1867584 на матрицу quicklatex-com-6bfb2fecbcb5b7020ca85b54f295d4c7_l3-2250163 Для обозначения матрицы произведения используется запись quicklatex-com-4e99860f7d3e1f67f94a87b63d37b779_l3-5495342 или quicklatex-com-bc5d7d41a2dddeb7e92d09a46157f8fc_l3-1100025

Определение 5. Произведением матрицы quicklatex-com-e41c4825a9c4222b4286d4e5323e7d3f_l3-1724983 на матрицу quicklatex-com-fe14f80d819b586f6ac8b7406fe5f5eb_l3-8104406 называется матрица quicklatex-com-5e8bf84260d390c30f5735803b260054_l3-9076377 где

quicklatex-com-27069001594403d2850d12167dc34934_l3-6164748 quicklatex-com-4c364de158eecd4ece1e0421a6d58b59_l3-5732456 quicklatex-com-2aa21fca0ca7afa2c3f09ab3c1048c2b_l3-8959138

Таким образом, для того чтобы найти матрицу-произведение надо вычислить все ее элементы. При этом, для элемента quicklatex-com-72d8e4fb373c84da27d2a088ce196c59_l3-7121747 находящегося в -ой строке и -ом столбце матрицы-произведения (матрицы quicklatex-com-606b82b0f5c713a03806b7d79791c340_l3-3434514), надо взять элементы -ой строки первой матрицы (матрицы quicklatex-com-c2ad2387f35d11e1454b53817a28b76d_l3-1867584) и умножить их на соответствующие элементы -го столбца второй матрицы (матрицы quicklatex-com-e6b67ca9131f126e20a95219c93a9034_l3-8515647), полученные произведения следует сложить (рис. 1). Произведение quicklatex-com-4e99860f7d3e1f67f94a87b63d37b779_l3-5495342 можно найти лишь в том случае, когда количество столбцов матрицы quicklatex-com-c2ad2387f35d11e1454b53817a28b76d_l3-1867584 совпадает с количеством строк матрицы quicklatex-com-6bfb2fecbcb5b7020ca85b54f295d4c7_l3-2250163 У матрицы-произведения quicklatex-com-4e99860f7d3e1f67f94a87b63d37b779_l3-5495342 количество строк совпадает с количеством строк первой матрицы (матрицы quicklatex-com-c2ad2387f35d11e1454b53817a28b76d_l3-1867584), а количество столбцов совпадает с количеством столбцов второй матрицы (матрицы quicklatex-com-e6b67ca9131f126e20a95219c93a9034_l3-8515647).

d183d0bcd0bdd0bed0b6d0b5d0bdd0b8d0b5-d0bcd0b0d182d180d0b8d1861000-4409291

Рис. 1

Заметим, что произведение quicklatex-com-4e99860f7d3e1f67f94a87b63d37b779_l3-5495342 в общем случае не совпадает с произведением quicklatex-com-93d855b5fcf76647f015d45753ed5909_l3-5587160 более того, иногда одно из этих произведений может и не существовать.

Например, для матриц

quicklatex-com-0bc9f5900224ee891cfa68d0cc818b12_l3-4629948

произведение

quicklatex-com-dfe3f7cc1796c5f49ef6228b5c7efce7_l3-7863465

quicklatex-com-cefdcd71ddd91c9f2aa4b6947329e401_l3-8233391

В этом примере произведение quicklatex-com-75728799a94a74d603bcfdf29f064b03_l3-7121564 не определено, так как у матрицы quicklatex-com-e6b67ca9131f126e20a95219c93a9034_l3-8515647 число столбцов — 3, а у матрицы quicklatex-com-c2ad2387f35d11e1454b53817a28b76d_l3-1867584 две строки.

Определение 6. Если quicklatex-com-715f110536a49cfdc8d61767a110a0b9_l3-8384409 то матрицы quicklatex-com-c2ad2387f35d11e1454b53817a28b76d_l3-1867584 и quicklatex-com-e6b67ca9131f126e20a95219c93a9034_l3-8515647 называются перестановочными матрицами.

Свойства операции умножения матриц

  1. quicklatex-com-8a8ae102859de622e24a2a16234dc202_l3-1756031
  2. quicklatex-com-cb56fec86a23461b2faa7d118a721437_l3-7272774
  3. quicklatex-com-287fa2b3368c5a721219e9e4423764cf_l3-2615582
  4. quicklatex-com-87c006173a46c3333fd108e5e47814bd_l3-7045136

Транспонирование матриц

Каждой матрице quicklatex-com-c2ad2387f35d11e1454b53817a28b76d_l3-1867584 размера можно поставить в соответствие транспонированную матрицу quicklatex-com-16de1bb933a2f9ceac715bfe04c0df68_l3-2527014 размера quicklatex-com-b8cdee5083be0830a55e168f9cbc70d9_l3-2210254 у которой каждая строка с номером quicklatex-com-992838b581ad59855914cf4b6290a14a_l3-8435395 будет состоять из элементов (в порядке их следования) столбца с номером матрицы quicklatex-com-160caa9a5f0a11d7fdc984dd8507db8c_l3-1879715 Такая операция называется транспонированием матрицы.

Например,

quicklatex-com-ab57c7730f392e3d4864c9c3c5f46299_l3-1301796

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

Выделим преобразования матрицы, которые принято называть элементарными:

  1. Перестановка местами строк (столбцов) матрицы;
  2. Умножение или деление на ненулевое число всех элементов строки (столбца) матрицы;
  3. Прибавление ко всем элементам строки (столбца) соответствующих элементов другой строки (столбца) умноженных на один и тот же скаляр (число).

Определение 7. Если матрица quicklatex-com-e6b67ca9131f126e20a95219c93a9034_l3-8515647 получается из матрицы quicklatex-com-c2ad2387f35d11e1454b53817a28b76d_l3-1867584 с помощью элементарных преобразований, то матрицы quicklatex-com-c2ad2387f35d11e1454b53817a28b76d_l3-1867584 и quicklatex-com-e6b67ca9131f126e20a95219c93a9034_l3-8515647 называются эквивалентными матрицами.

Если матрицы quicklatex-com-c2ad2387f35d11e1454b53817a28b76d_l3-1867584 и quicklatex-com-e6b67ca9131f126e20a95219c93a9034_l3-8515647 эквивалентны, то это будем записывать следующим образом: quicklatex-com-e5ce772f3e49bf8822610d915309978c_l3-9707977

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

Оцените автора
Высшая Математика