Dualitet (projektiv geometri)

En slående egenskap hos projektionsplan är den "symmetri" som punkter och linjer spelar i definitionerna av satser och (planär) dualitet är formaliseringen av detta begrepp. Det finns två infallsvinklar till begreppet dualitet - en genom språket (dualitetsprincipen) och den andra en mera funktionell metod. Dessa båda är fullständigt likvärda och båda sätten utgår från den axiomatiska versionen av de geometrier man betraktar. Ur den funktionella synvinkeln finns det en avbildning mellan besläktade geometrier som kallas dualitet. I speciella fall kan en sådan avbildning göras på många olika sätt. Begreppet planär dualitet expanderas lätt till dualitet i rummet och till varje annan ändligtdimensionell projektiv geometri.

Dualitetsprincipen

Om man definierar ett projektionsplan axiomatiskt som en incidensstruktur med en mängd P av punkter, en mängd L av linjer och en incidensrelation I som bestämmer vilka punkter som ligger på vilka linjer, kan man definiera en planär dual struktur.

Byt "punkter" och "linjer" mot varandra i

C=(P,L,I)

för att få den duala strukturen

C* =(L,P,I*),

där I* är den inversa relationen till I. C* är också ett projektionsplan, kallat dualplanet till C.

Om C och C* är isomorfa kallas C självdual. Projektionsplanen PG(2,K) för varje kropp (eller mera allmänt, för varje skevkropp som är isomorf med sin dual) K är självduala. Speciellt gäller att Desarguesiska plan av ändlig ordning är självduala. Det finns dock icke-Desarguesiska plan som inte är självduala, som Hallplanen, och några som är det, som Hughesplanen.

Ett uttalande om punkter, linjer och incedens dememellan (i ett projektionsplan) som erhålls från ett annat sådant uttalande genom att byta "linje" och "punkt" mot varandra och göra nödvändiga språkliga ändringar kallas ett planärt dualt uttalande av det ursprungliga. Det planärt duala uttalandet till "två punkter ligger på en bestämd linje" är "två linjer skär varandra i en bestämd punkt". Att bilda den planära dualen till ett uttalande kallas att dualisera det.

Om ett uttalande är sant för ett projektionsplan C, så måste det duala uttalandet vara sant för dualplanet C*. Detta eftersom dualisering av varje påstående i beviset för C ger ett påstående som gäller för C*.

Dualitetsprincipen säger att dualisering av en sats i ett självdualt projektionsplan C ger en annan sats som är giltig för C.

Ovanstående begrepp kan generaliseras till rumsdualitet, där termerna "punkt" och "plan" byts sinsemellan och där linjer förblir linjer. Detta leder till principen för rumsdualitet. Ytterligare generalisering är också möjlig (se nedan).

Dessa principer ger en god anledning att föredra en "symmetrisk" term för incidensrelationen. Sålunda, i stället för att säga "en punkt ligger på en linje" borde man säga "en punkt är incident med en linje", eftersom en dualisering av det senare endast innebär att man byter "punkt" och "linje mot varandra ("en linje är incident med en punkt").

Traditionellt anses mängden av punkter på en linje inom den projektiva geometrin inkludera förhållandet harmonisk delning. Enligt denna tradition bildar punkterna på en linje en "projektionssträcka" - ett begrepp som är dualt med linjeknippet genom en punkt.

Duala satser

Eftersom det reella projektionsplanet PG(2,R) är självdualt finns det ett antal par av välkända resultat som är dualer av varandra. Några av dessa är:

• Desargues sats ⇔ Inversen till Desargues sats
• Pascals sats ⇔ Brianchons sats
• Menelaos sats ⇔ Cevas sats

Dualitet som en avbildning

En (planär) dualitet är en avbildning från ett projektionsplan C = (P,L,I) till dess duala plan C* = (L,P,I*) (se ovan) som bevarar incidens. Det vill säga att en (planär) dualitet σ kommer att avbilda punkter som linjer och linjer som punkter (P^σ = L och L^σ = P) på ett sådant sätt att om en punkt Q ligger på en linje m (betecknat Q I m) så är Q^σ I* m^σ ⇔ m^σ I Q^σ. En (planär) dualitet som är en isomorfism kallas en korrelation. Existensen av en korrelation innebär att projektionsplanet C är självdualt.

