logo

ベクトル空間のテンソル積 📂線形代数

ベクトル空間のテンソル積

ビルドアップ1

  • 便宜上、複素数空間C\mathbb{C}について展開するが、R\mathbb{R}や任意のベクトル空間でも関係ない。

有限集合Γ\Gammaから複素数空間への関数の集合をCΓ\mathbb{C}^{\Gamma}として表記しよう。

CΓ={f:ΓC} \mathbb{C}^{\Gamma} = \left\{ f : \Gamma \to \mathbb{C} \right\}

Γ\Gamman={1,2,,n}\mathbf{n} = \left\{ 1, 2, \dots, n \right\}とする。各1in1 \le i \le nを複素数ziCz_{i} \in \mathbb{C}に送る関数を(z1,,zn)(z_{1}, \dots, z_{n})と表記すると、これはCn\mathbb{C}^{\mathbf{n}}に属する関数であり、nn-複素数順序対集合Cn\mathbb{C}^{n}ベクトルとも同じである。

(z1,,zn):izi (z_{1}, \dots, z_{n}) : i \mapsto z_{i}

Cn:=Cn={(z1,,zn)ziC} \mathbb{C}^{n} := \mathbb{C}^{\mathbf{n}} = \left\{ (z_{1}, \dots, z_{n}) \vert z_{i} \in \mathbb{C} \right\}

つまり、vCΓv \in \mathbb{C}^{\Gamma}v:iziv : i \mapsto z_{i}と同じ関数としても、v=(z1,,zΓ)v = (z_{1}, \dots, z_{\left| \Gamma \right|})と同じ順序対としても見ることができる。

有限集合Γ1\Gamma_{1}Γ2\Gamma_{2}に対して、二つのベクトル空間CΓ1\mathbb{C}^{\Gamma_{1}}CΓ2\mathbb{C}^{\Gamma_{2}}のテンソル積とは、Γ1\Gamma_{1}Γ2\Gamma_{2}の積空間Γ1×Γ2\Gamma_{1} \times \Gamma_{2}から作られる関数空間(ベクトル空間)CΓ1×Γ2\mathbb{C}^{\Gamma_{1} \times \Gamma_{2}}として定義される。

定義2

有限集合Γ1\Gamma_{1}Γ2\Gamma_{2}に対し、二つのベクトル空間CΓ1\mathbb{C}^{\Gamma_{1}}CΓ2\mathbb{C}^{\Gamma_{2}}テンソル積tensor productを次のように定義する。

CΓ1CΓ2:=CΓ1×Γ2 \mathbb{C}^{\Gamma_{1}} \otimes \mathbb{C}^{\Gamma_{2}} := \mathbb{C}^{\Gamma_{1} \times \Gamma_{2}}

ここでΓ1×Γ2\Gamma_{1} \times \Gamma_{2}Γ1\Gamma_{1}Γ2\Gamma_{2}積空間である。

説明

簡単な例としてΓ1=2={1,2}\Gamma_{1} = \mathbf{2} = \left\{ 1, 2 \right\}Γ2=3={1,2,3}\Gamma_{2} = \mathbf{3} = \left\{ 1, 2, 3 \right\}とする。そしてΓ\Gammaをこれらの積空間とする。

Γ=Γ1×Γ2={(1,1),(1,2),(1,3),(2,1),(2,2),(2,3)} \Gamma = \Gamma_{1} \times \Gamma_{2} = \left\{ (1,1), (1,2), (1,3), (2,1), (2,2), (2,3) \right\}

その要素をそれぞれ次のように表記する。

eiej=(i,j) e_{i} \otimes e_{j} = (i, j)

すると、概要での論理をそのまま追って、vCΓv \in \mathbb{C}^{\Gamma}(i,j)αij(i,j) \mapsto \alpha_{ij}と同じ関数であり、(α11,a12,a13,a21,a22,a23)\left( \alpha_{11}, a_{12}, a_{13}, a_{21}, a_{22}, a_{23} \right)と同じ順序対と見ることができる。従って、CΓ\mathbb{C}^{\Gamma}{eiej:1i2,1j3}\left\{ e_{i} \otimes e_{j} : 1 \le i \le 2, 1 \le j \le 3 \right\}基底とするベクトル空間である。

