離散幾何学
離散幾何学（りさんきかがく、テンプレート:Lang-en-short）または組合せ幾何学（くみあわせきかがく、テンプレート:Lang-en-short）とは、離散的な幾何的対象についての組合せ的な性質および構成手法について研究する幾何学の一分野である。離散幾何学のほとんどの問題は点、直線、平面、円、球面、多角形などの基本的な幾何的対象の有限または離散的な集合にまつわるものであり、この主題ではそれらが「どのように交叉するか」や「どのようにより大きな対象を被覆しうるのか」といった組合せ的な性質に焦点を当てる。
離散幾何学はテンプレート:仮リンクや計算幾何学と多くを共有するほか、有限幾何学、組合せ最適化、テンプレート:仮リンク、テンプレート:仮リンク、テンプレート:仮リンク、トーリック幾何学、テンプレート:仮リンクとも近い関係にある。
歴史
多面体や図形の敷き詰めはケプラーやコーシーのような人々によって長きにわたって研究されてきたが、現代的な離散幾何学の起源は19世紀後半である。初期に研究されたテーマはテンプレート:仮リンクによる円充填の密度や、テンプレート:仮リンクとシュタイニッツによるテンプレート:仮リンク、ミンコフスキーによるテンプレート:仮リンク、そして、テイト、テンプレート:仮リンク、テンプレート:仮リンクによる地図の彩色だった。
テンプレート:仮リンク、H・S・M・コクセター、ポール・エルデシュが離散幾何学の基礎を築いた[1][2][3]。
トピック
多面体とポリトープ
テンプレート:Main ポリトープ（超多面体）は平坦な縁を持つ幾何的対象である。これは任意の一般の次元数について存在する。多角形は2次元、多面体は3次元、多胞体は4次元のポリトープである。一部の理論ではこの概念がさらに一般化され、非有界な多面体（テンプレート:仮リンクや図形の敷き詰め）やテンプレート:仮リンクのような対象までもが含まれる。
離散幾何学においてポリトープを研究する切り口のいくつかを以下に挙げる。
充填、被覆、敷き詰め
テンプレート:Main 充填、被覆、そして敷き詰めは、いずれも一定の対象（典型的には円、球、タイル）をある規則にしたがって曲面や多様体上に配置する方法である。
球充填はある格納空間の中での互いに重なり合うことのない球の配置である。球は全て同一の大きさであるものと考え、空間は3次元ユークリッド空間であることが普通であるが、異なる球や一般の次元のユークリッド空間（2次元なら円充填、高次元では超球充填）、あるいはテンプレート:仮リンクのような非ユークリッド空間を考慮するように充填問題を一般化することもできる。
平面の敷き詰めとは、重なったり隙間ができたりしないように、タイルと呼ばれる単一または複数の幾何的図形を平面に貼ることである。これも高次元に一般化される。
この領域の具体的なトピックには以下が含まれる。
構造の剛性と柔軟性
構造剛性はリンク機構やヒンジのような関節で連結された剛体の複合物の可動性について説明する組合せ的な理論である。
この領域のトピックには以下が含まれる。
接続構造
接続構造は、その公理的定義に見出せるように、（テンプレート:仮リンク、射影、テンプレート:仮リンクなどの）平面を一般化する。接続構造はそれらの高次元のものについても一般化するものであり、有限の構造は時に有限幾何と呼ばれる。
形式的には、接続構造とは3つ組
のことである。ここで、テンプレート:Mvar は「点」の集合、テンプレート:Mvar は「直線」の集合、そして、テンプレート:Math は テンプレート:仮リンク 関係である。テンプレート:Mvar の元はテンプレート:仮リンクと呼ばれる。また、
であるとき、点 テンプレート:Mvar は直線 テンプレート:Mvar 上にあるという。
この領域のトピックには以下が含まれる。
有向マトロイド
テンプレート:See2 有向マトロイドは、有向グラフの性質や順序体上の線型空間（特にテンプレート:仮リンク）におけるベクトル同士の位置関係の性質を抽象化する数学的構造である[4]。なお、通常の（非有向）マトロイドは、有向とは限らないグラフや順序づけられているとは限らない線型空間におけるベクトル同士の位置関係の性質を抽象化するものである[5][6]。
幾何的グラフ理論
テンプレート:See2 幾何的グラフとは頂点やテンプレート:仮リンクが幾何的対象と関連付けられているグラフのことである。例えば、ユークリッドグラフ、多面体やポリトープの1-テンプレート:仮リンク、テンプレート:仮リンク、テンプレート:仮リンクが挙げられる。
この領域のトピックには以下が含まれる。
単体複体
テンプレート:Main 単体複体とは点、線分、三角形や、それらの高次元版である単体を同じ次元の面で貼り合わせることによって構成される、ある種の位相空間である。より抽象的な概念であり現代的な単体的ホモトピーの理論に現れるテンプレート:仮リンクと混同してはならない。単体複体の純粋に組合せ論的な対応概念はテンプレート:仮リンクである。テンプレート:仮リンクも参照。
位相的組合せ論
テンプレート:See2 位相幾何学に組合せ論の概念を用いた組合せ位相幾何学は、20世紀前半になると代数的位相幾何学へと発展した。
1978年、ラースロー・ロヴァースによるクネーザー予想の証明によって、組合せ論の問題を解くために代数的位相幾何学の手法が用いられるという逆の状況が生じ、新たな位相的組合せ論の研究が始まった。ロヴァースの証明に用いられたテンプレート:仮リンクはこの新しい分野において重要な役割を果たしているほか、多くの等価・類似の命題が存在し、公平分割問題の研究に用いられている。
この領域のトピックには以下が含まれる。
格子と離散群
テンプレート:Main 離散群とは離散位相を備えた群のことであり、この位相により位相群となる。また、ある位相群の離散部分群とは相対位相が離散であるような部分群のことである。例えば、（通常の距離位相を伴う）整数 Z の加法群は実数 R の加法群の離散部分群となるが、有理数 Q の加法群はそうではない。
局所コンパクトな位相群における格子とは商位相空間が有限な不変測度を持つ離散部分群のことである。Rテンプレート:Sup の部分群の特別な場合については、これは通常の幾何的概念としての格子にあたるものであり、格子の代数的構造と全ての格子の全体の幾何に対しての理解が比較的進んでいる。1950年代から1970年代にわたって得られたボレル、テンプレート:仮リンク、モストウ、玉河、テンプレート:仮リンク、マルグリス、テンプレート:仮リンクの深い結果は、種々の例を提示するとともに理論の多くを局所体上の冪零なリー群とテンプレート:仮リンクの設定に一般化した。1990年代にはテンプレート:仮リンクとテンプレート:仮リンクが木格子の研究を創始し、現在も活発な研究分野である。
この領域のトピックには以下が含まれる。
デジタル幾何学
テンプレート:See2 デジタル幾何学では、2Dや3Dのユークリッド空間のオブジェクトをデジタイズした画像やモデルとみなされるような離散集合（多くは離散点集合）を取り扱う。
単純に言えば、デジタイズとはオブジェクトをその点の離散集合に置き換えることである。テレビ画面や新聞で目にする画像も、コンピュータのラスタ表示も、実はデジタル画像なのである。
主な応用領域はコンピュータグラフィクスや画像解析である[7]。
差分幾何学
テンプレート:See2 差分幾何学とは微分幾何学の概念に対応する離散の概念の研究分野である。滑らかな曲線や曲面の代わりに、多角形やメッシュ、単体複体が登場する。コンピュータグラフィクスや位相的組合せ論の研究に用いられる。
この領域のトピックには以下が含まれる。
関連項目
- テンプレート:仮リンク（論文誌）
- 離散数学
- ポール・エルデシュ
脚注
参考文献
- テンプレート:Cite book
- テンプレート:Cite book
- テンプレート:Cite book
- テンプレート:Cite book
- テンプレート:Cite book
- テンプレート:Cite book
- テンプレート:Cite book
- テンプレート:Cite book
- テンプレート:Cite book
- テンプレート:Cite book
テンプレート:数学 テンプレート:Geometry-footer テンプレート:Normdaten
- ↑ テンプレート:Citation
- ↑ テンプレート:Citation
- ↑ テンプレート:Citation
- ↑ Rockafellar 1969. Björner et alia, Chapters 1-3. Bokowski, Chapter 1. Ziegler, Chapter 7.
- ↑ Björner et alia, Chapters 1-3. Bokowski, Chapters 1-4.
- ↑ マトロイドおよび有向マトロイドは他の数学的抽象概念をさらに抽象化したものであるため、ほぼ全ての関連書籍は一般向けではなく数理系の科学者向けに書かれている。
- ↑ Li Chen, Digital and discrete geometry: Theory and Algorithms, Springer, 2014. を参照。