わかる宇宙論番外編 ④(本編級)/ シリーズの土台を、厳密に

ずっと感覚で使ってきた「空間の伸び = 光速の減少」を、今回は条件つきで証明する

空間の歪みと光速の減少は、
いつ等価か 第1回からの合言葉「空間が伸びる = 光が遅くなる」── これは、いつ成り立ち、いつ破れるのか。
番外編③の「守るべきは α」が、そのまま等価条件の半分になる。

必要な道具:割り算、比例、光は距離÷時間で進むこと c_B · a = 一定 / α 不変

このシリーズは第1回からずっと、「空間が伸びる」と「光速が遅くなる」は同じことの言い換えだ、と繰り返してきました。番外編③では、VSLがこの言い換えを取り違えて失敗した理由も見ました。では、いよいよ正面から ── この二つは、正確にどういう条件で等価なのか。そして、どこで破れるのか。 感覚ではなく、条件を並べて確かめます。結論を先に言えば、等価は二つの条件がそろったときだけ成り立ち、そのうちの一つは、番外編③でVSLが守れなかったあの \(\alpha\) 不変です。

01まず「空間が伸びる」を、光の側から書く

膨張する宇宙では、遠くの銀河までの距離が時間とともに増えます。その伸び具合を表すのがスケール因子 \(a(t)\)。今を \(a=1\) として、昔は \(a\) が小さく、未来は大きい。空間の物差しが、まるごと \(a(t)\) 倍に伸び縮みする、というイメージです。

ここで見方を切り替えます。空間を「伸びない格子(共動座標)」として固定し、代わりにその格子の上を光が進む速さを考える。空間が \(a\) 倍に伸びているぶん、固定した格子から見ると、光は同じ時間で進める“格子の目”が減って見える。これを式にすると ──

空間の伸び を 光速の言葉に翻訳する
$$c_B(t) = \frac{c_0}{a(t)}\qquad(\text{固定格子の上で測った、光の実効的な速さ})$$

\(a\) が大きい(空間が伸びた)ほど、\(c_B\) は小さい(光が遅い)。これが第1回の「空間が伸びる = 光が遅くなる」の、式としての姿です。両辺に \(a\) を掛ければ、シリーズでおなじみの形になります。

合言葉の正体
$$c_B(t)\cdot a(t) = c_0 = \text{一定}$$

「光速 × 空間の伸び = 一定」。空間が \(a\) 倍に伸びることと、光速が \(1/a\) 倍に落ちることは、この一本の式でぴったり裏返し。これが等価条件の一つ目です。

図:c_B(光速の減少・琥珀)と a(空間の伸び・青)は、常に積が一定。片方を動かすと、もう片方が必ず裏返しに動く
a = 1.00 → c_B = c₀/a = 1.00 → 積 c_B·a = 1.00(一定)
空間の伸び a 光速 c_B = c₀/a 積 c_B·a(動かない)

02でも、これだけでは「見かけの等価」にすぎない

\(c_B\cdot a=\text{一定}\) は、確かに「空間の伸び」を「光速の減少」に書き換えます。でも ── これだけなら、ただ記号を置き換えただけかもしれない。番外編②で見た通り、次元のついた量(\(c\) や長さ)は、基準の取り替えでいくらでも姿を変えられる。本当に「同じ物理」だと言うには、書き換えても観測が一つも変わらないことを保証しなければなりません。

観測 ── たとえば原子の出す光の色、原子時計のリズム、物質のふるまい ── を決めているのは、第2回・第6回で見た通り、単位の消えた比微細構造定数 \(\alpha\) です。だから等価が本物であるためには、書き換えの前後で \(\alpha\) が動いてはいけない。

等価条件の二つ目
$$\alpha = \frac{e^2}{4\pi\varepsilon_0\hbar c}\ \text{が、書き換えの前後で不変}$$

\(c_B\) を動かすなら、\(\alpha\) を守るために \(e,\hbar\) も連動させる ── つまり「光速の減少」はすべての物理をひとそろい込みで、単位ごと書き換える操作でなければならない。そうすれば、原子も時計も物差しも全部一緒にスケールし、比を取ると変化が打ち消えて、観測は寸分変わらない。これが二つ目の条件。番外編③でVSLが守れなかった、まさにその条件です。

番外編③の回収 VSLは条件一つ目(\(c\) を動かす)はやったが、二つ目(\(\alpha\) 不変)を破った ── \(c\) だけ動かして \(e,\hbar\) を固定したから。だから「見かけだけ等価で、観測が変わってしまう(=原子時計に反する)」書き換えになった。等価の二条件のうち、一つしか満たさなかった ── これがVSLの惜しさの、厳密な言い方です。

◇ ◇ ◇

03等価が成り立つ条件と、破れる条件を並べる

二つの条件がそろえば、「空間の伸び」と「光速の減少」は完全に等価 ── どちらで計算しても、どんな観測でも、区別できません。逆に、条件のどこかが崩れると等価は破れる。整理します。

条件1:\(c_B\cdot a=\text{一定}\)(光速の減少と空間の伸びが裏返し)これは定義に近い。空間の伸びを光速の言葉で書けば、自動的に満たされる。
条件2:\(\alpha\) が不変(=全物理を単位ごと書き換える)書き換えが「単なる記号の付け替え」であるための保証。これが観測不変を担保する。
破れる場合A:\(c\) だけ動かして \(\alpha\) を動かす(VSL型)条件2が破れる。観測が変わり、原子時計に反する。等価ではなく“別の物理”になる。
破れる場合B:ごく短い距離・極端な重力(プランクスケール)「空間の伸びは全方向いちようで、なめらか」という前提が怪しくなる領域。第5回の“帯域の端”にあたる。ここでは等価が保証されない。

