クロネッカーのデルタ

出典: フリー百科事典『ウィキペディア(Wikipedia)』
2013年6月23日 (日) 00:56時点におけるKara3 (トーク)による版 (関連項目)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
移動先: 案内検索

クロネッカーのデルタKronecker delta)とは、集合 T(多くは自然数部分集合)の元 i, j に対して テンプレート:Indent という性質を持つ関数 δij : T×T → {0, 1} のことをいう。つまり、T×T の対角成分の特性関数のことである。名称は、19世紀のドイツの数学者レオポルト・クロネッカーに因む。

アイバーソンの記法を用いると テンプレート:Indent


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

演算規則

<math>\begin{align}

\sum_{j} \delta_{ij} a_{j} &= a_{i}\\ \sum_{i} a_{i}\delta_{ij} &= a_{j} \end{align}</math> これはベクトルに単位行列を作用させても不変であることを意味する。

<math>

\sum_{k} \delta_{ik} \delta_{kj} = \delta_{ij} </math> これは単位行列に単位行列を掛けたものは単位行列であることを意味する。

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

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

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

<math>

\delta^{\mu}_{\nu} = \begin{cases} 1 & \quad (\mu=\nu)\\ 0 & \quad (\mu\ne\nu) \end{cases} </math> である。

これを高階に拡張したものとして、n次元、 2p階の一般化されたクロネッカーのデルタがある。これは(p,p) 型テンソルで、上下それぞれの添字に対して反対称である。

定義

一般化されたクロネッカーのデルタの定義は

<math>

\delta^{\mu_1 \dots \mu_p }_{\nu_1 \dots \nu_p} = \begin{cases} +1 & \quad \text{(even)}\\ -1 & \quad \text{(odd) }\\ \;\;0 & \quad \text{(otherwise)} \end{cases} </math> である[1][2]。 なお、 "even"はν1νp が全て異なり、かつ、μ1μp偶置換の場合を指し、 "odd"はν1νp が全て異なり、かつ、μ1μp奇置換の場合を指し、 "otherwise"は上記以外のすべての場合を指す。


<math> \mathfrak{S}_p </math> をp 次の対称群とすれば

<math>

\delta^{\mu_1 \dots \mu_p}_{\nu_1 \dots \nu_p} = \sum_{\sigma \in \mathfrak{S}_p} \sgn(\sigma)\, \delta^{\mu_{\sigma(1)}}_{\nu_1}\cdots\delta^{\mu_{\sigma(p)}}_{\nu_p} = \sum_{\sigma \in \mathfrak{S}_p} \sgn(\sigma)\, \delta^{\mu_1}_{\nu_{\sigma(1)}}\cdots\delta^{\mu_p}_{\nu_{\sigma(p)}} </math> と表現でき、反対称化の記号を用いると:

<math>

\delta^{\mu_1 \dots \mu_p}_{\nu_1 \dots \nu_p} = p! \delta^{\lbrack \mu_1}_{ \nu_1} \dots \delta^{\mu_p \rbrack}_{\nu_p } = p! \delta^{ \mu_1}_{\lbrack \nu_1} \dots \delta^{\mu_p }_{\nu_p \rbrack} </math> となる。また、テンプレート:Nowrap 行列式で表現すると[3]:

<math>

\delta^{\mu_1 \dots \mu_p }_{\nu_1 \dots \nu_p} = \begin{vmatrix} \delta^{\mu_1}_{\nu_1} & \cdots & \delta^{\mu_1}_{\nu_p} \\ \vdots & \ddots & \vdots \\ \delta^{\mu_p}_{\nu_1} & \cdots & \delta^{\mu_p}_{\nu_p} \end{vmatrix} </math> となる。

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

<math>\begin{align}

\delta^{\mu_1 \dots \mu_p}_{\nu_1 \dots \nu_p} & = \sum_{k=1}^p (-1)^{p+k} \delta^{\mu_p}_{\nu_k} \delta^{\mu_1 \dots \mu_{k} \dots \check\mu_p}_{\nu_1 \dots \check\nu_k \dots \nu_{p}} \end{align}</math> が得られる。ただし、チェックついた項は式から外されるとする。


n = p の場合、(高階に拡張された)エディントンのイプシロンを使えば:

<math>

\delta^{\mu_1 \dots \mu_n}_{\nu_1 \dots \nu_n} = \varepsilon^{\mu_1 \dots \mu_n}\varepsilon_{\nu_1 \dots \nu_n} </math> となる。

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

<math>

