查看“WikiEdge:常宽体”的源代码

本页面搜集撰写[[常宽体]]相关条目的信息、规范和计划。

==相关论文==
* [[WikiEdge:ArXiv-0903.4284]]
* [[WikiEdge:ArXiv-0903.4830]]
* [[WikiEdge:ArXiv-1206.0892]]
* [[WikiEdge:ArXiv-1312.4141]]
* [[WikiEdge:ArXiv-1404.7019]]
* [[WikiEdge:ArXiv-1412.8693]]
* [[WikiEdge:ArXiv-1511.04165]]
* [[WikiEdge:ArXiv-1608.06354]]
* [[WikiEdge:ArXiv-1801.01161]]
* [[WikiEdge:ArXiv-1904.12761]]
* [[WikiEdge:ArXiv-1905.06369]]
* [[WikiEdge:ArXiv-1905.09098]]
* [[WikiEdge:ArXiv-1910.10248]]
* [[WikiEdge:ArXiv-2004.10865]]
* [[WikiEdge:ArXiv-2011.06398]]
* [[WikiEdge:ArXiv-2106.00118]]
* [[WikiEdge:ArXiv-2107.05769]]
* [[WikiEdge:ArXiv-2109.06962]]
* [[WikiEdge:ArXiv-2211.06151]]
* [[WikiEdge:ArXiv-2304.04035]]
* [[WikiEdge:ArXiv-2304.10418]]
* [[WikiEdge:ArXiv-2305.04485]]
* [[WikiEdge:ArXiv-2310.08709]]
* [[WikiEdge:ArXiv-2405.18501‎‎‎‎]]
* [[WikiEdge:ArXiv-2406.18428‎‎]]
* [[WikiEdge:ArXiv-2408.13241]]
* [[WikiEdge:ArXiv-2409.00596]]

==术语的厘定==

===确定的翻译方案===
* [[常宽体]]（Constant width body）：在n维欧几里得空间中，如果凸体B在任意方向u上的宽度（即与u正交的两个支撑平面之间的距离）是常数，则称B具有常宽。
* [[单位球]]（Unit sphere）：以原点为中心，半径为1的球体。
* [[支撑平面]]（Supporting plane）：与凸体表面相切的平面，且凸体完全位于该平面的一侧。
* [[支撑超平面]]（Supporting hyperplane）：与凸体相切的超平面。
* [[支撑函数]]（Support function）：定义为凸体上一点处外法线方向向量与该点处支撑平面的法向量之间的点积。
* [[凸体]]（Convex body）：在欧几里得空间中，一个集合，其中任意两点之间的线段完全包含在该集合内。
** [[光滑凸体]]（Smooth convex body）：每个边界点恰好属于一个支撑超平面的凸体。
** [[常宽凸体]]（Convex body of constant width）：任意两点之间的距离不超过1，并且当且仅当这两点被平行的支撑超平面所支撑时，距离等于1的凸体。
** [[凸体的面]]（Face of convex body）：凸体边界的一部分，由凸体边界上的点组成。
** [[凸体的边界点]]（Boundary point of convex body）：凸体边界上的点。
** [[凸体的最小维度面]]（Face of smallest dimension）：凸体中维度最小的面。
** [[凸体的高斯像的相对内部]]（Relative interior of Gauss image）：高斯像内部的部分，不包括边界。
** [[凸体的高斯像的并集]]（Union of Gauss images）：多个凸体面的高斯像的并集。
** [[凸体的高斯像的覆盖半径]]（Covering radius of Gauss image）：覆盖单位球面所需的最小半径。

* [[凸包]]（Convex hull）：一组点的最小凸集，包含该组点。
** [[凸包的顶点]]（Vertices of convex hull）：构成凸包的点。
* [[凸性]]（Convexity）：如果凸体上任意两点间的线段完全位于凸体内部，则称该凸体是凸的。
* [[旋转体]]（Body of revolution）：通过围绕某一轴旋转某个曲线生成的三维几何体。
* [[凸多面体]]（Convex polytope）：在d维空间中的一个有限凸集，其边界由一系列多面体组成。
* [[Reuleaux三角形]]（Reuleaux triangle）：通过三个圆盘在等边三角形的顶点处相交形成的常宽体。
* [[Meissner四面体]]（Meissner's tetrahedron）：一个已知的凸体，具有相对较小的体积与宽度立方比值。
* [[Reuleaux三角旋转体]]（Rotated Reuleaux triangle）：通过围绕Reuleaux三角形的对称轴旋转得到的常宽体。
* [[Blaschke-Lebesgue问题]]（Blaschke-Lebesgue problem）：确定在所有常宽体中，体积与宽度立方比值的最小值的问题。
* [[宽度]]（Width）：凸体在特定方向上与两个支撑平面之间的距离。
* [[最小化问题]]（Minimization problem）：寻找使给定函数达到最小值的变量值的问题。
* [[变分法]]（Calculus of variations）：研究函数空间中泛函极值的数学分支。
* [[Wirtinger不等式]]（Wirtinger inequality）：在给定函数空间内，函数平方的积分与其导数平方的积分之间存在的关系。

* [[X射线数]]（X-ray number）：对于给定的凸体K，X射线数X(K)是最小的线的数量，使得K中的每个点至少被这些线中的一条X射线。
* [[外法向量]]（Outer normal vector）：指向凸体外部的法向量。
** [[单位外法向量]]（Unit outward normal vector）：凸体表面上某点处垂直于表面的单位向量。

===不确定的翻译方案===
* [[同态不变]]（Homothetic invariant）：如果一个几何量在所有相似变换下保持不变，则称其为同态不变的。
* [[等周比]]（Isoperimetric ratio）：一个几何体的面积与包围它的最小圆的面积之比。
* [[曲面演化]]（Flow of the boundary）：沿着凸体的内法线向量场移动其边界，保持凸体的常宽性质。
* [[C1,1函数空间]]（C1,1 function space）：具有连续一阶导数和利普希茨连续二阶导数的函数空间。
* [[体积比]]（Ratio of the volume）：常宽体的体积与其等宽球体积的比值。

* [[高斯像]]（Gauss image）：对于凸体K的一个面F，高斯像是单位球面上所有点的集合，这些点的外法向量包含F。
* [[照明猜想]]（Illumination Conjecture）：任何d维凸体可以通过2d个方向（或点光源）照亮。
* [[X射线猜想]]（X-ray Conjecture）：任何凸体在Ed中的X射线数最多为3·2^(d−2)。
* [[弱邻接对偶凸多面体]]（Weakly neighbourly antipodal convex polytope）：如果多面体P的任意两个顶点都位于P的一个面上，并且任意两个顶点都位于平行的支撑超平面上，则称P为弱邻接对偶凸多面体。
* [[对偶凸多面体]]（Antipodal convex polytope）：如果多面体P的任意两个顶点都位于平行的支撑超平面上，则称P为对偶凸多面体。
* [[邻接性]]（Neighbourliness）：如果多面体P的任意两个顶点都位于P的一个面上，则称P为邻接的。

==撰写计划==

* [[WikiEdge:常宽体/plan]]