Projektiv transformation

Den aktuella versionen av sidan har ännu inte granskats av erfarna bidragsgivare och kan skilja sig väsentligt från versionen som granskades den 25 maj 2021; verifiering kräver 1 redigering .

En projektiv transformation av ett projektivt plan  är en transformation som tar linjer till linjer.

Definition

En projektiv transformation är en en-till-en-mappning av ett projektivt rum på sig självt som bevarar ordningsrelationen för den delvis ordnade uppsättningen av alla delrum.

En projektiv transformation av en linje är en bijektiv transformation av en linje som tar en harmonisk fyrdubbling av punkter till en harmonisk fyrdubbling av punkter.

En projektiv transformation av ett plan är en en-till-en-mappning av ett projektivt plan på sig själv så att bilden för varje direkt linje också är en direkt linje.

Egenskaper

och .

Perspektiv

Låt det finnas 2 distinkta linjer på det projektiva planet och en punkt O som inte tillhör dem . En perspektivavbildning av en linje på en linje med centrum O är en avbildning , där för en godtycklig punkt punkten finns som skärningspunkten mellan och . Denna mappning betecknas som: som läser " översatt till en rak linje av en perspektivavbildning centrerad vid O " eller enligt följande: som läser "punkter är översatta av en perspektivavbildning centrerad vid O till punkter ".

Perspektivavbildningen är bijektiv, bevarar skärningspunkten för linjerna och bevarar den dubbla relationen av fyrdubbla punkter .

Varje projektiv avbildning från en linje till en linje kan representeras som en sammansättning av perspektivavbildningar. Den projektiva kartläggningen betecknas

Involution

En projektiv transformation kallas en involution om det för någon punkt P är sant att .

Om  är en involution, då .

Om en projektiv transformation av en linje har minst en punkt P så att , då  är en involution.

Om en icke-identisk involution av den projektiva linjen har fixpunkter, är deras antal antingen två eller noll. En involution med 2 fixpunkter kallas hyperbolisk. Hyperbolisk involution byter punkter som är harmoniskt konjugerade med avseende på fixpunkter. En involution utan fixpunkter kallas elliptisk.

En involution definieras genom att specificera två par av motsvarande punkter.

Tre par av motsatta sidor av en komplett fyrhörning skär vilken linje som helst (som inte går genom en vertex) i tre par av punkter med samma involution (detta påstående kallas Desargues sats, även om dess ursprung kan tillskrivas Lemma IV av Euklids Porismer i volym VII av Pappus av Alexandrias matematiska samling ).

Kolinationer och korrelationer

En kollinering är en transformation som tar punkter till punkter, linjer till linjer och bevarar infallsförhållandet för punkter och linjer, såväl som det dubbla förhållandet för alla fyra kolinjära punkter. Kollinationer bildar en grupp. Kravet på att bevara det dubbla förhållandet av fyrdubbla kolinjära punkter är överflödigt, men det är svårt att bevisa. Kollinationer betraktas tillsammans med korrelationer - transformationer av det projektiva planet som omvandlar punkter till linjer och linjer till punkter och bevarar infallsrelationen. Ett exempel på en korrelation  är en polär överensstämmelse, det vill säga en mappning som tar en punkt till sin polar med avseende på en konisk sektion och en rät linje till sin pol.

Homologi

En homologi är en icke-identisk kollinering för vilken det finns en punktvis fast linje p , kallad homologiaxeln.

För varje homologi finns det en fast punkt P (homologicentrum) med egenskapen att varje linje som faller på den är fixerad. Bortsett från mitten P och punkterna på axeln p har homologin för fixpunkter inga fixpunkter. Om , då kallas homologin parabolisk, annars kallas den hyperbolisk.

Under planhomologi ligger punkten och dess bild på samma räta linje med homologins centrum, och linjen och dess bild skär varandra på homologiaxeln.

Homologi kan ges av ett centrum, en axel och ett par motsvarande linjer. Homologi kan också specificeras av centrum, axel, etc. en homologikonstant som skiljer sig från .

Se även

Litteratur