Единственность главного ступенчатого вида матрицы
Обратимость матрицы перехода
-
Если |C|=0, то |C*|=0 и строки матрицы C* линейно зависимы. Поэтому из
следует, что v'1,...,v'n - линейно зависимая система в V, что приводит к противоречию с тем, что v'1,...,v'n - базис. Итак, мы показали, что и существует обратная матрица C-1 (тогда (C*)-1=(C-1)* ). -
Другое доказательство обратимости матрицы C дает интерпретация матрицы B=C-1 как матрицы перехода от второго базиса к первому.
Действительно, элементы v1,...,vn также выражаются как линейные комбинации элементов базиса {v'1,...,v'n} :
. Тогда . Так как , то Так как {v1,...,vn} - базис в V, то (CB)*=E, следовательно, CB=E, и поэтому B=C-1. -
Для любой обратимой матрицы , , и любого базиса {v1,...,vn} конечномерного линейного пространства K V, , элементы , где
образуют базис линейного пространства K V.Действительно, в этом случае
т. е. n линейно независимых элементов v1,...,vn линейно выражаются через v'1,...,v'n. По основной лемме о линейной зависимости элементы v'1,...,v'n линейно независимы. Так как , то {v'1,...,v'n} - базис линейного пространства K V.
Замена координат элемента линейного пространства при замене базиса
Пусть {v1,...,vn}, {v'1,...,v'n} - два базиса линейного пространства K V, , , , - матрица перехода от первого базиса ко второму,
.Так как то (x'1,...,x'n) = (x1,...,xn) (C-1)*, или что эквивалентноПример 9.9.1. Пусть V= R3, v1=(2,1,-3), v2=(3,2,-5), v3=(1,-1,1). Необходимо выяснить, образуют ли элементы v1, v2, v3 базис в R3, и если да, то найти координаты строки x=(6,2,-7) в базисе {v1,v2,v3}.
Решение
где {e1,e2,e3} - стандартный базис в R3, Строки v1, v2, v3 образуют базис в R3 тогда и только тогда, когда матрица C обратима. Если матрица C обратима, то столбец координат строки x в базисе {v1,v2,v3} равен Для вычисления этого столбца применим алгоритм вычисления матрицы A-1B в процессе работы которого проверяется, обратима ли матрица A=C : Таким образом, матрица C обратима, (1,1,1) - координаты строки x в базисе {v1,v2,v3}, x=v1+v2+v3.Этот же результат можно было получить, используя формулу (6,2,-7)(C*)-1=(1,1,1),
(здесь применяем элементарные преобразования столбцов).