|
|
| (8 intermediate revisions by the same user not shown) |
| Line 1: |
Line 1: |
| | == Tex Things == | | == Tex Things == |
| | $\R, \C, \Z, \Q$ | | $\R, \C, \Z, \Q$ |
| − |
| |
| − | == Render Test ==
| |
| − | {{TEX|part}}
| |
| − | $\newcommand{\tensor}{\otimes}$
| |
| − | $\newcommand{\lieg}{\mathfrak{g}}$
| |
| − | $\newcommand{\iso}{\cong}$
| |
| − |
| |
| − | ====Tensor product of two unitary modules====
| |
| − |
| |
| − | The tensor product of two unitary modules $V_1$ and $V_2$ over an associative commutative ring $A$ with a unit is the $A$-module $V_1 \tensor_A V_2$ together with an $A$-bilinear mapping
| |
| − |
| |
| − | $$(x_1, x_2) \mapsto x_1 \tensor x_2 \in V_1 \tensor_A V_2$$
| |
| − | which is universal in the following sense: For any $A$-bilinear mapping $\beta: V_1 \times V_2 \to W$, where $W$ is an arbitrary $A$-module, there is a unique $A$-linear mapping $b : V_1 \tensor_A V_2 \to W$ such that
| |
| − |
| |
| − | $$\beta(x_1, x_2) = b(x_1 \tensor x_2), \qquad x_1 \in V_1, \qquad x_2 \in V_2.$$
| |
| − | The tensor product is uniquely defined up to a natural isomorphism. It always exists and can be constructed as the quotient module of the free $A$-module $F$ generated by the set $V_1 \times V_2$ modulo the $A$-submodule $R$ generated by the elements of the form
| |
| − |
| |
| − | $$(x_1 + y, x_2) - (x_1, x_2) - (y, x_2),$$
| |
| − |
| |
| − | $$(x_1, x_2 + z) - (x_1, x_2) - (x_1, z),$$
| |
| − |
| |
| − | $$(cx_1, x_2) - c(x_1, x_2),$$
| |
| − |
| |
| − | $$(x_1, cx_2) - c(x_1, x_2),$$
| |
| − |
| |
| − | $$x_1, y \in V_1, \qquad x_2, z \in V_2, \qquad c \in A;$$
| |
| − | then $x_1 \tensor x_2 = (x_1, x_2) + R$. If one gives up the requirement of commutativity of $A$, a construction close to the one described above allows one to form from a right $A$-module $V_1$ and a left $A$-module $V_2$ an Abelian group $V_1 \tensor_A V_2$, also called the tensor product of these modules
| |
| − | [[#References|[1]]]. In what follows $A$ will be assumed to be commutative.
| |
| − |
| |
| − | The tensor product has the following properties:
| |
| − |
| |
| − | $$A \tensor_A V \iso V,$$
| |
| − |
| |
| − | $$V_1 \tensor_A V_2 \iso V_2 \tensor_A V_1,$$
| |
| − |
| |
| − | $$(V_1 \tensor_A V_2) \tensor V_3 \iso V_1 \tensor_A (V_2 \tensor_A V_3),$$
| |
| − |
| |
| − | $$\left( \bigoplus_{i \in I} V_i \right) \tensor_A W \iso \bigoplus_{i \in I} (V_i \tensor_A W)$$
| |
| − | for any $A$-modules $V$, $V_i$ and $W$.
| |
| − |
| |
| − | If $(x_i)_{i \in I}$ and $(y_j)_{j \in J}$ are bases of the free $A$-modules $V_1$ and $V_2$, then $(x_i \tensor y_j)_{(i,j) \in I\times J}$ is a basis of the module $V_1 \tensor_A V_2$. In particular,
| |
| − |
| |
| − | $$\dim(V_1 \tensor_A V_2) = \dim V_1 \cdot \dim V_2$$
| |
| − | if the $V_i$ are free finitely-generated modules (for instance, finite-dimensional vector spaces over a field $A$). The tensor product of cyclic $A$-modules is computed by the formula
| |
| − |
| |
| − | $$(A/I) \tensor_A (A/J) \iso A/(I+J)$$
| |
| − | where $I$ and $J$ are ideals in $A$.
| |
| − |
| |
| − | One also defines the tensor product of arbitrary (not necessarily finite) families of $A$-modules. The tensor product
| |
| − |
| |
| − | $$\bigotimes^p V = V \tensor_A \cdots \tensor_A V \qquad (p \text{ factors})$$
| |
| − | is called the $p$-th tensor power of the $A$-module $V$; its elements are the contravariant tensors (cf.
| |
| − | [[Tensor on a vector space|Tensor on a vector space]]) of degree $p$ on $V$.
| |
| − |
| |
| − | To any pair of homomorphisms of $A$-modules $\alpha_i : V_i \to W_i$, $i=1,2$, corresponds their tensor product $\alpha_1 \tensor \alpha_2$, which is a homomorphism of $A$-modules $V_1 \tensor_A V_2 \to W_1 \tensor_A W_2$ and is defined by the formula
| |
| − |
| |
| − | $$(\alpha_1 \tensor \alpha_2) (x_1 \tensor x_2) = \alpha(x_1)\tensor \alpha_2(x_2), \qquad x_i \in V_i.$$
| |
| − | This operation can also be extended to arbitrary families of homomorphisms and has functorial properties (see
| |
| − | [[Module|Module]]). It defines a homomorphism of $A$-modules
| |
| − |
| |
| − | $$\Hom_A(V_1, W_1) \tensor_A \Hom_A(V_2, W_2) \to$$
| |
| − |
| |
| − | $$\to \Hom_A(V_1 \tensor V_2, W_1 \tensor W_2),$$
| |
| − | which is an isomorphism if all the $V_i$ and $W_i$ are free and finitely generated.
| |
| − |
| |
| − |
| |
| − |
| |
| − | =====Comments=====
| |
| − |
| |
| − | An important interpretation of the tensor product in (theoretical) physics is as follows. Often the states of an object, say, a particle, are defined as the vector space $V$ over $\C$ of all complex linear combinations of a set of pure states $e_i$, $i \in I$. Let the pure states of a second similar object be $f_j$, $j \in J$, yielding a second vector space $W$. Then the pure states of the ordered pair of objects are all pairs $(e_i, f_j)$ and the space of states of this ordered pair is the tensor product $V\tensor_\C W$.
| |
| − |
| |
| − |
| |
| − |
| |
| − | ====Tensor product of two algebras====
| |
| − |
| |
| − | The tensor product of two algebras $C_1$ and $C_2$ over an associative commutative ring $A$ with a unit is the algebra $C_1 \tensor_A C_2$ over $A$ which is obtained by introducing on the tensor product $C_1 \tensor_A C_2$ of $A$-modules a multiplication according to the formula
| |
| − |
| |
| − | $$(x_1 \tensor x_2)(y_1 \tensor y_2) = (x_1 y_1) \tensor (x_2 y_2), \qquad x_i, y_i \in C_i.$$
| |
| − | This definition can be extended to the case of an arbitrary family of factors. The tensor product $C_1 \tensor_A C_2$ is associative and commutative and contains a unit if both algebras $C_i$ have a unit. If $C_1$ and $C_2$ are algebras with a unit over the field $A$, then $\tilde C_1 = C_1 \tensor \mathbf{1}$ and $\tilde C_2 = \mathbf{1} \tensor C_2$ are subalgebras of $C_1 \tensor_A C_2$ which are isomorphic to $C_1$ and $C_2$ and commute elementwise. Conversely, let $C$ be an algebra with a unit over the field $A$, and let $C_1$ and $C_2$ be subalgebras of it containing its unit and such that $x_1 x_2 = x_2 x_1$ for any $x_i \in C_i$. Then there is a homomorphism of $A$-algebras $\phi : C_1 \tensor_A C_2 \to C$ such that $\phi(x_1 \tensor x_2) = x_1 x_2$, $x_i \in C_i$. For $\phi$ to be an isomorphism it is necessary and sufficient that there is in $C_1$ a basis over $A$ which is also a basis of the right $C_2$-module $C$.
| |
| − |
| |
| − |
| |
| − |
| |
| − | ====Tensor product of two matrices (by D.A. Suprunenko)====
| |
| − |
| |
| − | The tensor product, or
| |
| − | [[Kronecker product]] (cf.
| |
| − | [[Matrix multiplication]]), of two matrices $A = \| \alpha_{ij} \|$ and $B$ is the matrix
| |
| − |
| |
| − | $$A \tensor B = \begin{Vmatrix} \alpha_{11} B & \cdots & \alpha_{1n} B \\ \vdots & \ddots & \vdots \\ \alpha_{m1} B & \cdots & \alpha_{mn} B \end{Vmatrix}.$$
| |
| − | Here, $A$ is an $(m\times n)$-matrix, $B$ is a $(p \times q)$-matrix and $A \tensor B$ is an $(mp \times nq)$-matrix over an associative commutative ring $k$ with a unit.
| |
| − |
| |
| − | Properties of the tensor product of matrices are:
| |
| − |
| |
| − | $$(A_1 + A_2) \tensor B = A_1 \tensor B + A_2 \tensor B,$$
| |
| − |
| |
| − | $$A \tensor (B_1 + B_2) = A \tensor B_1 + A\tensor B_2,$$
| |
| − |
| |
| − | $$\alpha(A \tensor B) = \alpha A \tensor B = A \tensor \alpha B,$$
| |
| − | where $\alpha \in k$,
| |
| − |
| |
| − | $$(A \tensor B)(C \tensor D) = AC \tensor BD).$$
| |
| − | If $m=n$ and $p=q$, then
| |
| − |
| |
| − | $$\det(A \tensor B) = (\det A)^p (\det B)^n.$$
| |
| − | Let $k$ be a field, $m=n$ and $p=q$. Then $A\tensor B$ is similar to $B \tensor A$, and $\det(A \tensor E_p - E_n \tensor B)$, where $E_s$ is the unit matrix, coincides with the resultant of the characteristic polynomials of $A$ and $B$.
| |
| − |
| |
| − | If $\alpha : V \to V'$ and $\beta : W \to W'$ are homomorphisms of unitary free finitely-generated $k$-modules and $A$ and $B$ are their matrices in certain bases, then $A \tensor B$ is the matrix of the homomorphism $\alpha \tensor \beta : V \tensor W \to V' \tensor W'$ in the basis consisting of the tensor products of the basis vectors.
| |
| − |
| |
| − |
| |
| − |
| |
| − | ====Tensor product of two representations (by A.I. Shtern)====
| |
| − |
| |
| − | The tensor product of two representations $\pi_1$ and $\pi_2$ of a group $G$ in vector spaces $E_1$ and $E_2$, respectively, is the representation $\pi_1 \tensor \pi_2$ of $G$ in $E_1 \tensor E_2$ uniquely defined by the condition
| |
| − |
| |
| − | $$(\pi_1 \tensor \pi_2) (g) (\xi_1 \tensor \xi_2) = \pi_1(g) \xi_1 \tensor \pi_2(g) \xi_2 \tag{*}$$
| |
| − | for all $\xi_1 \in E_1$, $\xi_2 \in E_2$ and $g \in G$. If $\pi_1$ and $\pi_2$ are continuous unitary representations of a topological group $G$ in Hilbert spaces $E_1$ and $E_2$, respectively, then the operators $(\pi_1 \tensor \pi_2)(g)$, $g \in G$, in the vector space $E_1 \tensor E_2$ admit a unique extension by continuity to continuous linear operators $(\pi_1 \tensor -\pi_2)g$, $g\in G$, in the Hilbert space $E_1 \tensor -E_2$ (being the completion of the space $E_1 \tensor E_2$ with respect to the scalar product defined by the formula $(\xi_1 \tensor \xi_2, \eta_1 \tensor \eta_2) = (\xi_1, \eta_1)(\xi_2, \eta_2)$) and the mapping $\pi_1 \tensor \pi_2 : g \to (\pi_1 \tensor -\pi_2)g$, $g \in G$, is a continuous
| |
| − | [[Unitary representation|unitary representation]] of the group $G$ in the Hilbert space $E_1 \tensor -E_2$, called the tensor product of the unitary representations $\pi_1$ and $\pi_2$. The representations $\pi_1 \tensor \pi_2$ and $\pi_2 \tensor \pi_1$ are equivalent (unitarily equivalent if $\pi_1$ and $\pi_2$ are unitary). The operation of tensor multiplication can be defined also for continuous representations of a topological group in topological vector spaces of a general form.
| |
| − |
| |
| − |
| |
| − |
| |
| − | =====Comments=====
| |
| − |
| |
| − | If $\pi_i$ is a representation of an algebra $A_i$ in a vector space $E_i$, $i=1,2$, one defines the tensor product $\pi_1 \tensor \pi_2$, which is a representation of $A_1\tensor A_2$ in $E_1\tensor E_2$, by
| |
| − |
| |
| − | $$(\pi_1 \tensor \pi) (a_1 \tensor a_2) = \pi_1(a_1) \tensor \pi_2(a_2).$$
| |
| − | In case $A = A_1 = A_2$ is a bi-algebra (cf.
| |
| − | [[Hopf algebra|Hopf algebra]]), composition of this representation with the comultiplication $A \to A \tensor A$ (which is an algebra homomorphism) yields a new representation of $A$, (also) called the tensor product.
| |
| − |
| |
| − | In case $G$ is a group, a representation of $G$ is the same as a representation of the
| |
| − | [[Group algebra|group algebra]] $k[G]$ of $G$, which is a bi-algebra, so that the previous construction applies, giving the same definition as (*) above. (The comultiplication on $k[G]$ is given by $g\mapsto g \tensor g$.)
| |
| − |
| |
| − | In case $\lieg$ is a Lie algebra, a representation of $\lieg$ is the same as a representation of its
| |
| − | [[Universal enveloping algebra|universal enveloping algebra]], $U_\lieg$, which is also a bi-algebra (with comultiplication defined by $x\mapsto 1 \tensor x + x \tensor 1$, $x \in \lieg$). This permits one to define the tensor product of two representations of a Lie algebra:
| |
| − |
| |
| − | $$(\pi_1 \tensor \pi_2)(x) = 1 \tensor \pi_2(x) + \pi_1(x) \tensor 1.$$
| |
| − | ====Tensor product of two vector bundles====
| |
| − |
| |
| − | The tensor product of two vector bundles $E$ and $F$ over a topological space $X$ is the vector bundle $E\tensor F$ over $X$ whose fibre at a point $x \in X$ is the tensor product of the fibres $E_x \tensor F_x$. The tensor product can be defined as the bundle whose transfer function is the tensor product of the transfer functions of the bundles $E$ and $F$ in the same trivializing covering (see Tensor product of matrices, above).
| |
| − |
| |
| − |
| |
| − |
| |
| − | =====Comments=====
| |
| − |
| |
| − | For a vector bundle $E$ over a space $X$ and a vector bundle $F$ over a space $Y$ one defines the vector bundle $E \times F$ over $X \times Y$ (sometimes written $E \tensor F$) as the vector bundle over $X \times Y$ with fibre $E_x \tensor F_y$ over $(x, y)$. Pulling back this bundle by the diagonal mapping $x \mapsto (x, x)$ defines the tensor product defined above.
| |
| − |
| |
| − |
| |
| − |
| |
| − | ====References====
| |
| − |
| |
| − | <table> <TR><TD valign="top">[1]</TD>
| |
| − | <TD valign="top"> N. Bourbaki, "Elements of mathematics. Algebra: Algebraic structures. Linear algebra" , '''1''' , Addison-Wesley (1974) pp. Chapt.1;2 (Translated from French)</TD>
| |
| − | </TR> <TR><TD valign="top">[2]</TD>
| |
| − | <TD valign="top"> F. Kasch, "Modules and rings" , Acad. Press (1982) (Translated from German)</TD>
| |
| − | </TR> <TR><TD valign="top">[3]</TD>
| |
| − | <TD valign="top"> A.I. Kostrikin, Yu.I. Manin, "Linear algebra and geometry" , Gordon & Breach (1989) (Translated from Russian)</TD>
| |
| − | </TR> <TR><TD valign="top">[4]</TD>
| |
| − | <TD valign="top"> P.R. Halmos, "Finite-dimensional vector spaces" , v. Nostrand (1958)</TD>
| |
| − | </TR> <TR><TD valign="top">[5]</TD>
| |
| − | <TD valign="top"> M.F. Atiyah, "$K$-theory: lectures" , Benjamin (1967)</TD>
| |
| − | </TR> </table>
| |