Homogenaj koordinatoj

En matematiko, homogenaj koordinatoj, permesas al afinaj transformoj esti facile prezentitaj per matrico. Ankaŭ ili faras kalkulojn eblaj en projekcia spaco samkiel karteziaj koordinatoj faras en eŭklida spaco. La homogenaj koordinatoj de punkto de projekcia spaco de dimensio n estas kutime skribita kiel (x : y : z : ... : w), (linio, vico) vektoro de longo n + 1, escepte (0 : 0 : 0 : ... : 0). Du aroj de koordinatoj, kiuj estas proporciaj signifas la saman punkton de projekcia spaco: por (ĉiu, iu) ne-nula skalaro c de la suba kampo K, (ĉ : cy : cz : ... : cw) signifas la saman punkton. Pro tio, ĉi tiu sistemo de koordinatoj povas esti eksplikita kiel sekvas: se la projekcia spaco estas konstruita el vektora spaco V de dimensio n + 1, prezenti koordinatojn en V per elektanta bazo, kaj uzi ĉi tiuj en P(V), la ekvivalento-klasoj de proporcia ne-nulaj vektoroj en V.

Prenante la ekzemplon de projekcia spaco de dimensio tri, tie estos esti homogenaj koordinatoj (x : y : z : w). La ebeno je malfinio estas kutime identigita kun la aro de punktoj kun w = 0. For de ĉi tiu ebeno ni povas uzi (x/w, y/w, z/w) kiel ordinaran Kartezian sistemon; pro tio la afina spaco komplementa al la ebeno je malfinio estas koordinatigita laŭ familiara maniero, kun bazo koresponda (1 : 0 : 0 : 1), (0 : 1 : 0 : 1), (0 : 0 : 1 : 1).

Se ni provas sekci la du (planoj, ebenoj)n difinitajn per ekvacioj x = w kaj x = 2w tiam ni klare derivos unua w = 0 kaj tiam x = 0. Tio diras, ke ni (tiu, ke, kiu) la komunaĵo estas enhavita en la ebeno je malfinio, kaj konsistas el ĉiuj punktoj kun koordinatoj (0 : y : z : 0). Ĝi estas linio, kaj fakte la linio (aniĝanta, aliganta, aliĝanta) (0 : 1 : 0 : 0) kaj (0 : 0 : 1 : 0). La linio estas donita per la ekvacio

kie μ estas (krustanta, skalanta) faktoro. La (krustanta, skalanta) faktoro povas esti (ĝustigita, adaptita, alĝustigita) al ununormigi la koordinatojn (0 : y : z : 0), per tio eliminanta unu de la du gradoj de libereco. La rezulto estas aro de punktoj kun nur unu grado de libereco, kiel estas atendita por linio.

Krampoj kontraŭ parantezojRedakti

Konsideri projekcia 2-spaco: punktoj en la projekcia ebeno estas projekcioj de punktoj en 3-spaco ("3-D punktoj"). Lasu ke la notacio (skribmaniero)

 

temu pri unu de ĉi tiuj 3-D punktoj. Lasu ke

 

temu pri alia 3-D punkto. Tiam

 

Aliflanke, lasu ke al la notacio

 

signifi la projekcion de 3-D punkto (x : y : z) sur la projekcia ebeno. La punkto [x : y : z] povas esti konsiderata esti egala al ekvivalento-klaso de 3-D punktoj kiu apartenas la 3-D linio (trairanta, pasanta) tra la punktoj (x : y : z) kaj (0 : 0 : 0). Se

 

estas alia projekcia punkto, tiam

 

Du 3-D punktoj estas ekvivalento se iliaj projekcioj sur la projekcia ebeno estas egala:

 

Tial,

 

Aldono de homogenaj koordinatojRedakti

Ĉi tiu distingo inter krampoj kaj parantezoj signifas, ke aldono de punktoj en homogenaj koordinatoj estos difinita en du malsamaj manieroj, depende de tio, ĉu la koordinatoj estas enmetitaj kun krampoj aŭ parantezoj.

Konsideru denove la okazon de la projekcia ebeno. Adicio de du 3-D punktoj estas la sama kiel por ordinaraj koordinatoj:

 

Aliflanke, adicio de paro de projekciitaj punktoj povas esti difinita tiel:

 

Por projekcia 3-spaco, similaj konsideroj apliki. Aldono de paro de neprojekciitaj punktoj estas

 

ĉar adicio de paro de projekciitaj punktoj estas

 

Skalara multipliko de homogenaj koordinatojRedakti

Estas du specoj de skalara multipliko: unu por neprojekciitaj punktoj kaj alia unu por projekciitaj punktoj.

Konsideru skalaron a kaj neprojekciitan 3-D punkto (x : y : z). Tiam

 

Rimarku ke

 

eĉ kvankam

 

Nun konsideru la skalaron a kaj projekciitan punkto [x : y : z]. Tiam

 

tiel ke

 

Rimarku tamen specialan okazon - se  , la pli supre formulo donas [0:0:0] kiel rezulto, kiu ne prezentas iun punkto. Ja   estas nedefinita, tiel ĉi tio ne estas en la difino.

Linearaj kombinaĵoj de punktoj priskribis kun homogenaj koordinatojRedakti

Estu tie esti paro de punktoj A kaj B en projekcia 3-spaco, kies homogenaj koordinatoj estas

 
 

Estas dezirite trovi ilian linearan kombinaĵon   kie a kaj b estas koeficientoj kiu povas esti (ĝustigita, adaptita, alĝustigita) laŭvole, kun la kondiĉo, ke  , aŭ (pli ĝuste), ke  , eviti degeneri punktoj. Estas tri kazoj por konsideri:

  • ambaŭ punktoj aparteni afina 3-spaco,
  • ambaŭ punktoj aparteni la ebeno je malfinio,
  • unu punkto estas afina kaj la alia unu estas je malfinio.

La koordinatoj X, Y, kaj Z povas esti konsiderataj kiel numeratoroj, kaj la W koordinato povas esti konsiderata kiel denominatoro. Por adicii homogenajn koordinatojn necesas ke la denominatoro estu la sama. Alie necesas reskaligi la koordinatojn ĝis ĉiuj denominatoroj estas la samaj. Homogenaj koordinatoj estas ekvivalento supren al ĉiu uniformo reskaligo.

Ambaŭ punktoj estas afinajRedakti

Se ambaŭ punktoj estas en afina 3-spaco (ne en malfinio), tiam   kaj  . Ilia lineara kombinaĵo estas

 
 
 
 

Ambaŭ punktoj estas je malfinioRedakti

Se ambaŭ punktoj estas sur la ebeno je malfinio, tiam WA = 0 kaj WB = 0. Ilia lineara kombinaĵo estas

 
 

Unu punkto estas afina kaj la alia je malfinioRedakti

Estu la unua punkto esti afina, tiel ke  . Tiam

 
 
 

kio signifas, ke la punkto je malfinio estas domina.

Ĝenerala okazoRedakti

La kalkulo povas ankaŭ esti portita super sen distingi inter okazoj simile al la aldono de du punktoj:

 
 

Startanta de ĉi tio, oni povas re-ricevi la formulojn por okazoj pli supre.

Aparte, apliko de ĉi tiu formulo en la degeneraj kazoj donas ke sumo de   kun io alia produktas rezulton   denove.

Vidu ankaŭRedakti