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

From Vigyanwiki
No edit summary
No edit summary
Line 95: Line 95:
(वक्रता -1 बनाने के लिए गुणनखंड के आधे की आवश्यकता होती है). चूंकि क्रॉस-अनुपात प्रक्षेपीय रूपांतरण के अंतर्गत अपरिवर्तनीय है, इसलिए यह इस प्रकार है कि अतिशयोक्तिपूर्ण दूरी प्रक्षेपीय रूपांतरण के अंतर्गत अपरिवर्तनीय है जो शंकु {{mvar|C}} को संरक्षित करती है .
(वक्रता -1 बनाने के लिए गुणनखंड के आधे की आवश्यकता होती है). चूंकि क्रॉस-अनुपात प्रक्षेपीय रूपांतरण के अंतर्गत अपरिवर्तनीय है, इसलिए यह इस प्रकार है कि अतिशयोक्तिपूर्ण दूरी प्रक्षेपीय रूपांतरण के अंतर्गत अपरिवर्तनीय है जो शंकु {{mvar|C}} को संरक्षित करती है .


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


बाद में, आंशिक रूप से हेनरी पोंकारे के प्रभाव के माध्यम से, वृत्त पर चार सम्मिश्र संख्याओं के क्रॉस अनुपात का उपयोग अतिशयोक्तिपूर्ण मेट्रिक्स के लिए किया गया था। एक वृत्त पर होने का अर्थ है कि मोबियस परिवर्तन के अंतर्गत चार बिंदु चार वास्तविक बिंदुओं की छवि हैं, और इसलिए क्रॉस अनुपात एक वास्तविक संख्या है। पोंकारे हाफ-प्लेन मॉडल और पोंकारे डिस्क मॉडल जटिल प्रक्षेपीय रेखा में अतिशयोक्तिपूर्ण ज्यामिति के दो मॉडल हैं।
बाद में, आंशिक रूप से हेनरी पोंकारे के प्रभाव के माध्यम से, वृत्त पर चार सम्मिश्र संख्याओं के क्रॉस अनुपात का उपयोग अतिशयोक्तिपूर्ण मेट्रिक्स के लिए किया गया था। एक वृत्त पर होने का अर्थ है कि मोबियस परिवर्तन के अंतर्गत चार बिंदु चार वास्तविक बिंदुओं की छवि हैं, और इसलिए क्रॉस अनुपात एक वास्तविक संख्या है। पोंकारे हाफ-प्लेन मॉडल और पोंकारे डिस्क मॉडल जटिल प्रक्षेपीय रेखा में अतिशयोक्तिपूर्ण ज्यामिति के दो मॉडल हैं।
Line 115: Line 115:
(\,A\,D\,) (\,B\,C\,).
(\,A\,D\,) (\,B\,C\,).
</math>
</math>
हम [[सममित समूह]] की [[समूह क्रिया]] के रूप में चार चर के क्रम परिवर्तन पर विचार कर सकते हैं {{math|S<sub>4</sub>}}<nowiki> चार चर के कार्यों पर। चूंकि उपरोक्त चार क्रम परिवर्तन क्रॉस अनुपात को अपरिवर्तित छोड़ देते हैं, वे स्टेबलाइज़र उपसमूह बनाते हैं {{mvar|K}इस क्रिया केअंतर्गत क्रॉस-अनुपात का }, और यह </nowiki>[[भागफल समूह]] की एक [[प्रभावी समूह क्रिया]] को प्रेरित करता है <math>
हम चार चर के कार्यों पर [[सममित समूह]] S4 की [[समूह क्रिया]] के रूप में चार चर के क्रम परिवर्तन पर विचार कर सकते हैं। चूंकि उपरोक्त चार क्रम परिवर्तन क्रॉस अनुपात को अपरिवर्तित छोड़ देते हैं, वे क्रिया के अंतर्गत क्रॉस-अनुपात का स्टेबलाइजर K का निर्माण करते हैं और यह [[भागफल समूह]] की एक [[प्रभावी समूह क्रिया]] को प्रेरित करता है <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>}} के लिए समरूपी है .


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


:<math>\begin{align}
:<math>\begin{align}
Line 127: Line 127:
\end{align}</math>
\end{align}</math>


