В линейной алгебре базис векторного пространства размерности
n
{\displaystyle n}
[ 1] — это последовательность из
n
{\displaystyle n}
векторов
(
α
1
,
.
.
.
,
α
n
)
{\displaystyle (\alpha _{1},...,\alpha _{n})}
, таких, что любой вектор пространства может быть представлен единственным образом в виде линейной комбинации базисных векторов. При заданном базисе операторы представляются в виде квадратных матриц . Так как часто есть необходимость работать с несколькими базисами в одном и том же векторном пространстве, необходимо иметь правило перевода координат векторов и операторов из базиса в базис. Такой переход осуществляется с помощью матрицы перехода, или замены .
Если векторы
b
1
,
⋯
,
b
n
{\displaystyle \mathbf {b_{1}} ,\cdots ,\mathbf {b_{n}} }
выражаются через векторы
a
1
,
⋯
,
a
n
{\displaystyle \mathbf {a_{1}} ,\cdots ,\mathbf {a_{n}} }
как:
b
1
=
α
11
a
1
+
α
21
a
2
+
…
+
α
n
1
a
n
{\displaystyle \mathbf {b} _{1}=\alpha _{11}\mathbf {a} _{1}+\alpha _{21}\mathbf {a} _{2}+\ldots +\alpha _{n1}\mathbf {a} _{n}}
.
b
2
=
α
12
a
1
+
α
22
a
2
+
…
+
α
n
2
a
n
{\displaystyle \mathbf {b} _{2}=\alpha _{12}\mathbf {a} _{1}+\alpha _{22}\mathbf {a} _{2}+\ldots +\alpha _{n2}\mathbf {a} _{n}}
.
…
{\displaystyle \ldots }
.
b
n
=
α
1
n
a
1
+
α
2
n
a
2
+
…
+
α
n
n
a
n
{\displaystyle \mathbf {b} _{n}=\alpha _{1n}\mathbf {a} _{1}+\alpha _{2n}\mathbf {a} _{2}+\ldots +\alpha _{nn}\mathbf {a} _{n}}
.
то матрица перехода от базиса
(
a
1
,
⋯
,
a
n
)
{\displaystyle (\mathbf {a_{1}} ,\cdots ,\mathbf {a_{n}} )}
к базису
(
b
1
,
⋯
,
b
n
{\displaystyle (\mathbf {b_{1}} ,\cdots ,\mathbf {b_{n}} }
) будет:
(
α
11
α
12
.
.
.
α
1
n
α
21
α
22
.
.
.
α
2
n
.
.
.
.
.
.
.
.
.
.
.
.
α
n
1
α
n
2
.
.
.
α
n
n
)
{\displaystyle {\begin{pmatrix}\alpha _{11}&\alpha _{12}&...&\alpha _{1n}\\\alpha _{21}&\alpha _{22}&...&\alpha _{2n}\\...&...&...&...\\\alpha _{n1}&\alpha _{n2}&...&\alpha _{nn}\end{pmatrix}}}
При умножении матрицы, обратной к матрице перехода, на столбец, составленный из коэффициентов разложения вектора по базису
a
1
,
a
2
,
…
,
a
n
{\displaystyle a_{1},a_{2},\ldots ,a_{n}}
, мы получаем тот же вектор, выраженный через базис
b
1
,
b
2
,
…
,
b
n
{\displaystyle b_{1},b_{2},\ldots ,b_{n}}
.
Для того, чтобы повернуть вектор на угол θ против часовой стрелки, можно умножить матрицу поворота на него:
[
x
′
y
′
]
=
[
cos
θ
−
sin
θ
sin
θ
cos
θ
]
[
x
y
]
{\displaystyle {\begin{bmatrix}x'\\y'\end{bmatrix}}={\begin{bmatrix}\cos \theta &-\sin \theta \\\sin \theta &\cos \theta \end{bmatrix}}{\begin{bmatrix}x\\y\end{bmatrix}}}
Матрицы наиболее распространённых преобразований
В двумерных координатах
В однородных двумерных координатах
В однородных трёхмерных координатах
Масштабирование
При a , b и c — коэффициенты масштабирования соответственно по осям OX , OY и OZ :
[
a
0
0
b
]
{\displaystyle {\begin{bmatrix}a&0\\0&b\end{bmatrix}}}
[
a
0
0
0
b
0
0
0
1
]
{\displaystyle {\begin{bmatrix}a&0&0\\0&b&0\\0&0&1\end{bmatrix}}}
[
a
0
0
0
0
b
0
0
0
0
c
0
0
0
0
1
]
{\displaystyle {\begin{bmatrix}a&0&0&0\\0&b&0&0\\0&0&c&0\\0&0&0&1\end{bmatrix}}}
Поворот
При φ — угол поворота изображения в двухмерном пространстве
По часовой стрелке
[
cos
ϕ
sin
ϕ
−
sin
ϕ
cos
ϕ
]
{\displaystyle {\begin{bmatrix}\cos \phi &\sin \phi \\-\sin \phi &\cos \phi \end{bmatrix}}}
[
cos
ϕ
sin
ϕ
0
−
sin
ϕ
cos
ϕ
0
0
0
1
]
{\displaystyle {\begin{bmatrix}\cos \phi &\sin \phi &0\\-\sin \phi &\cos \phi &0\\0&0&1\end{bmatrix}}}
Относительно OX на угол φ
[
1
0
0
0
0
cos
ϕ
−
sin
ϕ
0
0
sin
ϕ
cos
ϕ
0
0
0
0
1
]
{\displaystyle {\begin{bmatrix}1&0&0&0\\0&\cos \phi &-\sin \phi &0\\0&\sin \phi &\cos \phi &0\\0&0&0&1\end{bmatrix}}}
Относительно OY на угол ψ
[
cos
ψ
0
sin
ψ
0
0
1
0
0
−
sin
ψ
0
cos
ψ
0
0
0
0
1
]
{\displaystyle {\begin{bmatrix}\cos \psi &0&\sin \psi &0\\0&1&0&0\\-\sin \psi &0&\cos \psi &0\\0&0&0&1\end{bmatrix}}}
Против часовой стрелки
[
cos
ϕ
−
sin
ϕ
sin
ϕ
cos
ϕ
]
{\displaystyle {\begin{bmatrix}\cos \phi &-\sin \phi \\\sin \phi &\cos \phi \end{bmatrix}}}
Относительно OZ на угол χ
[
cos
χ
−
sin
χ
0
0
sin
χ
cos
χ
0
0
0
0
1
0
0
0
0
1
]
{\displaystyle {\begin{bmatrix}\cos \chi &-\sin \chi &0&0\\\sin \chi &\cos \chi &0&0\\0&0&1&0\\0&0&0&1\end{bmatrix}}}
Перемещение
При a , b и c — смещение соответственно по осям OX , OY и OZ .
В неоднородных координатах не имеет матричного представления.
[
1
0
a
0
1
b
0
0
1
]
{\displaystyle {\begin{bmatrix}1&0&a\\0&1&b\\0&0&1\end{bmatrix}}}
[
1
0
0
a
0
1
0
b
0
0
1
c
0
0
0
1
]
{\displaystyle {\begin{bmatrix}1&0&0&a\\0&1&0&b\\0&0&1&c\\0&0&0&1\end{bmatrix}}}
Матрица перехода является невырожденной . То есть определитель этой матрицы не равен нулю.
P
e
→
e
′
−
1
=
P
e
′
→
e
{\displaystyle P_{e\rightarrow e'}^{-1}=P_{e'\rightarrow e}}
Найдём матрицу перехода от базиса
a
1
=
(
1
2
−
1
)
,
a
2
=
(
−
1
−
4
2
)
,
a
3
=
(
5
1
0
)
{\displaystyle a_{1}={\begin{pmatrix}1\\2\\-1\end{pmatrix}},a_{2}={\begin{pmatrix}-1\\-4\\2\end{pmatrix}},a_{3}={\begin{pmatrix}5\\1\\0\end{pmatrix}}}
к единичному базису
b
1
=
(
1
0
0
)
,
b
2
=
(
0
1
0
)
,
b
3
=
(
0
0
1
)
{\displaystyle b_{1}={\begin{pmatrix}1\\0\\0\end{pmatrix}},b_{2}={\begin{pmatrix}0\\1\\0\end{pmatrix}},b_{3}={\begin{pmatrix}0\\0\\1\end{pmatrix}}}
путём элементарных преобразований
(
1
−
1
5
1
0
0
2
−
4
1
0
1
0
−
1
2
0
0
0
1
)
→
(
1
0
0
2
−
10
−
19
0
1
0
1
−
5
−
9
0
0
1
0
1
2
)
{\displaystyle \left({\begin{array}{ccc|ccc}1&-1&5&1&0&0\\2&-4&1&0&1&0\\-1&2&0&0&0&1\end{array}}\right)\rightarrow \left({\begin{array}{ccc|ccc}1&0&0&2&-10&-19\\0&1&0&1&-5&-9\\0&0&1&0&1&2\end{array}}\right)}
следовательно
P
a
→
b
=
(
2
−
10
−
19
1
−
5
−
9
0
1
2
)
{\displaystyle P_{a\rightarrow b}={\begin{pmatrix}2&-10&-19\\1&-5&-9\\0&1&2\end{pmatrix}}}
↑ David C. Lay, Steven R. Lay, Judi J. McDonald. Linear Algebra and Its Applications, Global Edition (англ.) . — Pearson, 2021. — P. 247. — 755 p.