क्रॉस अनुपात

ज्यामिति में, क्रॉस-अनुपात, जिसे दोहरा अनुपात और अनहार्मोनिक अनुपात भी कहा जाता है, एक संख्या है जो चार समरेख बिंदुओं की सूची से जुड़ी होती है, विशेष रूप से एक प्रक्षेपी रेखा पर अंक। चार अंक दिए $A$, $B$, $C$, $D$ एक रेखा पर, उनके पार अनुपात के रूप में परिभाषित किया गया है


 * $$(A,B;C,D) = \frac {AC\cdot BD}{BC\cdot AD}$$

जहां रेखा का एक अभिविन्यास प्रत्येक दूरी के चिह्न को निर्धारित करता है और दूरी को यूक्लिडियन अंतरिक्ष में प्रक्षेपित के रूप में मापा जाता है। (यदि चार बिंदुओं में से एक अनंत पर रेखा का बिंदु है, तो उस बिंदु से जुड़ी दो दूरियां सूत्र से हटा दी जाती हैं।)

बिंदु $A'$ का प्रक्षेपी हार्मोनिक संयुग्म है $B'$ इसके संबंध में $C'$ और $D'$ ठीक है अगर चौगुनी का क्रॉस-अनुपात है $(A, B; C, D)$, हार्मोनिक अनुपात कहा जाता है। इसलिए क्रॉस-अनुपात को इस अनुपात से चौगुनी के विचलन को मापने के रूप में माना जा सकता है; इसलिए नाम अनहार्मोनिक अनुपात।

क्रॉस-अनुपात रैखिक भिन्नात्मक परिवर्तनों द्वारा संरक्षित है। यह अनिवार्य रूप से समरेख बिंदुओं के चौगुने का एकमात्र प्रक्षेपी अपरिवर्तनीय (गणित) है; यह प्रक्षेपी ज्यामिति के लिए इसके महत्व को रेखांकित करता है।

क्रॉस-अनुपात को गहन पुरातनता में परिभाषित किया गया था, संभवतः पहले से ही यूक्लिड द्वारा, और अलेक्जेंड्रिया के पप्पस द्वारा माना जाता था, जिन्होंने इसकी प्रमुख अचल संपत्ति का उल्लेख किया था। 19वीं शताब्दी में इसका गहन अध्ययन किया गया। इस अवधारणा के वेरिएंट प्रोजेक्टिव प्लेन पर चौगुनी समवर्ती रेखाओं और रीमैन क्षेत्र पर चौगुनी बिंदुओं के लिए मौजूद हैं। अतिशयोक्तिपूर्ण ज्यामिति के केली-क्लेन मॉडल में, बिंदुओं के बीच की दूरी को एक निश्चित क्रॉस-अनुपात के रूप में व्यक्त किया जाता है।

