テンソル空間

数学におけるテンソルの現代的な取扱いは、**テンソル空間**（テンソルくうかん、）と呼ばれる抽象代数学的な対象の元として、ある種の多重線型性によって表される。よく知られたテンソルの古典的な性質の数々はそれらの定義から導かれ、テンソルに対する操作に関する規則は線型代数学から多重線型代数学への理論の拡張をもたらす。

このような座標に依らない記述法は、テンソルが自然に現れる抽象代数学およびホモロジー代数においても重々用いられる。

一方、物理学において慣例的に用いられる座標に基づくテンソルの添字表記法は、テンソル空間の元  を、台となるベクトル空間  の基底とその双対空間  の双対基底を用いて
: \Xi = \sum \xi^{kl\ldots}_{ij\ldots}(e_k\otimes e_l\otimes\cdots)\otimes( f^i\otimes f^k\otimes\cdots)
と展開するときの、スカラー成分
: \xi^{kl\ldots}_{ij\ldots}
として理解することができる（擬テンソルなどはこの構成に含まれず一般テンソル空間を考える必要がある）。

## 定義

共通の体  上のベクトル空間の有限集合  が与えられたとき、それらのテンソル積  はふたたび  上のベクトル空間であり、またその元は**テンソル**と呼ばれる。特に一種類のベクトル空間  から作られるテンソル積空間
: V \otimes \cdots \otimes V \otimes V^* \otimes \cdots \otimes V^*
を  上の**テンソル空間**と呼び、その元（ベクトル）を**ベクトル空間  上のテンソル**と言う。ここに  は  の双対空間である。

この積において  が  個、 が  個であるとき、その元であるテンソルは** -型**または -階反変・-階共変であるといい、また  をそのテンソルの階数または  (order, degree) という。特に-階テンソルはスカラー（ の元）であり、-階反変テンソルは  に属するベクトル、-階共変テンソルは  に属する一次形式のことである（それがゆえに、-階テンソルを反変ベクトルまたは共変ベクトルとしばしば呼ぶ）。 上の-型テンソル全体の成す空間を
:  T^m_n(V) = \underbrace{ V\otimes \dots \otimes V}_{m \text{ copies}} \otimes \underbrace{ V^*\otimes \dots \otimes V^*}_{n \text{ copies}}
と書いて、**-型テンソル空間**と呼ぶ。-型テンソル空間  は自然な仕方で  から  への線型写像全体の成す空間  に同型となり、また  上の双線型形式  には自然な仕方で**付随する[[計量テンソル]]**（あるいは少々紛らわしいが単に計量もしくは内積）と呼ばれる -型テンソル  が対応する。

## 普遍性
テンソル空間  は多重線型写像を用いた普遍性によって特徴づけることができる。それによって、多くの線型写像が「自然」あるいは「幾何学的」（つまり基底の取り方に依らない）ことを示す手段が与えられるという点で、この特徴付けは優位である。また、テンソル積は自由加群に対してのみ用いるものではないが、普遍性を用いる方法によればより一般の場合にまで容易に持ち込めるという側面もある。

ベクトル空間の直積（あるいは直和）上で定義された実数値函数
: f\colon V_1\times V_2\times\cdots\times V_N \to \mathbb{R}
が多重線型であるとは、各引数に関して線型となることをいう。 から  への -重線型写像全体の成すベクトル空間を  と書くことにする。 のとき -重線型であることは通常の線型写像となることであり、 から  への線型写像全体の成す空間は  である。テンソル積の普遍性により、各多重線型写像
: f\in L^{m+n}(\underbrace{V,V,\dots,V}_m,\underbrace{V^*,V^*,\dots,V^*}_n;W)
に対して線型写像
: T_f \in L(V\otimes\cdots\otimes V\otimes V^*\otimes\cdots\otimes V^*; W)
が一意に存在して、任意の  および  に対して
:f(v_1,\dots,v_m,\alpha_1,\dots,\alpha_n) = T_f(v_1\otimes\cdots\otimes v_m\otimes\alpha_1\otimes\cdots\otimes\alpha_n)
が成り立つ。

この普遍性を用いれば、-型テンソル空間に対して自然同型
:T^m_n(V) \cong
L(V^* \otimes \dots \otimes V^* \otimes V \otimes \dots \otimes V ; \mathbb{R})
\cong L^{m+n}(V^*,\dots,V^*,V,\dots,V;\mathbb{R})
が得られる。特に、, ,  が成り立つ。

