查看“︁离散几何学”︁的源代码

{{Rough translation|time=2022-03-29T23:13:22+00:00}}

[[File:Unit_disk_graph.svg|右|缩略图|集合的[[圆]]和相应的单位圆盘图]]
'''离散几何'''和'''组合几何'''是研究离散几何对象的组合性质和构造方法的[[几何学]]的分支。离散几何的大多数问题涉及到基本几何对象的[[有限集合]]或[[离散空间]]，比如[[点]]，[[直线|线]]，[[平面 (数学)|平面]]，[[圆]]，[[球体|球]]，[[多边形]]和四维空间。这个主题集中在这些对象的组合属性上，比如他们怎样与另一个相交，或者，它们如何被安排来涵盖一个更大的对象。

离散几何与凸几何和[[计算几何]]有很大的重叠部分，与下列学科密切相关，如[[有限幾何學|有限几何]]，[[组合优化]]，数字几何， 离散微分几何，几何图论，复曲面几何和组合拓扑。

== 历史 ==
尽管[[多面体]]和[[密鋪|分割]]已经被像[[约翰内斯·开普勒|开普勒]]和[[奧古斯丁·路易·柯西|柯西]]这样的大数学家等人研究了多年，现代离散几何却源于19世纪后期。早期的研究主题是：阿克塞尔·图厄研究的半群问题, 雷耶和[[Ernst Steinitz|斯坦尼茨]]研究的射影配置 、[[赫尔曼·闵可夫斯基]]研究的[[几何数论]]，及泰特，希伍德和Hadwiger研究的[[四色定理]]。

拉斯洛*Fejes Tóth, [[哈罗德·斯科特·麦克唐纳·考克斯特|H.S.M.考克斯特]]和[[埃尔德什·帕尔]]，奠定了''离散几何''的基础。
<ref name = "Intuitive">{{Citation
 | last = Pach
 | first = János
 | author-link = 
 | title = Intuitive Geometry, in Memoriam László Fejes Tóth
 | publisher = Alfréd Rényi Institute of Mathematics
 | year = 2008
 | url = http://www.renyi.hu/conferences/intuitiv_geometry/
 | display-authors = etal
 | accessdate = 2018-03-18
 | archive-date = 2021-04-21
 | archive-url = https://web.archive.org/web/20210421210457/https://www.renyi.hu/conferences/intuitiv_geometry/
 }}</ref><ref>
{{Citation
 | last = Katona
 | first = G. O. H.
 | author-link =
 | author2-link =
 | title = Laszlo Fejes Toth – Obituary
 | journal = Studia Scientiarum Mathematicarum Hungarica
 | volume = 42
 | issue = 2
 | pages = 113
 | date =
 | origyear =
 | year = 2005
 | month =
 | url =
 | jstor = }}
</ref><ref name = "DiscreteGeom1">
{{Citation
 | first = Imre
 | last = Bárány
 | author-link = Imre Bárány
 | author2-link =
 | editor-last = Horváth
 | editor-first = János
 | contribution = Discrete and convex geometry
 | contribution-url =
 | title = A Panorama of Hungarian Mathematics in the Twentieth Century, I
 | year = 2010
 | pages = 431–441
 | place = New York
 | publisher = Springer
 | url =
 | isbn = 9783540307211
 | id = }}
</ref>

== 离散几何的主题 ==
=== 多面体 ===
'''多面体'''是一个有几个平面的几何对象，它存在于任何一般的维数。 [[多边形]]可以是来自二维的多面体， 三维甚至更高维的[[多面体]](例如在四的维空间上的&nbsp;4-多面体&nbsp;)。一些理论进一步推广这样的想法包括无限多面体(apeirotopes和[[密鋪|分割]])，和抽象多面体。

以下是离散几何中多面体研究的某些方面：
* 多面体组合
* 凸晶格多面体
* 埃尔哈特多项式
* [[皮克定理]]
* 赫希猜想

=== 包装、覆盖和平铺 ===
包装、覆盖，平铺，是以一个规则的方式在平面或多面上安排统一对象的所有方式(典型的有圈，圆域，或铺)。

