Пусть — векторные пространства над полем размерностей соответственно и — линейные отображения.
Выберем базисы пространств и матрицы операторов
в этих базисах. Тогда и его матрица в базисах имеет вид:
где . Действительно,
Таким образом мы можем определить умножение матриц . В частности, если , то — ассоциативное кольцо с единицей. Выбор базиса задаёт изоморфизм
и тем самым — это ассоциативное кольцо с единицей.
Предложение 7.1. Пусть — линейное отображение. Тогда существуют такие базисы пространств , что матрица оператора в этих базисах имеет вид
где — единичная матрица.
Доказательство. Пусть — это базис и — базис . Тогда — это базис . Пусть — базис . Тогда матрица оператора в базисах и имеет требуемый вид.
Следствие 7.2. Пусть — линейное отображение. Тогда .
Определение 7.3. Пусть — линейное отображение. Тогда ранг это .
Следствие 7.4. Пусть — линейный оператор. Тогда следующие условия эквивалентны:
(1) — изоморфизм;
(2) ;
(3) .
Доказательство. () Если , то для любого имеем , что противоречит тому, что — изоморфизм.
() Следует из следствия 7.2.
() Ясно, что — сюръекция. Если не инъекция, то существуют , , такие что . Но тогда , что противоречит (2).
Предположим что в некотором базисе матрица оператора имеет вид . Запишем матрицу
и приведём её методом Гаусса к строго верхнетреугольному виду. Тогда, либо получим матрицу
и в этом случае , либо — необратима. Действительно, преобразования метода Гаусса — это умножения слева на матрицы следующего вида:
Здесь — матрица из нулей и единиц с единицей на -ом месте.
Заметим, что все матрицы из метода Гаусса — невырожденные. Это означает, что если у нас в итоге получилась вырожденная матрица, то и исходная была вырожденная. Иначе получим, что
причём , то есть справа стоит обратная матрица.
Любая система линейных уравнений имеет вид , где , , — линейный оператор. При приведении матрицы методом Гаусса не меняется. При этом в строго верхнетреугольном виде равен количеству ненулевых столбцов. Отсюда, из равенства
следует, что число свободных переменных определено однозначно и равно размерности ядра .
Предложение 7.5. Система линейных уравнений имеет решение тогда и только тогда когда равен .
Доказательство. Если решение существует, то , где — столбцы матрицы . Остаётся заметить, что .
Определим
Ясно, что и сами являются векторными пространствами.
Предложение 7.6. .
Доказательство. Выберем базис : , затем дополним его до базиса векторами и до базиса векторами . Ясно, что набор
порождает и в нём элементов. Докажем, что он является базисом. Пусть
Тогда
При этом правая часть лежит в , а левая в , значит, в пересечении. Отсюда . А отсюда и все остальные коэффициенты нулевые.
Определение 7.7. Прямая сумма векторных пространств и — это векторное пространство
с покомпонентными операциями сложения и умножения на скаляр.
Аналогично определяется прямая сумма .
Предложение 7.8. Пусть такие подпространства, что
Доказательство. Из свойств следует, что любой вектор из единственным образом представляется в виде суммы . Тогда отображение
— изоморфизм.
Предложение 7.9. Пусть такие подпространства, что
Доказательство. Аналогично случаю двух подпространств.
В случае бесконечного числа подпространств существует два различных понятия: прямая сумма и прямое произведение. Прямая сумма состоит из наборов, в которых только конечное число векторов ненулевое, в то время как в прямом произведении набор векторов может быть произвольным. Например, прямая сумма счётного набора векторных пространств изоморфна , а прямое произведение .
Если заданы пространства и , то легко найти базис их суммы: нужно выписать все эти векторы в матрицу и привести её методом Гаусса к верхнетреугольному виду. Тогда строки с единицами будут базисом суммы.
Чтобы найти базис пересечения запишем матрицу вида такого вида:
где в стоит базис . Тогда в получаем базис . Почему?
Обозначим через
подпространство в и рассмотрим проекцию на первую координату. Тогда , . Значит,
В матрицах и стоит базис , причём в — базис . При этом вектора из лежат в ядре, линейно независимы и их количество равно размерности . Значит в стоит базис пересечения.
Пусть — векторное пространство над полем .
Определение 7.10. Пространство называется двойственным пространством и обозначается через .
Элементы — линейные функционалы. Если зафиксировать базис пространства , то получим биекцию
Следствие 7.11. Если , то .
В случае и базиса определим функционалы :
образуют базис , в частности, . Отметим при этом, что не существует никакого способа задать изоморфизм и , не выбирая базис, то есть изоморфизм в этом случае не является каноническим.
Пример 7.12. как векторные пространства: выберем базис в и каждому сопоставим ряд . При этом изоморфизм функционал , переходит в геометрическую прогрессию
Предложение 7.13. Отображение
— изоморфизм векторных пространств.
Доказательство. Пусть — базис . Тогда
то есть , а значит переводит базис в базис, то есть является изоморфизмом.
В частности, если , то канонически.