본문으로 이동

일반 상대성 이론의 기초

위키문헌 ― 우리 모두의 도서관.

일반 상대성 이론의 기초

Die Grundlage der allgemeinen Relativitätstheorie


알베르트 아인슈타인
A.Einstein

서문

[편집]

아래에 제시된 이론은 오늘날 대개 "상대성 이론"[Relativitätstheorie]이라 알려진 이론의 가능한 한 가장 광범위한 일반화를 이룬다. 다음에서 나는 후자를 (전자와 구별하기 위해) "특수 상대성 이론"[spezielle Relativitätstheorie]이라 부르고, 이미 잘 알려져 있는 것으로 간주할 것이다. 상대성 이론의 일반화는 공간 좌표와 시간 좌표의 형식적 동등성을 명확히 인지한 첫 수학자 민코프스키[Minkowski]가, 이를 특수 상대성 이론의 구축에 응용하여 제공한 형태에 의해 크게 촉진되었다. 일반 상대성 이론에 필요한 수학적 도구는 이미 "절대 미분학"[absoluten Differentialkalkül]에 구비되어 있었다. 이 학문은 가우스, 리만, 크리스토펠의 비유클리드 다양체에 대한 연구를 바탕으로 리치와 레비치비타가 체계화한 것으로, 이미 이론 물리학의 문제들에 활용되어 왔었다. 이 논문의 B 파트에서 나는 필요한 모든 수학적 도구를 소개하였고, 최대한 간단하고 명료하게 제시하여 이 논문을 이해하기 위해 특별한 수학 문헌 공부가 필요하지 않도록 노력하였다. 마지막으로, 내 친구, 수학자 그로스만[Grossmann]에게 감사하고 싶다. 그는 내가 적절한 수학 문헌을 공부하는 수고를 덜어줬을 뿐만 아니라, 내가 중력장 방정식을 찾는 데 도움을 주었다.

A. 상대성 공준에 관한 근본적 고려사항.

[편집]

§1. 특수 상대성 이론에 관한 언급.

[편집]

특수 상대성 이론은 다음 공준을 바탕으로 하고 있는데, 이는 갈릴레이-뉴턴 역학[Galilei-Newtonsche Mechanik]에서도 성립하는 바이다: 어떤 좌표계 가 그로부터 물리법칙들이 가장 간단한 형태로 성립하도록 선택되었을 때, 에 대하여 균일하게 병진운동하는 어떤 좌표계 에 대해서도 동일한 법칙들이 성립한다. 이 공준을 "특수 상대성 원리"라 부른다. "특수"[speziell]라는 단어는 이 원리가 에 대하여 균일하게 병진운동하는 경우에만 한정되며, 에 대하여 이 불균일한 운동을 보이는 경우에는 적용되지 않는다는 것을 나타낸다.

따라서, 특수 상대성 이론이 고전 역학과 다른 것은 상대성 원리가 아닌 진공에서의 광속 불변 원리에 의한 것이며, 이것을 특수 상대성 원리와 결합하면 동시성의 상대성, 로런츠 변환, 움직이는 물체와 시계의 거동에 대하여 연관된 법칙들이 잘 알려진 방식대로 유도된다.

특수 상대성 이론을 통해 공간과 시간의 이론이 겪게 된 수정은 가히 심오한 것이다; 그러나 한 가지 중요한 점이 그대로 남아 있었다. 특수 상대성 이론에서도 기하학의 법칙은 (정지한) 강체들의 가능한 상대적 위치에 연관된 법칙으로 곧장 해석되었으며, 보다 일반적으로 운동학의 법칙은 측정체와 시계의 거동을 묘사하는 법칙으로 해석되었다. 정지한 강체 위의 어떤 두 질점에는 언제나 특정 길이의 거리가 대응되며, 이는 물체의 위치와 방향, 그리고 시간에 독립적이다. 어떤 특수한 좌표계에 대하여 정지한 시계의 어떤 두 지시점에는 언제나 특정 길이의 시간 간격이 대응되며, 이 또한 위치와 시간에 독립적이다. 일반 상대성 이론에서는 공간과 시간에 대하여 이 단순한 물리적 해석을 고수할 수 없다는 것이 곧 분명해질 것이다.

§2. 상대성 원리의 확장에 대한 필요성.

[편집]

고전 역학에는, 그리고 특수 상대성 이론에도 마찬가지로, E.마흐[E. Mach]가 (아마 첫번째로) 정확하게 지적한 바 있는 인식론적 결함이 내재해 있다. 우리는 다음 예시를 통해 그것을 살펴볼 것이다. 크기와 성질이 동일한 두 유체가 서로 매우 먼 거리에서 공간을 자유롭게 떠다니고 있으며, 다른 물체로부터도 충분히 떨어져서 각 물체 내부의 다른 부분 사이의 상호작용으로 발생하는 중력만이 유의미하다고 가정하자. 두 유체 사이의 거리는 일정하고, 둘 다 각자의 부분끼리 상대적 움직임이 존재하지 않는다고 하자. 하지만 어느 한 유체는 (상대 유체에 대하여 정지한 관찰자가 보았을 때) 두 유체를 연결한 직선에 대하여 일정한 상대 각속도로 회전한다고 하자. 이 상대적 운동은 확인이 가능하다. 그리고 각 유체를 서로에 대해 정지한 측정 기구를 이용해 조사했을 때 의 표면은 구체이고, 의 표면은 회전하는 타원체였다고 하자. 이제 다음과 같은 질문을 한다. 이 두 물체의 차이를 만드는 원인은 무엇인가? 어떤 대답이 "관측 가능한 경험적 사실"을 바탕으로 하고 있지 않다면, 그것은 인식론적으로 만족스럽다고 말할 수 없다.[1] 인과론의 법칙은 관측가능한 사실들을 원인과 결과로 제시하지 않는 한 경험 세계에 대한 진술로서 효력을 갖지 못한다.

뉴턴 역학은 이 질문에 대한 만족스러운 대답을 내놓지 못한다. 그것은 다음과 같이 설명한다: 역학 법칙은 이 정지해 있는 공간 에서는 성립하지만, 가 정지해 있는 공간 에서는 성립하지 않는다. 하지만 이 설명에 들어간 갈릴레이의 특별한 공간 은 가상의 원인이지, 관찰할 수 있는 것이 아니다. 따라서 뉴턴 역학이 이와 같은 상황에 대해 인과론의 요구사항을 만족시키지 못하며, 그렇게 보일 뿐이라는 것은 명백하다. 의 관측가능한 차이를 설명하기 위해 이라는 가상의 원인을 도입하기 때문이다.

