数学における対称テンソル(たいしょうテンソル、: symmetric tensor)は、その次数英語版 r に関して、任意の r-次置換の作用に関して不変なテンソルを言う。

より具体的には、テンソルを多重線型写像 T と見るならば、その引数となるベクトルの任意の置換 σ について

を満たすもの、あるいは座標を用いて成分で表すならば

を満たすものである。

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

定義 編集

ベクトル空間 V に対し、その k-次テンソル冪 Vk を考える。

k-次テンソル TVk対称であるとは

 

を満たすことをいう。ここで τσ は記号 {, 2, …, k} の置換 σ ∈ 𝔖k に付随する組み紐写像である。

V基底 {ei} を取り、k-次対称テンソル T を適当な係数を用いて

 

の形に書けば、この基底に関する T の成分 Ti1i2ik はその添字に関して対称、すなわち

 

が任意の置換 σ について満足される。

V 上の k-次対称テンソル全体の成す空間は、しばしば Sk(V)Symk(V) で表される。Sk(V) はそれ自身ベクトル空間を成し、また VN-次元ならば Symk(V) の次元は二項係数を用いて

 

で与えられる。対称テンソル空間 Sym(V)k = 0, 1 ,2, … に対する Symk(V)直和

 

として構成される。

編集

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

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

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

テンソルの対称成分 編集

V標数 0 の体上のベクトル空間とする。TVkk-次テンソルとすれば、T の対称成分は、平均化(対称化)

 

によって与えられる対称テンソルである。和は k-次対称群の全体を亙ってとる。基底をとって考えれば、和の規約を用いて

 

と書くとき、T の対称成分は

 

と書ける。右辺に現れるテンソル成分は、しばしば対称化する添字を括弧で括って

 

とも書かれる。

対称テンソル積 編集

単純テンソル T をテンソル積

 

として書くとき、T の対称成分はその因子ベクトルの対称積

 

と呼ばれる。一般に、対称テンソル空間 Sym(V) に可換かつ結合的な積 "" を入れて多元環にすることができる[1]。二つのテンソル T1 ∈ Symk1(V), T2 ∈ Symk2(V) が与えられたとき、対称化作用素を用いて

 

と定義すれば、これが実際に可換かつ結合的であることが確かめられる (Kostrikin,Manin 1997)[1]

文脈によっては演算子を省略して単なる併置とすることもある (T1T2 = T1T2)。冪記法を用いて

 

と書くこともある。ここで v はベクトルである。これもやはり "⊙" を省略して

 

のようにも書く。

対称テンソルの分解 編集

対称行列論と対応するものとして、二次の実対称テンソルを「対角化」することができる。より明確に書けば、任意のテンソル T ∈ Sym2(V) に対し、適当な整数 r と非零単位ベクトル v1, …, vrV および重み λ1, …, λr が存在して

 

とできる。このような分解ができる最小の正整数 r を、対称テンソル T の対称階数あるいは単に階数と呼ぶ。この最小分解に現れるベクトルを総称して、このテンソルの 主軸英語版と呼び、一般には物理学的に重要な意味を持つ。例えば慣性テンソルの主軸は、慣性モーメントを表すポワンソーの楕円体を定義する。シルヴェスターの慣性法則も参照。

任意 k-次の対称テンソルに対して、分解

 

を考えることもできる。このような分解が可能な最小の数 rT の対称階数に等しい[2]。この最小分解はワーリング分解 (Waring decomposition) と呼ばれる(これはテンソル階数分解英語版の対称形である)。二次テンソルに関しては、これはテンソルを任意の基底に関して表現する行列の階数に対応し、その最大階数が台となるベクトル空間の次元に等しいことはよく知られている。しかしより高次の場合にはこれは満足されない(階数は台となるベクトル空間の次元よりも大きくなりうる)。

関連項目 編集

引用文献 編集

  1. ^ a b Kostrikin, Alexei I.; Manin, Iurii Ivanovich (1997). Linear algebra and geometry. Algebra, Logic and Applications. 1. Gordon and Breach. pp. 276–279. ISBN 9056990497 
  2. ^ Comon, P.; Golub, G.; Lim, L. H.; Mourrain, B. (2008). “Symmetric Tensors and Symmetric Tensor Rank”. SIAM Journal on Matrix Analysis and Applications 30 (3): 1254. doi:10.1137/060661569. 

注釈 編集

  1. ^ 矢野健太郎. “幾何学部門報告”. p. 103, 左上. 2023年11月6日閲覧。に「リッチ計算法」と書かれているためこの訳を採用

参考文献 編集

外部リンク 編集