Redigerer Affin geometri

'''Affin geometri''' er en forenklet utgave av [[euklidsk geometri]]. Den omhandler punkter og rette [[linje]]r i et [[affint rom]], men inneholder ingen [[sirkel|sirkler]].  Man har derfor ikke muligheten for å konstruere en [[rett vinkel]]. Mer generelt kan man derfor heller ikke snakke om vinkelen mellom to linjer som skjærer hverandre. Dette har også som konsekvens at [[Pytagoras’ læresetning]] ikke gjelder slik at man ikke kan bestemme lengder av forskjellige linjestykker.

Men [[parallellaksiomet]] til [[Euklid]] skal være gyldig. Gitt et punkt utenfor en linje, kan man derfor alltid finne en linje gjennom dette punktet og parallell med den gitte linjen. Eksistensen av parallelle linjer gjør det også mulig å geometrisk dele opp et linjestykke i mindre deler med samme, relative lengder. På den måten er det mulig å angi lengden av et linjestykke i forhold til et annet linjestykke i samme retning. Dermed kan man benytte [[delingsforhold]]et til å beskrive relative avstander mellom punkt på samme linje.

==Punkter og linjer==
[[Fil:AffineVector-addition.jpg|thumb|Resultatet av to forskyvninger '''u''' og '''v''' er lik en forskyvning med vektorsummen '''u''' + '''v'''.]]
Gjennom to punkt ''P'' og ''Q'' i  [[affint rom|det affine rommet]] kan det trekkes en rette linje. Linjestykket ''PQ'' kan man tenke seg som en pil som starter i ''P'' og med spissen i ''Q''. Matematisk kan man da skrive at {{nowrap|''Q'' {{=}} ''P'' + '''v'''&thinsp;}} hvor [[vektor (matematikk)|vektor]]en {{nowrap|'''v''' {{=}} ''Q - P''}} tilsvarer denne pilen. Den står for en forskyving eller forflytning fra ''P'' til ''Q''. Punktet {{nowrap|''Q'' + '''v''' {{=}} ''P'' + 2'''v'''&thinsp;}} kan da konstrueres og tilsvarer en dobbelt så lang forflytning fra utgangspunktet ''P''.  Generelt kan punktet {{nowrap|''Q' {{=}} P'' + ''a''&thinsp;'''v'''&thinsp;}} nå finnes hvor ''a'' er et vilkårlig tall. Fra forskyvninger i motsatt retning, kan man likedan definere den negative vektoren {{nowrap|-'''v''' {{=}} ''P - Q''&thinsp;}}. Ved parallellforskyvning kan disse vektorene tenkes å virke på ethvert punkt i [[affint rom|det affine rommet]] hvor de vil gi tilsvarende forflytninger uansett utgangspunkt.

Hvis man har et tredje punkt ''R'' utenfor linjen gjennom ''P'' og ''Q'', har man samtidig en ny vektor {{nowrap|'''u''' {{=}} ''R - P''}}. Det gjør det så mulig å konstruere et fjerde punkt {{nowrap|''S {{=}} R'' + '''v'''}}. Det kan skrives som {{nowrap|''S {{=}} P'' + '''w'''&thinsp;}} hvor vektoren {{nowrap|'''w''' {{=}} '''u''' + '''v'''&thinsp;}} fremkommer ved vanlig addisjon av [[vektor (matematikk)|vektor]]er som er konsistent med at {{nowrap|''S {{=}} Q'' + '''u'''}}.

==Koordinatsystem==

Da det ikke eksisterer noen [[rett vinkel|rette vinkler]] i et [[affint rom]], kan man ikke benytte et [[kartesisk koordinatsystem]] til å stedfeste punkter i rommet. Men da alle punkter kan angis i forhold til et endelig antall referansepunkter, er det likevel mulig å koordinatisere dette rommet på andre måter.  For det ''n''-dimensjonale, affine rommet '''A'''<sup>''n''</sup> behøver man {{nowrap|''n'' + 1}} slike referansepunkt. Det tilsvarer at det kan inneholde maksimalt ''n'' lineært uavhengige vektorer.

Et vilkårlig punkt ''X'' på linjen gjennom ''P'' og {{nowrap|''Q {{=}} P'' + '''v'''&thinsp;}} vil i alminnelighet kunne skrives som {{nowrap|''X {{=}} P'' + ''t'''v''&thinsp;'''}}. Har parameteren ''t&thinsp;'' verdien {{nowrap|''t'' {{=}} 0}}, gir dette utgangspunktet ''P'', mens for {{nowrap|''t'' {{=}} 1}} finner man punktet ''Q''. Er derimot {{nowrap|''t'' > 1}}, ligger punktet ''X'' utenfor ''Q'', mens for {{nowrap|''t'' < 0&thinsp;}} ligger det utenfor ''P''. Da {{nowrap|'''v''' {{=}} ''Q - P''}}, har man sammenhengen 

: <math> X = P + t(Q - P) = (1 - t) P + t Q </math>

mellom disse punktene. Parameteren ''t'' bestemmer derfor posisjonen til  punktet ''X'' og kalles dets ''koordinat'' langs linjen.

===Affine koordinater===
[[Fil:AffineSpace-4.jpg|thumb|200px|Hvert punkt ''X'' på en linje mellom to referansepunkt ''P'' og ''Q'' kan angis ved en posisjonsvektor fra et [[origo]] ''O''.]]
I stedet for å omtale abstrakte punkter, kan man også angi deres posisjon ved vektorer. Til det trenges et felles referansepunkt ''O'' som da vil være et [[origo]] til koordinatsystemet. Punktet ''P'' er forskjøvet fra dette med en vektor {{nowrap|'''r'''<sub>''P''</sub> {{=}} ''P - O&thinsp;''}} som er dets ''posisjonsvektor''.  Defineres på samme måte posisjonsvektorene '''r'''<sub>''Q''</sub>&thinsp; og  '''r'''<sub>''X''</sub>, kan da punkter på linjen gjennom  ''P'' og ''Q&thinsp;'' skrives som

: <math> \mathbf{r}_X = \lambda_1\mathbf{r}_P + \lambda_2\mathbf{r}_Q </math>

hvor koeffisientene (''&lambda;''<sub>1</sub>, ''&lambda;''<sub>2</sub>) = (1 - ''t'', ''t''). De omtales som de affine koordinatene til punktet ''X'' og tilfredsstiller {{nowrap|''&lambda;''<sub>1</sub> + ''&lambda;''<sub>2</sub> {{=}} 1}}. Samtidig er de ekvivalente med normaliserte, [[barysentriske koordinater]] til ''X'' da dette punktet kan betraktes som [[massesenter]]et for en masse ''&lambda;''<sub>1</sub>&thinsp; plassert i punktet ''P'' og en masse  ''&lambda;''<sub>2</sub>&thinsp; plassert i punktet ''Q''. De to gitte punktene ''P&thinsp;'' og ''Q'' har henholdsvis de barysentriske koordinatene (1,0)&thinsp; og (0,1), mens deres midtpunktet er gitt som {{nowrap|(1/2,1/2)}}.

Tre referansepunkt ''P''<sub>1</sub>, ''P''<sub>2</sub>&thinsp; og ''P''<sub>3</sub> som ikke ligger på samme linje, kan betraktes som hjørnene i en [[trekant]] og definerer dermed et plan. På tilsvarende måte vil da hvert punkt i dette planet kunne skrives som

: <math> P = \lambda_1 P_1 + \lambda_2P_2 + \lambda_3 P_3</math>

hvor de affine koordinatene (''&lambda;''<sub>1</sub>, ''&lambda;''<sub>2</sub>, ''&lambda;''<sub>3</sub>) oppfyller betingelsen {{nowrap|''&lambda;''<sub>1</sub> + ''&lambda;''<sub>2</sub> + ''&lambda;''<sub>3</sub> {{=}} 1}}. For gitte verdier av disse koordinatene kan det tilsvarende punktet finnes ved å beregne [[tyngdepunkt]]et for de tre gitte punktene med disse massene. Punkter innen [[trekant]]en som har de tre punktene som hjørner, har alle tre koordinater postive. For punkter utenfor er minst en av dem negativ. De tre hjørnene har henholdsvis  koordinatene (1,0,0), (0,1,0) og (0,0,1). Punkter på siden av trekanten som ligger motsatt punktet  ''P''<sub>1</sub>, har alle ''&lambda;''<sub>1</sub> = 0&thinsp;. Likedan har punkter som ligger på linjer parallelle til sidekanten motsatt ''P''<sub>1</sub>, samme verdi for koordinaten ''&lambda;''<sub>1</sub>. Det samme gjelder for de andre hjørnene i trekanten og linjer parallelle med deres motsatte sider.

I affine rom med høyere dimensjoner kan slike barysentriske koordinater innføres på tilsvarende måte.

===Vektorkomponenter===

For punkter i et affint plan er det bare to uavhengige, barysentriske koordinater da {{nowrap|''&lambda;''<sub>3</sub> {{=}} 1 - ''&lambda;''<sub>1</sub> + ''&lambda;''<sub>2</sub>}}. Hvert punkt ''P'' i planet kan derfor skrives som {{nowrap|''P'' {{=}} ''P''<sub>3</sub> + ''&lambda;''<sub>1</sub>(''P''<sub>1</sub> - ''P''<sub>3</sub>) + ''&lambda;''<sub>2</sub>(''P''<sub>2</sub> - ''P''<sub>3</sub>)}}. Her kan nå vektorene {{nowrap|'''v'''<sub>1</sub> {{=}} ''P''<sub>1</sub> - ''P''<sub>3</sub>&thinsp;}} og  {{nowrap|'''v'''<sub>2</sub> {{=}} ''P''<sub>2</sub> - ''P''<sub>3</sub>&thinsp;}} betraktes som to [[vektorrom|basisvektorer]] i det affine planet. Ved å innføre posisjonsvektoren {{nowrap|'''v''' {{=}} ''P'' - ''P''<sub>3</sub>&thinsp;}}, er posisjonen til hvert punkt gitt ved vektoren

: <math> \mathbf{v} = \lambda_1\mathbf{v}_1 + \lambda_2\mathbf{v}_2  </math>

hvor det tredje referansepunktet ''P''<sub>3</sub>&thinsp; opptrer som et [[origo]]. På denne måten er hvert punkt nå gitt ved de to koordinatene {{nowrap|''(&lambda;<sub>1</sub>, &lambda;<sub>2</sub>)''}}. De kan ta alle verdier uavhengig av hverandre og kalles vektorens ''komponenter'' i dette koordinatsystemet. De kan også innføres på samme måte i [[affint rom|affine rom]] med høyere dimensjoner.

==Eksempel: Menelaos' teorem==

[[Fil:Menelaos's theorem 1.png|thumb|300px|Menelaos' teorem gjelder en [[linje]] som skjærer gjennom en [[trekant]] som her er ''ABC''.]]
Mange geometriske bevis som bare involverer rette linjer og deres skjæringspunkt, er enklere i affin geometri enn i [[euklidsk geometri]]. Et eksempel er [[Menelaos' teorem]] som omhandler forholdene mellom linjestykkene som oppstår når en linje skjærer gjennom en [[trekant]]. Er denne gitt ved de tre hjørnepunktene ''A'', ''B'' og ''C'', kan man angi skjæringspunktene ''D'', ''E'' og ''F'' med barysentriske koordinater på de tilsvarende sidene i trekanten. Da er  punktene {{nowrap|''D {{=}} aB + a'&thinsp;C''}} og {{nowrap|''E {{=}} bC + b'&thinsp;A''}} hvor man har {{nowrap|''a + a' {{=}} b + b' {{=}} 1''}}. Likedan ligger skjæringspunktet ''F'' på samme linje som ''A'' og ''B'' som betyr at {{nowrap|''F {{=}} cA + c'&thinsp;B''}} med {{nowrap|''c + c' {{=}} 1''}}. Men dette punktet ligger også på linjen gjennom hjørnene ''D'' og ''E&thinsp;'' slik at man må kunne skrive {{nowrap|''F {{=}} tD + t'&thinsp;E''&thinsp;}} med {{nowrap|''t + t' {{=}} 1''}}. Settes her inn uttrykkene for ''D'' og ''E'', får man betingelsen ''ta' = - t'&thinsp;b'' samtidig som at ''c = t'&thinsp;b'&thinsp;'' og ''c' = ta''&thinsp; ved å sammenligne koeffisientene foran ''A'' og ''B''. Elimineres herfra ''t'' og ''t','' står man igjen med betingelsen {{nowrap|''abc {{=}} - a'&thinsp;b'&thinsp;c'&thinsp;''}} for at de tre skjæringspunktene ligger på samme linje.

Dette resultatet kan skrives mer konkret ved å uttrykke de barysentriske koordinatene ved [[delingsforhold]]. For eksempel, så er forholdet {{nowrap|''a'/a {{=}} BD/DC''}} hvor linjestykket ''BD'' har en retning slik at {{nowrap|''BD {{=}} - DB''}}. I [[euklidsk geometri]] er dette forholdet lik forholdet mellom lengdene til de to linjestykkene, men det har også en veldefinert verdi i affin geometri. Betingelsen for at de tre punktene ''D'', ''E'' og ''F'' skal ligge på en rett linje er derfor

: <math>\frac{AF}{FB}  \cdot \frac{BD}{DC} \cdot \frac{CE}{EA} = - 1 </math>

Dette er [[Menelaos' teorem]]. Det tilsvarer [[Cevas setning]] som gir en lignende betingelse for at tre linjer fra hjørnene i en trekant skal gå gjennom samme punkt. I Menelaos' teorem er venstre side i betingelsen negativ da de to linjestykkene i delingsforholdet ''AF/FB'' er motsatt rettet. Det skyldes at punktet ''F'' ligger utenfor trekanten. Alltid når en linje skjærer en trekant, må et av skjæringspunktene ligge på en forlengelse av en av sidekantene.

==Endelige geometrier==

Et [[affint rom]] med et endelig antall punkter og linjer, sies å ha en ''endelig geometri''. Hver av disse kan formuleres som en [[insidensgeometri]]. Skal den være affin, må spesielt [[parallellaksiomet]] være oppfylt. Det garanterer at gjennom hvert punkt utenfor en linje går det nøyaktig en parallell linje.

De forskjellige koordinatene man bruker i affin geometri, er vanligvis [[reelle tall]] '''R'''. [[affint rom|Det affine rommet]] med ''m'' dimensjoner over denne [[kropp]]en kan da betegnes som '''A'''<sup>m</sup>('''R'''). Benytter man i stedet en  [[endelig kropp|endelig tallkropp]], vil man da få en endelig geometri. Da disse tallkroppene kalles [[Evariste Galois|Galois-kropper]], blir den resulterende geometrien ofte omtalt som en ''Galois-geometri''.

===Affine plan===

[[Fil:Order 2 affine plane.svg|thumb|200px|right|Illustrasjon av et affint plan med 4 punkt og 6 linjer. Linjer med samme farge er parallelle.]]
De enkleste [[insidensgeometri|insidensgeometrier]] inneholder bare punkter og linjer. Disse vil derfor være plane geometrier. Et affint plan kan da defineres ved [[aksiom]]ene:

# Gjennom to forskjellige punkter går det en linje.
# Gjennom et punkt utenfor en linje går det en parallell linje.
# Det finnes minst fire punkt hvor ikke tre av dem ligger på samme linje.

Mens det andre postulatet sikrer at det finnes parallelle linjer, vil det tredje garantere at geometrien er ikke-triviell. Det ville være tilfelle hvis alle punktene lå på en og samme linje. 

Utfra disse aksiomene kan man så bygge opp geometier for forskjellige, affine plan. Den eneste ukjente som da inngår, vil være antall punkter som ligger på samme linje. Denne parameteren kalles planets '''orden''' eller ''kardinalitet''. Betegnes denne med bokstaven ''n'', kan man da direkte fra aksiomene vise at det vil gå {{nowrap|''n + 1''}} linjer gjennom hvert punkt i planet. Det vil inneholde i alt ''n<sup>2</sup>'' slike punkt og {{nowrap|''n<sup>2</sup> + n&thinsp;''}} linjer.

===Galois-geometrier===

Affine plan kan også konstrueres ved å gå ut fra endelige, [[endelig kropp|Galois-kropper]]. Det enkleste tilfellet får man ved å benytte [[binært tallsystem|binære tall]], 0 eller 1. Denne tallkroppen kalles vanligvis for '''F'''<sub>2</sub>. Et affint plan over denne [[endelig kropp]]en betegnes da med {{nowrap|'''A'''<sup>2</sup>('''F'''<sub>2</sub>)}} og inneholder bare fire punkter. De har affine koordinater (0,0), (0,1), (1,0) og (1,1). Ingen andre punkt kan eksistere i dette affine planet. Det har orden {{nowrap|''n {{=}} 2''}}.

Betegner man de to affine koordinatene som ''(x,y)'', kan en [[linje]] i dette planet skrives som {{nowrap|''y {{=}} ax + b''}} hvor også koeffisientene ''a'' og ''b'' er binære tall. Det gir opphav til de fire linjene {{nowrap|''y {{=}} 0''}}, {{nowrap|''y {{=}} 1''}}, {{nowrap|''y {{=}} x''}} og {{nowrap|''y {{=}} x + 1''}}. I tillegg har man de to "vertikale" linjene {{nowrap|''x {{=}} 0''}} og {{nowrap|''x {{=}} 1''}}. Det gir i alt seks linjer som vist i figuren. På hver linje ligger det to punkt, mens gjennom hvert punkt løper det tre linjer. Til hver linje finnes det en parallell linje, det vil si at den ikke har noen felles punkt med den gitt linjen. Dette utgjør den såkalte ''firepunktsmodellen'' for det affine planet. 

[[Fil:Order 3 affine plane.svg|thumb|200px|right|Affint plan av orden ''n = 3''. Det har 9 punkt og 12 linjer. Linjer med samme farge er parallelle.]]
En annen måte å betrakte den, er å tenke seg de fire punktene på hjørnene av et [[tetraeder]]. Sider som forbinder forskjellige hjørner, kan da betraktes å være parallelle hvis tetraederet brukes som en illustrasjon av dette affine planet.

Ved å benytte større [[endelig kropp|tallkropper]] '''F'''<sub>n</sub>&thinsp; med ''n > 2''&thinsp; tall, kan man på samme måte konstruere større, affine plan. Det vil da inneholde ''n<sup>2</sup>'' punkter. Hver linje vil inneholde ''n&thinsp;'' punkt som følger fra å angi dem med linjekoordinater. Hvis man tenker seg et punkt ''P'' utenfor en linje ''p'', vil det være en linje gjennom ''P'' som er parallell med denne linjen. Alle andre linjer gjennom ''P'' må skjære linjen ''p'' i et punkt. Da den inneholder i alt ''n'' punkt, er det totale antall linjer gjennom hvert punkt ''P'' lik ''n + 1''. Hver linje er av formen {{nowrap|''y {{=}} ax + b''}} hvor det er i alt  ''n<sup>2</sup>'' mulige kombinasjoner av koeffisientene ''(a,b)''. I tillegg er det ''n'' ''vertikale'' linjer av formen {{nowrap|''x {{=}} k''}} da også konstanten ''k'' må tilhøre tallkroppen '''F'''<sub>n</sub>. Det totale antall linjer i planet er derfor {{nowrap|''n<sup>2</sup> + n''}}. Firepunktsmodellen har {{nowrap|''n {{=}} 2''}} og inneholder seks linjer som tidligere funnet.

Et annet eksempel er det affine planet med orden ''n = 3''. Det har i alt ni punkter og tolv linjer. Disse kan organiseres i fire grupper, hver med tre parallelle linjer som vist i figuren.

==Se også==
* [[Geometri]]
* [[Insidensgeometri]]
* [[Projektivt plan]]

==Litteratur==

* J. N. Cederberg, ''A Course in Modern Geometries'', Springer-Verlag, Berlin (2001). ISBN 0-387-98972-2.
* D. Pedoe, ''Geometry: A Comprehensive Course'', Dover Publications, New York (2013). ISBN  1-306-340551.
{{Autoritetsdata}}

[[Kategori:Affin geometri]]
Beskrivelse	Hva du skriver	Hva du får
Kursiv	''Kursiv tekst''	Kursiv tekst
Fet	'''Fet tekst'''	Fet tekst
Fet & kursiv	'''''Fet & kursiv tekst'''''	*Fet & kursiv tekst*