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를 이용해 구해진다는 것이다.

오늘의 태클은 여기까지.

선형사상(linear map)은 두 벡터공간을 연결하는 특정한 함수의 하나이다. 이 함수를 규정하는 조건은 다음과 같다.

목요일에 보았던 시험범위네요.


1. 먼저 벡터.

벡터는 수학적으로는 덧셈이 교환법칙(a+b=b+a)을 만족하며, 항등원이 있고(a+0=a) 역원이 있는(a+(-a)=0) 집합의 원소로 정의합니다. 일부의 경우 곱셈까지 제한조건으로 걸어두기도 하지만, 일단은 그 부분은 무시.

물리학적으로는 제한조건이 하나 더 붙게 됩니다. '좌표변환에 대해 좌표(변위벡터)와 동일한 방식으로 변화할 것.'이라는 조건인데, 생각해보면 당연합니다. 물리법칙은 좌표 선택에 영향받지 않습니다.^[각주:1] 따라서 물리법칙에 들어가는 벡터량들은 좌표 선택에 영향받지 않아야 합니다. 그리고 좌표 선택에 영향받지 않는 물리량은 좌표 그 자체, 변위가 되겠지요. 그러면 당연히 다른 벡터들도 변위가 변화하는 방식에 따라 변화해야지요.

이런 방식으로 변화하지는 않지만 벡터와 같은 성질을 갖는 물리량들도 있습니다. 그런 벡터들을 두고는 유사벡터(pseudovector)라고 말합니다. 대표적인 예로는 각운동량이 있군요. 좌표를 전부 거꾸로 셀 때(이를 반전-inversion-이라고 부릅니다) 위치와 속도벡터는 거꾸로 세어지지만 이들의 벡터곱인 각운동량은 뒤집어지지 않기 때문입니다.



2. 다음, 텐서.

텐서는 벡터의 확장입니다. 말이야 쉽지요.

먼저 벡터의 정의에서 마지막으로 하나의 제한조건을 더 붙였던 것 기억하시길 바랍니다. 여기가 포인트입니다.

텐서는 좌표의 '조합'에 하나의 값을 부여합니다. x와 x에 대해서는 a라는 값을, x와 y에 대해서는 b라는 값을, y와 x에 대해서는 c라는 값을, 등등등...^[각주:2] 그러면 텐서는 어떻게 변화해야 하나요? 좌표의 조합이 변화하는 방식에 따라 변화해야 합니다.

정확히 말하자면, x와 y의 조합에 b라는 값을 부여했을 때, b는 x좌표가 x'으로 바뀔 때 변하는 방식과 z좌표가 z'으로 바뀔 때 변하는 방식을 동시에 만족하면서 변해야 한다는 의미입니다. 수학적으로 바꾸어 보겠습니다.

좌표변환에서 새로 정의되는 벡터성분은 좌표변환 이전의 벡터성분들을 조금씩 수혈받습니다. xy평면상의 벡터들의 회전에 대한 행렬이 좋은 예이지요.

이 행렬에서 새로운 축의 x방향 성분은 이전 축의 x방향 성분에서 cos값을 곱한만큼 수혈받고 y축 방향 성분에서 -sin값을 곱한만큼 수혈받는다는 것을 알 수 있습니다.

그렇다면 x와 y의 조합에 대해 규정된 값인 b는 어떻게 변화해야 할까요? 새로운 축의 x와 옛 축의y의 조합에 대해 규정된 값 b'은 위의 방식대로 해주면 됩니다. 옛 축의 x와 x에 대해 정의된 값에서 cos값을 곱한만큼 수혈받고, 옛 축의 x와 y에 대해 정의된 값에서 -sin값을 곱한만큼 수혈받습니다. 그리고 새로운 축의 x와 y에 대해 부여된 값 b''은 새로운 축의 x와 옛 축의 x에 대해 정의된 값에서 sin값을 곱한만큼, 새로운 축의 x와 옛 축의 y에 대해 정의된 값에서 cos값을 곱한만큼 수혈받으면 되는 것이지요. 각 비율을 p라고 적으면, 다음과 같이 쓸 수 있습니다.