付録：本書で語らなかったもの

本付録は、本書の記述に対して想定される流儀上の相違、理論的限界、または読者からの典型的な指摘を整理したものです。

本書は、一般多様体上の微分形式論を公理的に展開する本ではありません。3次元デカルト空間におけるベクトル解析を、行列表示の微分形式を通して再構成するための教育的な本です。したがって、本書で採用した記法や説明順序は、標準的な数学書の記述と一致しない箇所があります。それらは原則として意図的な選択であり、必要に応じて第11章で標準的理論への接続を示しました。

注（本音）

このセクションのタイトルは「本書で語らなかったもの」と穏やかなものにしてみましたが、それは建前です。本音を言えば、これは本書の射程を読まずに投げられる典型的な批判への対応集です。

ただし、そう書いてしまえば、本当に応援したい読者が怖がって逃げ出してしまうでしょう。だから、表向きは穏やかな名前をつけました。

注（「私」は怒っている）

筆者は若いころ、本書と同じ方向を向いた一連の SNS 投稿を公開し、立場のある方も含む「数学に詳しい」人々から手ひどく批判されたことがあります。もちろん、当時の草稿には未熟な点が多かったと思います。あれから10年経っても未だにこんな調子の文章を書く筆者の、若かりし時代です。それはもう、「勢いのある」投稿だったに違いありません。だが、そのとき筆者が受け取ったものは、定義を読み、射程を確認し、どう直せばよいかを示す批評というより、専門的な立場から未完成な試みを一方的に裁く態度でした。

それは、SNSのエンゲージメント構造と、人間の群集心理が生み出す、ある種の必然でもあったのでしょう。無料で文章を公開することには、想像以上の消耗が伴うと身をもって知りました。

その構造を理解したうえで、なお筆者はいまでも怒っています。厳密性を掲げながら、相手が何を定義し、どの射程で語っているかを読まない態度は、少なくとも筆者の考える数学的態度ではありません。

それでも、本書に限っては無料公開することに決めました。ある意味では、私的な代償行為でもあります。その上で、本来の読者を守るために——いえ、ごめんなさい、これも少し建前です。私自身の自尊心を守るためにも、精一杯の予防線を張ることにしました。

本書の定義が数学者向けの教科書と異なるように見える箇所があるなら、まず本書内の定義を読んでほしいと思います。そのうえで、本当に矛盾しているのか、単に異なる文脈の記号を持ち込んでいるだけなのかを峻別してほしいのです。その後には遠慮なく、私を今一度、手ひどく批判してほしい。定義を読んだうえで、筆者の間違いを指摘してほしいのです。

注（高級な「きはじ」として）

数学書を読み進めるうちに、筆者は抽象的な定義順序の美しさも、その強さも、多少は内面化してしまいました。その結果、本書でやっていることが、ふと高級な「きはじ」にすぎないように見えることがあります。

これについて言葉を尽くせば言い訳に見えるし、黙れば誤解される。何より、自分自身がこのような批判を半ば信じているので、うまく語れません。

それでもなお、便法は必ずしも悪ではありません。便法は専門的な体系を置き換えませんし、それらに従属するだけのものでもありません。三次元の物理数学を、行列表示という手触りのある言葉で扱うための強力な言語にはなりえます。少なくとも具体的なシンボルに対する操作の体系にはなる。

改めて、本書の第一義はやはり、筆者自身の代償行為です。とはいえ、読者が手で動かせる言葉を一つ持って帰ってくれるなら、それは望外の副産物です。

注（惑わぬ日は来るか）

三十にして立つなどといいますが、実際にその節目を迎えると、立つどころか未だに式と腹が立つばかりです。オヤジギャグは言うようになってしまいました。

I. 理論的枠組みと厳密性について

• 多様体、アトラス、接空間などの数学的定義なしに外微分 $d$ を導入するのは不正確だ

→ 本書は一般多様体上の微分形式の教科書ではなく、3次元ユークリッド空間上でベクトル解析へ到達するための導入書です。一般多様体への移行については第11章で道標を示します。

• 反変ベクトルと共変ベクトル（双対空間）の区別を序盤で明確にすべきだ

→ 第1章 §1.1.6 で「縦ベクトル（変位）」と「横ベクトル（測定器）」の区別を導入しており、これは双対空間の概念の具体的な表現です。より抽象的な双対空間の定式化については第6章および第11章で接続します。

• $dx$ を横ベクトルとして扱う記法は数学書の標準的な表記ではない

→ 意図的な選択です。第1章 §1.1 で定義し、全章で一貫して使用しています。この記法の狙いは「1-form = ベクトルを食べる関数」という抽象概念を、読者が既知の「行列の掛け算」に翻訳することにあります。標準的な微分形式の記法との対応は第11章で示します。

• 外微分 $d$ は公理（ライプニッツ則や $d^2=0$）から一般的に定義すべきだ

→ 本書では公理から始めるのではなく、第5章 §5.3 で「微小ループを一周したときのズレ」という物理的直感から発見的に $d$ を導出しています。$d^2=0$ は第5章 §5.8 で混合偏微分の対称性に由来する性質として理解します。公理的定義は第11章で補足します。

