Покажемо тепер, що підпростір

є ядром оператора

. Нехай

який-небудь вектор підпростору

. Так як

, то це означає, що вектор

входить в ядро оператора

. Звідси випливає, що підпростір

. Для доведення того, що

треба показати, що будь-який вектор

простору

, що не належить підпростору

, не може бути елементом ядра оператора

. Нехай

- вектор простору

, який не належить підпростору

. Зрозуміло, що хоча б одна із координат

цього вектору не рівна нулю, так як в протилежному випадку

. Розглянемо

. Так як

лінійно незалежні вектори, а серед чисел

є відмінні від нуля, то

. Це означає, що будь-який вектор, що не належить підпростору

, не належить і ядру оператора

. Отже,

.
Теорема 2.6. Нехай

і

– два яких-небудь лінійних оператора із множини

, тоді

,

.
Доведення. Нехай

– довільний вектор простору

. Зрозуміло, що

. Будь-який вектор

множини

за означенням добутку операторів це вектор

. Останній є вектором множини

. З цього слідує, що має місце включення

. А це означає, що

, тобто

. Перше твердження теореми доведено.
Доведемо справедливість другого. Нехай

– довільний вектор ядра оператора

, тоді

, і, тому,

. Це означає, що якщо

, то

, тобто

. Звідси випливає нерівність

. Позначимо через

розмірність простору

. Згідно теореми 2.4

,

. Так як

, то

, тобто

.
Теорема 2.7. Нехай

– розмірність простору

,

і

– лінійні оператори із

, тоді

.
3. Матриця лінійного оператора
Нехай

- деякий базис лінійного простору

, а

– який-небудь лінійний оператор, діючий із

в

. Вектор

оператор

перетворює в вектор

. Вектори

простору

розкладемо по векторах базису

цього простору. Побудуємо матрицю

порядку

, стовпці якої складені із координат векторів

,

,

,

.
Матриця

називається матрицею оператора

в базисі

.
Приклад. Записати матрицю тотожного і нульового операторів у базисі

простору

.
Розв’язок. Тотожний оператор

будь-який вектор простору

приводить в той же самий оператор. Тому

. А це означає, що матриця

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

. Нульовий оператор

будь-який вектор простору

перетворює в нульовий вектор, тому матриця

цього оператора – нульова в будь-якому базисі.