宇宙は計算機第 3 回 ／ 表現の動物園

連続か離散か、で始まった。剥ぐと、軸は一本だった

情報より、物理より ── それは読む向き 連続と離散は同じ仲間（どちらも点が主役）。点を降ろすと別の表現が現れる。
表現の動物園は双対の網で結ばれ、唯一の軸は「情報より／物理より」── そしてそれも読む向きにすぎない。

前提：表現は影、物理は不変量（連続/離散を剥いだ先） フック：\(S_{\text{情報}} = S_{\text{物理}}\)

このシリーズは「今の記述は複雑すぎる、もっと簡単に書けるはず」から始まりました。追ううちに、連続か離散かという最初の分かれ道が、実は本質でないと分かってきます。剥いでいくと表現はもっとたくさんあり、それらは一つの不変量の影で、最後はたった一本の軸に潰れる ── そしてその軸すら、コップをどっち側から見るかの違いだった。今回はそこまで剥ぎます。

01連続と離散は「同じ仲間」── どちらも点が主役

連続＝点が詰まっている、離散＝点が離れている。よく見ると、両方とも「点」を主役にしている。違いは点の詰まり具合だけ ── 軸は一本です。だから「連続でも離散でも書ける、結局一緒」は正しい。二つは対立でなく、同じ土俵の両端。

最初の剥ぎ

連続 vs 離散 ＝ 点の詰まり具合という一本の軸。本当に別の表現は、「点」を主役から降ろしたものたち。

02点を降ろすと、別の表現が現れる ── 実装とインターフェース

計算の言葉が一番早い。CSでは型を実装でなくインターフェースで定義します。整数を2進で持つか10進で持つかChurch数で持つかは、同じ `int`。物理も同じ ── 連続と離散は「physics」という型の二つの実装にすぎない。ならインターフェース（操作と法則）だけ残して、実装＝点を消せる：

表現主役連続/離散との関係
連続詰まった点点ベース・その1
離散離れた点点ベース・その2
作用素代数／非可換幾何（Connes）観測量の代数（点なし）連続も離散も可換な影。量子＝非可換＝どちらでもない
圏論／関係的（トポス）射＝関係。論理そのものが変わる点を持たない。補遺で剥いだ後に残る"関係の構造"
p進／非アルキメデス木構造の数局所は離散っぽく大域は稠密＝第三の数体系
型理論／HoTT構成・証明（＝プログラム）計算の母国語。等号＝道

03一番深い別表現 ── 観測量の代数（点が消える）

一番効くのは真ん中の非可換幾何。ゲルファント双対という定理が「空間 ⟺ その上の可換代数」をぴったり対応させます。すると：

量子が非可換なのは偶然じゃない

世界は「点の集まり」でなく「問える質問（観測量）とその答えの絡み方」で書けている ── これが非可換の意味。あなたの計算観そのもの：システムを中身（点）でなく振る舞い（I/O＝操作の代数）で定義する。連続/離散は実装の詳細、インターフェース＝観測量の代数が本体。

04「結局一緒」の正体 ── 双対定理

そして "結局一緒" は気分でなく定理です。表現の間には双対が張ってある ── Stone双対（論理⟺離散空間）、ゲルファント双対（代数⟺空間）、Pontryagin双対…。双対とは「服が違うだけで中身は同じ」の厳密版。表現の動物園＝双対の網で結ばれた、一つの不変量の影たち。何で書いても結局一緒、の正体がこれ。

◇ ◇ ◇

05動物園の唯一の軸 ── 情報より／物理より、そしてそれも双対

ここまで剥ぐと、動物園に残る本当の自由度は一本だけ：情報を先に置いて物理を導くか、物理を先に置いて情報を導くか（Wheeler の「it from bit」対「bit from it」）。だが ── その軸自体が双対なのです。

情報と物理は、底で同じもの $$\underbrace{S=-\!\sum p\log p}_{\text{情報（Shannon）}}\;=\;\underbrace{S=\frac{A}{4\ell_P^2}}_{\text{物理（Bekenstein–Hawking）}}$$

エントロピーは情報（Shannon）と物理（熱力学）で文字通り同じ量。Landauer＝「情報は物理的」。ホログラフィー＝「面積＝ビット数」。最深の確立点で、情報と物理は二つの別物でなく、一つの不変量を両端から読んだだけ。

図：読む向き。中央の不変量 \(S\) は動かない（棒の長さ一定）。スライダーを「情報より」から「物理より」へ動かすと、同じ棒に貼るラベルだけが \(\log_2 W\)（ビット）⇄ \(A/4\)（面積）と入れ替わる。半分空か半分満ちか、同じコップ
スライダーで読む向きを動かすと、ラベルだけ変わり、S は変わりません。
情報の読み（log₂W・Shannon） 物理の読み（A/4・面積）

06種明かし ── 向きが空でない唯一の場所＝穴

