|
多重線型代数学におけるテンソルの縮約（テンソルのしゅくやく、）は、有限次元のベクトル空間とその双対空間の間の自然な内積から生じる、一つ以上のテンソルに対する演算である。座標を取って考えれば、一つの式に現れる各々の仮添字 (dummy index) の対に対して和の規約を適用することによって生じる、スカラー成分の積和として縮約は表される。特に一つのの縮約は、そのテンソルに現れる見かけの添字の対（一方は上付き、他方は下付き）が同じ文字であるとき、それらに関して和をとることで生じる。アインシュタインの縮約記法とは、このような和を織り込み済みとする記法である。縮約を取って得られるテンソルは階数 (order) が だけ減る 。 テンソルの縮約をトレースの一般化として捉えることもできる。 == 抽象的な定式化 == 体 上のベクトル空間 に対して、縮約の要となる最も単純な場合は、 とその双対 との自然な内積 (pairing) を考えることである。自然な内積は、 に対して と置いて得られる双線型写像に対応する、テンソル積からの線型写像 : として理解できる。この写像 が の元としての -型テンソルに対する縮約演算を定義する。得られるのが の元であるスカラーであることに注意せよ。 と から への線型写像全体の成す空間 との間の自然な同型〔自然な写像 は によって定義される。 が有限次元と仮定するとき、 を の基底、その双対基底を とすれば、 は、この基底に関して -成分のみが で他はすべて となるような行列の定める線型写像に写されるから、これにより上記の自然な写像が同型であることが分かる。〕を用いれば、跡の基底を用いない定義が得られる。 一般に、 を整数として、、すなわちベクトル空間 : （ が 個、 が 個）の元 に対して、 の部分の -番目の因子と の部分の -番目の因子に対して自然な内積を適用（し、ほかの因子には恒等写像を適用）することで -縮約演算が定義され、それは -型テンソルを返す線型写像となる〔。-型の場合からの流用で、この一般の縮約演算のことも跡と呼ぶことがある。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「テンソルの縮約」の詳細全文を読む スポンサード リンク
|