数学および理論物理学において、テンソルが添字の対に関して反対称 (antisymmetric) もしくは歪対称 (skew-symmertic) であるとは、それら添字の入れ替えに関して符号が反転することを言う。また、交代的 (alternating) であるとは、それらを等しいと置いたとき零になることを言う。係数体(英語版)の標数が 2 でないときこれら二つの概念は一致する(多重線型写像の項も参照)。
- 反対称: T…i…j… = −T…j…i…
- 交代: ik = ij ⇒ T…ik…ij… = 0
もう少し一般に、添字集合の部分集合 J に関して反対称(resp. 交代的)とは、J の任意の二元に関して反対称(resp. 交代的)となるときに言う[1][2]。添字については、一般に共変添字 (covariant) も反変添字 (contravariant) も考えるものとする。例えば最初の三文字に関して反対称なテンソルとは
![{\displaystyle T_{ijk\dots }=-T_{jik\dots }=T_{jki\dots }=-T_{kji\dots }=T_{kij\dots }=-T_{ikj\dots }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a81f2ef2945250357e7b5d0745776ffe51c9e6b4)
を満足するものである。
任意の添字の対の入れ替えに関して符号を反転するテンソルは完全反対称 (completely antisymmetric)(もしくは全反対称 (totally antisymmetric))あるいは単に反対称テンソル(はんたいしょうテンソル、英: antisymmetric tensor)と言う。同様に任意の添え字の対に関して交代的なテンソルを交代テンソル(こうたいテンソル、英: alternating tensor)という。p-次の完全反対称(あるいは交代)共変テンソルは p-形式、完全反対称(あるいは交代)反変テンソルは p-ベクトル(英語版)と呼ばれる。
例
反対称テンソルの例には以下のようなものが挙げられる:
定義
ベクトル空間 V に対し、その k-次テンソル冪 V⊗k を考える。k-次(または k-階)テンソル T ∈ V⊗k が(完全)反対称であるとは
![{\displaystyle \tau _{\sigma }T=\operatorname {sgn}(\sigma )T\quad (\forall \sigma \in {\mathfrak {S}}_{k})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bdc18e388f69084bc362905b9043dce99e719428)
を満たすことをいう[3]。ここで τσ は記号 {1, 2, …, k} の置換 σ ∈ 𝔖k に付随するテンソルの組み紐写像、sgn(σ) は σ の符号である。
V の基底 {ei} を取り、k-次反対称テンソル T を適当な係数を用いて
![{\displaystyle T=\sum _{i_{1},\dots ,i_{k}=1}^{N}T_{i_{1}i_{2}\dots i_{k}}e^{i_{1}}\otimes e^{i_{2}}\otimes \cdots \otimes e^{i_{k}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/38c0882e8344a3eb3f8947aee4c4200b42de2e80)
の形に書けば、この基底に関する T の成分 Ti1i2…ik はその添字の任意の互換 に関して符号を変える、すなわち
![{\displaystyle T_{i_{\sigma 1}i_{\sigma 2}\dots i_{\sigma k}}=\operatorname {sgn}(\sigma )T_{i_{1}i_{2}\dots i_{k}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d36de5043552c9953db8fe2a646a1b02cda5b223)
が任意の置換 σ について満足される。
V 上の k-次反対称テンソル全体の成す空間は、しばしば Ak(V) や Altk(V) で表される。Ak(V) はそれ自身ベクトル空間を成し、また V が N-次元ならば Altk(V) の次元は二項係数を用いて
![{\displaystyle \dim \operatorname {Alt} ^{k}(V)={N \choose k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a6f92fbc44313d35f753a1af8f34301a823c051f)
で与えられる[4]。反対称テンソル空間 Alt(V) は k = 0, 1 ,2, … に対する Altk(V) の直和
![{\displaystyle \operatorname {Alt} (V)=\bigoplus _{k=0}^{\infty }\operatorname {Alt} ^{k}(V)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f054b4e903bbc9b17fa3faa400b9bac1478e55e1)
として構成される。
テンソルの反対称成分
V は標数 0 の体上のベクトル空間とする。T ∈ V⊗k を k-次テンソルとすれば、T の反対称成分(交代成分) は、符号付き平均化(反対称化、交代化)
![{\displaystyle \operatorname {Alt} T={\frac {1}{k!}}\sum _{\sigma \in {\mathfrak {S}}_{k}}\operatorname {sgn}(\sigma )\tau _{\sigma }T}](https://wikimedia.org/api/rest_v1/media/math/render/svg/853fb4839e841721e404e3ef16064c8e5b4084b5)
によって与えられる反対称テンソルである。和は k-次対称群の全体を亙ってとる。明らかに、T ∈ V⊗k が反対称テンソルであるための必要十分条件は Alt(T) = T を満たすことである[5]。
基底をとって考えれば、和の規約を用いて
![{\displaystyle T=T_{i_{1}i_{2}\dots i_{k}}e^{i_{1}}\otimes e^{i_{2}}\otimes \cdots \otimes e^{i_{k}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eb6e3af3b2acfb96bef46b4d0347d91dc8e55f50)
と書くとき、T の反対称成分は
![{\displaystyle \operatorname {Alt} T={\frac {1}{k!}}\sum _{\sigma \in {\mathfrak {S}}_{k}}\operatorname {sgn}(\sigma )T_{i_{\sigma 1}i_{\sigma 2}\dots i_{\sigma k}}e^{i_{1}}\otimes e^{i_{2}}\otimes \cdots \otimes e^{i_{k}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/90e92aa9c90579adb23b272dcb83e528a1e0fde1)
と書ける。右辺に現れるテンソル成分は、しばしば対称化する添字を角括弧で括って
![{\displaystyle T_{[i_{1}i_{2}\dots i_{k}]}={\frac {1}{k!}}\sum _{\sigma \in {\mathfrak {S}}_{k}}\operatorname {sgn}(\sigma )T_{i_{\sigma 1}i_{\sigma 2}\dots i_{\sigma k}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0510febc9cdd7348637a29a3ea2ea137e4ad846e)
とも書かれる。例えば、V の次元は任意として、二階共変テンソル M に対し
![{\displaystyle M_{[ab]}={\frac {1}{2!}}(M_{ab}-M_{ba})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f7048b5c780e2799cd73bdf3343145bb60d38f62)
であり、また三階共変テンソル T に対して
![{\displaystyle T_{[abc]}={\frac {1}{3!}}(T_{abc}-T_{acb}+T_{bca}-T_{bac}+T_{cab}-T_{cba})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1cfad7caf497f8e50e8c53cdddc0bb7c1ebfb6c7)
と書ける。これはまた適当な階数の一般化されたクロネッカーのデルタ(英語版) を用いて、
![{\displaystyle M_{[ab]}={\frac {1}{2!}}\,\delta _{ab}^{cd}M_{cd},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2fc0eb84b0b09d73100fd0de71cba4c78166ae6d)
![{\displaystyle T_{[abc]}={\frac {1}{3!}}\,\delta _{abc}^{def}T_{def}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5dd66baa515a50727b55ec5e2f3bcafc25235ba6)
と書くことができる。これは一般に、p-次テンソル S に対して
![{\displaystyle S_{[a_{1}\dots a_{p}]}={\frac {1}{p!}}\delta _{a_{1}\dots a_{p}}^{b_{1}\dots b_{p}}S_{b_{1}\dots b_{p}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/86eb2bee0b2787d61734222d0f9c1e19de95a9a0)
の形にまとめることができる。
交代テンソル積
単純テンソル T をテンソル積
![{\displaystyle T=v_{1}\otimes v_{2}\otimes \cdots \otimes v_{r}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/54b34c50f2583ffd68c5bb4b66bfc821c9c4b4e4)
として書くとき、T の交代成分はその因子ベクトルの交代積(楔積)あるいは外積
![{\displaystyle v_{1}\wedge v_{2}\wedge \cdots \wedge v_{r}:={\frac {1}{r!}}\sum _{\sigma \in {\mathfrak {S}}_{r}}\operatorname {sgn}(\sigma )v_{\sigma 1}\otimes v_{\sigma 2}\otimes \cdots \otimes v_{\sigma r}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c7d8504809b4d395b41c00eff52663fb1ad2257b)
と呼ばれる[6]。一般に、交代テンソル空間 Alt(V) に反対称かつ結合的な積 "∧" を入れて多元環にすることができる。二つのテンソル T1 ∈ Altk1(V), T2 ∈ Altk2(V) が与えられたとき、交代化作用素を用いて
![{\displaystyle T_{1}\wedge T_{2}=\operatorname {Alt} (T_{1}\otimes T_{2})\quad \left(\in \operatorname {Alt} ^{k_{1}+k_{2}}(V)\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ecb3ed06217e960d2f23c430c0d1d4b005f8a7a)
と定義すれば、これが実際に反対称かつ結合的であることが確かめられる。
対称テンソルとの関係
添字 i, j に関して反対称なテンソル A と、同じ添字に関して対称なテンソル B との縮約は恒等的に 0 に等しい。
一般のテンソル U に対して、その成分を Uijk… とするとき、添字 i, j に関する対称成分および反対称成分
![{\displaystyle {\begin{aligned}U_{(ij)k\dots }&={\tfrac {1}{2}}(U_{ijk\dots }+U_{jik\dots }),\\U_{[ij]k\dots }&={\tfrac {1}{2}}(U_{ijk\dots }-U_{jik\dots })\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/33dd0aacff310f9f34959515b1c6a3a6d81aaf6e)
に関して、(「成分」の名の示唆する通り)テンソル U は
![{\displaystyle U_{ijk\dots }=U_{(ij)k\dots }+U_{[ij]k\dots }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b9a1dc8146afb07f560638751c092801fb624e7)
なる和に分解される。
関連項目
引用文献
- ^ 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
- ^ 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.
- ^ 横沼, p. 52, 定義 2.2
- ^ 横沼, 命題2.7
- ^ 横沼, p. 54
- ^ 横沼, §3.1
注
- ^ 矢野健太郎「幾何学部門報告」『数学』第23巻第2号、日本数学会、1971年、103, 左上、CRID 1390001205067286016、doi:10.11429/sugaku1947.23.101、ISSN 0039470X。 に「リッチ計算法」と書かれているためこの訳を採用
参考文献
- 横沼健雄『テンソル空間と外積代数』岩波書店〈岩波講座: 基礎数学〉、1977年。
- J.A. Wheeler, C. Misner, K.S. Thorne (1973). Gravitation. W.H. Freeman & Co. pp. 85–86, §3.5. ISBN 0-7167-0344-0
- R. Penrose (2007). The Road to Reality. Vintage books. ISBN 0-679-77631-1
外部リンク
- Weisstein, Eric W. "Antisymmetric Tensor". mathworld.wolfram.com (英語).
- 土屋卓也 (2010), “2. 交代テンソル積と外積代数”, 有限要素外積代数とその応用, http://daisy.math.sci.ehime-u.ac.jp/users/tsuchiya/math/fem/exterior/section2.pdf : 愛媛大学大学院理工学研究科「数理科学特論」講義ノート
|
---|
Glossary of tensor theory(英語版) |
範囲 (Scope) | |
---|
表記法 (Notation) | |
---|
テンソルの定義 | - テンソル空間
- テンソル場
- テンソル密度(英語版)
- 曲線座標系におけるテンソル(英語版)
- 混テンソル(英語版)
- 反対称テンソル
- 対称テンソル
- テンソル作用素(英語版)
- テンソル束(英語版)
|
---|
算法 | |
---|
関連事項 | |
---|
有名なテンソル | |
---|
数学者 | |
---|
カテゴリ |