Преглед на кодот на Двоен однос

[[Податотека:Projection_geometry.svg|мини|Точките ''A'', ''B'', ''C'', ''D'' и ''A''′, ''B''′, ''C''′, ''D''' се поврзани со проективна трансформација така што нивните двојни односи, {{Безпрелом|(''A'',''B'';''C'',''D'')}} и {{Безпрелом|(''A''′,''B''′;''C''′,''D''′)}} се еднакви.]]
Во [[геометрија]]та, '''двојниот однос''', исто така наречен '''вкрстен сооднос''' и '''анхармоничен однос''', е број поврзан со низа од четири [[Колинеарност|колинеарни]] точки, или точки на проективна права. Ако се дадени четири точки <math>A,B,C,D</math> на една права, нивниот двоен однос е дефиниран како

: <math>(A,B;C,D) = \frac {AC\cdot BD}{BC\cdot AD}</math>

каде што ориентацијата на правата го одредува знакот на секое растојание и растојанието се мери како што е проектирано во [[Евклидов простор]]. (Ако една од четирите точки е бесконечната (идеалната) точка на правата, тогаш двете растојанија што ја вклучуваат таа точка се исфрлаат од формулата.) Точката <math>D</math> е хармонично конјугирана (хармоничен конјугат) на <math>C</math> во однос на <math>A</math> и <math>B</math> ако двојниот однос на четворката е еднаков на &#x2212;1, а ваквиот однос се вика ''хармоничен (со)однос'', а четирите точки се вели дека формираат ''хармонична четворка''. Според тоа, двојниот однос може да се смета како мерка за отстапувањето на дадената четворка од точки од овој сооднос; оттука и името ''анхармоничен (со)однос''.

Двојниот однос се запазува при линеарни дробни трансформации. Тоа е во суштина единствената проективна инваријанта на четворка колинеарни точки; ова својство лежи во основата на неговата важност за проективната геометрија.

Вкрстениот однос бил дефиниран во длабоката антика, веројатно веќе од [[Евклид]], и бил разгледан од [[Пап Александриски|Пап]], кој го забележал неговото клучно непроменливо својство. Тој бил опширно проучуван во XIX век.<ref>A theorem on the anharmonic ratio of lines appeared in the work of [[Pappus of Alexandria|Pappus]], but [[Michel Chasles]], who devoted considerable efforts to reconstructing lost works of [[Euclid]], asserted that it had earlier appeared in his book ''Porisms''.</ref>

Варијанти на овој концепт постојат за четворка од конкурентни прави во проективната рамнина и за четворка точки на Римановата сфера. Во моделот на Кејли-Клајн на хиперболична геометрија, растојанието помеѓу точки се изразува преку на одреден двоен однос.

== Терминологија и историја ==
[[Податотека:Pappusharmonic.svg|десно|мини|300x300пкс| Точката ''D'' е хармонично конјугирана на ''C'' во однос на ''A'' и ''B'', ако двојниот однос {{Безпрелом|(''A'',''B'';''C'',''D'')}} е еднаков на −1.]]
Пап Александриски имплицитно употребил концепти еквивалентни на двојниот однос во неговата книга „''Збирка: Книга VII''“. Меѓу раните корисници на ова дело биле [[Исак Њутн]], [[Мишел Шал]] и [[Роберт Симсон]]. Во 1986 година Александар Џонс направил превод на оригиналот од Пап, а потоа напишал коментар за тоа како лемите на Пап се поврзани со модерната терминологија.

Модерната употреба на двојниот однос во проективната геометрија започнала со [[Лазар Карно]] во 1803 година во неговата книга „''Géométrie de position''“(француски'', Геометрија на положба)''. Користениот термин бил ''„le rapport anharmonique''“ (''француски:'' анхармоничен (со)однос). Германските геометри го нарекуваат „''das Doppelverhältnis''“ (германски: двоен однос).

Ако се дадени три точки на права, четвртата точка која го прави двојниот однос еднаков на -1 се нарекува проективен хармоничен конјугат. Во 1847 година, Карл фон Штаудт конструкцијата на четвртата точка ја нарекол '''фрлање''' ('''Wurf'''), и ја искористил конструкцијата за да покаже аритметички својства кои не се очигледни во геометријата. Неговата книга „Алгебра на фрлања“ обезбедувала пристап кон нумеричките тврдења, кои обично се земени како аксиоми, но биле докажани со проективна геометрија.<ref>[[Howard Eves]] (1972) ''A Survey of Geometry'', Revised Edition, page 73, [[Allyn and Bacon]]</ref>

Англискиот термин „вкрстен сооднос“ (cross-ratio) бил воведен во 1878 година од [[Вилијам Кингдон Клифорд]].<ref>[[W.K. Clifford]] (1878) [http://ebooks.library.cornell.edu/cgi/t/text/text-idx?c=math;cc=math;view=toc;subview=short;idno=04370002 Elements of Dynamic, books I,II,III], page 42, London: MacMillan & Co; on-line presentation by [[Cornell University]] ''Historical Mathematical Monographs''.</ref>

== Дефиниција ==
Двојниот однос на четворка различни точки на проективно продолжената реална права со координати <math>z_1,z_2, z_3,z_4</math> е даден со

: <math>(z_1,z_2;z_3,z_4) = \frac{(z_3-z_1)(z_4-z_2)}{(z_3-z_2)(z_4-z_1)}.</math>

Може да се запише и како „двоен однос“ на два односа на поделба на тројки од точки:

: <math>(z_1,z_2;z_3,z_4) = \frac{z_3-z_1}{z_3-z_2}:\frac{z_4-z_1}{z_4-z_2}.</math>

Двојниот однос обично се проширува на случај кога еден од <math>z_1,z_2, z_3,z_4</math> е бесконечност <math> (\infty);</math> ова се прави со отстранување на соодветните две разлики од формулата. На пример:

: <math>(\infty,z_2;z_3,z_4) = \frac{(z_3-\infty)(z_4-z_2)}{(z_3-z_2)(z_4-\infty)}=\frac{(z_4-z_2)}{(z_3-z_2)} .</math>

Во ознаката во [[Евклидова геометрија|Евклидовата геометрија]], ако <math>A,B,C,D</math> се колинеарни точки, нивниот двоен однос е:

: <math>(A,B;C,D) = \frac {AC\cdot BD}{BC\cdot AD} ,</math>

каде секое од растојанијата е означено според  ориентацијата на правата.

Истите формули може да се применат на четири различни [[Комплексен број|комплексни броја]] или, поопшто, на елементи од кое било поле, а исто така може да се прошират како погоре во случај кога еден од нив е симболот <math>\infty</math>.

== Својства ==
Двојниот однос на четирите колинеарни точки <math>A,B,C,D</math> може да се запише како

: <math>(A,B;C,D) = \frac {AC}{CB}:\frac {AD}{DB}</math>

каде <math>\frac {AC}{CB}</math> го опишува односот во кој точката <math>C</math> ја дели отсечката <math>AB</math>, и <math>\frac {AD}{DB}</math> е односот во кој точката <math>D</math> ја дели истата отсечка. Потоа, вкрстениот однос се појавува како однос на два односа, опишувајќи како двете точки <math>C</math>, <math>D</math> се поставени во однос на отсечката <math>AB</math>. Сè додека точките <math>A,B,C,D</math> се различни, двојниот однос <math>(A,B;C,D)</math> ќе биде реален број различен од нула. Лесно може да се заклучи дека

* <math>(A,B;C,D)<0</math> ако и само ако една од точките <math>C,D</math> лежи помеѓу точките <math>A,B</math>, а другата не лежи
* <math>(A,B;C,D)=1/(A,B;D,C)</math>
* <math>(A,B;C,D)=(C,D;A,B)</math>
* <math>(A,B;C,D)=(A,B;C,E) \Leftrightarrow D\neq E</math>

=== Шест двојни односи ===
Може да се постават на {{Безпрелом|[[factorial|4!]]}}<math>= 4 \cdot 3 \cdot 2 \cdot 1 = 24</math> начинa, но има само шест начини за нивно партиционирање на два неподредени пара. Така, четири точки може да имаат само шест различни двојни односа, кои се меѓусебно поврзани со релациите:

: <math>
\begin{align}
& (A,B;C,D) = (B,A;D,C) = (C,D;A,B) = (D,C;B,A) = \lambda \\[6pt]
& (A,B;D,C) = (B,A;C,D) = (C,D;B,A) = (D,C;A,B) = \frac 1 \lambda \\[6pt]
& (A,C;B,D) = (B,D;A,C) = (C,A;D,B) = (D,B;C,A) = 1-\lambda \\[6pt]
& (A,C;D,B) = (B,D;C,A) = (C,A;B,D) = (D,B;A,C) = \frac 1 {1-\lambda} \\[6pt]
& (A,D;B,C) = (B,C;A,D) = (C,B;D,A) = (D,A;C,B) = \frac{\lambda-1} \lambda \\[6pt]
& (A,D;C,B) = (B,C;D,A) = (C,B;A,D) = (D,A;B,C) = \frac \lambda {\lambda-1}.
\end{align}
</math>

Видете ''анхармонична група'' подолу.

== Проективна геометрија ==
{{Повеќе|Проективна геометрија}}
{{cross_ratio_metrology_example.svg}} 
Двојниот однос е '''проективна инваријанта''', во смисла дека не се менува при проективни трансформации на проективната права.

Конкретно, ако четири точки лежат на права <math> L</math> во <math> \mathbb{R}^2</math>, тогаш нивниот двоен однос е добро дефинирана вредност, бидејќи секој избор на координатен почеток, па дури и на размерот на правата ќе ја даде истата вредност на двојниот однос.

Понатаму, нека <math> \{L_i:1\le i \le 4\}</math> се четири различни прави во рамнината кои минуваат низ иста точка <math> Q</math>. Тогаш секоја права <math> L</math> која не минува низ <math> Q</math> ги пресекува овие прави во четири различни точки <math> P_i</math> (ако ''L'' е [[Паралелност|паралелна]] со <math> \{L_i\}</math> тогаш соодветната пресечна точка е идеална, т.е. „во бесконечност“). Излегува дека двојниот однос на овие точки (земени по фиксен редослед) не зависи од изборот на правата <math> L</math>, па оттука тој е инваријанта за четворката прави <math> \{L_i\}</math>.

Ова може да се сфати на следниов начин: ако <math> L</math> и <math> L'</math> се две прави кои не минуваат низ <math> Q</math>, тогаш перспективната трансформација од <math> L</math> во <math> L'</math> со центарот <math> Q</math> е проективна трансформација која ја носи  четворката <math> \{P_i\}</math> од точки на <math> L</math> во четворката точки <math> \{P_i'\}</math> на <math> L'</math>.

Според тоа, непроменливоста на вкрстениот однос при проективни автоморфизми на правата имплицира (всушност, е еквивалентна на) независноста на двојниот однос на четирите [[Колинеарност|колинеарни]] точки <math> \{P_i\}</math> на правите <math> \{L_i\}</math> од изборот од правата која ги содржи.{{Среди}}

== Дефиниција во хомогени координати ==
Ако четири колинеарни точки се претставени со нивните хомогени координати со вектори <math>a,b,c,d</math> така што <math>c=a+b</math> и <math>d=k\cdot a+b</math>, тогаш нивниот двоен однос е <math>k</math>.<ref>{{Наведена книга|url=https://archive.org/details/linearalgebrageo0000kapl|title=Linear Algebra and Geometry: A Second Course|last=Irving Kaplansky|year=1969|isbn=0-486-43233-5|url-access=registration}}</ref>

== Улога во неевклидовата геометрија ==
[[Артур Кејли]] и [[Феликс Клајн]] нашле примена на двојниот однос во [[неевклидова геометрија|неевклидовата геометрија]]. Ако е дадена несингуларна [[Конусен пресек|коника]] ''C'' во реалната [[проективна рамнина]], нејзиниот [[Подгрупа на стабилизатори|стабилизатор]] <math>G_C</math> во [[Проективна група|проективната група]] <math>G = PGL(3,\mathbb{R})</math> [[Групно дејство (математика)|делува]] [[Преодно дејство|транзитивно]] на точките во внатрешноста на ''C''. Сепак, постои инваријанта за дејството на <math>G_C</math> на ''парови'' од точки. Всушност, секоја таква инваријанта може да се изрази како функција на соодветниот двоен однос. 

=== Хиперболична геометрија ===
Експлицитно, нека кониката е [[Единична кружница|единичната кружница]]. Нека <math>P</math> и <math>Q</math> се кои било две точки во внатрешноста на единичната кружница. Нека правата која ги поврзува ја пресекува кружницата во две точки, <math>X</math> и <math>Y</math> и точките се по редослед <math>X,P,Q,Y</math>. Хиперболичното растојание помеѓу <math>P</math> и <math>Q</math> во [[Кејли-Клајн модел|моделот на Кејли-Клајн]] на хиперболичната рамнина може да се изрази како

: <math> d_h(P,Q)=\frac{1}{2} \left| \log \frac{|XQ||PY|}{|XP||QY|} \right| </math>

(множителот една половина е потребен за да се направи [[Гаусова кривина|кривината]] да биде еднаква на &#x2212; 1). Бидејќи двојниот однос е непроменлив при проективни трансформации, следува дека хиперболичното растојание е непроменливо при проективни трансформации кои го зачувуваат коникот <math>C</math>''.''

Обратно, групата <math>G</math> делува транзитивно на множеството од парови од точки <math>(p,q)</math> во единичниот диск на фиксно хиперболично растојание.

Подоцна, делумно преку влијанието на [[Анри Поенкаре]], двојниот однос на четири [[Комплексен број|комплексни броја]] на кружница бил искористен за хиперболична метрика. Да бидат на кружница за четирите точки значи дека се слики на четири реални точки при трансформација на [[Август Фердинанд Мебиус|Мебиус]], а оттука двојниот однос е реален број. Моделот со полурамнина на Поенкаре и моделот на дискот на Поенкаре се два модела на хиперболична геометрија во комплексната проективна права.

Овие модели се примери на метрика на Кејли-Клајн.

== Анхармонична група и Клајнова четири-група ==
Двојниот однос може да се дефинира со кој било од овие четири израза:

: <math> (A,B;C,D) = (B,A;D,C) = (C,D;A,B) = (D,C;B,A). \, </math>

Тие се разликуваат по следниве [[Пермутација|пермутации]] на променливите (во [[Пермутација|нотација со циклуси]]):

: <math>
1, \ (A, B) (C, D), \ 
(A, C) (B, D), \ 
(A, D) (B, C) .
</math>

Можеме да ги сметаме пермутациите на четирите променливи како [[Групна акција|дејство]] на [[Симетрична група|симетричната група]] <math>
S_4
</math> врз функциите од четирите променливи. Бидејќи горенаведените четири пермутации го оставаат двојниот однос непроменет, тие го формираат [[Подгрупа на стабилизатори|стабилизаторот]] ''К'' на двојниот однос под оваа акција, и тоа индуцира [[Ефективна групна акција|ефективно дејство]] на фактор-групата <math>
S_4/K
</math> на орбитата на двојниот однос. Четирите пермутации во <math>K</math> прават реализација на [[Клајн четири-група|Клајновата четири-група]] во <math>
S_4
</math>, и количникот <math>
S_4/K
</math> е изоморфна на симетричната група <math>
S_3
</math>.

Така, останатите пермутации на четирите променливи го менуваат двојниот однос и се добиваат следните шест вредности, кои се орбитата на групата со шест елементи <math>
S_4/K\cong S_3
</math>:

: <math>
\begin{align}
(A, B; C, D) & = \lambda & (A, B; D, C) & = \frac 1 \lambda \\[6pt]
(A, C; D, B) & = \frac 1 {1-\lambda} & (A, C; B, D) & = 1-\lambda \\[6pt]
(A, D; C, B) & = \frac \lambda {\lambda-1} & (A, D; B, C) & = \frac{\lambda-1} \lambda.
\end{align}
</math>

Како функции од <math>\lambda</math>, ова се примери на [[Трансформација на Мебиус|трансформации на Мебиус]], кои при композиција на функции ја формираат Мебиусовата група <math> PGL(2,\mathbb{Z})</math>. Шесте трансформации формираат подгрупа позната како '''анхармонична група''', која повторно е изоморфна на <math>
S_3
</math>'''.''' Тие се торзионите елементи ([[Елиптична трансформација|елиптични трансформации]]) во <math> PGL(2,\mathbb{Z})</math>. Имено, <math>\tfrac{1}{\lambda}</math>, <math>1-\lambda\,</math>, и <math>\tfrac{\lambda}{\lambda-1}</math> се од ред 2 во однос на соодветните фиксни точки −1, 1/2 и 2 (имено, орбитата на хармоничниот двоен однос). Во меѓувреме, елементите <math>\tfrac{1}{1-\lambda}</math> и <math>\tfrac{\lambda-1}{\lambda}</math> се од ред 3 во <math> PGL(2,\mathbb{Z})</math>, и секоја ги фиксира двете вредности <math>e^{\pm i\pi/3}</math> од „најсиметричниот“ двоен однос.

Анхармоничната група е генерирана со <math>\lambda \mapsto 1/\lambda</math> и <math>\lambda \mapsto 1 - \lambda</math>. Нејзиното дејство на <math>\{0,1,\infty\}</math> дава изоморфизам со <math>
S_3
</math>. Може да се реализира и како шесте споменати трансформации на Mебиус,<ref>{{Наведена книга|title=Elliptic Functions|last=Chandrasekharan|first=K.|publisher=[[Springer-Verlag]]|year=1985|isbn=3-540-15295-4|series=Grundlehren der mathematischen Wissenschaften|volume=281|page=120|zbl=0575.33001|author-link=K. S. Chandrasekharan}}</ref> што дава проективно [[Диедрална група од ред 6|репрезентација на <math>
S_3
</math>]] на кое било поле (бидејќи е дефинирано со записи со цели броеви), и секогаш е верно/инјективно (бидејќи нема два член кои се разликуваат само по 1/−1). Над полето со два елемента, проективната права има само три точки, така што оваа репрезентација е изоморфизам и е [[Проективна линеарна група|исклучителниот изоморфизам]] <math>\mathrm{S}_3 \approx \mathrm{PGL}(2, 2)</math>. Во одликата 3, овој ја стабилизира точката <math>-1 = [-1:1]</math>, што одговара на тоа дека орбитата на хармонискиот двоен однос е само една точка, бидејќи <math>2 = 1/2 = -1</math>. Над полето со 3 елементи, проективната права има само 4 точки и <math>\mathrm{S}_4 \approx \mathrm{PGL}(2, 3)</math>, а со тоа и репрезентацијата е токму стабилизаторот на хармонискиот двоен однос, од каде вградувањето <math>\mathrm{S}_3 \hookrightarrow \mathrm{S}_4</math> е еднаково на стабилизаторот на точката <math>-1</math>.

=== Исклучителни орбити ===
За одредени вредности на ''λ'' ќе има поголема симетрија и затоа помалку од шест можни вредности за двојниот однос. Овие вредности на ''λ'' одговараат на [[Фиксна точка (математика)|фиксните точки]] на дејството на <math>
S_3
</math> на Римановата сфера (дадени со горенаведените шест функции); или, еквивалентно, оние точки со нетривијален [[Стабилизатор (групна теорија)|стабилизатор]] во оваа пермутациона група.

Првата група фиксни точки е <math>\{0,1,\infty\}</math> Сепак, двојниот однос никогаш не може да ги добие овие вредности ако точките <math> A,B,C,D</math> се сите различни. Овие вредности се гранични вредности кога еден пар координати се приближува кон друг:

: <math>(Z,B;Z,D) = (A,Z;C,Z) = 0</math>
: <math>(Z,Z;C,D) = (A,B;Z,Z) = 1</math>
: <math>(Z,B;C,Z) = (A,Z;Z,D) = \infty.</math>

Втората група на фиксни точки е {{Безпрелом|{&minus;1, 1/2, 2}.}} Оваа ситуација е она што класично се нарекува '''{{Видлива котва|хармоничен двоен однос}}''', и настанува во [[Проективен хармоничен конјугат|проективни хармончни конјугати]]. Во реалниот случај, нема други исклучителни орбити.

Во комплексниот случај, најсиметричниот двоен однос се јавува кога <math>\lambda = e^{\pm i\pi/3}</math>. Тогаш тоа се единствените две вредности на двојниот однос и со нив се постапува според знакот на пермутацијата.

== Трансформациски пристап ==
Вкрстениот однос е непроменлив при проективните трансформации на права. Во случај на [[Комплексен број|комплексна]] проективна права, или Римановата сфера, овие трансформации се познати како трансформации на Мебиус. Општата трансформација на Мебиус има облик

: <math>f(z) = \frac{az+b}{cz+d}\;,\quad \text{каде } a,b,c,d\in\mathbb{C} \mbox{ и } ad-bc \ne 0.</math>

Овие трансформации формираат групово дејство на Римановата сфера, позната како група на Мебиус.

Проективната непроменливост на двојниот однос значи дека

: <math>(f(z_1), f(z_2); f(z_3), f(z_4)) = (z_1, z_2; z_3, z_4).\ </math>

Двојниот однос е [[реален број]] ако и само ако четирите точки се или [[Права (геометрија)|колинеарни]] или конциклични, што го одразува фактот дека секоја трансформација на Мебиус ги пресликува генерализираните кружници во генерализирани кружници.

Дејството на групата на Мебиус е едноставно транзитивно на множеството од тројки од различни точки на Римановата сфера: со оглед на која било подредена тројка од различни точки, <math>(z_2,z_3,z_4)</math>, постои единствена трансформација на Мебиус <math>f(z)</math> која ги пресликува во тројката <math>(1,0,\infty)</math>. Оваа трансформација може погодно да се опише со користење на двоен однос: бидејќи <math>(z,z_2;z_3,z_4)</math> мора да биде еднаквa на <math>(f(z),1;0,\infty)</math>, што пак е еднакво на <math>f(z)</math>, добиваме

: <math>f(z)=(z, z_2; z_3, z_4) .</math>

Алтернативно објаснување за непроменливоста на двојниот однос се заснова на фактот дека групата на проективни трансформации на правата е генерирана од транслациите, хомотетиите и мултипликативната инверзија. Разликите <math>z_j-z_k</math> се непроменливи при  [[Транслација (геометрија)|транслациja]]

: <math>z \mapsto z + a</math>

каде што <math>a</math> е [[Константа (математика)|константа]] во полето <math>F</math>''.'' Понатаму, размерите се непроменливи при хомотетијата

: <math>z \mapsto b z</math>

за ненулта константа <math>b</math> во <math>F</math>''.'' Затоа, двојниот однос е непроменлив при афините трансформации.

Со цел да се добие добро дефинирана [[Реципрочна вредност|инверзија]]

: <math>T : z \mapsto z^{-1},</math>

афината права треба да се дополни со точката во бесконечност (или идеалната точка), означена со <math>\infty</math>, со што се формира проективната права <math>P^1(F)</math>. Секое афино пресликување <math>f:F\rightarrow F</math> може на единствен начин да се прошири до пресликување на <math>P^1(F)</math> во себе што ја фиксира идеалната точка. пресликувањето <math>T</math> ги заменува <math>0</math> и <math>\infty</math>. Проективната група која е генерирана од <math>T</math> и афините пресликувања се прошируваат до <math>P^1(F)</math>. Во случајот <math>F=\mathbb{C}</math>, комплексната рамнина, ова резултира со групата на Mебиус. Бидејќи двојниот однос е исто така непроменлив под <math>T</math>, тој е непроменлив при секое проективно пресликување на <math>P^1(F)</math> во себе.

=== Координатен опис ===
Ако комплексните точки ги запишеме како вектори <math>\overrightarrow{x}_n = [\Re(z_n),\Im(z_n)]^{\rm T}</math> и дефинираме <math>x_{nm}=x_n-x_m</math>, и ако <math>(a,b)</math> е скаларниот производ на <math>a</math> и <math>b</math>, тогаш реалниот дел на двојниот однос е даден со:

:: <math>
C_1 = \frac{ (x_{12},x_{14}) (x_{23},x_{34}) - (x_{12},x_{34}) (x_{14},x_{23}) + (x_{12},x_{23}) (x_{14},x_{34}) } {|x_{23}|^2 |x_{14}|^2 }
</math>

Ова е инваријанта на 2Д специјалната конформална трансформација како што е инверзијата <math>x^\mu \rightarrow \frac{x^\mu}{|x|^2} </math> .

Имагинарниот дел мора да го користи 2-димензионалниот векторски производ <math>a\times b = [a,b] = a_2 b_1 - a_1 b_2</math>

:: <math>
C_2 = \frac{ (x_{12},x_{14}) [x_{34},x_{23}] - (x_{43},x_{23}) [ x_{12},x_{34} ] } {|x_{23}|^2 |x_{14}|^2 }
</math>

== Хомографија на прстен ==
Концептот на вкрстен сооднос зависи само од операциите на прстенот: собирање, множење и инверзија (иако инверзијата на даден елемент не е сигурна во прстенот). Еден пристап кон двојниот однос го толкува како хомографија која пресликува  три точки во 0, 1 и бесконечност. Под ограничувања кои се однесуваат на инверзиите, може да се генерира такво пресликување со користење на операциите на прстенот во проективната права над прстенот. Двојниот однос на четири точки е оценка на оваа хомографија во четвртата точка.

== Диференцијално-геометриска гледна точка ==
Оваа теоријата го разгледува пристапот со диференцијално сметање кога се приближуваме кон четирите точки. Ова води до теоријата на Шварцовиот извод, и поопшто до проективните врски.

== Генерализации во повисоки димензии ==
Двојниот однос не се генерализира на едноставен начин во повисоки димензии, најмногу заради другите геометриски својства на конфигурациите на точките, особено колинеарноста - конфигурациските простори се покомплицирани, а различните ''k'' -точки од точки не се во општа положба.

Додека проективната линеарна група на проективната права е 3-транзитивна (кои било три различни точки може да се пресликаат во кои било други три точки), и навистина едноставно 3-транзитивна (постои ''единствена'' проективно пресликување која ја носи секоја тројка во друга тројка), со двојниот однос на тој начин како единствена проективна инваријанта на група од четири точки, постојат основни геометриски инваријанти во повисока димензија. Проективната линеарна група од ''n'' -просторот <math>\mathbf{P}^n=\mathbf{P}(K^{n+1})</math> има <math>(n+1)^2-1</math> димензии (затоа што <math>\mathrm{PGL}(n,K) = \mathbf{P}(\mathrm{GL}(n+1,K)),</math> проективизацијата отстранува една димензија), но во други димензии проективната линеарна група е само 2-транзитивна – затоа што три колинеарни точки мора да се пресликаат во три колинеарни точки (што не е ограничување во проективната права) – и затоа нема „генерализиран двоен однос“ заради што има единствена инваријанта од <math>n^2</math> точки.

Колинеарноста не е единственото геометриско својство на конфигурациите на точките кое мора да се зачува - на пример, пет точки одредуваат коника, но шест општи точки не лежат на коника, така што дали шесторката од точки лежат на кониката е исто така проективна инваријантна. Може да се проучуваат орбитите на точките во општа положба - на правата „општата положба“ е еквивалентна на тоа да се биде различно, додека во повисоки димензии овој поим бара геометриски размислувања, како што беше дискутирано - но, како што погорното покажува, ова е покомплицирано и помалку информативно.

Како и да е, постои генерализација кај Римановите површини од позитивен генус, во која се користат пресликувањето на Абел-Јакоби и тета функциите.

== Поврзано ==
* [[Хилбертова метрика]]

== Белешки ==
{{Наводи}}

== Наводи ==
* Ларс Алфорс (1953,1966,1979) ''Комплексна анализа'', 1-во издание, страница 25; II и III издание, страница 78, McGraw-Hill{{ISBN|0-07-000657-1}}.
* Viktor Blåsjö (2009) "[https://archive.today/20130104231533/http://www.springerlink.com/content/p01527115762n730/ Jakob Steiner’s Systematische Entwickelung: The Culmination of Classical Geometry]", [[:en:Mathematical Intelligencer|Mathematical Intelligencer]] 31(1): 21&#x2013;9.
* John J. Milne (1911) [[iarchive:elementarytreati00milnuoft/page/11|An Elementary Treatise on Cross-Ratio Geometry with Historical Notes]], [[:en:Cambridge University Press|Cambridge University Press]].
* [[:en:Dirk Struik|Dirk Struik]] (1953) ''Lectures on Analytic and Projective Geometry'', page 7, [[:en:Addison-Wesley|Addison-Wesley]].
* [[:en:Igor Shafarevich|I. R. Shafarevich]] & A. O. Remizov (2012) ''Linear Algebra and Geometry'', [[:en:Springer Science+Business Media|Springer]] {{ISBN|978-3-642-30993-9}}.

== Надворешни врски ==
* [http://www.mathpages.com/home/kmath543/kmath543.htm MathPages - Кевин Браун го објаснува двојниот однос во неговата статија за ''мистичниот хексаграм на Паскал'']
* [http://www.cut-the-knot.org/pythagoras/Cross-Ratio.shtml Двоен однос] при <a href="https://en.wikipedia.org/wiki/Cut-the-knot" rel="mw:ExtLink" title="Cut-the-knot" class="mw-redirect cx-link" data-linkid="326">cut-the-knot</a> 
* {{mathworld|CrossRatio}}

[[Категорија:Соодноси]]
[[Категорија:Проективна геометрија]]