Ма́триця — математичний об'єкт, записаний у вигляді прямокутної таблиці чисел (чи елементів кільця), він допускає операції (додавання, віднімання, множення та множення на скаляр). Зазвичай, матриці представляються двовимірними (прямокутними) таблицями. Іноді розглядають багатовимірні матриці або матриці непрямокутної форми. У цій статті вони розглядатися не будуть.
Матриця | |
Досліджується в | лінійна алгебра і теорія матриць |
---|---|
Підтримується Вікіпроєктом | |
Матриця у Вікісховищі |
Вивченням матриць займається теорія матриць.
Матриці є корисними для запису даних, що залежать від двох категорій, наприклад: для коефіцієнтів систем лінійних рівнянь та лінійних перетворень.
Означення та нотація
Матрицею розміру (m-на-n,або mn-матрицею) називається множина з елементів , розміщених у вигляді прямокутної таблиці з рядків і стовпців, а і — її розмірністю:
де – елемент матриці; – номер рядка; – номер стовпця.
- при альтернативному позначенні використовуються великі круглі дужки:
- Горизонтальні лінії в матриці звуть рядками, вертикальні — стовпчиками або стовпцями.
- Елемент матриці A, що знаходиться на перетині i-го рядка з j-им стовпчиком, називають i,j-им елементом або (i,j)-им елементом A.
Записують це як чи a[i,j], або, в нотації мови програмування C, A[i][j]
.
Часто пишуть для означення матриці A розмірності n x m, де кожен елемент матриці A[i,j] позначають як aij для всіх 1 ≤ i ≤ n та 1 ≤ j ≤ m.
Приклад
Матриця є матрицею 4×3. Елемент A[2,3], або дорівнює 7.
Розмір
Розмір матриці визначає кількість рядків і стовпців, які вона містить. Матрицю із m рядками і n стовпцями називають матрицею m × n або m-на-n матрицею, а самі m і n називають розмірами матриці.
Матриці, які мають лише один рядок називаються векторами-рядками, а ті що мають один стовпець називаються векторами-стовпцями. Матриця з однаковою кількістю рядків і стовпців називається квадратною матрицею. Матриця з нескінченною кількістю рядків або стовпців (або їх обох) називається нескінченною матрицею. Наприклад, в комп'ютерних програмах, іноді зручно розглядати таку матрицю, що не містить рядків чи стовпців, що називається порожньою матрицею.
Назва | Розмір | Приклад | Визначення |
---|---|---|---|
Вектор-рядок | 1 × n | Матриця з одним рядком, іноді використовується для представлення вектора | |
Вектор-стовпець | n × 1 | Матриця з одним стовпцем, іноді використовується для представлення вектора | |
Квадратна матриця | n × n | Матриця з однаковою кількістю рядків і стовпців, іноді використовується для представлення лінійних перетворень у векторному просторі, такі як обертання, відбиття і скіс. |
Дії над матрицями
Операція порівняння
Дві матриці та називаються рівними , якщо рівні їх відповідні елементи, тобто .
Додавання
Якщо дано дві матриці m-на-n A і B, можемо визначити їх суму A + B як матрицю m-на-n, що утворюється додаванням відповідних елементів, тобто,
(A + B)[i, j] = A[i, j] + B[i, j]. Наприклад,
- Основні властивості операцій додавання матриць:
- A + B = B + A (комутативність).
- A + (B + C) = (A + B) + C (асоціативність).
- A + 0 = A, для будь-якої матриці. Також, для будь-якої матриці A існує протилежна матриця (-A), така, що A + (-A) = 0.
Множення на скаляр
Якщо дано матрицю A і число c, можемо означити множення на скаляр cA як (cA)[i, j] = cA[i, j]. Наприклад,
З цими двома операціями множина M(m, n, R) усіх матриць m-на-n з дійсними елементами є дійсним векторним простором розмірності mn.
Множення матриць
Множення двох матриць має сенс лише тоді, коли число стовпчиків першої матриці дорівнює числу рядків другої матриці. Якщо A — матриця m-на-n (m рядків, n стовпчиків), а B — матриця n-на-p (n рядків, p стовпчиків), їх добуток AB є матрицею m-на-p (m рядків, p стовпчиків), що розраховується за формулою:
- (AB)[i, j] = A[i, 1] * B[1, j] + A[i, 2] * B[2, j] + ... + A[i, n] * B[n, j] для кожної пари i та j, тобто .
Наприклад,
Це множення має такі властивості:
- (AB)C = A(BC) для всіх матриць A розмірності k-на-m, B розмірності m-на-n і C розмірності n-на-p (асоціативність).
- (A + B)C = AC + BC для всіх матриць A і B розмірності m-на-n і матриць C розмірності n-на-k (дистрибутивність).
- C(A + B) = CA + CB для всіх матриць A і B розмірності m-на-n і матриць C розмірності k-на-m (дистрибутивність).
Зауваження: комутативність має місце не завжди: для добутку певних матриць A і B може бути AB ≠ BA.
Матриці називають антикомутативними, якщо AB = −BA. Такі матриці є дуже важливими в [en]алгебр Лі та в представленнях алгебр Кліффорда.
Транспонування
Транспонування матриці A розміром m-на-n утворює матрицю n-на-m AT (що також позначається як Atr або tA), яка є результатом перевертання рядків у стовпці й навпаки:
- (AT)i,j = Aj,i.
Приклад:
Розбиття
Матрицю можна розбити на блоки (підматриці) з елементів і присвоїти різним блокам імена. При цьому, коли один блок знаходиться під іншим, то ці блоки повинні мати однакове число стовпців. Коли ж два блоки розташовуються поруч, то вони повинні мати однакове число рядків. Дві блокові матриці, розбиті однаково (тобто відповідні блоки мають однакову розмірність).
Для транспонування блокових матриць необхідно транспонувати кожний блок окремо, а потім транспонувати розташування блоків:
.
Лінійні перетворення, ранг і транспонування
- Матриці можуть представляти лінійні перетворення, оскільки множення матриць відповідає композиції відображень, як це буде показано далі.
Надалі ототожнюватимемо елементи Rn з множиною рядків або матриць n-на-1. Для кожного лінійного відображення f : Rn-> Rm існує єдина матриця A розмірності m-на-n така, що f(x) = Ax для всіх x з Rn. Кажемо, що матриця A «представляє» лінійне відображення f. Тепер, якщо матриця B розмірності k-на-m представляє інше лінійне відображення g : Rm-> Rk, лінійне відображення g o f представлене матрицею BA. Це випливає з зазначеної вище властивості асоціативності множення матриць.
- Ранг матриці A — це розмірність образа лінійного відображення, представленого матрицею A. Вона збігається з розмірністю простору, згенерованого рядками матриці A, а також із розміром простору, згенерованого стовпчиками матриці A.
- Транспонованою матрицею матриці A розмірності m-на-n є матриця Atr (також іноді позначають як AT або tA) розмірності n-на-m, яку одержують заміною рядків стовпчиками і навпаки, себто Atr[i, j] = A[j, i] для всіх індексів i та j. Якщо A описує лінійне відображення відносно двох базисів, матриця A tr описує транспозицію лінійного відображення відносно дуальних базисів, див. дуальний простір.
Маємо (A + B)tr = Atr + Btr і (AB)tr = Btr * Atr.
Спеціальні види матриць
У багатьох розділах математики з'являються матриці певної структури. Декілька важливих прикладів:
- Квадратна матриця
- Одинична матриця
- Симетрична матриця — матриця, симетричні елементи яких відносно головної діагоналі (від верхнього лівого до нижнього правого кута) є рівними, себто,
- ai,j = aj,i.
- Нормальна матриця
- Ідеальна матриця
- Унітарна матриця
- Ермітова матриця (або самоспряжена) — матриця, симетричні елементи яких відносно головної діагоналі є комплексно-спряженими один до одного, себто,
- ai,j=a*j,i.
- Стохастичні матриці — квадратні матриці, стовпчики яких є [en]; вони застосовуються для означення Марківських ланцюгів.
Лінійні рівняння
Матриці використовують для компактного представлення систем лінійних рівнянь і роботи з ними. Наприклад, якщо A є матрицею m-на-n, x позначає вектор стовпець (що є матрицею n×1) n змінних x1, x2, ..., xn, і b є вектором-стовпцем m×1, тоді матричне рівняння
є еквівалентним наступній системі лінійних рівнянь:
Із використанням матриць, це можна розв'язати у більш компактній формі ніж виписувати всі ці рівняння окремо. Якщо n = m а рівняння є незалежними, це можливо зробити записавши
де A−1 є оберненою матрицею для A. Якщо A не має оберненої матриці, розв'язок, якщо такий існує можна знайти за допомогою псевдооберненої матриці.
Лінійні перетворення
Матриці й операція множення матриць розкривають свої важливі властивості при застосуванні для лінійних перетворень, що також називають лінійними відображеннями. Дійсна m-на-n матриця A задає лінійне перетворення Rn → Rm і відображає кожен вектор x у Rn у матричний добуток Ax, що в свою чергу є вектором у Rm. Відповідно, кожне лінійне перетворення f: Rn → Rm може здаватися унікальною m-на-n матрицею A: більш детально, (i, j)-входження із A є iю координатою f(ej), де ej = (0,...,0,1,0,...,0) є одиничним вектором зі значенням 1 у jій позиції і 0 в інших позиціях. Говорять, що матриця A задає лінійне відображення f, і A називається матрицею перетворення для f.
Наприклад, матрицю 2×2
можна розглядати як перетворення одиничного квадрату у паралелограм із вершинами у (0, 0), (a, b), (a + c, b + d), і (c, d). Паралелограм зображений праворуч отримано за допомогою множення A на кожний вектор-стовпець і по черзі. Ці вектори задають вершини одиничного квадрату.
Наступна таблиця показує декілька 2-на-2 матриць із відповідними лінійними відображеннями у R2. Початкова синя фігура відображається у зелену сітку і фігуру. Початок координат (0,0) відмічено чорною точкою.
Горизонтальний скіс при m=1.25. | Відбиття відносно вертикальної осі | Відображення стиснення при r=3/2 | Масштабування на коефіцієнт 3/2 | Поворот на кут π/6R = 30° |
Квадратна матриця
Квадратною матрицею називають матрицю з однаковою кількістю рядків і стовпців. Матриця n-на-n є квадратною матрицею порядку n. Будь-які дві квадратні матриці однакового порядку можна додавати й множити. Входження aii утворюють головну діагональ квадратної матриці. Вони знаходяться на уявній лінії, яка проходить від верхнього лівого кута до нижнього правого кута матриці.
Основні типи
Назва Приклад для n = 3 Діагональна матриця Нижньотрикутна матриця Верхньотрикутна матриця
Діагональна і трикутна матриця
Якщо всі елементи матриці A нижче головної діагоналі дорівнюють нулю, A називають верхньотрикутною матрицею. Аналогічно, якщо всі елементи A вище головної діагоналі дорівнюють нулю, A називають нижньотрикутною матрицею. У випадку, коли всі елементи матриці крім головної діагоналі є нулями, A називають діагональною матрицею.
Одинична матриця
Одинична матриця In розміром n є матрицею n-на-n в якій всі елементи головної діагоналі дорівнюють 1 а всі інші елементи дорівнюють 0, наприклад,
Це квадратна матриця порядку n, і також це є особливим випадком діагональної матриці. Вона називається діагональною матрицею, оскільки множення на неї залишає матрицю незмінною:
- AIn = ImA = A для будь-якої m-на-n матриці A.
Симетричні або кососиметричні матриці
Квадратна матриця A що дорівнює своїй транспонованій матриці, тобто, A = AT, є симетричною матрицею. Якщо замість того, A дорівнює негативній транспонованій матриці, тобто, A = −AT, то A є кососиметричною матрицею. У випадку комплексних матриць, поняття симетрії часто заміняється поняттям Ермітової матриці, що задовольняє умові A∗ = A, де зірочка позначає ермітове-спряження матриці, що є транспонованою комплексною спряженою матриці A.
Відповідно до спектральної теореми, дійсні симетричні матриці і комплексні Ермітові матриці мають власний базис; такий що, кожен вектор можна задати у вигляді лінійної комбінації власних векторів. В обох випадках всі власні значення є дійсними.
Невироджена матриця і її обернена
Квадратна матриця A називається невиродженою або не-сингулярною якщо існує матриця B, така що
- AB = BA = In ,
де Inn×n є одиничною матрицею із 1-ями на головній діагоналі і 0-ми в інших місцях. Якщо B існує, вона є єдиною і називається оберненою матрицею для A, і позначається як A−1.
Додатноозначена матриця
Додатноозначена матриця | Невизначена матриця |
---|---|
Q(x,y) = 1/4 x2 + y2 | Q(x,y) = 1/4 x2 − 1/4 y2 |
Точки при яких Q(x,y)=1 (Еліпс). | Точки при яких Q(x,y)=1 (Гіпербола). |
Симетрична n×n-матриця A називається додатноозначеною якщо для всіх не нульових векторів x ∈ Rn відповідна квадратична форма, що задається як
- f(x) = xTA x
утворює в результаті лише додатні значення для будь-якого вхідного вектору x. Якщо f(x) приводить до утворення лише від'ємних значень тоді A є від'є́мно ви́значеною; якщо f утворює як додатні, так і від'ємні значення, тоді A є невизначеною. Якщо квадратична форма f породжує лише не-від'ємні значення (додатні або нуль), симетрична матриця називається додатно напіввизначеною. Таблиця праворуч показує два варіанти для матриць 2-на-2.
Якщо в якості входів задати два різні вектори буде отримана білінійна форма, що пов'язана з A:
- BA (x, y) = xTAy.
Ортогональна матриця
Ортогональна матриця це квадратна матриця із дійсними елементами, чиї стовпці і рядки є ортогональними одиничними векторами (тобто, ортонормованими векторами). Це рівносильно тому, що матриця A є ортогональною якщо її транспонована матриця дорівнює її оберненій матриці:
що тягне за собою
де I є одиничною матрицею розміром n.
Основні операції
Слід матриці
Слід, tr(A) квадратної матриці A є сумою елементів її діагоналі. Хоча операція множення не є комутативною, слід добутку двох матриць не залежить від порядку операцій:
- tr(AB) = tr(BA).
Це випливає прямо з визначення операції множення матриць:
Також, слід матриці буде дорівнювати сліду її транспонованої матриці, тобто,
- tr(A) = tr(AT).
Визначник
Визначник (визначник) det(A) або |A| квадратної матриці A, що визначає деякі властивості матриці. Матриця є невиродженою, тоді й тільки тоді, коли її детермінант не є нульовим. Його абсолютне значення дорівнює площі (у R2) або об'єму (у R3) відображення одиничного квадрата (або куба), а його знак відповідає орієнтації відповідного лінійного відображення: визначник є додатним тоді, й тільки тоді, коли орієнтація зберігається.
Визначник матриці 2×2 дорівнює:
Детермінант матриці 3×3 матиме 6 термів (Правило Саррюса). Більш складна Формула Лейбніца узагальнює ці дві формули до всіх вимірів.
Визначник добутку квадратних матриць дорівнює добутку їх визначників:
- det(AB) = det(A) · det(B).
Додавання до рядка іншого рядка помноженого на деяке значення, або додавання стовпця до іншого стовпця, не змінює детермінанта матриці. Заміна місцями двох рядків або стовпців приводить до зміни знаку визначника, тобто множення його на −1. Використовуючи ці операції, можна звести будь-яку матрицю до нижньої (або верхньої) трикутної матриці, а для таких матриць визначник буде дорівнювати добутку елементів головної діагоналі; що є методом розрахунку визначника будь-якої матриці. З рештою, розклад Лапласа дозволяє виразити визначник через мінори, тобто, детермінанти менших матриць. Це розкладання можна використовувати для рекурсивного визначення визначника, що можна розглядати як рівнозначний до формули Лейбніца. Визначник використовується для розв'язання систем лінійних рівнянь за допомогою методу Крамера.
Матриці в абстрактній алгебрі
Якщо взяти кільце R, можемо розглядати множину M(m,n, R) усіх матриць m на n з елементами з R. Додавання та множення цих матриць може бути означене, як у випадку дійсних чи комплексних матриць. Множина M(n, R) усіх квадратних матриць n на n над кільцем R сама є кільцем, ізоморфним до кільця ендоморфізмів правого R-модуля Rn.
Також, якщо елементи беруться з напівкільця S, додавання та множення матриць можна означити звичайним чином. Множина всіх квадратних матриць n×n над S сама є напівкільцем. Зважте на те, що алгоритми множення матриць, такі як алгоритм Штрассена, взагалі застосовні лише до матриць над кільцями і не працюють для матриць над напівкільцями, що не є кільцями.
Якщо R є комутативним кільцем, тоді M(n, R) є унітарною асоціативною алгеброю над R. Також має сенс означити детермінант квадратних матриць, застосовуючи формулу Лейбніца. Матриця має обернену тоді й лише тоді, коли її визначник як елемент R має обернений елемент в R.
Усі твердження цієї статті для дійсних та комплексних матриць справджуються і для матриць над довільним полем.
Матриці над кільцем поліномів є важливими у вивченні теорії керування.
Історія
Вивчати матриці почали досить давно. Латинські квадрати та магічні квадрати були відомі ще в доісторичні часи.
Китайський текст «Математика в дев'яти книгах» (написаний ще до нашої ери) містить приклади використання матриць для розв'язання системи рівнянь, включно з поняттям визначника, ще задовго до введення визначників японським математиком Такакадзу Секі (1683) та німецьким математиком Лейбніцем (1693). Крамер розвинув цю теорію, увівши правило Крамера 1750 р. Карл Фрідріх Ґаус та Вільгельм Йордан розробили метод Ґауса — Йордана, який полягає в знаходженні оберненої матриці (1800).
Термін «матриця» уперше було запроваджено 1848 р. Дж. Дж. Сильвестром. Кейлі, Гамільтон, Ґрассман, Фробеніус, фон Нойман. Інші видатні математики також зробили свій внесок у теорію матриць.
Див. також
Навчальні матеріали
- Вступ до лінійної алгебри: матриці та дії з ними. Лекція 1 на YouTube, М. Іоргов (Інститут теоретичної фізики НАН України) (укр.)
- Вступ до лінійної алгебри: матриці та дії з ними. Лекція 2 на YouTube, М. Іоргов (Інститут теоретичної фізики НАН України) (укр.)
Джерела
- Гантмахер Ф. Р. Теория матриц. — 5-е. — М: : Физматлит, 2010. — 559 с. — .(рос.)
- Теория матриц. — Москва : Наука, 1973. — 280 с.(рос.)
- , . Матричный анализ. — М: : Мир, 1989. — 653 с.(рос.)
- Матриці, дії над матрицями // Вища математика в прикладах і задачах / Клепко В.Ю., Голець В.Л.. — 2-ге видання. — К. : Центр учбової літератури, 2009. — С. 5-7. — 594 с.
- Голуб Дж., ван Лоун Ч. Матричные вычисления. — М. : Мир, 1999. — 548 с.
- Узагальнена еквівалентність матриць і їх наборів та факторизація матриць над кільцями : монографія / В. М. Петричкович ; НАН України, Ін-т приклад. проблем механіки і математики ім. Я. С. Підстригача. – Львів : ІППММ, 2015. – 312 с. – Бібліогр.: с. 285-311 (245 назв). – ISBN 978-96-02-7619-2
Примітки
- Brown 1991, I.2.21 and 22
- Horn & Johnson 1985, Theorem 2.5.6
- Brown 1991, Definition I.2.28
- Brown 1991, Definition I.5.13
- Horn & Johnson 1985, Chapter 7
- Horn & Johnson 1985, Example 4.0.6, p. 169
- Brown 1991, Definition III.2.1
- Brown 1991, Theorem III.2.12
- Brown 1991, Corollary III.2.16
- Mirsky 1990, Theorem 1.4.1
- Brown 1991, Theorem III.3.18
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Ma tricya matematichnij ob yekt zapisanij u viglyadi pryamokutnoyi tablici chisel chi elementiv kilcya vin dopuskaye operaciyi dodavannya vidnimannya mnozhennya ta mnozhennya na skalyar Zazvichaj matrici predstavlyayutsya dvovimirnimi pryamokutnimi tablicyami Inodi rozglyadayut bagatovimirni matrici abo matrici nepryamokutnoyi formi U cij statti voni rozglyadatisya ne budut MatricyaDoslidzhuyetsya vlinijna algebra i teoriya matricPidtrimuyetsya VikiproyektomVikipediya Proyekt Matematika Matricya u Vikishovishi Vivchennyam matric zajmayetsya teoriya matric Matrici ye korisnimi dlya zapisu danih sho zalezhat vid dvoh kategorij napriklad dlya koeficiyentiv sistem linijnih rivnyan ta linijnih peretvoren Oznachennya ta notaciyaMatriceyu rozmiru m n displaystyle m times n m na n abo mn matriceyu nazivayetsya mnozhina z mn displaystyle mn elementiv ai j displaystyle a i j rozmishenih u viglyadi pryamokutnoyi tablici z m displaystyle m ryadkiv i n displaystyle n stovpciv a m displaystyle m i n displaystyle n yiyi rozmirnistyu A a11a12 a1na21a22 a2n am1am2 amn A a11a12 a1na21a22 a2n am1am2 amn displaystyle mathbf A begin bmatrix a 11 amp a 12 amp cdots amp a 1n a 21 amp a 22 amp cdots amp a 2n vdots amp vdots amp ddots amp vdots a m1 amp a m2 amp cdots amp a mn end bmatrix qquad qquad qquad mathbf A left begin array rrrr a 11 amp a 12 amp cdots amp a 1n a 21 amp a 22 amp cdots amp a 2n vdots amp vdots amp ddots amp vdots a m1 amp a m2 amp cdots amp a mn end array right de ai j displaystyle a i j element matrici i displaystyle i nomer ryadka j displaystyle j nomer stovpcya pri alternativnomu poznachenni vikoristovuyutsya veliki krugli duzhki Gorizontalni liniyi v matrici zvut ryadkami vertikalni stovpchikami abo stovpcyami Element matrici A sho znahoditsya na peretini i go ryadka z j im stovpchikom nazivayut i j im elementom abo i j im elementom A Zapisuyut ce yak ai j displaystyle a i j chi a i j abo v notaciyi movi programuvannya C A i j Chasto pishut A ai j n m displaystyle A a i j n times m dlya oznachennya matrici A rozmirnosti n x m de kozhen element matrici A i j poznachayut yak aij dlya vsih 1 i n ta 1 j m Priklad Matricya 123127492625 displaystyle begin bmatrix 1 amp 2 amp 3 1 amp 2 amp 7 4 amp 9 amp 2 6 amp 2 amp 5 end bmatrix ye matriceyu 4 3 Element A 2 3 abo a2 3 displaystyle a 2 3 dorivnyuye 7 Rozmir Rozmir matrici viznachaye kilkist ryadkiv i stovpciv yaki vona mistit Matricyu iz m ryadkami i n stovpcyami nazivayut matriceyu m n abo m na n matriceyu a sami m i n nazivayut rozmirami matrici Matrici yaki mayut lishe odin ryadok nazivayutsya vektorami ryadkami a ti sho mayut odin stovpec nazivayutsya vektorami stovpcyami Matricya z odnakovoyu kilkistyu ryadkiv i stovpciv nazivayetsya kvadratnoyu matriceyu Matricya z neskinchennoyu kilkistyu ryadkiv abo stovpciv abo yih oboh nazivayetsya neskinchennoyu matriceyu Napriklad v komp yuternih programah inodi zruchno rozglyadati taku matricyu sho ne mistit ryadkiv chi stovpciv sho nazivayetsya porozhnoyu matriceyu Nazva Rozmir Priklad ViznachennyaVektor ryadok 1 n 372 displaystyle begin bmatrix 3 amp 7 amp 2 end bmatrix Matricya z odnim ryadkom inodi vikoristovuyetsya dlya predstavlennya vektoraVektor stovpec n 1 418 displaystyle begin bmatrix 4 1 8 end bmatrix Matricya z odnim stovpcem inodi vikoristovuyetsya dlya predstavlennya vektoraKvadratna matricya n n 91351117263 displaystyle begin bmatrix 9 amp 13 amp 5 1 amp 11 amp 7 2 amp 6 amp 3 end bmatrix Matricya z odnakovoyu kilkistyu ryadkiv i stovpciv inodi vikoristovuyetsya dlya predstavlennya linijnih peretvoren u vektornomu prostori taki yak obertannya vidbittya i skis Diyi nad matricyamiOperaciya porivnyannya Dvi matrici A ai j m n displaystyle A a i j m times n ta B bi j m n displaystyle B b i j m times n nazivayutsya rivnimi A B displaystyle A B yaksho rivni yih vidpovidni elementi tobto ai j bi j displaystyle a i j b i j Dodavannya Yaksho dano dvi matrici m na n A i B mozhemo viznachiti yih sumu A B yak matricyu m na n sho utvoryuyetsya dodavannyam vidpovidnih elementiv tobto A B i j A i j B i j Napriklad 132100122 005750211 1 03 02 51 70 50 01 22 12 1 137850333 displaystyle begin bmatrix 1 amp 3 amp 2 1 amp 0 amp 0 1 amp 2 amp 2 end bmatrix begin bmatrix 0 amp 0 amp 5 7 amp 5 amp 0 2 amp 1 amp 1 end bmatrix begin bmatrix 1 0 amp 3 0 amp 2 5 1 7 amp 0 5 amp 0 0 1 2 amp 2 1 amp 2 1 end bmatrix begin bmatrix 1 amp 3 amp 7 8 amp 5 amp 0 3 amp 3 amp 3 end bmatrix Osnovni vlastivosti operacij dodavannya matric A B B A komutativnist A B C A B C asociativnist A 0 A dlya bud yakoyi matrici Takozh dlya bud yakoyi matrici A isnuye protilezhna matricya A taka sho A A 0 Mnozhennya na skalyar Yaksho dano matricyu A i chislo c mozhemo oznachiti mnozhennya na skalyar cA yak cA i j cA i j Napriklad 2 18 34 25 2 12 82 32 42 22 5 216 68 410 displaystyle 2 begin bmatrix 1 amp 8 amp 3 4 amp 2 amp 5 end bmatrix begin bmatrix 2 times 1 amp 2 times 8 amp 2 times 3 2 times 4 amp 2 times 2 amp 2 times 5 end bmatrix begin bmatrix 2 amp 16 amp 6 8 amp 4 amp 10 end bmatrix Z cimi dvoma operaciyami mnozhina M m n R usih matric m na n z dijsnimi elementami ye dijsnim vektornim prostorom rozmirnosti mn Mnozhennya matric Dokladnishe Mnozhennya matric Shematichne zobrazhennya dobutku AB dvoh matric A i B Mnozhennya dvoh matric maye sens lishe todi koli chislo stovpchikiv pershoyi matrici dorivnyuye chislu ryadkiv drugoyi matrici Yaksho A matricya m na n m ryadkiv n stovpchikiv a B matricya n na p n ryadkiv p stovpchikiv yih dobutok AB ye matriceyu m na p m ryadkiv p stovpchikiv sho rozrahovuyetsya za formuloyu AB i j A i 1 B 1 j A i 2 B 2 j A i n B n j dlya kozhnoyi pari i ta j tobto ABi j k 1nAi k Bk j textstyle AB i j sum k 1 n A i k B k j Napriklad 102 131 312110 1 3 0 2 2 1 1 1 0 1 2 0 1 3 3 2 1 1 1 1 3 1 1 0 5142 displaystyle begin bmatrix 1 amp 0 amp 2 1 amp 3 amp 1 end bmatrix times begin bmatrix 3 amp 1 2 amp 1 1 amp 0 end bmatrix begin bmatrix 1 times 3 0 times 2 2 times 1 amp 1 times 1 0 times 1 2 times 0 1 times 3 3 times 2 1 times 1 amp 1 times 1 3 times 1 1 times 0 end bmatrix begin bmatrix 5 amp 1 4 amp 2 end bmatrix Ce mnozhennya maye taki vlastivosti AB C A BC dlya vsih matric A rozmirnosti k na m B rozmirnosti m na n i C rozmirnosti n na p asociativnist A B C AC BC dlya vsih matric A i B rozmirnosti m na n i matric C rozmirnosti n na k distributivnist C A B CA CB dlya vsih matric A i B rozmirnosti m na n i matric C rozmirnosti k na m distributivnist Zauvazhennya komutativnist maye misce ne zavzhdi dlya dobutku pevnih matric A i B mozhe buti AB BA Matrici nazivayut antikomutativnimi yaksho AB BA Taki matrici ye duzhe vazhlivimi v en algebr Li ta v predstavlennyah algebr Klifforda Transponuvannya Dokladnishe Transponovana matricya Transponuvannya matrici A rozmirom m na n utvoryuye matricyu n na m AT sho takozh poznachayetsya yak Atr abo tA yaka ye rezultatom perevertannya ryadkiv u stovpci j navpaki AT i j Aj i Priklad 1230 67 T 102 637 displaystyle begin bmatrix 1 amp 2 amp 3 0 amp 6 amp 7 end bmatrix mathrm T begin bmatrix 1 amp 0 2 amp 6 3 amp 7 end bmatrix Rozbittya Dokladnishe Blochna matricya Matricyu mozhna rozbiti na bloki pidmatrici z elementiv i prisvoyiti riznim blokam imena Pri comu koli odin blok znahoditsya pid inshim to ci bloki povinni mati odnakove chislo stovpciv Koli zh dva bloki roztashovuyutsya poruch to voni povinni mati odnakove chislo ryadkiv Dvi blokovi matrici rozbiti odnakovo tobto vidpovidni bloki mayut odnakovu rozmirnist Dlya transponuvannya blokovih matric neobhidno transponuvati kozhnij blok okremo a potim transponuvati roztashuvannya blokiv M1 M2 M3 M4 T M1T M3T M2T M4T displaystyle begin pmatrix M 1 amp amp M 2 amp amp M 3 amp amp M 4 end pmatrix mathrm T begin pmatrix M 1 mathrm T amp amp M 3 mathrm T amp amp M 2 mathrm T amp amp M 4 mathrm T end pmatrix Linijni peretvorennya rang i transponuvannyaMatrici mozhut predstavlyati linijni peretvorennya oskilki mnozhennya matric vidpovidaye kompoziciyi vidobrazhen yak ce bude pokazano dali Nadali ototozhnyuvatimemo elementi Rn z mnozhinoyu ryadkiv abo matric n na 1 Dlya kozhnogo linijnogo vidobrazhennya f Rn gt Rm isnuye yedina matricya A rozmirnosti m na n taka sho f x Ax dlya vsih x z Rn Kazhemo sho matricya A predstavlyaye linijne vidobrazhennya f Teper yaksho matricya B rozmirnosti k na m predstavlyaye inshe linijne vidobrazhennya g Rm gt Rk linijne vidobrazhennya g o f predstavlene matriceyu BA Ce viplivaye z zaznachenoyi vishe vlastivosti asociativnosti mnozhennya matric Rang matrici A ce rozmirnist obraza linijnogo vidobrazhennya predstavlenogo matriceyu A Vona zbigayetsya z rozmirnistyu prostoru zgenerovanogo ryadkami matrici A a takozh iz rozmirom prostoru zgenerovanogo stovpchikami matrici A Transponovanoyu matriceyu matrici A rozmirnosti m na n ye matricya Atr takozh inodi poznachayut yak AT abo tA rozmirnosti n na m yaku oderzhuyut zaminoyu ryadkiv stovpchikami i navpaki sebto Atr i j A j i dlya vsih indeksiv i ta j Yaksho A opisuye linijne vidobrazhennya vidnosno dvoh bazisiv matricya A tr opisuye transpoziciyu linijnogo vidobrazhennya vidnosno dualnih bazisiv div dualnij prostir Mayemo A B tr Atr Btr i AB tr Btr Atr Specialni vidi matricDokladnishe Perelik matric U bagatoh rozdilah matematiki z yavlyayutsya matrici pevnoyi strukturi Dekilka vazhlivih prikladiv Kvadratna matricya Odinichna matricya Simetrichna matricya matricya simetrichni elementi yakih vidnosno golovnoyi diagonali vid verhnogo livogo do nizhnogo pravogo kuta ye rivnimi sebto ai j aj i Normalna matricya Idealna matricya Unitarna matricya Ermitova matricya abo samospryazhena matricya simetrichni elementi yakih vidnosno golovnoyi diagonali ye kompleksno spryazhenimi odin do odnogo sebto ai j a j i Stohastichni matrici kvadratni matrici stovpchiki yakih ye en voni zastosovuyutsya dlya oznachennya Markivskih lancyugiv Linijni rivnyannyaDokladnishe Sistema linijnih algebrayichnih rivnyan Matrici vikoristovuyut dlya kompaktnogo predstavlennya sistem linijnih rivnyan i roboti z nimi Napriklad yaksho A ye matriceyu m na n x poznachaye vektor stovpec sho ye matriceyu n 1 n zminnih x1 x2 xn i b ye vektorom stovpcem m 1 todi matrichne rivnyannya Ax b displaystyle mathbf Ax mathbf b ye ekvivalentnim nastupnij sistemi linijnih rivnyan A1 1x1 A1 2x2 A1 nxn b1 displaystyle A 1 1 x 1 A 1 2 x 2 cdots A 1 n x n b 1 displaystyle vdots Am 1x1 Am 2x2 Am nxn bm displaystyle A m 1 x 1 A m 2 x 2 cdots A m n x n b m Iz vikoristannyam matric ce mozhna rozv yazati u bilsh kompaktnij formi nizh vipisuvati vsi ci rivnyannya okremo Yaksho n m a rivnyannya ye nezalezhnimi ce mozhlivo zrobiti zapisavshi x A 1b displaystyle mathbf x mathbf A 1 mathbf b de A 1 ye obernenoyu matriceyu dlya A Yaksho A ne maye obernenoyi matrici rozv yazok yaksho takij isnuye mozhna znajti za dopomogoyu psevdoobernenoyi matrici Linijni peretvorennyaDokladnishe Linijne vidobrazhennya ta Matricya perehodu Vektor zadanij 2 na 2 matriceyu vidpovidaye storonam odinichnogo kvadrata sho peretvoreno na paralelogram Matrici j operaciya mnozhennya matric rozkrivayut svoyi vazhlivi vlastivosti pri zastosuvanni dlya linijnih peretvoren sho takozh nazivayut linijnimi vidobrazhennyami Dijsna m na n matricya A zadaye linijne peretvorennya Rn Rm i vidobrazhaye kozhen vektor x u Rn u matrichnij dobutok Ax sho v svoyu chergu ye vektorom u Rm Vidpovidno kozhne linijne peretvorennya f Rn Rm mozhe zdavatisya unikalnoyu m na n matriceyu A bilsh detalno i j vhodzhennya iz A ye iyu koordinatoyu f ej de ej 0 0 1 0 0 ye odinichnim vektorom zi znachennyam 1 u jij poziciyi i 0 v inshih poziciyah Govoryat sho matricya A zadaye linijne vidobrazhennya f i A nazivayetsya matriceyu peretvorennya dlya f Napriklad matricyu 2 2 A acbd displaystyle mathbf A begin bmatrix a amp c b amp d end bmatrix mozhna rozglyadati yak peretvorennya odinichnogo kvadratu u paralelogram iz vershinami u 0 0 a b a c b d i c d Paralelogram zobrazhenij pravoruch otrimano za dopomogoyu mnozhennya A na kozhnij vektor stovpec 00 10 11 displaystyle begin bmatrix 0 0 end bmatrix begin bmatrix 1 0 end bmatrix begin bmatrix 1 1 end bmatrix i 01 displaystyle begin bmatrix 0 1 end bmatrix po cherzi Ci vektori zadayut vershini odinichnogo kvadratu Nastupna tablicya pokazuye dekilka 2 na 2 matric iz vidpovidnimi linijnimi vidobrazhennyami u R2 Pochatkova sinya figura vidobrazhayetsya u zelenu sitku i figuru Pochatok koordinat 0 0 vidmicheno chornoyu tochkoyu Gorizontalnij skis pri m 1 25 Vidbittya vidnosno vertikalnoyi osi Vidobrazhennya stisnennya pri r 3 2 Masshtabuvannya na koeficiyent 3 2 Povorot na kut p 6R 30 11 2501 displaystyle begin bmatrix 1 amp 1 25 0 amp 1 end bmatrix 1001 displaystyle begin bmatrix 1 amp 0 0 amp 1 end bmatrix 3 2002 3 displaystyle begin bmatrix 3 2 amp 0 0 amp 2 3 end bmatrix 3 2003 2 displaystyle begin bmatrix 3 2 amp 0 0 amp 3 2 end bmatrix cos p 6R sin p 6R sin p 6R cos p 6R displaystyle begin bmatrix cos pi 6 R amp sin pi 6 R sin pi 6 R amp cos pi 6 R end bmatrix Kvadratna matricyaDokladnishe Kvadratna matricya Kvadratnoyu matriceyu nazivayut matricyu z odnakovoyu kilkistyu ryadkiv i stovpciv Matricya n na n ye kvadratnoyu matriceyu poryadku n Bud yaki dvi kvadratni matrici odnakovogo poryadku mozhna dodavati j mnozhiti Vhodzhennya aii utvoryuyut golovnu diagonal kvadratnoyi matrici Voni znahodyatsya na uyavnij liniyi yaka prohodit vid verhnogo livogo kuta do nizhnogo pravogo kuta matrici Osnovni tipi Nazva Priklad dlya n 3Diagonalna matricya a11000a22000a33 displaystyle begin bmatrix a 11 amp 0 amp 0 0 amp a 22 amp 0 0 amp 0 amp a 33 end bmatrix Nizhnotrikutna matricya a1100a21a220a31a32a33 displaystyle begin bmatrix a 11 amp 0 amp 0 a 21 amp a 22 amp 0 a 31 amp a 32 amp a 33 end bmatrix Verhnotrikutna matricya a11a12a130a22a2300a33 displaystyle begin bmatrix a 11 amp a 12 amp a 13 0 amp a 22 amp a 23 0 amp 0 amp a 33 end bmatrix Diagonalna i trikutna matricya Yaksho vsi elementi matrici A nizhche golovnoyi diagonali dorivnyuyut nulyu A nazivayut verhnotrikutnoyu matriceyu Analogichno yaksho vsi elementi A vishe golovnoyi diagonali dorivnyuyut nulyu A nazivayut nizhnotrikutnoyu matriceyu U vipadku koli vsi elementi matrici krim golovnoyi diagonali ye nulyami A nazivayut diagonalnoyu matriceyu Odinichna matricya Dokladnishe Odinichna matricya Odinichna matricya In rozmirom n ye matriceyu n na n v yakij vsi elementi golovnoyi diagonali dorivnyuyut 1 a vsi inshi elementi dorivnyuyut 0 napriklad I1 1 I2 1001 In 10 001 0 00 1 displaystyle I 1 begin bmatrix 1 end bmatrix I 2 begin bmatrix 1 amp 0 0 amp 1 end bmatrix cdots I n begin bmatrix 1 amp 0 amp cdots amp 0 0 amp 1 amp cdots amp 0 vdots amp vdots amp ddots amp vdots 0 amp 0 amp cdots amp 1 end bmatrix Ce kvadratna matricya poryadku n i takozh ce ye osoblivim vipadkom diagonalnoyi matrici Vona nazivayetsya diagonalnoyu matriceyu oskilki mnozhennya na neyi zalishaye matricyu nezminnoyu AIn ImA A dlya bud yakoyi m na n matrici A Simetrichni abo kososimetrichni matrici Kvadratna matricya A sho dorivnyuye svoyij transponovanij matrici tobto A AT ye simetrichnoyu matriceyu Yaksho zamist togo A dorivnyuye negativnij transponovanij matrici tobto A AT to A ye kososimetrichnoyu matriceyu U vipadku kompleksnih matric ponyattya simetriyi chasto zaminyayetsya ponyattyam Ermitovoyi matrici sho zadovolnyaye umovi A A de zirochka poznachaye ermitove spryazhennya matrici sho ye transponovanoyu kompleksnoyu spryazhenoyu matrici A Vidpovidno do spektralnoyi teoremi dijsni simetrichni matrici i kompleksni Ermitovi matrici mayut vlasnij bazis takij sho kozhen vektor mozhna zadati u viglyadi linijnoyi kombinaciyi vlasnih vektoriv V oboh vipadkah vsi vlasni znachennya ye dijsnimi Nevirodzhena matricya i yiyi obernena Kvadratna matricya A nazivayetsya nevirodzhenoyu abo ne singulyarnoyu yaksho isnuye matricya B taka sho AB BA In de Inn n ye odinichnoyu matriceyu iz 1 yami na golovnij diagonali i 0 mi v inshih miscyah Yaksho B isnuye vona ye yedinoyu i nazivayetsya obernenoyu matriceyu dlya A i poznachayetsya yak A 1 Dodatnooznachena matricya Dodatnooznachena matricya Neviznachena matricya 1 4001 displaystyle begin bmatrix 1 4 amp 0 0 amp 1 end bmatrix 1 400 1 4 displaystyle begin bmatrix 1 4 amp 0 0 amp 1 4 end bmatrix Q x y 1 4 x2 y2 Q x y 1 4 x2 1 4 y2Tochki pri yakih Q x y 1 Elips Tochki pri yakih Q x y 1 Giperbola Simetrichna n n matricya A nazivayetsya dodatnooznachenoyu yaksho dlya vsih ne nulovih vektoriv x Rn vidpovidna kvadratichna forma sho zadayetsya yak f x xTA x utvoryuye v rezultati lishe dodatni znachennya dlya bud yakogo vhidnogo vektoru x Yaksho f x privodit do utvorennya lishe vid yemnih znachen todi A ye vid ye mno vi znachenoyu yaksho f utvoryuye yak dodatni tak i vid yemni znachennya todi A ye neviznachenoyu Yaksho kvadratichna forma f porodzhuye lishe ne vid yemni znachennya dodatni abo nul simetrichna matricya nazivayetsya dodatno napivviznachenoyu Tablicya pravoruch pokazuye dva varianti dlya matric 2 na 2 Yaksho v yakosti vhodiv zadati dva rizni vektori bude otrimana bilinijna forma sho pov yazana z A BA x y xTAy Ortogonalna matricya Dokladnishe Ortogonalna matricya Ortogonalna matricya ce kvadratna matricya iz dijsnimi elementami chiyi stovpci i ryadki ye ortogonalnimi odinichnimi vektorami tobto ortonormovanimi vektorami Ce rivnosilno tomu sho matricya A ye ortogonalnoyu yaksho yiyi transponovana matricya dorivnyuye yiyi obernenij matrici AT A 1 displaystyle A mathrm T A 1 sho tyagne za soboyu ATA AAT In displaystyle A mathrm T A AA mathrm T I n de I ye odinichnoyu matriceyu rozmirom n Osnovni operaciyi Slid matrici Slid tr A kvadratnoyi matrici A ye sumoyu elementiv yiyi diagonali Hocha operaciya mnozhennya ne ye komutativnoyu slid dobutku dvoh matric ne zalezhit vid poryadku operacij tr AB tr BA Ce viplivaye pryamo z viznachennya operaciyi mnozhennya matric tr AB i 1m j 1nAijBji tr BA displaystyle operatorname tr mathsf AB sum i 1 m sum j 1 n A ij B ji operatorname tr mathsf BA Takozh slid matrici bude dorivnyuvati slidu yiyi transponovanoyi matrici tobto tr A tr AT Viznachnik Dokladnishe Viznachnik Linijne peretvorennya R2 zadane navedenoyu matriceyu Viznachnik matrici dorivnyuye 1 plosha zelenogo paralelograma pravoruch dorivnyuye 1 ale vidobrazhennya maye obernenu oriyentaciyu Viznachnik viznachnik det A abo A kvadratnoyi matrici A sho viznachaye deyaki vlastivosti matrici Matricya ye nevirodzhenoyu todi j tilki todi koli yiyi determinant ne ye nulovim Jogo absolyutne znachennya dorivnyuye ploshi u R2 abo ob yemu u R3 vidobrazhennya odinichnogo kvadrata abo kuba a jogo znak vidpovidaye oriyentaciyi vidpovidnogo linijnogo vidobrazhennya viznachnik ye dodatnim todi j tilki todi koli oriyentaciya zberigayetsya Viznachnik matrici 2 2 dorivnyuye det abcd ad bc displaystyle det begin bmatrix a amp b c amp d end bmatrix ad bc Determinant matrici 3 3 matime 6 termiv Pravilo Sarryusa Bilsh skladna Formula Lejbnica uzagalnyuye ci dvi formuli do vsih vimiriv Viznachnik dobutku kvadratnih matric dorivnyuye dobutku yih viznachnikiv det AB det A det B Dodavannya do ryadka inshogo ryadka pomnozhenogo na deyake znachennya abo dodavannya stovpcya do inshogo stovpcya ne zminyuye determinanta matrici Zamina miscyami dvoh ryadkiv abo stovpciv privodit do zmini znaku viznachnika tobto mnozhennya jogo na 1 Vikoristovuyuchi ci operaciyi mozhna zvesti bud yaku matricyu do nizhnoyi abo verhnoyi trikutnoyi matrici a dlya takih matric viznachnik bude dorivnyuvati dobutku elementiv golovnoyi diagonali sho ye metodom rozrahunku viznachnika bud yakoyi matrici Z reshtoyu rozklad Laplasa dozvolyaye viraziti viznachnik cherez minori tobto determinanti menshih matric Ce rozkladannya mozhna vikoristovuvati dlya rekursivnogo viznachennya viznachnika sho mozhna rozglyadati yak rivnoznachnij do formuli Lejbnica Viznachnik vikoristovuyetsya dlya rozv yazannya sistem linijnih rivnyan za dopomogoyu metodu Kramera Matrici v abstraktnij algebriYaksho vzyati kilce R mozhemo rozglyadati mnozhinu M m n R usih matric m na n z elementami z R Dodavannya ta mnozhennya cih matric mozhe buti oznachene yak u vipadku dijsnih chi kompleksnih matric Mnozhina M n R usih kvadratnih matric n na n nad kilcem R sama ye kilcem izomorfnim do kilcya endomorfizmiv pravogo R modulya Rn Takozh yaksho elementi berutsya z napivkilcya S dodavannya ta mnozhennya matric mozhna oznachiti zvichajnim chinom Mnozhina vsih kvadratnih matric n n nad S sama ye napivkilcem Zvazhte na te sho algoritmi mnozhennya matric taki yak algoritm Shtrassena vzagali zastosovni lishe do matric nad kilcyami i ne pracyuyut dlya matric nad napivkilcyami sho ne ye kilcyami Yaksho R ye komutativnim kilcem todi M n R ye unitarnoyu asociativnoyu algebroyu nad R Takozh maye sens oznachiti determinant kvadratnih matric zastosovuyuchi formulu Lejbnica Matricya maye obernenu todi j lishe todi koli yiyi viznachnik yak element R maye obernenij element v R Usi tverdzhennya ciyeyi statti dlya dijsnih ta kompleksnih matric spravdzhuyutsya i dlya matric nad dovilnim polem Matrici nad kilcem polinomiv ye vazhlivimi u vivchenni teoriyi keruvannya IstoriyaVivchati matrici pochali dosit davno Latinski kvadrati ta magichni kvadrati buli vidomi she v doistorichni chasi Kitajskij tekst Matematika v dev yati knigah napisanij she do nashoyi eri mistit prikladi vikoristannya matric dlya rozv yazannya sistemi rivnyan vklyuchno z ponyattyam viznachnika she zadovgo do vvedennya viznachnikiv yaponskim matematikom Takakadzu Seki 1683 ta nimeckim matematikom Lejbnicem 1693 Kramer rozvinuv cyu teoriyu uvivshi pravilo Kramera 1750 r Karl Fridrih Gaus ta Vilgelm Jordan rozrobili metod Gausa Jordana yakij polyagaye v znahodzhenni obernenoyi matrici 1800 Termin matricya upershe bulo zaprovadzheno 1848 r Dzh Dzh Silvestrom Kejli Gamilton Grassman Frobenius fon Nojman Inshi vidatni matematiki takozh zrobili svij vnesok u teoriyu matric Div takozhPortal Matematika Teoriya matric Linijna algebra Vektor Minor matrici Algebrayichne dopovnennya Zagalna linijna grupa Matrichna funkciya Matricya odinicNavchalni materialiVstup do linijnoyi algebri matrici ta diyi z nimi Lekciya 1 na YouTube M Iorgov Institut teoretichnoyi fiziki NAN Ukrayini ukr Vstup do linijnoyi algebri matrici ta diyi z nimi Lekciya 2 na YouTube M Iorgov Institut teoretichnoyi fiziki NAN Ukrayini ukr DzherelaGantmaher F R Teoriya matric 5 e M Fizmatlit 2010 559 s ISBN 5 9221 0524 8 ros Teoriya matric Moskva Nauka 1973 280 s ros Matrichnyj analiz M Mir 1989 653 s ros Matrici diyi nad matricyami Visha matematika v prikladah i zadachah Klepko V Yu Golec V L 2 ge vidannya K Centr uchbovoyi literaturi 2009 S 5 7 594 s Golub Dzh van Loun Ch Matrichnye vychisleniya M Mir 1999 548 s Uzagalnena ekvivalentnist matric i yih naboriv ta faktorizaciya matric nad kilcyami monografiya V M Petrichkovich NAN Ukrayini In t priklad problem mehaniki i matematiki im Ya S Pidstrigacha Lviv IPPMM 2015 312 s Bibliogr s 285 311 245 nazv ISBN 978 96 02 7619 2PrimitkiBrown 1991 I 2 21 and 22 Horn amp Johnson 1985 Theorem 2 5 6 Brown 1991 Definition I 2 28 Brown 1991 Definition I 5 13 Horn amp Johnson 1985 Chapter 7 Horn amp Johnson 1985 Example 4 0 6 p 169 Brown 1991 Definition III 2 1 Brown 1991 Theorem III 2 12 Brown 1991 Corollary III 2 16 Mirsky 1990 Theorem 1 4 1 Brown 1991 Theorem III 3 18