\varepsilon^{\mu_1 \dots \mu_n} = \delta^{\mu_1 \dots \mu_n}_{1 \dots n} </math>

<math>

\varepsilon_{\nu_1 \dots \nu_n} = \delta^{1 \dots n}_{\nu_1 \dots \nu_n} </math>

演算規則

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

<math>\begin{align}

\frac{1}{p!}\sum_{\nu_1,\dots,\nu_p=1}^{n}\delta^{\mu_1 \dots \mu_p}_{\nu_1 \dots \nu_p} a^{\nu_1 \dots \nu_p} &= a^{\lbrack \mu_1 \dots \mu_p \rbrack} \\ \frac{1}{p!}\sum_{\mu_1,\dots,\mu_p=1}^{n}\delta^{\mu_1 \dots \mu_p}_{\nu_1 \dots \nu_p} a_{\mu_1 \dots \mu_p} &= a_{\lbrack \nu_1 \dots \nu_p \rbrack} \end{align}</math> となる。

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

<math>\begin{align}

\sum_{1 \le \nu_1 < \dots < \nu_p \le n}\delta^{\mu_1 \dots \mu_p}_{\nu_1 \dots \nu_p} a^{\lbrack \nu_1 \dots \nu_p \rbrack} &= a^{\lbrack \mu_1 \dots \mu_p \rbrack} \\ \sum_{1 \le \mu_1 < \dots < \mu_p \le n}\delta^{\mu_1 \dots \mu_p}_{\nu_1 \dots \nu_p} a_{\lbrack \mu_1 \dots \mu_p \rbrack} &= a_{\lbrack \nu_1 \dots \nu_p \rbrack} \\ \sum_{1 \le \nu_1 < \dots < \nu_p \le n} \delta^{\mu_1 \dots \mu_p}_{\nu_1 \dots \nu_p} \delta^{\nu_1 \dots \nu_p}_{\rho_1 \dots \rho_p} &= \delta^{\mu_1 \dots \mu_p}_{\rho_1 \dots \rho_p} \end{align}</math> これらは#演算規則の節の内容の一般化であり、3番めの式はコーシー・ビネの公式に対応する。


添字のテンプレート:仮リンクについては <math> (0 \le m < k \le n) </math> として[4]

<math>
\sum_{\rho_{m+1}=1}^{n}
\dots
\sum_{\rho_{k}=1}^{n}
\delta^{\mu_1 \dots \mu_m~\rho_{m+1}\dots \rho_k}_{\nu_1 \dots \nu_m~\rho_{m+1}\dots \rho_k}\, 

= \frac{(n-m)!}{(n-k)!} \delta^{\mu_{1} \dots \mu_{m}}_{\nu_{1} \dots \nu_{m}} </math> あるいは

<math>

\sum_{1 \le \rho_{m+1}< \dots < \rho_k \le n} \delta^{\mu_1 \dots \mu_m~\rho_{m+1}\dots \rho_k}_{\nu_1 \dots \nu_m~\rho_{m+1}\dots \rho_k}\, = \begin{pmatrix}n-m \\ k-m \end{pmatrix}\delta^{\mu_{1} \dots \mu_{m}}_{\nu_{1} \dots \nu_{m}} </math> が成立する。

特に k = n のとき、

<math>\sum_{1 \le \rho_{m+1}< \dots < \rho_n \le n}

\delta^{\mu_1 \dots \mu_m~\rho_{m+1}\dots \rho_n}_{\nu_1 \dots \nu_m~\rho_{m+1}\dots \rho_n}\, = \delta^{\mu_{1} \dots \mu_{m}}_{\nu_{1} \dots \nu_{m}} </math> あるいは

<math>

\sum_{1 \le \rho_{m+1}< \dots < \rho_n \le n} \varepsilon^{\mu_1 \dots \mu_m~\rho_{m+1}\dots \rho_n}~ \varepsilon_{\nu_1 \dots \nu_m~\rho_{m+1}\dots \rho_n}\, = \delta^{\mu_{1} \dots \mu_{m}}_{\nu_{1} \dots \nu_{m}} </math>

<math>

\left( \sum_{\rho_{m+1},\dots,\rho_n=1}^{n} \varepsilon^{\mu_1 \dots \mu_m~\rho_{m+1}\dots \rho_n}~ \varepsilon_{\nu_1 \dots \nu_m~\rho_{m+1}\dots \rho_n}\, = (n-m)! ~ \delta^{\mu_{1} \dots \mu_{m}}_{\nu_{1} \dots \nu_{m}} \right) </math> が成立する。

出典

  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

関連項目

テンプレート:Tensors