[[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> और यह समूह भी 3-चक्रों द्वारा संरक्षित और अनुमत है। ज्यामितीय रूप से, इसे त्रिकोणीय डायहेड्रॉन के रोटेशन समूह के रूप में देखा जा सकता है, जो त्रिभुज के डायहेड्रल समूह {{math|''D''<sub>3</sub>}} के लिए समरूपी है , जैसा कि दाईं ओर दिखाया गया है। बीजगणितीय रूप से, यह 2-चक्रों पर {{math|S<sub>3</sub>}} की क्रिया के अनुरूप है (इसके साइलो 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}} सभी अलग हैं। ये मान सीमित मान हैं क्योंकि निर्देशांक की एक जोड़ी एक-दूसरे के करीब आती है:


:<math>\begin{align}
:<math>\begin{align}
Line 146: Line 147:
(Z,B;C,Z) &= (A,Z;Z,D) = \infty.
(Z,B;C,Z) &= (A,Z;Z,D) = \infty.
\end{align}</math>
\end{align}</math>
निश्चित बिंदुओं का दूसरा सेट है <math display=inline>\big\{{-1}, \tfrac12, 2\big\}.</math> इस स्थिति को शास्त्रीय रूप से कहा जाता है{{visible anchor|harmonic cross-ratio}}, और प्रक्षेपी हार्मोनिक संयुग्मों में उत्पन्न होता है। वास्तविक मामले में, कोई अन्य असाधारण कक्षाएँ नहीं हैं।
निश्चित बिंदुओं का दूसरा समूह है <math display=inline>\big\{{-1}, \tfrac12, 2\big\}.</math> इस स्थिति को शास्त्रीय रूप से कहा जाता है{{visible anchor|harmonic cross-ratio}}, और प्रक्षेपी हार्मोनिक संयुग्मों में उत्पन्न होता है। वास्तविक मामले में, कोई अन्य असाधारण कक्षाएँ नहीं हैं।


जटिल मामले में, सबसे सममित क्रॉस-अनुपात तब होता है जब <math>\lambda = e^{\pm i\pi/3}</math>. तब ये क्रॉस-अनुपात के केवल दो मान हैं, और इन पर क्रमचय के संकेत के अनुसार कार्य किया जाता है।
जटिल मामले में, सबसे सममित क्रॉस-अनुपात तब होता है जब <math>\lambda = e^{\pm i\pi/3}</math>. तब ये क्रॉस-अनुपात के केवल दो मान हैं, और इन पर क्रमचय के संकेत के अनुसार कार्य किया जाता है।
Line 163: Line 164:
क्रॉस-अनुपात [[वास्तविक संख्या]] है यदि और केवल अगर चार बिंदु या तो रेखा (ज्यामिति) #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>
Line 177: Line 178:


:<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 202: Line 203:
क्रॉस-अनुपात उच्च आयामों के लिए सरल विधियाँ से सामान्यीकृत नहीं होता है, बिंदुओं के विन्यास के अन्य ज्यामितीय गुणों के कारण, विशेष रूप से संपार्श्विकता - [[विन्यास स्थान (गणित)]] अधिक जटिल और विशिष्ट होते हैं {{mvar|k}}-अंकों की संख्या [[सामान्य स्थिति]] में नहीं है।
क्रॉस-अनुपात उच्च आयामों के लिए सरल विधियाँ से सामान्यीकृत नहीं होता है, बिंदुओं के विन्यास के अन्य ज्यामितीय गुणों के कारण, विशेष रूप से संपार्श्विकता - [[विन्यास स्थान (गणित)]] अधिक जटिल और विशिष्ट होते हैं {{mvar|k}}-अंकों की संख्या [[सामान्य स्थिति]] में नहीं है।


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


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

Revision as of 00:43, 16 March 2023

File:Projection geometry.svg
अंक 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 विधियाँ, लेकिन उन्हें दो अनियंत्रित जोड़े में विभाजित करने के केवल छह विधियाँ हैं। इस प्रकार, चार बिंदुओं में केवल छह विभिन्न क्रॉस-अनुपात हो सकते हैं, जो इस प्रकार संबंधित हैं:

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

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

File:Cross ratio metrology example.svg
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 की समूह क्रिया के रूप में चार चर के क्रम परिवर्तन पर विचार कर सकते हैं। चूंकि उपरोक्त चार क्रम परिवर्तन क्रॉस अनुपात को अपरिवर्तित छोड़ देते हैं, वे क्रिया के अंतर्गत क्रॉस-अनुपात का स्टेबलाइजर 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 के लिए समरूपी है , जैसा कि दाईं ओर दिखाया गया है। बीजगणितीय रूप से, यह 2-चक्रों पर S3 की क्रिया के अनुरूप है (इसके साइलो 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.


संदर्भ


बाहरी संबंध