오직 만족스러운 대답은 으로 이루어진 물리계가 의 다른 거동을 설명하는 원인으로 언급될 수 없다는 것이다. 원인은 이 계의 바깥에 있어야 한다. 우리는 의 모양을 설명하는 일반적인 운동 법칙이, 의 역학적 거동이 본질적 측면에서 부분적으로는 지금까지 고려한 계에서 포함하지 않았던 원거리의 물체들에 의해 결정되는 방식이어야 한다고 봐야 한다. 그렇다면, 의 다른 거동에 대한 원인에는 (관찰이 가능한) 이 원거리의 물체들과 그들의 에 대한 상대적 운동이 자리잡아야 한다. 이들은 가상의 원인인 R1의 역할을 대체하게 된다. , 등 상상할 수 있는 임의의 상대적 움직임을 보이는 모든 공간에 대하여 앞서 언급한 인식론적 반론를 극복하지 못한다면, 그 어떤 것도 선험적으로 우월하다고 말할 수 없다. "물리법칙은 어떤 종류의 움직임을 보이는 좌표계에 대해서도 적용될 수 있는 본성을 지녀야 한다." 이러한 과정을 통해 우리는 상대성원리의 확장에 도달하게 된다.

지식의 이론에 기반한 무거운 논의에 더하여, 상대성이론의 확장을 지지하는 잘 알려진 물리적 사실이 있다. 가 갈릴레이 좌표계, 즉 이에 대하여 (적어도 고려하고 있는 4차원 영역에서는) 다른 물체로부터 충분히 떨어진 물체가 직선을 따라 균일하게 운동한다고 하자. 에 대하여 균일하게 가속 병진운동하는 두번째 좌표계라 하자. 그러면 에 대해서는 다른 물체들로부터 충분히 떨어진 물체는 그 가속과 가속방향이 물체의 물질적 구성과 물리적 상태와는 독립적이다.

에 대하여 정지한 관찰자는 이로부터 자신이 "실제로" 가속 좌표계에 놓여있다고 말할 수 있을까? 대답은 부정적이다; 에 대해 자유롭게 움직이는 물체들의 거동은 다음 방법으로도 해석할 수 있다. 좌표계 은 가속하고 있지 않다. 다만 고려되는 시공간 영역이 중력장의 영향에 놓여 있기 때문에 에 대한 물체들의 가속 운동이 만들어진다.
이 관점은 모든 물체에 동일한 가속도를 부여하는 역장, 즉 중력장이 존재한다는 경험의 학습으로부터 가능하다.[2] 에 대한 물체의 역학적 거동은 우리가 "정지해 있다" 또는 "특별하다"고 간주하고 싶은 계에서의 경험과 일치한다. 따라서, 물리적 관점에서, 은 모두 "정지해있다"고 볼 동등한 정당성을 갖는다고 충분히 가정할 수 있다. 즉 이들은 현상의 물리적 기술에 있어서 좌표계로서 동일한 자격을 갖는다고 할 수 있다. 이러한 고찰로부터 우리는 일반 상대성이론을 추구하는 과정에서 어떤 중력 이론에 도달하게 될 것임을 알 수 있는데, 왜냐하면 단순히 가속을 시킴으로써 중력장을 "만들어낼 수" 있기 때문이다. 진공 광속 불변의 원리가 수정되어야 한다는 것 또한 명백한데, 에서 빛이 직선을 따라 일정한 속력으로 나아간다면 에서 광선의 경로는 일반적으로 곡선일 것이기 때문이다.

§3. 시공간 연속체. 자연의 일반 법칙을 표현하는 방정식에 대한 일반 공변성의 요구.

[편집]

고전 역학과 특수 상대성 이론에서, 공간과 시간의 좌표값은 직접적인 물리적 의미를 갖는다. 어떤 점-사건이 좌표값 을 갖는다고 한다면, 이는 점-사건을 강체 막대 및 유클리드 기하학의 법칙에 의존해 축에 사영시켰을 때, 주어진 (단위 길이의) 막대가 좌표의 원점으로부터 축을 따라 번 측정되었다는 것을 의미한다. 어떤 점-사건이 좌표값 를 갖는다고 한다면, 이는 주어진 단위 간격으로 시간을 측정하기 위해 만들어진 표준 시계가 좌표계에 대해 정지해 있고 편의상 점-사건과 공간 상에서 동시에 놓여 있을 때[3], 사건이 발생하는 순간 시간 간격이 만큼 측정된다는 것을 의미한다.

공간과 시간에 대한 이러한 관점은 물리학자들의 마음에 비록 무의식적인 것이라 해도 언제나 하나의 규칙으로 자리잡아 있었다. 이는 이 개념들이 물리적 측정에 이용되는 양상으로부터 분명하다; 이전 단락 (§2)에 대하여 독자가, 자신이 읽는 것과 무언가의 의미를 대응시키기 위해 벌인 고찰 과정에서도 이것을 바탕에 두었을 것이다. 하지만 특수 상대성이론이 중력장이 없는 특별한 상황에 적용된다고 한다면, 우리가 일반 상대성원리를 추구하기 위해서는 이것을 뒤로 하고 보다 일반적인 관점으로 대체해야 함을 보일 것이다.

중력장이 없는 공간에 갈릴레이 좌표계 에 대하여 일정하게 회전하는 좌표계 를 도입한다. 두 좌표계의 원점과 축이 영구히 일치하도록 하자. 이제 에서의 시공간 측정에 대해서는 길이와 시간의 물리적 의미에 대한 앞선 정의가 더 이상 유지될 수 없다는 것을 보일 것이다. 대칭성에 따라서 평면의 원점을 중심으로 한 원이 에서도 평면 상의 원으로 간주될 수 있다. 이 원의 둘레와 지름을 반지름에 비해 매우 작은 단위로 측정한 뒤 두 결과의 비율을 얻는다. 이 실험이 갈릴레이계 에 대해 정지한 측정 막대로 수행되었다면, 그 비율은 였을 것이다. 에 대해 정지한 측정 막대의 경우, 그 비율은 보다 컸을 것이다. 이는 측정의 전 과정을 "정지한" 계 에서 바라보았을 때, 둘레에 댄 측정 막대는 로런츠 수축을 겪는 반면 반지름에 댄 막대는 그렇지 아니하다는 것으로부터 쉽게 이해할 수 있다. 따라서 유클리드 기하학은 에서 성립하지 않는다. 앞서 정의한 좌표 개념은, 유클리드 기하학을 전제로 하고 있으므로 에서는 무너지게 된다. 마찬가지로 에 대하여 정지한 시계로부터 에 일련의 물리적 요구를 충족하는 시간 역시 도입할 수 없다. 이것을 확인하기 위해, 동일하게 구성되어 있는 두 시계를 하나는 좌표계의 원점에, 다른 하나는 원의 둘레에 설치한 다음 "정지한" 좌표계 에서 살펴보자. 특수 상대성이론의 친숙한 결과로부터 둘레에 있는 시계는 에서 봤을 때 다른 하나보다 더 느리게 간다는 것을 알 수 있다. 전자는 움직이고 있고, 후자는 정지해 있기 때문이다. 좌표의 공통 원점에 위치한 관찰자는 빛의 도움을 받아 둘레에 놓인 시계를 관찰하면 그의 옆에 위치한 시계보다 느리게 흐르는 것을 보게 된다. 그는 빛의 궤적 상의 각 속력이 시간에 의존해 변할 것이라 보진 않을 것이므로, 그는 자신의 관찰 결과를 둘레에 위치한 시계가 "진짜로" 원점에 위치한 시계보다 느리게 흐른다고 판단하게 될 것이다. 따라서 그는 시계가 놓인 위치에 따라 시간의 흐름이 다르도록 정의할 수 있게 된다.