CΓ={i,jαi,jeiej:αijC}={(α11,a12,a13,a21,a22,a23):αijC} \begin{align*} \mathbb{C}^{\Gamma} &= \left\{ \sum\limits_{i,j} \alpha_{i,j} e_{i} \otimes e_{j} : \alpha_{ij} \in \mathbb{C} \right\} \\ &= \left\{ \left( \alpha_{11}, a_{12}, a_{13}, a_{21}, a_{22}, a_{23} \right) : \alpha_{ij} \in \mathbb{C} \right\} \end{align*}

従って、C6\mathbb{C}^{6}同型である。

CΓ=C2C3C6 \mathbb{C}^{\Gamma} = \mathbb{C}^{2} \otimes \mathbb{C}^{3} \cong \mathbb{C}^{6}

C\mathbb{C}積空間に結びつけると、以下のように変数の位置が増え、テンソル積で結びつけると変数のインデックスの位置が増えると考えると簡単だろう。

z1C(z1,z2)C×C(z1,z2,z3)C×C×C z_{1} \in \mathbb{C}\qquad (z_{1},z_{2}) \in \mathbb{C} \times \mathbb{C}\qquad (z_{1}, z_{2}, z_{3}) \in \mathbb{C}\times \mathbb{C} \times \mathbb{C}

(z1,z2)C2(z11,z12,z21,z22)C2C2(z111,z112,z121,z122,z211,z212,z221,z222)C2C2C2 (z_{1}, z_{2}) \in \mathbb{C}^{2} \qquad (z_{11}, z_{12}, z_{21}, z_{22}) \in \mathbb{C}^{2} \otimes \mathbb{C}^{2} \\[1em] (z_{111}, z_{112}, z_{121}, z_{122}, z_{211}, z_{212}, z_{221}, z_{222}) \in \mathbb{C}^{2} \otimes \mathbb{C}^{2} \otimes \mathbb{C}^{2}

eieje_{i} \otimes e_{j}C6\mathbb{C}^{6}の標準基底のベクトルと次のように対応する。

e1e1=[100000]e1e2=[010000]e1e3=[001000]e2e1=[000100]e2e2=[000010]e2e3=[000001] e_{1} \otimes e_{1} = \begin{bmatrix}1 \\ 0 \\ 0 \\ 0 \\ 0 \\ 0\end{bmatrix} \quad e_{1} \otimes e_{2} = \begin{bmatrix}0 \\ 1 \\ 0 \\ 0 \\ 0 \\ 0\end{bmatrix} \quad e_{1} \otimes e_{3} = \begin{bmatrix}0 \\ 0 \\ 1 \\ 0 \\ 0 \\ 0\end{bmatrix} \\[2em] e_{2} \otimes e_{1} = \begin{bmatrix}0 \\ 0 \\ 0 \\ 1 \\ 0 \\ 0\end{bmatrix} \quad e_{2} \otimes e_{2} = \begin{bmatrix}0 \\ 0 \\ 0 \\ 0 \\ 1 \\ 0\end{bmatrix} \quad e_{2} \otimes e_{3} = \begin{bmatrix}0 \\ 0 \\ 0 \\ 0 \\ 0 \\ 1\end{bmatrix}

行列のクロネッカー積で表すと次のようになる。

