35. 子流形的原像定理, 切空间

寄语. Equations are just the boring part of mathematics. I attempt to see things in terms of geometry.

Stephen Hawking.

子流形的原像

上节课我们证明了隐函数定理并给出了它的几何叙述. 我们已经证明如果 满足正确的非退化条件, 那么反函数定理等价于说对于 , 它的逆像 中的子流形, 其中, . 我们注意到, -维的子流形, 它在 中的余维数是也是 . 如果 是子流形, 我们同样地可以考虑它的逆像我们有如下漂亮的定理:

命题 35.1 (子流形的原像). 给定开集 , 光滑映射 和子流形 . 如果对任意的 , , 那么 是余维数为 的子流形.

证明. 假设 . 利用隐函数定理, 这个命题的证明非常简单: 任取 , 的附近可以被 个函数定义: 存在 以及 上的 个光滑函数 , 使得

1)

;

2)

对任意 , 线性无关.

现在对于任意的 , 假设 , 我们要证明 附近是一个子流形. 我们可以选取包含 的开集 ; 利用上面对 的描述, 我们也可以用方程的零点来描述 : 所以 是函数 的公共零点集. 为了说明这是子流形, 只要验证 的微分在 处秩是 即可. 这就是链式法则的简单应用: 我们考虑如下两个映射的复合: 其中 就是函数映射 . 所以, 要求的微分的秩就是映射的秩. 根据 以及 , 所以 . 命题得到证明.

隐函数定理的其它经典应用举例

最著名的例子是考虑多项式的解对多项式系数的光滑依赖性. 给定 , 考虑实系数多项式 . 我们假设 , 使得 恰好有 个两两不同的实根 . 那么, 存在 的开邻域 上的光滑函数 , 使得对任意的 , 我们有并且类似地, 如果一个实数系数的矩阵的特征值都是实数且两两不同, 那么, 这些特征值也是光滑地依赖于矩阵的系数的.

请参考本周的习题.

子流形的切空间

我们以下总是假定 是一个 维光滑子流形. 我们要发展子流形上的微分学, 这是我们对多元微分学的自然推广, 在实际中有着重要的应用. 为此, 首先定义最重要的一个几何对象: 切空间. 我们应该做如下的类比: 所谓的微分, 是映射在一点处的线性逼近, 反函数/隐函数定理讲的是映射在一点处的线性逼近决定了映射自身的若干性质. 我们应该把切空间视作是流形在一点处用 “线性” 子流形进行逼近.

首先, 我们要考虑的是通过一点 参数化的 -曲线 (可以要求是 的) , 即我们将称作该曲线在 处的切向量. 如果 , 我们就说 上的参数) 曲线. 所谓的 的切空间, 就是由在 上的通过 曲线的曲线的切向量所构成的空间:

定义 35.2. 微分子流形在 处的切空间  的子集 (事实上是线性子空间, 证明见后) , 它的定义如下:

MathAnalysis-N0601.svg

我们首先来看一个 “线性” 的例子:

例子. 1假设 定义, 即那么, 对于 , 我们来计算 . 实际上, 我们有对任意的 , 按照定义, 我们选取特殊的曲线这条曲线自然落在 中, 所以, 通过求导数, 我们就知道 . 所以, .

为了说明 , 我们考虑任意一条曲线落在 中的曲线 . 按照 的定义, 它可以写成 求导数, 我们得到这显然是 中的一个向量.

我们要强调关于这个例子的一个事实: 上面的计算表明, 作为 的子空间是不依赖于 的, 这只是 (混淆视听的) 巧合.

命题 35.3. 切空间在微分同胚下不变, 即若 是微分同胚, 是子流形, , 其中 中的开集. 那么, 是子流形并且 的切空间为

MathAnalysis-N0602.svg