우리는 따라서 다음 결과를 얻는다: 일반 상대성이론에서, 공간과 시간은 공간 좌표의 차이가 즉각 단위 측정 막대로 측정되거나, 시간 좌표의 차이가 표준 시계로 측정되는 방식으로 정의될 수 없다.

따라서 시공간 연속체에 좌표를 일련의 방식으로 놓는 데 사용된 방법론은 붕괴되며, 좌표계를 4차원 우주에 자연법칙이 특별히 간단하게 구성되도록 놓을 다른 방법은 생각하기 어렵다. 그러므로, 원칙적으로 상상할 수 있는 모든 좌표계가 자연을 묘사하는 데에 적합하다고 가정하는 수밖에 없다. 따라서 이는 다음 요구로 이어진다:

자연의 일반 법칙은 모든 좌표계에서 성립하는 방정식, 즉 어떤 종류의 교체에 대해서도 공변적인 방정식들로 표현되어야 한다(일반 공변성; allgemein kovariant).

이 가정을 만족시키는 모든 물리 이론이 일반 상대성원리 또한 만족시킨다는 것은 자명하다. 모든 좌표 교체의 총합은 3차원 좌표계의 모든 상대적 운동에 대응되는 것 또한 포함할 것이기 때문이다. 일반 공변성, 즉 공간과 시간에 마지막 남은 물리적 객관성을 제거하는 이 요구는 다음에 제시될 고찰로부터 자연스러운 것이다. 시공간에 대한 모든 입증은 예외 없이 시공간 일치의 결정으로 수렴한다. 예를 들어, 사건들이 단순히 물질점들의 운동으로 구성되어 있다면 두 개, 혹은 그 이상의 점들이 만나는 것 외에는 관찰할 수 있는 것이 없을 것이다. 더욱이, 우리의 측정결과는 측정 도구들의 물질점들이 다른 물질점들과 만나는 것, 즉 시계 바늘과 시계판, 그리고 같은 위치와 같은 시간에 일어나는 점-사건들의 일치를 확인하는 것에 지나지 않는다.

기준계의 도입은 이러한 일치의 총체를 서술하기 위한 방안에 지나지 않는다. 우주에 네 개의 시공간 변수 를 도입하여 각각의 점-사건에 대응되는 변수 값 가 존재하도록 하자. 두 일치하는 점-사건에는 하나의 변수 값 가 대응된다. 즉, 일치는 좌표의 일치로 특징지어진다. 만약 의 자리에 그 함수인 를 새로운 좌표계로 도입하여 그 값들을 각각의 점에 혼동없이 대응시킨다면, 새 좌표계에서도 4개의 좌표가 일치하는 것은 두 점-사건의 시공간 일치를 표현하게 된다. 우리의 모든 물리적 경험은 궁극적으로 이러한 일치로 수렴하므로, 특정 좌표계를 더 선호할 즉각적인 이유가 없다. 즉 우리는 일반 공변성의 요구에 도달하게 된다.

§4. 공간적, 시간적 측정 결과에 대한 네 좌표의 관계. 중력장에 대한 분석적 표현.

[편집]

이 논문의 목적은 일반 상대성이론을 가능한 한 논리적이고 최소한의 공리로 이루어진 체계로 제시하는 것이 아니다. 그보다는, 나의 중심 목표는 우리가 밟는 길을 독자가 심리적으로 자연스럽다고 느끼고, 그것을 지탱하는 가정들이 경험으로부터 가능한 한 확실하게 나타나도록 이 이론을 구축하는 것이라고 할 수 있다. 이 목표를 두고서 다음과 같이 가정할 수 있다.

무한히 작은 4차원 영역에서 좌표를 적당히 선택하면 제한적 의미의 상대성이론이 성립한다.

이 목적을 위해 우리는 무한히 작은 ("국소적") 좌표계의 가속을 조절하여 중력장이 발생하지 않도록 해야 한다. 이는 무한히 작은 영역에서는 가능하다. 을 공간 좌표, 를 시간 좌표라 두고 적당한 단위를 고른다.[4] 어떤 강체 막대로 단위 측정을 한다면 (좌표계의 방향이 주어졌을 때) 그 좌표값은 특수 상대성이론에서와 같은 직접적 의미를 갖는다. 특수 상대성이론에 따라서 다음 표현



은 국소 좌표계의 방향에 독립적인 값을 갖게 되며, 공간과 시간의 측정으로부터 얻을 수 있다. 무한히 가까운 4차원 연속체 상의 점들에 부여되는 선소의 크기를, 라 부른다. 민코프스키(Minkowski)를 따라서 에 대응되는 이 양수이면 시간꼴이라 하고, 반대의 경우에는 공간꼴이라고 부른다.

주어진 "선소" 혹은 두 무한히 가까운 점-사건에는, 임의로 선택된 기준계에 대하여 4차원 좌표의 미소량 들 또한 대응된다. 이 계가, "국소" 좌표계와 마찬가지로 주어진 영역에 놓일 경우 는 그 자체로 의 선형동차의 형태로 표현될 것이다.



이 표현을 에 대입하면, 의 어떤 함수 에 대하여



를 얻는다. 이는 더 이상 "국소" 좌표계의 방향과 운동상태에 의존하지 않는다. 는 무한히 가까운 시공간 상의 점-사건을 막대와 시계를 이용해 측정하여 얻는 양이며, 좌표계의 선택에 상관없는 양이기 때문이다. 여기에서 가 되도록 선택하였다; 합은 모든 의 값에 대해 이루어지므로 총 개의 항으로 이루어져 있으며, 그 중 개는 짝을 이루게 된다.

지금까지 고려한 사항으로부터, 기존의 상대성이론의 경우는 어떤 유한한 영역에서 가 특징적인 성질을 가져서 좌표계를 적당히 선택하여 가 다음 일정한 값을 갖도록 할 수 있을 경우 얻어지게 된다.



나중에 우리는 이러한 방식의 좌표 선택이 일반적으로 유한한 영역에서는 불가능하다는 것을 확인할 것이다.

§2와 §3의 고려로부터, 들이 물리적 관점에서 선택된 좌표계에 대한 중력장을 기술하는 양임을 알 수 있다. 먼저, 특정 4차원 영역에 적절히 좌표계를 놓아 특수 상대성이론이 성립한다면 에서 주어진 값을 가질 것이다. 이 때 자유 물질점은 이 계에 대하여 직선으로 균일하게 운동할 것이다. 이제 임의로 새로운 시공간 좌표 를 도입하면, 이 새로운 계에서 는 더이상 상수가 아니라, 공간과 시간의 함수가 될 것이다. 동시에 새로운 좌표계에서 자유 물질점의 운동은 곡선의 불균일한 운동이 될 것이며 이 운동의 법칙은 움직이는 입자의 성질에 의존하지 않을 것이다. 우리는 따라서 이 운동을 중력장의 영향에 놓인 운동으로 해석하게 될 것이다. 그러므로, 우리는 중력장의 발생이 의 시공간 상의 변화와 연결되어 있다는 것을 알게 된다. 또한, 일반적인 경우 유한한 영역에서 특수 상대성이론이 적용되는 좌표계를 찾지 못한다면 가 중력장을 기술한다는 것이 더욱 확실해진다.

