最后更新: 2025-06-22 09:47 查看: 56 次纠错评论(0) 课件开VIP

第1节外微分浅谈绪论

## 外微分浅谈 绪论
在 《理解黎曼几何》系列，笔者分享了一些黎曼几何的＂几何＂心得，同时遗留了一个问题：怎么真正地去算黎曼张量？MTW的《引力论》中提到了一种基于外微分的方法，可是我不熟悉外微分，遂学习了一番。确实，是《引力论》中快捷计算曲率张量的步骤让笔者决定深入了解外微分的。果然，可观的效益是第一推动力。

这系列文章主要分享一些外微分的学习心得，曾经过多次修改和完善，包含的内容很多，比如外积、活动标架、外微分及其在黎曼几何的一些应用等，最后包括一种计算曲率的有效方式。

符号说明：在本系列中，用粗体的字母表示向量、矩阵以及基底，用普通字母来表示标量，它有可能是一个标量函数，也有可能是向量的分量，如无说明，则用 $n$ 表示空间（流形）的维度。本文中同样使用了爱因斯坦求和法则，即相同的上下指标表示 $1 \sim n$ 遍历求和，即 $\alpha_\mu \beta^\mu=\sum_{\mu=1}^n \alpha_\mu \beta^\mu$ ，习惯上将下标写在前面，比如 $\alpha_\mu \beta^\mu$ 事实上跟 $\beta^\mu \alpha_\mu$ 等价，但习惯写成前者。常用的一些记号是：$\mu, \nu$ 表示分量指标，$x^\mu$ 表示点的坐标分量，$d x^\mu$ 表示切向量（微元）的分量，$\alpha, \beta, \omega$ 等希腊字母也常用来表示微分形式。符号的使用有重复的地方，但符号的意义基本都在符号出现的附近有说明，因此应该不至于混淆。

最后，就是笔者其实对外微分还不是特别有感觉，因此文章中可能出现谬误之处，请读者见谅并指出。本系列命名为＂外微分浅谈＂，不是谦虚，确实是很浅，认识得浅，说的也很浅～

## 向量的启发  
从我们高中时学习了向量这一概念开始，向量就包含着两种运算方法，一种是建立坐标系，然后用坐标来运算，另外一种是直接用向量的法则运算。为了应付高考中的立体几何，学生们联系得比较多的是建立坐标系来运算，也就是分量语言。但事实上分量语言有时候妨碍了我们对向量作为＂客观实体＂的认识，而且分量语言并不一定都很简单。比如，考虑下面简单的题目：

> 设 $A , B$ 是两个模长相等的向量，证明 $A - B$ 垂直于 $A + B$ 。

这道题目标准的答案应该是 $( A - B ) \cdot( A + B )= A ^2- B ^2=0$ ，所以得到 $A - B$ 垂直于 $A + B$ 。相信没有人愿意建立坐标系，然后给出每个分量后再运算。而且，这个结论是对任意维空间都成立的 ，而一旦建立了坐标系，事实上意味着就固定了空间的维数，将一般的结论特殊化了。也就是说，这里存在一种纯粹向量的形式语言，对描述和运算＂客观实体＂的向量有着独特的优势。

注：本文和《理解黎曼几何》系列的向量，用张量的语言来看，都是逆变向量。事实上，我认为协变和逆变的概念是没有必要的，真正的向量都是逆变的，而所谓协变向量只是纯粹定义出来的。从几何的角度来看，没有逆变和协变的概念，照样可以顺利完成所需要做的事情，我们不需要知道一个量是协变还是逆变的，只需要判断它是不是几何量就可以了。这样的做法可能在推导某些代数式子时会比较艰难，但在理解上更为深刻。

本文转载 科学空间 ， [原文地址](https://spaces.ac.cn/archives/4051)

科数题库(单机版) 会议室预约系统(book)

今日还可看 0 篇未注册用户每天查看4篇，注册用户每天8篇，开通VIP会员无限制查看。

免费注册

《高等数学》难点解析

高数教程 泰勒公式切线与法线切平面与法平面驻点·拐点·极值点·零点间断点渐进线瑕积分欧拉方程伯努利方程 Abel 收敛定理偏导数的几何意义偏导数的几何意义梯度数量场与向量场多元函数极值拉格朗日算子通量与散度环流量与旋度格林公式高斯公式斯托克斯公式三大公式比较傅里叶级数极坐标微元点法式方程变上限定积分 X型计算面积 Y型计算面积微分的意义渐近线间断点 y''+py'+qy=f(x)方程高斯黎曼傅里叶变换(复数) 拉普拉斯变换(复数)

《线性代数》难点解析

线代教程 近世代数对数学的整体思考线性的意义矩阵乘法(列视角) 矩阵乘法(行视角) 矩阵左乘矩阵右乘逆矩阵求解方程组阶梯形矩阵的求法方程组解的判定四阶行列式的计算线性变换的意义线性空间向量组的等价线性空间的几何意义基础解系的求法施密特正交化特征值与特征向量的意义矩阵相似的几何意义矩阵可对角化的理解秩的意义(向量版) 秩的意义(方程版) 二次型的意义

《概率论与数理统计》难点解析

概率教程 置信区间与上a分位数概率中的“取”与“放” 贝叶斯公式全概率公式泊松分布指数分布伽玛分布二维密度图的意义卷积的意义相关系数的意义 k阶矩是与矩母函数卡方分布的作用单正态区间估计理解假设检验理解切比雪夫不等式中心极限定理

上一篇：第8节处处皆几何 (力学几何化)

下一篇：第2节外微分浅谈反对称的威力

本文对您是否有用？有用 (0) 无用 (0)

第1节 外微分浅谈 绪论

《高等数学》难点解析

《线性代数》难点解析

《概率论与数理统计》难点解析

第1节外微分浅谈绪论