查看“WikiEdge:ArXiv-1608.06354”的源代码

* '''标题'''：Meissner Polyhedra
* '''中文标题'''：迈斯纳多面体
* '''发布日期'''：2016-08-23 01:29:42+00:00
* '''作者'''：Luis Montejano, Edgardo Roldán-Pensado
* '''分类'''：math.MG
*'''原文链接'''：http://arxiv.org/abs/1608.06354v2
'''摘要'''：在本文中，我们提出了一种具体的方法来构造三维常宽体。它们是由自对偶图的特殊嵌入构造的。

== 问题与动机 ==
作者的研究问题与动机包括：
* 如何在[[三维空间]]中构造具有恒定宽度的立体？
* 已知[[二维空间]]中存在多种构造恒定宽度曲线的方法，但高维类比的构造方法尚不明确，作者试图填补这一空白。
* 探索三维空间中是否存在具体的、有限的构造过程来生成具有恒定宽度的立体。
* 研究特殊的[[自对偶图]]嵌入如何用于构造三维恒定宽度立体。
* 探讨三维空间中[[Reuleaux多面体]]的性质，以及如何通过修改这些多面体的边来构造具有恒定宽度的立体。
* 验证通过修改Reuleaux多面体的边所得到的立体是否确实具有恒定的宽度。
* 研究[[Meissner立体]]的性质，以及它们在三维空间中恒定宽度立体中的位置。
* 探索三维恒定宽度立体的[[几何特性]]，以及它们在[[离散几何]]问题中的应用。
* 研究三维Reuleaux多面体的自对偶图的性质，以及如何通过这些图的嵌入来构造Meissner立体。
* 探索三维恒定宽度立体的体积最小化问题，以及Meissner立体在解决[[Blaschke-Lebesgue问题]]中的潜力。

== 背景介绍 ==
这篇文献的背景主要集中在以下几个方面：
# '''常宽体和其性质的历史回顾'''：
#* [[常宽体]]和其性质已经被研究了数个世纪。[[莱昂哈德·欧拉]]（Leonhard Euler）在研究中将它们称作“orbiforms”，并对常宽曲线进行了研究，这些曲线的边界可以表示为一个内摆线的渐开线。
#* 约一百年后，即1875年，[[弗朗茨·吕洛]]（Franz Reuleaux）在他的运动学书籍中提到了常宽曲线，并给出了一些例子。他还给出了一种可能是最简单的非圆形常宽曲线的构造方法，这种曲线现在以他的名字命名。
#* 尽管我们知道许多构造常宽曲线的方法，但对于它们的高维类比来说，情况并非如此。
# '''高维常宽体的构造方法'''：
#* 根据[[帕尔定理]]（Pál's theorem），我们知道在\( \mathbb{R}^n \)中直径为1的任何子集都包含在一个常宽体中。
#* [[Sallee]]和[[Lachand]]与[[Outdet]]等人给出了非构造性的方法来找到它们，但除了两个[[Meissner]]实体和明显的旋转体常宽体外，在文献中没有具体的常宽体的例子，也没有具体的有限程序来构造一个大于2维的常宽体。
# '''球面多面体的研究'''：
#* 本文的主要目标是研究有限多个全等球体相交的几何特性。球面多面体是离散几何中几个重要问题的研究对象，例如[[Grübaum-Heppes-Straszewicz定理]]关于\( \mathbb{R}^3 \)中有限点集直径的最大数量，[[Kneser-Poulsen猜想]]，有限点集的[[Borsuk猜想]]的证明，以及三角化球面多面体的Cauchy刚性定理的类比。
#* 球面多面体的边界点可以是奇异的或规则的，奇异点又可以细分为0-奇异点和1-奇异点。
#* 球面多面体的面定义为\( S(x, h) \cap \Phi \)，其中\( x \in X \)。
#* 一个三维球面多面体\( \Phi \)是标准的，如果任意两个面的交集要么是空的，要么是\( G_\Phi \)的一个顶点或一条边。
#* 一个三维球面多面体的图\( G_\Phi \)是简单、平面和3-连通的，并且满足欧拉-泊松公式\( v - e + f = 2 \)。
# '''Reuleaux多面体的定义和性质'''：
#* Reuleaux多面体定义为满足特定性质的凸体，例如存在一个集合\( X \subset \mathbb{R}^n \)使得\( \Phi = \bigcap_{x \in X} B(x, h) \)，\( \Phi \)是一个标准球面多面体，且\( \Phi \)边界的0-奇异点集合\( V(\Phi) \)是\( X \)。
#* 在二维中，Reuleaux多面体正是Reuleaux多边形，而在更高维度中，Reuleaux多面体不是常宽体。
#* 三维Reuleaux多面体将是构造三维常宽体的关键。
#* 一个重要的性质是，对于\( X \)中的每一对点\( x, y \)，距离\( d(x, y) \leq h \)且当且仅当\( x \)在\( y \)的对偶面中时，\( d(x, y) = h \)。
综上所述，这篇文献的背景强调了[[常宽体]]的历史研究、高维常宽体的构造方法、[[球面多面体]]的几何特性，以及[[Reuleaux多面体]]的定义和性质，为进一步研究三维常宽体提供了理论基础和构造方法。