따라서, 일반 상대성이론에 의하면 중력은 다른 힘, 특히 전자기력에 비해 예외적인 지위를 갖게 되는데, 중력장을 나타내는 10개의 함수는 동시에 공간의 측지적 성질 또한 정의하기 때문이다.

B. 일반 공변 방정식의 구축에 필요한 수학적 도구.

[편집]

우리는 위에서 일반 상대성 공준이 물리학의 방정식들로 하여금 좌표계 의 임의적인 교체에 대하여 공변적이도록 요구한다는 것을 살펴보았으며, 이제 일반 공변 방정식을 어떻게 얻을 수 있는지 고려해야 한다. 이제 순수하게 수학적인 작업에 돌입하는데, 그 해법에 있어서 으로 주어진 불변량 가 근본적인 역할을 수행한다는 것을 확인하게 될 것이다. 이것은 가우스의 곡면 이론(Gausssche Flächentheorie)의 표현을 빌려 지금까지 "선소"(Linienelement)라 불렀던 것이다.

공변에 대한 일반 이론의 근본적인 발상은 이러하다. 무언가("텐서")를 임의의 좌표계에 대하여 좌표에 대한 여러 개의 함수를 이용해 정의한다고 하자. 이 함수들을 텐서의 "성분"이라 부른다. 이 때, 만약 원래의 좌표계에 대하여 성분이 알려져 있고 새로운 좌표계와 원래의 좌표계를 연결하는 변환 규칙 또한 안다면, 이 성분들을 새로운 좌표계에서 계산할 수 있는 어떤 정해진 규칙이 존재한다. 앞으로 텐서라 부르는 것들은 그 성분들의 변환 규칙이 선형 동차적이라는 추가 성질을 갖고 있다. 그러므로 원래의 좌표계에서 성분이 모두 없어지면, 새로운 좌표계에서도 모든 성분은 사라진다. 따라서, 만약 자연의 한 법칙이 어떤 텐서의 모든 성분을 으로 두는 방식으로 표현된다면, 그것은 일반 공변적이다. 텐서가 만들어지는 법칙들을 살펴봄으로써, 우리는 일반 공변적인 법칙들을 구성하는 방법을 얻을 수 있다.

§5. 반변 4-벡터와 공변 4-벡터.

[편집]

반변 -벡터. 선소는 네 개의 "성분" 로 정의되며, 그 변환 규칙은 다음 방정식으로 표현된다.



에 대한 선형 동차 함수로 표현된다. 따라서, 이러한 좌표 미소변화량을 반변 -벡터라 부르는 특정 유형의 "텐서"의 성분이라 볼 수 있다. 좌표계에 대하여 동일한 규칙



를 만족시키는 네 개의 양 로 정의되는 모든 것들 역시 반변 -벡터라 부를 것이다. 로부터 우선 -벡터의 성분일 경우 그 합 또한 -벡터의 성분임을 알 수 있다. 앞으로 순차적으로 도입될 모든 "텐서"들 또한 동일한 대응 관계를 만족시킨다.(텐서의 덧셈과 뺄셈 규칙)

공변 -벡터. 임의로 선택한 반변 -벡터 에 대하여 다음 조건을 만족시키는 네 개의 양 를 공변 -벡터의 성분이라 부른다.


(불변량)


공변 -벡터의 변환 규칙은 이 정의로부터 유도된다. 다음 방정식



의 우변에 있는 를 반전시켜 얻을 수 있는 수식 표현



으로 교체하면 다음을 얻는다.



이 방정식은 임의의 값에 대하여 참이므로, 변환 규칙은 다음과 같다.



수식 표현을 간단히 적는 방법에 대한 언급. 이 문단의 방정식들을 훑어보면 두 번 등장하는 첨수에 대해서는 언제나 합이 (합 기호와 함께) 존재하며(예: 의 첨수 ), 오직 두 번 등장하는 첨수에만 존재한다는 것을 알 수 있다. 따라서 명료함을 잃지 않고, 합 기호를 누락시킬 수 있다. 그 자리에 다음 약속을 도입한다: 수식의 어느 항에 첨수가 두 번 등장하면, 분명하게 반대로 언급되지 않는 한 그것은 더하는 것으로 간주한다.

공변 -벡터와 반변 -벡터의 차이는 변환 규칙(각각 )에 있다. 각각은 앞서 일반적으로 언급한 바에 따라 텐서를 형성한다. 여기에서 이들의 중요성이 드러난다. 리치(Ricci)와 레비치비타(Levi-Civita)를 따라서, 반변의 성질을 갖는 것은 위 첨수, 공변의 성질을 갖는 것은 아래 첨수로 나타낸다.

§6. 이차 이상의 랭크를 갖는 텐서.

[편집]

반변 텐서. 두 반변 -벡터의 성분 의 총 개의 곱



을 만들면 에 의해 는 다음 변환 규칙을 만족시킨다.



임의의 좌표계에 대하여 변환 규칙 를 만족시키는 개의 양으로 표현되는 것을 랭크 의 반변 텐서라 부른다. 모든 이러한 텐서를 처럼 두 -벡터의 곱으로 나타낼 수 있는 것은 아니지만, 임의로 주어진 개의 가 적절히 선택한 -벡터의 쌍에 대한 의 합으로 표현될 수 있다는 건 쉽게 보일 수 있다. 그러므로 우리는 로 정의된 랭크 텐서에 적용되는 거의 모든 규칙을 에 의한 특별한 텐서들로 표현함으로써 가장 단순하게 증명할 수 있다.

임의의 랭크를 갖는 반변 텐서. 를 따라서, 혹은 그 이상의 랭크를 갖는 반변 텐서들 또한 개의 성분, 등등 동일한 방식으로 정의할 수 있다. 에서 본 것과 같은 방식으로 해석하면, 반변 -벡터는 랭크 의 반변 텐서로 간주될 수 있다.

공변 텐서. 한편, 두 공변 -벡터 개의 곱



을 취하면 이들에 대한 변환 규칙은 다음과 같다.



이 변환 규칙은 랭크 의 공변 텐서를 정의한다. 반변 텐서에 대한 앞선 모든 언급은 공변 텐서에도 동일하게 적용된다.

참고. 스칼라(혹은 불변량)를 랭크 의 반변 혹은 공변 텐서로 다루면 편리하다.

혼합 텐서. 어떤 랭크 의 텐서를 다음과 같이 정의하자.



이는 첨수 에 대하여 공변적이고, 첨수 에 대하여 반변적이다. 그 변환 규칙은 다음과 같다.



자연스럽게, 공변성을 띠는 임의 개수의 첨수와 반변성을 띠는 임의 개수의 첨수에 대하여 혼합 텐서가 존재한다. 공변 텐서와 반변 텐서는 혼합 텐서의 특별한 경우로 간주할 수 있다.

대칭 텐서. 어떤 랭크 이상의 반변 혹은 공변 텐서가, 원래 성분과 두 첨수를 뒤바꾸어 얻은 성분이 서로 같으면 대칭적이라고 한다. 텐서 혹은 텐서 는 따라서 첨수 의 임의의 조합에 대하여



혹은



를 만족시킬 때 대칭적이다.