शब्दावली और इतिहास
अलेक्जेंड्रिया के पप्पस ने अपने संग्रह: पुस्तक VII में क्रॉस-अनुपात के समतुल्य अवधारणाओं का निहित उपयोग किया। पप्पस के शुरुआती उपयोगकर्ताओं में आइजैक न्यूटन, माइकल चेसल्स  और रॉबर्ट सिमसन शामिल थे। 1986 में अलेक्जेंडर जोन्स ने पप्पस द्वारा मूल का अनुवाद किया, फिर एक टिप्पणी लिखी कि कैसे पप्पस के नींबू आधुनिक शब्दावली से संबंधित हैं। प्रक्षेपी ज्यामिति में क्रॉस अनुपात का आधुनिक उपयोग 1803 में लाज़ारे कार्नोट के साथ उनकी पुस्तक जियोमेट्री डे पोजीशन के साथ शुरू हुआ। चासल्स ने फ्रांसीसी शब्द गढ़ा {{lang|fr|rapport anharmonique}1837 में [धार्मिक अनुपात]। जर्मन जियोमीटर इसे कहते हैं das Doppelverhältnis [डबल अनुपात]।

कार्ल वॉन स्टॉड पूरी तरह सिंथेटिक प्रक्षेपी ज्यामिति अवधारणाओं पर आधारित होने के बजाय यूक्लिडियन दूरियों के बीजगणितीय हेरफेर पर निर्भर क्रॉस-अनुपात की पिछली परिभाषाओं से असंतुष्ट थे। 1847 में, वॉन स्टॉड्ट ने प्रदर्शित किया कि प्रक्षेपी हार्मोनिक संयुग्म के निर्माण के आधार पर एक बीजगणित बनाकर, बीजगणितीय संरचना प्रक्षेपी ज्यामिति में निहित है, जिसे उन्होंने एक फेंक (जर्मन: वुर्फ) कहा: एक रेखा पर तीन बिंदु दिए गए, हार्मोनिक संयुग्म एक चौथा बिंदु है जो क्रॉस अनुपात को बराबर बनाता है $(A, B; C, D)$. उनका कार्ल वॉन स्टॉड्ट # बीजगणित फेंकता संख्यात्मक प्रस्तावों के लिए एक दृष्टिकोण प्रदान करता है, आमतौर पर स्वयंसिद्धों के रूप में लिया जाता है, लेकिन प्रक्षेपी ज्यामिति में सिद्ध होता है। अंग्रेजी शब्द क्रॉस-रेशियो 1878 में विलियम किंग्डन क्लिफोर्ड द्वारा पेश किया गया था।

परिभाषा
अगर $A$, $B$, $C$, और $D$ एक ओरिएंटेड एफ़िन लाइन पर चार बिंदु हैं, उनका क्रॉस अनुपात है:


 * $$(A,B; C,D) = \frac{AC : BC}{AD : BD},$$ अंकन के साथ $$WX : YZ$$ विस्थापन के हस्ताक्षरित अनुपात का मतलब परिभाषित किया गया है $D$ को $C$ से विस्थापन के लिए $A$ को $B$. कॉलिनियर विस्थापन के लिए यह एक आयाम रहित मात्रा है।

यदि विस्थापनों को वास्तविक संख्याओं पर हस्ताक्षर करने के लिए लिया जाता है, तो अंकों के बीच क्रॉस अनुपात लिखा जा सकता है


 * $$(A,B; C,D) = \frac{AC}{BC} \bigg/ \frac{AD}{BD} = \frac{AC\cdot BD}{BC\cdot AD}.$$

अगर $$\widehat\R = \R \cup \{\infty\}$$ अनुमानित रूप से विस्तारित वास्तविक रेखा है, चार अलग-अलग संख्याओं का क्रॉस-अनुपात $$x_1, x_2, x_3, x_4$$ में $$\widehat\R$$ द्वारा दिया गया है



(x_1, x_2; x_3, x_4) = \frac{x_3 - x_1}{x_3 - x_2} \bigg/ \frac{x_4 - x_1}{x_4 - x_2} = \frac{(x_3 - x_1)(x_4 - x_2)}{(x_3 - x_2)(x_4 - x_1)}. $$ जब एक $$x_1, x_2, x_3, x_4$$ अनंत पर बिंदु है ($\infty$), यह कम हो जाता है उदा।

(\infty, x_2; x_3, x_4) = \frac{(x_3 - \infty)(x_4 - x_2)}{(x_3 - x_2)(x_4 - \infty)} = \frac{(x_4 - x_2)}{(x_3 - x_2)}. $$ एक ही सूत्र को चार अलग-अलग जटिल संख्याओं पर लागू किया जा सकता है या, अधिक सामान्यतः, किसी भी क्षेत्र (गणित) के तत्वों के लिए, और उनमें से एक होने पर ऊपर की तरह अनुमानित रूप से विस्तारित किया जा सकता है। $$\infty = \tfrac10.$$

गुण
चार संरेख बिंदुओं का क्रॉस अनुपात $D$, $C$, $A$, और $B$ के रूप में लिखा जा सकता है
 * $$(A,B;C,D) = \frac {AC : CB}{AD : DB}$$ कहाँ $AC:CB$ उस अनुपात का वर्णन करता है जिसके साथ बिंदु $A$ रेखाखंड को विभाजित करता है $B$, और $AD:DB$  उस अनुपात का वर्णन करता है जिसके साथ बिंदु $C$ उसी रेखाखंड को विभाजित करता है। क्रॉस अनुपात तब दो बिंदुओं का वर्णन करते हुए अनुपात के अनुपात के रूप में प्रकट होता है $D$ और $W$ रेखा खंड के संबंध में स्थित हैं $X$. जब तक अंक $Y$, $Z$, $A$, और $B$ भिन्न हैं, क्रॉस अनुपात $−1$ एक गैर-शून्य वास्तविक संख्या होगी। इसका अंदाजा हम आसानी से लगा सकते हैं


 * $(A, B; C, D)$ यदि और केवल यदि बिंदुओं में से एक $C$ या $D$ बिंदुओं के बीच स्थित है $C$ और $AB$ और दूसरा नहीं

छह क्रॉस-अनुपात
में चार बिंदुओं का आदेश दिया जा सकता है $−1$ तरीके, लेकिन उन्हें दो अनियंत्रित जोड़े में विभाजित करने के केवल छह तरीके हैं। इस प्रकार, चार बिंदुओं में केवल छह अलग-अलग क्रॉस-अनुपात हो सकते हैं, जो इस प्रकार संबंधित हैं:

\begin{align} & (A,B;C,D) = (B,A;D,C) = (C,D;A,B) = (D,C;B,A) = \lambda,\vphantom{\frac11}  \\[4mu] & (A,B;D,C) = (B,A;C,D) = (C,D;B,A) = (D,C;A,B) = \frac 1 \lambda,            \\[4mu] & (A,C;B,D) = (B,D;A,C) = (C,A;D,B) = (D,B;C,A) = 1-\lambda,\vphantom{\frac11} \\[4mu] & (A,C;D,B) = (B,D;C,A) = (C,A;B,D) = (D,B;A,C) = \frac 1 {1-\lambda},        \\[4mu] & (A,D;B,C) = (B,C;A,D) = (C,B;D,A) = (D,A;C,B) = \frac {\lambda-1} \lambda,  \\[4mu] & (A,D;C,B) = (B,C;D,A) = (C,B;A,D) = (D,A;B,C) = \frac \lambda {\lambda-1}. \end{align} $$ नीचे क्रॉस-अनुपात # एनार्मोनिक समूह और क्लेन चार-समूह देखें।

प्रोजेक्टिव ज्यामिति
क्रॉस-अनुपात एक प्रोजेक्टिव इनवेरिएंट (गणित) है, इस अर्थ में कि यह प्रोजेक्टिव लाइन के प्रक्षेपण परिवर्तन  द्वारा संरक्षित है।

विशेष रूप से, यदि चार बिंदु एक सीधी रेखा पर स्थित हों $L$ में $\bold{R}^2$  तब उनका क्रॉस-अनुपात एक अच्छी तरह से परिभाषित मात्रा है, क्योंकि मूल के किसी भी विकल्प और यहां तक ​​​​कि रेखा पर पैमाने के क्रॉस-अनुपात के समान मूल्य प्राप्त होंगे।

इसके अलावा, चलो $\{L_i \mid 1 \le i \le 4\}$ एक ही बिंदु से गुजरने वाले समतल में चार अलग-अलग रेखाएँ हों $Q$. फिर कोई लाइन $L$ से नहीं गुजर रहा $Q$  इन रेखाओं को चार अलग-अलग बिंदुओं पर काटता है $P_i$  (अगर $L$  के समानांतर (ज्यामिति) है $L_i$  तो संबंधित चौराहा बिंदु अनंत पर है)। यह पता चला है कि इन बिंदुओं का क्रॉस-अनुपात (एक निश्चित क्रम में लिया गया) एक रेखा की पसंद पर निर्भर नहीं करता है $L$, और इसलिए यह 4-ट्यूपल ऑफ़ लाइन्स का एक अपरिवर्तनीय है $L_i.$  इसे इस प्रकार समझा जा सकता है: यदि $L$  और $L'$  दो लाइनें नहीं गुजर रही हैं $Q$  फिर परिप्रेक्ष्य परिवर्तन से $L$  को $L'$  केंद्र के साथ $Q$  एक अनुमानित परिवर्तन है जो चौगुना लेता है $\{P_i\}$  बिंदुओं पर $L$  चौगुनी में $\{P_{i}'\}$  बिंदुओं पर $L'$.

इसलिए, लाइन के प्रोजेक्टिव ऑटोमोर्फिज्म के तहत क्रॉस-अनुपात का आविष्कार (वास्तव में, समतुल्य है) चार समरेख बिंदुओं के क्रॉस-अनुपात की स्वतंत्रता $\{P_{i}\}$ तर्ज पर $\{L_i\}$  उस पंक्ति की पसंद से जिसमें वे शामिल हैं।

सजातीय निर्देशांक में परिभाषा
यदि सदिश द्वारा सजातीय निर्देशांक में चार संरेख बिंदुओं का प्रतिनिधित्व किया जाता है $−1$ ऐसा है कि $(A, B; C, D)$ और $(A, B; C, D) < 0$, तो उनका क्रॉस-अनुपात है $(A, B; C, D) = 1 / (A, B; D, C)$.

गैर-यूक्लिडियन ज्यामिति में भूमिका
आर्थर केली और फेलिक्स क्लेन ने गैर-यूक्लिडियन ज्यामिति के क्रॉस-अनुपात का एक अनुप्रयोग पाया। एक विलक्षण शांकव खंड दिया गया है $D$ वास्तविक प्रक्षेपी तल में, इसका स्टेबलाइजर उपसमूह#ऑर्बिट्स और स्टेबलाइजर्स $(A, B; C, D) = (C, D; A, B)$ प्रक्षेपी समूह में $(A, B; C, D) ≠ (A, B; C, E) ↔ D ≠ E$ समूह क्रिया (गणित) के आंतरिक बिंदुओं पर सकर्मक क्रिया $C$. हालांकि, की कार्रवाई के लिए एक अपरिवर्तनीय है $4! = 4 × 3 × 2 × 1 = 24$ बिंदुओं के जोड़े पर। वास्तव में, ऐसा प्रत्येक अपरिवर्तनीय उचित क्रॉस अनुपात के कार्य के रूप में अभिव्यक्त होता है।

अतिशयोक्तिपूर्ण ज्यामिति
स्पष्ट रूप से, शांकव को इकाई वृत्त होने दें। किन्हीं दो बिंदुओं के लिए $D$ और $AB$, यूनिट सर्कल के अंदर। यदि उन्हें जोड़ने वाली रेखा वृत्त को दो बिंदुओं पर काटती है, $A$ और $B$ और अंक क्रम में हैं, $a, b, c, d$. फिर बीच की अतिशयोक्तिपूर्ण दूरी $C$ और $D$ हाइपरबोलिक ज्यामिति के केली-क्लेन मॉडल में व्यक्त किया जा सकता है


 * $$ d_h(P,Q)=\frac{1}{2} \left| \log \frac{|XQ||PY|}{|XP||QY|} \right| $$

(गाऊसी वक्रता बनाने के लिए कारक एक आधा आवश्यक है $c = a + b$). चूंकि क्रॉस-अनुपात प्रोजेक्टिव ट्रांसफॉर्मेशन के तहत अपरिवर्तनीय है, इसलिए यह इस प्रकार है कि हाइपरबॉलिक दूरी प्रोजेक्टिव ट्रांसफॉर्मेशन के तहत अपरिवर्तनीय है जो शंकु को संरक्षित करती है $C$.

इसके विपरीत समूह $D$ बिंदुओं के जोड़े के सेट पर सकर्मक रूप से कार्य करता है $d = ka + b$ एक निश्चित हाइपरबोलिक दूरी पर यूनिट डिस्क में।

बाद में, आंशिक रूप से हेनरी पोंकारे के प्रभाव के माध्यम से, एक वृत्त पर चार सम्मिश्र संख्याओं के क्रॉस अनुपात का उपयोग हाइपरबोलिक मेट्रिक्स के लिए किया गया था। एक वृत्त पर होने का मतलब है कि मोबियस परिवर्तन के तहत चार बिंदु चार वास्तविक बिंदुओं की छवि हैं, और इसलिए क्रॉस अनुपात एक वास्तविक संख्या है। Poincare हाफ-प्लेन मॉडल और Poincare डिस्क मॉडल जटिल प्रोजेक्टिव लाइन में हाइपरबोलिक ज्यामिति के दो मॉडल हैं।

ये मॉडल केली-क्लेन मेट्रिक्स के उदाहरण हैं।

एनार्मोनिक समूह और क्लेन चार-समूह
क्रॉस-अनुपात को इन चार भावों में से किसी के द्वारा परिभाषित किया जा सकता है:



(A,B;C,D) = (B,A;D,C) = (C,D;A,B) = (D,C;B,A). $$ ये चर के निम्नलिखित क्रमपरिवर्तन से भिन्न होते हैं (चक्र संकेतन में):



1, \ (\,A\,B\,) (\,C\,D\,), \ (\,A\,C\,) (\,B\,D\,), \ (\,A\,D\,) (\,B\,C\,). $$ हम सममित समूह की समूह क्रिया के रूप में चार चर के क्रमपरिवर्तन पर विचार कर सकते हैं $k$ चार चर के कार्यों पर। चूंकि उपरोक्त चार क्रमपरिवर्तन क्रॉस अनुपात को अपरिवर्तित छोड़ देते हैं, वे स्टेबलाइज़र उपसमूह बनाते हैं K}इस क्रिया के तहत क्रॉस-अनुपात का }, और यह भागफल समूह की एक प्रभावी समूह क्रिया को प्रेरित करता है $$ \mathrm{S}_4/K $$ क्रॉस-अनुपात की कक्षा पर। में चार क्रमपरिवर्तन $A$ में क्लेन चार-समूह का अहसास करें $G_{C}$, और भागफल $$\mathrm{S}_4/K$$ सममित समूह के लिए आइसोमोर्फिक है $G = PGL(3, R)$.