## テンソルの階数

テンソルの**階数** (rank) は線型代数学における行列の階数を拡張するものである（先に述べた次数 (order) もしばしば階数, rank と言ったりするので少々紛らわしいが）。行列の階数は像空間を張るのに必要な列ベクトルの最小数であり、行列  が二つの非零ベクトルの二項積
:  A = v w^{\top}
に書けるならば、 は階数  である。より一般に、行列  の階数はこのような二項積の和
: A = v_1w_1^{\top} + \cdots + v_kw_k^{\top}
として表すことができるときの右辺の項数の最小値に等しいのであった。同様に階数  のテンソル（**単純テンソル**）は  または  の非零な元  を用いて
: T=a\otimes b\otimes\cdots\otimes d
の形に表されるテンソルを言う。これはつまり非零な完全分解可能テンソルである。添字記法で書けば、階数  のテンソルとは
: T_{ij\dots}^{k\ell\dots}=a_ib_j\cdots c^kd^\ell\cdots
なる形のテンソルということになる。任意のテンソルは単純テンソルの和に書くことができ、一般のテンソル  の階数はそれを単純テンソルの和に表すときの項数の最小値として定義される。

は階数 、次数  の非零テンソルは常に階数  である。次数  以上の非零テンソルの階数は、それを単純テンソルの和に書いたときに現れるベクトルの最大サイズ未満の全ての値を取り得る。次数  のテンソルの階数は、そのテンソルを行列と見做してとった行列の階数に一致するから、ガウスの消去法などから決定することができる。次数  以上のテンソルの階数は決定するのが非常に困難であることがほとんどであり、低階数のテンソル分解は実用上非常に注目される。

## テンソルの乗法

テンソルのテンソル積と呼ばれる乗法
: T^r_s (V) \otimes_K T^{r'}_{s'} (V) \to T^{r+r'}_{s+s'}(V)
は、両因子に現れる  の元を一纏めにまとめなおすことで定義される。例えば、 の元  と双対空間の元  に対して
: (v \otimes f) \otimes (v') = (v \otimes v') \otimes f
のようにする。

 の基底とそれに対応する  の双対基底をとれば、 は自然な基底を持つから、この基底に関するテンソルのテンソル積の成分を計算することができる。例えば  はそれぞれ階数  の共変テンソル（つまり、, ）とすれば、これらのテンソル積の成分は
:(F\otimes G)_{i_1i_2\ldots i_{m+n}} = F_{i_{1}i_{2}\ldots i_{m}}G_{i_{m+1}i_{m+2}i_{m+3}\ldots i_{m+n}}
となり、二つのテンソルのテンソル積の成分は通常の積によって与えられることが分かる。別な例として、-型テンソル  の成分を , -型テンソル  の成分を  とすれば、これらのテンソル積は成分に関して
: U^\alpha {}_\beta V^\gamma = (U \otimes V)^\alpha {}_\beta {}^\gamma,
\quad V^\mu U^\nu {}_\sigma = (V \otimes U)^{\mu \nu} {}_\sigma
で与えられる。

## テンソルの縮約

ベクトル空間  とその双対空間  とのテンソル積空間において、自然な「評価」写像
: V \otimes V^* \to K;\; v \otimes f \mapsto f(v)
が存在する。この評価写像が引き起こすテンソル空間上の写像
: T^r_s (V) \to T^{r-1}_{s-1}(V)
はテンソルの縮約と呼ばれる。

## 随伴表現
テンソル空間  は対角作用を考えることにより自然にリー代数  上の加群と看做すことができる。すなわち、簡単のため  とすれば、各  に対し
:  u(a \otimes b)  = u(a) \otimes b - a \otimes u^*(b)
と作用する。ただし、 は  の転置。 の自然な内積を用いれば、この作用は
: \langle u(a), b \rangle = \langle a, u^{*}(b) \rangle
とも書ける。自然な同型
: T^1_1(V) \to \operatorname{End}(V);\; (a \otimes b)(x) = \langle x, b \rangle a \quad(\forall x\in V)
が存在する。この同型の元、任意の  をまず  の自己準同型とみたものを、さらに  の自己準同型と見ることができる。実はそれは  の随伴表現  になる。

## 注
### 注釈

### 出典

## 参考文献
* 
* 
* .
* .
*.
* .
*
*.