Excalidraw镜像上线：为开发者提供极致简化的绘图协作环境
2025/12/21 6:48:14
三维实射影空间RP3\mathbb{RP}^3RP3是三维空间中所有过原点的直线的集合，通过等价关系“两条直线等价当且仅当它们共线”构造而成。其核心性质、构造方式及与SO(3)SO(3)SO(3)的同胚关系可分述如下：
一、核心性质
拓扑结构
RP3\mathbb{RP}^3RP3是一个紧致、连通、无边界的三维流形，其维数与欧氏空间R3\mathbb{R}^3R3相同，但全局拓扑性质不同。例如：- 任何两个平面在RP3\mathbb{RP}^3RP3中必相交于一条直线（而非欧氏空间中的平行或异面）。
-RP3\mathbb{RP}^3RP3不可嵌入R3\mathbb{R}^3R3中而不自交，但可嵌入R4\mathbb{R}^4R4。
- 任何两个平面在RP3\mathbb{RP}^3RP3中必相交于一条直线（而非欧氏空间中的平行或异面）。
微分结构
RP3\mathbb{RP}^3RP3是可微分流形，其微分结构由局部坐标卡（如齐次坐标）和光滑过渡映射定义，允许在其上研究光滑函数和向量场。对称性
RP3\mathbb{RP}^3RP3是齐性空间，其自同构群为射影线性群PGL(4,R)PGL(4, \mathbb{R})PGL(4,R)，即所有可逆线性变换在商空间下的作用。
二、构造方式
齐次坐标表示
用四元齐次坐标[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）。球面商空间构造
- 将三维单位球面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，其拓扑结构与齐次坐标定义一致。
局部坐标卡
- 例如，取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]↦(x0x1,x0x2,x0x3). - 类似地可定义其他坐标卡UiU_iUi（i=1,2,3i = 1, 2, 3i=1,2,3），覆盖整个RP3\mathbb{RP}^3RP3。
- 例如，取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}，则局部坐标映射为：
三、与SO(3)SO(3)SO(3)的同胚关系
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。其拓扑结构为紧致连通李群。同胚证明的核心思想
- 单位四元数表示：三维旋转可由单位四元数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。
几何意义
-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)]的等价类。