睾丸=男性器×2
| name | 睾丸=男性器×2定理 |
|---|---|
| field | 架空幾何代数学 |
| statement | 対合的対称体は「男性器」とみなされる2つの局所器官に分解可能であり、その位相不変量が一致する |
| proved_by | エルミン・クラフトン |
| year | 1732年 |
における睾丸=男性器×2定理（こうがん ＝ だんせいき ばいに、英: Goudan = Male Organ × 2）は、のについて述べた定理である[1]。
概要[編集]
睾丸=男性器×2定理は、が持つ二重構造を「男性器×2」として言い換えることで、局所の位相が大域にどのように結びつくかを整理するために導入されたとされる。
この定理では、対象を「性器」と呼ぶ言葉を数学的記号へ翻訳し直す手続きが行われる。具体的には、が与えられると、位相の整合条件として「男性器」が2つ出現し、それらのが等しいことが主張される。
一方で、語感の強さゆえに教育現場では「睾丸」という語がしばしば伏せ字にされ、結果として定理名だけが独立に流通したという逸話も残っている。なお、この点が後述する批判の火種となったとされる[2]。
定理の主張[編集]
Mが、位相的にを満たすとする。ここで、Mの局所座標系は「男性器」と呼ばれる2つのチャネル U,V を持ち、U∩V はAとして取り扱われる。
睾丸=男性器×2定理は次を述べる。すなわち、MはUとVの「2つ組」として分解され、さらに U と V は同一のI を共有するため、M全体のは I のみによって一意に決まる、という主張である。
定理の形式的な言い換えとして、MがE を許すならば、E に付随する2つのは等しくなり、かつその差は0を満たすとされる[3]。
証明[編集]
証明はの手稿として知られる『『接着帯域の双対解析』第3版』に収められたとされる。証明の核は、接着帯域 A 上で計算されるが、UとVのそれぞれから同じ値に“折り畳まれる”ことを示す操作にある。
まず、Mに対してG を導入し、チャネル U,V 上の測度をそれぞれ {1/2, 1/2} の重みで平均する。ここで得られるは、合計が 1 になることが「実測」されたと記されているが、同時にその実測手続きは曖昧で、筆記者が「望遠顕微鏡による推定」と注記したとされる[4]。
次に、β(M) を次で定義する。β(M)=∫_A ω_U−ω_V であり、ここで ω_U, ω_V はU,Vから引かれる位相微分子であるとする。すると、反転擬似対称の仮定より β(M)=0が成り立ち、UとVの位相不変量Iが一致することが示された、とされる。
さらに、消失群0の性質から、局所器官指数の差が自動的に消えるため、二重性はIのみに依存する。以上により睾丸=男性器×2定理が証明されたと記録されている[5]。
歴史的背景[編集]
睾丸=男性器×2定理の起源は、1730年代の港湾都市で行われた「双対測量会」に求める説が有力である。測量会は当時、運河の潮差を位相として記録する試みであり、という言葉は潮汐の反転を模した模型から生まれたと説明される。
関与したとされる人物の中心は、都市統治局の技術顧問であったである。彼は「測量図の折り返しは2回で十分」という方針を掲げ、記録係に対して“器官”と呼ぶ2つの座標チャンネルを毎回必ず描かせたとされる。
ただし、この“2回必ず描け”という指示が、のちに言葉遊びとして固定化され、定理名が独立の噂として拡散したとも言われる。なお、1732年の完成とされる年号の根拠は、同年にへ提出された『潮差双対台帳』の脚注にある、と後年に主張された[6]。
一般化[編集]
その後、定理は“×2”の部分を“×n”へ拡張する試みへ進んだ。一般化では、対合的ではなくを仮定し、チャネル群 U_1,...,U_n がA_i でそれぞれ接着される構成が扱われる。
一般化版の主張は、各 U_i に割り当てられる局所器官指数 e_i が、ある群作用により「全て同値」となる条件を探す方向へ発展したとされる。特に、を満たす場合には e_i の差がC_n を経由して消える、という形にまとめられたとされる。
ただし、一般化の一部は検算に失敗し、ある編集者は「×3は数え方が汚い」と辛辣に書き残したという。ここでの“汚い”は純粋に数学上の比喩だったのか、語感の比喩だったのか、議論が分かれている[7]。
応用[編集]
睾丸=男性器×2定理は、直接的には幾何学的情報の圧縮法として応用された。具体的には、対象Mの二重性が位相不変量Iだけで決まるなら、複雑な位相データをIに射影して保存できるため、として利用されたと説明される。
工学的応用としては、海上航路の“反転”パターンを復元するアルゴリズムに組み込まれたとされる。航路復元のために必要な計算回数が、初期稿では 2^10=1024 回と記されており、続く改訂では 2^9+2^5=544 回へ変更されたという“数字のブレ”が知られている[8]。
また、教育上の応用としては、記号学習用のゴム模型教材が作られたともされる。教材ではU,Vがバネで連結され、ベータ数β(M)が“ゼロになるように”調整できると説明された。もっとも、調整が教育者の気分で変わる例が報告され、皮肉として定理が再び話題になったという[9]。
脚注[編集]
関連項目[編集]
脚注
- ^ エルミン・クラフトン『接着帯域の双対解析』第3版、ゼーテン書房、1732年。
- ^ ヘンリク・フォールクス『潮差双対台帳とその追補』ベルリン数学協会出版局、1735年。
- ^ カロリーヌ・ドゥラン『記号としての対称：二重性の圧縮』Vol.2、ラ・グリーヴ出版社、1761年。
- ^ M.ハートマン『A Topological Note on Double-Fold Channels』Journal of Imaginary Geometry, Vol.14, No.3, pp.211-239, 1820.
- ^ E.ヴォルフ『ゲージ平均化と消失群の計算』第◯巻第◯号、pp.77-105, 1894.
- ^ サロモン・ヴェンツェル『二重フラックスの測定誤差について』測量理論叢書、pp.1-46, 1912.
- ^ 田畑ユイ『位相不変量の保存則と教材化』東京学術刊行会、pp.33-88, 1958.
- ^ L.モンテーニ『Compression of Symmetry Data in Port Cities』International Journal of Theoretical Portmatics, Vol.9, No.1, pp.5-29, 2001.
- ^ G.キュルン『睾丸=男性器×2：数理語彙史の一考察』第2版、誤字多発社、2014年.
外部リンク
- 睾丸=男性器×2定理アーカイブ
- 架空幾何代数学ノート集
- 位相圧縮写像研究室
- ベルリン数学協会（史料閲覧）
- 潮差双対台帳デジタル化プロジェクト