CCG 03-01:曲面片与坐标变换

本页只解决一个问题

参数化何时真正描述一块光滑曲面,换坐标时哪些量会改变?

本页是原长篇讲义的单概念版本。第一次阅读只追踪本页定义的对象;看见未掌握的前置符号时,先沿链接退回,不要跳过定义硬背结论。

开始前

1. 正则曲面片

设D⊂R2D\subset\mathbb R^2 为开集,映射

r:D→R3,r(u,v)=(x(u,v),y(u,v),z(u,v))r:D\to\mathbb R^3, \qquad r(u,v)=(x(u,v),y(u,v),z(u,v))

称为正则曲面片,如果:

  1. rr 光滑;
  2. ru,rvr_u,r_v 线性无关,即ru×rv≠0r_u\times r_v\ne0;
  3. rr 局部是一一对应的参数化。

ru,rvr_u,r_v 张成切平面

Tpr(M)=span⁡{ru,rv}.T_pr(M)=\operatorname{span}\{r_u,r_v\}.

单位法向量为

n=ru×rv∥ru×rv∥.n=\frac{r_u\times r_v}{\|r_u\times r_v\|}.

若ru×rv=0r_u\times r_v=0,坐标在该点退化。球坐标在极点退化并不说明球面不光滑,只说明这一张坐标图不能覆盖极点。

2. 参数变换与张量

设新坐标(uˉ,vˉ)(\bar u,\bar v) 通过

(u,v)=σ(uˉ,vˉ)(u,v)=\sigma(\bar u,\bar v)

给出,且det⁡Jσ≠0\det J_\sigma\ne0。新参数化为

rˉ(uˉ,vˉ)=r(σ(uˉ,vˉ)).\bar r(\bar u,\bar v)=r(\sigma(\bar u,\bar v)).

链式法则给出

[rˉuˉrˉvˉ]=[rurv]Jσ.\begin{bmatrix}\bar r_{\bar u}&\bar r_{\bar v}\end{bmatrix} = \begin{bmatrix}r_u&r_v\end{bmatrix}J_\sigma.

坐标分量会变化,但几何量若按正确张量变换律变化,就描述同一个内在对象。

读完必须能回答

  1. 不看公式,用自己的话回答开头的核心问题。
  2. 指出本页最重要公式中每个符号的类型:标量、向量、矩阵、映射还是集合。
  3. 找出定理成立所需的假设,并举一个删除某条假设后可能失败的例子。
  4. 对最小例子手算一遍;若本页含代码,再比较手算与程序输出。

前后课程

返回模块目录 | 下一课:第一基本形式