이 글은 일반상대론_개론에 대한 글 입니다. 실용적 적용에 있어 대단히 탁월하게 유용한 사례는 범지구위치결정시스템(GPS)을 비롯한 위성항법시스템들이다. 위성항법시스템들은 항법(위치의 결정)과 계시(시간의 결정)라는 두 가지 업무를 매우 높은 정밀도로 수행한다. 이러한 시스템들은 두 개의 원자시계로 이루어져 있다. 원자시계 하나는 지구 주위를 공전하는 궤도상의 인공위성에 탑재되어 있고, 나머지 하나는 대조군으로서 지구 표면에 장치되어 있다. 일반상대론의 예측에 따르면 두 시계는 운동이 다르기 때문에(이 효과는 특수상대론에서 이미 예측된 바이다) 그리고 지구의 중력장 안에서 점하고 있는 위치가 다르기 때문에 시간에 차이가 발생할 것이다. 시스템의 정확도를 유지하기 위해서는 인공위성에 탑재된 시계가 상대론적 요인을 고려하거나 또는 평가 알고리즘을 통한 요인을 사용하여 좀더 느리게 가게 해야 한다. 다시 말하면, 위성항법시스템의 정확도 시험(특히 협정세계시의 정의를 내리기 위한 매우 철저한 측정 등)은 상대론적 예측의 타당성을 검증하는 시험이기도 한 것이다.
일반상대론의 개론에서 위성항법시스템들은 두 개의 무엇으로 이루어져 있는 가?
원자시계