3. 刚体变换与齐次矩阵:旋转矩阵、平移向量、齐次坐标、4x4齐次变换矩阵的数学表示

在3D视觉与手眼标定中,机器人末端执行器与相机之间的空间关系本质上是刚体变换。刚体变换保证物体在三维空间中只发生旋转和平移,不发生形变、缩放或剪切。本章将系统梳理刚体变换的数学工具:旋转矩阵、平移向量、齐次坐标以及4x4齐次变换矩阵,为后续标定方程建立奠定基础。

3.1 旋转矩阵:描述姿态的数学核心

旋转矩阵是一个3x3的正交矩阵,用于描述两个坐标系之间的旋转变换。设坐标系{A}与坐标系{B}原点重合,则{B}相对于{A}的姿态可由旋转矩阵 ABR 表示:

         [ r11  r12  r13 ]
ABR =  [ r21  r22  r23 ]
         [ r31  r32  r33 ]

旋转矩阵满足以下性质:

  • 正交性:RTR = I,R-1 = RT
  • 行列式为+1:det(R) = 1(右手系)
  • 列向量为单位向量且两两正交
关键理解:旋转矩阵的每一列代表被旋转坐标系{B}的基向量在参考坐标系{A}中的投影。例如,第一列 [r11, r21, r31]T 即为{B}的X轴在{A}中的方向余弦。

3.2 平移向量:描述位置的偏移

平移向量是一个3x1的列向量,表示两个坐标系原点之间的位移。设坐标系{B}的原点在坐标系{A}中的位置为 APBorg:

APBorg = [ x, y, z ]T

当已知空间中一点P在{B}中的坐标 BP,求该点在{A}中的坐标 AP 时,完整的刚体变换公式为:

AP = ABR · BP + APBorg
手眼标定中的物理意义:旋转矩阵描述相机与机器人末端之间的姿态差异,平移向量描述两者之间的位置偏移。两者共同构成6自由度(3旋转+3平移)的空间刚体关系。

3.3 齐次坐标:统一旋转与平移的数学工具

为了将旋转和平移统一为线性变换,引入齐次坐标。齐次坐标将三维点扩展为四维向量,在末尾添加一个缩放因子w(通常取1):

三维点 (x, y, z) → 齐次坐标 [x, y, z, 1]T
三维向量 (vx, vy, vz) → 齐次坐标 [vx, vy, vz, 0]T

齐次坐标的核心优势:

特性 欧氏坐标 齐次坐标
旋转+平移表示 分离为R和t 统一为4x4矩阵
变换复合 需分别计算 矩阵乘法串联
逆变换 RT 和 -RTt 4x4矩阵求逆
无穷远点表示 无法表示 w=0表示方向

3.4 4x4齐次变换矩阵:刚体变换的完整表达

将旋转矩阵R(3x3)和平移向量t(3x1)组合为4x4齐次变换矩阵T:

     [ R    t ]     [ r11  r12  r13  x ]
T =  [       ]  =  [ r21  r22  r23  y ]
     [ 0T   1 ]     [ r31  r32  r33  z ]
                     [  0    0    0   1 ]

其中:

  • 左上角3x3子块:旋转矩阵R
  • 右上角3x1子块:平移向量t
  • 左下角1x3子块:零向量
  • 右下角1x1子块:缩放因子1

使用齐次变换矩阵,点P的坐标变换简化为:

APhom = ABT · BPhom

其中 APhom 和 BPhom 均为齐次坐标形式。

常见误区:齐次变换矩阵的逆矩阵不是简单的转置,而是:
T-1 = [ RT -RTt ; 0T 1 ]。在手眼标定中,求逆操作频繁出现,务必使用正确公式。
刚体变换与齐次矩阵结构图 旋转矩阵 R (3x3) 描述姿态差异 正交矩阵 RTR = I det(R) = 1 3个旋转自由度 平移向量 t (3x1) 描述位置偏移 t = [x, y, z]T 原点间位移 3个平移自由度 齐次坐标 点: [x,y,z,1]T 向量: [vx,vy,vz,0]T 统一旋转+平移 支持矩阵乘法串联 4x4 齐次变换矩阵 T T = [ R t ; 0T 1 ] 复合变换:APhom = ABT · BPhom 逆变换:T-1 = [ RT -RTt ; 0T 1 ] 串联多个变换:TAC = TAB · TBC 输入 组合 6自由度刚体变换 = 3旋转自由度 (R) + 3平移自由度 (t),统一由4x4齐次变换矩阵表达

3.5 变换的复合与逆变换

在手眼标定中,经常需要将多个变换串联。设坐标系{A}到{B}的变换为 ABT,{B}到{C}的变换为 BCT,则{A}到{C}的复合变换为:

ACT = ABT · BCT

复合变换的物理意义:先进行 BCT 变换,再进行 ABT 变换。注意矩阵乘法不满足交换律,变换顺序至关重要。

逆变换用于从目标坐标系回到源坐标系:

BAT = (ABT)-1 = [ ABRT  -ABRT · APBorg ; 0T  1 ]
手眼标定中的典型变换链:
机器人基座 → 机器人末端 → 相机 → 标定板
每个环节都是一个4x4齐次变换矩阵,整个链路的复合变换构成标定方程的核心。

3.6 旋转矩阵的三种参数化方式

旋转矩阵虽然有9个元素,但只有3个自由度。实际应用中常用以下参数化方式:

参数化方式 表示形式 优点 缺点
欧拉角 (α, β, γ) 绕固定轴或动轴旋转 直观,3个参数 万向锁问题,不连续
旋转向量 θ·u (角度×单位轴) 紧凑,无冗余 需Rodrigues公式转换
四元数 q = (w, x, y, z) 无奇异性,插值平滑 需归一化,不直观
工程建议:在手眼标定求解过程中,内部计算推荐使用四元数或旋转向量避免奇异性;最终结果通常转换为旋转矩阵形式,便于与4x4齐次变换矩阵集成。
旋转矩阵参数化方式对比 欧拉角 (α, β, γ) 绕X-Y-Z轴旋转 直观易理解 存在万向锁 不连续性问题 3个参数 → 需转换矩阵 旋转向量 θ·u 角度×单位轴 紧凑无冗余 无奇异性 需Rodrigues公式 3个参数 → 指数映射 四元数 q = (w, x, y, z) 无奇异性 插值平滑 需归一化 不直观 4个参数(1约束) → 双覆盖 三种参数化方式均可转换为3x3旋转矩阵,最终嵌入4x4齐次变换矩阵参与手眼标定计算

3.7 本章小结

  • 旋转矩阵R:3x3正交矩阵,描述坐标系间的姿态关系,满足RTR=I且det(R)=1。
  • 平移向量t:3x1向量,描述坐标系原点间的位移。
  • 齐次坐标:将三维点扩展为四维向量,使旋转和平移可统一为线性变换。
  • 4x4齐次变换矩阵T:由R和t组合而成,是手眼标定中描述刚体变换的标准数学工具。
  • 变换复合:多个变换可通过矩阵乘法串联,变换顺序不可交换。
  • 逆变换:T-1 = [RT -RTt ; 0T 1],用于反向求解坐标系关系。