इस प्रकार, चार चरों के अन्य क्रमपरिवर्तन निम्नलिखित छह मान देने के लिए क्रॉस-अनुपात को बदलते हैं, जो छह-तत्व समूह की कक्षा हैं $$\mathrm{S}_4/K\cong \mathrm{S}_3$$:


 * $$\begin{align}

(A, B; C, D) &=      \lambda             & (A, B; D, C) &= \frac 1 \lambda, \\[4mu] (A, C; D, B) &= \frac 1 {1-\lambda}      & (A, C; B, D) &= 1-\lambda,       \\[4mu] (A, D; C, B) &= \frac \lambda {\lambda-1} & (A, D; B, C) &= \frac{\lambda-1} \lambda. \end{align}$$

कार्यों के रूप में $$\lambda,$$ ये मोबियस परिवर्तन के उदाहरण हैं, जो कार्यों की संरचना के तहत मोबियस समूह बनाते हैं $G_{C}$. छह परिवर्तन एक उपसमूह का निर्माण करते हैं जिसे अनहार्मोनिक समूह के रूप में जाना जाता है, फिर से आइसोमोर्फिक $X, P, Q, Y$. वे मरोड़ तत्व (अण्डाकार रूपांतर) में हैं $−1$. अर्थात्, $\tfrac{1}{\lambda}$, $$1-\lambda\,$$, और $\tfrac{\lambda}{\lambda-1}$ व्यवस्थित हैं $(p, q)$ संबंधित निश्चित बिंदु (गणित) के साथ $$-1,$$ $\tfrac12,$  और $$2,$$ (अर्थात्, हार्मोनिक क्रॉस-अनुपात की कक्षा)। इस बीच, तत्व $\tfrac{1}{1-\lambda}$ और $\tfrac{\lambda-1}{\lambda}$  व्यवस्थित हैं $S_{4}$ में $S_{4}$, और प्रत्येक दोनों मानों को ठीक करता है $e^{\pm i\pi/3} = \tfrac{1}{2} \pm \tfrac{\sqrt{3}}{2}i$  सबसे सममित क्रॉस-अनुपात (के समाधान $$x^2 - x + 1$$, एकता की आदिम जड़ एकता की छठी जड़ें)। आदेश $S_{3}$ तत्व इन दो तत्वों का आदान-प्रदान करते हैं (जैसा कि वे अपने निश्चित बिंदुओं के अलावा कोई भी जोड़ी करते हैं), और इस प्रकार एनार्मोनिक समूह की क्रिया $$e^{\pm i\pi/3}$$ सममित समूहों का भागफल मानचित्र देता है $$\mathrm{S}_3 \to \mathrm{S}_2$$.

