빛보다 빠르게 움직일 수 없다는 결론은 어떤 가정에서 나올까요?

이 논문은 헝가리 레니 수학연구소의 하이널 안드레카와 공동 연구진이 상대성이론의 논리적 기초를 살핀 연구입니다. 여기서 따라갈 질문은 간단합니다. “어떤 가정을 받아들였기 때문에 이 결론이 나오는가?”입니다.

예를 들어 “관찰자는 빛보다 빠르게 움직일 수 없다”를 처음부터 가정하면, 그 결론이 다른 가정에서 나오는지 알 수 없습니다. 연구진은 빛의 경로, 관찰자 사이의 사건 대응 같은 출발 조건을 적고 그 조건으로 결론을 증명합니다. 출발 조건을 공리, 거기서 증명한 결론을 정리라고 합니다.

이 작업은 논리학의 전제와 결론 분석을 물리 이론에 적용한 사례입니다. 공리를 하나 뺐을 때 같은 결론이 계속 나오는지 살펴보면 그 가정이 맡는 역할을 확인할 수 있습니다.

언어는 물체 B와 양 Q를 구분합니다. 물체에는 관성 물체 IB와 광자 Ph가 있고, 양에는 덧셈과 곱셈이 있습니다. 서로 다른 종류를 섞지 않는 두 종류 일차논리 언어입니다.

관찰자도 처음부터 독립된 기본 종류로 넣지 않습니다. 다른 물체를 좌표화하는 물체로 정의해, 기본 어휘를 줄인 채 필요한 개념을 언어 안에서 만듭니다.

열차와 빛 신호는 움직임을 기록할 대상이고, “위치 3, 시각 5”의 3과 5는 측정값입니다. 일차논리는 이런 대상에 대해 “모든 물체에 대하여”, “어떤 시각이 존재한다”처럼 말하고, 그 문장들에서 결론을 도출하는 규칙을 제공합니다.

승강장과 열차의 기준점이 만나는 사건을 생각해 보겠습니다. 승강장 관찰자 o는 열차의 기준점 b가 위치 (0,0,0), 시각 0에 있다고 기록할 수 있습니다. 이 기록을 W(o,b,0,0,0,0)으로 씁니다.

일반적인 표기는 W(o,b,x,y,z,t)입니다. 앞의 두 자리는 관찰자와 물체, 뒤의 네 자리는 공간 좌표 세 개와 시각입니다. ⟨x,y,z,t⟩ 전체가 하나의 좌표 묶음입니다. 다른 관찰자가 같은 만남에 다른 숫자를 붙여도, 두 기록이 같은 사건을 가리키는지 비교할 수 있습니다.

AxFd는 양이 유클리드 순서체를 이룬다고 정하고, AxPh는 한 관성 관찰자에게 빛의 속도가 방향과 위치에 무관하다고 말합니다. AxEv는 관성 관찰자들이 같은 사건을 좌표화하게 합니다.

AxSf는 관성 관찰자가 자기 자신을 공간 원점에 둔다고 하고, AxSm은 공통 단위와 빛의 속도 1을 맞춥니다. 다섯 공리는 수학·빛·사건·자기좌표·대칭의 역할을 나눕니다.

정리 2.1은 서로 다른 두 세계선 점 사이의 공간 거리보다 시간 차가 더 크다는 부등식을 SpecRel에서 증명합니다. 먼저 공간 거리가 더 큰 경우와 같은 경우를 각각 모순으로 밀어냅니다.

증명은 광자 경로·같은 사건의 좌표 변환·관찰자의 자기 세계선을 함께 씁니다. “광속을 넘지 않는다”를 공리로 넣지 않고 다섯 공리의 결합에서 얻는 점이 핵심입니다.

한 관찰자가 붙인 좌표를 다른 관찰자의 좌표로 바꾸는 규칙을 생각해 봅시다. 같은 두 사건 사이의 시간 차와 공간 거리는 관찰자에 따라 달라질 수 있습니다. 그래도 두 사건 사이의 시공간 간격을 보존하는 좌표 변환이 있습니다. 이를 푸앵카레 변환이라고 합니다.

원문의 정리 2.2는 SpecRel의 공리에서 관성 관찰자 사이의 좌표 변환이 푸앵카레 변환임을 얻습니다. 관성 관찰자는 일정한 방향과 속도로 움직이는 관찰자입니다. 이 정리는 서로 다른 관찰자의 기록이 어떤 수학적 관계를 만족하는지 밝혀 줍니다.

일반상대론의 모형과 공리계가 대응한다는 완전성 결과는 뒤의 정리 4.1에서 다룹니다. 두 정리는 각각 좌표 변환의 성질과 공리계의 표현 범위를 말하므로 구별해 읽습니다.

첫 단계 AccRel은 관성 관찰자만 있던 SpecRel에 가속 관찰자를 더합니다. 가속 관찰자의 매 순간을 그 순간 함께 움직이는 관성 관찰자로 국소 근사하고, 사건·자기 세계선·미분 가능성을 모든 관찰자에게 맞게 확장합니다.

