Skip to content

第 5 章:从凸体表面到直线平面图 ​

返回目录

5.1 径向投影:为什么表面像一个球面 ​

先解释所需的几何联系。取凸多面体内部一点 O,从它沿任意方向发出射线。射线与凸体相交的部分,从 O 开始,恰好是一个有限闭线段:凸性排除中间空缺,有界性排除无穷延伸,包含边界保证能到达最后一点。因此每个方向恰好对应一个离开边界的点。

把这个边界点沿同一射线移到以 O 为球心的单位球面,就叫径向投影。它保持一一对应,而且方向小幅改变时离开点也连续改变。用半空间式可以检查连续性:沿方向 u 的离开距离是各个前方支撑平面相交距离的最小值;当相应平面不限制这条射线时忽略它。限制前的分子是正的,实际最先碰到的平面随方向改变只会连续交接,不会突然跳远。

更精确地,把 O 平移为原点,则各半空间常数 b_j>0,方向向量 u 长度为一,离开距离为 r(u)=\min_{a_j\cdot u>0} b_j/(a_j\cdot u)。给定方向 u_0 和距离 r(u_0),比它稍近的点严格满足所有约束,连续性与有限性保证邻近方向仍能走到这里;某个最先碰到的支撑平面又保证邻近方向不会走得比它远很多。这分别给出距离的下界与上界,证明没有跳跃。

这里不要求球面三角学。只是利用“从体内看,每个方向恰有一个表面点”,说明表面连成整张封闭壳,而不是有断开的另一片表面。

任意两个面的内部点可以在球面上用有限条圆弧连接,并稍微调整圆弧,使它们避开有限个投影顶点,且不沿投影棱行走。投影棱是平面经过 O 后与球面的交弧;选取的有限圆弧与这些棱只作有限次相交。拉回凸体表面,就得到依次经过一串面的路线,相邻面共享一条棱。这证明面与面之间沿公共棱的邻接关系连通。

每个面的边界自身连通;这些边界又沿公共棱接起来,所以整个边图也连通。这里补上了“表面连通”到“边图连通”之间的具体步骤。

把面邻接连通的截面论证再展开。 取内部点 O,给定两个面 f,g。先选 A 在 f 的面内内部,避开有限条直线 Ov 与该面的交点;再选 B 在 g 的面内内部,使 O,A,B 不共线,且平面 H=OAB 不经过任何原顶点。这样的 B 存在:对每个原顶点 v,坏情况将 B 限制在平面 OAv 与 g 的交线上;该交线不是整个 g,因为前一平面过内部点 O,后一支撑平面不过 O。有限条直线不能覆盖面内一片开区域。

P\cap H 是由有限半平面限制出的有界凸多边形,且 O 旁的小圆盘保证它有二维内部。A,B 在该截面边界上,因为各自所在面在整个 P 上支撑。沿截面边界从 A 走到 B,每段位于一个原面,相邻段在某条原棱的开段相接:截面没有经过原顶点,也不可能包含整条原棱(否则会经过其端点)。故这些原面依次共享棱,得到一条有限面链。再在各面内沿边界循环改选旗标,就得到第 1.9 节需要的完整旗标路线。这个论证只用凸体与平面的线性限制,不借用欧拉公式或正则性。

5.2 透视投影:选观察点时必须满足什么 ​

选择一个面 f。在该面的平面内、避开边界的点叫面相对内部的点:它在这个平面内有一小块圆盘仍留在面中;作为三维实体的边界点,它当然不是凸体内部点。

此处只使用每个真正面对应的支撑半空间,去掉重复或冗余的限制。取 f 相对内部一点 C,从它向凸体外侧移动很小距离,得到观察点 S。面 f 以外的支撑不等式在 C 都是严格的;限制只有有限个,所以距离可以小到让 S 仍严格满足所有这些限制,只违反 f 的那个限制。

S入出面 f 的平面截面示意:观察点 S 在外侧S 只违反面 f 的一个限制一条视线先进入、再离开凸性排除反复进出其余表面投到 f 的轮廓内
图 17|画的是三维情形的一张截面,不是把多面体展开。视线入点在面 f 上,离开点在其他表面,投影将二者对应。

从 S 向 f 的内部发出一条视线,先在 f 上进入凸体,再在其余表面某处离开。凸性保证没有反复进出。反过来,把其余表面一点 Y 沿直线 SY 投到 f 的平面,投影点在 S,Y 之间;它满足所有其他半空间约束,也满足 f 平面的等式,所以落在面 f 内。

因此,除 f 内部外的表面可投到 f 的轮廓内。不同行进方向的视线不混淆,同一视线又只有一个离开点,所以面内部不会互相盖住,棱也不会交叉。直线的透视像仍是直线,这就得到有限、连通的直线平面图,称为 Schlegel 图。它不是把多面体剪开并按原长度铺平;投影允许边长、角度改变,只保留连接关系。

5.3 顶点、棱、面怎样逐一对应 ​

每个原顶点投成一个图顶点,每条原棱投成一条图边。各个未选中的原面,对应轮廓内部的各个有界区域;被选中的面 f,则对应图的无界外部区域。这个最后的对应是计数约定,不是说 f 自己真的投到了无穷远。

所以 V,E,F 都保留。立方体有八个图顶点、十二条图边、五个有界区域,再加一个无界区域,总面数仍是六。

立方体:8 个顶点,12 条边图内有 5 个有界区域外部无界区域也算一个面所以 F = 5 + 1 = 6

下文的“面”统一指平面去掉图后的区域,亦即第 4 章解释过的开集连通分支,包括无界分支。“图边”和“面内另画的辅助路径”是不同对象。

保留每一次追问,认真走完每一步证明。