इसके अलावा, व्यक्ति के निश्चित बिंदु ${0, 1, ∞}$-चक्र हैं, क्रमशः, $$-1,$$ $\tfrac12,$ और $$2,$$ और यह सेट भी इसके द्वारा संरक्षित और अनुमत है $D_{3}$-चक्र। ज्यामितीय रूप से, इसे त्रिकोणीय डायहेड्रॉन के रोटेशन समूह के रूप में देखा जा सकता है, जो त्रिभुज के डायहेड्रल समूह के लिए आइसोमोर्फिक है $0, 1, ∞$, जैसा कि दाईं ओर दिखाया गया है। बीजगणितीय रूप से, यह की क्रिया के अनुरूप है ${0, 1, ∞}$ पर $2$-चक्र (इसका सिलो उपसमूह | सिलो 2-उपसमूह) संयुग्मन द्वारा और आंतरिक ऑटोमोर्फिज्म के समूह के साथ समरूपता का एहसास करता है, $\mathrm{S}_3 \mathrel{\overset{\sim}{\to}} \operatorname{Inn}(\mathrm{S}_3) \cong \mathrm{S}_3.$ एनार्मोनिक समूह किसके द्वारा उत्पन्न होता है $\lambda \mapsto \tfrac1\lambda$ और $\lambda \mapsto 1 - \lambda.$  इसकी कार्रवाई जारी है $$\{0, 1, \infty\}$$ के साथ एक समरूपता देता है ${2, −1, 1/2},$. इसका उल्लेख छह मोबियस परिवर्तनों के रूप में भी किया जा सकता है, जो क्रम 6#प्रतिनिधित्व सिद्धांत|का प्रतिनिधित्व का एक प्रक्षेपी डायहेड्रल समूह उत्पन्न करता है $2$ किसी भी क्षेत्र पर (चूंकि इसे पूर्णांक प्रविष्टियों के साथ परिभाषित किया गया है), और हमेशा वफादार/इंजेक्शन होता है (चूंकि कोई भी दो शब्द केवल भिन्न नहीं होते हैं) $3$). दो तत्वों वाले क्षेत्र के ऊपर, प्रक्षेपी रेखा में केवल तीन बिंदु होते हैं, इसलिए यह प्रतिनिधित्व एक समरूपता है, और प्रक्षेपी रैखिक समूह#असाधारण समरूपतावाद है $$\mathrm{S}_3 \approx \mathrm{PGL}(2, 2)$$. विशेषता में $exp(±iπ/3)$, यह बिंदु को स्थिर करता है $$-1 = [-1:1]$$, जो हार्मोनिक क्रॉस-अनुपात की कक्षा से मेल खाता है, केवल एक बिंदु है $2 = \tfrac12 = -1$ . तीन तत्वों वाले क्षेत्र के ऊपर, प्रक्षेपी रेखा में केवल 4 अंक होते हैं और $$\mathrm{S}_4 \approx \mathrm{PGL}(2, 3)$$, और इस प्रकार प्रतिनिधित्व बिल्कुल हार्मोनिक क्रॉस-अनुपात का स्टेबलाइज़र है, जो एक एम्बेडिंग प्रदान करता है $$\mathrm{S}_3 \hookrightarrow \mathrm{S}_4$$ बिंदु के स्टेबलाइजर के बराबर है $$-1$$.