이 단계는 곧바로 일반상대론 전체가 아닙니다. 평평한 시공간에서 가속 운동과 쌍둥이 역설을 일차논리로 분석하는 중간 이론입니다.

가속하는 관찰자는 시간이 흐르며 속도나 방향이 바뀝니다. 연구진은 그 관찰자의 한 순간 가까이에서 좌표 기록이 거의 같은 관성 관찰자를 찾습니다. 원문은 이 조건을 AxCm이라는 공리로 적습니다.

우주선이 속도를 바꾸는 중이라도 특정 순간에는 같은 위치에서 같은 속도로 움직이는 관성 운동과 비교할 수 있습니다. 이 비교를 그 순간에 한정하는 것이 국소 근사입니다.

세계선은 시간이 흐르며 물체가 어디에 있는지 그린 선입니다. 그림에서 세로는 시간, 가로는 위치입니다. 한 순간에 곡선과 접선이 만나는 것은 그 순간의 위치와 속도가 맞는다는 뜻입니다. 두 선의 다른 부분까지 겹칠 필요는 없습니다.

AxEv−와 AxSf−는 사건과 자기 세계선 조건을 모든 관찰자에게 넓히고, AxDf는 세계관 변환이 각 점에서 아핀 근사를 갖게 합니다. 그러나 양의 체에 틈이 있으면 이상한 운동이 남을 수 있습니다.

Cont는 언어 안에서 정의 가능한 비어 있지 않은 유계 집합에 상한이 있다고 요구합니다. 모든 임의의 부분집합을 말하지 않아 일차논리 틀을 유지하면서 필요한 연속성만 불러옵니다.

정리 3.1은 AccRel에서 관성 관찰자가 두 만남 사이에 가속 관찰자보다 적지 않은 시간을 재며, 같은 사건들을 거쳤을 때에만 시간이 같다고 말합니다.

흥미롭게도 AxDf를 빼도 이 결론은 유지되지만 Cont를 빼면 반모형이 생깁니다. 공리의 목록만 보는 대신 어떤 결론이 어떤 가정에 의존하는지 시험하는 논리 분석입니다.

GenRel은 관성 관찰자와 비관성 관찰자를 공리 수준에서 구별하지 않습니다. AccRel의 법칙들을 모든 관찰자에게 적용하되, 빛의 속도와 좌표 변환의 성질을 만나는 점의 국소 조건으로 바꿉니다.

저자들은 이를 “모든 관찰자에게 같은 법칙”이라는 민주화로 설명합니다. AccRel에서 GenRel로 가는 전환은 단순히 공리를 더하는 일이 아니라 관성 개념의 지위를 바꾸는 일입니다.

AxPh−는 관찰자가 광자를 만나는 점에서 광자의 속도가 1이고 각 방향으로 광자를 보낼 수 있다고 합니다. AxSm−는 만나는 두 관찰자가 서로의 시계 지연률을 같은 비율로 본다고 합니다.

특수상대론에서 전역적으로 적던 대칭을 만남 지점의 속도와 미분으로 옮긴 셈입니다. 국소 조건을 이어 전체 굽은 시공간을 다룰 토대를 만듭니다.

정리 4.1은 GenRel의 표준 모형이 실수 닫힌 체 위의 로런츠 다양체와 정확히 대응한다고 말합니다. 각 다양체에서 GenRel 모형을 만들고, 반대로 각 GenRel 모형이 그런 다양체에서 온다는 두 방향을 제시합니다.

따라서 GenRel 언어의 문장 φ는 모든 표준 로런츠 다양체에서 타당할 때 그리고 그때에만 공리계에서 증명됩니다. 논문은 상세 증명을 앞선 연구에 연결하므로 이 글도 새 증명으로 꾸미지 않습니다.

GenRel은 관성성을 기본 공리에서 지우지만, 두 사건 사이의 고유시간을 국소적으로 최대화하는 timelike geodesic으로 다시 정의합니다. 관찰자가 충분히 많아야 이 비교가 빈약해지지 않습니다.

Compr 도식은 정의 가능한 시간꼴 곡선마다 그 곡선을 세계선으로 갖는 관찰자가 있다고 요구합니다. GenRel+에서 이 정의가 표준 로런츠 기하의 측지선과 맞물리고, 곡률 같은 개념을 다룰 길이 열립니다.

논문이 제시한 길에서는 가능합니다. SpecRel에 가속 관찰자와 정의 가능한 연속성을 더해 AccRel을 만들고, 관성 관찰자 전용 법칙을 모든 관찰자의 국소 법칙으로 바꾸어 GenRel을 얻습니다.

이 “유도”는 따옴표가 붙은 구조적 전환입니다. 실제 물리학 전체를 몇 줄의 형식 논리로 대체했다는 뜻이 아니며, 상세 완전성 증명과 경험적 정당화·에너지-운동량 조건은 별도 층에 남습니다.