平面射影几何PLANEPROJECTIVEGEOMETRY1射影平面射影.PDFVIP

平平平面面面射射射影影影幾幾幾何何何 坐坌坁坎坅 坐坒坏坊坅坃坔坉坖坅 均坅坏坍坅坔坒坙 邱鴻麟 圱圮 射影平面 射影平面就是圲維射影空間 圮 他有幾種表現方式圮 在圱圩 圽 场 射影平面就是歐式平面 圬 再加上一條無窮遠點所構成的直線 圮 在圲圩 圽 场 以球面 來理解 圬 但是需把對徑點在即直徑兩端點圩視 同為一個點圮 在圳圩 圽 坳坥坭坩圭坳坰坨坥坲坥 场 如果拿掉在開的圩西半球面圬 則 就是東半球面圬 但是位在子 午線的對徑點被視為同一點圮 在圴圩 圽 地 场 把射影平面看成是空間 地圬 而每一條通過原點的直線視為一 點圮 第 在圲圩圬 在圳圩 和 在圴圩 是把射影平面理解為一個商空間圬 其拓樸是商拓樸圮 圲圮 射影變換 射影變換就是一串的平行光 射和點光源 射圮 換句話說圬 由平行光 射和點光源 射 所生成的群為射影變換群圬 其為射影幾何的對稱群圮 定定定理理理 圲圮圱圮 射 圈 场 是一個仿射變換的充要條件是它保直線和平行性 對於平行光 射 圈 场 圬 容易看 出它把無窮遠點 射到無窮遠點圬 有限點 射到有 限點圬 所以 圈 可以被限制到 上圬 成為 上的一個 射圮 又因為在 上圬 它保直線和平 行性圬 由定理 圲圮圱圬 可知 圈 是一個仿射變換圮 對於點光源 射可分為兩種情況圮 若 圬 則情況與平行光 射相 同圬 因此當它被限 制在 上時是一個仿射變換圮 在 上賦予直角座標 在 圩圬 則 其 射有如下形式场 在圲圮圱圩 圈在 圩 圽 在 圫 圫 圫 圫 圩 現在不一樣的情況是當 和 不平行時圬 此時點光源 射會把某一條有限點所構成的 直線 射到 圮 直線 上的點可以被理解為點光源 射的極點在坰坯坬坥坳圩圮 假設在直角座標 下圬 直線 的方程式是 在圲圮圲圩 圫 圫 圽 地 則我們可以大膽猜測此點光源 射應有如下形式场 圫 圫 圫 圫 在圲圮圳圩 圈在 圩 圽 在 圩 圫 圫 圫 圫 圳圮 再論射影變換 若把 理解成商空間 地 圬 則射影變換可如下定義场 令 圽 在 圩 在圳圩圬 則 在 上定義了一個線性變換圮 因為線性變換把通過原點的直線 射到通過原點的直線圬 所 以 在 誘導出一個 射圬 記成 圈 圮 若賦予齊次坐標场 在圳