I det speciella fallet att projektionsplanet är av typen PG(2,K), med divisionsringen K, kallas dualiteten för en reciprocitet. Enligt den projektiva geometrins fundamentalteorem är en reciprocitet sammansättningen av en automorf funktion av K och en homografi. Om den inblandade automorfismen är identitet så kallas reciprociteten för en projektiv korrelation.

En korrelation av ordning två (en involution) kallas en polaritet. Om en korrelation φ inte är en polaritet så är φ² en icketrivial kollineation.

Detta dualitetsavbildningsbegrepp kan också utsträckas till högredimensionella rum så "(planär)" kan utelämnas i sådana fall.

Referenser

• Albert, A. Adrian; Sandler, Reuben (1968), An Introduction to Finite Projective Planes, New York: Holt, Rinehart and Winston 
• F. Bachmann, 1959. Aufbau der Geometrie aus dem Spiegelungsbegriff, Springer, Berlin.
• Baer, Reinhold (2005). Linear Algebra and Projective Geometry. Mineola NY: Dover. ISBN 0-486-44565-8. http://books.google.se/books?id=zQAWxRU8PCcC&pg=PA95&lpg=PA95. 
• Bennett, M.K. (1995). Affine and Projective Geometry. New York: Wiley. ISBN 0-471-11315-8. 
• Beutelspacher, Albrecht; Rosenbaum, Ute (1998). Projective Geometry: from foundations to applications. Cambridge: Cambridge University Press. ISBN 0-521-48277-1. 
• Casse, Rey (2006), Projective Geometry: An Introduction, New York: Oxford University Press, ISBN 0-19-929886-6 
• Cederberg, Judith N. (2001). A Course in Modern Geometries. New York: Springer-Verlag. ISBN 0-387-98972-2. http://books.google.se/books?id=Fo9tqL99jdMC. 
• Coxeter, H. S. M., 1995. The Real Projective Plane, 3rd ed. Springer Verlag.
• Coxeter, H. S. M., 2003. Projective Geometry, 2nd ed. Springer Verlag. ISBN 978-0-387-40623-7.
• Coxeter, H. S. M. (1969). Introduction to Geometry. New York: John Wiley & Sons. ISBN 0-471-50458-0. 
• Coxeter, H.S.M.; Greitzer, S.L. (1967), Geometry Revisited, Washington, D.C.: Mathematical Association of America, ISBN 0-88385-600-X 
• Dembowski, Peter (1968), Finite Geometries, Berlin: Springer Verlag 
• Garner, Lynn E. (1981). An Outline of Projective Geometry. New York: North Holland. ISBN 0-444-00423-8. 
• Goldman, William M., 2009, Projective Geometry on Manifolds
• Greenberg, M.J., 2007. Euclidean and non-Euclidean geometries, 4th ed. Freeman.
• Hartshorne, Robin, 2009. Foundations of Projective Geometry, 2nd ed. Ishi Press. ISBN 978-4-87187-837-1
• Hartshorne, Robin, 2000. Geometry: Euclid and Beyond. Springer.
• Hilbert, D. and Cohn-Vossen, S., 1999. Geometry and the imagination, 2nd ed. Chelsea.
• D. R. Hughes and F. C. Piper, 1973. Projective Planes, Springer.
• Kárteszi, F. (1976), Introduction to Finite Geometries, Amsterdam: North-Holland, ISBN 0-7204-2832-7 
• Mihalek, R.J. (1972). Projective Geometry and Algebraic Structures. New York: Academic Press. ISBN 0-12-495550-9. 
• Ramanan, S. (August 1997). ”Projective geometry”. Resonance (Springer India) 2 (8): sid. 87–94. doi:10.1007/BF02835009. ISSN 0971-8044. 
• Samuel, Pierre (1988). Projective Geometry. New York: Springer-Verlag. ISBN 0-387-96752-4. 
• Stevenson, Frederick W. (1972), Projective Planes, San Francisco: W.H. Freeman and Company, ISBN 0-7167-0443-9 
• Veblen, Oswald; Young, J. W. A. (1938). Projective geometry. Boston: Ginn & Co. ISBN 978-1-4181-8285-4. http://www.archive.org/details/117714799_001 

Externa länkar

• Duality Principle på Encyclopedia of Mathematics.