つまり、このシリーズがずっと使ってきた「空間の伸び = 光速の減少」は、条件1と条件2がそろう範囲でだけ、厳密に正しい。その範囲は、私たちが触れられるほぼすべての物理を含みます ── だから合言葉として安心して使えた。でも「いつでも無条件に」ではなかった。破れる場所(VSL型の書き換え、プランクスケール)も、はっきり指させる。

なぜ二条件で「観測不変」が言えるのか(筋道)

① 光の進み方は変わらない

条件1により、光が届く距離 \(\int c_B\,dt\) は、空間の伸びで書いても光速の減少で書いても同じ値(第4回で数値でも確認)。因果構造・赤方偏移・地平線は不変。

② 物質の側も変わらない

条件2により、原子のサイズ・エネルギー準位・時計のリズムを決める \(\alpha\) が不変。だから物質のふるまいも不変。①と②で、光も物質も変わらない ── 観測できるものが全部同じなら、二つの見方は同じ物理。これが「等価」の意味です。

04だから、どちらで語ってもいい ── ただし条件つきで

結論です。条件1・2がそろう範囲では、「空間が伸びる」と「光が遅くなる」は同じ一つの物理の、二つの語り方。第5回のレコードとCDのように、媒体が二つあるだけで、鳴っている音楽はひとつ。だから第1回で「わかりやすいほう(光速の減少)で語ってよい」と言えたのは、気分ではなく、この二条件に支えられた正当な選択だったのです。

そして、この回はシリーズの土台を厳密にすると同時に、VSLの教訓を裏側から照らしました ── 等価を保つ鍵は、次元付きの \(c\) をどう動かすかではなく、無次元の \(\alpha\) を守れるかどうか。番外編③の診断「守るべきは \(\alpha\)」が、そのまま等価条件の二つ目でした。二つの回が、同じ一点で握手します。

正直な線

「等価」と言えるのは、あくまで観測できる範囲(条件1・2が保たれる領域)での話です。プランクスケールのような極限で、空間が本当になめらかに伸びるのか、そこでも等価が保たれるのかは、第5回で見た「帯域の端」と同じく未解決 ── まだ誰も実験で確かめていません。

また、この等価は「\(c\cdot t=\text{一定}\) という特定のモデルが正しい」という主張ではありません。等価なのは語り方どうしであって、どんな膨張のしかた(\(a(t)\) の形)が現実かは、別に観測で決める問題です。等価性は「見方の自由」を保証するだけで、モデルの正否までは決めません。

練習問題(今回の式だけで解けます)
  1. 空間が2倍に伸びた(\(a=2\))とき、\(c_B\cdot a=\text{一定}\) から光速 \(c_B\) は元の何倍か。
    答えを見る
    \(c_B=c_0/a=c_0/2\)。元の半分。空間が2倍に伸びる = 光速が半分に落ちる、が裏返しの関係です。
  2. 「\(c_B\cdot a=\text{一定}\) を満たすのに、\(\alpha\) が動いてしまう」書き換えは、等価か否か。理由も。
    答えを見る
    等価ではない。条件1は満たすが条件2(\(\alpha\) 不変)を破るため、観測(原子時計など)が変わってしまう。これがVSL型の失敗で、「見かけの等価」にすぎない。
  3. 「空間の伸び=光速の減少」が破れうる場所を、今回と第5回の内容から1つ挙げよ。
    答えを見る
    プランクスケール(ごく短い距離・極端な重力)。「空間がなめらかに一様に伸びる」という前提が保証されない、第5回でいう“帯域の端”にあたる領域。ここでは等価が担保されない。

まとめ等価は「二つの条件」の上に立っていた

「空間が伸びる = 光が遅くなる」が厳密に等価なのは、二つの条件がそろうとき ── ①\(c_B\cdot a=\text{一定}\)(光速の減少と空間の伸びが裏返し)、②\(\alpha\) 不変(全物理を単位ごと書き換える)。①が光の進み方の不変を、②が物質のふるまいの不変を保証し、合わせて「観測が全部同じ=同じ物理」を担保する。

破れるのは、②を守れないVSL型の書き換えと、前提が怪しくなるプランクスケール。第1回からの合言葉は、この範囲でだけ正しかった ── そしてその範囲は、私たちが触れるほぼ全部を含む。等価を保つ鍵は \(c\) の動かし方ではなく \(\alpha\) を守れるか ── 番外編③の教訓が、そのまま等価条件になって、シリーズの土台を締めました。

この文書は「わかる宇宙論」シリーズ番外編④、物理好きの高校生・大学生向け読み物です。\(c_B=c_0/a\)、\(c_B\cdot a=\text{一定}\) はFLRW宇宙で空間膨張を共動系の実効光速として書き換えたもので、共形時間表示に対応します。等価性(因果構造・赤方偏移・地平線の不変)は、次元付き量の再パラメータ化+無次元量 \(\alpha\) 不変の下で厳密に成り立ちます。局所的に測る光速は常に \(c_0\) です。プランクスケールでの離散性・等価性の成否は未解決の物理課題です。本稿の「等価」は語り方(座標・単位の選択)どうしの等価であり、特定の膨張モデルの正当性を主張するものではありません。 ── 印刷する場合はブラウザの「印刷」から「PDF に保存」を(印刷版ではスライダーと解答は静止・非表示になります)。

印刷 / PDF 化:⌘+P(Windows は Ctrl+P)。画面ではスライダーで c_B·a が一定に保たれる様子が見えます。「答えを見る」で解答が開きます。