三维实射影空间 RP3

三维实射影空间RP3\mathbb{RP}^3RP3是三维空间中所有过原点的直线的集合，通过等价关系“两条直线等价当且仅当它们共线”构造而成。其核心性质、构造方式及与SO(3)SO(3)SO(3)的同胚关系可分述如下：

一、核心性质

1. 拓扑结构
   RP3\mathbb{RP}^3RP3是一个紧致、连通、无边界的三维流形，其维数与欧氏空间R3\mathbb{R}^3R3相同，但全局拓扑性质不同。例如：

   • 任何两个平面在RP3\mathbb{RP}^3RP3中必相交于一条直线（而非欧氏空间中的平行或异面）。
     -RP3\mathbb{RP}^3RP3不可嵌入R3\mathbb{R}^3R3中而不自交，但可嵌入R4\mathbb{R}^4R4。

2. 微分结构
   RP3\mathbb{RP}^3RP3是可微分流形，其微分结构由局部坐标卡（如齐次坐标）和光滑过渡映射定义，允许在其上研究光滑函数和向量场。

3. 对称性
   RP3\mathbb{RP}^3RP3是齐性空间，其自同构群为射影线性群PGL(4,R)PGL(4, \mathbb{R})PGL(4,R)，即所有可逆线性变换在商空间下的作用。

二、构造方式

1. 齐次坐标表示
   用四元齐次坐标[x0:x1:x2:x3][x_0 : x_1 : x_2 : x_3][x0​:x1​:x2​:x3​]表示点，其中(x0,x1,x2,x3)∈R4∖{0}(x_0, x_1, x_2, x_3) \in \mathbb{R}^4 \setminus \{0\}(x0​,x1​,x2​,x3​)∈R4∖{0}，且等价类[x0:x1:x2:x3]=[λx0:λx1:λx2:λx3][x_0 : x_1 : x_2 : x_3] = [\lambda x_0 : \lambda x_1 : \lambda x_2 : \lambda x_3][x0​:x1​:x2​:x3​]=[λx0​:λx1​:λx2​:λx3​]（λ≠0\lambda \neq 0λ=0）。

2. 球面商空间构造

   • 将三维单位球面S3={(x0,x1,x2,x3)∈R4∣x02+x12+x22+x32=1}S^3 = \{ (x_0, x_1, x_2, x_3) \in \mathbb{R}^4 \mid x_0^2 + x_1^2 + x_2^2 + x_3^2 = 1 \}S3={(x0​,x1​,x2​,x3​)∈R4∣x02​+x12​+x22​+x32​=1}上的对径点（即x\mathbf{x}x和−x-\mathbf{x}−x）视为同一等价类。
   • 商空间S3/{x∼−x}S^3 / \{\mathbf{x} \sim -\mathbf{x}\}S3/{x∼−x}即为RP3\mathbb{RP}^3RP3，其拓扑结构与齐次坐标定义一致。

3. 局部坐标卡

   • 例如，取U0={[x0:x1:x2:x3]∣x0≠0}U_0 = \{ [x_0 : x_1 : x_2 : x_3] \mid x_0 \neq 0 \}U0​={[x0​:x1​:x2​:x3​]∣x0​=0}，则局部坐标映射为：
     ϕ0:U0→R3,[x0:x1:x2:x3]↦(x1x0,x2x0,x3x0).\phi_0 : U_0 \to \mathbb{R}^3, \quad [x_0 : x_1 : x_2 : x_3] \mapsto \left( \frac{x_1}{x_0}, \frac{x_2}{x_0}, \frac{x_3}{x_0} \right).ϕ0​:U0​→R3,[x0​:x1​:x2​:x3​]↦(x0​x1​​,x0​x2​​,x0​x3​​).
   • 类似地可定义其他坐标卡UiU_iUi​（i=1,2,3i = 1, 2, 3i=1,2,3），覆盖整个RP3\mathbb{RP}^3RP3。

三、与SO(3)SO(3)SO(3)的同胚关系

1. SO(3)SO(3)SO(3)的定义
   SO(3)SO(3)SO(3)是三维旋转矩阵的集合，满足R⊤R=IR^\top R = IR⊤R=I且det⁡(R)=1\det(R) = 1det(R)=1。其拓扑结构为紧致连通李群。

2. 同胚证明的核心思想

   • 单位四元数表示：三维旋转可由单位四元数q=(w,v)q = (w, \mathbf{v})q=(w,v)（w2+∥v∥2=1w^2 + \|\mathbf{v}\|^2 = 1w2+∥v∥2=1）表示，对应旋转轴v/∥v∥\mathbf{v}/\|\mathbf{v}\|v/∥v∥和旋转角2θ2\theta2θ（cos⁡θ=w\cos\theta = wcosθ=w）。
   • 对径点等价：四元数qqq和−q-q−q表示同一旋转，因此SO(3)SO(3)SO(3)同胚于单位四元数群S3S^3S3商去对径点后的空间，即S3/{q∼−q}S^3 / \{\mathbf{q} \sim -\mathbf{q}\}S3/{q∼−q}。
   • 与RP3\mathbb{RP}^3RP3的等价性：由球面商空间构造可知，S3/{q∼−q}≅RP3S^3 / \{\mathbf{q} \sim -\mathbf{q}\} \cong \mathbb{RP}^3S3/{q∼−q}≅RP3，故SO(3)≅RP3SO(3) \cong \mathbb{RP}^3SO(3)≅RP3。

3. 几何意义
   -SO(3)SO(3)SO(3)的每个旋转对应RP3\mathbb{RP}^3RP3中的一个点，反之亦然。

   • 例如，绕zzz-轴旋转角度θ\thetaθ的矩阵对应RP3\mathbb{RP}^3RP3中齐次坐标[cos⁡(θ/2):0:0:sin⁡(θ/2)][ \cos(\theta/2) : 0 : 0 : \sin(\theta/2) ][cos(θ/2):0:0:sin(θ/2)]的等价类。