이와 같이 정의된 대칭성이 기준계에 독립적인 성질임은 증명해야 한다. 이는 를 고려했을 때 로부터 다음



과 같이 유도된다. 마지막에서 두번째 방정식은 더해지는 첨수 의 교환에 의존한다. 즉 단지 표기를 바꾼 것이다.

반대칭 텐서. 어떤 랭크 의 반변 혹은 공변 텐서가, 원래 성분과 두 첨수를 뒤바꾸어 얻은 성분이 부호만 반대이고 서로 같으면 반대칭적이라고 한다. 텐서 혹은 텐서 는 따라서 첨수 의 임의의 조합에 대하여



혹은



를 만족시킬 때 반대칭적이다.

개의 중 네 개의 성분 는 사라진다. 나머지는 짝끼리 부호만 반대이고 크기는 같다. 따라서, 수치적으로 다른 성분은 개 뿐이다(-벡터). 마찬가지로 랭크 의 반대칭 텐서 는 오직 네 개의 독립적인 성분만이 있고, 반대칭 텐서 는 오직 하나뿐이다. 차원 연속체에서 랭크가 보다 큰 반대칭 텐서는 존재하지 않는다.

§7. 텐서의 곱셈.

[편집]

텐서의 외적. 랭크 의 텐서와 랭크 의 텐서로부터, 그 성분을 서로 곱하여 랭크 의 텐서의 성분을 얻을 수 있다. 즉, 예를 들어 다른 종류의 텐서 로부터 텐서 를 다음과 같이 얻는다.



가 텐서의 성질을 가짐은 수식 혹은 변환 규칙 으로부터 바로 증명할 수 있다. 방정식 는 그 자체로 랭크 텐서의 외적을 보여주는 예시이다.

혼합 텐서의 "축약". 임의의 혼합 텐서로부터, 공변성을 갖는 첨수와 반변성을 갖는 첨수를 일치시키고, 그 첨수에 대하여 더함으로써(축약) 이상의 랭크를 갖는 텐서를 만들 수 있다. 즉, 예를 들어 랭크 텐서 로부터 다음 랭크 의 혼합 텐서



를 얻고, 이것을 다시 축약하면 랭크 텐서 를 얻는다.

축약의 결과가 실제로 텐서의 성질을 가진다는 것의 증명은 텐서의 표현에 대하여 의 도움으로 를 일반화하거나, 을 일반화하여 얻을 수 있다.

텐서의 내적과 혼합 곱셈. 이들은 외적과 축약의 혼합이다.

예시. 랭크 의 공변 텐서 와 랭크 의 반변 텐서 를 외적하여 혼합 텐서



를 얻는다. 첨수 에 대해 축약하면 공변 -벡터



를 얻는다. 이것을 두 텐서 의 내적이라 부른다. 유사한 방식으로 텐서 로부터, 외적과 두 번의 축약을 거쳐 내적 를 얻는다. 외적과 한 번의 축약으로, 로부터 랭크 의 혼합 텐서 를 얻는다. 이 연산은 적절히 혼합된 성격의 것으로서 첨수 에 대한 외적, 첨수 에 대한 내적으로 간주할 수 있다.

이제 텐서의 성질로서 자주 유용한 명제를 하나 증명할 것이다. 지금까지 설명한 것으로부터 가 텐서이면 도 텐서이다. 하지만 다음과 같은 주장도 할 수 있다: 가 임의의 텐서 에 대하여 스칼라이면, 는 텐서의 성질을 갖는다. 먼저, 가정에 의해 임의의 변환에 대하여



이다. 그런데 를 뒤집으면



이다. 이것을 위 방정식에 대입하면



을 얻는다. 임의의 값에 대하여 이것이 성립하려면 괄호 안이 사라져야 한다. 따라서 방정식 으로부터 원하는 결과를 얻는다. 이 규칙은 임의의 랭크와 성질을 갖는 모든 텐서에 적용되며, 모든 경우에 증명은 동일하다.

이 규칙은 다음 형태로도 제시할 수 있다: 가 어떤 벡터이면, 그리고 그 모든 값에 대하여 내적 가 스칼라이면, 는 공변 텐서이다. 후자의 명제는 더 특수한 주장, 예를 들어 임의의 -벡터 에 대하여 내적 가 스칼라라는 주장이 성립하는 경우에도 참이 될 수 있다. 이 때에는 가 대칭 조건 가 추가되어야 한다. 이것은 앞서 제시된 방법으로 의 텐서 성질을 가짐을 보인 다음, 이것과 대칭성으로부터 가 텐서의 성질을 갖는다는 것을 증명할 수 있다. 이는 임의의 랭크를 갖는 공변 및 반변 텐서의 경우에 대해서도 쉽게 일반화가 가능하다.

마지막으로, 지금까지 증명된 것으로부터 다음 규칙 또한 증명되며, 이 역시 임의의 텐서로 일반화할 수 있다: 임의로 주어진 -벡터 에 대하여 가 랭크 의 텐서를 형성한다면, 는 랭크 의 텐서이다. 가 임의의 -벡터라 했을 때, 의 텐서 성질에 의해 내적 는 임의의 -벡터 에 대하여 스칼라가 될 것이다. 이로부터 명제가 도출된다.

§8. 근본 텐서 의 몇가지 특성.

[편집]

공변 근본 텐서. 선소의 제곱에 대한 불변적인 표현



에서 는 임의로 선택될 수 있는 반변 벡터의 역할을 한다. 더 나아가 이므로, 앞선 고려 사항들로부터 가 랭크 의 공변 텐서임을 얻는다. 이것을 "근본 텐서"(Fundamentaltensor)라 부른다. 다음으로는 이 텐서 뿐만 아니라 랭크가 인 모든 텐서가 만족시키는 성질을 유도한다. 하지만 근본 텐서는 중력의 특이적인 작용이라는 물리적 기반으로 우리의 이론에서 특별한 역할을 수행하므로 이 관계들은 오직 근본 텐서의 경우에만 중요한 것들이다.

반변 근본 텐서. 들로부터 행렬식을 만든 다음 각 의 여인자를 취하여 행렬식 으로 나누면 어떤 양 를 얻는데, 이것은 곧 살펴보겠지만 하나의 반변 텐서를 구성한다.

행렬식의 알려진 성질로부터



를 얻는다. 여기에서 기호 또는 일 때 각각 또는 이다.

따라서 를 상기의 표현 대신



또는 에 의해



와 같이 쓸 수 있다. 그런데 앞 문단의 곱셈 규칙에 따라서 다음 양



는 공변 -벡터를 형성하고, 사실 가 임의로 주어졌으므로 임의의 벡터라고 할 수 있다. 이것을 앞의 표현에 대입하면



를 얻는다. 따라서 임의로 선택한 벡터 에 대하여 이는 스칼라이며, 는 정의로부터 첨수 , 에 대하여 대칭이므로 앞 단락의 결과로부터 가 반변 텐서라는 결론을 얻는다.

으로부터 또한 텐서임을 알 수 있는데, 이것을 혼합 근본 텐서(gemischten Fundamentaltensor)라고 부른다.

근본 텐서의 행렬식. 행렬식의 곱에 관한 규칙에 의해



이고,