• 一般の $n$ 次元多様体におけるストークスの定理の完全な証明が記載されていない

→ 本書では3次元ユークリッド空間での具体的なケース（ガウスの定理・ストークスの定理・グリーンの定理）を積分の定義から直接導出します（第5章、第8章）。一般次元のストークスの定理の証明は本書の射程外であり、第11章で道標のみ示します。

• ウェッジ積の定義において外積代数の普遍性質を用いた公理的アプローチを経由していない

→ 本書では §2.4 でテンソル積の反対称化としてウェッジ積を構築しています。これは公理的アプローチの最も具体的な実践であり、読者が行列の引き算として手を動かせるようにするための意図的な選択です。普遍性質による定義は第11章で紹介します。

• 幾何学的な対象そのものに絶対的な座標表示はないのに成分表示に依存しすぎている

→ 意図的な選択です。本書の主題は「微分形式をどう使うか」であり、「座標に依存しない幾何学的主体としての微分形式」の哲学は目的としていません。本書は標準的なベクトル解析の教科書と同様に、実用的な計算手段として成分表示を採用しています。座標不変な視点は第11章で接続します。

• 標準的な記法を避けているため、独自流派を主張しているように見える

→ 本書の記法は「初学者が行列計算で手を動かせる」ことを最優先に選ばれています。標準的な記法（添字による縮約、$\partial_\mu$ など）を敢えて使わない理由は第11章で説明しています。この方針自体は数値計算の分野などでは広く見られるもので、著者が特に新しいことを主張しているつもりはない。意外と和書がなかったので、筆者が書いたまでです。

II. 手法の選択と適用限界について

• アインシュタインの縮約記法（テンソル解析）を用いれば行列の束を使わずとも計算できる

→ その通りです。本書では、行列の成分を毎回明示的に書き下す方針をとっています。これにより、読者は「ブラックボックス化された添字操作」に惑わず、各成分がどこから来て、どこへ作用するのかを追うことができます。むしろ、本書を読みこなした読者なら、上付き添字・下付き添字の規則とアインシュタイン縮約を練習するだけで、テンソル解析の成分計算へ比較的すぐ移行できるはずです。添字記法との対応は第11章で示します。

• 最初からクリフォード代数（幾何代数）を教えれば外積も内積も統合できる

→ 本書はあえて「分離」の道を選びました。第I部（第1章〜第4章）で外積（$\wedge$）を、第5章で外微分 $d$ を、第6章で内積（計量）を構成し、その後に 第6章 §6.3 でホッジ・スター $\ast$ を導入することで「なぜ統合が必要になるのか」を読者が実感できるようにしています。幾何代数による統合は第12章で紹介します。

• 定数行列の計量 $\mathbf{g}$ を前提としているため、空間が曲がった場合に破綻するのではないかという懸念がある

→ 第6章で $xyz$ 実空間の計量 $\mathbf{g}=I$ から出発し、パラメータ空間では $\mathbf{g}=J^T J$ が場所の関数になることを示しています。曲がった空間（リーマン多様体）への一般化は第11章で道標を示します。本書の $g=J^T J$ という表式は、ユークリッド空間内での座標変換や埋め込みから誘導される最も具体的な例です。

• 第6章の正定値計量の導入から、第10章の擬リーマン計量への適用は論理的に飛躍している

→ 第10章 §10.3 の注で明記しているように、第10章では正定値性を放棄する代わりに「計量行列から $\ast$ の辞書を作る」という手順だけを第6章から引き継いでいます。正定値から擬リーマンへの一般化の理論的根拠は第11章で補足します。

• 捩れ（トーション）のある空間や非対称な接続を持つ多様体が考慮されていない

→ 本書の射程外です。本書が扱うのは3次元デカルト空間（およびパラメータ空間）であり、接続は常に対称・計量 compatible な Levi-Civita 接続を暗黙に前提としています。一般の接続の理論は第11章で道標を示します。

• スピンやスピノルといった対象を微分形式のみで扱うには代数的な限界がある

→ その通りです。微分形式は反対称テンソルを扱う枠組みであり、スピノル（二価表現）を自然に扱うには、クリフォード代数やスピン構造など追加の道具が必要になります。本書ではこの方向には立ち入りませんが、第12章で幾何代数への道標を示します。

• 行列の成分のみで計算を進めると、背景にある空間の幾何学的性質（計量等）が隠蔽される

→ 本書では幾何を隠蔽しているのではなく、アトミックな行列操作と幾何学的直感を常に対応させて与えています。たとえば第6章 §6.1 では、パラメータ空間の計量 $\mathbf{g}=J^T J$ の各成分が「軸方向の目盛りの伸び縮み」を直接表現していることを、行列の対角成分を見ながら確認できます。

• 微分形式を行列表示した際、成分がどの基底に関するものかが判別できない

