Projektivt plan

**Projektivt plan** er en flate bestående av punkter og linjer som har egenskaper gitt ved projektiv geometri. Denne er mer fundamental enn euklidsk geometri ved at parallelle linjer ikke lenger finnes og heller ikke entydige sirkler. Den får dermed en mye løsere og generell struktur. Alle linjer skjærer hverandre i et punkt. Vinkler og lengder av linjestykker er ikke lenger meningsfulle konsept. I stedet vil det primære begrepet i det projektive planet være skjæringspunkt mellom linjer. 

Det projektive planet er ikke plant i vanlig forstand, men må forstås som en abstrakt, matematisk flate. Hvis man prøver å forestille seg den i vårt vanlige, tredimensjonale rom, ville denne flaten se ut til å gå gjennom seg selv. Dette ville unngås hvis den befant seg i et rom med ekstra dimensjoner.

Allerede i renessansen ble den første innsikt i egenskapene til det projektive planet etablert i forbindelse med fremstillingen av  perspektiv i bilder.  To bilder malt på forskjellige ståsteder, vil i alminnelighet se forskjellige ut. Et rektangel vil for eksempel bli avbildet som en skjev firkant, mens en sirkel vil bli seende ut som en ellipse eller et annet kjeglesnitt. Men ved slike perspektiviske fremstillinger vil en linje alltid avbildes som en linje og dens skjæringspunkt med andre linjer vil kun flyttes, ikke forsvinne. Parallelle linjer i motivet vil se ut til å skjære hverandre i et *forsvinningspunkt* i bildet. Dette ligger på horisonten som er avbildningen av punktene som ligger uendelig langt borte.

Den fulle forståelse av det projektive planet har hatt betydning for utviklingen av ikke-euklidsk geometri. I dag er det av stor praktisk betydning i forbindelse med  bildebehandling og datagrafikk. Vanligvis betegnes det projektive planet som **P**2 eller som  **RP**2 for å understreke at det er beskrevet med koordinater som er reelle tall. Hvis man i stedet hadde benyttet komplekse tall, vil det betegnes som **CP**2. Dette komplekse, projektive planet er matematisk interessant og blir også studert med tanke på anvendelser innen teoretisk fysikk.

## Postulater
På samme måte som euklidsk geometri ble formulert ved en rekke definisjoner og aksiomer samlet sammen i Euklids verk ''Elementer'', kan også egenskapene til det projektive planet defineres. Man antar som gitt at planet inneholder punkter og linjer som kan være **insidente**, det vil si at et punkt kan ligge på en linje eller at en linje kan gå gjennom et punkt. Selve om disse linjene blir vanligvis fremstilt som rette streker i en tegning, betyr ikke det nødvendigvis at de er fylt opp med punkter. Geometrien i dette planet er derfor et eksempel på en insidensgeometri. De grunnleggende postulatene kan nå sammenfattes som:

# For to forskjellige punkt eksisterer det en unik linje som går gjennom begge punktene.
# For to forskjellige linjer eksisterer det et unikt punkt som ligger på begge linjene.
# Det eksisterer fire ulike punkter slik at det ikke finnes noen linje som er insident med mer enn to av dem. 

Her er det første postulatet det samme som i euklidsk geometri. Det andre postulatet sier at alle linjer skjærer hverandre slik at det projektive planet har ingen parallelle linjer og er derfor mer generelt enn det affine planet. Det tredje postulatet kreves for å unngå degenererte spesialtilfeller som ikke har noen interesse. Uten det kunne man for eksempel tenke seg en situasjon hvor alle punktene ligger på en og samme linje.

Det euklidske planet kan utvides til å bli et projektivt plan ved å addere et **ideelt punkt** for hver retning med parallelle linjer. Dette ligger på en måte uendelig langt borte, men vil ha like stor betydning som alle andre punkt. To forskjellige, ideelle punkt vil definere en ny, **ideell linje** som på samme måte må ligge uendelig langt borte. 

Med denne utvidelsen av det euklidske planet er det viktig å legge merke til at hver slik parallell retning kun definerer et ideelt punkt, da man i utgangspunktet kunne tenke seg at linjene kunne skjære hverandre i begge endene uendelig langt borte. Det betyr at enten man beveger seg i den ene eller andre retningen langs en linje, så kommer man til det samme, ideelle punktet i det projektive planet.

## Homogene koordinater

Fra de tre postulatene kan man i prinsippet utlede alle egenskaper til det projektive planet ved rent logiske argument. Dette kalles vanligvis for *syntetisk geometri* som da blir en ren logisk konstruksjon. Alternativt kan egenskapene undersøkes som i analytisk geometri ved å bruke koordinater. Disse ble innført av  August Möbius og Julius Plücker i tiden rundt 1830. 

En naturlig koordinatisering av det reelle, projektive planet **RP**2&thinsp; er basert på dannelsen av et bilde under en perspektivisk avbildning hvor lysstråler fra et objekt sendes mot øyet og gir en avbildning i et todimensjonalt plan som ligger mellom objektet og øyet. Alt dette befinner seg i et tredimensjonalt, euklidsk rom **E**3 med kartesiske koordinater  Øyet er i origo, og bildeplanet ligger utenfor dette. Lyset fra et punkt på objektet følger da en rett linje til øyet og treffer dette med en retning som kan angis ved en vektor   Dette er en sentralprojeksjon som kalles også for en lineær perspektivitet.

Denne retningsvektoren bestemmer også hvor lysstrålen går gjennom bildeplanet og kan brukes til å angi hvert punkt i dette planet. Da retningen til vektoren ikke forandres ved at den multipliseres med en konstant *&lambda;*  &ne; 0, vil vektorene  og  angi ett og samme punkt. Derfor vil for eksempel (12,-8,10) angi samme punkt som (-6,4,-5). Med denne ekvivalensen kan man etablere *homogene punktkoordinater* i det projektive planet. For alle reelle verdier av disse tre koordinatene finnes det et tilsvarende punkt i planet, bortsett fra punktet (0,0,0) som ikke angir noen retning i det euklidske rommet.