e1e1=[10][100]=[1[100]0[100]]=[100000]e1e2=[10][010]=[1[010]0[010]]=[010000]e1e3=[10][001]=[1[001]0[001]]=[001000]e2e1=[01][100]=[0[100]1[100]]=[000100]e2e2=[01][010]=[0[010]1[010]]=[000010]e2e3=[01][001]=[0[001]1[001]]=[000001] e_{1} \otimes e_{1} = \begin{bmatrix} 1 \\ 0 \end{bmatrix} \otimes \begin{bmatrix} 1 \\ 0 \\ 0 \end{bmatrix} = \begin{bmatrix} 1 \begin{bmatrix} 1 \\ 0 \\ 0 \end{bmatrix} \\[1.5em] 0 \begin{bmatrix} 1 \\ 0 \\ 0 \end{bmatrix} \end{bmatrix} = \begin{bmatrix} 1 \\ 0 \\ 0 \\ 0 \\ 0 \\ 0 \end{bmatrix} \quad e_{1} \otimes e_{2} = \begin{bmatrix} 1 \\ 0 \end{bmatrix} \otimes \begin{bmatrix} 0 \\ 1 \\ 0\end{bmatrix} = \begin{bmatrix} 1 \begin{bmatrix} 0 \\ 1 \\ 0 \end{bmatrix} \\[1.5em] 0 \begin{bmatrix} 0 \\ 1 \\ 0 \end{bmatrix} \end{bmatrix} = \begin{bmatrix} 0 \\ 1 \\ 0 \\ 0 \\ 0 \\ 0 \end{bmatrix} \\[2em] e_{1} \otimes e_{3} = \begin{bmatrix} 1 \\ 0 \end{bmatrix} \otimes \begin{bmatrix} 0 \\ 0 \\ 1 \end{bmatrix} = \begin{bmatrix} 1 \begin{bmatrix} 0 \\ 0 \\ 1 \end{bmatrix} \\[1.5em] 0 \begin{bmatrix} 0 \\ 0 \\ 1 \end{bmatrix} \end{bmatrix} = \begin{bmatrix} 0 \\ 0 \\ 1 \\ 0 \\ 0 \\ 0 \end{bmatrix} \quad e_{2} \otimes e_{1} = \begin{bmatrix} 0 \\ 1 \end{bmatrix} \otimes \begin{bmatrix} 1 \\ 0 \\ 0 \end{bmatrix} = \begin{bmatrix} 0 \begin{bmatrix} 1 \\ 0 \\ 0 \end{bmatrix} \\[1.5em] 1 \begin{bmatrix} 1 \\ 0 \\ 0 \end{bmatrix} \end{bmatrix} = \begin{bmatrix} 0 \\ 0 \\ 0 \\ 1 \\ 0 \\ 0 \end{bmatrix} \\[2em] e_{2} \otimes e_{2} = \begin{bmatrix} 0 \\ 1 \end{bmatrix} \otimes \begin{bmatrix} 0 \\ 1 \\ 0 \end{bmatrix} = \begin{bmatrix} 0 \begin{bmatrix} 0 \\ 1 \\ 0 \end{bmatrix} \\[1.5em] 1 \begin{bmatrix} 0 \\ 1 \\ 0 \end{bmatrix} \end{bmatrix} = \begin{bmatrix} 0 \\ 0 \\ 0 \\ 0 \\ 1 \\ 0 \end{bmatrix} \quad e_{2} \otimes e_{3} = \begin{bmatrix} 0 \\ 1 \end{bmatrix} \otimes \begin{bmatrix} 0 \\ 0 \\ 1 \end{bmatrix} = \begin{bmatrix} 0 \begin{bmatrix} 0 \\ 0 \\ 1 \end{bmatrix} \\[1.5em] 1 \begin{bmatrix} 0 \\ 0 \\ 1 \end{bmatrix} \end{bmatrix} = \begin{bmatrix} 0 \\ 0 \\ 0 \\ 0 \\ 0 \\ 1 \end{bmatrix}

また、これにより次のことが成立することがわかる。

CCnCnCCC \mathbb{C} \otimes \mathbb{C}^{n} \cong \mathbb{C}^{n} \qquad \mathbb{C} \otimes \mathbb{C} \cong \mathbb{C}

