CCG 01-04:边界与定向——为什么三角形顶点顺序很重要

本课只解决一个问题

怎样区分曲面的内部点、边界点和一致的“正面方向”?

这决定边界环提取、法向、积分符号和三角形翻转判断。

1. 带边界流形的局部模型

内部点的邻域像平面开圆盘。边界点的邻域像上半平面

H2={(x,y)∈R2:y≥0}\mathbb H^2=\{(x,y)\in\mathbb R^2:y\ge0\}

中的半圆盘。

因此,边界不是靠“看起来在外圈”定义,而由局部拓扑类型决定。

2. 边界本身低一维

二维曲面的边界是若干条一维曲线。若曲面紧致且正常,每个边界连通分支都是一个闭环。

例如:

曲面边界分支数
圆盘1
圆环区域2
圆柱侧面2
球面0
环面0

3. 网格中怎样识别边界

对正常三角网格:

  • 内部边恰好属于两个三角形;
  • 边界边恰好属于一个三角形;
  • 属于三个及以上三角形的边是非流形边。

因此边界检测本质上是计数,而不是依赖三维坐标。

4. 三角形定向

有序三角形写作

[v0,v1,v2].[v_0,v_1,v_2].

交换两个顶点会反转方向:

[v0,v2,v1]=−[v0,v1,v2].[v_0,v_2,v_1]=-[v_0,v_1,v_2].

在三维嵌入中,对应法向

n=(p1−p0)×(p2−p0).n=(p_1-p_0)\times(p_2-p_0).

交换p1,p2p_1,p_2 后,叉积变为−n-n。

5. 曲面可定向意味着什么

若能给每个局部面选择方向,并且重叠区域的选择彼此兼容,则曲面可定向。

对三角网格,这等价于能统一排列所有面,使任意内部共享边在两个相邻面中以相反方向出现。例如:

[0,1,2],[1,0,3][0,1,2],\qquad[1,0,3]

在共享边上分别出现0→10\to1 和1→01\to0,方向兼容。

球面、圆柱、环面可定向;Möbius 带不可定向。

6. 为什么 Möbius 带不可定向

沿 Möbius 带中心线平行移动一个法向量,绕一圈回到起点时方向反转。若假设存在全局一致法向,就会要求同一个位置的法向同时等于nn 和−n-n,产生矛盾。

不可定向性是全局性质:每个小邻域单独都可以定向,问题出在绕圈后的兼容性。

7. 边界方向怎样诱导

对已定向平面区域,通常采用规则:“沿正向边界行走时,区域位于左手边”。因此外边界逆时针,孔洞边界顺时针。

这个符号约定使 Stokes/Green 公式成立:

∫Mdω=∫∂Mω.\int_M d\omega=\int_{\partial M}\omega.

若边界方向反了,右侧整体差一个负号。

8. UV 翻转与定向

三维三角形参数化到二维后,可用二维有向面积

Auv=12det⁡(u1−u0u2−u0v1−v0v2−v0)A_{uv}=\frac12 \det\begin{pmatrix} u_1-u_0&u_2-u_0\\ v_1-v_0&v_2-v_0 \end{pmatrix}

判断方向:

  • Auv>0A_{uv}>0:与约定方向一致;
  • Auv<0A_{uv}<0:三角形翻转;
  • Auv=0A_{uv}=0:三角形退化成线段。

9. 常见误区

  1. “闭曲面”指无边界,不是说它在三维里围住体积。
  2. 每个三角形都有法向,不代表整个网格可定向。
  3. 法向反向不会改变无向面积,却会改变有向积分符号。
  4. 边界边计数只对满足合理三角网格假设时可靠。

10. 自测与答案

题 1。 一条网格边属于零个、一个、两个、三个三角形,分别说明什么?

答案。 零个通常不是网格有效边;一个是边界边;两个是内部边;三个是非流形边。

题 2。 为什么相邻定向三角形要沿共享边反向?

答案。 拼接后共享边应作为内部边相互抵消,才能形成一致的曲面方向。

题 3。 平面圆环区域的内外边界按诱导方向各怎样走?

答案。 外边界逆时针,内孔边界顺时针,使区域始终在左侧。

前后课程

上一课:流形与坐标图 | 下一课:商空间与边粘合