### Linjekoordinater
I denne realiseringen av det projektive planet vil en linje fremkomme som skjæringslinjen mellom et plan i **E**3 som går gjennom origo, og billedplanet. Ligningen for et slikt plan er  hvor de tre koeffisientene *a, b* og *c* er komponentene til en vektor **n** som står normalt på planet. Linjen i det projektive planet er entydig bestemt av denne vektoren. Hver slik linje kan derfor koordinatiseres som  hvor komponentene også nå kan ta alle reelle verdier bortsett fra [0,0,0]. Da det igjen er retningen til vektoren som er avgjørende, vil  og  beskrive samme linje. Disse koordinatene for linjen er derfor også homogene og kalles for *homogene linjekoordinater*. For å skille de fra de  tilsvarende punktkoordinatene, skrives de med firkantparenteser i stedet for med runde parenteser.

### Insidens
For at et punkt   i det projektive planet skal ligge på linjen , er det nødvendig at disse to vektorene står vinkelrett på hverandre. Da er prikkproduktet  eller  Når komponentene til **n** er gitt, vil denne ligningen gi alle punkt som ligger på den tilsvarende linjen. Punkt som ligger på samme linje er *kolineære*, for eksempel punkt som oppfyller  Omvendt vil den samme ligningen med gitte verdier for komponentene til punktet **x** beskrive linjer som går gjennom dette punktet. Linjene er da *kopunktuelle*, som for eksempel linjene   som alle går gjennom punktet (1,5,-2).

Hvis man har gitt to punkt   og , vil det være en linje **n** i det projektive planet som går gjennom begge punktene. Da må både  og  være oppfylt.  Linjen er derfor gitt ved  kryssproduktet  I det euklidske rommet **E**3 er dette vektoren som står vinkelrett på planet som **a** og **b** danner.  Skrevet ut blir dermed koordinatene til linjen **n** =  Ligningen for punktene på linjen er . Det betyr at tre punkt **a**, **b** og **c** ligger på samme linje når de homogene koordinatene oppfyller . Skriver man dette trippelproduktet ut, kan det uttrykkes ved en determinant slik at betingelsen for kolineæritet blir

: (\mathbf{a}\times\mathbf{b})\cdot\mathbf{c}
=\begin{vmatrix} 
  a_1 & a_2 & a_3 \\
  b_1 & b_2 & b_3 \\
  c_1 & c_2 & c_3 \\
\end{vmatrix} = 0\, .

Som et eksempel kan man bestemme linjen som går gjennom punktene (1,-2,3) og (0,2,1). Ved direkte utregning er den gitt ved vektoren  som tilsvarer ligningen  for linjer i punktkoordinater. Et punkt på linjen er da  Det tilsvarer vektoren  eller en annen, ekvivalent lineærkombinasjon. 

Generelt kan hvert punkt på linjen som går gjennom punktene **a** og **b** angis ved en lineærkombinasjon  for visse verdier av koeffisientene *&alpha;* og *&beta;*. Man da koordinatene er homogene, er dette ekvivalent med  hvor . For forskjellige verdier av *&lambda;&thinsp;* beskriver denne vektoren en rekke med punkter som ligger på linjen gjennom punktene **a** og **b**. Når  er  og likedan når  blir   For punkter på denne linjen kan parametrene (*&alpha;,&beta;*)&thinsp; betraktes som homogene koordinater for **c** med referanse til punktene **a** og **b**.

På helt tilsvarende måte kan man finne et punkt som går gjennom to linjer   og , det vil si deres skjæringspunkt. Det er gitt ved vektoren . En linje gjennom dette punktet har ligningen   eller   i linjekoordinater. Betingelsen for at en linje **k** skal gå gjennom skjæringspunktet mellom linjene **m** og **n**, er derfor  eller

: \mathbf{k}\cdot(\mathbf{m}\times\mathbf{n})
=\begin{vmatrix} 
  k_1 & k_2 & k_3 \\
  m_1 & m_2 & m_3 \\
  n_1 & n_2 & n_3 \\
\end{vmatrix} = 0\, .

En bunt med linjer som går gjennom skjæringspunktet for linjene **m** og **n** er gitt ved lineærkombinasjonen  for forskjellige verdier av parametrene *&alpha;* og *&beta;*. De kan også oppfattes som homogene koordinater for de forskjellige linjene i rekken definert ved referanselinjene **m** og **n**.

Regneoperasjoner med homogene koordinater forenkles ved å bruke denne vektornotasjonen for punkter og linjer. Men det er ikke alltid nødvendig eller praktisk. Vanligvis betegnes punkt i det projektive planet med store bokstaver og linjer med små. Bare når et homogent koordinatsystem foreligger, kan et punkt *A* angis mer presist som en vektor **a** med tre komponenter på samme måte som at en linje *m* kan spesifiseres ved en 3-komponent vektor **m**.

## Ideelle punkt og linjer
For at en lysstråle fra et objektpunkt til øyet (origo) skal krysse et punkt i billedplanet, kan den ikke være parallell til dette planet. En vektor  som er parallell med billedplanet vil da ikke skjære dette og tilsvarer et punkt som på et vis ligger uendelig langt borte. I det projektive planet må også disse *idelle punkt* tas med på samme måte som vanlige, endelige punkt. De ligger på en linje som tilsvarer et plan i **E**3 gjennom origo som er parallelt med billedplanet. Denne *ideelle linjen* er derfor beskrevet ved en vektor  som står normalt på billedplanet. 

