Россия, Сургут, Сургутский Государственный Университет, 2017 |
Линейные трансформации
Рассмотрим следующую задачу: Возьмем вектор на плоскости ХУ и повернем его против часовой стрелки на
. Каковы будут координаты результирующего вектора
? Нетрудно найти решение, используя геометрию треугольников, но есть лучший подход, основанный на теоретическом анализе свойств трансформации поворотов. Если у нас есть два вектора v и w, то не имеет значение, найдем ли мы раньше сумму этих векторов и повернем суммарный вектор на угол
или вначале повернем каждый из векторов v и w на угол
, а затем найдем суммарный вектор. Окончательный результат будет один и тот же.
Линейные трансформации - английский термин " Transformation" мы решили переводить как " Трансформация", а не как " Преобразование". Это позволяет подчеркнуть специфичность этот термина, играющего важный смысл в данном тексте. Термин " Преобразование" используется в других контекстах.
Это свойство поворотов алгебраически записывается следующим образом:
![R_{alpha}(v+w)=R_{\alpha}(v)+R_{\alpha}(w)](/sites/default/files/tex_cache/7687466ca4039c51d2f12bf2dbe1845c.png)
Это же свойство применимо и к результату умножения вектора на число для любого вещественного числа с:
![R_{\alpha}(cv)=cR_{\alpha}(v)](/sites/default/files/tex_cache/6fea59cbfa9109cf79725080303e2adb.png)
Заметим, что довольно просто вычислить результат трансформации, когда он применяется к базисным векторам и
![R_{\alpha}{1\choose 0}={\cos \alpha \choose \sin \alpha},\\
R_{\alpha}{0\choose 1}={-\sin \alpha \choose \cos \alpha}](/sites/default/files/tex_cache/83dd0feb669896385408b3cf5ad5e62d.png)
Теперь мы можем вычислить результат трансформации поворота, применимой к вектору , записав его следующим образом:
![{3\choose 2}=3{1\choose 0}+2{0\choose 1}](/sites/default/files/tex_cache/2b062acc3b4c0cac5d53600ca681867f.png)
В результате получим:
![R_{20\circ}{3\choose 2}=3R_{20\circ}{1\choose 0}+2R_{20\circ}{0\choose 1}=3{\cos20\circ\choose \sin 20\circ}+2{-\sin20\circ\choose \cos20\circ}\approx{2.135\choose 2.905}](/sites/default/files/tex_cache/7e49076e4b0adebd6f7c6c36c3c47092.png)
Теперь мы хотим применить идею такого способа вычислений в более общей ситуации.
Рассмотрим векторное пространство - множество векторов, для которых определена операция сложения векторов и операция умножения векторов на числа. Пусть эти операции удовлетворяют некоторому списку свойств. Мы не собираемся перечислять здесь свойства из этого списка, достаточно сказать, что все они являются естественными свойствами, соответствующие ожиданиям. Примером может служить свойство, применимое для любой пары векторов v, w и произвольного числа с: с(v + w) = сv + сw.
Примерами векторных пространств являются:
- Множество векторов на плоскости;
- Множество векторов трехмерного пространства;
- Множество n-кубитов.
Существует алгебраическая конструкция, которая унифицирует все приведенные выше примеры. Пространство определяется как множество кортежей размера N, содержащих вещественные числа. Операции сложения векторов и умножения на число выполнятся над компонентами векторов:
![\begin{pmatrix} a_1 \\ a_2 \\ a_3 \\ \dots \\ a_N \end{pmatrix}+\begin{pmatrix} b_1 \\ b_2 \\ b_3 \\ \dots \\ b_N \end{pmatrix}=\begin{pmatrix} a_1+b_1 \\ a_2+b_2 \\ a_3+b_3 \\ \dots \\ a_N+b_N \end{pmatrix}, c\begin{pmatrix} a_1 \\ a_2 \\ a_3 \\ \dots \\ a_N \end{pmatrix}=\begin{pmatrix} ca_1 \\ ca_2 \\ ca_3 \\ \dots \\ ca_N \end{pmatrix}](/sites/default/files/tex_cache/f5280f6466dc637f388c8572de7f6b6b.png)
Философия, предложенная Рене Декартом, состоит в том, чтобы иметь две модели для векторов на плоскости: геометрическую модель, где вектора представляются направленными отрезками на плоскости, и алгебраическую, где вектора задаются парой чисел. Преимущество геометрической модели в том, что она допускает визуализацию, в то время как алгебраическая модель удобнее при проведении вычислений. Некоторые задачи проще решаются на геометрической модели, другие - на алгебраической.
Пространство имеет базис
, где
![e_1\begin{pmatrix} 1 \\ 0 \\ 0 \\ \dots \\ 0 \end{pmatrix}, e_2=\begin{pmatrix} 0 \\ 1 \\ 0 \\ \dots \\ 0 \end{pmatrix}, \dots, e_N=\begin{pmatrix} 0 \\ 0 \\ 0 \\ \dots \\ 1 \end{pmatrix}](/sites/default/files/tex_cache/864e5ea97071b1e39c6781e12e668782.png)
Каждый вектор в может быть представлен в виде линейной комбинации базисных векторов:
![\begin{pmatrix} a_1 \\ a_2 \\ a_3 \\ \dots \\ a_N \end{pmatrix}=\begin{pmatrix} a_1 \\ 0 \\ 0 \\ \dots \\ 0 \end{pmatrix}+\begin{pmatrix} 0 \\ a_2 \\ 0 \\ \dots \\ 0 \end{pmatrix}+\dots+\begin{pmatrix} 0 \\ 0 \\ 0 \\ \dots \\ a_N \end{pmatrix}=a_1e_1+a_2e_2+a_3e_3+\dots+a_Ne_N](/sites/default/files/tex_cache/d4e9a9bd54a8690cd06c7e585e30c4d8.png)
Сравнивая эту формулу с выражением для 2-кубита
![a_0|00\rangle +a_1|01\rangle +a_2|10\rangle +a_3|11\rangle ,](/sites/default/files/tex_cache/56e905cb6217bc95535ece7ceefd7e46.png)
можно заметить, что в пространстве 2-кубита базис содержит четыре чистые вектора состояний . Этот подход очевидным способом обобщается на пространство n-кубита.
Размерность векторного пространства задается числом базисных векторов. Мы видели, что размерность пространства равна N. Размерность векторного пространства n-кубитов равна
.
В дополнение к выше приведенным примерам конечномерных пространств следует упомянуть и пространства бесконечной размерности. Примером такого пространства является множество полиномов от одной переменной Х. Также, как и для векторов на плоскости, здесь определена операция сложения полиномов и операция умножения полинома на число. Что является базисом в пространстве полиномов? Полином записывается следующим образом:.
Мы видим, что коэффициенты можно интерпретировать как координаты вектора,
как базис в пространстве полиномов. Так как степеней полинома может быть бесконечно много, то и пространство полиномов является бесконечномерным.
Определение. Трансформация Т векторного пространства V называется линейной, если она удовлетворяет следующим двум свойствам:
![Т(v + w) = Т(v) + Т(w), for \; а11\; v,\; w\; in \; V,\\
Т(сv) = с Т(v), for\; anу\; number\; с\; and\; а11\; v\; in\; V.](/sites/default/files/tex_cache/61d24c5930b69df6a0823d9bdc60e8f0.png)