数学における対称テンソル（たいしょうテンソル、）は、その に関して、任意の -次置換の作用に関して不変なテンソルを言う。より具体的には、テンソルを多重線型写像 と見るならば、その引数となるベクトルの任意の置換 についてを満たすもの、あるいは座標を用いて成分で表すならばを満たすものである。有限次元ベクトル空間 上の-次対称テンソル全体の成す空間は、 上の -次斉次多項式全体の成す空間の双対に自然同型になる。標数 の体上では、対称テンソル全体の成すは 上の対称代数に自然に同一視される。関連する概念として、反対称テンソルや交代形式がある。対称テンソルは工学、物理学、数学において広く生じる。ベクトル空間 に対し、その -次テンソル冪 を考える。-次テンソル が対称であるとはを満たすことをいう。ここで は記号 の置換 に付随する組み紐写像である。の形に書けば、この基底に関する の成分 はその添字に関して対称、すなわちが任意の置換 について満足される。で与えられる。対称テンソル空間 は に対する の直和として構成される。対称テンソルの例はたくさんあるが、例えば計量テンソル , アインシュタインテンソル , リッチテンソル など。物理学や工学で用いられるさまざまなおよび場が対称テンソル場として表される。例えば、応力、歪み、異方的伝導性など。拡散MRIも、脳やその他の体の部分の拡散の記述に対称テンソルをしばしば用いる。楕円体は代数多様体の例であり、任意の次数の対称テンソルは斉次多項式の形で射影代数多様体を定義するのに用いられ、またそのような形で調べられる。 は標数 の体上のベクトル空間とする。 を -次テンソルとすれば、 の対称成分は、平均化（対称化）によって与えられる対称テンソルである。和は -次対称群の全体を亙ってとる。基底をとって考えれば、和の規約を用いてと書くとき、 の対称成分はと書ける。右辺に現れるテンソル成分は、しばしば対称化する添字を括弧で括ってとも書かれる。単純テンソル をテンソル積として書くとき、 の対称成分はその因子ベクトルの対称積と呼ばれる。一般に、対称テンソル空間 に可換かつ結合的な積 " を入れて多元環にすることができる。二つのテンソル が与えられたとき、対称化作用素を用いてと定義すれば、これが実際に可換かつ結合的であることが確かめられる 。文脈によっては演算子を省略して単なる併置とすることもある ()。冪記法を用いてと書くこともある。ここで はベクトルである。これもやはり "⊙" を省略してのようにも書く。対称行列論と対応するものとして、二次の実対称テンソルを「対角化」することができる。より明確に書けば、任意のテンソル に対し、適当な整数 と非零単位ベクトル および重み が存在してとできる。このような分解ができる最小の正整数 を、対称テンソル の対称階数あるいは単に階数と呼ぶ。この最小分解に現れるベクトルを総称して、このテンソルの と呼び、一般には物理学的に重要な意味を持つ。例えば慣性テンソルの主軸は、慣性モーメントを表すポワンソーの楕円体を定義する。シルヴェスターの慣性法則も参照。任意 -次の対称テンソルに対して、分解を考えることもできる。このような分解が可能な最小の数 は の対称階数に等しい。この最小分解はワーリング分解 (Waring decomposition) と呼ばれる（これはの対称形である）。二次テンソルに関しては、これはテンソルを任意の基底に関して表現する行列の階数に対応し、その最大階数が台となるベクトル空間の次元に等しいことはよく知られている。しかしより高次の場合にはこれは満足されない（階数は台となるベクトル空間の次元よりも大きくなりうる）。

出典:wikipedia