Ved å ta med den ideelle linjen med sine ideelle punkt, er det euklidske planet utvidet til å bli et projektivt plan. I det vil alle vanlige linjer krysse den ideelle linjen i et ideelt punkt.  Da to linjer kun kan ha et skjæringspunkt, vil man komme til samme, ideelle punkt uansett i hvilken retning man beveger seg langs en linje mot det uendelige fjerne. En linje mellom to ideelle punkt faller sammen med den ideelle linjen. Vanlige linjer som ser ut til å være parallelle, skjærer hverandre i et ideelt punkt.

De homogene koordinatene til de ideelle punktene og deres felles linje avhenger av hvordan billedplanet legges inn i **E**3. Den mest symmetriske måten er å plassere det slik at det går gjennom punktene *X* = (1,0,0), *Y* = (0,1,0) og *Z* = (0,0,1). Disse tre punktene definerer et **referansetriangel** i det projektive planet. Hvert punkt kan da angis som  Normalen til billedplanet definerer nå den ideelle linjen som **n**&infin; = [1,1,1]. Denne linjen er derfor også beskrevet ved ligningen . Det betyr at alle ideelle punkt **x**&infin; har homogene koordinater som summerer seg opp til null. For eksempel er  et ideelt punkt i dette koordinatsystemet.

### Standard koordinatsystem

For mange praktiske oppgaver er mer hensiktsmessig å plassere bildeplanet parallelt med et av koordinatplanene i **E**3.  Vanligvis velges det å være parallelt med , for eksempel gitt ved   Linjen til den ideelle linjen tilsvarer da vektoren  slik at den er beskrevet ved ligningen  Punkter som har denne tredje koordinaten lik null, er da ideelle og har homogene koordinater av formen (*x*1,*x*2,0) hvor kun forholdet  teller. I motsatt fall kan de betraktes som endelige punkt i et euklidsk plan. For et slikt punkt  med  kan da koordinatene skaleres slik at man får  hvor  og  blir kartesiske koordinater i den endelige, euklidske delen av det projektive planet.

Som en illustrasjon kan man betrakte den euklidske linjen  Med homogene koordinater vil den ta formen  som tilsvarer vektoren  i linjekoordinater. Likedan vil vektoren  tilsvare den euklidske linjen  Kryssproduktet av disse to vektorene gir det ideelle punktet (0,1,0) som er skjæringspunktet mellom disse to parallelle linjene og ligger i det uendelige fjerne.

På samme måte finner man ved bruk av regnereglene for homogene koordinater at skjæringspunktet for de to parallelle linjene  og  er punktet  som er ekvivalent med . Som ventet har det *x*3 = 0 og er derfor et ideelt punkt i samme retning som linjene går.

I dette koordinatsystemet er origo punktet (0,0,1) som tilsvarer *n*3 = 0 i linjekoordinater. Det som i den endelige delen er *x*-aksen, tilsvarer linjen  i det fulle, projektive planet. De homogene koordinatene til denne linjen er [0,1,0]. På samme måte tilsvarer *y*-aksen linjen  gitt ved vektoren [1,0,0]. Den tredje koordinataksen er linjen  i det uendelige gitt ved vektoren   **n**&infin; = [0,0,1]. Alle ideelle punkt **x**&infin; = (*x,y*,0) ligger på denne. Som referansetriangel i planet kan nå punktene *X*1 = (1,0,0),  *X*2 = (0,1,0) og  *X*3 = (0,0,1) benyttes. To av disse er nå ideelle, men må behandles på like fot med alle andre punkt.

### Sfærisk modell

En alternativ fremstilling av det projektive planet får man ved å tenke seg at man benytter en kuleflate i stedet for et plant billedplan. Da vil hver lysstråle inn på øyet i kulens sentrum treffe overflaten i to punkter. Bare et av disse må benyttes for å angi lysstrålens retning. Man kan da for eksempel betrakte hvert punkt på den nordlige halvkulen som et punkt i det projektive planet. Med det valget vil den ideelle linjen tilsvare punkter langs ekvator hvor motsatte motsatte punkt representerer det samme, projektive punktet. Prøver man å lage en fysisk modell av dette sfæriske koordinatsystemet, vil man ikke klare det i vårt tredimensjonale rom da den halve kuleflaten må skjære gjennom seg selv. Man kan kun tenke seg dette i et rom med ekstra dimensjoner.

Denne halve kuleflaten kan man videre tenke seg blir skviset sammen til en sirklulær disk hvor motsatte punkt på randen må identifiseres og tilsvarer den ideelle linjen. Topologisk er denne disken det samme som et kvadrat hvor motsatte sider må vris og limes sammen. Dette kan kun gjøres hvis man hadde adgang til et rom med en høyere dimensjon. Dette gir en ny, mer abstrakt modell for det projektive planet.

## Dualitet
Allerede i de fundamentale postulatene er det en symmetri mellom punkt og linjer i det projektive planet. To punkt definerer alltid en linje, mens to linjer definerer et entydig punkt. Denne symmetrien kalles en *dualitet* mellom punkt og linjer i planet og forblir intakt når man så betrakter mer kompliserte situasjoner. Et punkt er dual  til en linje, mens en linje er dual til et punkt. For hver geometrisk konstellasjon av *n* punkt og *m* linjer, vil det eksistere en dual konstellasjon med *m* punkt og *n* linjer.  

Denne dualiteten sees også når homogene koordinater blir benyttet. Hver geometrisk sammenheng kan uttrykkes som en ligning i punktkoordinater, linjekoordinater eller begge deler. For en ligning som involverer kun punktkoordinater, finnes det en dual ligning som inneholder bare linjekoordinater og omvendt. Ligningen  er **selvdual** da den går over i seg selv under en slik dualisering. Det tilsvarer at den kan beskrive enten punkter på linjen  eller linjer gjennom punktet    

