對極幾何

對極幾何係處理立體視覺嘅幾何，意指兩台相機從兩笪埞唔同嘅嚟睇一幅 3D 場景嗰陣，啲3D 點戥佢哋啲 2D 投影存在有好多啲幾何拏褦，啲喺圖像點之間造成咗一啲約束條件。一般嚟講，啲拏褦可以基於近似假設相機成針孔相機模型推導出嚟；但一啲特殊嘅相機會需要到遞啲模型。對極幾何係八點算法或者多視角幾何嘅基礎概念，雖然啲後者對原本嘅過程有返唔同程度嘅擴展。

定義 
下圖描繪咗兩台睇住點嘅針孔相機。喺真實嘅相機中，圖像面實際上係擺喺焦點後，並產生啲圖像係關於鏡頭焦點中心對稱嘅。之不過，爲咗方便，對極幾何入便擺啲圖像面去焦點中心前面，嚟保持啲圖像上下左右嘸因對稱性而翻轉。其中，同代表緊兩台相機鏡頭嘅對稱中心。 作爲兩台相機關注緊嘅點，個點同個即係點喺啲圖像面上嘅投影。

每台相機都影到 3D 世界嘅 2D 圖像。噉樣嘅從 3D 到 2D 嘅轉換喊做透視投影，係攞針孔相機模型嚟描述。建模好多時係透過啲射線係從某相機發出而且穿過佢個焦點中心嘅嚟做投影。每條發出嘅光線對應圖像嗰度嘅一粒點。

相關概念 
兩粒相機焦點中心連成嘅線係「基線」，條線戥粒 3D 點構成嘅平面喊做「對極平面」。基線戥兩幅圖像交叉嘅兩粒點 、喊做「對極點」，係邊一幅圖像就係邊一台相機嘅對極點；亦都可以話，係台相機個中心發嘅射線穿過第個中心嗰陣，戥台機幅圖像面交叉嘅點。一條「對極線」係喺一幅圖像上，投影點譬如 戥對極點 連成嘅線；對極線亦都可以話係幅對極平面戥兩便圖像面嘅兩條交線，或者話係喺一幅圖像度睇到嘅一串點重疊、喺第幅圖像度反映成嘅線。

特殊情況下，兩台相機圖像面係平行嘅嗰陣，條基線亦都平行於啲圖像面，而啲對極線係一排平行線。

對極約束 
令係兩 

再乘埋，因爲佢戥正交，得到

即有對極約束式：

令，即當乘積係本質矩陣，所以改寫成：

對於啲圖像面座標，同埋某個對應嘅深度距離 ，有：

所以從一幅圖面轉到另一幅圖面嘅對極約束式都幾乎相同：

未校準相機 
相機座標系啲點座標未必可以代表佢喺圖像上對應像素點；所以引入校準矩陣，係噉啲圖像面座標同 

係噉原對極約束式可以轉成式：

令，即當乘積係基礎矩陣，可以改寫成未校準相機嘅對極約束式：

另外，從對極平面直接映射可以有以下證明：

令點喺兩便圖像噶投影點座標，因爲喺經嘅射線上，所以有對極線、上高有點嘅；因爲都係喺對極平面  嘅像，因爲兩者射影等價於點集，所以互相之間有2D單映射關係；因爲對極線係穿過對極點，所以；係噉可以令。而對於某一點喺上，有，即有對極約束條件。

對極約束同三角測量 
若果兩台相機嘅相對位置已知，有以下兩個重要嘅觀察結果：

假設投影點 已知，對極線已知，而且點投影到右圖度嘅點 上，位於條特定嘅對極線度。即係話對於幅圖像入便觀察到嘅每粒點，都必然喺第幅圖像上一條已知對極線度觀察到。係噉有極線約束：喺右相機平面上嘅投影 必須包含喺對極線當中。所有啲點譬如、、喺上嘅都可以驗證返呢個約束。噉樣即係可以測試到兩粒點係咪對應返同一粒 3D 點。啲對極約束亦都可以通過兩台相機之間嘅本質矩陣或者基礎矩陣嚟描述到。
 若果點 同 已知，係噉佢哋啲投影線亦都係已知嘅。若果兩粒圖像點對應返相同嘅 3D 點，係噉投影線必須喺度精確相交。即係話，可以根據兩粒圖像點嘅坐標計返，即所謂嘅三角測量。

簡化案例 
對極幾何可以簡化，如果兩台相機啲圖像平面吻合嘅話。喺種情況下，對極線亦都吻合埋。另外，啲對極線係平行於基線，而且可以喺實踐中戥所述兩個圖像嘅水平軸對齊返。噉樣即係對於一幅圖像啲每粒點，只需沿水平線查睇就搵得到佢對應第幅圖像粒點。

如果相機位置唔可以噉擺法，係噉嚟自啲相機嘅嗰啲圖像坐標可以轉換到模擬得出有返公共嘅圖像面。個過程喊做圖像校正。

推掃式相機嘅對極幾何 
戥使用二維CCD嘅傳統frame相機唔同，推掃式相機採用一維CCD陣列來產生又長又連續嘅圖像帶，叫做「圖像地毯」。呢種傳感器嘅對極幾何形狀戥針孔投影相機嘅極線幾何形狀完全唔同。首先，推掃式傳感器嘅對極線唔係直線，而係雙曲線。其次，對極「曲線」pair唔存在。 之喺一些特殊條件下，衛星圖像嘅對極幾何可以認為係一種線性模型。

3D重建
 由多幅圖整 3D 重建
 3D掃描儀
 雙目視差
 共線性方程
 攝影測量
 本質矩陣，基礎矩陣
 三焦張量

考

讀埋 

，電腦視覺嘅經典著作之一。

電腦視覺