Redigerer Projektivt plan

[[Fil:BoysSurfaceTopView.PNG|thumb|280px|Forsøk på en fremstilling av det projektive planet som vender inn i seg selv.]]
'''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 [[parallellaksiomet|parallelle linjer ]] ikke lenger finnes og heller ikke entydige [[sirkel|sirkler]]. Den får dermed en mye løsere og generell struktur. Alle linjer skjærer hverandre i et punkt. [[vinkel|Vinkler]] og lengder av [[linjestykke]]r 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å [[horisont]]en 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  [[bilderedigeringsprogram|bildebehandling]] og [[datagrafikk]]. Vanligvis betegnes det projektive planet som '''P'''<sup>2</sup> eller som  '''RP'''<sup>2</sup> for å understreke at det er beskrevet med [[koordinatsystem|koordinater]] som er [[reelt tall|reelle tall]]. Hvis man i stedet hadde benyttet komplekse tall, vil det betegnes som '''CP'''<sup>2</sup>. 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 [[aksiom]]er samlet sammen i [[Evklid|Euklid]]s verk [[Euklids Elementer|''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 [[affint rom|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 [[euklidsk rom|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 ==
[[Fil:Drawing_Square_in_Perspective_2.png|thumb|300px|Illustrasjon av en perspektivisk avbildning hvor lysstråler fra objektet passerer billedplanet og samles i øyet.]]
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 [[koordinatsystem|koordinater]]. Disse ble innført av  [[August Ferdinand Möbius|August Möbius]] og [[Julius Plücker]] i tiden rundt 1830. 

En naturlig koordinatisering av det reelle, projektive planet '''RP'''<sup>2</sup>&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'''<sup>3</sup> med [[kartesisk koordinatsystem|kartesiske koordinater]] {{nowrap|(''x,y,z'').}} Ø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 {{nowrap|'''x''' {{=}} (''x''<sub>1</sub>,''x''<sub>2</sub>,''x''<sub>3</sub>).}}  Dette er en [[perspektiv|sentralprojeksjon]] som kalles også for en [[perspektiv|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 {{nowrap|(''x''<sub>1</sub>,''x''<sub>2</sub>,''x''<sub>3</sub>)}} og {{nowrap|(''&lambda;x''<sub>1</sub>, ''&lambda;x''<sub>2</sub>,''&lambda;x''<sub>3</sub>)}} 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'''<sup>3</sup> som går gjennom origo, og billedplanet. Ligningen for et slikt [[plan (matematikk)|plan]] er {{nowrap|''ax'' + ''by'' + ''cz'' {{=}} 0}} 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 {{nowrap|'''n''' {{=}} [''n''<sub>1</sub>,''n''<sub>2</sub>,''n''<sub>3</sub>]}} 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 {{nowrap|[''n''<sub>1</sub>,''n''<sub>2</sub>,''n''<sub>3</sub>]}} og {{nowrap|[''&lambda;n''<sub>1</sub>,''&lambda;n''<sub>2</sub>,''&lambda;n''<sub>3</sub>]}} 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 {{nowrap|'''x''' {{=}} (''x''<sub>1</sub>,''x''<sub>2</sub>,''x''<sub>3</sub>)}}  i det projektive planet skal ligge på linjen {{nowrap|'''n''' {{=}} [''n''<sub>1</sub>,''n''<sub>2</sub>,''n''<sub>3</sub>]}}, er det nødvendig at disse to vektorene står [[vinkelrett]] på hverandre. Da er [[indreprodukt| prikkproduktet]] {{nowrap|'''x'''&sdot;'''n''' {{=}} 0}} eller {{nowrap|''x''<sub>1</sub>''n''<sub>1</sub> + ''x''<sub>2</sub>''n''<sub>2</sub> + ''x''<sub>3</sub>''n''<sub>3</sub> {{=}} 0.}} 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 {{nowrap|2''x''<sub>1</sub>  - 3''x''<sub>2</sub> + ''x''<sub>3</sub> {{=}} 0.}} 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 {{nowrap|''n''<sub>1</sub>  + 5''n''<sub>2</sub> - 2''n''<sub>3</sub> {{=}} 0}}  som alle går gjennom punktet (1,5,-2).

Hvis man har gitt to punkt {{nowrap|'''a''' {{=}} (''a''<sub>1</sub>,''a''<sub>2</sub>,''a''<sub>3</sub>)}}  og {{nowrap|'''b''' {{=}} (''b''<sub>1</sub>,''b''<sub>2</sub>,''b''<sub>3</sub>)}}, vil det være en linje '''n''' i det projektive planet som går gjennom begge punktene. Da må både {{nowrap|'''a'''&sdot;'''n''' {{=}} 0}} og {{nowrap|'''b'''&sdot;'''n''' {{=}} 0}} være oppfylt.  Linjen er derfor gitt ved  [[kryssprodukt]]et {{nowrap|'''n''' {{=}} '''a'''&thinsp;&times;&thinsp;'''b'''.}} I det euklidske rommet '''E'''<sup>3</sup> er dette vektoren som står [[vinkelrett]] på planet som '''a''' og '''b''' danner.  Skrevet ut blir dermed koordinatene til linjen '''n''' = {{nowrap|[''a''<sub>2</sub>''b''<sub>3</sub> - ''a''<sub>3</sub>''b''<sub>2</sub>, ''a''<sub>3</sub>''b''<sub>1</sub> - ''a''<sub>1</sub>''b''<sub>3</sub>, ''a''<sub>1</sub>''b''<sub>2</sub> - ''a''<sub>2</sub>''b''<sub>1</sub>].}} Ligningen for punktene på linjen er {{nowrap|'''x'''&sdot;('''a'''&thinsp;&times;&thinsp;'''b''') {{=}} 0}}. Det betyr at tre punkt '''a''', '''b''' og '''c''' ligger på samme linje når de homogene koordinatene oppfyller {{nowrap|('''a'''&thinsp;&times;&thinsp;'''b''')&sdot;'''c''' {{=}} 0}}. Skriver man dette [[vektor (matematikk)#Trippelprodukt|trippelproduktet]] ut, kan det uttrykkes ved en [[determinant]] slik at betingelsen for kolineæritet blir

: <math>(\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\,</math> .

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 {{nowrap|[8,1,-2]}} som tilsvarer ligningen {{nowrap|8''x''<sub>1</sub> + ''x''<sub>2</sub> - 2''x''<sub>3</sub> {{=}} 0}} for linjer i punktkoordinater. Et punkt på linjen er da {{nowrap|(1,2,5).}} Det tilsvarer vektoren {{nowrap|'''c''' {{=}} '''a''' + 2'''b'''&thinsp;}} 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 {{nowrap|'''c''' {{=}} &alpha;'''a''' + &beta;'''b'''}} for visse verdier av koeffisientene ''&alpha;'' og ''&beta;''. Man da koordinatene er homogene, er dette ekvivalent med {{nowrap|'''c''' {{=}} '''a''' + &lambda;'''b'''&thinsp;}} hvor {{nowrap|''&lambda;'' {{=}} ''&beta;''/''&alpha;''}}. For forskjellige verdier av ''&lambda;&thinsp;'' beskriver denne vektoren en rekke med punkter som ligger på linjen gjennom punktene '''a''' og '''b'''. Når {{nowrap|''&lambda;'' {{=}} 0&thinsp;}} er {{nowrap|'''c''' {{=}} '''a'''&thinsp;}} og likedan når {{nowrap|''&lambda; &rarr; &infin;'',}} blir  {{nowrap|'''c''' {{=}} '''b'''.}} 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 {{nowrap|'''m''' {{=}} [''m''<sub>1</sub>,''m''<sub>2</sub>,''m''<sub>3</sub>]}}  og {{nowrap|'''n''' {{=}} [''n''<sub>1</sub>,''n''<sub>2</sub>,''n''<sub>3</sub>]}}, det vil si deres skjæringspunkt. Det er gitt ved vektoren {{nowrap|'''x''' {{=}} '''m'''&thinsp;&times;&thinsp;'''n'''}}. En linje gjennom dette punktet har ligningen  {{nowrap|'''x'''&sdot;'''l''' {{=}} 0}} eller  {{nowrap|''x''<sub>1</sub>l<sub>1</sub> + ''x''<sub>2</sub>l<sub>2</sub> + ''x''<sub>3</sub>l<sub>3</sub> {{=}} 0&thinsp;}} i linjekoordinater. Betingelsen for at en linje '''k''' skal gå gjennom skjæringspunktet mellom linjene '''m''' og '''n''', er derfor {{nowrap|('''m'''&thinsp;&times;&thinsp;'''n''')&sdot;'''k''' {{=}} 0&thinsp;}} eller

: <math>\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\,</math> .

En bunt med linjer som går gjennom skjæringspunktet for linjene '''m''' og '''n''' er gitt ved lineærkombinasjonen {{nowrap|'''k''' {{=}} &alpha;'''m''' + &beta;'''n'''&thinsp;}} 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 {{nowrap|(''x''<sub>1</sub>,''x''<sub>2</sub>,''x''<sub>3</sub>)}} 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'''<sup>3</sup> gjennom origo som er parallelt med billedplanet. Denne ''ideelle linjen'' er derfor beskrevet ved en vektor {{nowrap|[''n''<sub>1</sub>,''n''<sub>2</sub>,''n''<sub>3</sub>]}} 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'''<sup>3</sup>. 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 {{nowrap|''P'' {{=}} ''x''<sub>1</sub>''X'' + ''x''<sub>2</sub>''Y'' + ''x''<sub>3</sub>''Z''.}} Normalen til billedplanet definerer nå den ideelle linjen som '''n'''<sub>&infin;</sub> = [1,1,1]. Denne linjen er derfor også beskrevet ved ligningen {{nowrap|''x''<sub>1</sub> + ''x''<sub>2</sub> + ''x''<sub>3</sub> {{=}} 0}}. Det betyr at alle ideelle punkt '''x'''<sub>&infin;</sub> har homogene koordinater som summerer seg opp til null. For eksempel er {{nowrap|''P''<sub>1</sub> {{=}} (-2,1,1)}} et ideelt punkt i dette koordinatsystemet.

=== Standard koordinatsystem ===
[[Fil:Projektivekoordinater.jpg|thumb|320px|Punkt og linjekoordinater i det projektive planet. Den ideelle linjen er skissert i rødt.]]
For mange praktiske oppgaver er mer hensiktsmessig å plassere bildeplanet parallelt med et av koordinatplanene i '''E'''<sup>3</sup>.  Vanligvis velges det å være parallelt med {{nowrap|''xy''-planet}}, for eksempel gitt ved  {{nowrap|''z'' {{=}} 1.}} Linjen til den ideelle linjen tilsvarer da vektoren {{nowrap|[0,0,1]}} slik at den er beskrevet ved ligningen {{nowrap|''x''<sub>3</sub> {{=}} 0.}} Punkter som har denne tredje koordinaten lik null, er da ideelle og har homogene koordinater av formen (''x''<sub>1</sub>,''x''<sub>2</sub>,0) hvor kun forholdet {{nowrap|''x''<sub>1</sub>/''x''<sub>2</sub>}} teller. I motsatt fall kan de betraktes som endelige punkt i et euklidsk plan. For et slikt punkt {{nowrap|''P'' {{=}} (''x''<sub>1</sub>,''x''<sub>2</sub>,''x''<sub>3</sub>)}} med {{nowrap|''x''<sub>3</sub> &ne; 0}} kan da koordinatene skaleres slik at man får {{nowrap|''P'' {{=}} (''x,y,''1)}} hvor {{nowrap|''x'' {{=}} ''x''<sub>1</sub>/''x''<sub>3</sub>}} og {{nowrap|''y'' {{=}} ''x''<sub>2</sub>/''x''<sub>3</sub>}} blir kartesiske koordinater i den endelige, euklidske delen av det projektive planet.

Som en illustrasjon kan man betrakte den euklidske linjen {{nowrap|''x'' {{=}} 1.}} Med homogene koordinater vil den ta formen {{nowrap|''-x''<sub>1</sub> + ''x''<sub>3</sub> {{=}} 0}} som tilsvarer vektoren {{nowrap|[-1,0,1]}} i linjekoordinater. Likedan vil vektoren {{nowrap|[-1,0,3]}} tilsvare den euklidske linjen {{nowrap|''x'' {{=}} 3.}} 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 {{nowrap|''ax''<sub>1</sub> + ''bx''<sub>2</sub> + ''cx''<sub>3</sub> {{=}} 0}} og {{nowrap|''ax''<sub>1</sub> + ''bx''<sub>2</sub> + ''c'&thinsp;''x<sub>3</sub> {{=}} 0}} er punktet {{nowrap|(''c' - c'')(''b, -a'', 0)}} som er ekvivalent med {{nowrap|(''b, -a'', 0)}}. Som ventet har det ''x''<sub>3</sub> = 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''<sub>3</sub> = 0 i linjekoordinater. Det som i den endelige delen er ''x''-aksen, tilsvarer linjen {{nowrap|''x''<sub>2</sub> {{=}} 0}} i det fulle, projektive planet. De homogene koordinatene til denne linjen er [0,1,0]. På samme måte tilsvarer ''y''-aksen linjen {{nowrap|''x''<sub>1</sub> {{=}} 0}} gitt ved vektoren [1,0,0]. Den tredje koordinataksen er linjen {{nowrap|''x''<sub>3</sub> {{=}} 0}} i det uendelige gitt ved vektoren   '''n'''<sub>&infin;</sub> = [0,0,1]. Alle ideelle punkt '''x'''<sub>&infin;</sub> = (''x,y'',0) ligger på denne. Som referansetriangel i planet kan nå punktene ''X''<sub>1</sub> = (1,0,0),  ''X''<sub>2</sub> = (0,1,0) og  ''X''<sub>3</sub> = (0,0,1) benyttes. To av disse er nå ideelle, men må behandles på like fot med alle andre punkt.

=== Sfærisk modell ===
[[Fil:Plan_projectif_recollement.svg|thumb|right|Det projektive planet kan defineres som et [[kvadrat]] hvor motsatte sider vris og sammenføyes.]]
En alternativ fremstilling av det projektive planet får man ved å tenke seg at man benytter en [[kule (geometri)|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.  

[[Fil:Trekant.jpg|thumb|240px|En trekant i det projektive planet kan beskrives ved tre hjørner eller ved tre sider. Den er selvdual.]]
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 {{nowrap|''x''<sub>1</sub>''n''<sub>1</sub> + ''x''<sub>2</sub>''n''<sub>2</sub> + ''x''<sub>3</sub>''n''<sub>3</sub> {{=}} 0}} er '''selvdual''' da den går over i seg selv under en slik dualisering. Det tilsvarer at den kan beskrive enten punkter på linjen {{nowrap|[''n''<sub>1</sub>,''n''<sub>2</sub>,''n''<sub>3</sub>]}} eller linjer gjennom punktet  {{nowrap|(''x''<sub>1</sub>,''x''<sub>2</sub>,''x''<sub>3</sub>).}}  

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 ===
[[Fil:Kvadrangel.jpg|thumb|240px|Et [[fullstendig firkant|fullstendig kvadrangel]] beskrives ved fire punkter  ''A'', ''B'', ''A'&thinsp;'' og ''B' ''. De forbindes med seks linjer. Disse skjærer hverandre i tre nye, diagonale punkt  ''D'', ''E'' og ''F''. Punktene ''A'', ''B'', ''C'' og ''D'' er [[harmonisk deling|harmonisk konjugerte]].]]
Mens en vanlig [[firkant]] har fire hjørner og fire sider som er endelige [[linjestykke]]r 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.

[[Fil:Kvadrikant.jpg|left|thumb|240px|En [[fullstendig firkant]] beskrives ved fire sider ''a'', ''b'', ''c'' og ''d''. Disse skjærer hverandre i seks hjørner som kan forbindes med tre nye, diagonale linjer ''p'', ''q'' og ''r''.]]
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 deling|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 fra Alexandria|Pappos]] og videre utviklet av [[Girard Desargues|Desargues]].

== Desargues' teorem ==
[[Fil:Desargues_theorem_ter.svg|thumb|300px|Desargues' teorem sier at når linjene ''AA' '', ''BB'&thinsp;'' og ''CC'&thinsp;'' går gjennom et felles punkt ''S'', så vil skjæringspunktet ''R'' mellom linjene ''AB'' og ''A'B'&thinsp;'', skjæringspunktet ''P'' mellom ''BC'' og ''B'C'&thinsp;'' samt skjæringspunktet ''Q'' mellom ''CA'' og ''C'A'&thinsp;'' ligge på en felles linje ''s''.]]
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 {{nowrap|''S {{=}} A + A'&thinsp;'',}} {{nowrap|''S {{=}} B + B'&thinsp;''}} og {{nowrap|''S {{=}} C + C'&thinsp;''.}} Fra de to første uttrykkene følger at {{nowrap|''A - B {{=}} B' - A'&thinsp;''.}} 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 {{nowrap|''R {{=}} A - B''.}} På samme måte er skjæringspunktet mellom linjene ''BC&thinsp;'' og ''B'C'&thinsp;'' gitt som {{nowrap|''P {{=}} B - C'',}} mens skjæringspunktet mellom linjene ''CA&thinsp;'' og ''C'A'&thinsp;'' er {{nowrap|''Q {{=}} C - A''.}} Men koordinatene til disse tre skjæringspunktene sees nå å oppfylle relasjonen {{nowrap|''P + Q + R {{=}} 0&thinsp;''}} 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 {{nowrap|''A - B {{=}} B' - A'&thinsp;''}} fra {{nowrap|''A + A' {{=}} B + B'&thinsp;''.}} Det betyr at den [[kropp (matematikk)|tallkroppen]] koordinatene tilhører, må være [[kropp (matematikk)|assosiativ]] som for de reelle tallene. Hvis ikke, gjelder ikke lenger Desargues' setning.

== Pappos' teorem ==
[[Fil:Pappos.jpg|thumb|300px|Pappos' teorem sier at skjæringspunktet ''K'' mellom linjene ''AB'&thinsp;'' og ''BA'&thinsp;'', skjæringspunktet ''L'' mellom ''AC'&thinsp;'' og ''CA'&thinsp;'' samt skjæringspunktet ''M'' mellom ''BC'&thinsp;'' og ''CB'&thinsp;'' ligger på en felles linje (rød).]]

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 {{nowrap|''B {{=}} P + A''&thinsp;}} og {{nowrap|''C {{=}} &lambda;P + A''.}} Likedan velger man ''P'' og ''A'&thinsp;'' som referansepunkt på den andre linjen slik at {{nowrap|''B' {{=}} P + A'&thinsp;''}} og {{nowrap|''C' {{=}} &lambda;'P + A'&thinsp;''.}}

Da skjæringspunkt ''K'' er mellom linjene ''AB'&thinsp;'' og ''BA'&thinsp;'', må koordinatene til dette punktet kunne skrives som {{nowrap|''(P + A') + A''}} eller {{nowrap|''(P + A) + A'&thinsp;''.}} Derfor har man ganske enkelt at {{nowrap|''K {{=}} P + A + A'&thinsp;''.}} 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 {{nowrap|''L {{=}} &lambda;&lambda;'P + &lambda;A' + &lambda;'A''&thinsp;}} = {{nowrap|''&lambda;(&lambda;'P + A') + &lambda;'A'' {{=}} ''&lambda;'(&lambda;P + A) + &lambda;A'&thinsp;''}}. 

Et bestemt punkt ''M'' på linjen mellom ''K'' og ''L'' har nå koordinatene ''M = K - L''.  Utregnet gir det {{nowrap|''M {{=}} (1 - &lambda;')(P + A) + (1 - &lambda;)(&lambda;'P + A')''}} = {{nowrap|''(1 - &lambda;)(P + A') + (1 - &lambda;')(&lambda;P + A)''.}} 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 [[kropp (matematikk)|tallkropp]] som er  [[kropp (matematikk)|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 ==
[[Fil:Pascaltheoremgenericwithlabels.svg|thumb|250px|Pascal-linjen ''GHK'' som fremkommer fra punktene ''ABCDEF'' i en typisk plassering på en ellipse. Motsatte sider i heksagonet har samme farge.]]
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]]. [[Pascals teorem|Teoremet til Pascal]] sier nå at motsatte sider i dette [[polygon]]et 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 [[Pascals teorem#Brianchons teorem|Brianchons teorem]]. Det sier at når et kjeglesnitt er omskrevet med seks [[tangent (matematikk)|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'''<sup>3</sup>, vil de homogene koordinatene  {{nowrap|''x''<sub>''&mu;''</sub> {{=}} (''x''<sub>1</sub>,''x''<sub>2</sub>,''x''<sub>3</sub>)}} 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ær transformasjon|lineære transformasjoner]], vil de alminnelighet kunne skrives som {{nowrap|''x'&thinsp;''<sub>1</sub> {{=}} ''a''<sub>11</sub>''x''<sub>1</sub> + ''a''<sub>12</sub>&thinsp;''x''<sub>2</sub> + ''a''<sub>13</sub>&thinsp;''x''<sub>3</sub>}}&thinsp; og tilsvarende for de to andre koordinatkomponentene.
På [[matrise]]form kan disse tre uttrykkene sammenfattes som

: <math> \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} </math>

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 [[projektiv transformasjon|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 {{nowrap|'''n'''&sdot;'''x''' {{=}} 0}} for en slik linje før transformasjonen. Her må vektoren '''n''' for linjen da betraktes som en linjematrise, altså hvor komponentene {{nowrap|[''n''<sub>1</sub>,''n''<sub>2</sub>,''n''<sub>3</sub>]}} inngår horisontalt. Setter man så inn den inverse transformasjonen {{nowrap|'''x''' {{=}} ''A''<sup>&thinsp;-1</sup>&sdot;'''x''''&thinsp;}} i ligningen for linjen, forandres den til {{nowrap|'''n'''&sdot;''A''<sup>&thinsp;-1</sup>&sdot;'''x'''' {{=}} 0.}} Etter transformasjonen er derfor linjen gitt som {{nowrap|'''n''''&sdot;'''x'''' {{=}} 0}} med nye linjekoordinater '''n'''' = '''n'''&sdot;''A''<sup>&thinsp;-1</sup>. De transformerer derfor med den inverse matrisen.

Hvis den endelige delen av det projektive planet defineres ved ''x''<sub>3</sub> &ne; 0, vil en kollineasjon indusere en tilsvarende transformasjon mellom de euklidske komponentene {{nowrap|''x'' {{=}} ''x''<sub>1</sub>/''x''<sub>3</sub>}} og {{nowrap|''y'' {{=}} ''x''<sub>2</sub>/''x''<sub>3</sub>}}. Den blir da ikke-lineær og får den eksplisitte formen

: <math> 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}}</math>

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''<sub>3</sub> &ne; 0 og kun kollineasjoner med {{nowrap|''a''<sub>31</sub> {{=}} ''a''<sub>32</sub> {{=}} 0}}, vil ikke koordinaten ''x''<sub>3</sub>&thinsp; forandres. Man kan da sette {{nowrap|''x''<sub>3</sub> {{=}} 1}} og velge {{nowrap|''a''<sub>33</sub> {{=}} 1&thinsp;}}. Den generelle transformasjonene tar den mer spesielle formen

: <math> \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} </math>

Dette representerer en [[affint rom#Homogene koordinater|affin transformasjon]]. Det projektive planet kan på denne måten begrenses til å ha egenskaper i overensstemmelse med [[affin geometri]]. Den ideelle linjen {{nowrap|''x''<sub>3</sub> {{=}} 0}} 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 {{nowrap|'''m'''<sup>''T''</sup> {{=}} ''B''&sdot;'''x'''&thinsp;}} hvor ''B'' er en 3&times;3 matrise. Her er '''m'''<sup>''T''</sup>&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 {{nowrap|'''y'''<sup>''T''</sup> {{=}} '''n'''&sdot;''B''<sup>&thinsp;-1</sup>}}. For at den inverse matrisen ''B''<sup>&thinsp;-1</sup>&thinsp; skal kunne beregnes, må [[determinant]]en |''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 {{nowrap|'''m'''<sup>''T''</sup> {{=}} ''C''&sdot;'''x'''&thinsp;}} for ''[[pol og polare|polaren]]'' til punktet {{nowrap|'''x'''<sup>''T''</sup> {{=}} '''m'''&sdot;''C''<sup>&thinsp;-1</sup>}} 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 {{nowrap|'''m'''<sup>''T''</sup> {{=}} ''C''&sdot;'''x'''&thinsp;}} og {{nowrap|'''n'''<sup>''T''</sup> {{=}} ''C''&sdot;'''y'''&thinsp;}}. Hvis nå '''x''' ligger på polaren til '''y''', vil {{nowrap|'''n'''&sdot;'''x''' {{=}} 0}}. Men nå er {{nowrap|'''n''' {{=}} '''y'''<sup>''T''</sup>&sdot;''C''}} slik at ligningen for polaren  kan skrives som {{nowrap|'''x'''<sup>''T''</sup>&sdot;''C''&sdot;'''y''' {{=}} 0}} etter transponering. Da dette er lik med {{nowrap|'''m'''&sdot;'''y''' {{=}} 0}}, 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 [[Phillipe de La Hire|La Hire]] som var influert av arbeidene til [[Girard Desargues|Desargues]] og [[Blaise Pascal|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 [[geometrisk sted|det geometriske stedet]] for de punkt som ligger på sin egen polare. Punktene er derfor ''selvkonjugerte'' og oppfyller ligningen  {{nowrap|'''x'''<sup>''T''</sup>&sdot;''C''&sdot;'''x''' {{=}} 0}}. Skrives den eksplisitt ut, blir den

: <math> 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 </math>

Hvis man bare betrakter den endelige delen av det projektive planet, er ''x''<sub>3</sub> &ne; 0. Man kan da innføre de euklidske koordinatene {{nowrap|''x'' {{=}} ''x''<sub>1</sub>/''x''<sub>3</sub>}} og {{nowrap|''y'' {{=}} ''x''<sub>2</sub>/''x''<sub>3</sub>}}, og ligningen går over til den vanlige formen for et [[kjeglesnitt#Kjeglesnitt som kvadratisk form|kjeglesnitt]]. 

Linjekoordinatene for polaren til et punkt  '''y''' med hensyn på et kjeglesnitt med polaritet ''C'' er nå {{nowrap|'''n''' {{=}} '''y'''<sup>''T''</sup>&sdot;''C''}}. Ligningen {{nowrap|'''n'''&sdot;'''x''' {{=}} 0}} for polaren blir dermed {{nowrap|'''y'''<sup>''T''</sup>&sdot;''C''&sdot;'''x''' {{=}} 0}}. Dette gjelder også for det spesielle tilfellet at  '''y''' er et punkt på denne kurven. Den tilsvarende polaren er da [[tangent (matematikk)|tangent]] til kjeglesnittet i dette selvkonjugerte punktet. Ligningen for polarer og tangenter har derfor akkurat samme form.

Ligningen {{nowrap|'''x'''<sup>''T''</sup>&sdot;''C''&sdot;'''x''' {{=}} 0&thinsp;}} for et kjeglesnitt bestemmer de selvkonjugerte punktene '''x'''&thinsp; som ligger på kurven. Man kan alternativt beskrive det samme kjeglesnittet i linjekoordinater {{nowrap|'''m''' {{=}} '''x'''<sup>''T''</sup>&sdot;''C''&thinsp;}} for tangentene til hvert selvkonjugert punkt. Den nye ligningen blir da {{nowrap|'''m'''&sdot;''C''<sup>&thinsp;-1</sup>&sdot;'''m'''<sup>''T''</sup> {{=}} 0&thinsp;}} 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

: <math> x_1^2 + x_2^2 + x_3^2 = 0, </math>

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  {{nowrap|(1, -2, 3)}}, er polaren gitt ved linjekoordinatene {{nowrap|[1, -2, 3]}}. Dette forklarer også opphavet til navnene pol og polare. I modellen hvor det projektive planet er lagt inn i '''E'''<sup>3</sup>, er nå polen til en linje gitt ved normalen til planet som definerer den på samme måte som i [[sfærisk trekant#Polar trekant og dualitet|sfærisk]] eller [[elliptisk geometri]]. 

Den andre, fundamentale polaritet er gitt ved

: <math> x_1^2 + x_2^2 - x_3^2 = 0, </math>

om sies å være '''hyperbolsk'''. Det tilsvarende kjeglesnittet har nå reelle punkter i det projektive planet '''RP'''<sup>2</sup>. 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 ===
[[Fil:Polarconstruct.jpg|thumb|240px|Konstruksjon av polaren <span style="color:red;"> (rød) </span> til punktet '''z''' ved hjelp av to tangenter  <span style="color:blue;">(blå) </span>.]]
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 ===
[[Fil:Polarconstruct-1.jpg|left|thumb|240px|Konstruksjon av polaren <span style="color:red;"> (rød) </span>  til punktet '''z''' ved hjelp av to sekanter <span style="color:blue;">(blå) </span>. Skjæringspunktene '''a''', '''b''', '''c''' og '''d''' med kjeglesnittet definerer en [[fullstendig firkant]]. Linjen mellom de to diagonale skjæringspunktene '''x''' og '''y''' er polaren.]]
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 [[firkant#Syklisk firkant|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 [[sekant]]er. 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'''<sup>2</sup> har homogene koordinater {{nowrap|(''x''<sub>1</sub>,''x''<sub>2</sub>,''x''<sub>3</sub>)}} som tilhører den reelle [[kropp (matematikk)|tallkroppen]] '''R'''. Andre projektive plan '''KP'''<sup>2</sup> kan defineres på samme måte ved å la de homogene koordinatene tilhøre en annen [[kropp (matematikk)|tallkropp]] '''K'''. Det enkleste eksemplet er det komplekse, projektive planet '''CP'''<sup>2</sup> basert på tallkroppen '''C''' bestående av komplekse tall ''z'' = ''x'' + ''iy''. Her er ''x'' og ''y'' reelle tall og {{nowrap|''i'' {{=}} &radic;-1}} er [[imaginær enhet|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 [[kvantefeltteori]]er.

=== Endelige plan ===
Et endelig, projektivt plan '''FP'''<sup>2</sup> er basert på en [[endelig kropp|endelig tallkropp]], også kalt en Galois-kropp. Inneholder denne ''n'' elementer, betegnes den som '''F'''<sub>''n''</sub>, mens det tilsvarende projektive planet kalles ofte PG(2,''n''). Tallet ''n'' sies å være planets '''orden'''. De homogene koordinatene {{nowrap|(''x''<sub>1</sub>,''x''<sub>2</sub>,''x''<sub>3</sub>)}} 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 {{nowrap|(''x''<sub>1</sub>,''x''<sub>2</sub>,0)}}. Siden disse er homogene, kan man skalere den andre koordinaten slik at den blir lik 1. Antall punkt med koordinater av formen {{nowrap|(''x''<sub>1</sub>,1,0)}} er nå ''n'' tilsvarende antall verdier ''x''<sub>1</sub>&thinsp; kan ta. I tillegg kommer tilfellet at {{nowrap|''x''<sub>2</sub> {{=}} 0&thinsp;}} som tilsvarer det ene punktet {{nowrap|(1,0,0)}}. I alt er det derfor {{nowrap|''n'' + 1&thinsp;}} punkter på denne linjen. Og da denne er ekvivalent med alle andre linjer, vil alle inneholde et slikt antall punkter. Dualitet sier nå at {{nowrap|''n'' + 1&thinsp;}} vil også være antall linjer gjennom hvert punkt.

De endelige punktene i planet har koordinater av formen {{nowrap|(''x''<sub>1</sub>,''x''<sub>2</sub>,1)}}. Her kan både ''x''<sub>1</sub>&thinsp; og ''x''<sub>2</sub>&thinsp; fritt ta ''n&thinsp;'' verdier slik at det er i alt ''n''<sup>&thinsp;2</sup>&thinsp; slike endelige punkt. Da disse punktene utgjør et [[affin geometri#Endelige geometrier|affint plan]], er dette det totale antall punkter i det affine planet basert på denne tallkroppen. Men det projektive planet inneholder i tillegg  {{nowrap|''n'' + 1&thinsp;}} punkter i det uendelige som gir til sammen ''n''<sup>&thinsp;2</sup> + ''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å {{nowrap|''n'' &ge; 2.}} Teorien for [[endelig kropp|endelige Galois-kropper]] sier at {{nowrap|''n'' {{=}} ''p''<sup>''k''</sup>&thinsp;}} hvor ''p'' er et [[primtall]] og ''k'' et positivt heltall. Man kan derfor konstruere slike endelige plan for {{nowrap|''n'' {{=}} 2,3,4,5,7,8,9,11,13}} og så videre. Matematikere har lagt ned store anstrengelser i å forstå hvorfor projektive plan av orden {{nowrap|''n'' {{=}} 6}} og {{nowrap|''n'' {{=}} 10}} ikke kan konstrueres.

=== Eksempel: Syvpunktsplanet ===
[[Fil:Fano Plane.jpg|thumb|320px|Syvpunktsplanet med syv punkt og syv linjer.]]
Det minste, ikke-trivielle projektive planet er av orden {{nowrap|''n'' {{=}} 2&thinsp;}} basert på Galois-kroppen '''F'''<sub>2</sub>. Den er identisk med de [[binært tall|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 [[oktonion]]er.

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 [[affin geometri#Endelige geometrier|det affine planet]] av orden {{nowrap|''n'' {{=}} 2.}} Det tilsvarer punkter og linjer som utgjør et [[tetraeder]].

== Se også ==
* [[Geometri]]
* [[Insidensgeometri]]
* [[Affin geometri]]

== Litteratur ==
* J.W. Russell, [https://archive.org/stream/cu31924059551501#page/n9/mode/2up An elementary treatise on pure geometry with numerous examples], Clarendon Press, Oxford (1893).
* J. W. Young, [http://rcin.org.pl/impan/Content/13501/WA35_11701_4212_Projective.pdf Projective Geometry], The Mathematical Association of America (1930).
* D.N. Lehmer, [http://www.gutenberg.org/files/17001/17001-pdf.pdf?session_id=68d61a2e856b351adfe7ae4cf82b6041ee783d7e 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, [http://robotics.stanford.edu/~birch/projective/ An Introduction to Projective Geometry], Stanford lectures, for computer vision.
* T. Peil, [http://web.mnstate.edu/peil/geometry/C4ProjectiveGeometry/projective.htm Plane Projective Geometry] {{Wayback|url=http://web.mnstate.edu/peil/geometry/C4ProjectiveGeometry/projective.htm |date=20160306132111 }}, webpages, Minnesota State University.
* TU, Berlin, [http://dgd.service.tu-berlin.de/wordpress/geometryws12/lectures/ Projective Geometry], lectures notes for course Geometry I (2012).

{{Autoritetsdata}}

[[Kategori:Projektiv geometri]]
[[Kategori:Algebraisk geometri]]
[[Kategori:Klassisk geometri]]