En trekant er gitt ved tre punkt *A*, *B* og *C* som ikke ligger på samme linje. Disse kan forbindes med tre linjer *a = BC*, *b = CA* og *c = AB* som er sidene i trekanten. I motsetning til det som er vanlig i euklidsk geometri, ender ikke sidene i de gitt hjørnene i det projektive planet, men går gjennom disse og fortsetter i prinsippet mot uendelig i begge retninger.

Den duale trekanten er på tilsvarende vis definert ved tre linjer *a*, *b* og *c* som ikke går gjennom samme punkt. Linjene skjærer hverandre i tre punkt som kan kalles *A = b&sdot;c*, *B = c&sdot;a* og *C = a&sdot;b* hvor for eksempel *b&sdot;c* står for skjæringspunktet mellom linjene *b* og *c* etc. Men denne dualiseringen har nå gitt  akkurat samme geometriske konstellasjon av punkter og linjer som i første tilfelle med tre gitte punkt. Derfor er trekanten selvdual i projektiv geometri.
 
### Duale firkanter

Mens en vanlig firkant har fire hjørner og fire sider som er endelige linjestykker gjennom disse, er en fullstendig firkant definert ved fire linjer og vil gi opphav til i alt seks skjæringspunkt som er dens hjørner. På samme måte kan man definere et fullstendig *kvadrangel* ved fire punkter som kan forbindes med i alt seks linjer. Derfor vil en firkant definert ved fire hjørner prinsipielt være forskjellig fra en som er definerte ved fire sider. Den ene er dual til den andre.

Hvis man kaller de fire hjørnene i et fullstendig kvadrangel for *A*, *B*, *A'&thinsp;* og *B' *, kan disse forbindes med seks linjer *AA'&thinsp;*, *AB*, *AB'&thinsp;*, *BA'&thinsp;*, *BB'&thinsp;* og *A'B'&thinsp;*. Disse vil skjære hverandre i tre nye punkter, *D = AB&sdot;A'B*', *E = AA'&sdot;BB'&thinsp;* og *F = AB'&sdot;A'B&thinsp;* som kalles *diagonale punkt*. Sammen danner disse nye punktene et **diagonalt triangel** i denne generaliserte firkanten.

På samme måte vil en  fullstendig firkant være definert ved fire linjer *a*, *b*, *c* og *d*. Disse gir opphav til seks hjørner *a&sdot;b*, *a&sdot;c*, *a&sdot;d*, *b&sdot;c*, *b&sdot;d* og *c&sdot;d*. Forbindes to og to motsatte hjørner, fremkommer tre *diagonale linjer* som igjen danner en **diagonal trekant**. 

Disse to geometriske konstellasjonene er duale til hverandre. Begge to spiller en sentral rolle i det projektive planet. For eksempel, så vil to hjørner og to skjæringspunkt med diagonalene på en og samme side i hvert slikt kvadrangel være harmonisk konjugerte. Likedan vil hver side i den diagonale trekanten skjæres av sider i kvadranglet. Disse fire punktene er også harmonisk konjugerte. Dette var allerede kjent for Pappos og videre utviklet av Desargues.

## Desargues' teorem

I det projektive planet er Desargues' teorem av grunnleggende betydning. Den sier at når linjer gjennom tilsvarende hjørner i to trekanter går gjennom et punkt, vil de tilsvarende sidene i trekantene skjære hverandre i punkt som ligger på en linje. Man sier at trekantene ligger i et perspektiv med et *senter* hvor linjene gjennom hjørnene møtes og en *akse* hvor skjæringspunktene mellom sidene ligger.

Teoremet kan bevises på mange forskjellige måter, avhengig av det aksiomatiske grunnlaget. Mest direkte følger det fra en formulering basert på bruk av reelle, homogene koordinater. Hvis den en trekanten er gitt ved punktene *A*, *B* og *C*, mens den andre er gitt ved *A'&thinsp;*, *B'&thinsp;* og *C'&thinsp;*, antas de tre linjene *AA' *, *BB'&thinsp;* og *CC'&thinsp;* å gå gjennom et felles punkt *S*. På disse tre linjer kan man nå velge koordinater slik at man kan skrive   og  Fra de to første uttrykkene følger at  Nå er *A - B* et punkt på linjen gjennom hjørnene *A* og *B* på samme måte som  *B' - A'&thinsp;* er et punkt på linjen gjennom hjørnene *A'&thinsp;* og *B'&thinsp;*. Dette felles punktet må derfor være skjæringspunktet *R&thinsp;* mellom linjene, det vil si  På samme måte er skjæringspunktet mellom linjene *BC&thinsp;* og *B'C'&thinsp;* gitt som  mens skjæringspunktet mellom linjene *CA&thinsp;* og *C'A'&thinsp;* er  Men koordinatene til disse tre skjæringspunktene sees nå å oppfylle relasjonen  som betyr at de er lineært avhengige slik at de tre punktene ligger på en og samme linje.

I denne formuleringen av beviset for Desargues' setning er den avgjørende antagelsen at man kan konkludere at  fra  Det betyr at den tallkroppen koordinatene tilhører, må være assosiativ som for de reelle tallene. Hvis ikke, gjelder ikke lenger Desargues' setning.

## Pappos' teorem

Teoremet som i dag blir omtalt som Pappos' teorem ble formulert for snart to tusen år siden av Pappos fra Alexandria. Han viste det ved hjelp av euklidsk geometri. Men da det kun omhandler linjer mellom skjæringspunkt mellom andre linjer, har det større gyldighet og er av grunnleggende betydning i projektiv geometri.

Man har gitt en linje med tre punkt *A*, *B* og *C&thinsp;* samt en annen linje med punktene *A'&thinsp;*,  *B'&thinsp;* og  *C'&thinsp;*. Da vil skjæringspunktet mellom linjene *AB'&thinsp;* og *BA'&thinsp;*, skjæringspunktet mellom *AC'&thinsp;* og *CA'&thinsp;* samt skjæringspunktet mellom *BC'&thinsp;* og *CB'&thinsp;* ligge på en og samme linje som kalles *Pappos-linjen*. Dette resultatet er uavhengig av hvordan punktene ordnes på de to linjene.

