क्रॉस अनुपात: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 16: Line 16:
== शब्दावली और इतिहास ==
== शब्दावली और इतिहास ==
[[File:pappusharmonic.svg|thumb|right|300px|{{mvar|D}} का प्रक्षेपी हार्मोनिक संयुग्म है {{mvar|C}} इसके संबंध में {{mvar|A}} और {{mvar|B}}, ताकि क्रॉस-अनुपात {{math|(''A'', ''B''; ''C'', ''D'')}} बराबर है{{math|−1}}.]]अलेक्जेंड्रिया के पप्पस ने अपने संग्रह: पुस्तक सप्तम में क्रॉस-अनुपात के समतुल्य अवधारणाओं का निहित उपयोग किया। पप्पस के प्रारंभिक उपयोगकर्ताओं में [[आइजैक न्यूटन]], [[ माइकल चेसल्स ]] और [[रॉबर्ट सिमसन]] संम्मिलित थे। 1986 में अलेक्जेंडर जोन्स ने पप्पस द्वारा मूल का अनुवाद किया, फिर एक टिप्पणी लिखी कि कैसे पप्पस के लेम्मास आधुनिक शब्दावली से संबंधित हैं।<ref>Alexander Jones (1986) ''Book 7 of the Collection'', part 1: introduction, text, translation {{ISBN|0-387-96257-3}}, part 2: commentary, index, figures {{ISBN|3-540-96257-3}}, [[Springer-Verlag]]</ref>
[[File:pappusharmonic.svg|thumb|right|300px|{{mvar|D}} का प्रक्षेपी हार्मोनिक संयुग्म है {{mvar|C}} इसके संबंध में {{mvar|A}} और {{mvar|B}}, ताकि क्रॉस-अनुपात {{math|(''A'', ''B''; ''C'', ''D'')}} बराबर है{{math|−1}}.]]अलेक्जेंड्रिया के पप्पस ने अपने संग्रह: पुस्तक सप्तम में क्रॉस-अनुपात के समतुल्य अवधारणाओं का निहित उपयोग किया। पप्पस के प्रारंभिक उपयोगकर्ताओं में [[आइजैक न्यूटन]], [[ माइकल चेसल्स ]] और [[रॉबर्ट सिमसन]] संम्मिलित थे। 1986 में अलेक्जेंडर जोन्स ने पप्पस द्वारा मूल का अनुवाद किया, फिर एक टिप्पणी लिखी कि कैसे पप्पस के लेम्मास आधुनिक शब्दावली से संबंधित हैं।<ref>Alexander Jones (1986) ''Book 7 of the Collection'', part 1: introduction, text, translation {{ISBN|0-387-96257-3}}, part 2: commentary, index, figures {{ISBN|3-540-96257-3}}, [[Springer-Verlag]]</ref>
प्रक्षेपी ज्यामिति में क्रॉस अनुपात का आधुनिक उपयोग 1803 में [[लाज़ारे कार्नोट]] के साथ उनकी पुस्तक जियोमेट्री डे पोजीशन के साथ प्रारंम्भ हुआ।<ref>{{cite book |last=Carnot |first=Lazare |authorlink=Lazare Carnot |year=1803 |title=Géométrie de Position|publisher=Crapelet | url=https://archive.org/details/geometriedeposit00carn}}</ref> चासल्स ने फ्रांसीसी शब्द गढ़ा {रैपोर्ट एनार्मोनिक}1837 में [अनहार्मोनिक अनुपात]।<ref>{{cite book |last=Chasles |first=Michel |year=1837 |title=Aperçu historique sur l'origine et le développement des méthodes en géométrie |publisher=Hayez |page=35 |url=https://archive.org/details/aperuhistoriq00chas/page/35/ }} (Link is to the reprinted second edition, Gauthier-Villars: 1875.) </ref> जर्मन जियोमीटर इसे कहते हैं डास डोपेल्वरहल्ट्निस [दोहरा अनुपात]।
प्रक्षेपी ज्यामिति में क्रॉस अनुपात का आधुनिक उपयोग 1803 में [[लाज़ारे कार्नोट]] के साथ उनकी पुस्तक जियोमेट्री डे पोजीशन के साथ प्रारंम्भ हुआ।<ref>{{cite book |last=Carnot |first=Lazare |authorlink=Lazare Carnot |year=1803 |title=Géométrie de Position|publisher=Crapelet | url=https://archive.org/details/geometriedeposit00carn}}</ref> चासल्स ने फ्रांसीसी शब्द गढ़ा {रैपोर्ट अनहार्मोनिक}1837 में [अनहार्मोनिक अनुपात]।<ref>{{cite book |last=Chasles |first=Michel |year=1837 |title=Aperçu historique sur l'origine et le développement des méthodes en géométrie |publisher=Hayez |page=35 |url=https://archive.org/details/aperuhistoriq00chas/page/35/ }} (Link is to the reprinted second edition, Gauthier-Villars: 1875.) </ref> जर्मन जियोमीटर इसे कहते हैं डास डोपेल्वरहल्ट्निस [दोहरा अनुपात]।


कार्ल वॉन स्टॉड पूरी तरह कृत्रिम प्रक्षेपी ज्यामिति अवधारणाओं पर आधारित होने के अतिरिक्त यूक्लिडियन दूरियों के बीजगणितीय हेरफेर पर निर्भर क्रॉस-अनुपात की पिछली परिभाषाओं से असंतुष्ट थे। 1847 में, [[वॉन स्टॉड्ट]] ने प्रदर्शित किया कि प्रक्षेपी हार्मोनिक संयुग्म के निर्माण के आधार पर एक बीजगणित बनाकर, बीजगणितीय संरचना प्रक्षेपी ज्यामिति में निहित है, जिसे उन्होंने एक थ्रो (जर्मन: वुर्फ) कहा: एक रेखा पर तीन बिंदु दिए गए, हार्मोनिक संयुग्म एक चौथा बिंदु है जो क्रॉस अनुपात को {{math|−1}} बराबर बनाता है . उनका बीजगणित थ्रो संख्यात्मक प्रस्तावों के लिए एक दृष्टिकोण प्रदान करता है, जिसे सामान्यता स्वयंसिद्धों के रूप में लिया जाता है, लेकिन प्रक्षेपी ज्यामिति में सिद्ध होता है।<ref>[[Howard Eves]] (1972) ''A Survey of Geometry'', Revised Edition, page 73, [[Allyn and Bacon]]</ref>
कार्ल वॉन स्टॉड पूरी तरह कृत्रिम प्रक्षेपी ज्यामिति अवधारणाओं पर आधारित होने के अतिरिक्त यूक्लिडियन दूरियों के बीजगणितीय हेरफेर पर निर्भर क्रॉस-अनुपात की पिछली परिभाषाओं से असंतुष्ट थे। 1847 में, [[वॉन स्टॉड्ट]] ने प्रदर्शित किया कि प्रक्षेपी हार्मोनिक संयुग्म के निर्माण के आधार पर एक बीजगणित बनाकर, बीजगणितीय संरचना प्रक्षेपी ज्यामिति में निहित है, जिसे उन्होंने एक थ्रो (जर्मन: वुर्फ) कहा: एक रेखा पर तीन बिंदु दिए गए, हार्मोनिक संयुग्म एक चौथा बिंदु है जो क्रॉस अनुपात को {{math|−1}} बराबर बनाता है . उनका बीजगणित थ्रो संख्यात्मक प्रस्तावों के लिए एक दृष्टिकोण प्रदान करता है, जिसे सामान्यता स्वयंसिद्धों के रूप में लिया जाता है, लेकिन प्रक्षेपी ज्यामिति में सिद्ध होता है।<ref>[[Howard Eves]] (1972) ''A Survey of Geometry'', Revised Edition, page 73, [[Allyn and Bacon]]</ref>
Line 80: Line 80:
इसके अतिरिक्त, चलो <math display="inline">\{L_i \mid 1 \le i \le 4\}</math> एक ही बिंदु से गुजरने वाले समतल में चार विभिन्न रेखाएँ हों <math display="inline">Q</math>. फिर कोई रेखा <math display="inline">L</math> से नहीं गुजर रहा <math display="inline">Q</math> इन रेखाओं को चार विभिन्न बिंदुओं पर काटता है <math display="inline">P_i</math> (अगर <math display="inline">L</math> के [[समानांतर (ज्यामिति)]] है <math display="inline">L_i</math> तो संबंधित प्रतिच्छेदन बिंदु अनंत पर है)। यह पता चला है कि इन बिंदुओं का क्रॉस-अनुपात (एक निश्चित क्रम में लिया गया) रेखा के चयन पर निर्भर नहीं करता है <math display="inline">L</math>, और इसलिए यह 4-ट्यूपल ऑफ़ रेखाओं का एक अपरिवर्तनीय है <math display="inline">L_i.</math> इसे इस प्रकार समझा जा सकता है: यदि <math display="inline">L</math> और <math display="inline">L'</math> दो रेखाओं से नहीं जा रही हैं <math display="inline">Q</math> फिर परिप्रेक्ष्य परिवर्तन से <math display="inline">L</math> को <math display="inline">L'</math> केंद्र के साथ <math display="inline">Q</math> एक अनुमानित परिवर्तन है जो चौगुना लेता है <math display="inline">\{P_i\}</math> बिंदुओं पर <math display="inline">L</math> चौगुनी में <math display="inline">\{P_{i}'\}</math> बिंदुओं पर <math display="inline">L'</math>.
इसके अतिरिक्त, चलो <math display="inline">\{L_i \mid 1 \le i \le 4\}</math> एक ही बिंदु से गुजरने वाले समतल में चार विभिन्न रेखाएँ हों <math display="inline">Q</math>. फिर कोई रेखा <math display="inline">L</math> से नहीं गुजर रहा <math display="inline">Q</math> इन रेखाओं को चार विभिन्न बिंदुओं पर काटता है <math display="inline">P_i</math> (अगर <math display="inline">L</math> के [[समानांतर (ज्यामिति)]] है <math display="inline">L_i</math> तो संबंधित प्रतिच्छेदन बिंदु अनंत पर है)। यह पता चला है कि इन बिंदुओं का क्रॉस-अनुपात (एक निश्चित क्रम में लिया गया) रेखा के चयन पर निर्भर नहीं करता है <math display="inline">L</math>, और इसलिए यह 4-ट्यूपल ऑफ़ रेखाओं का एक अपरिवर्तनीय है <math display="inline">L_i.</math> इसे इस प्रकार समझा जा सकता है: यदि <math display="inline">L</math> और <math display="inline">L'</math> दो रेखाओं से नहीं जा रही हैं <math display="inline">Q</math> फिर परिप्रेक्ष्य परिवर्तन से <math display="inline">L</math> को <math display="inline">L'</math> केंद्र के साथ <math display="inline">Q</math> एक अनुमानित परिवर्तन है जो चौगुना लेता है <math display="inline">\{P_i\}</math> बिंदुओं पर <math display="inline">L</math> चौगुनी में <math display="inline">\{P_{i}'\}</math> बिंदुओं पर <math display="inline">L'</math>.


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


== सजातीय निर्देशांक में परिभाषा ==
== सजातीय निर्देशांक में परिभाषा ==
Line 87: Line 87:


== [[गैर-यूक्लिडियन ज्यामिति|अन्य-यूक्लिडियन ज्यामिति]] में भूमिका ==
== [[गैर-यूक्लिडियन ज्यामिति|अन्य-यूक्लिडियन ज्यामिति]] में भूमिका ==
[[आर्थर केली]] और [[फेलिक्स क्लेन]] ने अन्य-यूक्लिडियन ज्यामिति के क्रॉस-अनुपात का अनुप्रयोग पाया। एक विलक्षण शांकव खंड दिया गया है {{mvar|C}} वास्तविक प्रक्षेपी तल में, इसका स्टेबलाइजर उपसमूह#ऑर्बिट्स और स्टेबलाइजर्स {{math|''G<sub>C</sub>''}} प्रक्षेपी समूह में {{math|1=''G'' = PGL(3, '''R''')}} [[समूह क्रिया (गणित)]] के आंतरिक बिंदुओं पर [[सकर्मक क्रिया]] {{mvar|C}}. हालांकि, की कार्रवाई के लिए एक अपरिवर्तनीय है {{math|''G<sub>C</sub>''}} बिंदुओं के जोड़े पर। वास्तव में, ऐसा प्रत्येक अपरिवर्तनीय उचित क्रॉस अनुपात के कार्य के रूप में अभिव्यक्त होता है।{{citation needed|date=November 2010}}
[[आर्थर केली]] और [[फेलिक्स क्लेन]] ने अन्य-यूक्लिडियन ज्यामिति के क्रॉस-अनुपात का अनुप्रयोग पाया। वास्तविक प्रक्षेपी तल में एक व्युत्क्रमणीय शंकु {{mvar|C}} को देखते हुए, प्रक्षेपी समूह में {{math|1=''G'' = PGL(3, '''R''')}} इसका स्टेबलाइजर {{math|''G<sub>C</sub>''}} के आंतरिक बिंदुओं पर सकर्मक रूप से कार्य करता है।. यद्यपि, बिंदुओं के जोड़े पर {{math|''G<sub>C</sub>''}} की कार्यवाही के लिए अपरिवर्तनीय है। वास्तव में, ऐसा प्रत्येक अपरिवर्तनीय उचित क्रॉस अनुपात के कार्य के रूप में अभिव्यक्त होता है


=== अतिशयोक्तिपूर्ण ज्यामिति ===
=== अतिशयोक्तिपूर्ण ज्यामिति ===
स्पष्ट रूप से, शांकव को इकाई वृत्त होने दें। किन्हीं दो बिंदुओं के लिए {{mvar|P}} और {{mvar|Q}}, यूनिट सर्कल के अंदर। यदि उन्हें जोड़ने वाली रेखा वृत्त को दो बिंदुओं पर काटती है, {{mvar|X}} और {{mvar|Y}} और अंक क्रम में हैं, {{math|''X'', ''P'', ''Q'', ''Y''}}. फिर बीच की अतिशयोक्तिपूर्ण दूरी {{mvar|P}} और {{mvar|Q}} हाइपरबोलिक ज्यामिति के केली-क्लेन मॉडल में व्यक्त किया जा सकता है
स्पष्ट रूप से, शांकव को इकाई वृत्त होने दें। किन्हीं दो बिंदुओं के लिए {{mvar|P}} और {{mvar|Q}}, यूनिट सर्कल के अंदर। यदि उन्हें जोड़ने वाली रेखा वृत्त को दो बिंदुओं पर विभाजित करती है, {{mvar|X}} और {{mvar|Y}} और अंक क्रम में हैं, {{math|''X'', ''P'', ''Q'', ''Y''}}. फिर बीच की अतिशयोक्तिपूर्ण दूरी {{mvar|P}} और {{mvar|Q}} अतिशयोक्तिपूर्ण ज्यामिति के केली-क्लेन मॉडल में व्यक्त किया जा सकता है


:<math> d_h(P,Q)=\frac{1}{2} \left| \log \frac{|XQ||PY|}{|XP||QY|} \right| </math>
:<math> d_h(P,Q)=\frac{1}{2} \left| \log \frac{|XQ||PY|}{|XP||QY|} \right| </math>
(गाऊसी वक्रता बनाने के लिए कारक एक आधा आवश्यक है {{math|−1}}). चूंकि क्रॉस-अनुपात प्रक्षेपीय ट्रांसफॉर्मेशन के तहत अपरिवर्तनीय है, इसलिए यह इस प्रकार है कि हाइपरबॉलिक दूरी प्रक्षेपीय ट्रांसफॉर्मेशन के तहत अपरिवर्तनीय है जो शंकु को संरक्षित करती है {{mvar|C}}.
(वक्रता -1 बनाने के लिए गुणनखंड के आधे की आवश्यकता होती है). चूंकि क्रॉस-अनुपात प्रक्षेपीय रूपांतरण के अंतर्गत अपरिवर्तनीय है, इसलिए यह इस प्रकार है कि अतिशयोक्तिपूर्ण दूरी प्रक्षेपीय रूपांतरण के अंतर्गत अपरिवर्तनीय है जो शंकु {{mvar|C}} को संरक्षित करती है .


इसके विपरीत समूह {{mvar|G}} बिंदुओं के जोड़े के सेट पर सकर्मक रूप से कार्य करता है {{math|(''p'', ''q'')}} एक निश्चित हाइपरबोलिक दूरी पर यूनिट डिस्क में।
इसके विपरीत समूह {{mvar|G}} बिंदुओं के जोड़े के सेट पर सकर्मक रूप से कार्य करता है {{math|(''p'', ''q'')}} एक निश्चित अतिशयोक्तिपूर्ण दूरी पर यूनिट डिस्क में।


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


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


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


Line 107: Line 107:
(A,B;C,D) = (B,A;D,C) = (C,D;A,B) = (D,C;B,A).
(A,B;C,D) = (B,A;D,C) = (C,D;A,B) = (D,C;B,A).
</math>
</math>
ये चर के निम्नलिखित क्रम[[परिवर्तन]] से भिन्न होते हैं (चक्र संकेतन में):
ये चर के निम्नलिखित क्रम [[परिवर्तन]] से भिन्न होते हैं (चक्र संकेतन में):


:<math>
:<math>
Line 115: Line 115:
(\,A\,D\,) (\,B\,C\,).
(\,A\,D\,) (\,B\,C\,).
</math>
</math>
हम [[सममित समूह]] की [[समूह क्रिया]] के रूप में चार चर के क्रमपरिवर्तन पर विचार कर सकते हैं {{math|S<sub>4</sub>}} चार चर के कार्यों पर। चूंकि उपरोक्त चार क्रमपरिवर्तन क्रॉस अनुपात को अपरिवर्तित छोड़ देते हैं, वे स्टेबलाइज़र उपसमूह बनाते हैं {{mvar|K}इस क्रिया के तहत क्रॉस-अनुपात का }, और यह [[भागफल समूह]] की एक [[प्रभावी समूह क्रिया]] को प्रेरित करता है <math>
हम [[सममित समूह]] की [[समूह क्रिया]] के रूप में चार चर के क्रम परिवर्तन पर विचार कर सकते हैं {{math|S<sub>4</sub>}}<nowiki> चार चर के कार्यों पर। चूंकि उपरोक्त चार क्रम परिवर्तन क्रॉस अनुपात को अपरिवर्तित छोड़ देते हैं, वे स्टेबलाइज़र उपसमूह बनाते हैं {{mvar|K}इस क्रिया केअंतर्गत  क्रॉस-अनुपात का }, और यह </nowiki>[[भागफल समूह]] की एक [[प्रभावी समूह क्रिया]] को प्रेरित करता है <math>
\mathrm{S}_4/K
\mathrm{S}_4/K
</math> क्रॉस-अनुपात की कक्षा पर। में चार क्रमपरिवर्तन {{mvar|K}} में [[क्लेन चार-समूह]] का अहसास करें {{math|S<sub>4</sub>}}, और भागफल <math>\mathrm{S}_4/K</math> सममित समूह के लिए आइसोमोर्फिक है {{math|S<sub>3</sub>}}.
</math> क्रॉस-अनुपात की कक्षा पर। में चार क्रमपरिवर्तन {{mvar|K}} में [[क्लेन चार-समूह]] का अहसास करें {{math|S<sub>4</sub>}}, और भागफल <math>\mathrm{S}_4/K</math> सममित समूह के लिए आइसोमोर्फिक है {{math|S<sub>3</sub>}}.
Line 129: Line 129:
[[File:Symmetries of the anharmonic group.png|thumb|300px|<p>के स्टेबलाइजर {{math|{0, 1, ∞}{{null}}}} ट्राइगोनल डायहेड्रॉन, [[डायहेड्रल समूह]] के [[ रोटेशन समूह ]] के लिए आइसोमोर्फिक है {{math|''D''<sub>3</sub>}}. मोबियस परिवर्तन द्वारा इसकी कल्पना करना सुविधाजनक है {{mvar|M}} वास्तविक अक्ष को जटिल इकाई वृत्त (रीमैन क्षेत्र के भूमध्य रेखा) के साथ मैप करना {{math|0, 1, ∞}} समान दूरी पर।</p>
[[File:Symmetries of the anharmonic group.png|thumb|300px|<p>के स्टेबलाइजर {{math|{0, 1, ∞}{{null}}}} ट्राइगोनल डायहेड्रॉन, [[डायहेड्रल समूह]] के [[ रोटेशन समूह ]] के लिए आइसोमोर्फिक है {{math|''D''<sub>3</sub>}}. मोबियस परिवर्तन द्वारा इसकी कल्पना करना सुविधाजनक है {{mvar|M}} वास्तविक अक्ष को जटिल इकाई वृत्त (रीमैन क्षेत्र के भूमध्य रेखा) के साथ मैप करना {{math|0, 1, ∞}} समान दूरी पर।</p>
<p>विचारशील {{math|{0, 1, ∞}{{null}}}} डायहेड्रॉन के शीर्ष के रूप में, के अन्य निश्चित बिंदु
<p>विचारशील {{math|{0, 1, ∞}{{null}}}} डायहेड्रॉन के शीर्ष के रूप में, के अन्य निश्चित बिंदु
  {{math|2}}-चक्र बिंदु हैं {{math|{2, −1, 1/2},}} जिसके तहत {{mvar|M}} विपरीत किनारे के मध्य बिंदु पर, रीमैन क्षेत्र पर प्रत्येक शीर्ष के विपरीत हैं। प्रत्येक {{math|2}}-चक्र गोलार्धों का आदान-प्रदान करने वाले रीमैन क्षेत्र का एक आधा-मोड़ घुमाव है (आरेख में वृत्त का आंतरिक और बाहरी)।</p>
  {{math|2}}-चक्र बिंदु हैं {{math|{2, −1, 1/2},}} जिसके अंतर्गत  {{mvar|M}} विपरीत किनारे के मध्य बिंदु पर, रीमैन क्षेत्र पर प्रत्येक शीर्ष के विपरीत हैं। प्रत्येक {{math|2}}-चक्र गोलार्धों का आदान-प्रदान करने वाले रीमैन क्षेत्र का एक आधा-मोड़ घुमाव है (आरेख में वृत्त का आंतरिक और बाहरी)।</p>
<p>के निश्चित बिंदु {{math|3}}-चक्र हैं {{math|exp(±''iπ''/3)}}, के तहत संगत {{mvar|M}} गोले के ध्रुवों के लिए: {{math|exp(''iπ''/3)}} मूल है और {{math|exp(−''iπ''/3)}} अनंत पर बिंदु है। प्रत्येक {{math|3}}-चक्र एक है {{math|1/3}} अपनी धुरी के चारों ओर घूमते हैं, और उनका आदान-प्रदान होता है {{math|2}}-चक्र।</p>]]कार्यों के रूप में <math>\lambda,</math> ये मोबियस परिवर्तन के उदाहरण हैं, जो कार्यों की संरचना के तहत मोबियस समूह बनाते हैं {{math|PGL(2, '''Z''')}}. छह परिवर्तन एक उपसमूह का निर्माण करते हैं जिसे अनहार्मोनिक समूह के रूप में जाना जाता है, फिर से आइसोमोर्फिक {{math|S<sub>3</sub>}}. वे मरोड़ तत्व (अण्डाकार रूपांतर) में हैं {{math|[[Projective linear group|PGL]](2, '''Z''')}}. अर्थात्, <math display=inline>\tfrac{1}{\lambda}</math>, <math>1-\lambda\,</math>, और <math display=inline>\tfrac{\lambda}{\lambda-1}</math> व्यवस्थित हैं {{math|2}} संबंधित [[निश्चित बिंदु (गणित)]] के साथ <math>-1,</math> <math display=inline>\tfrac12,</math> और <math>2,</math> (अर्थात्, हार्मोनिक क्रॉस-अनुपात की कक्षा)। इस बीच, तत्व
<p>के निश्चित बिंदु {{math|3}}-चक्र हैं {{math|exp(±''iπ''/3)}}, के अंतर्गत  संगत {{mvar|M}} गोले के ध्रुवों के लिए: {{math|exp(''iπ''/3)}} मूल है और {{math|exp(−''iπ''/3)}} अनंत पर बिंदु है। प्रत्येक {{math|3}}-चक्र एक है {{math|1/3}} अपनी धुरी के चारों ओर घूमते हैं, और उनका आदान-प्रदान होता है {{math|2}}-चक्र।</p>]]कार्यों के रूप में <math>\lambda,</math> ये मोबियस परिवर्तन के उदाहरण हैं, जो कार्यों की संरचना के अंतर्गत  मोबियस समूह बनाते हैं {{math|PGL(2, '''Z''')}}. छह परिवर्तन एक उपसमूह का निर्माण करते हैं जिसे अनहार्मोनिक समूह के रूप में जाना जाता है, फिर से आइसोमोर्फिक {{math|S<sub>3</sub>}}. वे मरोड़ तत्व (अण्डाकार रूपांतर) में हैं {{math|[[Projective linear group|PGL]](2, '''Z''')}}. अर्थात्, <math display=inline>\tfrac{1}{\lambda}</math>, <math>1-\lambda\,</math>, और <math display=inline>\tfrac{\lambda}{\lambda-1}</math> व्यवस्थित हैं {{math|2}} संबंधित [[निश्चित बिंदु (गणित)]] के साथ <math>-1,</math> <math display=inline>\tfrac12,</math> और <math>2,</math> (अर्थात्, हार्मोनिक क्रॉस-अनुपात की कक्षा)। इस बीच, तत्व
<math display=inline>\tfrac{1}{1-\lambda}</math> और <math display=inline>\tfrac{\lambda-1}{\lambda}</math> व्यवस्थित हैं {{math|3}} में {{math|PGL(2, '''Z''')}}, और प्रत्येक दोनों मानों को ठीक करता है <math display=inline>e^{\pm i\pi/3} = \tfrac{1}{2} \pm \tfrac{\sqrt{3}}{2}i</math> सबसे सममित क्रॉस-अनुपात (के समाधान <math>x^2 - x + 1</math>, [[एकता की आदिम जड़]] एकता की छठी जड़ें)। आदेश {{math|2}} तत्व इन दो तत्वों का आदान-प्रदान करते हैं (जैसा कि वे अपने निश्चित बिंदुओं के अतिरिक्त कोई भी जोड़ी करते हैं), और इस प्रकार एनार्मोनिक समूह की क्रिया <math>e^{\pm i\pi/3}</math> सममित समूहों का भागफल मानचित्र देता है <math>\mathrm{S}_3 \to \mathrm{S}_2</math>.
<math display=inline>\tfrac{1}{1-\lambda}</math> और <math display=inline>\tfrac{\lambda-1}{\lambda}</math> व्यवस्थित हैं {{math|3}} में {{math|PGL(2, '''Z''')}}, और प्रत्येक दोनों मानों को ठीक करता है <math display=inline>e^{\pm i\pi/3} = \tfrac{1}{2} \pm \tfrac{\sqrt{3}}{2}i</math> सबसे सममित क्रॉस-अनुपात (के समाधान <math>x^2 - x + 1</math>, [[एकता की आदिम जड़]] एकता की छठी जड़ें)। आदेश {{math|2}} तत्व इन दो तत्वों का आदान-प्रदान करते हैं (जैसा कि वे अपने निश्चित बिंदुओं के अतिरिक्त कोई भी जोड़ी करते हैं), और इस प्रकार अनहार्मोनिक समूह की क्रिया <math>e^{\pm i\pi/3}</math> सममित समूहों का भागफल मानचित्र देता है <math>\mathrm{S}_3 \to \mathrm{S}_2</math>.


इसके अतिरिक्त, व्यक्ति के निश्चित बिंदु {{math|2}}-चक्र हैं, क्रमशः, <math>-1,</math> <math display=inline>\tfrac12,</math> और <math>2,</math> और यह सेट भी इसके द्वारा संरक्षित और अनुमत है {{math|3}}-चक्र। ज्यामितीय रूप से, इसे त्रिकोणीय डायहेड्रॉन के रोटेशन समूह के रूप में देखा जा सकता है, जो त्रिभुज के डायहेड्रल समूह के लिए आइसोमोर्फिक है {{math|''D''<sub>3</sub>}}, जैसा कि दाईं ओर दिखाया गया है। बीजगणितीय रूप से, यह की क्रिया के अनुरूप है {{math|S<sub>3</sub>}} पर {{math|2}}-चक्र (इसका सिलो उपसमूह | सिलो 2-उपसमूह) संयुग्मन द्वारा और [[आंतरिक ऑटोमोर्फिज्म]] के समूह के साथ समरूपता का एहसास करता है, <math display=inline>\mathrm{S}_3 \mathrel{\overset{\sim}{\to}} \operatorname{Inn}(\mathrm{S}_3) \cong \mathrm{S}_3.</math>
इसके अतिरिक्त, व्यक्ति के निश्चित बिंदु {{math|2}}-चक्र हैं, क्रमशः, <math>-1,</math> <math display=inline>\tfrac12,</math> और <math>2,</math> और यह सेट भी इसके द्वारा संरक्षित और अनुमत है {{math|3}}-चक्र। ज्यामितीय रूप से, इसे त्रिकोणीय डायहेड्रॉन के रोटेशन समूह के रूप में देखा जा सकता है, जो त्रिभुज के डायहेड्रल समूह के लिए आइसोमोर्फिक है {{math|''D''<sub>3</sub>}}, जैसा कि दाईं ओर दिखाया गया है। बीजगणितीय रूप से, यह की क्रिया के अनुरूप है {{math|S<sub>3</sub>}} पर {{math|2}}-चक्र (इसका सिलो उपसमूह | सिलो 2-उपसमूह) संयुग्मन द्वारा और [[आंतरिक ऑटोमोर्फिज्म]] के समूह के साथ समरूपता का एहसास करता है, <math display=inline>\mathrm{S}_3 \mathrel{\overset{\sim}{\to}} \operatorname{Inn}(\mathrm{S}_3) \cong \mathrm{S}_3.</math>
एनार्मोनिक समूह किसके द्वारा उत्पन्न होता है <math display=inline>\lambda \mapsto \tfrac1\lambda</math> और <math display=inline>\lambda \mapsto 1 - \lambda.</math> इसकी कार्रवाई जारी है <math>\{0, 1, \infty\}</math> के साथ एक समरूपता देता है {{math|S<sub>3</sub>}}. इसका उल्लेख छह मोबियस परिवर्तनों के रूप में भी किया जा सकता है,<ref>{{cite book | last=Chandrasekharan | first=K. | author-link=K. S. Chandrasekharan | title=अण्डाकार कार्य| series=Grundlehren der mathematischen Wissenschaften | volume=281 | publisher=[[Springer-Verlag]] | year=1985 | isbn=3-540-15295-4 | zbl=0575.33001 | page=120 }}</ref> जो क्रम 6#प्रतिनिधित्व सिद्धांत|का प्रतिनिधित्व का एक प्रक्षेपी डायहेड्रल समूह उत्पन्न करता है {{math|S<sub>3</sub>}} किसी भी क्षेत्र पर (चूंकि इसे पूर्णांक प्रविष्टियों के साथ परिभाषित किया गया है), और हमेशा वफादार/इंजेक्शन होता है (चूंकि कोई भी दो शब्द केवल भिन्न नहीं होते हैं) {{math|1/−1}}). दो तत्वों वाले क्षेत्र के ऊपर, प्रक्षेपी रेखा में केवल तीन बिंदु होते हैं, इसलिए यह प्रतिनिधित्व एक समरूपता है, और प्रक्षेपी रैखिक समूह#असाधारण समरूपतावाद है <math>\mathrm{S}_3 \approx \mathrm{PGL}(2, 2)</math>. विशेषता में {{math|3}}, यह बिंदु को स्थिर करता है <math>-1 = [-1:1]</math>, जो हार्मोनिक क्रॉस-अनुपात की कक्षा से मेल खाता है, केवल एक बिंदु है <math display=inline>2 = \tfrac12 = -1</math>. तीन तत्वों वाले क्षेत्र के ऊपर, प्रक्षेपी रेखा में केवल 4 अंक होते हैं और <math>\mathrm{S}_4 \approx \mathrm{PGL}(2, 3)</math>, और इस प्रकार प्रतिनिधित्व बिल्कुल हार्मोनिक क्रॉस-अनुपात का स्टेबलाइज़र है, जो एक एम्बेडिंग प्रदान करता है <math>\mathrm{S}_3 \hookrightarrow \mathrm{S}_4</math> बिंदु के स्टेबलाइजर के बराबर है <math>-1</math>.
अनहार्मोनिक समूह किसके द्वारा उत्पन्न होता है <math display=inline>\lambda \mapsto \tfrac1\lambda</math> और <math display=inline>\lambda \mapsto 1 - \lambda.</math> इसकी कार्यवाही जारी है <math>\{0, 1, \infty\}</math> के साथ एक समरूपता देता है {{math|S<sub>3</sub>}}. इसका उल्लेख छह मोबियस परिवर्तनों के रूप में भी किया जा सकता है,<ref>{{cite book | last=Chandrasekharan | first=K. | author-link=K. S. Chandrasekharan | title=अण्डाकार कार्य| series=Grundlehren der mathematischen Wissenschaften | volume=281 | publisher=[[Springer-Verlag]] | year=1985 | isbn=3-540-15295-4 | zbl=0575.33001 | page=120 }}</ref> जो क्रम 6#प्रतिनिधित्व सिद्धांत|का प्रतिनिधित्व का एक प्रक्षेपी डायहेड्रल समूह उत्पन्न करता है {{math|S<sub>3</sub>}} किसी भी क्षेत्र पर (चूंकि इसे पूर्णांक प्रविष्टियों के साथ परिभाषित किया गया है), और हमेशा वफादार/इंजेक्शन होता है (चूंकि कोई भी दो शब्द केवल भिन्न नहीं होते हैं) {{math|1/−1}}). दो तत्वों वाले क्षेत्र के ऊपर, प्रक्षेपी रेखा में केवल तीन बिंदु होते हैं, इसलिए यह प्रतिनिधित्व एक समरूपता है, और प्रक्षेपी रैखिक समूह#असाधारण समरूपतावाद है <math>\mathrm{S}_3 \approx \mathrm{PGL}(2, 2)</math>. विशेषता में {{math|3}}, यह बिंदु को स्थिर करता है <math>-1 = [-1:1]</math>, जो हार्मोनिक क्रॉस-अनुपात की कक्षा से मेल खाता है, केवल एक बिंदु है <math display=inline>2 = \tfrac12 = -1</math>. तीन तत्वों वाले क्षेत्र के ऊपर, प्रक्षेपी रेखा में केवल 4 अंक होते हैं और <math>\mathrm{S}_4 \approx \mathrm{PGL}(2, 3)</math>, और इस प्रकार प्रतिनिधित्व बिल्कुल हार्मोनिक क्रॉस-अनुपात का स्टेबलाइज़र है, जो एक एम्बेडिंग प्रदान करता है <math>\mathrm{S}_3 \hookrightarrow \mathrm{S}_4</math> बिंदु के स्टेबलाइजर के बराबर है <math>-1</math>.


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


निश्चित बिंदुओं का पहला सेट है <math>\{0, 1, \infty\}.</math> हालाँकि, क्रॉस-अनुपात कभी भी इन मानों पर अंक नहीं ले सकता है {{mvar|A}}, {{mvar|B}}, {{mvar|C}}, और {{mvar|D}} सभी अलग हैं। ये मान सीमित मान हैं क्योंकि निर्देशांक की एक जोड़ी एक-दूसरे के करीब आती है:
निश्चित बिंदुओं का पहला सेट है <math>\{0, 1, \infty\}.</math> हालाँकि, क्रॉस-अनुपात कभी भी इन मानों पर अंक नहीं ले सकता है {{mvar|A}}, {{mvar|B}}, {{mvar|C}}, और {{mvar|D}} सभी अलग हैं। ये मान सीमित मान हैं क्योंकि निर्देशांक की एक जोड़ी एक-दूसरे के करीब आती है:
Line 153: Line 153:
{{Main|Möbius transformation}}
{{Main|Möbius transformation}}


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


:<math>f(z) = \frac{az+b}{cz+d}\;,\quad \mbox{where } a,b,c,d\in\mathbb{C} \mbox{ and } ad-bc \ne 0.</math>
:<math>f(z) = \frac{az+b}{cz+d}\;,\quad \mbox{where } a,b,c,d\in\mathbb{C} \mbox{ and } ad-bc \ne 0.</math>
Line 163: Line 163:
क्रॉस-अनुपात [[वास्तविक संख्या]] है यदि और केवल अगर चार बिंदु या तो रेखा (ज्यामिति) #Colinear बिंदु या चक्रीय हैं, इस तथ्य को दर्शाते हुए कि प्रत्येक मोबियस परिवर्तन सामान्यीकृत हलकों को सामान्यीकृत हलकों में मैप करता है।
क्रॉस-अनुपात [[वास्तविक संख्या]] है यदि और केवल अगर चार बिंदु या तो रेखा (ज्यामिति) #Colinear बिंदु या चक्रीय हैं, इस तथ्य को दर्शाते हुए कि प्रत्येक मोबियस परिवर्तन सामान्यीकृत हलकों को सामान्यीकृत हलकों में मैप करता है।


मोबियस समूह की कार्रवाई रीमैन क्षेत्र के विभिन्न बिंदुओं के ट्रिपल के सेट पर केवल सकर्मक है: विभिन्न बिंदुओं के किसी भी आदेशित ट्रिपल को देखते हुए, {{math|(''z''<sub>2</sub>, ''z''<sub>3</sub>, ''z''<sub>4</sub>)}}, एक अद्वितीय मोबियस परिवर्तन है {{math|''f''(''z'')}} जो इसे ट्रिपल में मैप करता है {{math|(1, 0, ∞)}}. क्रॉस-अनुपात का उपयोग करके इस परिवर्तन को सरलता से वर्णित किया जा सकता है: चूंकि {{math|(''z'', ''z''<sub>2</sub>; ''z''<sub>3</sub>, ''z''<sub>4</sub>)}} के बराबर होना चाहिए {{math|(''f''(''z''), 1; 0, ∞)}}, जो बदले में बराबर होता है {{math|''f''(''z'')}}, हमने प्राप्त
मोबियस समूह की कार्यवाही रीमैन क्षेत्र के विभिन्न बिंदुओं के ट्रिपल के सेट पर केवल सकर्मक है: विभिन्न बिंदुओं के किसी भी आदेशित ट्रिपल को देखते हुए, {{math|(''z''<sub>2</sub>, ''z''<sub>3</sub>, ''z''<sub>4</sub>)}}, एक अद्वितीय मोबियस परिवर्तन है {{math|''f''(''z'')}} जो इसे ट्रिपल में मैप करता है {{math|(1, 0, ∞)}}. क्रॉस-अनुपात का उपयोग करके इस परिवर्तन को सरलता से वर्णित किया जा सकता है: चूंकि {{math|(''z'', ''z''<sub>2</sub>; ''z''<sub>3</sub>, ''z''<sub>4</sub>)}} के बराबर होना चाहिए {{math|(''f''(''z''), 1; 0, ∞)}}, जो बदले में बराबर होता है {{math|''f''(''z'')}}, हमने प्राप्त


:<math>f(z)=(z, z_2; z_3, z_4) .</math>
:<math>f(z)=(z, z_2; z_3, z_4) .</math>
क्रॉस-अनुपात के अपरिवर्तनीयता के लिए एक वैकल्पिक व्याख्या इस तथ्य पर आधारित है कि एक रेखा के प्रक्षेपी परिवर्तनों का समूह अनुवाद, समरूपता और गुणात्मक व्युत्क्रम द्वारा उत्पन्न होता है। अंतर {{math|''z''<sub>''j''</sub> − ''z''<sub>''k''</sub>}} अनुवाद के तहत अपरिवर्तनीय हैं (गणित)
क्रॉस-अनुपात के अपरिवर्तनीयता के लिए एक वैकल्पिक व्याख्या इस तथ्य पर आधारित है कि एक रेखा के प्रक्षेपी परिवर्तनों का समूह अनुवाद, समरूपता और गुणात्मक व्युत्क्रम द्वारा उत्पन्न होता है। अंतर {{math|''z''<sub>''j''</sub> − ''z''<sub>''k''</sub>}} अनुवाद के अंतर्गत  अपरिवर्तनीय हैं (गणित)


: <math>z \mapsto z + a</math>
: <math>z \mapsto z + a</math>
कहाँ {{mvar|a}} जमीनी क्षेत्र में एक स्थिरांक (गणित) है {{mvar|F}}. इसके अतिरिक्त, विभाजन अनुपात एक [[होमोथेटिक परिवर्तन]] के तहत अपरिवर्तनीय हैं
कहाँ {{mvar|a}} जमीनी क्षेत्र में एक स्थिरांक (गणित) है {{mvar|F}}. इसके अतिरिक्त, विभाजन अनुपात एक [[होमोथेटिक परिवर्तन]] के अंतर्गत  अपरिवर्तनीय हैं


:<math>z \mapsto b z</math>
:<math>z \mapsto b z</math>
एक अन्य-शून्य स्थिरांक के लिए {{mvar|b}} में {{mvar|F}}. इसलिए, क्रॉस-अनुपात [[affine परिवर्तन]]ों के तहत अपरिवर्तनीय है।
एक अन्य-शून्य स्थिरांक के लिए {{mvar|b}} में {{mvar|F}}. इसलिए, क्रॉस-अनुपात [[affine परिवर्तन]]ों के अंतर्गत  अपरिवर्तनीय है।


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


:<math>T : z \mapsto z^{-1},</math>
:<math>T : z \mapsto z^{-1},</math>
एफ़िन रेखा को अनंत बिंदु पर इंगित करके बढ़ाया जाना चाहिए {{math|∞}}, प्रक्षेपीय  रेखा बनाते हुए {{math|''P''<sup>1</sup>(''F'')}}. प्रत्येक एफ़िन मैपिंग {{math|''f'' : ''F'' → ''F''}} की मैपिंग के लिए विशिष्ट रूप से बढ़ाया जा सकता है {{math|''P''<sup>1</sup>(''F'')}} अपने आप में जो बिंदु को अनंत पर ठीक करता है। वो नक्शा {{mvar|T}} अदला-बदली {{math|0}} और {{math|∞}}. प्रक्षेपी समूह एक समूह का सेट उत्पन्न कर रहा है {{math|''T''}} और affine मैपिंग को विस्तारित किया गया {{math|''P''<sup>1</sup>(''F'').}} यदि {{math|1=''F'' = '''C'''}}, जटिल तल, इसका परिणाम मोबियस समूह में होता है। चूंकि क्रॉस-रेशियो भी अंडर अपरिवर्तनीय है {{mvar|T}}, यह किसी भी प्रक्षेपीय  मैपिंग के तहत अपरिवर्तनीय है {{math|''P''<sup>1</sup>(''F'')}} अपने आप में।
एफ़िन रेखा को अनंत बिंदु पर इंगित करके बढ़ाया जाना चाहिए {{math|∞}}, प्रक्षेपीय  रेखा बनाते हुए {{math|''P''<sup>1</sup>(''F'')}}. प्रत्येक एफ़िन मैपिंग {{math|''f'' : ''F'' → ''F''}} की मैपिंग के लिए विशिष्ट रूप से बढ़ाया जा सकता है {{math|''P''<sup>1</sup>(''F'')}} अपने आप में जो बिंदु को अनंत पर ठीक करता है। वो नक्शा {{mvar|T}} अदला-बदली {{math|0}} और {{math|∞}}. प्रक्षेपी समूह एक समूह का सेट उत्पन्न कर रहा है {{math|''T''}} और affine मैपिंग को विस्तारित किया गया {{math|''P''<sup>1</sup>(''F'').}} यदि {{math|1=''F'' = '''C'''}}, जटिल तल, इसका परिणाम मोबियस समूह में होता है। चूंकि क्रॉस-रेशियो भी अंडर अपरिवर्तनीय है {{mvar|T}}, यह किसी भी प्रक्षेपीय  मैपिंग के अंतर्गत  अपरिवर्तनीय है {{math|''P''<sup>1</sup>(''F'')}} अपने आप में।


=== समन्वय विवरण ===
=== समन्वय विवरण ===
Line 193: Line 193:


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


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


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


== यह भी देखें ==
== यह भी देखें ==

Revision as of 21:16, 15 March 2023

अंक A, B, C, D और A, B, C, D एक अनुमानित परिवर्तन से संबंधित हैं इसलिए उनके क्रॉस अनुपात, (A, B; C, D) और (A, B; C, D) बराबर हैं।

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

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

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

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

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

अतिशयोक्तिपूर्ण ज्यामिति के केली-क्लेन मॉडल में, बिंदुओं के बीच की दूरी को एक निश्चित क्रॉस-अनुपात के रूप में व्यक्त किया जाता है।

शब्दावली और इतिहास

File:Pappusharmonic.svg
D का प्रक्षेपी हार्मोनिक संयुग्म है C इसके संबंध में A और B, ताकि क्रॉस-अनुपात (A, B; C, D) बराबर है−1.

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

प्रक्षेपी ज्यामिति में क्रॉस अनुपात का आधुनिक उपयोग 1803 में लाज़ारे कार्नोट के साथ उनकी पुस्तक जियोमेट्री डे पोजीशन के साथ प्रारंम्भ हुआ।[3] चासल्स ने फ्रांसीसी शब्द गढ़ा {रैपोर्ट अनहार्मोनिक}1837 में [अनहार्मोनिक अनुपात]।[4] जर्मन जियोमीटर इसे कहते हैं डास डोपेल्वरहल्ट्निस [दोहरा अनुपात]।

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

अंग्रेजी शब्द क्रॉस-रेशियो 1878 में विलियम किंग्डन क्लिफोर्ड द्वारा प्रस्तुत किया गया था।[6]


परिभाषा

अगर A, B, C, और D उन्मुखी एफ़िन रेखा पर चार बिंदु हैं, उनका क्रॉस अनुपात है:

अंकन के साथ विस्थापन के हस्ताक्षरित अनुपात का अर्थ परिभाषित किया गया है W को X से विस्थापन के लिए Y को Z. कॉलिनियर विस्थापन के लिए यह एक आयाम रहित मात्रा है।

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

अगर अनुमानित रूप से विस्तारित वास्तविक रेखा है, चार विभिन्न संख्याओं का क्रॉस-अनुपात में द्वारा दिया गया है

जब अनंत पर बिंदु है (), यह कम हो जाता है उदाहरण।

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


गुण

चार संरेख बिंदुओं का क्रॉस अनुपात A, B, C, और D के रूप में लिखा जा सकता है

कहाँ उस अनुपात का वर्णन करता है जिसके साथ बिंदु C रेखाखंड को विभाजित करता है AB, और उस अनुपात का वर्णन करता है जिसके साथ बिंदु D उसी रेखाखंड को विभाजित करता है। क्रॉस अनुपात तब दो बिंदुओं का वर्णन करते हुए अनुपात के अनुपात के रूप में प्रकट होता है C और D रेखा खंड के संबंध में स्थित हैं AB. जब तक अंक A, B, C, और D भिन्न हैं, क्रॉस अनुपात (A, B; C, D) अन्य-शून्य वास्तविक संख्या होगी। इसका आकलन हम सरलता से कर सकते हैं
  • (A, B; C, D) < 0 यदि और केवल यदि बिंदु C या D में से एक बिंदु A और B के बीच स्थित है और दूसरा नहीं है
  • (A, B; C, D) = 1 / (A, B; D, C)
  • (A, B; C, D) = (C, D; A, B)
  • (A, B; C, D) ≠ (A, B; C, E) ↔ DE

छह क्रॉस-अनुपात

4 में चार बिंदुओं का आदेश दिया जा सकता है ! = 4 × 3 × 2 × 1 = 24 विधियाँ, लेकिन उन्हें दो अनियंत्रित जोड़े में विभाजित करने के केवल छह विधियाँ हैं। इस प्रकार, चार बिंदुओं में केवल छह विभिन्न क्रॉस-अनुपात हो सकते हैं, जो इस प्रकार संबंधित हैं:

नीचे क्रॉस-अनुपात # अनहार्मोनिक समूह और क्लेन चार-समूह देखें।

प्रक्षेपीय ज्यामिति

Use of cross-ratios in projective geometry to measure real-world dimensions of features depicted in a perspective projection. A, B, C, D and V are points on the image, their separation given in pixels; A', B', C' and D' are in the real world, their separation in metres.
  • In (1), the width of the side street, W is computed from the known widths of the adjacent shops.
  • In (2), the width of only one shop is needed because a vanishing point, V is visible.

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

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

इसके अतिरिक्त, चलो एक ही बिंदु से गुजरने वाले समतल में चार विभिन्न रेखाएँ हों . फिर कोई रेखा से नहीं गुजर रहा इन रेखाओं को चार विभिन्न बिंदुओं पर काटता है (अगर के समानांतर (ज्यामिति) है तो संबंधित प्रतिच्छेदन बिंदु अनंत पर है)। यह पता चला है कि इन बिंदुओं का क्रॉस-अनुपात (एक निश्चित क्रम में लिया गया) रेखा के चयन पर निर्भर नहीं करता है , और इसलिए यह 4-ट्यूपल ऑफ़ रेखाओं का एक अपरिवर्तनीय है इसे इस प्रकार समझा जा सकता है: यदि और दो रेखाओं से नहीं जा रही हैं फिर परिप्रेक्ष्य परिवर्तन से को केंद्र के साथ एक अनुमानित परिवर्तन है जो चौगुना लेता है बिंदुओं पर चौगुनी में बिंदुओं पर .

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

सजातीय निर्देशांक में परिभाषा

यदि सदिश द्वारा सजातीय निर्देशांक में चार संरेख बिंदुओं का प्रतिनिधित्व किया जाता है a, b, c, d ऐसा है कि c = a + b और d = ka + b, तो उनका क्रॉस-अनुपात है k.[7]


अन्य-यूक्लिडियन ज्यामिति में भूमिका

आर्थर केली और फेलिक्स क्लेन ने अन्य-यूक्लिडियन ज्यामिति के क्रॉस-अनुपात का अनुप्रयोग पाया। वास्तविक प्रक्षेपी तल में एक व्युत्क्रमणीय शंकु C को देखते हुए, प्रक्षेपी समूह में G = PGL(3, R) इसका स्टेबलाइजर GC के आंतरिक बिंदुओं पर सकर्मक रूप से कार्य करता है।. यद्यपि, बिंदुओं के जोड़े पर GC की कार्यवाही के लिए अपरिवर्तनीय है। वास्तव में, ऐसा प्रत्येक अपरिवर्तनीय उचित क्रॉस अनुपात के कार्य के रूप में अभिव्यक्त होता है

अतिशयोक्तिपूर्ण ज्यामिति

स्पष्ट रूप से, शांकव को इकाई वृत्त होने दें। किन्हीं दो बिंदुओं के लिए P और Q, यूनिट सर्कल के अंदर। यदि उन्हें जोड़ने वाली रेखा वृत्त को दो बिंदुओं पर विभाजित करती है, X और Y और अंक क्रम में हैं, X, P, Q, Y. फिर बीच की अतिशयोक्तिपूर्ण दूरी P और Q अतिशयोक्तिपूर्ण ज्यामिति के केली-क्लेन मॉडल में व्यक्त किया जा सकता है

(वक्रता -1 बनाने के लिए गुणनखंड के आधे की आवश्यकता होती है). चूंकि क्रॉस-अनुपात प्रक्षेपीय रूपांतरण के अंतर्गत अपरिवर्तनीय है, इसलिए यह इस प्रकार है कि अतिशयोक्तिपूर्ण दूरी प्रक्षेपीय रूपांतरण के अंतर्गत अपरिवर्तनीय है जो शंकु C को संरक्षित करती है .

इसके विपरीत समूह G बिंदुओं के जोड़े के सेट पर सकर्मक रूप से कार्य करता है (p, q) एक निश्चित अतिशयोक्तिपूर्ण दूरी पर यूनिट डिस्क में।

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

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

अनहार्मोनिक समूह और क्लेन चार-समूह

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

ये चर के निम्नलिखित क्रम परिवर्तन से भिन्न होते हैं (चक्र संकेतन में):

हम सममित समूह की समूह क्रिया के रूप में चार चर के क्रम परिवर्तन पर विचार कर सकते हैं S4 चार चर के कार्यों पर। चूंकि उपरोक्त चार क्रम परिवर्तन क्रॉस अनुपात को अपरिवर्तित छोड़ देते हैं, वे स्टेबलाइज़र उपसमूह बनाते हैं {{mvar|K}इस क्रिया केअंतर्गत क्रॉस-अनुपात का }, और यह भागफल समूह की एक प्रभावी समूह क्रिया को प्रेरित करता है क्रॉस-अनुपात की कक्षा पर। में चार क्रमपरिवर्तन K में क्लेन चार-समूह का अहसास करें S4, और भागफल सममित समूह के लिए आइसोमोर्फिक है S3.

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

File:Symmetries of the anharmonic group.png

के स्टेबलाइजर {0, 1, ∞} ट्राइगोनल डायहेड्रॉन, डायहेड्रल समूह के रोटेशन समूह के लिए आइसोमोर्फिक है D3. मोबियस परिवर्तन द्वारा इसकी कल्पना करना सुविधाजनक है M वास्तविक अक्ष को जटिल इकाई वृत्त (रीमैन क्षेत्र के भूमध्य रेखा) के साथ मैप करना 0, 1, ∞ समान दूरी पर।

विचारशील {0, 1, ∞} डायहेड्रॉन के शीर्ष के रूप में, के अन्य निश्चित बिंदु 2-चक्र बिंदु हैं {2, −1, 1/2}, जिसके अंतर्गत M विपरीत किनारे के मध्य बिंदु पर, रीमैन क्षेत्र पर प्रत्येक शीर्ष के विपरीत हैं। प्रत्येक 2-चक्र गोलार्धों का आदान-प्रदान करने वाले रीमैन क्षेत्र का एक आधा-मोड़ घुमाव है (आरेख में वृत्त का आंतरिक और बाहरी)।

के निश्चित बिंदु 3-चक्र हैं exp(±/3), के अंतर्गत संगत M गोले के ध्रुवों के लिए: exp(/3) मूल है और exp(−/3) अनंत पर बिंदु है। प्रत्येक 3-चक्र एक है 1/3 अपनी धुरी के चारों ओर घूमते हैं, और उनका आदान-प्रदान होता है 2-चक्र।

कार्यों के रूप में ये मोबियस परिवर्तन के उदाहरण हैं, जो कार्यों की संरचना के अंतर्गत मोबियस समूह बनाते हैं PGL(2, Z). छह परिवर्तन एक उपसमूह का निर्माण करते हैं जिसे अनहार्मोनिक समूह के रूप में जाना जाता है, फिर से आइसोमोर्फिक S3. वे मरोड़ तत्व (अण्डाकार रूपांतर) में हैं PGL(2, Z). अर्थात्, , , और व्यवस्थित हैं 2 संबंधित निश्चित बिंदु (गणित) के साथ और (अर्थात्, हार्मोनिक क्रॉस-अनुपात की कक्षा)। इस बीच, तत्व

और व्यवस्थित हैं 3 में PGL(2, Z), और प्रत्येक दोनों मानों को ठीक करता है सबसे सममित क्रॉस-अनुपात (के समाधान , एकता की आदिम जड़ एकता की छठी जड़ें)। आदेश 2 तत्व इन दो तत्वों का आदान-प्रदान करते हैं (जैसा कि वे अपने निश्चित बिंदुओं के अतिरिक्त कोई भी जोड़ी करते हैं), और इस प्रकार अनहार्मोनिक समूह की क्रिया सममित समूहों का भागफल मानचित्र देता है .

इसके अतिरिक्त, व्यक्ति के निश्चित बिंदु 2-चक्र हैं, क्रमशः, और और यह सेट भी इसके द्वारा संरक्षित और अनुमत है 3-चक्र। ज्यामितीय रूप से, इसे त्रिकोणीय डायहेड्रॉन के रोटेशन समूह के रूप में देखा जा सकता है, जो त्रिभुज के डायहेड्रल समूह के लिए आइसोमोर्फिक है D3, जैसा कि दाईं ओर दिखाया गया है। बीजगणितीय रूप से, यह की क्रिया के अनुरूप है S3 पर 2-चक्र (इसका सिलो उपसमूह | सिलो 2-उपसमूह) संयुग्मन द्वारा और आंतरिक ऑटोमोर्फिज्म के समूह के साथ समरूपता का एहसास करता है, अनहार्मोनिक समूह किसके द्वारा उत्पन्न होता है और इसकी कार्यवाही जारी है के साथ एक समरूपता देता है S3. इसका उल्लेख छह मोबियस परिवर्तनों के रूप में भी किया जा सकता है,[8] जो क्रम 6#प्रतिनिधित्व सिद्धांत|का प्रतिनिधित्व का एक प्रक्षेपी डायहेड्रल समूह उत्पन्न करता है S3 किसी भी क्षेत्र पर (चूंकि इसे पूर्णांक प्रविष्टियों के साथ परिभाषित किया गया है), और हमेशा वफादार/इंजेक्शन होता है (चूंकि कोई भी दो शब्द केवल भिन्न नहीं होते हैं) 1/−1). दो तत्वों वाले क्षेत्र के ऊपर, प्रक्षेपी रेखा में केवल तीन बिंदु होते हैं, इसलिए यह प्रतिनिधित्व एक समरूपता है, और प्रक्षेपी रैखिक समूह#असाधारण समरूपतावाद है . विशेषता में 3, यह बिंदु को स्थिर करता है , जो हार्मोनिक क्रॉस-अनुपात की कक्षा से मेल खाता है, केवल एक बिंदु है . तीन तत्वों वाले क्षेत्र के ऊपर, प्रक्षेपी रेखा में केवल 4 अंक होते हैं और , और इस प्रकार प्रतिनिधित्व बिल्कुल हार्मोनिक क्रॉस-अनुपात का स्टेबलाइज़र है, जो एक एम्बेडिंग प्रदान करता है बिंदु के स्टेबलाइजर के बराबर है .

असाधारण कक्षाएँ

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

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

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

जटिल मामले में, सबसे सममित क्रॉस-अनुपात तब होता है जब . तब ये क्रॉस-अनुपात के केवल दो मान हैं, और इन पर क्रमचय के संकेत के अनुसार कार्य किया जाता है।

परिवर्तनकारी दृष्टिकोण

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

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

क्रॉस-रेशियो के प्रक्षेपीय इनवेरियन का अर्थ है

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

मोबियस समूह की कार्यवाही रीमैन क्षेत्र के विभिन्न बिंदुओं के ट्रिपल के सेट पर केवल सकर्मक है: विभिन्न बिंदुओं के किसी भी आदेशित ट्रिपल को देखते हुए, (z2, z3, z4), एक अद्वितीय मोबियस परिवर्तन है f(z) जो इसे ट्रिपल में मैप करता है (1, 0, ∞). क्रॉस-अनुपात का उपयोग करके इस परिवर्तन को सरलता से वर्णित किया जा सकता है: चूंकि (z, z2; z3, z4) के बराबर होना चाहिए (f(z), 1; 0, ∞), जो बदले में बराबर होता है f(z), हमने प्राप्त

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

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

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

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

एफ़िन रेखा को अनंत बिंदु पर इंगित करके बढ़ाया जाना चाहिए , प्रक्षेपीय रेखा बनाते हुए P1(F). प्रत्येक एफ़िन मैपिंग f : FF की मैपिंग के लिए विशिष्ट रूप से बढ़ाया जा सकता है P1(F) अपने आप में जो बिंदु को अनंत पर ठीक करता है। वो नक्शा T अदला-बदली 0 और . प्रक्षेपी समूह एक समूह का सेट उत्पन्न कर रहा है T और affine मैपिंग को विस्तारित किया गया P1(F). यदि F = C, जटिल तल, इसका परिणाम मोबियस समूह में होता है। चूंकि क्रॉस-रेशियो भी अंडर अपरिवर्तनीय है T, यह किसी भी प्रक्षेपीय मैपिंग के अंतर्गत अपरिवर्तनीय है P1(F) अपने आप में।

समन्वय विवरण

यदि हम जटिल बिंदुओं को सदिशों के रूप में लिखते हैं और परिभाषित करें , और जाने का डॉट उत्पाद हो साथ , तो क्रॉस अनुपात का वास्तविक भाग निम्न द्वारा दिया जाता है:

यह उलटा जैसे 2-आयामी विशेष अनुरूप परिवर्तन का एक अपरिवर्तनीय है .

काल्पनिक भाग को द्वि-आयामी क्रॉस उत्पाद का उपयोग करना चाहिए


रिंग होमोग्राफी

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

विभेदक-ज्यामितीय दृष्टिकोण

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

उच्च-आयामी सामान्यीकरण

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

जबकि प्रक्षेपी रेखा का प्रक्षेपी रेखीय समूह 3-सकर्मक है (किसी भी तीन विभिन्न बिंदुओं को किसी अन्य तीन बिंदुओं पर मैप किया जा सकता है), और वास्तव में केवल 3-सकर्मक (किसी भी ट्रिपल को दूसरे ट्रिपल में ले जाने वाला एक अनूठा प्रक्षेपीय मैप है) क्रॉस अनुपात इस प्रकार चार बिंदुओं के एक सेट का अद्वितीय प्रक्षेपीय अपरिवर्तनीय है, उच्च आयाम में बुनियादी ज्यामितीय अपरिवर्तनीय हैं। का प्रक्षेपी रैखिक समूह n-अंतरिक्ष है (n + 1)2 − 1 आयाम (क्योंकि यह है प्रक्षेपीय ाइजेशन एक आयाम को विस्थापित कर रहा है), लेकिन अन्य आयामों में प्रक्षेपीय रैखिक समूह केवल 2-संक्रमणीय है - क्योंकि तीन समरेख बिंदुओं को तीन समरेख बिंदुओं पर मैप किया जाना चाहिए (जो प्रक्षेपी रेखा में प्रतिबंध नहीं है) - और इस प्रकार सामान्यीकृत नहीं है का अद्वितीय अपरिवर्तनीय प्रदान करने वाला क्रॉस अनुपात n2 अंक।

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

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

यह भी देखें

टिप्पणियाँ

  1. A theorem on the anharmonic ratio of lines appeared in the work of Pappus, but Michel Chasles, who devoted considerable efforts to reconstructing lost works of Euclid, asserted that it had earlier appeared in his book Porisms.
  2. Alexander Jones (1986) Book 7 of the Collection, part 1: introduction, text, translation ISBN 0-387-96257-3, part 2: commentary, index, figures ISBN 3-540-96257-3, Springer-Verlag
  3. Carnot, Lazare (1803). Géométrie de Position. Crapelet.
  4. Chasles, Michel (1837). Aperçu historique sur l'origine et le développement des méthodes en géométrie. Hayez. p. 35. (Link is to the reprinted second edition, Gauthier-Villars: 1875.)
  5. Howard Eves (1972) A Survey of Geometry, Revised Edition, page 73, Allyn and Bacon
  6. W.K. Clifford (1878) Elements of Dynamic, books I,II,III, page 42, London: MacMillan & Co; on-line presentation by Cornell University Historical Mathematical Monographs.
  7. Irving Kaplansky (1969). Linear Algebra and Geometry: A Second Course. ISBN 0-486-43233-5.
  8. Chandrasekharan, K. (1985). अण्डाकार कार्य. Grundlehren der mathematischen Wissenschaften. Vol. 281. Springer-Verlag. p. 120. ISBN 3-540-15295-4. Zbl 0575.33001.


संदर्भ


बाहरी संबंध