微分几何自用笔记--曲线论&曲面论(基本定理)
CHAPTER2 曲线论基本定理
回顾chapter1
-
1.向量函数
-
2.不变量
- 弧长 s
- 曲率 κ(s) --曲率向量α ′ (s)(基于弧长参数计算)
- 挠率 τ (s) --挠率向量γ'(s) (基于弧长参数计算)
2.1Frenet标架
(图片上的Frenet有问题,写错了)
2.1.1Frenet标架
- 取(切向量、单位曲率向量、切向量与法向量张成平面的法向量)作为基向量,分别张成密切平面、从切平面、法平面;
- Frenet标架取的是右手单位正交标架(曲线曲率恒不为0);
- Frenet标架是点点变化,随着曲线变化而变化的标架;
- 理一下(这些在Chapter1引入时有相关关系讨论):
- 第一个基向量=切向量单位化
- 第二个基向量=曲率向量单位化
- 第三个基向量=“单位切向量” 外积 “单位曲率向量”
2.1.2 Frenet标架运动公式
注意到方程组的系数矩阵是反对称矩阵。事实上,一般地,沿曲线定义的任何一个单位正交标架的导数的系数矩阵都是反对称矩阵。
2.2非弧长参数下讨论
-
1.曲率 κ(t) --曲率向量α ′ (t) -- 第二个基向量β(t)
-
2.挠率 τ (t) --挠率向量γ '(t) -- 第三个基向量γ(t)
2.3曲线的唯一存在性定理
- 引入了Frenet标架,简化了关于弧长、曲率、挠率的方程组后;
- 进一步我们能得到,曲线的存在唯一性可以转化为Frenet标架的存在唯一。
- 再进一步,为了研究Frenet标架,利用Frenet公式,即转化为研究常微分方程组。
- 总结:曲线-->Frenet标架-->齐次常微分方程组
所以研究是否能由这三个不变量确定一条曲线:
- 给了不变量能否决定曲线形状(唯一?)
- 给了曲率、挠率能否找得到一条曲线的曲率、挠率与之匹配?(存在?)