For å bevise setningen kan man igjen benytte homogene koordinater. I det projektive planet vil linjene skjære hverandre i et felles punkt *P*. På den første linjen kan man benytte dette punktet samt punktet *A* som referansepunkt. Da vil man kunne skrive  og  Likedan velger man *P* og *A'&thinsp;* som referansepunkt på den andre linjen slik at  og 

Da skjæringspunkt *K* er mellom linjene *AB'&thinsp;* og *BA'&thinsp;*, må koordinatene til dette punktet kunne skrives som  eller  Derfor har man ganske enkelt at  På samme måte må koordinatene for skjæringspunktet *L* mellom linjene *AC'&thinsp;* og *CA'&thinsp;* skrives som en tilsvarende lineærkombinasjon mellom koordinatene til disse punktene. Det medfører at  = . 

Et bestemt punkt *M* på linjen mellom *K* og *L* har nå koordinatene *M = K - L*.  Utregnet gir det  =  Men det betyr at dette punktet *M* også er skjæringspunktet mellom linjene *BC'&thinsp;* og *CB'&thinsp;*. Derfor ligger de tre skjæringspunktene *K*, *L* og *M*&thinsp; på samme linje.

I dette algebraiske beviset for Pappos' setning inngår det ikke noe sted hvordan punktene på de to linjene er ordnet seg i mellom. Det er derfor uavhengig av dette. Men for hver ordning vil den tilsvarende Pappos-linjen være forskjellig. 

Ser man nøyere på det samme beviset, oppdager man også at det er nødvendig å ha *&lambda;'&lambda; = &lambda;&lambda;'&thinsp;*.  De homogene koordinatene som benyttes i det projektive planet må derfor tilhøre en tallkropp som er  kommutativ, det vil si at faktorenes rekkefølge ikke er viktig.

### Dual versjon
I projektiv geometri har hvert utsagn en dual versjon. For det projektive planet arter denne dualiseringen seg ved ombytte av punkt og linje slik at to punkter definerer en linje, mens to linjer definerer et punkt. Den duale versjon av Pappos tar derfor utgangspunkt i to gitte punkt. Gjennom det ene går linjene *a*, *b* og *c*, mens gjennom det andre går linjene *a'&thinsp;*, *b'&thinsp;* og *c*'. Da definerer skjæringspunktene *a&sdot;b'&thinsp;* og *b&sdot;a'&thinsp;* en linje *k*, skjæringspunktene *a&sdot;c'&thinsp;* og *c&sdot;a'&thinsp;* en linje *l*, mens skjæringspunktene *b&sdot;c'&thinsp;* og  *c&sdot;b'&thinsp;* definerer en linje *m*. Pappos' duale teorem sier da at disse tre linjene *k*, *l* og *m*&thinsp; går gjennom samme punkt. Det kan bevises på en helt analog måte som i den første versjonen.

## Pascals teorem

Som 16-åring publiserte Blaise Pascal i 1639 en generalisering av Pappos' teorem til å gjelde for seks punkt plassert på et vilkårlig kjeglesnitt. Når disse forbindes med linjer, vil de forme et heksagon. Teoremet til Pascal sier nå at motsatte sider i dette polygonet vil skjære hverandre i tre punkt som ligger på en linje. Den kalles *Pascal-linjen*.

Da seks punkt kan danne e heksagon på seksti forskjellige måter ved å trekke linjer mellom punktene, vil det da for disse seks gitte punktene kunne lages seksti forskjellige Pascal-linjer. Disse nye linjene gir igjen opphav til nye skjæringspunkt med spesielle egenskaper. Av denne grunn fikk konstellasjonen med seks punkt på et kjeglesnitt senere navnet **Hexagrammum Mysticum**.

Fra Pascals teorem kan man utlede mange nye setninger i spesielle tilfeller når for eksempel to punkt på kjeglesnittet faller sammen. Når kjeglesnittet degenererer til to linjer, går teoremet over i Pappos' teorem.

Den duale versjonen av Pascals teorem, heter Brianchons teorem. Det sier at når et kjeglesnitt er omskrevet med seks tangentlinjer, vil diagonalene som forbinder motsatte hjørner i heksagonet som linjene danner, gå gjennom ett og samme punkt.

## Projektive transformasjoner
Hvis man betrakter det projektive planet som innlagt i det tredimensjonale rommet **E**3, vil de homogene koordinatene   for et punkt **x** avhenge av dets plassering i forhold til koordinataksene. Forandres dets posisjon, vil koordinatene for hvert punkt også forandres eller transformeres. Da dette vil være lineære transformasjoner, vil de alminnelighet kunne skrives som &thinsp; og tilsvarende for de to andre koordinatkomponentene.
På matriseform kan disse tre uttrykkene sammenfattes som

:  \begin{bmatrix} x'_1 \\ x'_2 \\ x'_3 \end{bmatrix} = 
\begin{bmatrix}
a_{11} & a_{12} & a_{13} \\
a_{21} & a_{22} & a_{23} \\
a_{31} & a_{32} & a_{33}
\end{bmatrix}  
\begin{bmatrix}x_1 \\ x_2 \\ x_3 \end{bmatrix} 

eller mer kompakt som **x**' = *A*&sdot;**x**&thinsp; hvor 3&times;3 matrisen  *A*  inneholder 9 elementer som parametriserer transformasjonen. De tre koordinatene til punktet **x** inngår her i en kolonnematrise. Da disse koordinatene er homogene, kan alle elementene i transformasjonsmatisen *A* skaleres med samme faktor. Derfor inneholder den bare 8 fri parametre. De er fullstendig bestemt hvis man angir koordinatene til fire punkt før og etter transformasjonen. Det er fordi hvert punkt inneholder to frie variable. 

