请输入您要查询的百科知识:

 

词条 Non-Desarguesian plane
释义

  1. Examples

  2. Classification

  3. Conics

  4. Notes

  5. References

In mathematics, a non-Desarguesian plane, named after Girard Desargues, is a projective plane that does not satisfy Desargues' theorem, or in other words a plane that is not a Desarguesian plane. The theorem of Desargues is valid in all projective spaces of dimension not 2,[1] that is, all the classical projective geometries over a field (or division ring), but David Hilbert found that some projective planes do not satisfy it. Understanding of these examples is not complete, in the current state of knowledge.

Examples

Several examples are also finite. For a finite projective plane, the order is one less than the number of points on a line (a constant for every line). Some of the known examples of non-Desarguesian planes include:

  • The Moulton plane.
  • Every projective plane of order at most 8 is Desarguesian, but there are three non-Desarguesian examples of order 9, each with 91 points and 91 lines.[2]
  • Hughes planes.
  • Moufang planes over alternative division rings that are not associative, such as the projective plane over the octonions.
  • Hall planes.
  • André planes.

Classification

According to {{harvtxt|Weibel|2007|loc= pg. 1296}}, Hanfried Lenz gave a classification scheme for projective planes in 1954[3] and this was refined by Adriano Barlotti in 1957.[4] This classification scheme is based on the types of point–line transitivity permitted by the collineation group of the plane and is known as the Lenz–Barlotti classification of projective planes. The list of 53 types is given in {{harvtxt|Dembowski|1968|loc= pp.124–5}} and a table of the then known existence results (for both collineation groups and planes having such a collineation group) in both the finite and infinite cases appears on page 126. According to Charles Weibel, "36 of them exist as finite groups. Between 7 and 12 exist as finite projective planes, and either 14 or 15 exist as infinite projective planes."

Other classification schemes exist. One of the simplest is based on the type of planar ternary ring (PTR) which can be used to coordinatize the projective plane. The types are fields, skewfields, alternative division rings, semifields, nearfields, right nearfields, quasifields and right quasifields.[5]

Conics

In a Desarguesian projective plane a conic can be defined in several different ways that can be proved to be equivalent. In non-Desarguesian planes these proofs are no longer valid and the different definitions can give rise to non-equivalent objects.[6] Theodore G. Ostrom had suggested the name conicoid for these conic-like figures but did not provide a formal definition and the term does not seem to be widely used.[7]

There are several ways that conics can be defined in Desarguesian planes:

  1. The set of absolute points of a polarity is known as a von Staudt conic. If the plane is defined over a field of characteristic two, only degenerate conics are obtained.
  2. The set of points of intersection of corresponding lines of two pencils which are projectively, but not perspectively, related is known as a Steiner conic. If the pencils are perspectively related, the conic is degenerate.
  3. The set of points whose coordinates satisfy an irreducible homogeneous equation of degree two.

Furthermore, in a finite Desarguesian plane:

  1. The set of {{mvar|q}} + 1 points, no three collinear in PG(2,{{mvar|q}}) is called an oval. If {{mvar|q}} is odd, an oval is a conic – in sense 3 above.
  2. An Ostrom conic (defined below) based on a generalization of harmonic sets.

Artzy has given an example of a Steiner conic in a Moufang plane which is not a von Staudt conic.[8] Garner gives an example of a von Staudt conic that is not an Ostrom conic in a finite semifield plane.[6]

Notes

