用户: Solution/ 习题: 苏步青 微分几何
1曲线的性质
2曲面的局部性质
3曲面的整体性质
1-3 | 记题目所述的坐标区域为 . 由于 是一个连通的坐标区域, 从而可以在 上指定一个光滑单位法向量场 , 并且可以在 和 上分别延拓, 即有一个 上整体定义的光滑单位法向量场, 从而 可定向. |
1-4 | 必要性: 由 可定向, 上存在使得转移 Jacobi 矩阵行列式恒正的光滑坐标卡覆盖. 在任意的坐标卡的开集 上, 取正向的单位法向量 , 即 . 整个曲面上 的定义是一致的, 原因是对任意和 相交的坐标卡的开集 , 由于 Jacobi 矩阵行列式为正, 上的 方向一样, 从而相同. 充分性: 考虑两块相交的坐标区域并选取恰当的坐标系 和 . 由 可知, 所有转移 Jacobi 矩阵行列式为正. |
1-5 | 如若不然, 则在 上取定一个光滑单位法向量场 . 由于 坐标变换的 Jacobi 矩阵行列式为正且 可定向, 故 可延拓到 上, 从而 是一个整体定义的单位法向量场, 则 上坐标变换的 Jacobi 矩阵为正, 矛盾. 故 不可定向. |
1-6 | 取坐标覆盖 中 Jacobi 为 , 中 Jacobi 为 , 使用 1-5 题的结论得到 Möbius 带是不可定向的. |
2-1 | 距离原点最远的点 (实际上有 , 其中 为该点到原点的距离) , 由连续性, 其某个邻域 内 , 从而由 Gauss–Bonnet 公式, 可定向的 不同胚于球面说明 , 故 在 上的积分小于等于 , 得出 内存在点使得 . 再由连续性及介值原理得到存在点使得 . |
2-2 | (2) 同胚于球面, 所以为 . |
2-3 | 进行如下的剖分, 即可得到 . |
2-5 | 如果不然, 则代入 Gauss–Bonnet 公式, 由于光滑测地线 (测地曲率为 ) 以及单连通 (欧拉数为 ) 可计算得曲率的积分为 , 与曲率为负矛盾. |
2-6 | 由于 , 故 Gauss 映射 是局部单的, 从而 的每个点原象个数相等. 由于 的欧拉数和 的欧拉数为 , 故是 1-1 的. (建议了解微分拓扑中的正则点、正则值以及代数拓扑中覆叠空间的知识.) |
3-1 | (4) 是 的孤立零点, 取指标为 (5) 是 的孤立零点, 取指标为 |
3-2 | 必要性: 由 Poincaré 定理知欧拉数为 , 从而同胚于环面. 充分性: 由于维数小于等于 时, 同胚的流形必为微分同胚的, 设 通过 微分同胚于环面. 如图 15 所示, 环面上存在一个无奇点的可微分向量场 , 则 即所求. |
3-3 | 取 上的向量场 , 孤立奇点为格点. |
3-4 | 当 绕 走一圈时, 的单位切向量转了一圈, 故 同样转了一圈, 否则由介值原理, 在某处 与切向量同向. 于是 的两个区域中都有 的奇点. 有一个暴力的证明: 假设结论不成立, 则我们可以在二维单位圆盘 上得到无奇点且 在边界满足切向值和各阶导数为 , 径向值为某个常数 , 各阶导为 的向量场, 从而把这个圆盘和每点向量场大小相同且方向恰好相反的圆盘沿边界对粘, 就得到了一个无奇点的拓扑球面, 这显然是矛盾的. 但这个证明需要滥用单位分解定理. 用到的一个引理是如果存在光滑函数 , 则存在光滑函数 , 使得 , 点 各阶导数为 , 点 各阶导数为 . 该引理可以用单位分解定理证明. |
4-1 | 题目应增加条件 “只考虑 的情况”, 否则不对. 由 无脐点, 可知, 且 处处可导. 如若不然, 则有点 满足题意. 由 点处故 点处 由题意可知, 在 点处, , 总有 从而 得到在 点处 极大, 得到在 点处 极小, 从而 为脐点, 矛盾. |
4-2 | 反例为平面. |
5-1 | 极小曲面 即 , 于是 ; 但是紧致曲面上存在点 , 矛盾. |