असाधारण कक्षाएँ
के कुछ मूल्यों के लिए $$\lambda$$ अधिक समरूपता होगी और इसलिए क्रॉस-अनुपात के लिए छह से कम संभावित मान होंगे। इन मूल्यों $$\lambda$$ की कार्रवाई के निश्चित बिंदु (गणित) के अनुरूप $exp(iπ/3)$ रीमैन क्षेत्र पर (उपरोक्त छह कार्यों द्वारा दिया गया); या, समतुल्य रूप से, इस क्रमपरिवर्तन समूह में एक गैर-तुच्छ स्टेबलाइज़र (समूह सिद्धांत) वाले बिंदु।

निश्चित बिंदुओं का पहला सेट है $$\{0, 1, \infty\}.$$ हालाँकि, क्रॉस-अनुपात कभी भी इन मानों पर अंक नहीं ले सकता है $B$, $C$, $C$, और $P$ सभी अलग हैं। ये मान सीमित मान हैं क्योंकि निर्देशांक की एक जोड़ी एक-दूसरे के करीब आती है:


 * $$\begin{align}

(Z,B;Z,D) &= (A,Z;C,Z) = 0, \\[4mu] (Z,Z;C,D) &= (A,B;Z,Z) = 1, \\[4mu] (Z,B;C,Z) &= (A,Z;Z,D) = \infty. \end{align}$$ निश्चित बिंदुओं का दूसरा सेट है $\big\{{-1}, \tfrac12, 2\big\}.$ इस स्थिति को शास्त्रीय रूप से कहा जाता है, और प्रक्षेपी हार्मोनिक संयुग्मों में उत्पन्न होता है। वास्तविक मामले में, कोई अन्य असाधारण कक्षाएँ नहीं हैं।