== 章节摘要 ==
这篇论文是关于三维空间中[[恒宽体]]的构造方法的研究，主要内容包括：
# 引言和预备知识
## 介绍了恒宽体的概念，历史上[[L. Euler]]和[[Franz Reuleaux]]对恒宽体的研究。
## 讨论了恒宽体在不同[[维度]]的构造方法，以及文献中缺乏具体的构造例子。
## 提出了本文的目标：构造三维恒宽体的具体例子。
# [[球面多面体]]
## 研究了有限多个全等[[球体]]相交的几何特性。
## 定义了球面多面体，并讨论了其边界点的分类。
## 提出了标准球面多面体的概念，并证明了其图是简单、平面和3-连通的。
# [[Reuleaux多面体]]
## 定义了Reuleaux多面体，并讨论了其性质。
## 证明了Reuleaux多面体的图是自对偶图，并讨论了其嵌入性质。
# [[Meissner多面体]]
## 描述了通过在Reuleaux多面体的自对偶图的每对对偶边上进行“手术”来构造Meissner多面体的过程。
## 提出了Meissner多面体的定义，并证明了通过上述手术得到的表面是恒宽体的边界。
# 从Reuleaux多边形构造恒宽体
## 描述了从二维Reuleaux多边形构造三维恒宽体的具体步骤。
## 使用[[Voronoi图]]和[[Delaunay三角剖分]]来构造Meissner多面体。
# 致谢
## 感谢[[CONACYT]]项目166306和[[PAPIITT-UNAM]]项目IN112614对本研究的支持。

== 研究方法 ==
这篇论文通过构造特殊的[[自对偶图]]嵌入，开发了一种具体的方法来构造三维的[[恒宽体]]。以下是该研究方法论的主要组成部分：
# '''自对偶图嵌入'''：
#* 利用自对偶图的特殊嵌入来构造三维恒宽体。
#* 通过嵌入的自对偶图的顶点和边来定义恒宽体的边界。
#* 引入自对偶图的对偶面的概念，用于构造恒宽体的表面。
# '''球面多面体研究'''：
#* 研究了有限多个全等[[球体]]的交集的几何特性，即[[球面多面体]]。
#* 探讨了球面多面体的边界点的分类，包括奇异点和规则点。
#* 描述了球面多面体边界的图嵌入结构，包括顶点、边和面。
# '''三维恒宽体构造'''：
#* 通过在自对偶图的每对对偶边上执行“手术”来构造三维恒宽体。
#* 证明了通过这种构造方法得到的表面是恒宽体的边界。
#* 利用了[[Pál定理]]来证明恒宽体的存在性。
# '''Reuleaux多面体定义'''：
#* 定义了[[Reuleaux多面体]]作为满足特定条件的凸体。
#* 描述了Reuleaux多面体的自对偶图属性。
#* 证明了Reuleaux多面体的自对偶图是简单、平面和3-连通的。
# '''Meissner多面体构造'''：
#* 将[[Meissner多面体]]定义为通过在Reuleaux多面体的自对偶图的每对对偶边上执行“手术”得到的恒宽体。
#* 描述了Meissner多面体的构造过程，包括替换边界上的弧段。
#* 证明了Meissner多面体的表面是恒宽体的边界。
# '''从Reuleaux多边形构造恒宽体'''：
#* 利用[[Reuleaux多边形]]的[[Voronoi图]]和[[Delaunay三角剖分]]来构造三维恒宽体。
#* 描述了从Reuleaux多边形到三维恒宽体的构造过程，包括确定恒宽体的底部。
#* 证明了通过这种构造方法得到的三维体是Meissner多面体。
这篇论文的方法论分析结果表明，通过自对偶图的特殊嵌入和对Reuleaux多面体进行“手术”，可以构造出三维的恒宽体，这为理解和设计具有特定几何特性的三维结构提供了一种新的方法。

