Покажемо тепер, що підпростір
є ядром оператора . Нехай який-небудь вектор підпростору . Так як , то це означає, що вектор входить в ядро оператора . Звідси випливає, що підпростір . Для доведення того, що треба показати, що будь-який вектор простору , що не належить підпростору , не може бути елементом ядра оператора . Нехай - вектор простору , який не належить підпростору . Зрозуміло, що хоча б одна із координат цього вектору не рівна нулю, так як в протилежному випадку . Розглянемо . Так як лінійно незалежні вектори, а серед чисел є відмінні від нуля, то . Це означає, що будь-який вектор, що не належить підпростору , не належить і ядру оператора . Отже, .Теорема 2.6. Нехай
і – два яких-небудь лінійних оператора із множини , тоді , .Доведення. Нехай
– довільний вектор простору . Зрозуміло, що . Будь-який вектор множини за означенням добутку операторів це вектор . Останній є вектором множини . З цього слідує, що має місце включення . А це означає, що , тобто . Перше твердження теореми доведено.Доведемо справедливість другого. Нехай
– довільний вектор ядра оператора , тоді , і, тому, . Це означає, що якщо , то , тобто . Звідси випливає нерівність . Позначимо через розмірність простору . Згідно теореми 2.4 , . Так як , то , тобто .Теорема 2.7. Нехай
– розмірність простору , і – лінійні оператори із , тоді .3. Матриця лінійного оператора
Нехай
- деякий базис лінійного простору , а – який-небудь лінійний оператор, діючий із в . Вектор оператор перетворює в вектор . Вектори простору розкладемо по векторах базису цього простору. Побудуємо матрицю порядку , стовпці якої складені із координат векторів , , , .Матриця
називається матрицею оператора в базисі .Приклад. Записати матрицю тотожного і нульового операторів у базисі
простору .Розв’язок. Тотожний оператор
будь-який вектор простору приводить в той же самий оператор. Тому . А це означає, що матриця тотожного оператора буде одиничною в будь-якому базисі простору . Нульовий оператор будь-який вектор простору перетворює в нульовий вектор, тому матриця цього оператора – нульова в будь-якому базисі.