→ 記法上の限界であることは認めます。熱力学の偏微分で固定する変数を下付きにするように、座標系や基底を記号に埋め込む独自記法も考えましたが、一般記法との乖離をこれ以上広げないため採用しませんでした。本書では第1章 §1.1.6 と §1.4 以降、「どの座標系の基底で書いているか」を毎回本文中で明示する方針をとっています。標準的な $dx^i$ 記法との対応は第11章を参照してください。

• 外微分 $d$ と共変微分 $\nabla$ は別物であり、本書の $d$ の説明だけでは曲がった空間での微分が扱えないのではないか

→ その通りであり、意図的な分離です。本書の $d$ は反対称微分（外微分）であり、計量に依存しないトポロジカルな操作です。一方、共変微分 $\nabla$ は計量に依存する対称微分であり、曲がった空間で必要になります。この分離（$d$ と $\nabla$）は Burke の「計量遅延」から強い影響を受けた筆者の解釈であり、第6章と第11章で扱います。

• 曲線座標（円柱座標・極座標）において、本書の $dr$ や $d\theta$ がデカルト座標の $dx$ と同じ「横ベクトル」として扱えるのか不明瞭

→ 第1章 §1.4 と第4章で明示的に扱っています。パラメータ空間の $dr,d\theta,dz$ もデカルト座標の $dx,dy,dz$ と同様に、パラメータ空間内での横ベクトル（一次形式）である。両者の違いは「引き戻し」によって吸収されます。

III. 物理的定義と教育的配慮について

• 直感的な図解（右ねじの法則等）がなく、代数計算ばかりで物理的イメージが湧かない

→ 本書は「図解」ではなく「行列計算」と「矢印ベクトル」によって物理的イメージを形成することを目的としています。たとえば第2章 §2.4 では、面積測定器の内部構造を行列として視覚化することで、ウェッジ積の交代性が「引き算」として現れることを示しています。これが本書における「イメージ」です。

• 「ベクトル解析は間違いだ」とするのは物理学の歴史に対する誤解だ

→ 本書は「ベクトル解析は間違いだ」とは一言も述べていません。第8章では、ベクトル解析の定理（ガウス・ストークス・グリーン）を微分形式の積分定理の特殊ケースとして再導出しており、両者が等価であること（翻訳可能であること）を示しています。第12章では、この翻訳を代数的に完全自動化します。

• 内容は既存の数学書に書かれており、著者の独自研究ではない

→ その通りです。この流儀自体は Burke や Flanders の先行例があり、数値計算の分野でも見られるアプローチです。意外と和書がなかったため筆者が書いたに過ぎず、新規性を主張する気はありません。本書が立っている巨人たちの肩については「参考文献」を参照してください。

• ホッジ・スター $\ast$ は計量と空間の向きに依存するのに、単なる「次数反転」として扱いすぎではないか

→ 第6章 §6.3 で $\ast$ の定義は計量 $\mathbf{g}$ に依存することを明示しています。直交デカルト座標（$\mathbf{g}=I$）では $\ast(dx)=dy\wedge dz$ という簡潔な辞書になるが、直交曲線座標では $\ast$ の係数が場所の関数になることを第8章 §8.6 と第9章で具体的に示しています。

• マクスウェル方程式の微分形式表示において、単位系の正規化・符号規約・計量の符号が曖昧ではないか

→ 第10章 §10.1 で $w=ct$ と $\mathbf{B}'=c\mathbf{B}$ による次元の正規化を明示し、§10.3 でミンコフスキー計量の符号規約を定義し、§10.2 の注で $F_{\mu\nu}$ の符号規約を明記し、§10.6 で $F=-d\mathcal{A}$ の規約を宣言しています。§10.5 の注では $\mathcal{J}$ の正規化が標準的な相対論的記法と係数が異なる場合があることも注記しています。

• $dx$ の行列表現 $\begin{pmatrix}1&0&0\end{pmatrix}$ は座標変換後に同じ行列として残るわけではない

→ 第1章 §1.4 で明示的に扱っています。デカルト座標での $dx = \begin{pmatrix}1&0&0\end{pmatrix}$ は、円柱座標の目盛りでは $\begin{pmatrix}\cos\theta & -r\sin\theta & 0\end{pmatrix}$ に変わる。これが「引き戻し」の具体化であり、座標変換による行列の成分変化を隠さずに正面から見せています。

注（イースター・エッグ）

かつて私は、「ブルバキ」という名前に、聞きかじりの憧れを抱いていました。数学に大きな転換をもたらした存在だということです。ならばそこには、既存の数学書とは違う、何か鋭く新しい言葉があるのだろうと思っていました。

ところが実際に読んでみると、そこにあったのは、私にとってはむしろ見慣れた「大学数学の教科書」の顔でした。もちろん、それはブルバキがつまらなかったということではありません。むしろ逆です。かつて新しかった公理的で構造的な書き方は、ブルバキだけによってではないにせよ、現代数学の標準的な文体の一部として深く定着しています。だからこそ、いまの読者にはそれが「普通」に見えるのでしょう。

そして本書は、その「普通」の顔の前で迷子になる読者のために書かれています。