だから「情報より／物理より」はコップを半分空と見るか半分満ちと見るか。同じコップ、読む向きが逆なだけで、内容の差はゼロ。二つの表現が重なる所では、双対だから差は一切出ない。

差が出るのは、たった一箇所 ── 穴（導出が底を打つ所）でだけ。「どっちの端が根源か」は、重なりの外＝未知の部分についての賭けです。そしてあなたは情報の端を選んでいる（＝計算観）。それは間違いでも正解でもなく、同じ不変量を情報の側から読む向きの選択で、当たるか外れるかは穴でしか決まらない。物理の端から読む人とは、重なる所で必ず一致する。

正直な線 ── ここが Gemini と "見た目同じ" で、中身が真逆になる所

この地図は、宇宙＝情報／計算という話題(topics)では、よくある思弁（Gemini的な対話）と重なります。違いは一点だけ ── 旗を立てるか、縁の標識を立てるか。「解けた・これが万物の理論」と偽の旗を立てれば奇説。「縁。ここから先は無人」と書けば最前線。地図が同じでも、旗と標識は正反対で、それが両者を分ける唯一の線です。

情報＝物理の統一が厳密なのは、熱力学／ホログラフィーの界面まで（エントロピーの一致・Landauer・面積＝ビット）。「どちらが真に根源か」は仮説で、決着は穴でしか付かない。ゲルファント／Stone 双対、非可換幾何、p進・トポス・HoTT は確立した数学ですが、「宇宙の表現がそのどれか」は未確定。この文書に「解けた」は一つもありません。

練習問題（この一枚で解けます）
  1. 連続と離散の「共通点」は何か。本当に別の表現はどこから始まるか。
    答えを見る
    どちらも「点」を主役にしている（連続＝点が詰まる、離散＝点が離れる）。軸は点の詰まり具合の一本。本当に別の表現は、点を主役から降ろしたとき始まる（作用素代数・圏論・p進・型理論）。
  2. 非可換幾何が「連続でも離散でもない」と言える根拠は。
    答えを見る
    ゲルファント双対で「空間 ⟺ 可換代数」。可換代数は点のある空間を返す（連続でも離散でも）。非可換代数には点が一個もないのに幾何がある。量子＝観測量が非可換＝どちらでもない表現。世界を「点」でなく「問える質問と答えの絡み」で書く。
  3. 「情報より／物理より」が"読む向き"にすぎないと言える根拠を一つ。そして向きが空でないのはどこか。
    答えを見る
    エントロピーが Shannon（情報）と熱力学（物理）で同一の式、Landauer「情報は物理的」、ホログラフィーの「面積＝ビット」── 同じ不変量を両端から読んだだけ。重なる所では差ゼロ。向きが効く（空でない）のは穴＝導出が底を打つ所だけで、そこは「どっちが根源か」の賭けになる。

第3回まとめ表現は影、軸は一本、それも向き

連続と離散は同じ仲間（点が主役、軸は詰まり具合一本）。点を降ろすと別の表現が現れる ── 観測量の代数（非可換幾何・点が消える）、圏論、p進、型理論。それらは双対の網で結ばれた一つの不変量の影（Stone・ゲルファント双対）＝「結局一緒」の正体。

動物園に残る唯一の軸は「情報より／物理より」。だがエントロピー＝Shannon＝熱力学、Landauer、面積＝ビットで、その軸自体が双対＝読む向きだった。向きが効くのは穴でだけ、そこは「どっちの端が根源か」の賭け。あなたは情報の端を選んでいる。決着は穴で待っている ── 掟どおり、旗は立てない。

← 第2回：宇宙をどう計算するか 目次へ
この文書は「宇宙は計算機」シリーズ第3回です。連続・離散が「点集合の位相／濃度」という一軸の両端であること、ゲルファント双対（可換C*代数 ⟺ 局所コンパクト空間）、Stone双対（ブール代数 ⟺ Stone空間）、Pontryagin双対、非可換幾何（Connes）による「点を持たない空間＝観測量の代数」、p進・非アルキメデス解析、トポス／圏論的基礎、ホモトピー型理論（HoTT・univalent foundations）、Shannon エントロピーと熱力学エントロピーの一致、Landauer 原理（情報消去の物理コスト）、Bekenstein–Hawking の面積＝情報上限、Wheeler の「it from bit」は、いずれも確立した数学／物理、または活発な研究プログラムです。「宇宙の根源が情報か物理か」「宇宙の表現が上記のどれか」は現行の未解決問題（仮説）で、この文書に確定的な主張はありません。図の \(S\) の一致は熱力学／ホログラフィーの界面での模式です。 ── 印刷する場合はブラウザの「印刷」から「PDF に保存」を（印刷版ではスライダーと解答は静止・非表示になります）。

印刷 / PDF 化：Ctrl+P（Mac は ⌘+P）。画面ではスライダーで、読む向きを変えても不変量 S（棒の長さ）が動かない様子が見えます。「答えを見る」で解答が開きます。