Slik transformasjonen er beskrevet her, er det en *passiv* transformasjon da det er planets orientering i forhold til det omsluttende rommet som forandres. Men den vil ha samme form hvis den betraktes som en *aktiv transformasjon* ved at planets orientering er uforandret, men selve punktets posisjon i planet forandres. 

Uansett interpretasjon, er dette formen for den mest generelle projektive transformasjonen. Den kalles også for en **kollineasjon** da den transformerer kollineære punkt på en linje til en rekke med kollineære punkt på en transformert linje. Det kan man se fra ligningen  for en slik linje før transformasjonen. Her må vektoren **n** for linjen da betraktes som en linjematrise, altså hvor komponentene  inngår horisontalt. Setter man så inn den inverse transformasjonen  i ligningen for linjen, forandres den til  Etter transformasjonen er derfor linjen gitt som  med nye linjekoordinater **n**' = **n**&sdot;*A*&thinsp;-1. De transformerer derfor med den inverse matrisen.

Hvis den endelige delen av det projektive planet defineres ved *x*3 &ne; 0, vil en kollineasjon indusere en tilsvarende transformasjon mellom de euklidske komponentene  og . Den blir da ikke-lineær og får den eksplisitte formen

:  x' = {a_{11}x + a_{12}y + a_{13}\over a_{31}x + a_{32}y + a_{33}}, \;  \;  \;  y' = {a_{21}x + a_{22}y + a_{23}\over a_{31}x + a_{32}y + a_{33}}

Det er slik den benyttes i billedkunst som fotografi og datagrafikk, for å gi perspektiv i bildet. Mest vanlig er det da å benytte et sentralperspektiv, som tilsvarer en mer spesialisert kollineasjon med 6 frie parametre i alminnelighet.

### Affine transformasjoner
Når man betrakter den endelige delen av det projektive planet med *x*3 &ne; 0 og kun kollineasjoner med , vil ikke koordinaten *x*3&thinsp; forandres. Man kan da sette  og velge . Den generelle transformasjonene tar den mer spesielle formen

:  \begin{bmatrix} x' \\ y' \\ 1 \end{bmatrix} = 
\begin{bmatrix}
a_{11} & a_{12} & a_{13} \\
a_{21} & a_{22} & a_{23} \\
0 & 0 & 1
\end{bmatrix}  
\begin{bmatrix}x \\ y \\ 1 \end{bmatrix} 

Dette representerer en affin transformasjon. Det projektive planet kan på denne måten begrenses til å ha egenskaper i overensstemmelse med affin geometri. Den ideelle linjen  holdes da fast. To linjer som skjærer denne i samme punkt, sies å være parallelle. Og eksistensen av parallelle linjer er hva som karakteriserer et affint rom.

## Korrelasjoner og polariteter
Mens en projektiv transformasjon fra punkt til punkt eller fra linje til linje, kalles en kollineasjon, blir en lineær transformasjon fra et punkt til en linje (eller omvendt) omtalt som en *korrelasjon*. Matematisk kan en slik transformasjon fra et punkt **x** til en linje **m**&thinsp; skrives som  hvor *B* er en 3&times;3 matrise. Her er **m***T*&thinsp; den transponerte av linjematrisen **m**&thinsp; og derfor en kolonnematrise. Punkter på en linje transformeres til linjer gjennom et punkt. På samme måte transformes en linje **n**&thinsp; til et punkt . For at den inverse matrisen *B*&thinsp;-1&thinsp; skal kunne beregnes, må determinanten |*B*&thinsp;| &ne; 0. Denne transformasjonen tar linjer gjennom et punkt til punkt på en linje.

### Pol og polare
Hvis en korrelasjonen tar et punkt til en linje, vil denne linjen i alminnelighet ikke bli transformert tilbake til samme punkt. For at det skal kunne skje må den tilsvarende transformasjonsmatrisen *C* være symmetrisk. Da er *C<sub>ij</sub> = C<sub>ji</sub>* som betyr at *C = C<sup>T</sup>*. Korrelasjonen kalles nå for en *polaritet*. Det er da vanlig å kalle linjen  for *[[pol og polare|polaren]]* til punktet  som igjen kalles for  *[[pol og polare|polen]]* til linjen **m**.

Gitt to punkt **x** og **y**&thinsp;, vil en polaritet *C*&thinsp; gi opphav til to polarer  og . Hvis nå **x** ligger på polaren til **y**, vil . Men nå er  slik at ligningen for polaren  kan skrives som  etter transponering. Da dette er lik med , betyr det også at punktet **y** ligger på polaren til **x**. To slike punkt sies å være *konjugerte*. 

Fra dette følger at når et punktet beveger seg langs polaren til et annet punkt, vil polaren til det første punktet rotere rundt polen til det andre. Dette er innholdet av et teorem som var kjent på midten av 1600-tallet. Det tilskrives vanligvis La Hire som var influert av arbeidene til Desargues og Pascal.

## Kjeglesnitt
I den vanlige beskrivelsen av pol og polare inngår et kjeglesnitt i stedet for en polaritet som i denne projektive fremstillingen. Men disse to begrepene er ekvivalente da et kjeglesnitt er det geometriske stedet for de punkt som ligger på sin egen polare. Punktene er derfor *selvkonjugerte* og oppfyller ligningen  . Skrives den eksplisitt ut, blir den

:  c_{11}x_1^2 + c_{22}x_2^2 + c_{33}x_3^2 + 2c_{12}x_1x_2 + 2c_{23}x_2x_3 + 2c_{13}x_1x_3 = 0 

Hvis man bare betrakter den endelige delen av det projektive planet, er *x*3 &ne; 0. Man kan da innføre de euklidske koordinatene  og , og ligningen går over til den vanlige formen for et kjeglesnitt. 