性質

  1. CnCm\mathbb{C}^{n} \otimes \mathbb{C}^{m}は次の二つの操作に対してベクトル空間である。
    • (x1y1)+(x2y2)=(x1+x2)(y1+y2)(x_{1} \otimes y_{1}) + (x_{2} \otimes y_{2}) = (x_{1} + x_{2}) \otimes (y_{1} + y_{2})
    • α(xy)=(αx)y=x(αy)\alpha (x \otimes y) = (\alpha x) \otimes y = x \otimes (\alpha y)
  2. CnCmCnm\mathbb{C}^{n} \otimes \mathbb{C}^{m} \cong \mathbb{C}^{nm}
  3. dim(CnCm)=dim(Cn)dim(Cm)=nm\dim (\mathbb{C}^{n} \otimes \mathbb{C}^{m}) = \dim(\mathbb{C}^{n}) \cdot \dim(\mathbb{C}^{m}) = nm

一般化

有限集合Γi(1ir)\Gamma_{i} (1 \le i \le r)に対して、ベクトル空間CΓi\mathbb{C}^{\Gamma_{i}}のテンソル積を、次のように定義する。

CΓ1CΓr:=CΓ=CΓ1××Γr,Γ=Γ1××Γr \mathbb{C}^{\Gamma_{1}} \otimes \cdots \otimes \mathbb{C}^{\Gamma_{r}} := \mathbb{C}^{\Gamma} = \mathbb{C}^{\Gamma_{1} \times \cdots \times \Gamma_{r}},\quad \Gamma = \Gamma_{1} \times \cdots \times \Gamma_{r}

(j1,jr)iΓi(j_{1}, \dots j_{r}) \in \prod\limits_{i} \Gamma_{i}に対応する基底ベクトルを次のように表記する。(1jiΓi)( 1 \le j_{i} \le \left| \Gamma_{i} \right|)

ej1ejr e_{j_{1}} \otimes \cdots \otimes e_{j_{r}}

すると、テンソル積は次のようなベクトル空間である。Γi\Gamma_{i}基数ni=Γin_{i} = \left| \Gamma_{i} \right|とすると、

CΓ1CΓr={(j1,jr)iΓiαj1,,jrej1ejr}={(α1,,1, ,αn1, ,nr):αC}CΓ \begin{align*} \mathbb{C}^{\Gamma_{1}} \otimes \cdots \otimes \mathbb{C}^{\Gamma_{r}} &= \left\{ \sum\limits_{(j_{1}, \dots j_{r}) \in \prod\limits_{i} \Gamma_{i}} \alpha_{j_{1}, \dots, j_{r}} e_{j_{1}} \otimes \cdots \otimes e_{j_{r}}\right\} \\ &= \left\{ (\alpha_{1,\dots,1},\ \dots, \alpha_{n_{1},\ \dots, n_{r}}) : \alpha \in \mathbb{C} \right\} \\ &\cong \mathbb{C}^{\left| \Gamma \right|} \end{align*}

一般ベクトル空間

有限次元ベクトル空間V1,,VrV_{1}, \dots, V_{r}が与えられたとする。ベクトル空間ViV_{i}の基底Bi={v1,v2,,vdimVi}\mathcal{B}_{i} = \left\{ v_{1}, v_{2}, \dots, v_{\dim V_{i}} \right\}を選ぶと、次のような全単射関数fif_{i}を得ることができる。

fi:ViCdimVizjvj(z1,,zdimVi) \begin{align*} f _{i}: & V_{i} \to \mathbb{C}^{\dim V_{i}} \\ & \sum z_{j}v_{j} \mapsto (z_{1}, \dots, z_{\dim V_{i}}) \end{align*}

そうすると、ViV_{i}テンソル積を次のように定義する。

i=1rVi=V1Vr:=CdimV1CdimVr \bigotimes\limits_{i=1}^{r} V_{i} = V_{1} \otimes \cdots \otimes V_{r} := \mathbb{C}^{\dim V_{1}} \otimes \cdots \otimes \mathbb{C}^{\dim V_{r}}

併せて見る


  1. 김영훈·허재성, 양자 정보 이론 (2020), p3 ↩︎

  2. 김영훈·허재성, 양자 정보 이론 (2020), p31 ↩︎