数学および理論物理学において、テンソルが添字の対に関して反対称 (anti­symmetric) もしくは歪対称 (skew-symmertic) であるとは、それら添字の入れ替えに関して符号が反転することを言う。また、交代的 (alternating) であるとは、それらを等しいと置いたとき零になることを言う。係数体英語版標数2 でないときこれら二つの概念は一致する(多重線型写像の項も参照)。

  • 反対称: Tij = −Tji
  • 交代: ik = ijTikij = 0

もう少し一般に、添字集合の部分集合 J に関して反対称(resp. 交代的)とは、J の任意の二元に関して反対称(resp. 交代的)となるときに言う[1][2]。添字については、一般に共変添字 (covariant) も反変添字 (contra­variant) も考えるものとする。例えば最初の三文字に関して反対称なテンソルとは

を満足するものである。

任意の添字の対の入れ替えに関して符号を反転するテンソルは完全反対称 (completely anti­symmetric)(もしくは全反対称 (totally anti­symmetric))あるいは単に反対称テンソル(はんたいしょうテンソル、: anti­symmetric tensor)と言う。同様に任意の添え字の対に関して交代的なテンソルを交代テンソル(こうたいテンソル、: alternating tensor)という。p-次の完全反対称(あるいは交代)共変テンソルは p-形式、完全反対称(あるいは交代)反変テンソルは p-ベクトル英語版と呼ばれる。

反対称テンソルの例には以下のようなものが挙げられる:

定義

編集

ベクトル空間 V に対し、その k-次テンソル冪 Vk を考える。k-次(または k-階)テンソル TVk が(完全)反対称であるとは

 

を満たすことをいう[3]。ここで τσ は記号 {1, 2, …, k} の置換 σ ∈ 𝔖k に付随するテンソルの組み紐写像sgn(σ)σ符号である。

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

 

の形に書けば、この基底に関する T の成分 Ti1i2ik はその添字の任意の互換 に関して符号を変える、すなわち

 

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

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

 

で与えられる[4]。反対称テンソル空間 Alt(V)k = 0, 1 ,2, … に対する Altk(V)直和

 

として構成される。

テンソルの反対称成分

編集

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

 

によって与えられる反対称テンソルである。和は k-次対称群の全体を亙ってとる。明らかに、TVk が反対称テンソルであるための必要十分条件は Alt(T) = T を満たすことである[5]

基底をとって考えれば、和の規約を用いて

 

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

 

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

 

とも書かれる。例えば、V の次元は任意として、二階共変テンソル M に対し

 

であり、また三階共変テンソル T に対して

 

と書ける。これはまた適当な階数の一般化されたクロネッカーのデルタ英語版 を用いて、

 
 

と書くことができる。これは一般に、p-次テンソル S に対して

 

の形にまとめることができる。

交代テンソル積

編集

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

 

として書くとき、T の交代成分はその因子ベクトルの交代積(楔積)あるいは外積

 

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

 

と定義すれば、これが実際に反対称かつ結合的であることが確かめられる。

対称テンソルとの関係

編集

添字 i, j に関して反対称なテンソル A と、同じ添字に関して対称なテンソル B との縮約は恒等的に 0 に等しい。

一般のテンソル U に対して、その成分を Uijk… とするとき、添字 i, j に関する対称成分および反対称成分

 

に関して、(「成分」の名の示唆する通り)テンソル U

 

なる和に分解される。

関連項目

編集

引用文献

編集
  1. ^ K.F. Riley, M.P. Hobson, S.J. Bence (2010). Mathematical methods for physics and engineering. Cambridge University Press. ISBN 978-0-521-86153-3 
  2. ^ Juan Ramón Ruíz-Tolosa, Enrique Castillo (2005). From Vectors to Tensors. Springer. p. 225. ISBN 978-3-540-22887-5. https://books.google.co.za/books?id=vgGQUrQMzwYC&pg=PA225  section §7.
  3. ^ 横沼, p. 52, 定義 2.2
  4. ^ 横沼, 命題2.7
  5. ^ 横沼, p. 54
  6. ^ 横沼, §3.1
  1. ^ 矢野健太郎「幾何学部門報告」『数学』第23巻第2号、日本数学会、1971年、103, 左上、CRID 1390001205067286016doi:10.11429/sugaku1947.23.101ISSN 0039470X に「リッチ計算法」と書かれているためこの訳を採用

参考文献

編集

外部リンク

編集