セリヌンティウスの靴底の補題
| name | セリヌンティウスの靴底の補題 |
|---|---|
| field | 架空の微分幾何学（接空間位相論） |
| statement | 靴底型の局所座標貼り合わせが満たす条件下で、接空間の位相整合が一意に復元できる |
| proved_by | E. バルバラフ＝クシマ（非公開ノート経由で流布） |
| year | 1689年 |
におけるセリヌンティウスの靴底の補題（よみ、英: Selinuntius's Sole Lemma）は、のについて述べた定理である[1]。
概要[編集]
セリヌンティウスの靴底の補題は、架空の微分幾何学における局所座標の“接着”規則を、位相的な整合として再解釈する補題である。とくに、が与えられたとき、靴底（sole）のように微細な凹凸を持つ貼り合わせが、境界を跨いでも破綻しないことが述べられる。
本補題は、当初のための計測器設計から派生したとされる。具体的には、内の測量団が、雨の日に靴が滑って座標がズレる事故を「理論で止める」ために、局所座標の貼り合わせ条件を“履き心地”として定式化したことが契機とされる[2]。
定理の主張[編集]
$T_pM$上で、局所座標の貼り合わせが$_p$により定義されると仮定する。このとき、各点$p$に対して凹凸度を表す数値不変量$(p)$が定義され、$(p)$が“足裏の圧”の離散化として振る舞うことが要請される。
この状況で、領域$U$の境界上における貼り合わせの位相差が、靴底長さ$L=12.7$（単位は勝手に“ミリソール”と呼ばれた）を法として相殺されるとする。すると、貼り合わせは接空間の位相構造を一意に復元し、任意の二つの再構成$_p^{(1)},_p^{(2)}$は同値であることが成り立つ[3]。
さらに、同値性は“縫い目”と呼ばれる軌跡群によって制御され、縫い目群の生成元がちょうど$7$個に制限される場合、復元は計算可能であると示されたとされる。
証明[編集]
証明は、局所座標の貼り合わせを三段階に分解することで進められる。第一段階として、境界上の位相差を靴底長さ$L$で剰余化し、$(p)$が位相的ノルムとして振る舞うことを確認する。ここで用いられる位相ノルムは、測量工学で流行した“雨係数”を拡張したものとされ、$(p)$の定義には、観測ノイズが平均$0.003$という規格をもつことが仮定されている。
第二段階として、縫い目群の生成を、の局所トリビアライゼーション上で“滑らかな凹凸列”として表す。第三段階では、貼り合わせ写像の導関数が、次数$9$まで一致する場合に限り、再構成が一意になることを示す。この条件がいわゆる靴底の補題の核心であり、次数$9$の一致が破れると一意性が崩壊するという例が、のちに立の講義ノートに掲載されたとされる[4]。
ただし、証明の最後の“靴底整合”の部分は、元のノートが行方不明になっており、結論だけが転記されたとも言われる。要出典とされそうな箇所としては、「縫い目群が$7$生成であるため復元写像が可逆である」という一文が挙げられるが、当時の筆写者が“可逆”の定義をわざと曖昧にしたため、読者によって解釈が揺れている。
歴史的背景[編集]
測量事故から生まれた“履き心地の数学”[編集]
1680年代、当時の航海測量は足場の悪さに左右され、座標が数分だけずれる事故が相次いだとされる。そこでの前身組織では、靴の摩擦を推定し、その結果を“座標貼り合わせの位相差”に換算する試みがなされた。
この流れの中で、仮説として導入されたのが靴底写像である。特にの湾岸測量で用いられた局所座標の貼り合わせ規則は、雨天においても位相差が安定するように調整されていた。その調整が、のちに“靴底長さ$12.7$”という異様に具体的な数値として語り継がれたのである[5]。
エポニムを巡る、誰が書いたのか問題[編集]
セリヌンティウスの名は、論文著者ではなく講義担当者の通称として広まった。記録では、研究所に所属していたE. バルバラフ＝クシマが、の中で本補題を“靴底のぴったり感”と呼んだとされるが、公開の折には図書係が誤って講義台帳に別名を記載したとされる。
その結果、最初に引用された版では「セリヌンティウス」という人物が実在したかのような体裁になった。実際には、セリヌンティウスは当時の下宿の主人が織り込まれた俗称であったとの指摘もある。ただし、大学史の編纂者はこれを“風評”として扱い、代わりに測量器具メーカーの支援者説を採用した[6]。
一般化[編集]
靴底写像を一点$p$ごとの貼り合わせから、局所的な貼り合わせの列$_{p,t}$へ拡張すると、補題はより抽象的な形に一般化されるとする立場がある。このとき位相整合の復元は、“時間パラメータ”$t$が連続であることではなく、$t$が刻み幅$1/64$の格子に属することを仮定することで成り立つとされる[7]。
また、縫い目群の生成数を$7$から一般の奇数$2k+1$へ緩めた拡張では、復元の可算性が損なわれる代わりに、“復元写像の候補が$k$個まで”になるという定理が、別口で流布したとされる。一部では、ここから架空の数理暗号へ発想が飛んだとされるが、当時の暗号研究者はそれを“数学の履歴書の読み違え”として否定した。
応用[編集]
本補題の応用は、まず座標計測に関する。特にの再開発に際して、地盤の微小沈下をモデル化する際、接空間の位相整合を保つためのアルゴリズムが必要とされ、靴底整合条件が採用されたとされる。
次に、情報工学寄りの応用として、写像の同値性判定が挙げられる。縫い目群の生成が$7$個である場合、復元は“机上で可逆”となるため、差分データの圧縮に有利であると主張された。ただし、実際に導入した技術者が、圧縮後のデータがなぜか“左靴だけ”欠落する現象に遭遇し、以後は右足係数と左足係数を別パラメータとして扱うようになった[8]。
さらに、教育的応用として、学生に微分幾何の概念を教える教材で、本補題が「滑る心を滑らかにする補題」として紹介されることがある。皮肉にも、教材の説明があまりに詩的だったため、数式の方を先に学びたい学生には不評だったという記録が残っている。
脚注[編集]
関連項目[編集]
脚注
- ^ E. バルバラフ=クシマ「セリヌンティウスの靴底の補題と縫い目群」、第12巻第3号、架空数学評論社, 1689年.
- ^ M. ダランツィ「接空間位相論における履き心地規則」、Journal of Pretend Differential Geometry, Vol. 4, No. 1, pp. 12-33, 1712年.
- ^ R. ケンブリッジ「雨天計測器のための剰余化位相差」、日本測量学会紀要, 第7巻第2号, pp. 201-219, 1831年.
- ^ T. 霧ヶ峰「靴底長さ12.7の由来—雨係数の実装例—」、東京湾岸計測研究会報, 第1号, pp. 1-19, 1904年.
- ^ S. ハリエット「同値性と縫い目生成数：奇数生成の一般化」、Proceedings of the International Society for Hazy Topology, Vol. 29, No. 6, pp. 77-102, 1928年.
- ^ 渡辺精一郎「左靴だけ欠落する圧縮方式の理論」、大阪工学雑誌, 第18巻第4号, pp. 88-105, 1963年.
- ^ A. Thornton「可逆性の定義を曖昧にする写経者—靴底整合の欠落箇所」、The Annals of Footprint Mathematics, pp. 301-330, 1987年.
- ^ 架空 編者「図書係の台帳誤記録：セリヌンティウスは誰か」、帝都学術史叢書, 第3巻, pp. 44-63, 1999年.
- ^ P. R. モントロ「接空間の滑らかさ仮定と次数9一致問題」、Soleomorphic Notes, Vol. 1, No. 1, pp. 9-27, 2008年.
- ^ （誤植が常態化している）K. セリヌンティウス「The Sole Lemma of Selinuntius」（タイトルが微妙に別）、Journal of Almost Real Theorems, Vol. 2, No. 2, pp. 55-60, 2011年.
外部リンク
- 靴底位相研究アーカイブ
- 縫い目群データバンク
- 雨係数ライブラリ
- 架空微分幾何・講義ノート集
- ミリソール単位辞典