'''球体包装'''是在容纳空间内的非重叠球体的排列。所考虑的圆域通常是规模一致、且该空间通常是三[[維度|维]][[欧几里得空间|欧几里德空间]]。然而，球体包装问题可以大致地被认为是不平衡域，像''n维''-欧几里德空间(在那里，问题变成二维的圈包装，或更高维的超球空间)，或[[非欧几里得几何|非欧几里德]]空间，例如双曲空间。

平坦面上的'''镶嵌'''是用一个或多个几何形状以没有重叠和间隙的方式来分割平坦的曲面，称为“铺”。在[[数学]]中，镶嵌可以推广到更高维。

该领域的具体主题还包括：
* 圆包装
* [[最密堆积]]
* [[克卜勒猜想]]
* [[准晶体]]
* 非周期性平铺
* 周期图（几何）
* 有限的细分规则

=== 结构刚性和柔性 ===
[[File:Structural_rigidity_basic_examples.svg|缩略图|150x150像素|图表绘制通过旋转铰链相连的杆连接。 该循环图 C<sub>4</sub>&nbsp;（由蓝色箭头表示）形成一个方形可被压成一个平行四边形，因此它是一个柔性图。 K<sub>3（由红色箭头表示）</sub>，为一个三角形，任何力量作用于它都不能改变它的形状，因此它是一个刚性图。]]
'''结构刚性'''是[[组合数学]]的分支，预测由若干個灵活的连杆结构或铰链连接而成的物体，形狀灵活可變抑或固定。

该主题包括：
* 柯西定理
* [[柔性多面体]]

=== 關聯結構 ===
<!-- https://www.google.co.uk/books/edition/%E8%8B%B1%E6%B1%89%E6%95%B0%E5%AD%A6%E8%AF%8D%E6%B1%87/nduYtmyywcUC?hl=en&gbpv=1&pg=PA333&printsec=frontcover&bsq=incidence -->
[[File:Fano_plane_with_nimber_labels.svg|右|缩略图|150x150像素|在Fano面中七个点是七条线的元素，一个關聯結構的例子。]]

關聯结构形成平面(如仿射、[[射影平面]]、有限反演平面)正如从公理的定义中看到的那样。 關聯的结构还形成了更高维的类似物和有时被称为[[有限幾何學|有限几何]]的有限结构。

从形式上看，一个'''關聯结构'''是一个三元組
:<math>C=(P,L,I),</math>

其中''P''是「点」集，''L''是「线」集，<math>I \subseteq P \times L</math>是點與線之間的{{le|重合 (幾何)|Incidence (geometry)|重合}}关系。I中的元素称为[[標記 (幾何)|標記]]。若
:<math>(p,l) \in I,</math>
則稱点''p''「位于」线''l''上。

主题延伸：
*{{le|構形|Configuration (geometry)}}
*{{le|直線佈置|Arrangement of lines}}
*{{le|超平面佈置|Hyperplane arrangements}}<!-- https://www.google.co.uk/books/edition/%E8%8B%B1%E6%B1%89%E6%95%B0%E5%AD%A6%E8%AF%8D%E6%B1%87/nduYtmyywcUC?hl=en&gbpv=1&pg=PA323&printsec=frontcover&bsq=%20hyperplane%20arrangement -->
*{{le|廈|Building (mathematics)}}<!--https://www.google.co.uk/books/edition/%E8%8B%B1%E6%B1%89%E6%95%B0%E5%AD%A6%E8%AF%8D%E6%B1%87/nduYtmyywcUC?hl=en&gbpv=1&pg=PA76&printsec=frontcover&bsq=Building -->