1. ^Desargues' theorem is vacuously true in dimension 1; it is only problematic in dimension 2.
2. ^see {{harvnb|Room|Kirkpatrick|1971}} for descriptions of all four planes of order 9.
3. ^{{cite journal|last=Lenz|first=Hanfried|title=Kleiner desarguesscher Satz und Dualitat in projektiven Ebenen|journal=Jahresbericht der Deutschen Mathematiker-Vereinigung|year=1954|volume=57|pages=20–31|mr=0061844}}
4. ^{{cite journal|last=Barlotti|first=Adriano|title=Le possibili configurazioni del sistema delle coppie punto-retta (A,a) per cui un piano grafico risulta (A,a)-transitivo|journal=Boll. Un. Mat. Ital.|year=1957|volume=12|pages=212–226|mr=0089435}}
5. ^{{harvnb|Colbourn|Dinitz|2007|loc= pg. 723}} article on Finite Geometry by Leo Storme.
6. ^{{citation|first=Cyril W L.|last=Garner|title=Conics in Finite Projective Planes|journal=Journal of Geometry|year=1979|volume=12|issue=2|pages=132–138|doi=10.1007/bf01918221|mr=0525253}}
7. ^{{citation|first=T.G.|last=Ostrom|chapter=Conicoids: Conic-like figures in Non-Pappian planes|editor1-first=Peter|editor1-last=Plaumann|editor2-first=Karl|editor2-last=Strambach|title=Geometry - von Staudt's Point of View|publication-date=1981|publisher=D. Reidel|pages=175–196|isbn=90-277-1283-2|mr=0621316}}
8. ^{{citation|first=R.|last=Artzy|title=The Conic y = x2 in Moufang Planes|journal=Aequationes Mathematicae|year=1971|volume=6|pages=30–35|doi=10.1007/bf01833234}}

References

  • {{Citation | last1 = Albert | first1 = A. Adrian | last2 = Sandler | first2 = Reuben | title = An Introduction to Finite Projective Planes | publisher = Holt, Rinehart and Winston | place = New York | year = 1968}}
  • {{citation|last1=Colbourn|first1=Charles J.|last2=Dinitz|first2=Jeffrey H.|title=Handbook of Combinatorial Designs|year=2007|publisher=Chapman & Hall/ CRC|location=Boca Raton|isbn=1-58488-506-8|edition=2nd}}
  • {{Citation | last = Dembowski | first = Peter | title = Finite Geometries | publisher = Springer Verlag | place = Berlin | year = 1968}}
  • {{Citation | last1=Hall | first1=Marshall | title=Projective planes | jstor=1990331 | mr=0008892 | year=1943 | journal=Transactions of the American Mathematical Society | issn=0002-9947 | volume=54 | pages=229–277 | issue=2 | publisher=American Mathematical Society | doi=10.2307/1990331}}
  • {{Citation | last1 = Hughes | first1 = Daniel R. | last2 = Piper | first2 = Fred C. | title = Projective Planes | publisher= Springer Verlag | place = New York | year = 1973 | isbn = 0-387-90044-6}}
  • {{Citation | last = Kárteszi | first = F. | title = Introduction to Finite Geometries| publisher = North-Holland | place = Amsterdam | year = 1976 | isbn = 0-7204-2832-7}}
  • {{Citation | last = Lüneburg | first = Heinz | title = Translation Planes | publisher = Springer Verlag | place = Berlin | year = 1980 | isbn = 0-387-09614-0}}
  • {{Citation | last1 = Room | first1 = T. G. | last2 = Kirkpatrick | first2 = P. B. | title = Miniquaternion Geometry | publisher = Cambridge University Press | place = Cambridge | year = 1971 |isbn = 0-521-07926-8}}
  • {{eom|first=L.A.|last= Sidorov|id=Non-Desarguesian_geometry&oldid=17988|title= Non-Desarguesian geometry}}
  • {{Citation | last = Stevenson | first = Frederick W. | title = Projective Planes | publisher = W.H. Freeman and Company | place = San Francisco |year = 1972 | isbn = 0-7167-0443-9}}
  • {{Citation | last1=Weibel | first1=Charles | title=Survey of Non-Desarguesian Planes | url=http://www.ams.org/notices/200710/ | year=2007 | journal= Notices of the AMS | volume= 54 | issue=10 | pages=1294–1303}}

2 : Projective geometry|Finite geometry

随便看

 

开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。

 

Copyright © 2023 OENC.NET All Rights Reserved
京ICP备2021023879号 更新时间:2024/9/28 5:31:55