クロネッカーのデルタ

クロネッカーのデルタ（英: Kronecker delta）とは、集合 T（多くは自然数の部分集合）の元 i,j に対して

${\displaystyle \delta _{ij}={\begin{cases}1&(i=j)\\0&(i\neq j)\end{cases}}}$

によって定義される二変数関数 ${\displaystyle \delta _{ij}:T\times T\rightarrow \{0,1\}}$ のことをいう。つまり、T×T の対角成分の特性関数のことである。名称は、19世紀のドイツの数学者レオポルト・クロネッカーに因む。

アイバーソンの記法を用いると

${\displaystyle \delta _{ij}=[i=j]\,}$

と書ける。

単純な記号だが、色々な場面で有用である。例えば、単位行列は (δ_ij) と書けたり、n 次元直交座標の基底ベクトルの内積は、(e_i, e_j)=δ_ij と書ける。

性質[編集]

${\displaystyle {\begin{aligned}\sum _{j}\delta _{ij}a_{j}&=a_{i}\\\sum _{i}a_{i}\delta _{ij}&=a_{j}\end{aligned}}}$

が成り立つ。これはベクトルに単位行列を作用させても不変であることに対応する。

${\displaystyle \sum _{k}\delta _{ik}\delta _{kj}=\delta _{ij}}$

が成り立つ。これは単位行列に単位行列を掛けたものは単位行列であることに対応する。

一般化されたクロネッカーのデルタ[編集]

この節では、添字は 1 から n の間の値をとるものとする。

2階(1, 1)型テンソルとしてのクロネッカーのデルタは

${\displaystyle \delta _{\nu }^{\mu }={\begin{cases}1&\quad (\mu =\nu )\\0&\quad (\mu \neq \nu )\end{cases}}}$

である。

これを高階に拡張したものとして、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}}}$

である^[1][2]。

なお、"${\displaystyle {\text{even}}}$" は ${\displaystyle \nu _{1},\nu _{2},\dotsc ,\nu _{p}}$ が全て異なり、かつ、 ${\displaystyle \mu _{1},\mu _{2},\dotsc ,\mu _{p}}$ の偶置換の場合を指し、"${\displaystyle {\text{odd}}}$" は ${\displaystyle \nu _{1},\nu _{2},\dotsc ,\nu _{p}}$ が全て異なり、かつ、${\displaystyle \mu _{1},\mu _{2},\dotsc ,\mu _{p}}$ の奇置換の場合を指し、"${\displaystyle {\text{otherwise}}}$" は上記以外のすべての場合を指す。

${\displaystyle {\mathfrak {S}}_{p}}$ を 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}}}$

と表現でき、反対称化の記号を用いると：

${\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}}}$

となる。また、p × p 行列式で表現すると^[3]：

${\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}}}$

となる。

行列式の余因子展開を用いると再帰的な定義：

${\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}}}$

が得られる。ただし、チェック(${\displaystyle {\check {}}}$)が付いた項は式から外されるとする。

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}}}$

となる。

逆にエディントンのイプシロンの定義と考えることもできる。

${\displaystyle \varepsilon ^{\mu _{1}\cdots \mu _{n}}=\delta _{1\cdots n}^{\mu _{1}\cdots \mu _{n}}}$

${\displaystyle \varepsilon _{\nu _{1}\cdots \nu _{n}}=\delta _{\nu _{1}\cdots \nu _{n}}^{1\cdots n}}$

演算規則[編集]

反対称化を一般化されたクロネッカーのデルタを使って定義すると

${\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}}}$

となる。

これより、以下の演算規則が導かれる。

${\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}}}$

これらは#性質の節の内容の一般化であり、3番目の式はコーシー・ビネの公式に対応する。

添字の縮約については 0≤m<k≤n として^[4]、

${\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}}}$

あるいは

${\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}}}$

が成立する。

特に 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}}}$

あるいは

${\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}}}$

${\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}}}$

が成立する。

出典[編集]

1. ^ Theodore Frankel, The Geometry of Physics: An Introduction 3rd edition (2012), published by Cambridge University Press, ISBN 9781107602601
2. ^ D. C. Agarwal, Tensor Calculus and Riemannian Geometry 22nd edition (2007), published by Krishna Prakashan Media
3. ^ David Lovelock, Hanno Rund, Tensors, Differential Forms, and Variational Principles, Dover Publications
4. ^ 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)	添字表記法 多重指数 アインシュタインの縮約記法 リッチ計算法（英語版） ペンローズのグラフ記法 フォークト表記 抽象添字記法 テトラド表記（英語版） ファン・デル・ヴェルデン表示
テンソルの定義	テンソル空間 テンソル場 テンソル密度（英語版） 曲線座標系におけるテンソル（英語版） 混テンソル（英語版） 反対称テンソル 対称テンソル テンソル作用素（英語版） テンソル束（英語版）
算法	テンソル積 楔積 テンソルの縮約 行列（2階テンソル）の転置 添字の上げ下げ（英語版） ホッジ双対 共変微分 外微分 共変外微分（英語版） リー微分
関連事項	次元 基底 ベクトル、ベクトル空間 多重ベクトル（英語版） ベクトルの共変性と反変性 線型写像 行列 スピノール カルタン形式 微分形式 接続形式 測地線 多様体 ファイバー束 曲率形式 レヴィ・チヴィタ接続 アフィン接続
有名なテンソル	数学 クロネッカーのデルタ エディントンのイプシロン 計量テンソル クリストッフェル記号 リッチテンソル リーマン曲率テンソル ワイルテンソル（英語版） 捩率テンソル 物理学 慣性モーメント 角運動量 応力テンソル エネルギー・運動量テンソル 電磁場テンソル グルーオン場の強度テンソル（英語版） アインシュタインテンソル 計量テンソル (一般相対論)（英語版）
数学者	レオンハルト・オイラー カール・フリードリヒ・ガウス オーギュスタン＝ルイ・コーシー ヘルマン・グラスマン グレゴリオ・リッチ＝クルバストロ トゥーリオ・レヴィ＝チヴィタ Jan Arnoldus Schouten（英語版） ベルンハルト・リーマン エルヴィン・クリストッフェル ヴォルデマール・フォークト エリ・カルタン ヘルマン・ワイル アルベルト・アインシュタイン
カテゴリ