クロネッカーのデルタ(英: Kronecker delta)とは、集合 T(多くは自然数の部分集合)の元 i, j に対して
![{\displaystyle \delta _{ij}={\begin{cases}1&(i=j)\\0&(i\neq j)\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2096c078d7af0a96b853774d1ee394f1e96b04a)
によって定義される二変数関数
のことをいう。つまり、T × T の対角成分の特性関数のことである。名称は、19世紀のドイツの数学者レオポルト・クロネッカーに因む[1]。
アイバーソンの記法を用いると
![{\displaystyle \delta _{ij}=[i=j]\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1419db152cf3420e549896141fbf42846adb3141)
と書ける。
単純な記号だが、色々な場面で有用である。例えば、単位行列は (δij) と書けたり、n 次元直交座標の基底ベクトルの内積は、(ei, ej) = δij と書ける。
性質
![{\displaystyle {\begin{aligned}\sum _{j}\delta _{ij}a_{j}&=a_{i}\\\sum _{i}a_{i}\delta _{ij}&=a_{j}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6a15d4c15b1133b12f29c3e81d7d041120bc6966)
が成り立つ。これはベクトルに単位行列を作用させても不変であることに対応する。
![{\displaystyle \sum _{k}\delta _{ik}\delta _{kj}=\delta _{ij}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/23d0aab2b7919d0b3fbb1ab638216fd7de8fca84)
が成り立つ。これは単位行列に単位行列を掛けたものは単位行列であることに対応する。
一般化されたクロネッカーのデルタ
この節では、添字は 1 から n の間の値をとるものとする。
2階(1, 1)型テンソルとしてのクロネッカーのデルタは
![{\displaystyle \delta _{\nu }^{\mu }={\begin{cases}1&\quad (\mu =\nu )\\0&\quad (\mu \neq \nu )\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/25d2e828e41a32b23bf3984f7171e22311ce2004)
である。
これを高階に拡張したものとして、n 次元、2p 階の一般化されたクロネッカーのデルタがある。これは (p, p) 型テンソルで、上下それぞれの添字に対して反対称である。
定義
一般化されたクロネッカーのデルタの定義は
![{\displaystyle \delta _{\nu _{1}\cdots \nu _{p}}^{\mu _{1}\cdots \mu _{p}}={\begin{cases}+1&\quad {\text{(even)}}\\-1&\quad {\text{(odd) }}\\\;\;0&\quad {\text{(otherwise)}}\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3edd16960f898141997dae7816e33e536a7d1fe9)
である[2][3]。
なお、"
" は
が全て異なり、かつ、
の偶置換の場合を指し、"
" は
が全て異なり、かつ、
の奇置換の場合を指し、"
" は上記以外のすべての場合を指す。
を p 次の対称群とすれば
![{\displaystyle \delta _{\nu _{1}\cdots \nu _{p}}^{\mu _{1}\cdots \mu _{p}}=\sum _{\sigma \in {\mathfrak {S}}_{p}}\operatorname {sgn}(\sigma )\,\delta _{\nu _{1}}^{\mu _{\sigma (1)}}\cdots \delta _{\nu _{p}}^{\mu _{\sigma (p)}}=\sum _{\sigma \in {\mathfrak {S}}_{p}}\operatorname {sgn}(\sigma )\,\delta _{\nu _{\sigma (1)}}^{\mu _{1}}\cdots \delta _{\nu _{\sigma (p)}}^{\mu _{p}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b43b66c4222f3b7c32a6d4049fd92e939166f098)
と表現でき、反対称化の記号を用いると:
![{\displaystyle \delta _{\nu _{1}\cdots \nu _{p}}^{\mu _{1}\cdots \mu _{p}}=p!\delta _{\nu _{1}}^{\lbrack \mu _{1}}\cdots \delta _{\nu _{p}}^{\mu _{p}\rbrack }=p!\delta _{\lbrack \nu _{1}}^{\mu _{1}}\cdots \delta _{\nu _{p}\rbrack }^{\mu _{p}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/769c8ac79b76fab6446c5ebbe0d7280a24e89c8b)
となる。また、p × p 行列式で表現すると[4]:
![{\displaystyle \delta _{\nu _{1}\cdots \nu _{p}}^{\mu _{1}\cdots \mu _{p}}={\begin{vmatrix}\delta _{\nu _{1}}^{\mu _{1}}&\cdots &\delta _{\nu _{p}}^{\mu _{1}}\\\vdots &\ddots &\vdots \\\delta _{\nu _{1}}^{\mu _{p}}&\cdots &\delta _{\nu _{p}}^{\mu _{p}}\end{vmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d217714e135480610159ef233d874ceff460b16c)
となる。
行列式の余因子展開を用いると再帰的な定義:
![{\displaystyle {\begin{aligned}\delta _{\nu _{1}\dots \nu _{p}}^{\mu _{1}\cdots \mu _{p}}&=\sum _{k=1}^{p}(-1)^{p+k}\delta _{\nu _{k}}^{\mu _{p}}\delta _{\nu _{1}\cdots {\check {\nu }}_{k}\cdots \nu _{p}}^{\mu _{1}\cdots \mu _{k}\cdots {\check {\mu }}_{p}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/427723af48b01df1981a6243e174b66e9cddcde5)
が得られる。ただし、チェック(
)が付いた項は式から外されるとする。
n=p の場合、(高階に拡張された)エディントンのイプシロンを使えば:
![{\displaystyle \delta _{\nu _{1}\cdots \nu _{n}}^{\mu _{1}\cdots \mu _{n}}=\varepsilon ^{\mu _{1}\cdots \mu _{n}}\varepsilon _{\nu _{1}\cdots \nu _{n}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0225ea82afa88c05fcc1220edd3041abc3c45811)
となる。
逆にエディントンのイプシロンの定義と考えることもできる。
![{\displaystyle \varepsilon ^{\mu _{1}\cdots \mu _{n}}=\delta _{1\cdots n}^{\mu _{1}\cdots \mu _{n}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cdd086bf4a2a114708da4059456c2c94f7cceb64)
![{\displaystyle \varepsilon _{\nu _{1}\cdots \nu _{n}}=\delta _{\nu _{1}\cdots \nu _{n}}^{1\cdots n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b85ee8baaa5ead0ebefa5ebf7ed4f77e68eb9f01)
演算規則
反対称化を一般化されたクロネッカーのデルタを使って定義すると
![{\displaystyle {\begin{aligned}{\frac {1}{p!}}\sum _{\nu _{1},\dots ,\nu _{p}=1}^{n}\delta _{\nu _{1}\cdots \nu _{p}}^{\mu _{1}\cdots \mu _{p}}a^{\nu _{1}\cdots \nu _{p}}&=a^{\lbrack \mu _{1}\cdots \mu _{p}\rbrack }\\{\frac {1}{p!}}\sum _{\mu _{1},\dots ,\mu _{p}=1}^{n}\delta _{\nu _{1}\cdots \nu _{p}}^{\mu _{1}\cdots \mu _{p}}a_{\mu _{1}\cdots \mu _{p}}&=a_{\lbrack \nu _{1}\cdots \nu _{p}\rbrack }\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b3cccf108498bc25fa5caed208520e7a71986ecc)
となる。
これより、以下の演算規則が導かれる。
![{\displaystyle {\begin{aligned}\sum _{1\leq \nu _{1}<\dots <\nu _{p}\leq n}\delta _{\nu _{1}\cdots \nu _{p}}^{\mu _{1}\cdots \mu _{p}}a^{\lbrack \nu _{1}\cdots \nu _{p}\rbrack }&=a^{\lbrack \mu _{1}\cdots \mu _{p}\rbrack }\\\sum _{1\leq \mu _{1}<\dots <\mu _{p}\leq n}\delta _{\nu _{1}\cdots \nu _{p}}^{\mu _{1}\cdots \mu _{p}}a_{\lbrack \mu _{1}\cdots \mu _{p}\rbrack }&=a_{\lbrack \nu _{1}\cdots \nu _{p}\rbrack }\\\sum _{1\leq \nu _{1}<\dots <\nu _{p}\leq n}\delta _{\nu _{1}\cdots \nu _{p}}^{\mu _{1}\cdots \mu _{p}}\delta _{\rho _{1}\cdots \rho _{p}}^{\nu _{1}\cdots \nu _{p}}&=\delta _{\rho _{1}\cdots \rho _{p}}^{\mu _{1}\cdots \mu _{p}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2e9fe58784ebbe3afc4cc09800ef82b1339fd44)
これらは#性質の節の内容の一般化であり、3番目の式はコーシー・ビネの公式に対応する。
添字の縮約については 0≤m<k≤n として[5]、
![{\displaystyle \sum _{\rho _{m+1}=1}^{n}\cdots \sum _{\rho _{k}=1}^{n}\delta _{\nu _{1}\cdots \nu _{m}~\rho _{m+1}\cdots \rho _{k}}^{\mu _{1}\cdots \mu _{m}~\rho _{m+1}\cdots \rho _{k}}\,={\frac {(n-m)!}{(n-k)!}}\delta _{\nu _{1}\cdots \nu _{m}}^{\mu _{1}\cdots \mu _{m}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ff492d66f9a3e2636072fbe2ca883dc30f21f49)
あるいは
![{\displaystyle \sum _{1\leq \rho _{m+1}<\dots <\rho _{k}\leq n}\delta _{\nu _{1}\cdots \nu _{m}~\rho _{m+1}\cdots \rho _{k}}^{\mu _{1}\cdots \mu _{m}~\rho _{m+1}\cdots \rho _{k}}\,={\begin{pmatrix}n-m\\k-m\end{pmatrix}}\delta _{\nu _{1}\cdots \nu _{m}}^{\mu _{1}\cdots \mu _{m}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a73ad3c3e50bab70b250f0e4fe760b167c1a1cdb)
が成立する。
特に k=n のとき、
![{\displaystyle \sum _{1\leq \rho _{m+1}<\cdots <\rho _{n}\leq n}\delta _{\nu _{1}\cdots \nu _{m}~\rho _{m+1}\cdots \rho _{n}}^{\mu _{1}\cdots \mu _{m}~\rho _{m+1}\cdots \rho _{n}}\,=\delta _{\nu _{1}\cdots \nu _{m}}^{\mu _{1}\cdots \mu _{m}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d936b36e21602518a0c68127015775ccef7bdebd)
あるいは
![{\displaystyle \sum _{1\leq \rho _{m+1}<\cdots <\rho _{n}\leq n}\varepsilon ^{\mu _{1}\cdots \mu _{m}~\rho _{m+1}\cdots \rho _{n}}~\varepsilon _{\nu _{1}\cdots \nu _{m}~\rho _{m+1}\cdots \rho _{n}}\,=\delta _{\nu _{1}\cdots \nu _{m}}^{\mu _{1}\cdots \mu _{m}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/48cbd8174e0ab1e2af6111b31acda6f52f4b4ede)
![{\displaystyle \sum _{\rho _{m+1},\dots ,\rho _{n}=1}^{n}\varepsilon ^{\mu _{1}\cdots \mu _{m}~\rho _{m+1}\cdots \rho _{n}}~\varepsilon _{\nu _{1}\cdots \nu _{m}~\rho _{m+1}\cdots \rho _{n}}\,=(n-m)!~\delta _{\nu _{1}\cdots \nu _{m}}^{\mu _{1}\cdots \mu _{m}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5b70caf6f5c0e50fa046f732a5055cb969af082)
が成立する。
出典
- ^ 記号としての初出は恐らく Kronecker, L. (1868). “Ueber bilineare Formen”. Journal für die reine und angewandte Mathematik 68: 272–285. EuDML 148042. の276ページ。
- ^ Theodore Frankel, The Geometry of Physics: An Introduction 3rd edition (2012), published by Cambridge University Press, ISBN 9781107602601
- ^ D. C. Agarwal, Tensor Calculus and Riemannian Geometry 22nd edition (2007), published by Krishna Prakashan Media
- ^ David Lovelock, Hanno Rund, Tensors, Differential Forms, and Variational Principles, Dover Publications
- ^ Sadri Hassani,Mathematical Methods: For Students of Physics and Related Fields 2nd edition (2008), published by Springer-Verlag, ISBN 978-0387095035
関連項目
|
---|
Glossary of tensor theory(英語版) |
範囲 (Scope) | |
---|
表記法 (Notation) | |
---|
テンソルの定義 | |
---|
算法 | |
---|
関連事項 | |
---|
有名なテンソル | |
---|
数学者 | |
---|
カテゴリ |