边 (几何)
 |
.svg) |
 图为一个立方体，它是多面体的一种，每个边都与多面体中的两个面相接 |
 图为一个超立方体，它是四维凸正多胞体的一种，每个边都与多面体中的三个面相接 |
在几何学中，边或棱是指几何形状中连接顶点的几何结构。在一般常见的几何图形如多边形、多面体和多胞体中，边是连接两个顶点的线段[1]，而边长指这线段的长度。而在一些较复杂的空间中的几何结构中，边有可能连接2个以上的顶点，例如复数空间中的复多胞形[2]。在多边形中，边是位于多边形边界上的线段，又可以称为边缘[3]。而在多面体或更高维度的多胞形中，边是面相交的线段[4]。而穿过几何结构内部的线段不能称为边，其称为对角线。
种类
[编辑]边依照所属的几何结构会有不同的特性。
角的边
[编辑]
角是由两条有公共端点的射线组成的几何对象。这两条射线叫做角的边[5]。在有向角中，角的两条边皆有不同的称呼。通常称有向角起始的边为始边、另一条边则称为终边，而始边与终边相同的角称为同界角。[6]
多边形的边
[编辑]在多边形中，边是位于多边形边界上的线段，又可以称为边缘[3]。一般情况下，多边形的边数会与顶点数相等。在一些特殊的多边形中，特定的编会被依照其特性命名，例如在梯形中，一组平形的边通常称为底边[7]，求面积时三角形的与高垂直的边也称为底边，其馀两边则称侧边。[8]
多面体的边
[编辑]
在多面体中，边是多面体中两个面互相相交的线段，通常称为棱，表示物体两面相接的部分[9]。而其所对应的二面角，即物体边缘的接角又称为棱角或棱子[10][11]。边通常不包括其角本身，而棱则会包括其接角，然而这些词汇在英语中皆称为Edge，而棱图（Edge figure）探讨的则为棱角的特性，而非只探讨边本身。[12]。一般情况下，多面体的边数可透过欧拉特征数计算得出。任何凸多面体表面的欧拉特征皆符合下列等式：
其中V是顶点数、E是边数、F是面数。这个等式称为欧拉恒等式[13]，由此可知，边的数量恒比顶点和面的数量的总和小2。例如，立方体有8个顶点和6个面，因此根据欧拉恒等式可以得到有立方体有12条边。
多胞形的边
[编辑]多胞形是指多边形、多面体、多胞体等几何结构再任意维度的类比，因此多边形也是一种多胞形。在多边形中，两条边会交会在一个点上，更精确地说在维度为d维的d维凸多胞形中，会有至少d条边交会在1个顶点上，例如前述的多边形是一种二维多胞形，因此每个顶点至少都是2条边的交会点[14]，这个现象称为巴林斯基定理，类似地，在多面体中，每条边都至少是2个二维面的交线[15]，而在四维或更高维多胞体中会有三个或更多个二维面在每个边上相交。
复空间多胞形的边
[编辑]
在实数空间中，边可以视为一种在实数线上的封闭图形，其可以由两个端点来定义。类似地，复空间的边可以也可以视为在以构成的“线”中的点集，其可以视为位于阿干特图(x,y)=x+iy中的点集。而复空间的边可以视为连接位于同一个阿干特平面上多个顶点的多边形[16]，这个多边形其不存在边，而是这个边连结了这些顶点。这种结构称为复空间线段。与实空间线段不同，由于复数不存在自然序，因此不能定义内部，换句话说即无法定义复空间的边上的点。[2]
这种由3个或三个以上的顶点组成，且并未定义哪几个顶点要两两相连，只定义了一个表示需要相连之顶点的集合所组成的边，在图论中有对应的概念，为超边。
由n个顶点组成的边称为n元边或n元棱。
三元边
[编辑]三元边又称三元棱是一种位于复数空间中的边，其可以视为实数空间中的线段在复数空间的类比。这种结构无法存于实空间，在实空间中，三元棱对应的几何结构为三角形。这种几何结构在施莱夫利符号中可以用3{}来表示。[16]
这种特殊的边出现于莫比乌斯－坎特八边形中。[2]
图论中的边
[编辑]在图论中，边是连接两个图节点的抽象数学物件，而非如同多边形一般拥有具体的线段也不存在边长。然而，任何多面体都可以透过其骨架或边的骨架找到一个对应的边与顶点的图，在该图中的顶点可以对应到多面体的几何顶点，该图中的边也可以对应到多面体的几何边。[18]反过来说，三维多面体的骨架图可以透过斯坦尼茨定理表达成3顶点连通的平面图。[19]
其他用法
[编辑]在高维凸多胞形理论中，维度为d的d维凸多胞形中，其(d-1)维的元素称为维面、(d-2)维的元素称为维脊或维边或维棱、(d-3)维的元素称为维峰。 因此，多边形的边同时也是其维面、三维凸多面体的边同时也是其维脊、四维凸多胞体的边同时也是其维峰。[20]
参见
[编辑]参考文献
[编辑]- ^ Ziegler, Günter M., Lectures on Polytopes, Graduate Texts in Mathematics 152, Springer, Definition 2.1, p. 51, 1995 [2019-09-14], （原始内容存档于2019-06-12）.
- ^ 2.0 2.1 2.2 Shephard, G.C.; Regular complex polytopes, Proc. London math. Soc. Series 3, Vol 2, (1952), pp 82–97.
- ^ 3.0 3.1 Weisstein, Eric W. (编). "Polygon Edge". at MathWorld--A Wolfram Web Resource. Wolfram Research, Inc. [2019-09-14] （英语）.
- ^ Weisstein, Eric W. (编). "Polytope Edge". at MathWorld--A Wolfram Web Resource. Wolfram Research, Inc. [2019-09-14] （英语）.
- ^ Sidorov, L. A., Angle, Hazewinkel, Michiel (编), 数学百科全书, Springer, 2001, ISBN 978-1-55608-010-4
- ^ 四‧ 有向角, 三角函數的定義. math.fcu.edu. [2019-09-15]. （原始内容存档于2014-01-04）.
- ^ 《中学数学实用辞典》P.210 ISBN 957-603-093-5 九章出版
- ^ 《图解数学辞典》天下远见出版 P.37 三角形 ISBN 986-417-614-5
- ^ 【稜】. 教育部重编国语辞典修订本. [2019-09-15].
- ^ 【稜角】. 教育部重编国语辞典修订本. [2019-09-15].
- ^ 【稜子】. 教育部重编国语辞典修订本. [2019-09-15].
- ^ Klitzing, Richard. Klitzing:Vertex figures,etc.. bendwavy.org. [2019-09-15]. （原始内容存档于2011-08-08）.
- ^ Richeson, David S.; Euler's Gem: The Polyhedron Formula and the Birth of Topology. Princeton University Press 2008.
- ^ Balinski, M. L., On the graph structure of convex polyhedra in n-space, Pacific Journal of Mathematics, 1961, 11 (2): 431–434 [2019-09-14], MR 0126765, doi:10.2140/pjm.1961.11.431, （原始内容存档于2019-05-11）.
- ^ Wenninger, Magnus J., Polyhedron Models, Cambridge University Press: 1, 1974 [2019-09-14], ISBN 9780521098595, （原始内容存档于2015-03-21）.
- ^ 16.0 16.1 Complex Regular Polytopes,[17] 11.1 Regular complex polygons p.103
- ^ Coxeter, H.S.M., Regular Complex Polytopes, Cambridge University Press, 1991, ISBN 0-521-39490-2
- ^ Senechal, Marjorie, Shaping Space: Exploring Polyhedra in Nature, Art, and the Geometrical Imagination, Springer: 81, 2013 [2019-09-14], ISBN 9780387927145, （原始内容存档于2014-01-07）.
- ^ Pisanski, Tomaž; Randić, Milan, Bridges between geometry and graph theory, Gorini, Catherine A. (编), Geometry at work, MAA Notes 53, Washington, DC: Math. Assoc. America: 174–194, 2000, MR 1782654. See in particular Theorem 3, p. 176 （页面存档备份，存于互联网档案馆）.
- ^ Seidel, Raimund, Constructing higher-dimensional convex hulls at logarithmic cost per face, Proceedings of the Eighteenth Annual ACM Symposium on Theory of Computing (STOC '86): 404–413, 1986, doi:10.1145/12130.12172.
