3階のエディントン・イプシロンの性質
3階のエディントン・イプシロンの性質
3階のエディントン・イプシロン\(\epsilon\)は次を満たす。
3階のエディントン・イプシロン\(\epsilon\)は次を満たす。
(1)
\[ \epsilon_{ijk}=\det\left(\begin{array}{ccc} \delta_{1i} & \delta_{1j} & \delta_{1k}\\ \delta_{2i} & \delta_{2j} & \delta_{2k}\\ \delta_{3i} & \delta_{3j} & \delta_{3k} \end{array}\right) \](2)
\[ \epsilon_{ijk}\epsilon_{lmn}=\det\left(\begin{array}{ccc} \delta_{il} & \delta_{im} & \delta_{in}\\ \delta_{jl} & \delta_{jm} & \delta_{jn}\\ \delta_{kl} & \delta_{km} & \delta_{kn} \end{array}\right) \](3)
\[ \sum_{k}\epsilon_{ijk}\epsilon_{lmk}=\det\left(\begin{array}{cc} \delta_{il} & \delta_{im}\\ \delta_{jl} & \delta_{jm} \end{array}\right) \](4)
\[ \sum_{j,k}\epsilon_{ijk}\epsilon_{ljk}=2\delta_{il} \](5)
\[ \sum_{i,j,k}\epsilon_{ijk}\epsilon_{ijk}=6 \](1)
\[ \epsilon_{123}=\det\left(\begin{array}{ccc} 1 & 0 & 0\\ 0 & 1 & 0\\ 0 & 0 & 1 \end{array}\right)=1 \] であり、\(ijk\)のうち同じものが含まれているときは行列式の性質より\(\epsilon_{ijk}=0\)となる。同じものが含まれていないときは、行列式の性質より列を入れ替えると符号が変わるので、偶置換なら\(\epsilon_{ijk}=+1\)、奇置換なら\(\epsilon_{ijk}=-1\)となる。
故に与式は成り立つ。
(2)
\[ \epsilon_{123}\epsilon_{123}=\det\left(\begin{array}{ccc} 1 & 0 & 0\\ 0 & 1 & 0\\ 0 & 0 & 1 \end{array}\right)=1 \] であり、\(ijk\)または\(lmn\)のうち同じものが含まれているときは行列式の性質より\(\epsilon_{ijk}\epsilon_{lmn}=0\)となる。\(ijk\)に同じものが含まれていないときは、行列式の性質より行を入れ替えると符号が変わるので、偶置換なら\(\epsilon_{ijk}\epsilon_{lmn}=+1\)、奇置換なら\(\epsilon_{ijk}\epsilon_{lmn}=-1\)となる。
同様に\(lmn\)に同じものが含まれていないときは、行列式の性質より列を入れ替えると符号が変わるので、偶置換なら\(\epsilon_{ijk}\epsilon_{lmn}=+1\)、奇置換なら\(\epsilon_{ijk}\epsilon_{lmn}=-1\)となる。
故に与式は成り立つ。
(3)
(2)より、\begin{align*} \sum_{k}\epsilon_{ijk}\epsilon_{lmk} & =\sum_{k}\det\left(\begin{array}{ccc} \delta_{il} & \delta_{im} & \delta_{ik}\\ \delta_{jl} & \delta_{jm} & \delta_{jk}\\ \delta_{kl} & \delta_{km} & \delta_{kk} \end{array}\right)\\ & =\sum_{k}\left(\delta_{kl}\det\left(\begin{array}{cc} \delta_{im} & \delta_{ik}\\ \delta_{jm} & \delta_{jk} \end{array}\right)-\delta_{km}\det\left(\begin{array}{cc} \delta_{il} & \delta_{ik}\\ \delta_{jl} & \delta_{jk} \end{array}\right)+\delta_{kk}\det\left(\begin{array}{cc} \delta_{il} & \delta_{im}\\ \delta_{jl} & \delta_{jm} \end{array}\right)\right)\\ & =\det\left(\begin{array}{cc} \delta_{im} & \delta_{il}\\ \delta_{jm} & \delta_{jl} \end{array}\right)-\det\left(\begin{array}{cc} \delta_{il} & \delta_{im}\\ \delta_{jl} & \delta_{jm} \end{array}\right)+3\det\left(\begin{array}{cc} \delta_{il} & \delta_{im}\\ \delta_{jl} & \delta_{jm} \end{array}\right)\\ & =-\det\left(\begin{array}{cc} \delta_{il} & \delta_{im}\\ \delta_{jl} & \delta_{jm} \end{array}\right)-\det\left(\begin{array}{cc} \delta_{il} & \delta_{im}\\ \delta_{jl} & \delta_{jm} \end{array}\right)+3\det\left(\begin{array}{cc} \delta_{il} & \delta_{im}\\ \delta_{jl} & \delta_{jm} \end{array}\right)\\ & =\det\left(\begin{array}{cc} \delta_{il} & \delta_{im}\\ \delta_{jl} & \delta_{jm} \end{array}\right) \end{align*} となるので与式は成り立つ。
(4)
(3)より、\begin{align*} \sum_{j,k}\epsilon_{ijk}\epsilon_{ljk} & =\sum_{j}\det\left(\begin{array}{cc} \delta_{il} & \delta_{ij}\\ \delta_{jl} & \delta_{jj} \end{array}\right)\\ & =\sum_{j}\left(\delta_{il}\delta_{jj}-\delta_{ij}\delta_{jl}\right)\\ & 3\delta_{il}-\delta_{il}\\ & =2\delta_{il} \end{align*} となるので与式は成り立つ。
(5)
(4)より、\begin{align*} \sum_{i,j,k}\epsilon_{ijk}\epsilon_{ijk} & =\sum_{i}2\delta_{ii}\\ & =6 \end{align*} となるので与式は成り立つ。
ページ情報
タイトル | 3階のエディントン・イプシロンの性質 |
URL | https://www.nomuramath.com/z4qmbf5y/ |
SNSボタン |
レヴィ・チヴィタ・イプシロンの定義
\[
\epsilon_{ijk}=\begin{cases}
+1 & even\\
-1 & odd\\
0 & etc
\end{cases}
\]