=== 面向阵 ===
&nbsp;'''面向阵''' 是一个提取了有向图的抽象属性和[[向量空间]]上的矢量在[[有序域]] (尤其是有序的矢量空间)上的排列的数学结构。<ref>[[Rockafellar]] 1969. Björner et alia, Chapters 1-3. Bokowski, Chapter 1. Ziegler, Chapter 7.</ref> 比较而言，一个普通(即非定向的)[[拟阵]]提取了[[线性无关]]属性，两者在[[图 (数学)|图]]上不一定具有导向性，在矢量域的排列上，不一定''有序''的。<ref>Björner et alia, Chapters 1-3. Bokowski, Chapters 1-4.</ref><ref>Because matroids and oriented matroids are abstractions of other mathematical abstractions, nearly all the relevant books are written for mathematical scientists rather than for the general public. For learning about oriented matroids, a good preparation is to study the textbook on [[linear optimization]] by Nering and Tucker, which is infused with oriented-matroid ideas, and then to proceed to Ziegler's lectures on polytopes.</ref>

=== 几何图论 ===
'''几何图''' 是一个由[[顶点 (图论)|顶点]]和[[图论术语|边缘]]连接而成的与几何学相关的[[几何学|图]]。实例包括欧几里德图，1-骨架 的[[多面体]]或[[多胞形]]，相交图以及可视性图。

主题延伸：
* 图表绘制
* 多面图
* [[沃罗诺伊图]] 与 [[德勞內三角化|德劳内三角化]]

=== 单纯复形 ===
'''单纯复形'''属[[拓扑空间]]的一种，将&nbsp;[[点]]，[[线段]]，[[三角形]]“粘合在一起”建造起来，形成&nbsp;[[单纯形|''n''-维的对应方]] (见图)。 不要将单纯复形与现代单纯同伦论中出现的更抽象的概念[[单纯集合]]混淆。单纯复形的纯粹的组合对应是一个抽象的单纯复形。

=== 拓扑组合 ===
拓扑组合学采用[[拓扑学]]中组合的概念，并在20世纪初期并入到[[代数拓扑]]的领域。

在1978年，当[[洛瓦茲·拉茲洛]]证明Kneser猜想的时候，用代数拓扑解决组合数学问题的方法的情况逆转，因而开始'''拓扑组合'''新的研究。洛瓦茲在[[博苏克－乌拉姆定理|博苏克-乌拉姆定理]]使用了这个理论且该理论在该新领域保留着关键性的作用。这个定理有许多相关版本及类似物且已被用于[[公平分配博弈|公平分割分配]]的研究中。

主题延伸：
* 斯内尔定理
* 定期地图（图论）

=== 格和离散组 ===
一个'''离散组'''是一个装有离散的拓扑结构的群&nbsp;''G''&nbsp;。在该拓扑下，G成为一个[[拓扑群]]。 一个拓扑群G的'''离散组'''是一个[[子群]]''H''，其[[相對化拓撲|相对化拓扑]]（子空间拓扑）是分立的。例如，[[整数]]'''Z'''，形成离散子群[[实数|实]]'''R''' (在[[度量空间]]的标准下)，但有理数'''Q'''做不到这样。

局部紧致[[拓扑群]]的格是一个[[離散群|离散群]]，其[[商空间]]具有有限不变量。特殊的集群例子&nbsp;'''R'''<sup>''n''</sup>，它相当于通常的几何概念的一个格，格的代数结构和几何整体的所有格二者都比较好理解。阿尔芒波莱尔, 哈里什 - 钱德拉，乔治·丹尼尔·莫斯托，[[玉河恒夫]]，M. S. Raghunathan，格列戈里·马尔古利斯，罗伯特·杰弗里·齐默等人从20世纪50年代至20世纪70年代提供的案例和形成的众多理论中获得更深的结论来在局部域设置[[幂零]][[李群]]和[[約化群|约化群]]。在20世纪90年代，海曼·贝斯和 Alexander Lubotzky 开始研究''树格，该领域至今''是一个活跃的研究领域。

主题延伸：
* 反射群体
* 三角团

=== 数字几何 ===
'''数字几何'''处理[[离散空间]]组(通常是分散[[点]]集)被认为是[[欧几里得空间|欧几里德空间]]的2D或3D数字化的模型或图片的对象。

简单地说，'''数字化'''正在用一组离散的点来替代事物。我们从电视屏幕上看到的图像， 计算机或者报纸上的光栅显示，都是实际上的[[數碼|数字]]图像。