== 研究结论 ==
根据提供的文献内容，这篇论文的主要结论可以概括如下：
# '''三维常宽体的构造方法'''：论文提出了一种具体的方法来构造[[三维常宽体]]，这些常宽体是通过特殊嵌入的[[自对偶图]]来构造的。
# '''球多面体的几何特性'''：研究了有限多个全等[[球]]的交集的[[几何特性]]，这些[[球多面体]]是[[离散几何]]中的重要对象。
# '''三维球多面体的标准定义'''：证明了[[三维球多面体]]的标准定义下的图是简单、平面和3-连通的。
# '''欧拉-泊松公式的应用'''：对于任何[[三维球多面体]]，使用[[欧拉-泊松公式]]计算其顶点、边和面的关系。
# '''Reuleaux多面体的定义和性质'''：定义了[[Reuleaux多面体]]，并讨论了其性质，包括它是如何通过嵌入[[自对偶图]]来构造的。
# '''Meissner多面体的构造和性质'''：提出了通过在[[Reuleaux多面体]]的自对偶图的每一对对偶边上进行手术来构造[[Meissner多面体]]的方法，并证明了所得表面是[[常宽体]]的边界。
# '''从Reuleaux多边形构造常宽体的有限过程'''：描述了一种使用[[Voronoi图]]和[[Delaunay三角剖分]]从[[Reuleaux多边形]]构造[[三维常宽体]]的有限过程。
# '''Meissner多面体与Meissner实体的关系'''：证明了每个[[Meissner多面体]]都是[[Meissner实体]]，并且可以近似任何[[三维常宽体]]。
# '''Blaschke-Lebesgue问题的最小化体积'''：讨论了[[Blaschke-Lebesgue问题]]，并证明了最小化体积的凸体总是[[Meissner实体]]。
这些结论为理解和构造[[三维常宽体]]提供了重要的理论基础和方法指导。

== 术语表 ==
这篇文章的术语表如下：
* [[常宽体]]（Constant width bodies）：在三维空间中，从特殊嵌入的自对偶图构造的具有恒定宽度的实体。
* [[球多面体]]（Ball polyhedra）：通过有限数量的全等球体相交形成的几何形状。
* [[Reuleaux 多面体]]（Reuleaux polyhedra）：满足特定条件的凸体，如由一组点定义的球体的交集，并且是标准球多面体。
* [[Meissner 多面体]]（Meissner polyhedra）：通过在Reuleaux多面体的自对偶图的每对对偶边上进行手术得到的常宽体。
* [[自对偶图]]（Self-dual graphs）：在三维空间中具有特殊嵌入的图，其中每个顶点与其对偶面的距离等于一个常数。
* [[0-奇异点]]（0-singular points）：在球多面体边界上，使得包含该点的球体集合中的所有球体都包含该点的点。
* [[1-奇异点]]（1-singular points）：在球多面体边界上，使得包含该点的球体集合的交集中至少有两个点并且位于某个大圆上的点。
* [[标准球多面体]]（Standard ball polyhedra）：如果两个面的交集为空、GΦ的顶点或GΦ的单一边，则称三维球多面体Φ为标准球多面体。
* [[Reuleaux 多边形]]（Reuleaux polygons）：在二维空间中，由一组点定义的球体的交集形成的Reuleaux多面体。
* [[Voronoi图]]（Voronoi diagram）：对Reuleaux多边形进行最远点Voronoi图划分，将多边形分解为包含相应圆弧的凸多边形。
* [[Delaunay 三角剖分]]（Delaunay triangulation）：Reuleaux多边形的最远点Delaunay三角剖分，形成一组子集，其凸包划分了多边形。
* [[Blaschke-Lebesgue问题]]（Blaschke-Lebesgue problem）：在固定常宽的凸体类中最小化体积的问题。
* [[Meissner 实体]]（Meissner solids）：具有常宽的三维实体，其边界的平滑部分具有恒定的次要主曲率。
* [[球体]]（Spheres）：以特定点为中心，所有点到中心的距离相等的几何形状。
* [[对偶面]]（Dual faces）：在自对偶图中，与顶点相对的面，由球体的交确定。
* [[奇异点]]（Singular points）：在球多面体边界上，不符合规则点定义的点。
* [[规则点]]（Regular points）：在球多面体边界上，满足特定条件的点，如在某个球体的表面上。
* [[球面凸集]]（Spherically convex）：在球体表面上的凸集，即在球体表面上的凸形状。
* [[二项式和公式]]（Euler-Poincaré formula）：对于任何具有v个顶点，e条边和f个面的三维球多面体，公式为v - e + f = 2。

== 参考文献 ==
这篇文章的主要参考文献如下：
* [BF34] T. Bonnesen and W. Fenchel, Theorie der konvexen K¨orper, Springer-Verlag, 1934.
** 为本文提供了凸体理论的基础。
* [CG83] G. D. Chakerian and H. Groemer, Convex bodies of constant width, pp. 49–96, Birkh¨auser Basel, Basel, 1983.
** 提供了常宽凸体的系统性研究。
* [KMP10] Y. S. Kupitz, H. Martini and M. A. Perles, Ball polytopes and the V´azsonyi problem, Acta Math. Hungar. 126 (2010), no. 1-2, 99–163.
** 讨论了球多面体和V´azsonyi问题，对本文的球多面体研究有重要影响。
* [LRO07] T. Lachand-Robert and E. Oudet, Bodies of constant width in arbitrary dimension, Math. Nachr. 280 (2007), no. 7, 740–750.
** 提供了任意维度下常宽体的讨论，对本文的高维常宽体研究有贡献。
* [Mei18] E. Meissner, ¨Uber die durch regul¨are Polyeder nicht st¨utzbaren K¨orper, Vierteljahresschr. Naturfor. Ges. Z¨urich. 63 (1918), 544–551.
** 讨论了不能由规则多面体支撑的体，为本文提供了历史背景和理论基础。