जटिल मामले में, सबसे सममित क्रॉस-अनुपात तब होता है जब $$\lambda = e^{\pm i\pi/3}$$. तब ये क्रॉस-अनुपात के केवल दो मान हैं, और इन पर क्रमचय के संकेत के अनुसार कार्य किया जाता है।

परिवर्तनकारी दृष्टिकोण
क्रॉस-अनुपात लाइन के प्रोजेक्टिव ट्रांसफॉर्मेशन के तहत अपरिवर्तनीय है। एक जटिल संख्या प्रक्षेपी रेखा, या रीमैन क्षेत्र के मामले में, इन परिवर्तनों को मोबीस परिवर्तनों के रूप में जाना जाता है। एक सामान्य मोबियस परिवर्तन का रूप है


 * $$f(z) = \frac{az+b}{cz+d}\;,\quad \mbox{where } a,b,c,d\in\mathbb{C} \mbox{ and } ad-bc \ne 0.$$

ये परिवर्तन रीमैन क्षेत्र, मोबियस समूह पर एक समूह (गणित) समूह क्रिया (गणित) बनाते हैं।

क्रॉस-रेशियो के प्रोजेक्टिव इनवेरियन का मतलब है


 * $$(f(z_1), f(z_2); f(z_3), f(z_4)) = (z_1, z_2; z_3, z_4).\ $$

क्रॉस-अनुपात वास्तविक संख्या है यदि और केवल अगर चार बिंदु या तो रेखा (ज्यामिति) #Colinear बिंदु या चक्रीय हैं, इस तथ्य को दर्शाते हुए कि प्रत्येक मोबियस परिवर्तन सामान्यीकृत हलकों को सामान्यीकृत हलकों में मैप करता है।

