'tensor'에 해당되는 글 1건

  1. 2010.02.28 Contravariant/Covariant/Metric tensor와 Kronecker delta (2)
요즘은 양자를 하기 전에 고전적인 장론에 대해 좀 더 알아야 할 것 같아서 이 책을 보고있다.

The Classical Theory of Fields (4 Revised, Paperback)
Landau, L. D./Butterworth-Heinemann
고급 전자기학과 일반상대론을 다룬다.

여태 역학의 관점에서만 상대론을 공부해서 나한테만 새로운건지는 모르겠는데, 시공간상의 거리(Spacetime interval; 직역하면 시공간 간극이 맞겠지만)로부터 논리를 세우는 과정은 인상적이었다. 그런데 친구한테 듣기로는 요즘 상대론 책은 전부 그렇다고 한다. 내가 구세대라니 OTL

그런데 첫 챕터부터 읽는데[각주:1] 틀린 것 같은 부분이 있어서 확인해봤다. 결과는 옳기는 하더라도, 과정상 틀린 부분이 있다는 기분이 들었던 것. 바로 metric tensor와 관련된 부분이다. 책에서는 Kronecker delta 텐서를 indice lowering/raising하는 것으로 metric tensor가 얻어지는 것처럼 서술했는데, 원래는 둘은 서로 독립적인 존재이다.

metric tensor는 공간의 특성, 즉 거리의 측정법을 규정한다. 두 점 사이의 변위를 d{\bold x}^i로 쓸 때, 두 점 사이의 거리는 다음으로 정의한다.(표기는 Einstein summation notation을 따른다)

ds^2=g_{ij}d\bold x^id\bold x^j

여기서 g_{ij}가 metric tensor이다.[각주:2] 일반적인 유클리드 공간이라면 metric tensor는 Kronecker delta가 된다. 그리고 일반적으로 말하는 평평한 시공간(flat spacetime)에서는 (정의하기 나름이지만) 0번째 항이 1이고 나머지 항은 -1인 대각행렬(diagonal matrix)이 된다. 만약 시공간이 꼬여있으면 그건 일반상대론한테 물어보도록. 리만(Riemann)을 찾아가도 되겠지만 일반상대론보다 일반적이지는 않을 거다.[각주:3]

metric tensor의 원래 정의는 위와 같지만, contravariant의 indice를 내려주는 역할을 하기도 한다. 사실 covariant를 dual 벡터로 정의하기 때문에 생기는 특성이기는 하지만 말이다.

\bold A_i=g_{ij}\bold A^j

그렇다면 covariant의 indice를 올려주고 싶다면 어떻게 하면 될까? 그건 metric tensor의 dual을 이용한다.

\bold A^i=g^{ij}\bold A_j

그렇다면 dual은 어떻게 구할까? 위의 두 과정을 합쳐보자.

\bold A^i=g^{ij}g_{jk}\bold A^k=\delta^i_k\bold A^k

어차피 벡터 A는 무엇이 되어도 상관없기 때문에 떼어버리면(아래 식의 우변은 metric tensor의 대칭성을 이용한 것이다.)

g^{ij}g_{jk}=\delta^i_k=g_{kj}g^{ji}

신비롭게도 행렬로 쓴다면 둘은 서로 역행렬 관계이다. 결론을 제대로 서술하자면, metric tensor와 Kronecker delta는 무관하고, metric의 dual이 Kronecker delta를 이용해 구해진다는 것이다.

오늘의 태클은 여기까지.
  1. 공부의 정석은 정독이다. [본문으로]
  2. 단, symmetric tensor가 되어야 한다. [본문으로]
  3. 일반상대론에서는 유사리만공간(pseudo-Riemannian manifold)을 이용하고 내적이 좀 더 복잡하다. 자기 자신과의 내적이 음이 될수도 있도록 일반화된 공간이 유사리만공간이다. [본문으로]

댓글을 달아 주세요

  1.  댓글주소  수정/삭제  댓글쓰기

    비밀댓글입니다

    2010.02.28 08:05

1 

글 보관함

카운터

Total : 650,427 / Today : 112 / Yesterday : 42
get rsstistory!