Dexter's story

요즘은 양자를 하기 전에 고전적인 장론에 대해 좀 더 알아야 할 것 같아서 이 책을 보고있다.


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

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

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


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

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


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


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


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


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

오늘의 태클은 여기까지.