Із доведеного твердження і теорем 2.6, 2.7 про ранг оператора
слідує справедливість таких нерівностей для двох добутків квадратних матриць і одного порядку . , ,Відомо, що необхідною і достатньою умовою існування оберненого оператора для оператора
, є умова , де – розмірність простору . Із теореми 3.2 витікає, що остання умова еквівалентна вимозі: матриця оператора повинна бути не виродженою.Іншими словами, щоб оператор
мав обернений необхідно і достатньо, щоб його матриця в якому-небудь базисі лінійного простору виявилась не виродженою.4. Перетворення матриці оператора при заміні базису
Нехай у просторі
обрані два базиси і . Перший базис для зручності назвемо старим, а другий – новим. Координати векторів у старому базисі розмістимо у стовпцях матриціПобудована матриця називається матрицею переходу від старого базису до нового. Вектори
лінійно незалежні, тому і, звісно, матриця не вироджена.Згідно сказаному
(4.1)Ці формули зв’язку між векторами старого і нового базисів у матричному записі мають вигляд
,де
– транспонована матриця .Теорема 4.1. Матриці
і оператора в базисах і зв’язані співвідношеннями , ,де
– матриця переходу від старого базису до нового .Доведення. За означенням матриці оператора
,де
і – елементи матриць і . Замінимо в останній рівності вектори згідно формулам (4.1), отримаємо (4.2)З іншого боку
Але
Тому
(4.3)Із двох отриманих виразів (4.2) і (4.3) для вектора виходить, що
У цій рівності вектори
лінійно незалежні, тому коефіцієнти про однакових векторах у лівій і правій частинах рівності мають бути однаковими, отже, ,Згідно означенню добутку двох матриць звідси витікає матричне рівність
. Якщо помножити обидві частини цієї рівності на праворуч, то отримаємо , якщо помножити на злів, то будемо мати . Теорему доведено.Матриці
і одного й того ж порядку називаються подібними, якщо можна знайти таку не вироджену матрицю того ж порядку, що . Із цього означення і теореми 4.1 витікає, що матриці оператора у різних базисах виявляються побідними. Покажемо, що визначники подібних матриць і рівні. Дійсно, згадавши, що визначник добутку квадратних матриць дорівнює добутку визначників співмножників, можемо записати .Із доведеного твердження виходить, що визначник матриці оператора не змінюється при заміні базису. У зв’язку з цим доречно ввести поняття визначника оператора. Визначником оператора
називають число , рівне визначнику матриці оператора в якому-небудь базисі простору.Приклад. Лінійний оператор
діє на вектори базису наступним чином: . Знайти визначник оператора .Розв’язок. Матриця оператора
у базисі має вигляд ,тобто є верхньою трикутною. Визначник цієї матриці дорівнює одиниці, тому і
.