対称テンソル

数学における**対称テンソル**（たいしょうテンソル、）は、その  に関して、任意の -次置換の作用に関して不変なテンソルを言う。

より具体的には、テンソルを多重線型写像  と見るならば、その引数となるベクトルの任意の置換  について
: T(v_1,v_2,\dots,v_r) = T(v_{\sigma 1},v_{\sigma 2},\dots,v_{\sigma r})
を満たすもの、あるいは座標を用いて成分で表すならば
: T_{i_1i_2\dots i_r} = T_{i_{\sigma 1}i_{\sigma 2}\dots i_{\sigma r}}
を満たすものである。

有限次元ベクトル空間  上の-次対称テンソル全体の成す空間は、 上の -次斉次多項式全体の成す空間の双対に自然同型になる。標数  の体上では、対称テンソル全体の成す次数付きベクトル空間は  上の対称代数に自然に同一視される。関連する概念として、反対称テンソルや交代形式がある。対称テンソルは工学、物理学、数学において広く生じる。

## 定義
ベクトル空間  に対し、その -次テンソル冪  を考える。

-次テンソル  が**対称**であるとは
: \tau_\sigma T = T\quad (\forall\sigma\in\mathfrak{S}_k)
を満たすことをいう。ここで  は記号  の置換  に付随する組み紐写像である。

 の基底  を取り、-次対称テンソル  を適当な係数を用いて
: T = \sum_{i_1,\dots,i_k=1}^N T_{i_1i_2\dots i_k} e^{i_1} \otimes e^{i_2}\otimes\cdots \otimes e^{i_k}
の形に書けば、この基底に関する  の成分  はその添字に関して対称、すなわち
: T_{i_{\sigma 1}i_{\sigma 2}\dots i_{\sigma k}} = T_{i_1i_2\dots i_k}
が任意の置換  について満足される。

 上の -次対称テンソル全体の成す空間は、しばしば  や  で表される。 はそれ自身ベクトル空間を成し、また  が -次元ならば  の次元は二項係数を用いて
: \dim \operatorname{Sym}^k(V) = {N + k - 1 \choose k}
で与えられる。対称テンソル空間  は  に対する  の直和
: \operatorname{Sym}(V)= \bigoplus_{k=0}^\infty \operatorname{Sym}^k(V)
として構成される。

## 例
対称テンソルの例はたくさんあるが、例えば計量テンソル , アインシュタインテンソル , リッチテンソル  など。

物理学や工学で用いられるさまざまな物性および場が対称テンソル場として表される。例えば、応力、歪み、異方的伝導性など。拡散MRIも、脳やその他の体の部分の拡散の記述に対称テンソルをしばしば用いる。

楕円体は代数多様体の例であり、任意の次数の対称テンソルは斉次多項式の形で射影代数多様体を定義するのに用いられ、またそのような形で調べられる。

## テンソルの対称成分
 は標数  の体上のベクトル空間とする。 を -次テンソルとすれば、 の対称成分は、平均化（対称化）
: \operatorname{Sym} T = \frac{1}{k!}\sum_{\sigma\in\mathfrak{S}_k} \tau_\sigma T
によって与えられる対称テンソルである。和は -次対称群の全体を亙ってとる。基底をとって考えれば、和の規約を用いて
: T = T_{i_1i_2\dots i_k}e^{i_1}\otimes e^{i_2}\otimes\cdots \otimes e^{i_k}
と書くとき、 の対称成分は
: \operatorname{Sym} T = \frac{1}{k!}\sum_{\sigma\in \mathfrak{S}_k} T_{i_{\sigma 1}i_{\sigma 2}\dots i_{\sigma k}} e^{i_1}\otimes e^{i_2}\otimes\cdots \otimes e^{i_k}
と書ける。右辺に現れるテンソル成分は、しばしば対称化する添字を括弧で括って
: T_{(i_1i_2\dots i_k)} = \frac{1}{k!}\sum_{\sigma\in \mathfrak{S}_k} T_{i_{\sigma 1}i_{\sigma 2}\dots i_{\sigma k}}
とも書かれる。

## 対称テンソル積
単純テンソル  をテンソル積
: T=v_1\otimes v_2\otimes\cdots \otimes v_r
として書くとき、 の対称成分はその因子ベクトルの対称積
: v_1\odot v_2\odot\cdots\odot v_r := \frac{1}{r!}\sum_{\sigma\in\mathfrak{S}_r} v_{\sigma 1}\otimes v_{\sigma 2}\otimes\cdots\otimes v_{\sigma r}
と呼ばれる。一般に、対称テンソル空間  に可換かつ結合的な積 "" を入れて多元環にすることができる。二つのテンソル  が与えられたとき、対称化作用素を用いて
: T_1\odot T_2 = \operatorname{Sym}(T_1\otimes T_2)\quad\left(\in\operatorname{Sym}^{k_1+k_2}(V)\right)
と定義すれば、これが実際に可換かつ結合的であることが確かめられる 。

文脈によっては演算子を省略して単なる併置とすることもある ()。冪記法を用いて
: v^{\odot k} = \underbrace{v \odot v \odot \cdots \odot v}_{k\text{ times}}=\underbrace{v \otimes v \otimes \cdots \otimes v}_{k\text{ times}}=v^{\otimes k}
と書くこともある。ここで  はベクトルである。これもやはり "⊙" を省略して
: v^k=\underbrace{v\,v\,\cdots\,v}_{k\text{ times}}=\underbrace{v\odot v\odot\cdots\odot v}_{k\text{ times}}
のようにも書く。

## 対称テンソルの分解
対称行列論と対応するものとして、二次の実対称テンソルを「対角化」することができる。より明確に書けば、任意のテンソル  に対し、適当な整数  と非零単位ベクトル  および重み  が存在して
: T = \sum_{i=1}^r \lambda_i \, v_i\otimes v_i
とできる。このような分解ができる最小の正整数  を、対称テンソル  の対称階数あるいは単に階数と呼ぶ。この最小分解に現れるベクトルを総称して、このテンソルの と呼び、一般には物理学的に重要な意味を持つ。例えば慣性テンソルの主軸は、慣性モーメントを表すポワンソーの楕円体を定義する。シルヴェスターの慣性法則も参照。

任意 -次の対称テンソルに対して、分解
: T = \sum_{i=1}^r \lambda_i \, v_i^{\otimes k}
を考えることもできる。このような分解が可能な最小の数  は  の対称階数に等しい。この最小分解はワーリング分解 (Waring decomposition) と呼ばれる（これはの対称形である）。二次テンソルに関しては、これはテンソルを任意の基底に関して表現する行列の階数に対応し、その最大階数が台となるベクトル空間の次元に等しいことはよく知られている。しかしより高次の場合にはこれは満足されない（階数は台となるベクトル空間の次元よりも大きくなりうる）。

## 関連項目
* 反対称テンソル
* 
* シューア多項式
* 対称多項式
* 転置行列
* 

## 引用文献


## 注釈

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

## 外部リンク
* Cesar O. Aguilar, *[http://www.mast.queensu.ca/~cesar/math_notes/dim_symmetric_tensors.pdf The Dimension of Symmetric k-tensors]*