レンガ定理
| name | レンガ定理 |
|---|---|
| field | 架空解析学 |
| statement | レンガ格子上の自己整合性は、局所レンガ位相の整列条件と同値である |
| proved_by | 渡辺 精一郎（Watanabe Seiichiro） |
| year | 1887年 |
におけるレンガ定理（よみ、英: Brick theorem）は、のについて述べた定理である[1]。
概要[編集]
レンガ定理は、上で定義されるという性質が、見かけ上は無関係なの整列条件と同値であることを主張する定理である。
この定理は、数学的には「局所→大域」の変換を扱うものであるとされ、建築測量や通信路の配線計画に似た言い回しで語られたため、研究者以外にも「なぜか納得できる」と評されることが多い。
また、定理名が示す通り、当時の学術会議の議事録では「レンガの目地が揃うと、全体のひずみが静まる」といった比喩が頻繁に見られるが、原著では比喩としてではなく解析の比重が与えられているとされる[2]。
定理の主張[編集]
レンガ定理は次のように定式化される。
まず、とは、直交座標系に埋め込まれた長方形タイルの有限集合であって、隣接関係が「目地で接する」条件により与えられるものとして定義される[3]。
次に、レンガ格子上のとは、各目地に割り当てられた符号付き位相値が、格子の境界に沿って一周したときに総和がゼロとなる性質を満たすことと定義される。
一方、とは、各タイルの内部で位相差が「レンガ位相角」θによって調整され、隣接タイル間の差が特定の許容集合に属することを満たす条件である。
このとき、レンガ定理は、自己整合性が局所レンガ位相の整列条件と同値であることを示す定理である[1]。
証明[編集]
渡辺精一郎は証明において、レンガ格子の各目地を頂点に対応させる変換を用い、その上でと呼ばれる手続きを構成した。
交互写像は、格子のチェッカーボード色分けに従って、白マス目地では位相を「足し」、黒マス目地では「引く」操作を行うものであり、境界一周での総和がゼロになる条件に直結するとされた[4]。
続いて証明は、許容集合の構造を精密に調べる段階に入る。この許容集合は、角度θの取りうる値を連続体として扱うのではなく、「分解可能レンガ角」と呼ばれる格子依存の離散列に落とし込むことで、計算量を1,024通りに抑えたと報告されている（原著では1,024＝2^10と明記される）[5]。
最後に、局所整列が成り立つとき、交互写像がレンガ格子の全頂点に対して一定の不変量を保持し、逆にその不変量が境界条件を強制することが示された。
なお、原著の注記では「証明の核心は、レンガの目地を“信号線”として見なすことにある」とされるが、当時はこれが計算手順の隠語だと解釈された[2]。
歴史的背景[編集]
レンガ定理の発端は、明治期の測量技術における「目地ずれ問題」を数学化しようとした試みだと説明されている。
の技師であった渡辺精一郎は、の河川改修計画で、目地単位の積算が累積誤差を増幅させることに気づいたとされる。そこで彼は、誤差を単なる数のズレではなく「位相」として扱う枠組みを導入したと伝えられる。
一方で、研究資金はから出たともされ、課長のは「煉瓦は曲がるが、規則がある」と演説したという[6]。
ただし、実際の研究会記録には、最初の草案が1885年にで紛失したと書かれている。この事件は、保存していた計算用紙が「濡れた煉瓦の匂い」で判別できず、再筆には延べ67日を要したと報告される（出典注では“67日”がやけに具体的である）[7]。
結果として、1887年に論文「レンガ格子の自己整合性と局所位相配列」が第12巻第3号に掲載され、レンガ定理として定着した。編集のは、タイトルに“brick”を入れるべきか議論したが「日本語の比喩が勝った」と記している[8]。
一般化[編集]
レンガ定理は当初、レンガ格子を直交平面内の有限集合に限定していたが、その後へ一般化された。
一般化では、タイルではなくを用い、目地に相当する部分の“接合次元”を1〜3の範囲で変えることで、同値性の成立範囲が拡張されたとされる[9]。
さらに、自己整合性に対応する概念が、境界一周の総和ゼロから、における同型類の安定性へ置き換えられた。ここでは位相差が可換であることを仮定しないため、証明は交互写像の構成を変形させる必要があった。
ただし、最終的に「局所整列条件が同値である」という骨格は維持されたため、レンガ定理の思想は“普遍に近い一致”として扱われるようになったとされる[10]。
応用[編集]
レンガ定理の応用としては、まずへの適用が挙げられる。通信線を目地に見立て、信号位相が自己整合性を満たすように配線を設計すると、全体の干渉が抑えられると説明された。
実務への導入はの試験運用であり、1889年の春に実施された“北関東試験区”で、故障率が月平均で31.7%減少したと報告されている[11]。
この値は当初、統計の出典が曖昧だと批判されたが、追試では対象が17区画で、延べ装置数が4,208台に達したことから再検証が行われたとされる。ただし、原資料の所在は今も不明とされる[12]。
ほかにも、でのレンガ目地の整列計算に応用されたとする説がある。設計者のは、建物外壁の位相整列が歩行者視認性を高めると主張し、結果として“目地が揃う建築”が一時期の流行語になったとされる[13]。
脚注[編集]
関連項目[編集]
脚注
- ^ 渡辺精一郎『レンガ格子の自己整合性と局所位相配列』日本解析学会紀要, 第12巻第3号, 1887年, pp. 201-244.
- ^ A. Thornton『Local Phase Alignment and Boundary Neutrality』Journal of Speculative Mathematics, Vol. 4, No. 2, 1911年, pp. 55-88.
- ^ 佐伯兼治『煉瓦開発課における計測誤差の位相化』工部省技術報告, 第7号, 1886年, pp. 10-39.
- ^ 中村文吉『編集方針と定理命名の力学』学術編集叢書, 第1巻, 1903年, pp. 1-24.
- ^ M. R. Havel『Alternating Maps in Discrete Lattices』Proceedings of the International Congress on Unlikely Topology, Vol. 9, No. 1, 1932年, pp. 301-347.
- ^ 西村直哉『都市景観設計における目地整列の数理』建築数学年報, 第2巻第11号, 1920年, pp. 77-109.
- ^ J. K. Roth『Noncommutative Phase Stability for Multi-Brick Complexes』Transactions of the Imaginary Mathematical Society, 第18巻第4号, 1956年, pp. 901-940.
- ^ 渡辺精一郎『レンガ定理補遺：目地の信号線解釈』日本解析学会紀要, 第13巻第1号, 1888年, pp. 1-12.
- ^ J. L. Patel『A Generalized Brick-Theorem Framework』Annals of Structured Variance, Vol. 22, No. 3, 1979年, pp. 120-158.
- ^ 『自己整合性：実務家のための位相読本（改題版）』文献館出版, 2001年, pp. 33-60.
外部リンク
- レンガ定理アーカイブ
- 架空解析学研究室ポータル
- 日本解析学会紀要（デジタル版）
- 交互写像シミュレーションギャラリー
- 煉瓦目地位相計算ツール