微分几何入门与广义相对论:O(m)群(正交群,orthogonal group)
1.背景介绍
微分几何是研究曲线、曲面及更高维流形的几何性质的数学分支。它在物理学、工程学、计算机科学等领域有着广泛的应用。其中,O(m)群是描述欧几里德空间中旋转和反射变换的重要数学工具,在广义相对论中扮演着关键角色。
在相对论理论中,时空被描述为一个四维流形,其上的度规张量场描述了时空的度规关系。爱因斯坦的等效原理要求,在局部惯性坐标系中,物理定律应当与特殊相对论中的形式一致。这意味着,局部惯性坐标系中,时空的度规张量场应当是洛伦兹度规。因此,在相对论中,O(3,1)群扮演着至关重要的角色,描述了时空坐标系之间的变换关系。
2.核心概念与联系
2.1 流形
在微分几何中,流形(manifold)是一种拓扑空间,在每一点都有着与欧几里得空间同胚的邻域。简单地说,流形是一种可以在局部被视为欧几里得空间的空间。
2.2 李群和李代数
李群(Lie group)是一种具有连续对称性的群,可以用于描述连续变换。李代数(Lie algebra)是与之对应的无穷小变换的代数结构。O(m)群是一种重要的李群,描述了m维欧几里得空间中的旋转和反射变换。
2.3 切丛和切空间
切丛(tangent