Time
時間を測ることが、空間を測ること
衛星信号の到達時間を光速で掛けると、衛星までの距離になります。GPS は「距離計」ではなく、まず「時計」です。
GPS / Atomic Clock / Trilateration / Relativity
GPS はなぜ、
ここまで正確なのか
GPS の正確さは、超正確な時計 × 光の速さ × 幾何学でできています。 衛星は「いま何時か」を電波で送り、受信機はその時間差を光速で距離へ変えます。 ただし、それだけでは足りません。4 つ目の衛星で時計誤差を消し、さらに特殊相対論と一般相対論で時計の進み方まで補正して初めて、数 m から cm 級の測位が成立します。
- GPS は「時間差」から衛星までの距離を求めている
- 4 衛星を使うのは、位置だけでなく受信機の時計ずれも未知数だから
- 相対論補正を外すと、1 日で約 10 km 級の誤差になる
Geometry
4 衛星で位置と時計ずれを同時に解く
未知数は位置の 3 成分だけではなく、受信機時計のずれもあります。だから 4 本目の方程式が必要です。
Relativity
GPS は相対論を毎日使っている
衛星は速く動くので時計が遅れ、高い場所にあるので時計が速みます。その差を毎日補正して測位を維持しています。
Core Idea
GPS の本質 = 時刻スタンプを距離へ変え、幾何と相対論で補正すること。
衛星からの電波は「いま何時に送ったか」の情報を持っています。受信機はその差から距離を作り、複数衛星の幾何で位置を決め、さらに原子時計と相対論補正で精度を支えます。
Time Of Flight
基本原理は、時間から距離を作ること
GPS 衛星は常に「いまの時刻」を送っています。受信機は送信時刻と受信時刻の差を取り、その電波が飛んだ時間を光速で掛けて衛星までの距離を求めます。
Broadcast
衛星は時刻スタンプを送り続ける
各衛星は「何時何分何秒に送った信号か」を埋め込んだ電波を常時放送しています。GPS の信号はまず時計の情報です。
Receive
受信機は到着までの時間差を読む
スマホやカーナビは、受信した瞬間の時刻との差を計算します。ここで得られるのは「時間差」であって、まだ位置そのものではありません。
Convert
光速で掛けると距離になる
電波はほぼ光速で進むので、時間差 Δt が分かれば d = c × Δt で衛星までの距離が出ます。GPS は飛行時間測定です。
Scale
1 ns のずれでも 30 cm
時間誤差が 1 ナノ秒あるだけで、距離には約 30 cm のズレが出ます。精度の核心が時計にある理由がここです。
Distance
d = c × Δt
GPS の最初の一歩はこの式です。時間差を距離へ変換するだけで、測位の骨格が始まります。
Pseudorange
ρ = c(trecv - tsend)
実際には受信機の時計も完全ではないので、最初に得られるのは厳密な距離ではなく「擬似距離」です。
Nanosecond
1 ns → 約 0.30 m
超高精度の位置情報には、ナノ秒どころかそれ以下の時間制御が要ることが分かります。
Geometry
なぜ 4 つ目の衛星が必要なのか
1 つの衛星から分かるのは「その距離の球面上にいる」ということだけです。衛星が増えるごとに候補が絞られますが、現実の受信機には時計誤差があるので、位置 3 成分に加えて時刻補正も未知数になります。
1 Satellite
分かるのは球面まで
衛星までの距離が 1 本分かっても、自分がその距離の球面上のどこにいるかは決まりません。候補は無数に残ります。
2, 3 Satellites
交わりで候補を絞る
2 つで円、3 つで候補点まで絞れますが、それでも受信機時計のずれを無視した理想化です。まだ現実の測位には足りません。
4 Satellites
位置と時計ずれを同時に解く
4 つ目の衛星を入れると、x, y, z と受信機の時計補正 δt の 4 未知数に対して 4 本の式がそろいます。ここで初めて実用的な測位が成立します。
Clock Bias
4 本目は「時計のズレ」を消すため
受信機には衛星のような原子時計がないので、そのずれを未知数として一緒に解く必要があります。GPS の 4 衛星ルールはここから来ます。
Measurement
ρi = |r - ri| + cδt
各衛星 i ごとに、観測された擬似距離は幾何学的距離と受信機時計のずれの和として書けます。
Unknowns
unknowns = x, y, z, δt
測位方程式の未知数は 4 個です。位置だけでなく、時刻補正が含まれていることがポイントです。
Minimum
4 satellites → 1 point + clock correction
実用上は 4 衛星が最低条件で、実際の受信ではそれ以上を使ってノイズや誤差に対して頑健にします。
Atomic Clock
正確さの芯には原子時計がある
GPS 衛星の時刻基準が強いのは、量子力学で決まる原子の遷移周波数をそのまま時間基準にしているからです。普通の機械式時計や水晶より、自然法則そのものに近い基準を使っています。
Quantum Frequency
原子の準位差が周波数を決める
ΔE = hν により、原子のエネルギー準位差は一意の周波数へ結びつきます。ここが原子時計の「振り子」です。
Cesium
秒の定義はセシウム 133
現在の 1 秒は、セシウム 133 の超微細構造遷移 9,192,631,770 周期で定義されています。秒そのものが量子遷移の数え上げです。
Lock
共鳴が最大になる周波数へロックする
マイクロ波を少しずつ変えながら当て、遷移が最大になる周波数へフィードバックをかけます。こうして「正しい周波数」を維持します。
Future
光格子時計はさらに桁違いに強い
可視光領域の超高周波を使う光時計では 10-18 級の精度に達します。高さ差による相対論的な時間差さえ測れるレベルです。
Quantum Rule
ΔE = hν
エネルギー差が固定なら、対応する周波数も固定です。時間基準としてこれ以上ないほど安定した源になります。
Cesium Standard
9,192,631,770 Hz
この周波数の数え上げが現在の秒の定義です。GPS の精度は、この量子標準へつながっています。
Meaning
time = counting a stable frequency
原子時計の本質は「普遍的な周波数を数えること」です。時間とは周波数のカウントだと言い換えられます。
Relativity
GPS は相対論なしでは成立しない
衛星時計は地上時計と同じ速さで進みません。衛星は高速で動くので特殊相対論で遅れ、地上より高くて重力が弱いので一般相対論で速く進みます。その差を補正しないと、位置は毎日大きく崩れます。
Special Relativity
速く動く時計は遅れる
GPS 衛星は秒速約 3.87 km で地球を回っています。そのため特殊相対論の効果で、地上から見ると時計は 1 日に約 -7.2 µs 遅れます。
General Relativity
高い場所の時計は速く進む
衛星は地上より重力ポテンシャルが高い場所にあるため、一般相対論の効果で時計は 1 日に約 +45.7 µs 速く進みます。
Net
合計は +38.5 µs/day
2 つの効果を足すと、GPS 衛星の時計は地上時計より 1 日で約 38.5 マイクロ秒速く進みます。補正は必須です。
Consequence
放置すると 1 日で約 11.6 km
38.5 µs は光にとって大きな距離差です。光速で掛けると、測位誤差は 1 日で約 11.6 km に達します。
SR
Δt'/Δt ≈ 1 - v2 / 2c2
衛星の高速運動による時間遅れを与える弱速近似です。GPS ではこれが約 -7.2 µs/day になります。
GR
dτ ≈ (1 + Φ/c2) dt
弱重力場では、重力ポテンシャルが高いほど固有時は速く進みます。GPS ではこの効果が支配的です。
Total
+45.7 - 7.2 = +38.5 µs/day
GPS は相対論を教科書の外へ持ち出した、日常の大規模実験だと見なせます。
Real World Errors
それでも現実には誤差が入る
相対論を入れても、GPS はまだ理想にはなりません。大気、建物反射、衛星位置のずれなどが誤差源になり、単独測位では数 m 程度のズレが残ります。そこで差分補正や搬送波位相の測定が活きます。
Atmosphere
電離層と対流圏が信号を遅らせる
電波は真空ではなく大気を通るので、屈折や電子密度の影響で到達時間が少し伸びます。これが距離誤差へ直結します。
Multipath
建物反射で遠回りした信号が混ざる
都市部では信号が壁や地面で反射し、複数経路で届きます。直接波と反射波が混ざると、測距は不安定になります。
Ephemeris
衛星位置の情報にも誤差がある
衛星が「どこにいるか」の情報そのものにズレがあれば、いくら時間測定が正しくても位置推定はずれます。
Correction
DGPS と RTK で m から cm へ
既知位置の基地局との差を使う DGPS、搬送波位相まで使う RTK により、単独 GPS をはるかに超える精度へ押し上げられます。
Raw Error
single GPS → meter scale
相対論を含めても、実環境では m 級の誤差が普通に残ります。理論と現場の間に補正技術が入ります。
DGPS
shared local error → subtract
近くの基地局で見えた共通誤差を差し引くことで、局所的なズレをかなり小さくできます。
RTK
carrier phase → centimeter scale
搬送波の位相まで読むと、コード測位よりはるかに細かい情報が得られ、cm 級まで到達できます。
Interactive Diagram
4 つの視点で GPS の精度の支え方を切り替える
時間差で距離を作ること、4 衛星で位置と時計ずれを解くこと、相対論補正、そして誤差補正までを 1 枚のキャンバスで見比べます。厳密な航法計算ではなく、何が精度を支えているかを直感で掴むための模式図です。
注意: ここでの図は考え方をつかむための模式図です。実際の測位では軌道計算、符号同期、誤差モデル、カルマンフィルタなどがさらに入ります。
時間測距モードでは、衛星からの信号がどれだけ時間をかけて届いたかを距離へ変える様子を見てください。
Next Reads
GPS の話を、別のページへ広げる
GPS を理解すると、光速、電磁波、誤差解析、研究テーマ化が一気につながります。ここから先は、相対論と信号、ノイズへ伸ばすと自然です。
Relativity
光速の意味を読み直す
GPS は「光速が有限で一定」という事実を毎回使っています。光速のページへ戻ると、測距の意味がよりはっきり見えます。
光速のページへSignal
通信として見ると何が送られているか
GPS も結局は時刻情報を乗せた電波です。通信ページと合わせると、信号の見え方がさらに具体的になります。
通信のページへNoise
誤差解析の視点へつなぐ
単独測位の誤差や補正の限界は、統計と誤差伝播の考え方へ自然につながります。
統計のページへResearch
測位を研究テーマへ育てる
相対論補正、電離層補正、RTK、時刻同期は、そのまま強い研究テーマ候補になります。
研究の入口へ