Матрица, задающая линейное преобразование, зависит от базиса. Покажем какова связь между матрицами, задающими в разных базисах одно линейное преобразование.
Пусть даны базисы e и e' с матрицей перехода T:
e' = Te
Пусть линейное преобразование φ задается в этих базисах матрицами A и A' соответственно:
eφ=Ae; e'φ=A'e'
(Te)φ = A'(Te)
Однако,
(Te)φ = T(eφ)
(Te)φ = T(eφ) = T(Ae) = (TA)e; A'(Te) = (A'T)e; т.е.
(TA)e=(A'T)e
Если хотя бы для одного i=1…n i-ая строка TA будет отлична от i-ой строки A'T, то две различные линейные комбинации векторов e1,e2,…,en будут равны друг другу, что противоречит линейной независимости базиса e.
Значит TA = A'T, откуда (т.к. T невырождена)
A'=TAT^-1; A = T^-1 * A' *T
Замечание: матрицы B и C подобны если C = Q^-1 * B * Q, матрица C получена трансформированием матрицы B матрицей Q
Матрицы, задающие одно и то же линейное преобразование в разных базисах, подобны между собой. При этом матрица линейного преобразования φ в базисе e' получается трансформированием матрицы этого преобразования в базисе e матрицей перехода от базиса e' к базису e.
Пример. Найти матрицу перехода
от базиса | к базису | |
---|---|---|
![]() |
![]() |
|
![]() |
![]() |
|
![]() |
![]() |
|
![]() |
![]() |
|
![]() |
![]() |
Решение. Можно попытаться найти элементы матрицы напрямую — устанавливая формулы связи между строками. В нашем конкретном примере это не очень трудно сделать — первый и четвертый столбцы матрицы
вообще очевидны поскольку
. Но мы пойдем по формальному пути и воспользуемся определяющим матричным соотношением, которое мы получили при доказательстве предыдущей теоремы. Поставим координаты базисных векторов по столбцам соответствующих матриц:
![left[{mathfrak X}_1|dots|{mathfrak X}_nright]=left[X_1|dots|X_nright]cdot C quad Rightarrow quad C= left[X_1|dots|X_nright]^{-1} cdot left[{mathfrak X}_1|dots|{mathfrak X}_nright] .](http://pmpu.ru/vf4/equations/d/71ca1b54098ad9459c7fd7c3a17b350d.png)
В нашем примере имеем:



Новые координаты выражаются через старые по формуле

при этом матрицу можно интерпретировать как матрицу перехода от нового базиса к старому.