反饋

三維射影空間

三維射影空間(three-dimensional projective space)常簡稱射影空間，射影幾何研究的基本對象，指三維(空間)射影幾何的全體點的集合。三維歐氏空間(或仿射空間)添加一個平面(即無窮遠平面，它由所有直線上的無窮遠點組成)後稱為擴大空間，把擴大空間中的普通元素(點、直線和平面)和無窮遠元素不加區別同等看待，這空間就成為射影空間的一個模型，反過來，若在一個射影空間中任意取定一個平面，把它當做無窮遠平面，並把這平面上的點和直線當做無窮遠點和無窮遠直線，而將其餘的點、直線和平面都當做有窮點、有窮直線和有窮平面，則該空間就可看做一個歐氏空間(或仿射空間)的擴大空間，即去掉了無窮遠點後全體有窮點的集合是歐氏空間(仿射空間)，射影空間具有與歐氏空間(仿射空間)不同的性質，例如在射影空間中，任何一個平面都不能把射影空間分成兩部分，任何兩個平面都相交，但它們卻不能把射影空間分成四部分^[1] 。

中文名: 三維射影空間
外文名: three-dimensional projective space
所屬學科: 數學

簡稱: 射影空間
所屬問題: 高等幾何(射影幾何)
簡介: 三維射影幾何的全體點的集合

三維射影空間基本介紹

三維射影空間中心射影

在平面上任取兩條相交的直線a和a’(圖1)，並且在兩條直線外任取—點S，在直線a上取一點A₁，通過點S和點A₁引直線SA₁，設它與直線a'交於A'₁，則點A'₁叫做直線a上的點A₁在a'上的中心射影，點S叫做射影中心，直線SA₁叫做投射線^[2] 。

圖1

如果在直線a上取點A₂，A₃，……則用上述方法在直線a'上可以得到它們的射影A'₂，A'₃，……。

由點A₁，A₂，……求它們射影A'₁，A'₂，……的作法，叫做中心射影法。

從中心射影的定義，我們看出，如果A'₁是直線a上點A₁在直線a'上的射影，則A₁也是直線a'上點A'₁在直線a上的射影，一般來説對於直線a(或a’)上的一個點A(或A')總可以找到它在直線a'(或a)上的射影A'(或A)。但是我們看出，在歐幾里得平面上使用中心射影法將遇到困難，這就是直線a上的點在直線a'上不一定都有射影，同時直線a'上的點也可能不是直線a上任何點的射影。換句話説就是點與它的射影之間不能作成一一對應。

例如，在直線a上取點A_n使投射線SA_n平行於a'，由於在歐幾里得平面上平行線不相交，所以它在直線a'上沒有射影。同樣，如果在直線a'上取點A'_m，使投射線SA'_m平行於直線a，則它也不是直線a上任何點的射影。

因此，在歐幾里得平面上利用中心射影法所建立的點之間的對應不是一對一的；如果不消除這個缺點，則應用中心射影法研究問題就有很大的障礙，因此，我們有必要對歐幾里得平面進行某種改造，使改造後的平面，可以應用中心射影法建立點與它的射影之間的一一對應，而沒有任何例外^[2] 。

三維射影空間無窮遠元素的引入

我們將要建立的射影變換，必須是元素間一一的對應，而且要把直線變成直線，這樣才能包括仿射和正交變換，但是在歐氏平面上直線和直線之間在中心射影下不能建立點的一一對應，這就使我們遇到了很大的障礙，因此必須對歐氏平面進行拓廣，使它成為一種新的平面，在這個平面上，利用中心射影法，能夠使直線和直線間的點建立一一對應，究竟怎樣對歐氏平面加以拓廣呢？這就是引進無窮遠元素．我們約定^[2] ：

約定1 所有的在同一方向上平行的直線族，相交於同一個點，這個點叫做無窮遠點或理想點，用A_∞、B_∞等表示。

根據這一約定，在不同方向上的平行直線族必然交於不同的無窮遠點，否則兩組不同的平行線將成為在同一方向上平行的直線，這與已知矛盾。因為平面上的直線可有無窮多個方向，因此，平面上將有無窮多個無窮遠點。

約定2 平面上所有無窮遠點的集合組成一條直線，這條直線叫做無窮遠直線，用a_∞、b_∞等表示。

無窮遠直線實際是三維空間中平行平面的交線。

這樣，我們就在每一個歐氏直線上添加了一個無窮遠點，在每一個歐氏平面上添加了一條無窮遠直線。

定義增加了無窮遠點的直線叫做射影直線，增加了無窮遠直線的平面叫做射影平面。

我們還可以定義三維的射影空間。那就是增加第三個約定。

約定3 空間內一切無窮遠點的集合組成一個平面，這個平面叫做無窮遠平面。常用

來表示。