Linjekoordinatene for polaren til et punkt  **y** med hensyn på et kjeglesnitt med polaritet *C* er nå . Ligningen  for polaren blir dermed . Dette gjelder også for det spesielle tilfellet at  **y** er et punkt på denne kurven. Den tilsvarende polaren er da tangent til kjeglesnittet i dette selvkonjugerte punktet. Ligningen for polarer og tangenter har derfor akkurat samme form.

Ligningen  for et kjeglesnitt bestemmer de selvkonjugerte punktene **x**&thinsp; som ligger på kurven. Man kan alternativt beskrive det samme kjeglesnittet i linjekoordinater  for tangentene til hvert selvkonjugert punkt. Den nye ligningen blir da  og beskriver en skare med selvkonjugerte linjer eller tangenter som omhyller kjeglesnittet.

Ved en projektiv transformasjon av koordinatene vil kjeglesnittet i alminnelighet forandres. For eksempel kan en sirkel forandres til en ellipse. Men det kan også forandre type som at en parabel forandres til en ellipse som igjen kan transformeres til en hyperbel. Ser man bort fra degenererte kjeglesnitt bestående av et par linjer, finnes det bare to grunnleggende kjeglesnitt i det projektive planet. Det første er gitt ved ligningen

:  x_1^2 + x_2^2 + x_3^2 = 0, 

men er rent abstrakt da det ikke inneholder noen fysiske punkter beskrevet ved reelle koordinater. Den tilsvarende polariteten *C&thinsp;* sies å være **elliptisk** og tilsvarer enhetsmatrisen. Sammenhengen mellom pol og polare er da veldig enkel da de har de samme, homogene koordinatene. Hvis polen for eksempel har punktkoordinatene  , er polaren gitt ved linjekoordinatene . Dette forklarer også opphavet til navnene pol og polare. I modellen hvor det projektive planet er lagt inn i **E**3, er nå polen til en linje gitt ved normalen til planet som definerer den på samme måte som i sfærisk eller elliptisk geometri. 

Den andre, fundamentale polaritet er gitt ved

:  x_1^2 + x_2^2 - x_3^2 = 0, 

om sies å være **hyperbolsk**. Det tilsvarende kjeglesnittet har nå reelle punkter i det projektive planet **RP**2. Avhengig av hvordan den ideelle linjen legges, kan dette beskrive en ellipse, parabel eller hyperbel. Historisk spilte det en viktig rolle i den matematiske beskrivelsen av hyperbolsk geometri som ble gitt av Felix Klein.

### Konstruksjon av pol og polare

Hvis man har gitt to punkt **x**  og **y**  liggende på et kjeglesnitt, vil tangentene i disse punktene skjære hverandre i et punkt **z**. Dette ligger derfor på polarene til **x**  og **y**. Men fra den generelle sammenhengen mellom pol og polare, følger det også at begge punktene ligger på polaren til **z**. Den kan derfor finnes ved en geometrisk konstruksjon hvor man trekker en rett linje gjennom de to punktene **x** og **y**.  Polaren til et punkt utenfor kjeglesnittet kan derfor finnes ved denne konstruksjonen såfremt man kan konstruere tangentene. 

Omvendt kan polen til en linje som skjærer kjeglesnittet, finnes på samme måte ved å konstruere tangentene i de to skjæringspunktene. Polen er da  skjæringspunktet mellom tangentene. Dette kan så igjen benyttes til å finne polaren til et punkt innenfor kjeglesnittet ved å trekke to vilkårlige linjer gjennom det. Polaren er da linjen gjennom polene til de to linjene og er uavhengig av deres valg.

### Fullstendig firkant på kjeglesnitt

Svakheten i denne metoden til bestemmelse av pol og polare, ligger i den geometriske konstruksjonen av tangentene til kjeglesnittet. Det kan ikke bli gjort helt nøyaktig kun ved bruk av linjal og passer. Denne vanskeligheten kan omgås ved benytte en viktig egenskap ved en  fullstendig firkant som har fire hjørner på kjeglesnittet. Den diagonale trekanten til firkanten er da «selvpolar» på den måten at hvert av dens tre hjørner er polen til den motsatte siden i trekanten.  Er kjeglesnittet en sirkel, vil firkanten være en syklisk.

Basert på denne egenskapen kan man finne polaren til et punkt **z** ved å trekke to vilkårlige linjer gjennom punktet slik at de begge skjærer kjeglesnittet. Linjene er derfor sekanter. De fire skjæringspunktene definere en fullstendig firkant hvor to av sidene er disse sekantene. To andre, motstående sider i firkanten skjærer hverandre i det diagonale  punktet **x**, mens de to siste sidene skjærer hverandre i et punkt **y**. Sammen med det gitte punktet **z** utgjør disse tre punktene hjørnene i den dagonale trekanten.  Polaren til **z** er da linjen gjennom punktene **x** og **y**. Den er uavhengig av hvilke to sekanter som opprinnelig ble valgt til å forme fden fullstendige irkanten på kjeglesnittet.

Fra samme konstruksjonen ser man også at polaren til punktet **x** er linjen gjennom de diagonale punktene **y** og **z**. Det kan benyttes til å finne polaren til et punkt som ligger innenfor kjeglesnittet. Igjen trekker man to vilkårlige sekanter gjennom punktet for å finne en firkantl liggende på kjeglesnittet.  De to andre diagonale punktene blir liggende utenfor kjeglesnittet og dermed også polaren til det gitte punktet.  

Omvendt kan denne direkte fremgangsmåten også benyttes til å konstruere polen til en gitt linje. Man velger da et vilkårlig punkt på linjen og trekker to sekanter gjennom dette. Skjæringspunktene med kjeglesnittet definerer en fullstendig firkant. Polen til linjen er da det diagonale punktet til dette som ligger utenfor den gitte linjen.

