Тензорное произведение | это... Что такое Тензорное произведение? (original) (raw)

Тензорное произведение — операция над линейными пространствами, а также над элементами (векторами, матрицами, операторами, тензорами и т.д.) перемножаемых пространств.

Тензорное произведение линейных пространств и есть линейное пространство, обозначаемое $A \otimes B$ . Для элементов $a\in A$ и $b\in B$ их тензорное произведение $a \otimes b$ лежит в пространстве $A \otimes B$ .

Обозначение тензорного произведения произошло по аналогии с обозначением для декартова произведения множеств.

Содержание

1 Тензорное произведение линейных (векторных) пространств
- 1.1 Конечномерные пространства
- 1.2 Функториальность
2 Частные случаи
- 2.1 Тензорное произведение двух векторов
- 2.2 Тензорное произведение операторов
3 Свойства
4 Тензорное произведение модулей
5 Литература
6 См. также

Тензорное произведение линейных (векторных) пространств

Конечномерные пространства

Пусть и — конечномерные векторные пространства над полем , $\{ e_i \}_{i=1\dots n}$ — базис в , $\{ f_k \}_{k=1\dots m}$ — базис в . Тензорным произведением $A \otimes B$ пространств и будем называть векторное пространство, порождённое элементами $e_i \otimes f_k$ , называемыми тензорными произведениями базисных векторов. Тензорное произведение $a \otimes b$ произвольных векторов $a \in A,~b\in B$ можно определить, полагая операцию $\otimes$ билинейной:

$(\lambda a_1 + \mu a_2) \otimes b = \lambda\, a_1 \otimes b + \mu\, a_2 \otimes b,~~\lambda,\mu \in K$

$a \otimes (\lambda b_1 + \mu b_2) = \lambda\, a \otimes b_1 + \mu\, a \otimes b_2,~~\lambda,\mu \in K$

При этом тензорное произведение произвольных векторов и выражается как линейная комбинация базисных векторов $e_i \otimes f_k$ . Элементы в $A \otimes B$ , представимые в виде $a \otimes b$ , называются разложимыми.

Хотя тензорное произведение пространств определяется через выбор базисов, его геометрические свойства не зависят от этого выбора.

Функториальность

Тензорное произведение — это в некотором смысле наиболее общее пространство, в которое можно билинейно отобразить исходные пространства. А именно, для любого другого пространства и билинейного отображения $\otimes^\prime: A \times B \to C$ существует единственный гомоморфизм $f: A \otimes B \to C$ такой, что

$\otimes^\prime = f \circ \otimes$

В частности, отсюда следует, что тензорное произведение не зависит от выбора базисов в и , так как все получающиеся при этом пространства $A \otimes B$ оказываются канонически изоморфны.

Таким образом, произвольное билинейное отображение $L^2 \ni \varphi: A \times B \to C$ может быть определено как линейное отображение $L \ni \varphi: A \otimes B \to C$ , причём достаточно задать его лишь на произведениях базисных векторов.

Пространства $\ L^2(A \times B, C)$ и $L(A\otimes B, C)$ являются канонически изоморфными.

Частные случаи

Тензорное произведение двух векторов

(Матричное) умножение вектора-столбца справа на вектор-строку даёт их тензорное произведение:

$\mathbf{a} \otimes \mathbf{b} \rightarrow \begin{bmatrix}a_1 \\ a_2 \\ a_3 \\ a_4\end{bmatrix} \begin{bmatrix}b_1 & b_2 & b_3\end{bmatrix} = \begin{bmatrix}a_1b_1 & a_1b_2 & a_1b_3 \\ a_2b_1 & a_2b_2 & a_2b_3 \\ a_3b_1 & a_3b_2 & a_3b_3 \\ a_4b_1 & a_4b_2 & a_4b_3\end{bmatrix}$

или, если пользоваться верхними и нижними индексами (по повторяющимся индексам подразумевается суммирование):

$\mathbf{a} \otimes \mathbf{b} \rightarrow a_ib^j$