मोबियस समूह की कार्रवाई रीमैन क्षेत्र के अलग-अलग बिंदुओं के ट्रिपल के सेट पर केवल सकर्मक है: अलग-अलग बिंदुओं के किसी भी आदेशित ट्रिपल को देखते हुए, $exp(−iπ/3)$, एक अद्वितीय मोबियस परिवर्तन है $3$ जो इसे ट्रिपल में मैप करता है $1/3$. क्रॉस-अनुपात का उपयोग करके इस परिवर्तन को आसानी से वर्णित किया जा सकता है: चूंकि $2$ के बराबर होना चाहिए $PGL(2, Z)$, जो बदले में बराबर होता है $S_{3}$, हमने प्राप्त


 * $$f(z)=(z, z_2; z_3, z_4) .$$

क्रॉस-अनुपात के अपरिवर्तनीयता के लिए एक वैकल्पिक व्याख्या इस तथ्य पर आधारित है कि एक रेखा के प्रक्षेपी परिवर्तनों का समूह अनुवाद, समरूपता और गुणात्मक व्युत्क्रम द्वारा उत्पन्न होता है। अंतर $PGL(2, Z)$ अनुवाद के तहत अपरिवर्तनीय हैं (गणित)


 * $$z \mapsto z + a$$

कहाँ $Q$ जमीनी क्षेत्र में एक स्थिरांक (गणित) है $X$. इसके अलावा, विभाजन अनुपात एक होमोथेटिक परिवर्तन के तहत अपरिवर्तनीय हैं


 * $$z \mapsto b z$$

एक गैर-शून्य स्थिरांक के लिए $Y$ में $P$. इसलिए, क्रॉस-अनुपात affine परिवर्तनों के तहत अपरिवर्तनीय है।

एक अच्छी तरह से परिभाषित गुणात्मक व्युत्क्रम प्राप्त करने के लिए


 * $$T : z \mapsto z^{-1},$$

एफ़िन लाइन को अनंत बिंदु पर इंगित करके बढ़ाया जाना चाहिए $2$, प्रोजेक्टिव लाइन बनाते हुए $3$. प्रत्येक एफ़िन मैपिंग $PGL(2, Z)$ की मैपिंग के लिए विशिष्ट रूप से बढ़ाया जा सकता है $2$ अपने आप में जो बिंदु को अनंत पर ठीक करता है। वो नक्शा $Q$ अदला-बदली $2$ और $3$. प्रक्षेपी समूह एक समूह का सेट उत्पन्न कर रहा है $D_{3}$ और affine मैपिंग को विस्तारित किया गया $S_{3}$ यदि $2$, जटिल तल, इसका परिणाम मोबियस समूह में होता है। चूंकि क्रॉस-रेशियो भी अंडर इनवेरिएंट है $C$, यह किसी भी प्रोजेक्टिव मैपिंग के तहत अपरिवर्तनीय है $S_{3}$ अपने आप में।

समन्वय विवरण
यदि हम जटिल बिंदुओं को सदिशों के रूप में लिखते हैं $$\overrightarrow{x}_n = [\Re(z_n),\Im(z_n)]^{\rm T}$$ और परिभाषित करें $$x_{nm}=x_n-x_m$$, और जाने $$(a,b)$$ का डॉट उत्पाद हो $$a$$ साथ $$b$$, तो क्रॉस अनुपात का वास्तविक भाग निम्न द्वारा दिया जाता है:

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 } $$ यह उलटा जैसे 2-आयामी विशेष अनुरूप परिवर्तन का एक अपरिवर्तनीय है $$x^\mu \rightarrow \frac{x^\mu}{|x|^2} $$.

काल्पनिक भाग को द्वि-आयामी क्रॉस उत्पाद का उपयोग करना चाहिए $$a\times b = [a,b] = a_2 b_1 - a_1 b_2$$

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  } $$

रिंग होमोग्राफी
क्रॉस अनुपात की अवधारणा केवल जोड़, गुणा और व्युत्क्रम के रिंग (गणित) संचालन पर निर्भर करती है (हालांकि किसी दिए गए तत्व का व्युत्क्रम एक रिंग में निश्चित नहीं है)। क्रॉस अनुपात के लिए एक दृष्टिकोण इसे एक होमोग्राफी के रूप में व्याख्या करता है जो तीन निर्दिष्ट बिंदुओं को लेता है $S_{3}$ और $1/−1$. व्युत्क्रमों से संबंधित प्रतिबंधों के तहत, रिंग#क्रॉस-अनुपात पर प्रोजेक्टिव लाइन में रिंग ऑपरेशंस के साथ ऐसी मैपिंग उत्पन्न करना संभव है। चार बिंदुओं का क्रॉस अनुपात चौथे बिंदु पर इस होमोग्राफी का मूल्यांकन है।

