矩阵变换群观点下的微分几何
- 格式:pdf
- 大小:1.89 MB
- 文档页数:1
的生成子。不难证明
满足
,这里
为A 的迹。对正交变换群
,指数映射给出了
到
的映射,其中
为n阶反对称矩阵的全体。[1]
设α,β,γ 为3维欧氏空间中任一点r0处的单位切向量,且 {α,β,γ }构成单位右手正交标架,考察该点处由
张成的微分长方体(即沿α,β,γ 的正向分别取
棱长为
的长方体),其体积为
。于是对任意3
变换后,面积元素
对t的导数为零。
从变换群的观点来看,本科《微分几何》是研究3维欧氏 空间的子流形在等距变换群下不变的几何学。[2]基于此,可得 曲线、曲面的运动公式和极小曲面的如下理解。
首先,考虑以弧长为参数的光滑正则曲线
,取定基点
,则由Frenet标架
的正交性可得存在唯一的正交变换
使
,
且正交变换 的生成子即为Frenet矩阵(Frenet标架的运动
2019年第24期(总第643期)
科学咨询/科技管理
矩阵变换群观点下的微分几何
高等教育
李体耀1 张 东2
(1.重庆师范大学 重庆 401331;2.天津城建大学 天津 300384)
摘 要:本文从矩阵变换群的角度解释了曲线、曲面的 运动公式的系数矩阵的反对称性,并给出了极小曲面的几何 理解。
关键词:矩阵变换群;指数映射;Frenet公式;曲面运动 公式;极小曲面
·89·
和前面讨论可知,S 是极小曲面等
基金项目:天津市高等学校本科教学质量与教学改革研究 计划项目(171079205C),天津城建大学教育教学改革与研究项 目(JG-YBZ-1545,1735)。重庆市2019年度高等教育教学改革研 究项目,项目号:193090。
作者简介: 李体耀(1984.04—),男,汉族,陕西横山人,重庆师范 大学数学科学学院,博士,讲师,研究方向:微分几何与数学 物理。 张东(1983.12—),男,汉族,内蒙古清水河人,天津城 建大学理学院,博士,研究方向:微分几何与数学物理。
阶方阵A ,经
变换后,该微分长方体体积近似为
,相对体积改变量近似等于
故 大于(resp.小于)0可推出经
变换后,该微
分长方体体积将膨胀(resp.缩小)。前述讨论对二维情形也成
立,即若α,β 为2维欧氏空间中r0处的单位正交切向量,且
{α,β }构成右手系,则对2阶方阵A ,
=0当且仅当
张成的微分长方形经
公式的系数矩阵)。
事实上,将单位右手正交标架
平
移到 处得单位右手正交标架
,故
存在唯一的正交变换
变单位右手正交标架
为单位右手正交标架
。对 所满足的方程求导可知
Frenet矩阵即是正交变换群 的生成子,由此揭示了Frenet 矩阵的反对称性。
其次,类似地考虑光滑正则曲面 的单位右手正交标架族
,取定基点
,则将点
价于对任意法向变分,
对t的导数
恒为零,即S 是
法向变分曲面族的面积泛函的临界点。 本文从矩阵变换群的角度统一的给出了曲线、曲面运动公
式以及极小曲面的几何理解,且所有讨论对高维欧式空间的曲 线、超曲面亦成立。
参考文献: [1] 彭家贵,陈卿.微分几何[M].北京:高等教育出版 社,2002. [2] 项武义,侯自新,孟道骥.李群讲义[M].北京:高等 教育出版社,2014.
设光滑正则曲面
,n 为S 的单位法向量,考虑
其法向变分曲面族
,这里
为S 上的光滑
函数,t 为参数。注意到n 为S 上点r 在Guass映射的像,即
,曲面族表为
,且
这里
为S 的Weingarten映射。故 的面积元素
(略去t的二阶项)近似为
,后者为点r 处由
张成的微分长方形在映射 下的像的面积元素。
由平均曲率定义
作为一类李群,矩阵变换群是刻画几何、物理系统对称性 的重要工具,在现代数学和物理中有着重要的地位。本文从矩 阵变换群的角度解释了曲线、曲面的运动公式的系数矩阵的反 对称性,并给出了极小曲面的几何理解。
考虑一般线性群
,作为一类李群,指数映
给出了从
的李代数
到一般线性群
的映射,
且
为过点
的一曲线,其中A 称为
处单位右
手正交标
平移到基点
后,由标架的正交
性可得存在唯一的正交变换
变该单位右手正
交标架为基点
的单位右手正交标架,且正交变换群R
的生成子恰好是正交标架运动方程的系数矩阵,这揭示了曲面 正交标架运动方程的系数矩阵的反对称性。
最后给出极小曲面的几何理解。R 3中曲面S 称为极小曲面, 若S 的平均曲率为零。S 是极小曲面为当且仅当对任意法向变 分,它是面积泛函的临界点。