이다. 따라서,



를 얻는다.

부피 스칼라. 먼저 행렬식 의 변환 규칙을 살펴보자. 에 의해



이다. 따라서, 행렬식의 곱에 관한 규칙을 두 번 적용하면



또는



를 얻는다. 한편 부피소



의 변환규칙은 야코비의 정리에 따라



이다. 마지막 두 방정식을 곱하면,



을 얻는다. 앞으로는 대신 시공간 연속체의 쌍곡 기하학적 성질을 고려했을 때 항상 실수가 되는 를 도입한다. 불변량 는 "국소" 기준계의 사차원 부피소를 특수 상대성이론에 따라 강체 막대와 시계로 측정한 크기와 같다.

시공간 연속체의 성질에 관한 언급. 특수 상대성이론이 무한히 작은 영역에서 언제나 성립한다는 우리의 가정은 이 언제나 실수 양 를 통해 로 표현될 수 있다는 것을 시사한다. 로 이루어진 "자연스러운" 부피소를 라 하면,



가 된다. 만약 이 사차원 연속체의 한 점에서 사라진다면, 이 점에서는 무한히 작은 "자연스러운" 부피가 좌표계의 유한한 부피에 대응된다. 이것이 불가능하다고 가정하자. 이 때 는 부호를 바꿀 수 없으므로, 특수 상대성이론에 따라서 는 언제나 유한한 음수 값을 갖는다고 가정한다. 이는 우리가 고려하는 연속체의 물리적 본성에 관한 가정인 동시에 좌표계 좌표계의 선택에 관한 약속이기도 하다.

그런데 만약 가 언제나 유한하고 양수라고 한다면, 후험적으로 좌표계를 선택하여 언제나 그것이 이라고 두는 것이 자연스럽다. 향후, 이렇게 좌표계의 선택을 제한한다면 자연 법칙에 대하여 중요한 단순화를 달성할 수 있다는 것을 확인할 것이다.

이 때, 대신 단순히 를 얻고, 야코비 정리를 활용하면



을 얻는다. 따라서 이 좌표 선택을 통해, 행렬식이 인 좌표 변환만이 허용된다.

하지만 이것이 일반 상대성의 가정을 일부 포기하는 것이라고 보는 것은 오류이다. 우리는 "행렬식이 인 모든 변환에 대하여 공변적인 자연 법칙이 무엇일까?"를 묻는 게 아니라, "일반 공변적인 자연 법칙은 무엇인가?"를 묻는다. 우리는 이 법칙들을 구성한 뒤에야 특정한 기준계를 선택하여 그 표현을 단순화하게 된다.

근본 텐서를 이용한 새로운 텐서의 생성. 어떤 텐서에 근본 텐서의 내적, 외적, 혼합 곱셈을 하면 다른 특성과 랭크를 가진 텐서를 얻는다. 예를 들어,



이다. 다음 형태



(각각 공변, 반변 텐서의 보수(Engänzung, Complement))와



는 특별히 주목할 필요가 있다. 의 유도 텐서라 부른다. 마찬가지로,



이다. 의 보수에 지나지 않는다고 볼 수 있다. 왜냐하면



이기 때문이다.

§9. 측지선의 방정식 (및 점의 이동에 관한 방정식).

[편집]

선소 는 좌표계에 독립적으로 정의되므로, 사차원 연속체 상의 두 점 를 이어 가 정적이도록 하는 선, 즉 측지선 또한 좌표계의 선택에 독립적인 의미를 지닌다. 그 방정식은



이다. 통상적인 방법으로 변분을 취하면 이 방정식으로부터 측지선을 정의하는 네 개의 미분 방정식을 얻는다. 완전성을 위해 그 계산 과정을 삽입하겠다. 를 좌표 의 함수라 하고, 이것을 통해 원하는 측지선과 그에 근접하여 점 를 연결하는 모든 선들이 통과하는 곡면 패밀리를 정의하자. 그러한 선들은 모두 그 좌표 의 함수로 표현된다. 는 원하는 측지선의 각 점에서 동일한 에 대응하는 이웃한 선의 각 점으로 옮기는 것을 표현한다고 하자. 그런 다음 을 다음과 같이 대체한다.



그런데



이고



이므로, 으로부터 부분적분을 취하면 다음을 얻는다.



이다. 의 값은 임의적이므로, 는 사라진다. 이로부터



이 측지선의 방정식임을 얻는다. 측지선을 따라 이 되지 않는다면, 측지선을 따라 측정되는 "호의 길이" 로 매개변수 를 대체할 수 있다. 그러면 이고, 대신



또는 단순히 표기를 바꿈으로써



을 얻는다. 크리스토펠(Christoffel)을 따라서,



라 두었다. 마지막으로, 를 곱하면(에 대하여 외적, 에 대하여 내적), 측지선 방정식을 다음 형태로 얻게 된다.



역시 크리스토펠을 따라서



라 두었다.

§10. 미분을 통한 텐서의 구축.

[편집]

측지선 방정식의 도움으로 우리는 텐서로부터 미분을 통해 새로운 텐서를 쉽게 만들어낼 수 있다. 이 목표는 다음의 단순한 법칙을 반복 적용하여 달성할 수 있다.

연속체에 한 곡선이 주어지면, 곡선 위의 점은 곡선 위의 고정된 점에서 잰 호의 길이 로 특정되며, 더 나아가 가 공간 상의 불변 함수이면, 또한 불변량이다. 그 증명은 가 불변량이라는 데서 얻는다.



이므로,



또한 불변량이면서 임의로 선택된 벡터 에 대하여, 연속체 위의 한 점에서 출발한 모든 곡선에 대한 불변량이다. 따라서, 의 "그래디언트"



가 공변 -벡터임을 바로 얻는다.


우리의 규칙에 따라서, 곡선 위에서 취한 미분몫



도 마찬가지로 불변량이다. 값을 대입하면, 먼저



를 얻는다. 이 식에서 당장 텐서를 유도할 수는 없다. 하지만 우리가 미분하려는 곡선이 측지선이라면, 를 대입하여



를 얻는다. 미분의 순서를 바꿀 수 있고, 로부터 에 대하여 대칭이므로, 괄호 안의 수식은 에 대하여 대칭이라는 결론을 얻는다. 측지선은 연속체 위의 점에서 아무런 방향으로나 그릴 수 있고, 는 그 성분의 비율이 임의적인 -벡터이므로 §7의 결과로부터



가 랭크 의 공변 텐서라는 결론을 얻는다. 따라서 다음 결과를 얻는다: 랭크 의 공변 텐서



로부터 미분을 통해, 랭크 의 공변 텐서



를 만들 수 있다. 텐서 를 텐서 의 "확장"(공변 도함수)이라 부른다. 먼저, 가 그래디언트로 표현되지 않더라도 이 연산이 텐서를 만든다는 것을 쉽게 보일 수 있다. 이를 위해서, 먼저 가 스칼라일 때



가 공변 벡터임을 확인한다. 이러한 항들로 이루어진 네 개의 합



또한, 가 모두 스칼라일 때 공변 벡터이다. 그런데 모든 공변 벡터를 의 꼴로 나타낼 수 있다는 것은 명백하다. 가 그 성분이 에 대한 임의의 함수로 이루어진 벡터라면, 단순히 (선택된 좌표계에 대하여)



