Формула (1) являє собою правило складання елементів матриці С, що являє собою добуток матриці А на матрицю В. Це правило можна сформулювати і словесно: елемент
В якості приклада застосування вказаного правила приведемо формулу перемноження квадратних матриць другого порядку
З формули (1) витікають наступні властивості добутку матриці А на матрицю В:
1.
2.
Серед квадратних матриць виділимо клас так званих діагональних матриць, у кожної з яких елементи, що розташовані не на головній діагоналі, дорівнюють нулю. Кожна діагональна матриця має вид
де
Серед усіх діагональних матриць, у яких діагональні елементи співпадають
Таким чином,
[2, стор. 14]
З правил дій над матрицями безпосередньо витікає, що сумма і добуток діагональних матриць буде знову діагональною матрицею:
Розглянемо тепер довільну квадратну матрицю Х порядка п з елементами з кільця К. За означенням вважаємо
Оскільки при множені декількох матриць дужки можна розташовувати довільно, то для будь-яких цілих невід’ємних p, q та довільної матриці Х над асоціативним кільцем К маємо
Матриці А і В називаються переставними (комутативними), якщо
Зі співвідношення (2) отримаємо
і, значить, всі натуральні степені однієї і тієї ж матриці переставні між собою.
Справедливе й більш загальне твердження: якщо матриці А і В переставні, то будь-які їх натуральні степені також переставні й для будь-якого натурального p маємо
Транспонування матриць.
Розглянемо довільну матрицю
Матриця
що отрималася з А заміною рядків стовпцями, називається транспонованою по відношенню до А.
Для довільних матриць А, В мають місце наступні правила транспонування:
де, α, β — довільні числа.
Якщо А — довільна квадратна матриця і
то А називається симетричною; якщо ж
то — кососиметричною. [4]
Поняття визначника. Розглянемо довільну квадратну матрицю будь-якого порядку n:
Визначник (або детермінант) визначається для довільної квадратної матриці А, і являє собою поліном від всіх її елементів. Позначається — або det(A), або — в розгорнутому вигляді
(матриця обмежується вертикальними лініями). Маючи на увазі порядок матриці А, про її визначник кажуть як про визначник порядку п.
Для п=1:
для п=2:
для п=3:
для п = 4 формула стає громіздкою.
Введемо тепер визначник довільного порядку п.
Впорядкована пара різних натуральних чисел (а,b) утворює інверсію (або порушення порядку), якщо
Число інверсій в послідовності різних натуральних чисел
Визначником (або детермінантом) матриці
Називається
де сумма поширюється на всілякі перестановки
1.2 Власні значення та власні вектори матриці
Якщо А — квадратна матриця п-го порядку і
Для існування нетривіального розв’язку задачі (1) має виконуватися умова
Цей визначник являє собою многочлен п-ї степені від l; його називають характеристичним многочленом. Значить, існує п власних значень — коренів цього многочлена, серед яких можуть бути однакові (кратні).
Якщо знайдено деяке власне значення, то, при підстановці його в однорідну систему (1), можна визначити відповідний власний вектор. Будемо нормувати власні вектори[1]. Тоді кожному простому (не кратному) власному значенню відповідає один (з точністю до напрямку) власний вектор, а сукупність всіх власних векторів, що відповідають сукупності простих власних значень, лінійно-незалежна. Таким чином, якщо всі власні значення матриці прості, то вона має п лінійно-незалежних власних векторів, які утворюють базис простору.
Кратному власному значенню кратності р може відповідати від 1 до р лінійно-незалежних власних векторів. Наприклад, розглянемо такі матриці четвертого порядку:
В кожної з них характеристичне рівняння приймає вигляд
У другої матриці є тільки один власний вектор е1. Другу матрицю називають простою жордановою (або класичною) підматрицею. Третя матриця має так звану канонічну жорданову форму (по діагоналі стоять або числа, або жорданові підматриці, а інші елементи дорівнюють нулеві).
Таким чином, якщо серед власних значень матриці є кратні, то її власні вектори не завжди утворюють базис. Однак і в цьому випадку власні вектори, що відповідають різним власним значенням, являються лінійно-незалежними.[3, стор 156]