визначення
Визначення 1. Нехай
і
- скінченномірні векторні простору над полем
з базисами
і
відповідно. Розглянемо лінійне відображення
. тоді
можна представити у вигляді
для деяких
. матриця
називається матрицею лінійного відображення 1)
в базисах
і
. Стовпцями цієї матриці є координати векторів
в базисі
.
Нехай довільний вектор
має наступні координати в розкладанні по базису
,
, тоді його образ
з простору
в базисі
має розкладання
, де
. Тобто
.
Пропозиція 1. Існує взаємно однозначне відображення між безліччю всіх лінійних відображень з
-мірного векторного простору
в
-мірне векторний простір
з фіксованими базисами і безліччю матриць розміру
.
Визначення 2.Матріца лінійного оператора 2) - це матриця лінійного відображення в разі, коли
.
Приклад 1. Нехай
- базис
-мірного векторного простору
. Розглянемо тотожний 3) лінійний оператор
. Так як
, то матриця
- це в точності одинична матриця
.
Пропозиція 2. Нехай
- скінченномірні векторні простору,
і
- лінійні відображення. тоді
.
Множенням двох лінійних операторів
і
на просторі
вважатимемо їх композицію:
. тоді справедливо
Пропозиція 3. Простір лінійних операторів
є асоціативної алгеброю над полем
. У разі, якщо простір
конечномерного, алгебра
ізоморфна алгебрі всіх матриць порядку
над полем
. Ізоморфізм задається відображенням
.
література