## Andre projektive plan
Det reelle, projektive planet **RP**2 har homogene koordinater  som tilhører den reelle tallkroppen **R**. Andre projektive plan **KP**2 kan defineres på samme måte ved å la de homogene koordinatene tilhøre en annen tallkropp **K**. Det enkleste eksemplet er det komplekse, projektive planet **CP**2 basert på tallkroppen **C** bestående av komplekse tall *z* = *x* + *iy*. Her er *x* og *y* reelle tall og  er den imaginære enhet. Dette planet har to komplekse dimensjoner som tilsvarer fire vanlige dimensjoner. I tillegg til sine geometriske egenskaper, er det også av interesse innen teoretisk fysikk hvor det kan benyttes til å konstruere forskjellige kvantefeltteorier.

### Endelige plan
Et endelig, projektivt plan **FP**2 er basert på en endelig tallkropp, også kalt en Galois-kropp. Inneholder denne *n* elementer, betegnes den som **F***n*, mens det tilsvarende projektive planet kalles ofte PG(2,*n*). Tallet *n* sies å være planets **orden**. De homogene koordinatene  kan da bare ta et visst antall forskjellige verdier slik at dette planet inneholder bare et endelig antall punkter og et like stort antall linjer. Planet sies derfor å være endelig.

Gjennom hvert punkt vil det gå et visst antall linjer som er like stort som antall punkt på hver linje. Hver linje vil som i alle projektive plan, skjære hverandre i kun et punkt. Selv om antall punkt på hver linje er endelig, tegnes de ofte likevel som kontinuerlige streker. Mer abstrakt kan man angi en linje med de punktene den inneholder.

Planets orden *n* bestemmer hvor mange punkt og linjer det finnes i planet. Dette antallet kan finnes ved å beregne antall endelige punkt pluss antall punkt på linjen i det uendelige. De ideelle punktene på denne linjen har koordinater av formen . Siden disse er homogene, kan man skalere den andre koordinaten slik at den blir lik 1. Antall punkt med koordinater av formen  er nå *n* tilsvarende antall verdier *x*1&thinsp; kan ta. I tillegg kommer tilfellet at  som tilsvarer det ene punktet . I alt er det derfor  punkter på denne linjen. Og da denne er ekvivalent med alle andre linjer, vil alle inneholde et slikt antall punkter. Dualitet sier nå at  vil også være antall linjer gjennom hvert punkt.

De endelige punktene i planet har koordinater av formen . Her kan både *x*1&thinsp; og *x*2&thinsp; fritt ta *n&thinsp;* verdier slik at det er i alt *n*&thinsp;2&thinsp; slike endelige punkt. Da disse punktene utgjør et affint plan, er dette det totale antall punkter i det affine planet basert på denne tallkroppen. Men det projektive planet inneholder i tillegg   punkter i det uendelige som gir til sammen *n*&thinsp;2 + *n* + 1. Dualitet sier at dette også er antall linjer i dette planet.

Når *n* = 1, inneholder planet bare tre punkter. Dette er ikke nok til å gi et fullt, projektivt plan som oppfyller de tre aksiomene. Derfor må  Teorien for endelige Galois-kropper sier at  hvor *p* er et primtall og *k* et positivt heltall. Man kan derfor konstruere slike endelige plan for  og så videre. Matematikere har lagt ned store anstrengelser i å forstå hvorfor projektive plan av orden  og  ikke kan konstrueres.

### Eksempel: Syvpunktsplanet

Det minste, ikke-trivielle projektive planet er av orden  basert på Galois-kroppen **F**2. Den er identisk med de binære tallene (0,1) under addisjon og multiplikasjon. Dette endelige planet inneholder syv punkter med homogene koordinater (1,0,0), (0,1,0), (0,0,1), (1,1,0), (1,0,1), (0,1,1) og (1,1,1). Tilsvarende kan koordinatene for de syv linjene angis. Vanligvis omtales som «syvpunktsplanet» eller «Fano-planet» etter den italienske matematiker Gini Fano som systematiske undersøkte slike endelige plan. Det opptrer i teorien for oktonioner.

Planet er illustrert i figuren til høyre. De syv punktene er angitt som *A*, *B*, *C*, *D*, *E*, *F* og *G*. Tilsvarende er de syv linjene angitt som *l*, *m*, *n*, *p*, *q*, *r* og *s*. Hver linje inneholder tre punkter, mens tre linjer går gjennom hvert av punktene. Strekene mellom punktene på samme linje er bare trukket som illustrasjon. Det har ingen betydning om disse er trukket som rette eller krumme linjer.

Man kan velge å betrakte linjen *s* som linjen i det uendelige med tre ideelle punkt *B*, *D* og *F*. Fjernes disse, står man igjen med fire endelige punkt og seks linjer som forbinder dem. Dette er det affine planet av orden  Det tilsvarer punkter og linjer som utgjør et tetraeder.

## Se også
* Geometri
* Insidensgeometri
* Affin geometri

## Litteratur
* J.W. Russell, An elementary treatise on pure geometry with numerous examples, Clarendon Press, Oxford (1893).
* J. W. Young, Projective Geometry, The Mathematical Association of America (1930).
* D.N. Lehmer, An Elementary Course in Synthetic Projective Geometry, Guthenberg Ebook (2005).
* D.J. Struik, *Lectures on Analytic and Projective Geometry*, Dover Publications, New York (2011). ISBN 0-486-48595-1.
* H.S.M. Coxeter, *Projective Geometry*, Springer-Verlag, New York (1987). ISBN 978-0-387-40623-7.

## Eksterne lenker
* S. Birchfield, An Introduction to Projective Geometry, Stanford lectures, for computer vision.
* T. Peil, Plane Projective Geometry , webpages, Minnesota State University.
* TU, Berlin, Projective Geometry, lectures notes for course Geometry I (2012).