Математика / Матрицы, определители

Переход координат между базисами

Переход координат между базисами переводит координатный столбец одного и того же вектора из базиса B в базис C. Сам вектор не меняется, меняется только его числовое описание.

Опубликовано: Обновлено:

Формула

$$[v]_C=P_C^{-1}P_B[v]_B$$
basis-change Один вектор в двух координатных сетках

Показать один вектор поверх двух сеток: стандартной и наклонной, с разными координатными подписями.

Матрица перехода меняет подпись вектора, а не сам вектор.

Обозначения

$[v]_B$
координаты вектора v в базисе B, столбец
$[v]_C$
координаты того же вектора в базисе C, столбец
$P_B$
матрица базиса B в стандартных координатах, матрица
$P_C$
матрица базиса C в стандартных координатах, матрица

Условия применения

  • B и C должны быть базисами одного и того же конечномерного пространства.
  • P_B и P_C должны быть записаны в одной стандартной системе координат.
  • Матрица P_C должна быть обратимой, если C является базисом всего пространства.

Ограничения

  • Формула меняет координаты вектора, а не сам вектор.
  • Нельзя использовать P_C^{-1}P_B, если P_B и P_C относятся к разным пространствам или разным стандартным системам без согласования.
  • В численных задачах плохо обусловленный базис может давать заметные ошибки при вычислении обратной матрицы.

Подробное объяснение

Переход между базисами удобно понимать как двухшаговую операцию. Сначала координаты [v]_B превращаются в сам вектор в стандартной записи: v=P_B[v]_B. Затем этот же вектор выражается в базисе C, то есть решается система P_C x=v. Отсюда x=P_C^{-1}v=P_C^{-1}P_B[v]_B. Полученный x и есть [v]_C.

Эта формула снимает типичную путаницу: матрица перехода работает с координатами, а не с геометрическими объектами напрямую. Если нарисовать стрелку v на плоскости, она не повернется и не изменит длину только потому, что мы сменили базис. Изменится числовой столбец, потому что новые базисные стрелки собирают ту же геометрическую стрелку другими коэффициентами.

Матрица перехода из B в C равна P_C^{-1}P_B. Она обратима, а обратная к ней матрица равна P_B^{-1}P_C и переводит координаты обратно. Поэтому смена базиса не теряет информацию. Она только меняет язык описания. Эта обратимость отличает настоящую смену базиса от проекции, где часть информации может исчезнуть.

В дальнейшем эта же идея используется для матриц линейных операторов. Если координаты векторов меняются при помощи матрицы перехода, то матрица оператора тоже должна измениться согласованно, иначе результат умножения перестанет описывать тот же линейный оператор.

Как пользоваться формулой

  1. Составьте P_B из векторов базиса B в стандартных координатах.
  2. Составьте P_C из векторов базиса C в той же системе.
  3. Вычислите матрицу перехода M=P_C^{-1}P_B.
  4. Умножьте [v]_C=M[v]_B.
  5. Проверьте результат через обратный переход или через восстановление стандартного вектора.

Историческая справка

Переход между базисами является современной формой координатной идеи: один и тот же объект можно описывать разными числовыми системами. В аналитической геометрии это проявлялось как смена осей координат. В матричной алгебре XIX-XX веков такая смена стала записываться компактно через обратимые матрицы. Когда линейная алгебра перешла к абстрактным пространствам, формула P_C^{-1}P_B стала универсальным способом переводить координатные столбцы между двумя базисами одного пространства. В таком виде она стала рабочим инструментом для диагонализации, нормальных форм и всех ситуаций, где удобный базис отличается от стандартного. Поэтому смена базиса стала общей техникой, а не отдельным приемом аналитической геометрии.

Историческая линия формулы

Формулу перехода координат не стоит связывать с одним автором. Исторически она соединяет декартову координатную традицию, матричный язык Сильвестра и Кэли, а также строгую теорию базисов конечномерных пространств. В учебном изложении важнее подчеркнуть направление перехода и согласование базисов, чем искать персонального автора.

Пример

Пусть B=((1,1),(1,-1)), C=((1,0),(0,1)) - стандартный базис, а [v]_B=(3,1)^T. Матрица P_B=[[1,1],[1,-1]], а P_C=I. Тогда [v]_C=P_C^{-1}P_B[v]_B=P_B(3,1)^T=(4,2)^T. Теперь перейдем наоборот: если [v]_C=(4,2)^T, то [v]_B=P_B^{-1}[v]_C. Для P_B^{-1} получаем [[1/2,1/2],[1/2,-1/2]], поэтому [v]_B=(3,1)^T. Это показывает, что переход туда и обратно возвращает исходные координаты, если обе матрицы базисов записаны правильно. Если результат не возвращается, обычно перепутан порядок базисов или направление матрицы.

Частая ошибка

Самая опасная ошибка - перепутать порядок множителей. Формула P_C^{-1}P_B переводит из B в C, а P_B^{-1}P_C переводит из C в B. Вторая ошибка - думать, что [v]_B и [v]_C описывают разные векторы; это один и тот же вектор на разных координатных языках. Третья ошибка - забыть, что векторы базисов должны быть записаны в одной общей системе координат. Если один базис уже дан в координатах другого, формула меняется.

Практика

Задачи с решением

Перейти в стандартный базис

Условие. B=((2,0),(0,3)), C - стандартный базис, [v]_B=(4,5)^T. Найдите [v]_C.

Решение. P_B=[[2,0],[0,3]], P_C=I. Значит [v]_C=P_B[v]_B=(8,15)^T.

Ответ. [v]_C=(8,15)^T

Перейти из стандартного базиса в новый

Условие. B=((1,1),(1,-1)), v=(6,2). Найдите [v]_B.

Решение. Решаем x+y=6, x-y=2. Получаем x=4, y=2. Это то же, что P_B^{-1}v.

Ответ. [v]_B=(4,2)^T

Дополнительные источники

  • Jim Hefferon, Linear Algebra, change of basis
  • MIT OpenCourseWare 18.06SC, basis and coordinate transformations
  • Sheldon Axler, Linear Algebra Done Right, change of coordinates

Связанные формулы

Математика

Матрица базиса и стандартные координаты

$v=P_B[v]_B,\quad P_B=[e_1\ \cdots\ e_n]$

Матрица базиса переводит координатный столбец в выбранном базисе в стандартные координаты. Ее столбцы - это сами базисные векторы, записанные в стандартной системе.

Математика

Координаты вектора в базисе

$v=x_1e_1+\cdots+x_ne_n,\quad [v]_B=(x_1,\ldots,x_n)^T$

Координаты вектора в базисе - это коэффициенты единственного разложения вектора по базисным векторам. Сам вектор не меняется, меняется только числовая запись относительно выбранного базиса.

Математика

Матрица оператора при смене базиса

$[T]_C=S^{-1}[T]_B S,\quad [v]_B=S[v]_C$

При смене базиса матрица одного и того же линейного оператора меняется по формуле подобия. Это позволяет описывать один оператор разными матрицами без изменения самого действия на пространстве.