레비치비타 기호(Levi-Civita symbol) 또는 치환 텐서(permutation tensor)는 선형대수학과 미분기하학에서 정의된 기호로 수의 치환과 관련해 값을 주는 기호이다. 이 기호는 이탈리아 수학자 툴리오 레비치비타를 따라 이름지어졌다.
레비치비타 기호의 모습
레비치비타 기호
는 다음과 같이 정의된다.
![{\displaystyle \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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/703bb15379f2a31bfaef11e92fcf16e4cbc6b43c)
정의에서 보다시피 레비치비타 기호는 완전 반대칭이다.
크로네커 델타와의 관계[편집]
레비치비타 기호는 크로네커 델타와 많은 관계가 있다. 3차원에서는 다음과 같은 관계들이 있다.
![{\displaystyle {\begin{aligned}\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{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f436d301c92b088db7621729ebd34d741c39ef43)
("축약된 입실론 성질")
- (아인슈타인 표기법을 사용하면 :
)
![{\displaystyle \sum _{i,j=1}^{3}\varepsilon _{ijk}\varepsilon _{ijn}=2\delta _{kn}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/55395b563573355680927e7e65ba7b8b3167a7cb)
활용 예[편집]
레비치비타 기호는 수학과 물리학의 다양한 분야에서 사용된다. 예를 들어, 선형대수학에서 두 3차원 벡터의 벡터곱은 이 기호를 사용해 다음과 같이 쓸 수 있다.
![{\displaystyle \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}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/110f81eb8e1c50f0b89f2afa9e7bfc4afb493a80)
혹은, 더 간단히 쓰면:
![{\displaystyle \mathbf {a\times b} =\mathbf {c} ,\ c_{i}=\sum _{j,k=1}^{3}\varepsilon _{ijk}a_{j}b_{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0ed75c423dc48ad6e22d9d6b418026f6648693b)
위 표기는 아인슈타인 표기법을 사용하면 훨씬 더 간단해진다
![{\displaystyle c_{i}=\varepsilon _{ijk}a_{j}b_{k}\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/419f1984d8f9b1f5c8c8e0141491b7c02b913473)
레비치비타 기호의 일반화[편집]
레비치비타 기호는 다음과 같이 고차원으로 일반화 될 수 있다.
![{\displaystyle \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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0770d4359eec2ccc58ef0e6cf81b593c0d015031)
같이 보기[편집]