ТЕОРІЯ ЧИСЕЛ ДЛЯ ШКОЛЯРІВ: Матриця - це узагальнення поняття кількості

Матриця — математичний об'єкт, записаний у вигляді прямокутної таблиці чисел (чи елементів кільця), він допускає операції (додавання, віднімання, множення та множення на скаляр). Зазвичай матриці представляються двовимірними (прямокутними) таблицями. Іноді розглядають багатовимірні матриці або матриці непрямокутної форми. В цій статті вони розглядатися не будуть.

Матриці є корисними для запису даних, що залежать від двох категорій, наприклад: для коефіцієнтів систем лінійних рівнянь та лінійних перетворень.

Означення та нотація

Матрицею розміру

m\times n

(m-на-n,або mn-матрицею) називається множина з

mn

елементів

a_((i,j))

, розміщених у вигляді прямокутної таблиці з

m

рядків і

n

стовпців, а

m

n

— її розмірністю:

{\mathbf {A))={\begin{bmatrix}a_((11))&a_((12))&\cdots &a_((1n))\\a_((21))&a_((22))&\cdots &a_((2n))\\\vdots &\vdots &\ddots &\vdots \\a_((m1))&a_((m2))&\cdots &a_((mn))\end{bmatrix)).

де

a_((i,j))

– елемент матриці;

i

– номер рядка;

j

– номер стовпця.

при альтернативному позначенні використовуються великі круглі дужки:

{\mathbf {A))=\left({\begin{array}{rrrr}a_((11))&a_((12))&\cdots &a_((1n))\\a_((21))&a_((22))&\cdots &a_((2n))\\\vdots &\vdots &\ddots &\vdots \\a_((m1))&a_((m2))&\cdots &a_((mn))\end{array))\right).

Горизонтальні лінії в матриці звуть рядками, вертикальні — стовпцями.
Елемент матриці A, що знаходиться на перетині i-го рядка з j-им стовпчиком, називають i,j-им елементом або (i,j)-им елементом A.

Записують це як $a_((i,j))$ чи a[i,j], або, в нотації мови програмування C, A[i][j].

Часто пишуть

\ A:=(a_((i,j)))_((n\times m))

для означення матриці A розмірності n x m, де кожен елемент матриці A[i,j] позначають як aij для всіх 1 ≤ i ≤ n та 1 ≤ j ≤ m.

Приклад

Матриця

{\begin{bmatrix}1&2&3\\1&2&7\\4&9&2\\6&2&5\end{bmatrix))

є матрицею 4×3. Елемент A[2,3], або

a_((2,3))

дорівнює 7.

Дії над матрицями

Операція порівняння

Дві матриці

\ A=(a_((i,j)))_((m\times n))

та

\ B=(b_((i,j)))_((m\times n))

називаються рівними

A=B

, якщо рівні їх відповідні елементи, тобто

a_((i,j))=b_((i,j))

Додавання

Якщо дано дві матриці m-на-n A і B, можемо визначити їх суму A + B як матрицю m-на-n, що утворюється додаванням відповідних елементів, тобто,
(A + B)[i, j] = A[i, j] + B[i, j]. Наприклад,

{\begin{bmatrix}1&3&2\\1&0&0\\1&2&2\end{bmatrix))+{\begin{bmatrix}0&0&5\\7&5&0\\2&1&1\end{bmatrix))={\begin{bmatrix}1+0&3+0&2+5\\1+7&0+5&0+0\\1+2&2+1&2+1\end{bmatrix))={\begin{bmatrix}1&3&7\\8&5&0\\3&3&3\end{bmatrix))

Основні властивості операцій додавання матриць:

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]. Наприклад,

2{\begin{bmatrix}1&8&-3\\4&-2&5\end{bmatrix))={\begin{bmatrix}2\times 1&2\times 8&2\times -3\\2\times 4&2\times -2&2\times 5\end{bmatrix))={\begin{bmatrix}2&16&-6\\8&-4&10\end{bmatrix))

З цими двома операціями множина 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.

Наприклад,

{\begin{bmatrix}1&0&2\\-1&3&1\\\end{bmatrix))\times {\begin{bmatrix}3&1\\2&1\\1&0\end{bmatrix))={\begin{bmatrix}(1\times 3+0\times 2+2\times 1)&(1\times 1+0\times 1+2\times 0)\\(-1\times 3+3\times 2+1\times 1)&(-1\times 1+3\times 1+1\times 0)\\\end{bmatrix))={\begin{bmatrix}5&1\\4&2\\\end{bmatrix))

Це множення має такі властивості:

(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. Такі матриці є дуже важливими в представленнях алгебр Лі та в представленнях алгебр Кліффорда.

Лінійні перетворення, ранг і транспонування

Матриці можуть представляти лінійні перетворення, оскільки множення матриць відповідає композиції відображень, як це буде показано далі.

Надалі ототожнюватимемо елементи 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.

Стохастичні матриці — квадратні матриці, стовпчики яких є векторами ймовірності; вони застосовуються для означення Марківських ланцюгів.

Матриці в абстрактній алгебрі

Якщо взяти кільце 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 р. Дж. Дж. Сильвестром. Кейлі, Гамільтон, Ґрассман, Фробеніус, фон Нойман та інші видатні математики зробили свій внесок у теорію матриць.

Див. також

Портал «Математика»

Література

Гантмахер Ф. Р. Теория матриц. — М. : Физматлит, 2010. — 560 с.
Голуб Дж., ван Лоун Ч. Матричные вычисления. — М. : Мир, 1999. — 548 с.
Ланкастер П. Теория матриц. — М. : Наука, 1982. — 272 с.

[hide] Лінійна алгебра

Основи	Скаляр Вектор Векторний простір Добуток на скаляр Проекція вектора Лінійний простір Лінійне відображення Лінійна проекція Лінійно незалежні вектори Лінійна комбінація Базис Простір стовців (рядків) матриці Спряжений простір Ортогональність Ядро матриці Власний вектор Скалярний добуток Транспонована матриця Процес Грама — Шмідта Лінійні рівняння

Векторна алгебра	Векторний добуток Мішаний добуток

Багатолінійна алгебра	Геометрична алгебра Зовнішня алгебра Бівектори Мультивектор

Матриці	Блочна матриця Розклад матриці Невироджена матриця Мінор матриці Множення матриць Ранг Матриця переходу Метод Крамера Метод Гауса

Чисельна	Число з рухомою комою Чисельна стабільність Basic Linear Algebra Subprograms (BLAS) Розріджена матриця

Категорії

ТЕОРІЯ ЧИСЕЛ ДЛЯ ШКОЛЯРІВ

пʼятницю, 3 лютого 2017 р.

Матриця - це узагальнення поняття кількості