对极几何原理

一. 对极几何基本概念

对极几何[Epipolar Geometry]描述的是两幅视图之间的内在射影关系，与外部场景无关，只依赖于摄像机内参数和这两幅试图之间的的相对姿态。

  

1. 基线[baseline]：直线CC'为基线。

2. 对极平面束[epipolar pencil]：以基线为轴的平面束。

3. 对极平面[epipolar plane]：任何包含基线的平面都称为对极平面。

4. 对极点[epipole]：摄像机的基线与每幅图像的交点。比如，上图中的点e和e'。

5. 对极线[epipolar line]：对极平面与图像的交线。比如，上图中的直线l和l'。

6. 5点共面：点x，x'，摄像机中心C、C'，空间点X是5点共面的。

7. 极线约束：两极线上点的对应关系。

说明：直线l是对应于点x'的极线，直线l'是对应于点x的极线。极线约束是指点x'一定在对应于x的极线l'上，点x一定在对应于x'的极线l上。

二. 对极几何原理

1. 理想模型

假设两个相机的内部参数一致，比如焦距、镜头等，为了数学描述的方便，需引入坐标，由于坐标是人为引入的，因此客观世界中的事物可以处于不同的坐标系中。假设两个相机的X轴方向一致，像平面重叠，坐标系以左相机为准，右相机相对于左相机是简单的平移，用坐标表示为(Tx,0,0)。如下所示：

在左右相机中像平面像点的坐标，如下所示：

综上可知，深度Z和视差d成反比，这也是为什么近的物体看起来比远的物体移动的快。

2. 实际模型

更一般的立体成像关系是两个相机的坐标无任何约束关系，相机的内部参数可能不同，甚至是未知的。要刻画这种情况下的两幅图像之间的对应关系，需要引入两个重要的概念：本征矩阵E和基本矩阵F。本征矩阵E包含物理空间中两个摄像机相关的旋转和平移信息，基本矩阵F除了包含E的信息外，还包含两个摄像机的内参数。本征矩阵E将左摄像机观测到的点的物理坐标与右摄像机观测到的相同点的位置关联起来。基本矩阵F则是将一台摄像机的像平面上的点在图像坐标[像素]上的坐标和另一台摄像机的像平面上的点关联起来。

[1]本质矩阵E

本质矩阵E的推导过程，如下所示：

，（R是正交矩阵），，，

，，，，，，

左像平面上的一点乘以本质矩阵E，结果为一条直线，该直线就是的对极线，且过在右像平面上的对应点。本质矩阵E的基本性质：秩为2，且仅依赖于外部参数R和T。其中，P表示物点矢量，p表示像点矢量。

[2]基本矩阵

由于本质矩阵E并不包含相机内参信息，且E是面向相机坐标系的。实际上，我们更感兴趣的是在像素坐标系上去研究一个像素点在另一视图上的对极线，这就需要用到相机内参信息将相机坐标系和像素坐标系联系起来。假设和是物理坐标值，其对应的像素坐标值为和，相机内参矩阵为M，那么。根据，那么。令基本矩阵，那么。

三. OpenCV双目相机标定实现 [7]

参考文献：

[1] 对极几何基本概念：对极几何基本概念_tina_ttl的博客-CSDN博客_对极几何

[2] 计算机视觉基础-视差与深度信息：计算机视觉基础1——视差与深度信息

[3] 计算机视觉基础-对极几何：计算机视觉基础4——对极几何(Epipolar Geometry)

[4] 计算机视觉基础-本质矩阵和基本矩阵：计算机视觉基础5——本质矩阵与基本矩阵(Essential and Fundamental Matrices)

[5] 本质矩阵和基础矩阵的区别是什么：本质矩阵和基础矩阵的区别是什么？ - 知乎

[6] 对极几何--本质矩阵E和基础矩阵F：对极几何——本质矩阵E和基础矩阵F_tanmengwen的博客-CSDN博客_对极几何本质矩阵

[7] OpenCV双目相机标定：opencv 双目相机标定 自带例子程序的使用_tony_3的博客-CSDN博客