레비치비타 기호 문서 원본 보기

{{위키데이터 속성 추적}}
'''레비치비타 기호'''(Levi-Civita symbol) 또는 '''치환 텐서'''(permutation tensor)는 [[선형대수학]]과 [[미분기하학]]에서 정의된 기호로 수의 치환과 관련해 값을 주는 기호이다. 이 기호는 이탈리아 수학자 [[툴리오 레비치비타]]를 따라 이름지어졌다.

== 정의 ==
[[파일:Epsilontensor.svg|섬네일|350px|레비치비타 기호의 모습]]

레비치비타 기호 <math>\varepsilon_{ijk}</math>는 다음과 같이 정의된다.

:<math>\varepsilon_{ijk} =
\begin{cases}
+1 & \mbox{if } (i,j,k) \mbox{ is } (1,2,3), (2,3,1) \mbox{ or } (3,1,2)\\
-1 & \mbox{if } (i,j,k) \mbox{ is } (3,2,1), (1,3,2) \mbox{ or } (2,1,3)\\
0  & \mbox{otherwise: }i=j \mbox{ or } j=k \mbox{ or } k=i
\end{cases}
</math>

정의에서 보다시피 레비치비타 기호는 [[반대칭 텐서|완전 반대칭]]이다.

== 크로네커 델타와의 관계 ==
레비치비타 기호는 크로네커 델타와 많은 관계가 있다. 3차원에서는 다음과 같은 관계들이 있다.
:<math>
\begin{align}
\varepsilon_{ijk}\varepsilon_{lmn} &= \det \begin{vmatrix}
\delta_{il} & \delta_{im}& \delta_{in}\\
\delta_{jl} & \delta_{jm}& \delta_{jn}\\
\delta_{kl} & \delta_{km}& \delta_{kn}\\
\end{vmatrix}\\
&= \delta_{il}\left( \delta_{jm}\delta_{kn} - \delta_{jn}\delta_{km}\right) - \delta_{im}\left( \delta_{jl}\delta_{kn} - \delta_{jn}\delta_{kl} \right) + \delta_{in} \left( \delta_{jl}\delta_{km} - \delta_{jm}\delta_{kl} \right)
\end{align}
</math>
:<math>
\sum_{i=1}^3 \varepsilon_{ijk}\varepsilon_{imn} = \delta_{jm}\delta_{kn} - \delta_{jn}\delta_{km}
</math> ("축약된 입실론 성질")
:([[아인슈타인 표기법]]을 사용하면 : <math> \varepsilon_{ijk}\varepsilon_{imn} = \delta_{jm}\delta_{kn} - \delta_{jn}\delta_{km}</math>)
:<math>
\sum_{i,j=1}^3 \varepsilon_{ijk}\varepsilon_{ijn} = 2\delta_{kn}
</math>

== 활용 예 ==
레비치비타 기호는 수학과 물리학의 다양한 분야에서 사용된다. 예를 들어, [[선형대수학]]에서 두 3차원 [[유클리드 벡터|벡터]]의 [[벡터곱]]은 이 기호를 사용해 다음과 같이 쓸 수 있다.
:<math>
\mathbf{a \times b} =
  \begin{vmatrix}
    \mathbf{e_1} & \mathbf{e_2} & \mathbf{e_3} \\
    a_1 & a_2 & a_3 \\
    b_1 & b_2 & b_3 \\
  \end{vmatrix}
= \sum_{i,j,k=1}^3 \varepsilon_{ijk} \mathbf{e_i} a_j b_k
</math>
혹은, 더 간단히 쓰면:
:<math>
\mathbf{a \times b} = \mathbf{c},\ c_i = \sum_{j,k=1}^3 \varepsilon_{ijk} a_j b_k
</math>

위 표기는 [[아인슈타인 표기법]]을 사용하면 훨씬 더 간단해진다

:<math>
c_i = \varepsilon_{ijk} a_j b_k \;
</math>

== 레비치비타 기호의 일반화 ==
레비치비타 기호는 다음과 같이 고차원으로 일반화 될 수 있다.
:<math>\varepsilon_{ijkl\dots} =
\begin{cases}
+1 & \mbox{if }(i,j,k,l,\dots) \mbox{ is an even permutation of } (1,2,3,4,\dots) \\
-1 & \mbox{if }(i,j,k,l,\dots) \mbox{ is an odd permutation of } (1,2,3,4,\dots) \\
0  & \mbox{if any two labels are the same}
\end{cases}
</math><!---
See [[even permutation]] or [[symmetric group]] for a definition of 'even permutation' and 'odd permutation'
--->

== 같이 보기 ==
* [[크로네커 델타]]

[[분류:선형대수학]]
[[분류:텐서]]
[[분류:순열]]