विभेदक-ज्यामितीय दृष्टिकोण
सिद्धांत एक अंतर कलन पहलू पर ले जाता है क्योंकि चार बिंदुओं को निकटता में लाया जाता है। यह श्वार्ज़ियन व्युत्पत्ति के सिद्धांत की ओर जाता है, और अधिक सामान्य रूप से प्रक्षेपण कनेक्शन  के।

उच्च-आयामी सामान्यीकरण
क्रॉस-अनुपात उच्च आयामों के लिए सरल तरीके से सामान्यीकृत नहीं होता है, बिंदुओं के विन्यास के अन्य ज्यामितीय गुणों के कारण, विशेष रूप से संपार्श्विकता - विन्यास स्थान (गणित) अधिक जटिल और विशिष्ट होते हैं $G$-अंकों की संख्या सामान्य स्थिति में नहीं है।

जबकि प्रक्षेपी रेखा का प्रक्षेपी रेखीय समूह 3-सकर्मक है (किसी भी तीन अलग-अलग बिंदुओं को किसी अन्य तीन बिंदुओं पर मैप किया जा सकता है), और वास्तव में केवल 3-सकर्मक (किसी भी ट्रिपल को दूसरे ट्रिपल में ले जाने वाला एक अनूठा प्रोजेक्टिव मैप है) क्रॉस अनुपात इस प्रकार चार बिंदुओं के एक सेट का अद्वितीय प्रोजेक्टिव इनवेरिएंट है, उच्च आयाम में बुनियादी ज्यामितीय इनवेरिएंट हैं। का प्रक्षेपी रैखिक समूह $K$-अंतरिक्ष $$\mathbf{P}^n=\mathbf{P}(K^{n+1})$$ है $3$ आयाम (क्योंकि यह है $$\mathrm{PGL}(n,K) = \mathbf{P}(\mathrm{GL}(n+1,K)),$$ प्रोजेक्टिवाइजेशन एक आयाम को हटा रहा है), लेकिन अन्य आयामों में प्रोजेक्टिव रैखिक समूह केवल 2-संक्रमणीय है - क्योंकि तीन समरेख बिंदुओं को तीन समरेख बिंदुओं पर मैप किया जाना चाहिए (जो प्रक्षेपी रेखा में प्रतिबंध नहीं है) - और इस प्रकार सामान्यीकृत नहीं है का अद्वितीय अपरिवर्तनीय प्रदान करने वाला क्रॉस अनुपात $S_{3}$ अंक।

संरेखता बिंदुओं के विन्यास की एकमात्र ज्यामितीय संपत्ति नहीं है जिसे बनाए रखा जाना चाहिए - उदाहरण के लिए, पांच बिंदु एक शंकु का निर्धारण करते हैं, लेकिन छह सामान्य बिंदु एक शंकु पर स्थित नहीं होते हैं, इसलिए क्या कोई 6-टपल बिंदु एक शंकु पर स्थित है या नहीं एक प्रक्षेपी अपरिवर्तनीय। कोई सामान्य स्थिति में बिंदुओं की कक्षाओं का अध्ययन कर सकता है - रेखा में सामान्य स्थिति अलग होने के बराबर है, जबकि उच्च आयामों में इसके लिए ज्यामितीय विचारों की आवश्यकता होती है, जैसा कि चर्चा की गई है - लेकिन, जैसा कि ऊपर इंगित करता है, यह अधिक जटिल और कम जानकारीपूर्ण है।

हालांकि, हाबिल-जैकोबी मानचित्र और थीटा कार्यों का उपयोग करते हुए, सकारात्मक जीनस (गणित) के रीमैन सतहों के लिए एक सामान्यीकरण मौजूद है।

यह भी देखें

 * हिल्बर्ट मीट्रिक

संदर्भ

 * Lars Ahlfors (1953,1966,1979) Complex Analysis, 1st edition, page 25; 2nd & 3rd editions, page 78, McGraw-Hill ISBN 0-07-000657-1.
 * Viktor Blåsjö (2009) "Jakob Steiner's Systematische Entwickelung: The Culmination of Classical Geometry", Mathematical Intelligencer 31(1): 21–9.
 * John J. Milne (1911) An Elementary Treatise on Cross-Ratio Geometry with Historical Notes, Cambridge University Press.
 * Dirk Struik (1953) Lectures on Analytic and Projective Geometry, page 7, Addison-Wesley.
 * I. R. Shafarevich & A. O. Remizov (2012) Linear Algebra and Geometry, Springer ISBN 978-3-642-30993-9.

बाहरी संबंध

 * MathPages – Kevin Brown explains the cross-ratio in his article about Pascal's Mystic Hexagram
 * Cross-Ratio at cut-the-knot