证明. 是子流形是平凡的, 请参考本周的作业. 为了说明 , 我们考虑经过 点的 上的一条参数曲线通过与 复合, 我们得到了 中的曲线 . 按照定义, 这是子流形 上的通过 点的曲线. 很明显, (通过考虑 ) 上的任何一条曲线通过 点的曲线都可以通过这种方式得到. 所以, 通过复合 , 上通过 点的曲线与 通过 点的曲线是一一对应的.

现在可以对曲线求导数来计算 . 假设 , 按照定义, 这意味着存在 上过 点的曲线 , 使得 . 我们现在证明: 的微分将 的切向量映射成 的切向量. 按照微分定义, 我们有以及所以所以, 这就是要证明的等式. 这个式子表明 . 由于 中的每条曲线都是这么来的, 所以 .

定理 35.4. 的一个 维线性子空间.

进一步, 按照 的 (局部) 定义方式, 我们有如下两种方式刻画切空间:

1)

按子流形的定义, 存在包含 的开集 中的开集 以及微分同胚 使得 . 那么,

2)

假设 的局部上由 个光滑函数 的零点定义, 即存在开集 , 使得 , 满足并且对任意的 , 个线性函数 是线性无关的, 那么其中 .

证明. 我们首先看 1). 由于 中的开集, 根据前面的命题以及线性情况的计算, 我们有两边同时取 的逆就完成了证明. 特别地, 具有线性子空间的结构, 就是通过这个映射: 因为我们可以把 等同, 所以我们就用 上的线性空间结构作为 上的线性空间结构就好. 特别地, 因为 的维数是 , 所以 的维数也是 . 2

现在证明 2). 我们任取 , 按照定义, 存在 上的过 点的曲线 , 使得 . 由于 的零点集, 所以 求导数, 链式法则给出我们这表明 . 另外, 由于 , 通过比较维数, 我们就知道这两个空间是一致的.

注记. (重要) 切空间是内蕴定义的, 完全不依赖于坐标系, 因为在定义中我们是用 上的曲线来定义的. 上面定理中对切空间的描述或者依赖于坐标 的选取或者依赖于 的定义函数 的选取. 然而, 因为切空间是内蕴定义的, 所以我们可以用任意的坐标或者定义函数来计算 (我们在应用的时候总是选最容易计算的坐标或函数) .

例子 (超曲面的切空间与法向量的概念). 假设 中由一个函数 整体定义的超曲面 ( 中的曲面是我们最常见的例子) , 它的定义函数为 . 此时, 我们在 选定坐标系. 按照定义, 对于 , 那么用坐标系 (矩阵的语言) 来写, 我们有所以, 我们假定 中取定一个 Euclid 内积 , 使得 恰好是标准正交基. 此时, 我们用如下的符号表示上述向量那么, 上面的关系就可以表达为换句话说, 是切平面的法向量. 由于 , 我们经常把这个向量正规化成长度为 的向量: 我们习惯上把 称作 处的梯度. 在绝大多数的应用中, 我们都 (无意识地) 自动假定 中有上述 Euclid 内积. 3

利用上面的讨论, 我们很容易计算 中曲面的切空间, 比如说, 我们来看柱面的例子:

MathAnalysis-N0603.svg

例子. 柱面的定义方程是 , 其中对任意给定的 , 很容易算出我们知道 都和这个向量垂直, 所以, 这两个向量就张成的切空间. 特别地, 我们也可以从图形或者这个计算上清楚的看出, 切空间 是依赖于它的基准点 . 和之前线性子空间的切空间的例子对比, 我们强调说不同点的切空间是不同的. 我们之所以认为它们有时候是一样的, 是因为我们把它们都看成了 的子空间; 所以它们有可能相同.

脚注

1.

^ 搬运者注: 原讲义中此处不加证明地默认切空间是线性子空间, 这里已经做了相应的修改.

2.

^ 这里线性空间的结构的定义依赖于 的选取, 我们将在习题课中说明这个选取实际上不依赖于 的选取.

3.

^ 从微分几何的观点, 这一点有待商榷, 有兴趣的同学可以在学习 Riemann 几何的时候回头思考这个问题.