微分拓扑基础与相关数学概念解析
1. 特殊矩阵集合构成的流形
在数学中，一些特定的矩阵集合具有流形的性质。首先是行列式为 1 的矩阵集合 (SL(n))，它是一个维度为 (n^2 - 1) 的流形。这可以通过验证 1 是行列式函数 (\text{det}: \mathbb{R}^{n\times n} \to \mathbb{R}) 的正则值来证明。
另一个重要的矩阵集合是 (\mathbb{R}^{3\times3}) 中行列式为 1 的正交矩阵集合 (SO(3))，它是一个维度为 3 的流形。对于矩阵 (A \in SO(3))，具有以下特征：
(\sum_{j=1}^{3} a_{ij}^2 = 1)，(i = 1, 2, 3)；
(\sum_{j=1}^{3} a_{1j}a_{2j} = 0)；
(\sum_{j=1}^{3} a_{1j}a_{3j} = 0)；
(\sum_{j=1}^{3} a_{2j}a_{3j} = 0)。
这个流形特别重要，因为它可以用来模拟空间中刚体的所有方向。将其推广到 (n\times n) 矩阵空间，记为 (SO(n))，它是一个维度为 (\frac{n(n - 1)}{2}) 的流形。
2. 带边界的流形
之前定义的流形没有边界，即每个点的邻域都与 (\mathbb{R}^n) 微分同胚。但像实心球体或实心圆柱体这样的物体，其内部有与 (\mathbb{R}^n) 的开子集微分同胚的开邻域，但其表面（或边界）与 (\mathbb{R}^n) 不是微分同胚的。
为了处理这类物体，我们引入带边界的流形。定义 (H^n = {(x_1,
