SYSTEMATIC MATHEMATICS

微分几何与流形

本课程按内容分成 7 个单元,长度分别为 5、5、5、5、4、6、5,共有 35 个可直接学习的知识章节。怎样度量一条道路弯得有多急?为什么圆柱可以不拉伸地展开成平面?为什么球面上的最短路线在空间里不是直线?本课从画得出来的曲线、圆、螺旋线、平面、圆柱、鞍面与球面开始。坐标只是临时测量工具;每个符号先读再用,每个坐标答案都回到长度、角度、弯曲、最短路径、面积、运动或拓扑含义。随后把思想推广到任意维光滑空间:向量场生成局部流,Lie 括号在积分微分形式之前度量不交换运动。每个坐标计算都回到不变量结论,每个整体结论都明确写出拓扑、紧致性、定向、完备性与正则性边界。

本课程之前: 已完成多变量微积分、向量微积分、线性代数、微分方程与动力系统、实分析、证明逻辑与集合论以及拓扑学。课程在测地线第一变分处使用变分法,在单位分解与积分处使用测度与 Lebesgue 积分。学习者应能对映射求导、求解光滑 ODE 初值问题、处理基与双线性型、证明紧性与连通性结论,并在线积分与曲面积分中追踪定向。课程不假设已学过流形、张量、微分形式、Lie 群、代数拓扑或 Riemann 几何。

COURSE FACTSLevel, chapters, units, prerequisite, and outcome
第 1 章

参数曲线、正则性与重新参数化

目标: 两个轨迹相同的映射能否定义不同的参数曲线?

曲线是一个映射,不只是它经过的点集;正则性保证非零切向,而合法换参保持几何运动。

对象与符号:C^k 曲线是有 k 阶连续导数的映射 γ:I→R^n;当 γ′(t)≠0 时称为正则。正则重新参数化是 γ∘φ,其中 φ 是区间之间的 C^k 微分同胚。 本节要建立的结论是:在保向重新参数化下,切向方向与所有不依赖参数的几何量一致;反向换参会反转单位切向。 每个分量公式都要放在明确的参数域、坐标图或标架中读,并区分坐标列表与它表示的几何向量、微分形式、度量或曲率。

例题是:对 γ(t)=(cos 2t,sin 2t)、0<t<π,确定轨迹、速度与方向。 从“由 x²+y²=1 知轨迹在单位圆上,只缺 t=0,π 所表示的端点。”开始,以“在 t=0 速度向上,因此沿逆时针方向走完一周。”收束。再与这个相邻失败情形比较:尖点 γ(t)=(t²,t³) 在 t=0 有 γ′(0)=0,因此其轨迹不能在原点给出正则切向。 通过比较说明哪一部分依赖坐标,哪个结论在允许的坐标变换下保持不变。

在保向重新参数化下,切向方向与所有不依赖参数的几何量一致;反向换参会反转单位切向。

用链式法则:(γ∘φ)′(u)=γ′(φ(u))φ′(u)。

因为 φ′ 从不为零,所以正则性保持,而 φ′ 的符号记录方向。

把导数单位化;正比例因子消去,负比例因子恰好产生一次符号反转。

对 γ(t)=(cos 2t,sin 2t)、0<t<π,确定轨迹、速度与方向。

  1. 由 x²+y²=1 知轨迹在单位圆上,只缺 t=0,π 所表示的端点。
  2. γ′(t)=(-2sin 2t,2cos 2t),故速度恒为 2 且从不为零。
  3. 在 t=0 速度向上,因此沿逆时针方向走完一周。

结果: 它是在所述开区间上以速度 2 逆时针走过单位圆的正则参数化。