라 둠으로써 와 같게 할 수 있기 때문이다. 따라서, 의 우변에 임의의 공변 벡터가 대입되었을 때 가 텐서임을 보이려면, 벡터 에 대해서만 증명하면 된다. 그런데 이 후자의 목적을 달성하는 데 있어서, 의 우변을 살펴보면



의 경우에 대해서만 증명하면 된다는 것을 알 수 있다. 이제, 의 우변에 를 곱하면,



는 텐서이다. 마찬가지로



은 두 벡터를 외적한 것이므로, 텐서이다. 추가로,



또한 텐서의 성질을 갖는다. 를 보면 알 수 있듯이, 이는 벡터



에 대한 설명을 완성하며 이로부터 결과적으로, 임의의 벡터 에 대한 것도 증명된다.

벡터의 확장을 이용하여, 임의의 랭크를 갖는 텐서의 "확장"을 쉽게 정의할 수 있다. 이 연산은 벡터의 확장을 일반화한 것이다. 논의를 랭크 의 텐서에 대한 경우로 한정해도 충분하다.

이미 살펴보았듯이, 임의의 랭크 공변 텐서는 로 표현되는 텐서들의 합으로 나타낼 수 있다.[5] 따라서, 이 특수한 형태의 텐서의 확장만 살펴보면 충분하다. 에 의해 확장



는 텐서이다. 첫번째 것을 와 외적시키고 두번째 것을 와 외적시키면, 각각에 대하여 랭크 의 텐서를 얻는다. 이들을 더하면, 랭크 의 텐서



을 얻는다. 여기에서 라 두었다. 의 우변은 와 그 도함수에 대하여 선형 동차이므로, 이 생성 규칙은 텐서를 만들며, 물론 형태의 텐서만이 아닌 그 합, 즉 임의의 랭크 공변 텐서에 대해서도 성립한다. 를 텐서 의 확장이라 부른다.

가 각각 랭크 텐서와 랭크 텐서라는 특수한 경우의 확만 다룬다는 것은 분명하다.

일반적으로, 텐서를 만드는 모든 특별한 규칙은 과 텐서의 곱셈을 결합한 형태이다.

§11. 특별히 중요한 몇 가지 사례.

[편집]

근본 텐서. 먼저, 앞으로 중요해지는 몇 가지 명제를 증명할 것이다. 행렬식의 곱셈 규칙에 의해



이다. 마지막은 두번째로부터 얻는데, 이고 이므로



이기 때문이다. 로부터,



를 얻는다. 또한



이므로, 미분하면



이다. 이로부터, 각각을 로 혼합 곱셈을 취한 다음 첨수의 기호를 바꾸면




를 얻는다. 관계 은 어떤 변환을 나타내며, 앞으로 자주 사용할 것이다. 로부터



이고, 이것을 의 두번째 공식에 삽입하면 에 의해



이다. 의 우변을 로부터 대체하면



가 도출된다.

반변 벡터의 "발산". 반변 근본 텐서 를 이용해 의 내적을 취하면 우변은 첫번째 항을 변환했을 때 다음 형태



를 취한다. 에 따라서, 이 표현의 마지막 항은 다음과 같이 쓸 수 있다.



더해지는 첨수의 기호는 의미가 없으므로, 이 표현의 첫 두 항을 그 위 표현의 두번째 항과 상쇄시킬 수 있다. 이제



라 쓰면, 처럼 도 임의의 벡터이므로 마침내 다음을 얻는다.



이 스칼라는 반변 벡터 의 "발산"이다.

공변 벡터의 "회전". 의 두번째 항은 첨수 에 대하여 대칭적이다. 그러므로 는 특별히 간단하게 구축된 반대칭 텐서이다. 즉 다음을 얻는다.



-벡터의 반대칭적 확장. 을 랭크 의 반대칭 텐서 에 적용하고 첨수들의 순환 치환을 통해 두 방정식을 추가로 얻는다. 이 세 방정식을 더하면 랭크 의 텐서



를 얻으며, 이것이 반대칭적임은 쉽게 증명할 수 있다.

-벡터의 발산. 로 혼합 곱셈을 취하면 텐서를 얻는다. 의 우변의 첫번째 항은



로 쓸 수 있다. 라 표시하고, 라 표시한 다음 변형된 첫번째 항에서



로 주어진 값으로 바꾸면, 의 우변에서 개의 항 중 개가 상쇄되고,



를 얻는다. 이는 랭크 반변 텐서의 확장을 표현한 것이며, 그 이상이나 이하의 랭크의 반변 텐서의 확장도 그에 대응되는 표현을 만들 수 있다.

비슷한 방법으로, 혼합 텐서의 확장 또한 만들 수 있다:



을 첨수 에 대하여 축약하면 (로 내적) 다음 벡터



를 얻는다. 의 첨수 에 대한 대칭성을 고려하면, 가 뒤에서 가정하듯 반대칭 텐서일 경우 우변의 세번째 항은 사라진다. 두번째 항은 그 자체로 에 맞추어 변형될 수 있다. 따라서



를 얻는다. 이는 반변 -벡터의 발산식이다.

랭크 혼합 텐서의 발산. 를 첨수 에 대하여 축약한 다음 를 고려하면



를 얻는다. 반변 텐서 를 마지막 항에 도입하면, 이것은 다음 형태



를 갖는다. 만약, 텐서 가 대칭이면, 이는



로 줄어든다. 대신 공변 텐서 를 도입할 경우, 이는 마찬가지로 대칭이므로 마지막 항은 에 따라서



의 형태가 된다. 문제의 대칭성을 가정한다면, 은 따라서 다음 두 형태로 교체된다.



이 또한 나중에 사용될 것이다.

§12. 리만-크리스토펠 텐서.

[편집]

이제 오직 근본 텐서만으로부터 미분으로 얻을 수 있는 텐서를 살펴보자. 언뜻 보기에 해법은 명확해 보인다. 에 임의로 주어진 텐서 대신 근본 텐서 를 대입하면, 말하자면 근본 텐서의 확장을 얻을 것이다. 하지만 이 확장은 언제나 사라진다는 것 또한 쉽게 알게 된다. 하지만 우리는 다음과 같은 방법으로 목표를 달성할 수 있다.



즉, -벡터 의 확장을 대입한다. 그러면 (첨수의 이름을 조금씩 바꾸어) 랭크 의 텐서



를 얻는다. 이 표현은 텐서 를 만들어야 함을 시사한다. 만약 그렇게 하면 의 첫번째, 네번째, 대괄호 안의 마지막 항이 의 것을 상쇄시킨다. 이들은 첨수 에 대하여 대칭이기 때문이다. 동일한 논리가 두번째 항과 세번째 항의 합에도 적용된다. 따라서 다음을 얻는다.



이 결과의 핵심 요소는 의 우변에서 만이 등장하고 그 도함수는 나타나지 않는다는 것이다. 의 텐서 성질 및, 가 임의의 벡터라는 사실로부터, §7로 인해 는 텐서라는 결론을 얻는다(리만-크리스토펠 텐서; Riemann-Christoffelscher Tensor).

