Klein对几何的定义是: 存在一个空间E,以及作用在空间E上的变换群G,几何是研究在变换群G作用下空间E的不变性质。 欧氏几何研究的是在欧氏运动下空间图形不变性质,微分几何研究的是在微分同胚变换下微分流形的不变性质。微分流形及其张量场是微分几何的主要研究对象[3]。
如何刻画一条曲线
在三维欧氏空间 中的曲线可以看作是某区间 到 的一个同胚映射 , 也可以看作一个点随时间的变化而运动的轨迹。
刻画曲线通常是通过曲线上任意一个点的在空间的某一坐标系中的坐标值来实现. 假设 的欧式空间有固定的右手单位正交标架. 欧式空间中的一条曲线可以表示为一个一元向量函数.
从上述定义可以看出,要想用数学解析方法刻画一条三维欧氏空间 中的曲线,需要用到欧氏空间,标架,向量,向量函数等工具,下面就依次给出这些基本概念的定义。
三维欧氏空间
三维欧氏空间 是一个非空集合,其中元素称为点, 这些点具有以下属性:
- 任意两个不同的点唯一地决定了连接它们的直线
- 不在一条直线上的任意三个不同的点唯一地决定了通过这三点的平面
- 中存在不共面的四个不同的点
- 过直线外任意一点能且只能做一条直线与已知直线平行
向量
三维欧氏空间 中任意两个不同的点 都可以连成一条直线段, 记为 . 如果指定 为起点, 为终点, 称为有向线段. 所有相等的有向线段的集合称为一个向量.
标架
三维欧氏空间 中不共面的任意四个不同的点 , 可得三个不共面的向量 , 则 称为 中的一个标架.
基于标架 , 三维欧氏空间 中任意一点 与三个实数构成的数组 一一对应, 称为点 关于标架 的坐标.
取三维欧氏空间 中一个标架 , 如 是相互垂直, 并构成右手系的三个单位向量, 则标架 是右手单位正交标架, 简称正交标架. 由正交标架给出的坐标系称为笛卡尔直角坐标系.
取三维欧氏空间 中两个不同的正交标架 和 , 则两者之间的关系为:
令
三维欧氏空间 中取定一个正交标架 , 中任意一个正交标架 与矩阵对 一 一对应.
三维欧氏空间 中取定笛卡尔直角坐标系后, 中的几何图形就可以用坐标刻画. 几何图形的固有性质可以用 坐标表达. 这种性质只与几何图形有关, 与坐标系的选取无关. 几何图形的用笛卡尔直角坐标表示的量与笛卡尔直角坐标系选取无关, 称为几何不变量.
向量函数
三维欧氏空间 中全体向量组成的空间称为三维欧氏向量空间. 给定一个正交标架 后, 三维欧氏向量空间等同于由三个有序实数的组构成的空间
正则参数曲线
微分几何是微积分在几何学中的应用. Euler使用参数方程来刻画曲线. 微分几何所研究的曲线的参数方程是连续可微的向量函数. 如果某一曲线的向量函数
满足以下条件:
1.
是自变量
的三次以上连续可微函数
2. 对任意
有
则,这样的参数曲线称为正则参数曲线[1].
引理
一个正则参数曲线
, 如果
,则
垂直于
。
证:
由
,
既
对上式两边求导得
既
则
垂直于
弧长
设有一个正则参数曲线
,
是该曲线的不变量,其几何意义是该曲线的弧长。 以弧长为正则曲线参数的充要条件是该曲线的切向量场是单位切向量场,即 。
曲率
如果曲线
以弧长做正则参数,
则 为 在 处的曲率。
Frenet标架
把曲线
的单位切向量
平行移动到原点
,则曲线上各点的单位切向量的端点构成一条曲线,称为曲线
的切线像。切线像的弧长元素
曲率的几何意义是曲线的切线像的弧长元素与曲线的弧长元素之比。
因 , 垂直于 。 是曲线的一个法向量,如果 不为零, 这个方向的单位向量记为 , 称为曲线的主法向量。令
称为曲线的次法向量。
挠率
曲线在一点的切线和主法线所张成的平面称为曲线的 密切平面。 密切平面的法向量
关于弧长参数
的导数的长度
反映了曲线扭曲的程度,称为挠率.
与 平行,
(未完待续)
参考文献
[1] 陈维桓. 微分几何. [北京] 北京大学出版社, 2006.
[2] Differential geometry textbook recommendations and historically interesting workshttp://www.geometry.org/tex/conc/differential_geometry_books.html
[3] 候伯元, 候伯宇. 物理学家用微分几何. [北京]科学出版社, 2004.