Если же не привязываться к матричной форме записи и матричным операциям, то, как и для тензоров более высокого ранга, прямое произведение будет представлять тензор более высокого ранга (для произведения векторов — второго, то есть с двумя значками) с компонентами, равными произведениям компонент множителей с соответствующими индексами:

$P_i^{\ j} = a_ib^j$

$P_{ij}\ = a_ib_j$

$P^{ij}\ = a^ib^j$

Произведение двух векторов называется также диадным, а результат (тензор второго ранга) — диадой.

Тензорным произведением пространства векторов-столбцов на пространство векторов-строк является пространство матриц.

Тензорное произведение операторов

Пусть $A: U_1 \to U_2$ , $B: W_1 \to W_2$ — линейные операторы. Тензорное произведение операторов $A\otimes B: U_1\otimes W_1 \to U_2\otimes W_2$ определяется по правилу

$(A\otimes B)(u\otimes w) = (A u)\otimes (B w),~~ u\in U_1,\,w\in W_1$

Если матрицы операторов при некотором выборе базисов имеют вид

$\mathrm{A} = \begin{bmatrix} a_{11} & \cdots & a_{1n} \\ \vdots & \ddots & \vdots \\ a_{m1} & \cdots & a_{mn} \end{bmatrix}$

$\mathrm{B} = \begin{bmatrix} b_{11} & \cdots & b_{1q} \\ \vdots & \ddots & \vdots \\ b_{p1} & \cdots & b_{pq} \end{bmatrix}$

то матрица их тензорного произведения запишется в базисе, образованном тензорным произведением базисов, в виде блочной матрицы

$\mathrm{A} \otimes \mathrm{B} = \begin{bmatrix} a_{11} B & \cdots & a_{1n}B \\ \vdots & \ddots & \vdots \\ a_{m1} B & \cdots & a_{mn} B \end{bmatrix} =$

$= \begin{bmatrix} a_{11} b_{11} & a_{11} b_{12} & \cdots & a_{11} b_{1q} & \cdots & \cdots & a_{1n} b_{11} & a_{1n} b_{12} & \cdots & a_{1n} b_{1q} \\ a_{11} b_{21} & a_{11} b_{22} & \cdots & a_{11} b_{2q} & \cdots & \cdots & a_{1n} b_{21} & a_{1n} b_{22} & \cdots & a_{1n} b_{2q} \\ \vdots & \vdots & \ddots & \vdots & & & \vdots & \vdots & \ddots & \vdots \\ a_{11} b_{p1} & a_{11} b_{p2} & \cdots & a_{11} b_{pq} & \cdots & \cdots & a_{1n} b_{p1} & a_{1n} b_{p2} & \cdots & a_{1n} b_{pq} \\ \vdots & \vdots & & \vdots & \ddots & & \vdots & \vdots & & \vdots \\ \vdots & \vdots & & \vdots & & \ddots & \vdots & \vdots & & \vdots \\ a_{m1} b_{11} & a_{m1} b_{12} & \cdots & a_{m1} b_{1q} & \cdots & \cdots & a_{mn} b_{11} & a_{mn} b_{12} & \cdots & a_{mn} b_{1q} \\ a_{m1} b_{21} & a_{m1} b_{22} & \cdots & a_{m1} b_{2q} & \cdots & \cdots & a_{mn} b_{21} & a_{mn} b_{22} & \cdots & a_{mn} b_{2q} \\ \vdots & \vdots & \ddots & \vdots & & & \vdots & \vdots & \ddots & \vdots \\ a_{m1} b_{p1} & a_{m1} b_{p2} & \cdots & a_{m1} b_{pq} & \cdots & \cdots & a_{mn} b_{p1} & a_{mn} b_{p2} & \cdots & a_{mn} b_{pq} \end{bmatrix}$

Соответствующая операция над матрицами называется кронекеровским произведением, по имени Леопольда Кронекера.

Свойства

$\dim A\otimes B = \dim A \cdot \dim B$

Следующие алгебраические свойства основаны на каноническом изоморфизме:

Ассоциативность

$(A \otimes B)\otimes C \simeq A \otimes(B \otimes C)$

Коммутативность

$A \otimes B \simeq B \otimes A$

Линейность

$A \otimes (B \oplus C) \simeq (A\otimes B) \oplus (A \otimes C)$

$\oplus$ — внешняя сумма линейных пространств.

Тензорное произведение модулей

Пусть $A_1,A_2,\dots,A_n$ — модули над некоторым коммутативным кольцом . Тензорным произведением модулей называется модуль над , данный вместе с полилинейным отображением $f\colon A_1\times \dots \times A_n \to B$ и обладающий свойством универсальности, то есть такой, что для всякого модуля над и любого полилинейного отображения $g\colon A_1\times \dots \times A_n \to C$ существует единственный гомоморфизм модулей $h\colon B \to C$ такой, что диаграмма

Tensor product1.gif

коммутативна. Тензорное произведение обозначается $A_1 \otimes\ldots\otimes A_n$ . Из универсальности тензорного произведения следует, что оно определено однозначно с точностью до изоморфизма.

Для доказательства существования тензорного произведения любых модулей над коммутативным кольцом построим свободный модуль , образующими которого будут _n_-ки элементов модулей $(x_1,\dots,x_n)$ где $x_i \in A_i$ . Пусть — подмодуль , порождаемый следующими элементами:

$(x_1,\dots,x_i + y_i,\dots,x_n) - (x_1,\dots,x_i,\dots,x_n) - (x_1,\dots,y_i,\dots,x_n)$
$(x_1,\dots,\lambda x_i,\dots,x_n) - \lambda(x_1,\dots,x_i,\dots,x_n)$

Тензорное произведение определяется как фактор-модуль B=M/N , класс $(x_1,\dots,x_n) + N$ обозначается $x_1 \otimes \dots \otimes x_n$ , и называется тензорным произведением элементов x_i , a определяется как соответствующее индуцированное отображение.

Из 1) и 2) следует что отображение $f\colon A_1\times \dots \times A_n \to B$ полилинейно. Докажем, что для для любого модуля и любого полилинейного отображения $g\colon A_1\times \dots \times A_n \to C$ существует единственный гомоморфизм модулей , такой, что $g = h \circ f$ .

В самом деле, так как свободен, то существует единственное отображение h^* , делающее диаграмму

Tensor product2.gif

коммутативной, а в силу того, что полилинейно, то на h^*(N) = 0 , отсюда, переходя к индуцированному отображению, получаем, что $h\colon M/N \to C$ , будет тем самым единственным гомоморфизмом, существование которого и требовалось доказать.

Элементы $A_1 \otimes \dots \otimes A_n$ , представимые в виде $x_1 \otimes \dots \otimes x_n$ , называются разложимыми.

Если $f_i\colon A_i \to B_i$ — изоморфизмы модулей, то индуцированный гомоморфизм, соответствующий билинейному отображению

$f_1\otimes\dots\otimes f_n\colon A_1\otimes\dots\otimes A_n \to B_1\otimes\dots\otimes B_n$

существующий по свойству универсальности, называется тензорным произведением гомоморфизмов f_i .

Особенно простой случай получается в случае свободных модулей. Пусть $e_{i 1},\dots,e_{i n}$ — базис модуля A_i . Построим свободный модуль над нашим кольцом, имеющий в качестве базиса элементы, соответствующие _n_-кам $(e_{1 m}, e_{2 p}, \dots, e_{n s})$ , определив отображение $f(e_{1 m}, e_{2 p}, \dots, e_{n s}) \to (e_{1 m}, e_{2 p}, \dots, e_{n s})$ и распространив его на $A_1 \times \dots \times A_n$ по линейности. Тогда является тензорным произведением, где $(e_{1 m}, e_{2 p}, \dots, e_{n s})$ является тензорным произведением элементов $e_{1m} \otimes e_{2p} \otimes \dots\otimes e_{ns}$ . Если число модулей и все их базисы конечны, то