이 텐서의 수학적 중요성은 다음과 같다. 만약 연속체가 가 상수가 되는 좌표계를 찾을 수 있는 성질의 것이라면, 는 사라진다. 새로운 임의의 좌표계를 도입하는 경우, 그에 대하여 는 상수가 아니게 되지만 텐서의 성질로 인해 는 새로운 좌표계에서도 여전히 사라진다. 따라서 리만 텐서의 사라짐은 적당히 좌표계를 선택함으로써 가 상수가 되는 것의 필요 조건이다. 우리의 문제에서 이는 기준계를 잘 선택하여 연속체의 유한한 영역에서 특수 상대성이론이 성립하는 경우가 된다.[6]

을 첨수 에 대하여 축약하면 랭크 의 공변 텐서



를 얻는다.

좌표의 선택에 관한 언급. §8에서 이미 살펴봤듯이, 방정식 과 함께 이 되도록 좌표계를 선택하면 어떤 이점을 얻는다. 마지막 두 단락에서 얻은 방정식들은 그러한 선택으로부터 텐서의 변환 규칙에 대한 중요한 단순화를 얻을 수 있다는 것을 보여준다. 이는 특히 방금 얻은 텐서 에 해당되는데, 이 텐서는 앞으로 구축될 이론에서 근본적인 역할을 수행한다. 이렇게 좌표계의 선택을 제한함으로써 는 사라지고, 로 바뀐다.

이러한 점을 고려하여 나는 앞으로 모든 관계들을 이러한 좌표 선택의 제한이 가져다주는 간단한 형태로 제시할 것이다. 이 경우, 필요할 때마다 일반 공변 방정식으로 바꾸는 것은 쉬운 일이다.

C. 중력장의 이론.

[편집]

§13. 중력장에 놓인 질점의 운동 방정식. 중력장의 성분 표현.

[편집]

외부 힘의 영향을 받지 않고 자유롭게 움직일 수 있는 물체는 특수 상대성이론에 따라서, 직선을 따라 균일하게 움직인다. 일반 상대성이론에 따르면, 4차원 공간의 어떤 영역에서 좌표계 을 선택하여 에서 주어진 특별한 상수값들을 가지게 했을 때에도 이는 마찬가지이다.

이 움직임을 임의로 선택한 좌표계 에서 고려하면, 물체는 에서 보았을 때 §2에서 살펴본대로 중력장 내에서 움직이게 된다. 에서 바라본 운동 법칙은 다음 고려사항으로부터 어렵지 않게 도출된다. 에서 운동 법칙은 차원 직선, 즉 측지선에 대응된다. 이제 측지선은 기준계에 상관없이 정의되므로, 그 방정식은 에 대한 질점의 운동 방정식이기도 하다.



라 두면, 에 대한 점의 운동 방정식은



이 된다. 이제, 이미 그 자체로 시사하듯이, 이 공변 방정식이 특수 상대성이론이 유한한 영역에서 성립하는 기준계 이 존재하지 않는 경우에도 중력장에서의 점의 운동 방정식을 정의한다고 가정하자. 은 오로지 의 일계 미분만을 포함하므로, 이 존재하는 특별한 경우에도 그들 사이에는 아무런 관계가 없다는 데에서 보다 강한 근거를 찾을 수 있다.[7]

만약 가 사라지면, 점은 직선을 따라 균일하게 운동한다. 따라서 이 양들은 운동의 균일성을 유지하지 못하게 만든다. 이것이 곧 중력장의 성분들이다.

§14. 물질이 없는 경우의 중력장 방정식.

[편집]

이제부터 "중력장"과 "물질"을 구분할 때는, 중력장 자체를 제외한 모든 것을 "물질"이라 부르겠다. 따라서 우리가 사용하는 용어는 일반적 의미의 물질뿐 아니라, 전자기장도 포함된다. 다음 작업은 물질이 없을 때의 중력장 방정식을 찾는 것이다. 앞 절에서 질점의 운동 방정식을 구축하기 위해 사용된 방법을 다시 사용한다. 어떻게든 요구되는 방정식이 만족시켜야 하는 것은 특수 상대성 이론, 즉 가 어떤 상수 값을 갖는 경우를 포함하는 것이다. 어떤 유한한 공간에서 정해진 좌표계 에 대하여 이것이 성립한다고 하자. 이 계에 대하여 리만 텐서의 모든 성분 [식 ]는 사라진다. 그러면, 고려하는 공간에서는 다른 어떤 좌표계에 대해서도 이 텐서가 사라진다. 따라서 물질이 없는 중력장에 대한 원하는 방정식은 어떤 형태로든 가 사라질 경우 항상 성립해야 한다. 하지만 이 조건은 지나치다. 질점에 의해 주변에 만들어진 중력장은 명백히 어떤 좌표계를 선택하더라도 "변환되어 사라질 수" 없기 때문이다. 즉, 가 상수가 되도록 할 수 없다. 이는 물질이 없는 중력장에서는 로부터 유도된 대칭 텐서 가 사라지도록 해야 한다는 것을 시사한다. 이로써 우리는 개의 에 대하여 모든 가 사라지는 특별한 상황에서 만족되는 개의 방정식을 얻는다. 좌표계에 대하여 우리가 가한 선택과 를 고려하면, 물질이 없는 장의 방정식은 다음과 같다.



이러한 방정식의 선택에 있어서 최소한의 자의성만이 있다는 것을 강조한다. 를 제외하면 와 그 도함수로부터 만들어지고, 차를 넘는 도함수는 포함하지 않으며 도함수들에 대하여 선형인 랭크 텐서는 없기 때문이다.[8] 일반 상대성의 요구로부터 순수 수학적 방법으로 얻은 이 방정식은, 운동 방정식 과 결합하여 차 근사로 뉴턴의 만유인력 법칙을 제공하고 차 근사로 르베리에(Le Verrier)가 발견한 행성 수성의 근일점의 운동(섭동에 대한 교정 후 남은 값)을 설명한다. 이 사실들이 이론의 물리적 타당성을 충분히 증명한다는 것이 나의 견해이다.

§15. 중력장에 대한 해밀턴 함수. 운동량-에너지 법칙.

[편집]

장 방정식이 운동량-에너지 법칙을 따른다는 것을 보이기 위해서는, 그것을 다음 해밀토니언 형태로 쓰는 것이 가장 편리하다:



이 때, 고려하는 유한한 차원 적분 영역의 경계에서는 변분이 사라진다.

먼저, 의 형태가 방정식 과 동등하다는 것을 보여야 한다. 이를 위해서



의 함수로 간주한다. 그러면 우선



이다. 그런데



이다. 소괄호 안의 마지막 두 항으로부터 도출되는 항들은 반대 부호이고, 첨수 를 맞바꾸면 (합하는 첨수의 기호는 무의미하므로) 서로를 얻는다. 이들은 의 표현식에서 가 곱해지므로 서로를 상쇄한다. 그러므로 고려하는 소괄호에서 첫번째 항만이 남고, 을 고려하면



을 얻는다. 따라서



이다. 에서 변분을 취하면, 먼저



를 얻고, 이것은 를 고려했을 때 과 일치한다는, 원하는 결과를 얻는다.