其主要应用领域是[[计算机图形]]和[[图像分析]]。  <ref>See [https://www.springer.com/us/book/9783319120980 Li Chen, Digital and discrete geometry: Theory and Algorithms, Springer, 2014. ] {{Wayback|url=https://www.springer.com/us/book/9783319120980 |date=20170214005705 }}</ref>
=== 离散微分几何 ===
'''离散微分几何'''是研究微分几何里离散变换的概念。有多边形， 网格，和[[单纯复形]]，而不是光滑的曲线和曲面，它被用在[[计算机图形]]和拓扑组合的研究中。

相关主题：
* 分立拉普拉斯算子
* 离散的微积分的外观
* 离散莫尔斯理论
* [[拓扑组合]]
* 光谱形状分析
* 抽象微分几何
* 分形分析

== 其他 ==
* ''离散和计算几何（期刊）''
* [[离散数学]]
* [[埃尔德什·帕尔]]

== 注释 ==

== 参考文献 ==
* {{Cite book|title=Discrete geometry: in honor of W. Kuperberg's 60th birthday|url=https://archive.org/details/discretegeometry0000unse|last=Bezdek, András,|publisher=Marcel Dekker|year=2003|isbn=0-8247-0968-3|location=New York, N.Y}}
* {{Cite book|title=Classical Topics in Discrete Geometry|last=[[Károly Bezdek|Bezdek, Károly]]|publisher=Springer|year=2010|isbn=978-1-4419-0599-4|location=New York, N.Y}}
* {{Cite book|title=Lectures on Sphere Arrangements - the Discrete Geometric Side|last=[[Károly Bezdek|Bezdek, Károly]]|first=Károly|authorlink=Károly Bezdek|last2=Deza|first2=Antoine|last3=Ye|first3=Yinyu|publisher=Springer|year=2013|isbn=978-1-4614-8117-1|location=New York, N.Y}}
* {{Cite book|title=Discrete Geometry and Optimization|last=Bezdek|first=Károly|authorlink=Károly Bezdek|last2=Deza|first2=Antoine|last3=Ye|first3=Yinyu|authorlink3=János Pach|publisher=Springer|year=2013|isbn=978-3-319-00200-2|location=New York, N.Y}}
* {{Cite book|title=Research problems in discrete geometry|last=Brass|first=Peter|authorlink=János Pach|last2=Moser|first2=William|last3=Pach|first3=János|authorlink3=János Pach|publisher=Springer|year=2005|isbn=0-387-23815-8|location=Berlin}}
* {{Cite book|title=Combinatorial geometry|url=https://archive.org/details/combinatorialgeo0000pach|last=Pach|first=János|authorlink=János Pach|last2=Agarwal|first2=Pankaj K.|publisher=Wiley-Interscience|year=1995|isbn=0-471-58890-3|location=New York}}
* {{Cite book|title=Handbook of Discrete and Computational Geometry, Second Edition|last=[[Jacob E. Goodman|Goodman, Jacob E.]] and O'Rourke, Joseph|first=Peter M.|authorlink=Peter M. Gruber|publisher=Chapman & Hall/CRC|year=2004|isbn=1-58488-301-4|location=Boca Raton}}
* {{Cite book|title=Convex and Discrete Geometry|last=Gruber|first=Peter M.|authorlink=Peter M. Gruber|publisher=Springer|year=2007|isbn=3-540-71132-5|location=Berlin}}
* {{Cite book|title=Lectures on discrete geometry|last=Matoušek, Jiří|publisher=Springer|year=2002|isbn=0-387-95374-4|location=Berlin}}
* {{Cite book|title=Excursions into Combinatorial Geometry|url=https://archive.org/details/excursionsintoco0000bolt|last=[[Vladimir Boltyanski]], [[Horst Martini]], Petru S. Soltan,|publisher=Springer|year=1997|isbn=3-540-61341-2}}

== 外部連結 ==
{{应用数学}}

[[Category:離散幾何]]