德扎格平面(Desargues plane)是一類射影平面,能使德扎格定理成立的射影平面,德扎格定理斷言:若O,A1,B1,C1,A2,B2,C2是相異點,且OA1A2,OB1B2,OC1C2是相異線,線A1B1與A2B2交於點C3,線A1C1與A2C2交於點B3,線B1C1與B2C2交於點A3,則點A3,B3,C3落在同一條線上,以有限域上3維向量作為齊次坐標所得到的射影平面是德扎格平面,並非所有的射影平面都是德扎格平面,不能使德扎格定理成立的射影平面稱為非德扎格平面。
基本介紹
- 中文名:Desargues平面
- 外文名:Desargues plane
- 所屬學科:數學(組合學)
- 簡介:能使德扎格定理成立的射影平面
- 別稱:德扎格平面
基本介紹,相關定理,
基本介紹
定義Desargues定理成立的射影平面稱德扎格(Desargues)平面。
下面介紹Desargues定理。
Desargues定理是射影幾何中的基本定理之一。對任意素數冪q,Desargues定理在
中都成立。還將給出Desargues定理不成立的有限射影平面的例子。
![](/img/9/663/a949be45d1c0537185694c192dda.jpg)
設q為素數冪,以
表示Fq上的n維向量空間,則
便是以
中1維子空間為點,2維子空間為線,以子空間的包含關係為關聯關係所得的q階射影平面。設x為
中的一個非零向量,用[x]表示由x生成的一維子空間亦即
中的點,則對任意λ∈
,顯然有[x]=[λx],即
中的點與表示此點的非零向量的選取無關。設[x]與[y]為兩個不同的點,則[x]與[y]同時包含在唯一的一條直線L上,此處L由所有滿足下述條件的q+1個點[x]組成:
![](/img/6/ba0/86db7be08a2511465af2c0d9df12.jpg)
![](/img/9/663/a949be45d1c0537185694c192dda.jpg)
![](/img/3/866/80605c1364d1b9222cee9dcb8bfc.jpg)
![](/img/c/1a0/91e5b45952c39bd07aedd972bf4e.jpg)
![](/img/9/663/a949be45d1c0537185694c192dda.jpg)
![](/img/3/02a/e403e909149f00c529732a34b0a6.jpg)
![](/img/9/663/a949be45d1c0537185694c192dda.jpg)
![](/img/a/eb8/52846539520d32cb993a012f1807.jpg)
定理1在PG(2,q)中,Desargues定理成立,即設3條不同的直線A1A2、B1B2、C1C2相交於同一點,X為不同A1、A2、B1、B2、C1、C2的一點。又設A1B1、A2B2,A1C1、A2C2,B1C1、B2C2分別交於點P、Q、R,則P、Q、R3點共線。
相關定理
定理2對任意素數冪q,
是Desargues平面。
![](/img/9/663/a949be45d1c0537185694c192dda.jpg)
存在非Desargues平面,見下例。
【例1】設n=9,9階射影平面是一個
。在
上構造一個9階射影平面。為方便計,把V中的元素(i,j)記作
,作出
上的如下91條直線:
![](/img/0/ff5/9c22e10616e2559cd87307aaad97.jpg)
![](/img/8/963/028976b2ff54a7ae1b4f6c5735d6.jpg)
![](/img/4/c8f/4499d6e600d010ee62565d88fb46.jpg)
![](/img/8/65b/85f7dcbe559f313eabe5b92b0b05.jpg)
![](/img/e/682/32bf29bb95e0343a1a021b5758d3.jpg)
![](/img/d/80a/0645173091da6ac407f5a221b89b.jpg)
![](/img/6/c6f/a2fa0c25e785a4c784a6afed8743.jpg)
![](/img/2/646/79222b982b074c97c44db1546956.jpg)
![](/img/0/503/ea96470985cce40cf4eebcb5bf3b.jpg)
![](/img/f/1d2/5577207e3498870801e0e63c1546.jpg)
![](/img/d/4b2/fb7a7fe83c180666950b8a741b1b.jpg)
![](/img/1/0be/1a1421c7d0acd99867bbed89c190.jpg)
則由這些直線組成Z13×Z9上的一個9階射影平面π。今證在該平面中Desaugues定理並不成立。因若取
![](/img/6/850/d01c67d0e0c5f68c9e86f9e18ced.jpg)
![](/img/d/736/a28ad81cc520a38e63e0fb2b7362.jpg)
![](/img/9/a74/82c5a0589998dead5b1f6ddd9bbe.jpg)
![](/img/d/75f/7e95591601efac2b991c629bc1a2.jpg)
![](/img/1/47c/db0f74da71434acfee02eb858409.jpg)
![](/img/f/65d/336f2aa336541d616eea267ddc8d.jpg)
![](/img/4/bc4/a8af2cc9768ecb3300916247b993.jpg)