केली-क्लेन मीट्रिक: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
[[File:Cross_ratio02.svg|thumb|300px|right|निरपेक्ष के अंदर दो बिंदुओं के बीच की मीट्रिक दूरी इन दो बिंदुओं और निरपेक्ष के साथ उनकी रेखा के दो चौराहों द्वारा गठित क्रॉस अनुपात का लघुगणक है]]गणित में, केली-क्लेन मीट्रिक प्रक्षेप्य स्थान में निश्चित चतुर्भुज के [[पूरक (सेट सिद्धांत)]] पर एक [[मीट्रिक (गणित)]] है जिसे क्रॉस-अनुपात का उपयोग करके परिभाषित किया गया है। इसके निर्माण की शुरुआत [[आर्थर केली]] के निबंध ऑन द थ्योरी ऑफ डिस्टेंस से हुई<ref name=cayl>Cayley (1859), p 82, §§209 to 229</ref> उन्होंने क्वाड्रिक को निरपेक्ष कहा था। निर्माण 1871 और 1873 में [[फेलिक्स क्लेन]] द्वारा और बाद की पुस्तकों और पत्रों में विस्तार से विकसित किया गया था।<ref>Klein (1871, 1873), Klein (1893ab), Fricke/Klein (1897), Klein (1910), Klein/Ackerman (1926/1979), Klein/Rosemann (1928)</ref> केली-क्लेन मेट्रिक्स ज्यामिति में एकीकृत विचार है क्योंकि विधि का उपयोग [[अतिशयोक्तिपूर्ण ज्यामिति]], [[अण्डाकार ज्यामिति]] और [[यूक्लिडियन ज्यामिति]] में आव्यूह प्रदान करने के लिए किया जाता है। [[गैर-यूक्लिडियन ज्यामिति]] का क्षेत्र अधिक सीमा तक केली-क्लेन मेट्रिक्स द्वारा प्रदान किए गए आधार पर टिका हुआ है।
[[File:Cross_ratio02.svg|thumb|300px|right|निरपेक्ष के अंदर दो बिंदुओं के बीच की मीट्रिक दूरी इन दो बिंदुओं और निरपेक्ष के साथ उनकी रेखा के दो चौराहों द्वारा गठित क्रॉस अनुपात का लघुगणक है]]गणित में, केली-क्लेन मीट्रिक प्रक्षेप्य स्थान में निश्चित चतुर्भुज के [[पूरक (सेट सिद्धांत)]] पर एक [[मीट्रिक (गणित)]] है जिसे क्रॉस-अनुपात का उपयोग करके परिभाषित किया गया है। इसके निर्माण की प्रारंभ [[आर्थर केली]] के निबंध ऑन द थ्योरी ऑफ डिस्टेंस से हुई<ref name=cayl>Cayley (1859), p 82, §§209 to 229</ref> उन्होंने क्वाड्रिक को निरपेक्ष कहा था। निर्माण 1871 और 1873 में [[फेलिक्स क्लेन]] द्वारा और बाद की पुस्तकों और पत्रों में विस्तार से विकसित किया गया था।<ref>Klein (1871, 1873), Klein (1893ab), Fricke/Klein (1897), Klein (1910), Klein/Ackerman (1926/1979), Klein/Rosemann (1928)</ref> केली-क्लेन मेट्रिक्स ज्यामिति में एकीकृत विचार है क्योंकि विधि का उपयोग [[अतिशयोक्तिपूर्ण ज्यामिति]], [[अण्डाकार ज्यामिति]] और [[यूक्लिडियन ज्यामिति]] में आव्यूह प्रदान करने के लिए किया जाता है। [[गैर-यूक्लिडियन ज्यामिति]] का क्षेत्र अधिक सीमा तक केली-क्लेन मेट्रिक्स द्वारा प्रदान किए गए आधार पर टिका हुआ है।


== नींव ==
== नींव ==
Line 5: Line 5:
[[कार्ल वॉन स्टॉड्ट]] (1847) द्वारा थ्रो का बीजगणित ज्यामिति के लिए एक दृष्टिकोण है जो मीट्रिक (गणित) से स्वतंत्र है। यह विचार [[प्रक्षेपी हार्मोनिक संयुग्म|प्रक्षेपी हार्मोनिक संयुग्मों]] और क्रॉस-अनुपातों के संबंध को रेखा पर माप के लिए मौलिक के रूप में उपयोग करना था।<ref>Klein & Rosemann (1928), p. 163</ref> [[एडमंड लागुएरे]] (1853) द्वारा एक अन्य महत्वपूर्ण अंतर्दृष्टि लैगुएरे सूत्र थी, जिसने दिखाया कि दो रेखाओं के बीच यूक्लिडियन कोण को एक क्रॉस-अनुपात के लघुगणक के रूप में व्यक्त किया जा सकता है।<ref>Klein & Rosemann (1928), p. 138</ref> आखिरकार, केली (1859) ने प्रक्षेपी मीट्रिक के संदर्भ में दूरी को व्यक्त करने के लिए संबंध तैयार किए, और उन्हें ज्यामिति के निरपेक्ष के रूप में सेवारत सामान्य चतुष्कोणों या शंकुओं से संबंधित किया था।<ref>Klein & Rosemann (1928), p. 303</ref><ref>Pierpont (1930), p. 67ff</ref> क्लेन (1871, 1873) ने वॉन स्टॉड्ट के काम से मीट्रिक अवधारणाओं के अंतिम अवशेषों को हटा दिया और केली के नए मीट्रिक को लघुगणक और चार बिंदुओं की ज्यामितीय व्यवस्था द्वारा उत्पन्न संख्या के रूप में क्रॉस-अनुपात को आधार बनाने के लिए इसे केली के सिद्धांत के साथ जोड़ दिया।<ref>Klein & Rosemann (1928), pp. 163, 304</ref> दूरी की परिपत्र परिभाषा से बचने के लिए यह प्रक्रिया आवश्यक है यदि क्रॉस-अनुपात पहले से परिभाषित दूरियों का दोहरा अनुपात है।<ref>Russell (1898), page 32</ref> विशेष रूप से, उन्होंने दिखाया कि गैर-यूक्लिडियन ज्यामिति केली-क्लेन मीट्रिक पर आधारित हो सकती हैं।<ref name=cam>Campo & Papadopoulos (2014)</ref>
[[कार्ल वॉन स्टॉड्ट]] (1847) द्वारा थ्रो का बीजगणित ज्यामिति के लिए एक दृष्टिकोण है जो मीट्रिक (गणित) से स्वतंत्र है। यह विचार [[प्रक्षेपी हार्मोनिक संयुग्म|प्रक्षेपी हार्मोनिक संयुग्मों]] और क्रॉस-अनुपातों के संबंध को रेखा पर माप के लिए मौलिक के रूप में उपयोग करना था।<ref>Klein & Rosemann (1928), p. 163</ref> [[एडमंड लागुएरे]] (1853) द्वारा एक अन्य महत्वपूर्ण अंतर्दृष्टि लैगुएरे सूत्र थी, जिसने दिखाया कि दो रेखाओं के बीच यूक्लिडियन कोण को एक क्रॉस-अनुपात के लघुगणक के रूप में व्यक्त किया जा सकता है।<ref>Klein & Rosemann (1928), p. 138</ref> आखिरकार, केली (1859) ने प्रक्षेपी मीट्रिक के संदर्भ में दूरी को व्यक्त करने के लिए संबंध तैयार किए, और उन्हें ज्यामिति के निरपेक्ष के रूप में सेवारत सामान्य चतुष्कोणों या शंकुओं से संबंधित किया था।<ref>Klein & Rosemann (1928), p. 303</ref><ref>Pierpont (1930), p. 67ff</ref> क्लेन (1871, 1873) ने वॉन स्टॉड्ट के काम से मीट्रिक अवधारणाओं के अंतिम अवशेषों को हटा दिया और केली के नए मीट्रिक को लघुगणक और चार बिंदुओं की ज्यामितीय व्यवस्था द्वारा उत्पन्न संख्या के रूप में क्रॉस-अनुपात को आधार बनाने के लिए इसे केली के सिद्धांत के साथ जोड़ दिया।<ref>Klein & Rosemann (1928), pp. 163, 304</ref> दूरी की परिपत्र परिभाषा से बचने के लिए यह प्रक्रिया आवश्यक है यदि क्रॉस-अनुपात पहले से परिभाषित दूरियों का दोहरा अनुपात है।<ref>Russell (1898), page 32</ref> विशेष रूप से, उन्होंने दिखाया कि गैर-यूक्लिडियन ज्यामिति केली-क्लेन मीट्रिक पर आधारित हो सकती हैं।<ref name=cam>Campo & Papadopoulos (2014)</ref>


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


केली-क्लेन ज्यामिति की सीमा को 2004 में होर्स्ट और रॉल्फ स्ट्रुवे द्वारा संक्षेपित किया गया था:<ref>H & R Struve (2004) page 157</ref>
केली-क्लेन ज्यामिति की सीमा को 2004 में होर्स्ट और रॉल्फ स्ट्रुवे द्वारा संक्षेपित किया गया था:<ref>H & R Struve (2004) page 157</ref>
: वास्तविक प्रोजेक्टिव लाइन में तीन निरपेक्ष हैं, वास्तविक प्रोजेक्टिव प्लेन में सात और वास्तविक प्रोजेक्टिव स्पेस में 18 हैं। अतिशयोक्तिपूर्ण, अण्डाकार, गैलीलियन और मिन्कोस्कीयन के रूप में सभी शास्त्रीय गैर-यूक्लिडियन प्रोजेक्टिव रिक्त स्थान और उनके दोहरे को इस तरह परिभाषित किया जा सकता है।
: वास्तविक प्रोजेक्टिव लाइन में तीन निरपेक्ष हैं, वास्तविक प्रोजेक्टिव प्लेन में सात और वास्तविक प्रोजेक्टिव स्पेस में 18 हैं। अतिशयोक्तिपूर्ण, अण्डाकार, गैलीलियन और मिन्कोस्कीयन के रूप में सभी मौलिक गैर-यूक्लिडियन प्रोजेक्टिव रिक्त स्थान और उनके दोहरे को इस तरह परिभाषित किया जा सकता है।


केली-क्लेन [[ वोरोनोई आरेख ]] रेखीय [[ hyperplane | अधिसमतल]] द्विभाजक के साथ एफ़िन चित्र हैं।<ref>[https://www.youtube.com/watch?v=YHJLq3-RL58 Nielsen (2016)]</ref>
केली-क्लेन [[ वोरोनोई आरेख ]] रेखीय [[ hyperplane | अधिसमतल]] द्विभाजक के साथ एफ़िन चित्र हैं।<ref>[https://www.youtube.com/watch?v=YHJLq3-RL58 Nielsen (2016)]</ref>
Line 14: Line 14:


== क्रॉस अनुपात और दूरी ==
== क्रॉस अनुपात और दूरी ==
केली-क्लेन मीट्रिक को पहली बार वास्तविक प्रक्षेपी रेखा P(R) और [[प्रक्षेपी निर्देशांक]] पर चित्रित किया गया है। आमतौर पर प्रक्षेपी ज्यामिति मीट्रिक ज्यामिति से जुड़ी नहीं होती है, लेकिन होमोग्राफी और प्राकृतिक लघुगणक के साथ उपकरण संबंध बनाता है। P(R) पर दो बिंदुओं p और q से प्रारंभ करें। कैनोनिकल एम्बेडिंग में वे [p:1] और [q:1] हैं। होमोग्राफिक प्रतिचित्र
केली-क्लेन मीट्रिक को पहली बार वास्तविक प्रक्षेपी रेखा P(R) और [[प्रक्षेपी निर्देशांक]] पर चित्रित किया गया है। सामान्यतः प्रक्षेपी ज्यामिति मीट्रिक ज्यामिति से जुड़ी नहीं होती है, किन्तु होमोग्राफी और प्राकृतिक लघुगणक के साथ उपकरण संबंध बनाता है। P(R) पर दो बिंदुओं p और q से प्रारंभ करें। कैनोनिकल एम्बेडिंग में वे [p:1] और [q:1] हैं। होमोग्राफिक प्रतिचित्र
:<math>[z : 1] \begin{pmatrix}-1 & 1 \\ p & -q \end{pmatrix} = [p - z : z - q]</math>
:<math>[z : 1] \begin{pmatrix}-1 & 1 \\ p & -q \end{pmatrix} = [p - z : z - q]</math>
p को शून्य और q को अनंत तक ले जाता है। इसके अलावा, मध्यबिंदु (p+q)/2 [1:1] तक जाता है। प्राकृतिक लघुगणक अंतराल [p,q] की छवि को वास्तविक रेखा पर ले जाता है, जिसमें मध्यबिंदु की छवि का लॉग 0 होता है।
p को शून्य और q को अनंत तक ले जाता है। इसके अतिरिक्त, मध्यबिंदु (p+q)/2 [1:1] तक जाता है। प्राकृतिक लघुगणक अंतराल [p,q] की छवि को वास्तविक रेखा पर ले जाता है, जिसमें मध्यबिंदु की छवि का लॉग 0 होता है।


अंतराल में दो बिंदुओं के बीच की दूरी के लिए, केली-क्लेन मीट्रिक बिंदुओं के अनुपात के लघुगणक का उपयोग करता है। जब अंश और हर समान रूप से पुन: समानुपातित होते हैं तो अनुपात संरक्षित रहता है, इसलिए ऐसे अनुपातों का लघुगणक संरक्षित रहता है। अनुपातों का यह लचीलापन दूरी के लिए शून्य बिंदु की गति को सक्षम बनाता है: इसे उपरोक्त होमोग्राफी को लागू करने के लिए a पर स्थानांतरित करने के लिए, डब्ल्यू प्राप्त करना कहते हैं। फिर इस होमोग्राफी का निर्माण करें:
अंतराल में दो बिंदुओं के बीच की दूरी के लिए, केली-क्लेन मीट्रिक बिंदुओं के अनुपात के लघुगणक का उपयोग करता है। जब अंश और हर समान रूप से पुन: समानुपातित होते हैं तो अनुपात संरक्षित रहता है, इसलिए ऐसे अनुपातों का लघुगणक संरक्षित रहता है। अनुपातों का यह लचीलापन दूरी के लिए शून्य बिंदु की गति को सक्षम बनाता है: इसे उपरोक्त होमोग्राफी को प्रयुक्त करने के लिए a पर स्थानांतरित करने के लिए, डब्ल्यू प्राप्त करना कहते हैं। फिर इस होमोग्राफी का निर्माण करें:
:<math>[ z : 1] \begin{pmatrix} 1 & 0 \\ 0 & w \end{pmatrix}</math> जो w को [1: 1] तक ले जाता है।
:<math>[ z : 1] \begin{pmatrix} 1 & 0 \\ 0 & w \end{pmatrix}</math> जो w को [1: 1] तक ले जाता है।
पहली और दूसरी होमोग्राफी की रचना 1 से 1 तक होती है, इस प्रकार अंतराल में मनमाने ढंग से सामान्यीकरण होता है। रचित होमोग्राफी को पी, क्यू और ए का क्रॉस अनुपात होमोग्राफी कहा जाता है। चार मूल्यों के समारोह के रूप में अक्सर क्रॉस अनुपात पेश किया जाता है। यहां तीन होमोग्राफी को परिभाषित करते हैं और चौथा होमोग्राफी के फंक्शन का तर्क है। इस चौथे बिंदु की 0 से दूरी मूल्यांकित होमोग्राफी का लघुगणक है।
पहली और दूसरी होमोग्राफी की रचना 1 से 1 तक होती है, इस प्रकार अंतराल में इच्छानुसारसे सामान्यीकरण होता है। रचित होमोग्राफी को पी, क्यू और ए का क्रॉस अनुपात होमोग्राफी कहा जाता है। चार मूल्यों के समारोह के रूप में अधिकांशतः क्रॉस अनुपात प्रस्तुत किया जाता है। यहां तीन होमोग्राफी को परिभाषित करते हैं और चौथा होमोग्राफी के फंक्शन का तर्क है। इस चौथे बिंदु की 0 से दूरी मूल्यांकित होमोग्राफी का लघुगणक है।


P(R) युक्त एक प्रक्षेपी स्थान में मान लीजिए कि एक शंकु K दिया गया है, जिसमें p और q पर K है। बड़े स्थान पर होमोग्राफी में K [[अपरिवर्तनीय सेट]] के रूप में हो सकता है क्योंकि यह अंतरिक्ष के बिंदुओं को क्रमबद्ध करता है। इस तरह की होमोग्राफी को P (R) पर प्रेरित करती है, और चूंकि P और q K पर रहते हैं, इसलिए क्रॉस अनुपात अपरिवर्तनीय रहता है। उच्च समरूपता [[गति (ज्यामिति)]] संरक्षण दूरी, एक [[आइसोमेट्री]] के साथ K से घिरे क्षेत्र की गति प्रदान करती है।।
P(R) युक्त एक प्रक्षेपी स्थान में मान लीजिए कि एक शंकु K दिया गया है, जिसमें p और q पर K है। बड़े स्थान पर होमोग्राफी में K [[अपरिवर्तनीय सेट]] के रूप में हो सकता है क्योंकि यह अंतरिक्ष के बिंदुओं को क्रमबद्ध करता है। इस तरह की होमोग्राफी को P (R) पर प्रेरित करती है, और चूंकि P और q K पर रहते हैं, इसलिए क्रॉस अनुपात अपरिवर्तनीय रहता है। उच्च समरूपता [[गति (ज्यामिति)]] संरक्षण दूरी, एक [[आइसोमेट्री]] के साथ K से घिरे क्षेत्र की गति प्रदान करती है।।
Line 29: Line 29:
दूसरी ओर, साधारण जटिल तल में इकाई वृत्त
दूसरी ओर, साधारण जटिल तल में इकाई वृत्त
:<math>\{ z : |z|^2 = z z^* = 1 \}</math> [[जटिल संख्या]] अंकगणित का उपयोग करता है
:<math>\{ z : |z|^2 = z z^* = 1 \}</math> [[जटिल संख्या]] अंकगणित का उपयोग करता है
और जटिल प्रोजेक्टिव लाइन P(C) में पाया जाता है, जो [[वास्तविक प्रक्षेपी विमान|वास्तविक प्रक्षेपी समतल]] P<sup>2</sup>(R) से कुछ अलग है। पिछले अनुभाग में प्रस्तुत P(R) के लिए दूरी की धारणा उपलब्ध है क्योंकि P(R) P<sup>2</sup>(R) और P(C) दोनों में शामिल है। कहें कि a और b P<sup>2</sup>(R) में वृत्त के आंतरिक बिंदु हैं। फिर वे एक रेखा पर स्थित होते हैं जो वृत्त को p और q पर प्रतिच्छेद करती है। a से b की दूरी होमोग्राफी के मूल्य का लघुगणक है, जो P, q और a द्वारा उत्पन्न होता है, जब b पर लागू होता है। इस उदाहरण में डिस्क में [[ geodesic |जियोडेसिक्स]] लाइन सेगमेंट हैं।
और जटिल प्रोजेक्टिव लाइन P(C) में पाया जाता है, जो [[वास्तविक प्रक्षेपी विमान|वास्तविक प्रक्षेपी समतल]] P<sup>2</sup>(R) से कुछ अलग है। पिछले अनुभाग में प्रस्तुत P(R) के लिए दूरी की धारणा उपलब्ध है क्योंकि P(R) P<sup>2</sup>(R) और P(C) दोनों में सम्मिलित  है। कहें कि a और b P<sup>2</sup>(R) में वृत्त के आंतरिक बिंदु हैं। फिर वे एक रेखा पर स्थित होते हैं जो वृत्त को p और q पर प्रतिच्छेद करती है। a से b की दूरी होमोग्राफी के मूल्य का लघुगणक है, जो P, q और a द्वारा उत्पन्न होता है, जब b पर प्रयुक्त होता है। इस उदाहरण में डिस्क में [[ geodesic |जियोडेसिक्स]] लाइन सेगमेंट हैं।


दूसरी ओर, जियोडेसिक्स जटिल तल की डिस्क में सामान्यीकृत वृत्तों के चाप होते हैं। कर्व्स के इस वर्ग को मोबियस ट्रांसफॉर्मेशन द्वारा अनुमत किया जाता है, इस डिस्क की गतियों का स्रोत जो यूनिट वृत्त को अपरिवर्तनीय सेट के रूप में छोड़ देता है। इस डिस्क में a और b दिया हुआ है, अद्वितीय सामान्यीकृत वृत्त है जो इकाई वृत्त को समकोण पर मिलता है, मान लीजिए इसे p और q पर प्रतिच्छेद करता है। दोबारा, a से b की दूरी के लिए पहले P, q, और a के लिए होमोग्राफी का निर्माण होता है, फिर इसे b पर मूल्यांकन करता है, और अंत में लघुगणक का उपयोग करता है। इस तरह से प्राप्त अतिपरवलयिक तल के दो मॉडल [[केली-क्लेन मॉडल]] और पॉइंकेयर डिस्क मॉडल हैं।
दूसरी ओर, जियोडेसिक्स जटिल तल की डिस्क में सामान्यीकृत वृत्तों के चाप होते हैं। कर्व्स के इस वर्ग को मोबियस ट्रांसफॉर्मेशन द्वारा अनुमत किया जाता है, इस डिस्क की गतियों का स्रोत जो यूनिट वृत्त को अपरिवर्तनीय सेट के रूप में छोड़ देता है। इस डिस्क में a और b दिया हुआ है, अद्वितीय सामान्यीकृत वृत्त है जो इकाई वृत्त को समकोण पर मिलता है, मान लीजिए इसे p और q पर प्रतिच्छेद करता है। दोबारा, a से b की दूरी के लिए पहले P, q, और a के लिए होमोग्राफी का निर्माण होता है, फिर इसे b पर मूल्यांकन करता है, और अंत में लघुगणक का उपयोग करता है। इस तरह से प्राप्त अतिपरवलयिक तल के दो मॉडल [[केली-क्लेन मॉडल]] और पॉइंकेयर डिस्क मॉडल हैं।
Line 37: Line 37:


1919/20 से गणित के इतिहास पर अपने व्याख्यान में, मरणोपरांत 1926 में प्रकाशित, क्लेन ने लिखा:<ref name=k1>Klein/Ackerman (1926/1979), p. 138</ref>
1919/20 से गणित के इतिहास पर अपने व्याख्यान में, मरणोपरांत 1926 में प्रकाशित, क्लेन ने लिखा:<ref name=k1>Klein/Ackerman (1926/1979), p. 138</ref>
:स्थिति <math display=inline>x^2 + y^2 + z^2 - t^2=0</math> चार आयामी दुनिया में या <math>dx^2 + dy^2 + dz^2 - dt^2=0</math> (तीन आयामों में रहने और [[सजातीय निर्देशांक]] का उपयोग करने के लिए) ने हाल ही में भौतिकी के [[विशेष सापेक्षता]] के माध्यम से विशेष महत्व प्राप्त किया है।
:स्थिति <math display=inline>x^2 + y^2 + z^2 - t^2=0</math> चार आयामी संसार में या <math>dx^2 + dy^2 + dz^2 - dt^2=0</math> (तीन आयामों में रहने और [[सजातीय निर्देशांक]] का उपयोग करने के लिए) ने हाल ही में भौतिकी के [[विशेष सापेक्षता]] के माध्यम से विशेष महत्व प्राप्त किया है।


अर्थात् निरपेक्ष <math display=inline>x_1^2 + x_2^2 - x_3^2 = 0</math> या <math display=inline>x_1^2 + x_2^2 + x_3^2 - x_4^2 = 0</math> अतिशयोक्तिपूर्ण ज्यामिति में (जैसा कि ऊपर चर्चा की गई है), अंतरालों के अनुरूप हैं <math display=inline>x^2 + y^2 - t^2 = 0</math> या <math display=inline>x^2 + y^2 + z^2 - t^2=0</math> [[ अंतरिक्ष समय ]] में, और इसके परिवर्तन को पूर्ण अपरिवर्तनीय छोड़कर लोरेन्ट्ज़ परिवर्तनों से संबंधित किया जा सकता है। इसी तरह, अतिशयोक्तिपूर्ण ज्यामिति में इकाई वृत्त या इकाई क्षेत्र के समीकरण भौतिक वेगों के अनुरूप होते हैं <math display="inline">\bigl(\frac{dx}{dt}\bigr)\vphantom{)}^2 + \bigl(\frac{dy}{dt}\bigr)\vphantom{)}^2 = 1</math> या <math display=inline>\bigl(\frac{dx}{dt}\bigr)\vphantom{)}^2 + \bigl(\frac{dy}{dt}\bigr)\vphantom{)}^2 + \bigl(\frac{dz}{dt}\bigr)\vphantom{)}^2=1</math> सापेक्षता में, जो [[प्रकाश की गति]] {{mvar|c}} से बंधे हैं, ताकि किसी भी भौतिक वेग के लिए {{mvar|v}}, अनुपात {{math|''v''/''c''}} इकाई क्षेत्र के आंतरिक भाग तक ही सीमित है, और गोले की सतह ज्यामिति के लिए केली निरपेक्ष बनाती है।
अर्थात् निरपेक्ष <math display=inline>x_1^2 + x_2^2 - x_3^2 = 0</math> या <math display=inline>x_1^2 + x_2^2 + x_3^2 - x_4^2 = 0</math> अतिशयोक्तिपूर्ण ज्यामिति में (जैसा कि ऊपर चर्चा की गई है), अंतरालों के अनुरूप हैं <math display=inline>x^2 + y^2 - t^2 = 0</math> या <math display=inline>x^2 + y^2 + z^2 - t^2=0</math> [[ अंतरिक्ष समय ]] में, और इसके परिवर्तन को पूर्ण अपरिवर्तनीय छोड़कर लोरेन्ट्ज़ परिवर्तनों से संबंधित किया जा सकता है। इसी तरह, अतिशयोक्तिपूर्ण ज्यामिति में इकाई वृत्त या इकाई क्षेत्र के समीकरण भौतिक वेगों के अनुरूप होते हैं <math display="inline">\bigl(\frac{dx}{dt}\bigr)\vphantom{)}^2 + \bigl(\frac{dy}{dt}\bigr)\vphantom{)}^2 = 1</math> या <math display=inline>\bigl(\frac{dx}{dt}\bigr)\vphantom{)}^2 + \bigl(\frac{dy}{dt}\bigr)\vphantom{)}^2 + \bigl(\frac{dz}{dt}\bigr)\vphantom{)}^2=1</math> सापेक्षता में, जो [[प्रकाश की गति]] {{mvar|c}} से बंधे हैं, जिससे किसी भी भौतिक वेग के लिए {{mvar|v}}, अनुपात {{math|''v''/''c''}} इकाई क्षेत्र के आंतरिक भाग तक ही सीमित है, और गोले की सतह ज्यामिति के लिए केली निरपेक्ष बनाती है।


क्लेन द्वारा 1910 में,<ref>Klein (1910)</ref> और गैर-यूक्लिडियन ज्यामिति पर उनके व्याख्यान के 1928 के संस्करण में अतिपरवलयिक अंतरिक्ष और विशेष सापेक्षता के मिंकोव्स्की अंतरिक्ष के बीच संबंध के बारे में अतिरिक्त विवरण बताया गया था।<ref>Klein & Rosemann (1928), chapter XI, §5</ref>
क्लेन द्वारा 1910 में,<ref>Klein (1910)</ref> और गैर-यूक्लिडियन ज्यामिति पर उनके व्याख्यान के 1928 के संस्करण में अतिपरवलयिक अंतरिक्ष और विशेष सापेक्षता के मिंकोव्स्की अंतरिक्ष के बीच संबंध के बारे में अतिरिक्त विवरण बताया गया था।<ref>Klein & Rosemann (1928), chapter XI, §5</ref>
Line 49: Line 49:
सजातीय निर्देशांक (x, y, z) का प्रयोग करें। अनंत पर रेखा f = 0 है। यदि F = (0,1,0), तो y-अक्ष के समानांतर व्यास वाला परवलय समदैशिक वृत्त है।
सजातीय निर्देशांक (x, y, z) का प्रयोग करें। अनंत पर रेखा f = 0 है। यदि F = (0,1,0), तो y-अक्ष के समानांतर व्यास वाला परवलय समदैशिक वृत्त है।


चलो पी = (1,0,0) और क्यू = (0,1,0) पूर्ण पर हो, तो एफ उपरोक्त के रूप में है। (x,y) तल में आयताकार अतिपरवलय को अनंत पर रेखा पर P और Q से होकर गुजरना माना जाता है। ये वक्र छद्म-यूक्लिडियन वृत्त हैं।
चलो पी = (1,0,0) और क्यू = (0,1,0) पूर्ण पर हो, तो एफ उपरोक्त के रूप में है। (x,y) तल में आयताकार अतिपरवलय को अनंत पर रेखा पर P और Q से होकर निकलना माना जाता है। ये वक्र छद्म-यूक्लिडियन वृत्त हैं।


मार्टिनी और स्पिरोवा द्वारा उपचार आइसोट्रोपिक ज्यामिति के लिए [[दोहरी संख्या]] और छद्म-यूक्लिडियन ज्यामिति के लिए विभाजन-जटिल संख्या का उपयोग करता है। ये सामान्यीकृत सम्मिश्र संख्याएँ अपनी ज्यामिति से उसी प्रकार संबद्ध होती हैं जैसे साधारण संमिश्र संख्याएँ यूक्लिडियन ज्यामिति के साथ करती हैं।
मार्टिनी और स्पिरोवा द्वारा उपचार आइसोट्रोपिक ज्यामिति के लिए [[दोहरी संख्या]] और छद्म-यूक्लिडियन ज्यामिति के लिए विभाजन-जटिल संख्या का उपयोग करता है। ये सामान्यीकृत सम्मिश्र संख्याएँ अपनी ज्यामिति से उसी प्रकार संबद्ध होती हैं जैसे साधारण संमिश्र संख्याएँ यूक्लिडियन ज्यामिति के साथ करती हैं।
Line 95: Line 95:
\end{array}</math>
\end{array}</math>
|}
|}
जिनमें से उन्होंने विशेष मामले पर चर्चा की <math>x^2 + y^2 + z^2 = 0</math> दूरी के साथ
जिनमें से उन्होंने विशेष स्थिति पर चर्चा की <math>x^2 + y^2 + z^2 = 0</math> दूरी के साथ


<math display="block">\cos^{-1}\frac{xx'+yy'+zz'}{\sqrt{x^2 + y^2 + z^2}\sqrt{x^{\prime2}+y^{\prime2}+z^{\prime2}}}</math>
<math display="block">\cos^{-1}\frac{xx'+yy'+zz'}{\sqrt{x^2 + y^2 + z^2}\sqrt{x^{\prime2}+y^{\prime2}+z^{\prime2}}}</math>
उन्होंने स्थिति <math>x^2 + y^2 + z^2=1</math> (इकाई क्षेत्र) की ओर इशारा किया।
उन्होंने स्थिति <math>x^2 + y^2 + z^2=1</math> (इकाई क्षेत्र) की ओर संकेत किया।


=== क्लेन ===
=== क्लेन ===
Line 131: Line 131:




समतल में, मीट्रिक दूरियों के लिए समान संबंध होते हैं, अतिरिक्त इसके कि <math>\Omega_{xx}</math> और <math>\Omega_{yy}</math> अब प्रत्येक तीन निर्देशांक <math>x,y,z</math> से संबंधित हैं। मौलिक शंकु खंड के रूप में उन्होंने विशेष मामले <math>\Omega_{xx}=z_1 z_2- z_3^2=0</math> पर चर्चा की, जो वास्तविक होने पर अतिपरवलयिक ज्यामिति और काल्पनिक होने पर अण्डाकार ज्यामिति से संबंधित है।<ref>Klein (1871), p. 601</ref> इस रूप को अपरिवर्तनीय छोड़ने वाले परिवर्तन संबंधित गैर-यूक्लिडियन अंतरिक्ष में गति का प्रतिनिधित्व करते हैं। वैकल्पिक रूप से, उन्होंने <math>\Omega_{xx}=x^2 + y^2 - 4c^2=0</math> के रूप में वृत्त के समीकरण को रूप में प्रयोग किया, जो अतिशयोक्तिपूर्ण ज्यामिति से संबंधित है जब <math>c</math> सकारात्मक है (बेल्ट्रामी-क्लेन मॉडल) या अण्डाकार ज्यामिति जब <math>c</math> नकारात्मक है।<ref>Klein (1871), p. 618</ref> अंतरिक्ष में, उन्होंने दूसरी डिग्री की मौलिक सतहों पर चर्चा की, जिसके अनुसार काल्पनिक वाले अण्डाकार ज्यामिति को संदर्भित करते हैं, वास्तविक और रेक्टिलाइनियर एक-शीट [[ hyperboloid | अतिपरवलयिक]] के अनुरूप होते हैं, जिनका तीन मुख्य ज्यामिति में से किसी से कोई संबंध नहीं होता है, जबकि वास्तविक और गैर-रेक्टिलाइनियर हाइपरबोलिक अंतरिक्ष का उल्लेख करते हैं।
समतल में, मीट्रिक दूरियों के लिए समान संबंध होते हैं, अतिरिक्त इसके कि <math>\Omega_{xx}</math> और <math>\Omega_{yy}</math> अब प्रत्येक तीन निर्देशांक <math>x,y,z</math> से संबंधित हैं। मौलिक शंकु खंड के रूप में उन्होंने विशेष स्थिति <math>\Omega_{xx}=z_1 z_2- z_3^2=0</math> पर चर्चा की, जो वास्तविक होने पर अतिपरवलयिक ज्यामिति और काल्पनिक होने पर अण्डाकार ज्यामिति से संबंधित है।<ref>Klein (1871), p. 601</ref> इस रूप को अपरिवर्तनीय छोड़ने वाले परिवर्तन संबंधित गैर-यूक्लिडियन अंतरिक्ष में गति का प्रतिनिधित्व करते हैं। वैकल्पिक रूप से, उन्होंने <math>\Omega_{xx}=x^2 + y^2 - 4c^2=0</math> के रूप में वृत्त के समीकरण को रूप में प्रयोग किया, जो अतिशयोक्तिपूर्ण ज्यामिति से संबंधित है जब <math>c</math> सकारात्मक है (बेल्ट्रामी-क्लेन मॉडल) या अण्डाकार ज्यामिति जब <math>c</math> नकारात्मक है।<ref>Klein (1871), p. 618</ref> अंतरिक्ष में, उन्होंने दूसरी डिग्री की मौलिक सतहों पर चर्चा की, जिसके अनुसार काल्पनिक वाले अण्डाकार ज्यामिति को संदर्भित करते हैं, वास्तविक और रेक्टिलाइनियर एक-शीट [[ hyperboloid | अतिपरवलयिक]] के अनुरूप होते हैं, जिनका तीन मुख्य ज्यामिति में से किसी से कोई संबंध नहीं होता है, जबकि वास्तविक और गैर-रेक्टिलाइनियर हाइपरबोलिक अंतरिक्ष का उल्लेख करते हैं।


अपने 1873 के पेपर में उन्होंने केली मीट्रिक और परिवर्तन समूहों के बीच के संबंध को निरुपित किया।<ref>Klein (1873), § 7</ref> विशेष रूप से, वास्तविक गुणांक वाले द्विघात समीकरण, दूसरी डिग्री की सतहों के अनुरूप, वर्गों के योग में परिवर्तित हो सकते हैं, जिनमें से धनात्मक और ऋणात्मक चिह्नों की संख्या के बीच का अंतर बराबर रहता है (इसे अब सिल्वेस्टर का जड़त्व का नियम कहा जाता है)। यदि सभी वर्गों का चिन्ह समान है, तो सतह सकारात्मक वक्रता के साथ काल्पनिक है। यदि चिह्न अन्य चिह्नों से भिन्न है, तो सतह [[दीर्घवृत्ताभ]] या ऋणात्मक वक्रता वाली दो-पत्रक अतिपरवलयज बन जाती है।
अपने 1873 के पेपर में उन्होंने केली मीट्रिक और परिवर्तन समूहों के बीच के संबंध को निरुपित किया।<ref>Klein (1873), § 7</ref> विशेष रूप से, वास्तविक गुणांक वाले द्विघात समीकरण, दूसरी डिग्री की सतहों के अनुरूप, वर्गों के योग में परिवर्तित हो सकते हैं, जिनमें से धनात्मक और ऋणात्मक चिह्नों की संख्या के बीच का अंतर बराबर रहता है (इसे अब सिल्वेस्टर का जड़त्व का नियम कहा जाता है)। यदि सभी वर्गों का चिन्ह समान है, तो सतह सकारात्मक वक्रता के साथ काल्पनिक है। यदि चिह्न अन्य चिह्नों से भिन्न है, तो सतह [[दीर्घवृत्ताभ]] या ऋणात्मक वक्रता वाली दो-पत्रक अतिपरवलयज बन जाती है।
Line 155: Line 155:
विधि <math>z_1^2 + z_2^2 + z_3^2 + z_4^2=0</math> क्लेन द्वारा अण्डाकार ज्यामिति के केली निरपेक्ष के रूप में उपयोग किया गया था,<ref>Klein (1893b), pp. 76ff, 108ff</ref> जबकि वह अतिशयोक्तिपूर्ण ज्यामिति के लिए उन्होंने <math>z_1^2 + z_2^2 + z_3^2 - z_4^2=0</math> और वैकल्पिक रूप से इकाई क्षेत्र <math>x^2 + y^2 + z^2 - 1=0</math> के समीकरण को जोड़ा।<ref>Klein (1893b), pp. 82ff, 142ff</ref> उन्होंने अंततः गैर-यूक्लिडियन रिक्त स्थान में गति का प्रतिनिधित्व करने वाले संयोजनों और मोबियस परिवर्तनों के संबंध में उनके आविष्कार पर चर्चा किया था।
विधि <math>z_1^2 + z_2^2 + z_3^2 + z_4^2=0</math> क्लेन द्वारा अण्डाकार ज्यामिति के केली निरपेक्ष के रूप में उपयोग किया गया था,<ref>Klein (1893b), pp. 76ff, 108ff</ref> जबकि वह अतिशयोक्तिपूर्ण ज्यामिति के लिए उन्होंने <math>z_1^2 + z_2^2 + z_3^2 - z_4^2=0</math> और वैकल्पिक रूप से इकाई क्षेत्र <math>x^2 + y^2 + z^2 - 1=0</math> के समीकरण को जोड़ा।<ref>Klein (1893b), pp. 82ff, 142ff</ref> उन्होंने अंततः गैर-यूक्लिडियन रिक्त स्थान में गति का प्रतिनिधित्व करने वाले संयोजनों और मोबियस परिवर्तनों के संबंध में उनके आविष्कार पर चर्चा किया था।


[[रॉबर्ट फ्रिक]] और क्लेन ने 1897 में [[ऑटोमोर्फिक फ़ंक्शन]] पर व्याख्यान के पहले खंड के परिचय में इन सभी को संक्षेप में प्रस्तुत किया, जिसमें उन्होंने इस्तेमाल किया <math>e\left(z_1^2 + z_2^2\right) - z_3^2=0</math> समतल ज्यामिति में निरपेक्ष के रूप में, और <math>z_1^2 + z_2^2 + z_3^2 - z_4^2=0</math> साथ ही <math>X^2 + Y^2 + Z^2=1</math> अतिशयोक्तिपूर्ण स्थान के लिए।<ref>Fricke & Klein (1897), Introduction pp. 1-60</ref> गैर-यूक्लिडियन ज्यामिति पर क्लेन के व्याख्यान को मरणोपरांत खंड के रूप में पुनर्प्रकाशित किया गया और 1928 में वाल्थर रोज़मैन द्वारा महत्वपूर्ण रूप से संपादित किया गया था।<ref>Klein & Rosemann (1928)</ref> गैर-यूक्लिडियन ज्यामिति पर क्लेन के काम का ऐतिहासिक विश्लेषणए'कैम्पो और पापाडोपोलोस (2014) द्वारा दिया गया था।<ref name=cam />
[[रॉबर्ट फ्रिक]] और क्लेन ने 1897 में [[ऑटोमोर्फिक फ़ंक्शन]] पर व्याख्यान के पहले खंड के परिचय में इन सभी को संक्षेप में प्रस्तुत किया, जिसमें उन्होंने उपयोग किया <math>e\left(z_1^2 + z_2^2\right) - z_3^2=0</math> समतल ज्यामिति में निरपेक्ष के रूप में, और <math>z_1^2 + z_2^2 + z_3^2 - z_4^2=0</math> साथ ही <math>X^2 + Y^2 + Z^2=1</math> अतिशयोक्तिपूर्ण स्थान के लिए।<ref>Fricke & Klein (1897), Introduction pp. 1-60</ref> गैर-यूक्लिडियन ज्यामिति पर क्लेन के व्याख्यान को मरणोपरांत खंड के रूप में पुनर्प्रकाशित किया गया और 1928 में वाल्थर रोज़मैन द्वारा महत्वपूर्ण रूप से संपादित किया गया था।<ref>Klein & Rosemann (1928)</ref> गैर-यूक्लिडियन ज्यामिति पर क्लेन के काम का ऐतिहासिक विश्लेषणए'कैम्पो और पापाडोपोलोस (2014) द्वारा दिया गया था।<ref name=cam />





Revision as of 12:14, 13 March 2023

निरपेक्ष के अंदर दो बिंदुओं के बीच की मीट्रिक दूरी इन दो बिंदुओं और निरपेक्ष के साथ उनकी रेखा के दो चौराहों द्वारा गठित क्रॉस अनुपात का लघुगणक है

गणित में, केली-क्लेन मीट्रिक प्रक्षेप्य स्थान में निश्चित चतुर्भुज के पूरक (सेट सिद्धांत) पर एक मीट्रिक (गणित) है जिसे क्रॉस-अनुपात का उपयोग करके परिभाषित किया गया है। इसके निर्माण की प्रारंभ आर्थर केली के निबंध ऑन द थ्योरी ऑफ डिस्टेंस से हुई[1] उन्होंने क्वाड्रिक को निरपेक्ष कहा था। निर्माण 1871 और 1873 में फेलिक्स क्लेन द्वारा और बाद की पुस्तकों और पत्रों में विस्तार से विकसित किया गया था।[2] केली-क्लेन मेट्रिक्स ज्यामिति में एकीकृत विचार है क्योंकि विधि का उपयोग अतिशयोक्तिपूर्ण ज्यामिति, अण्डाकार ज्यामिति और यूक्लिडियन ज्यामिति में आव्यूह प्रदान करने के लिए किया जाता है। गैर-यूक्लिडियन ज्यामिति का क्षेत्र अधिक सीमा तक केली-क्लेन मेट्रिक्स द्वारा प्रदान किए गए आधार पर टिका हुआ है।

नींव

कार्ल वॉन स्टॉड्ट (1847) द्वारा थ्रो का बीजगणित ज्यामिति के लिए एक दृष्टिकोण है जो मीट्रिक (गणित) से स्वतंत्र है। यह विचार प्रक्षेपी हार्मोनिक संयुग्मों और क्रॉस-अनुपातों के संबंध को रेखा पर माप के लिए मौलिक के रूप में उपयोग करना था।[3] एडमंड लागुएरे (1853) द्वारा एक अन्य महत्वपूर्ण अंतर्दृष्टि लैगुएरे सूत्र थी, जिसने दिखाया कि दो रेखाओं के बीच यूक्लिडियन कोण को एक क्रॉस-अनुपात के लघुगणक के रूप में व्यक्त किया जा सकता है।[4] आखिरकार, केली (1859) ने प्रक्षेपी मीट्रिक के संदर्भ में दूरी को व्यक्त करने के लिए संबंध तैयार किए, और उन्हें ज्यामिति के निरपेक्ष के रूप में सेवारत सामान्य चतुष्कोणों या शंकुओं से संबंधित किया था।[5][6] क्लेन (1871, 1873) ने वॉन स्टॉड्ट के काम से मीट्रिक अवधारणाओं के अंतिम अवशेषों को हटा दिया और केली के नए मीट्रिक को लघुगणक और चार बिंदुओं की ज्यामितीय व्यवस्था द्वारा उत्पन्न संख्या के रूप में क्रॉस-अनुपात को आधार बनाने के लिए इसे केली के सिद्धांत के साथ जोड़ दिया।[7] दूरी की परिपत्र परिभाषा से बचने के लिए यह प्रक्रिया आवश्यक है यदि क्रॉस-अनुपात पहले से परिभाषित दूरियों का दोहरा अनुपात है।[8] विशेष रूप से, उन्होंने दिखाया कि गैर-यूक्लिडियन ज्यामिति केली-क्लेन मीट्रिक पर आधारित हो सकती हैं।[9]

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

केली-क्लेन ज्यामिति की सीमा को 2004 में होर्स्ट और रॉल्फ स्ट्रुवे द्वारा संक्षेपित किया गया था:[10]

वास्तविक प्रोजेक्टिव लाइन में तीन निरपेक्ष हैं, वास्तविक प्रोजेक्टिव प्लेन में सात और वास्तविक प्रोजेक्टिव स्पेस में 18 हैं। अतिशयोक्तिपूर्ण, अण्डाकार, गैलीलियन और मिन्कोस्कीयन के रूप में सभी मौलिक गैर-यूक्लिडियन प्रोजेक्टिव रिक्त स्थान और उनके दोहरे को इस तरह परिभाषित किया जा सकता है।

केली-क्लेन वोरोनोई आरेख रेखीय अधिसमतल द्विभाजक के साथ एफ़िन चित्र हैं।[11]


क्रॉस अनुपात और दूरी

केली-क्लेन मीट्रिक को पहली बार वास्तविक प्रक्षेपी रेखा P(R) और प्रक्षेपी निर्देशांक पर चित्रित किया गया है। सामान्यतः प्रक्षेपी ज्यामिति मीट्रिक ज्यामिति से जुड़ी नहीं होती है, किन्तु होमोग्राफी और प्राकृतिक लघुगणक के साथ उपकरण संबंध बनाता है। P(R) पर दो बिंदुओं p और q से प्रारंभ करें। कैनोनिकल एम्बेडिंग में वे [p:1] और [q:1] हैं। होमोग्राफिक प्रतिचित्र

p को शून्य और q को अनंत तक ले जाता है। इसके अतिरिक्त, मध्यबिंदु (p+q)/2 [1:1] तक जाता है। प्राकृतिक लघुगणक अंतराल [p,q] की छवि को वास्तविक रेखा पर ले जाता है, जिसमें मध्यबिंदु की छवि का लॉग 0 होता है।

अंतराल में दो बिंदुओं के बीच की दूरी के लिए, केली-क्लेन मीट्रिक बिंदुओं के अनुपात के लघुगणक का उपयोग करता है। जब अंश और हर समान रूप से पुन: समानुपातित होते हैं तो अनुपात संरक्षित रहता है, इसलिए ऐसे अनुपातों का लघुगणक संरक्षित रहता है। अनुपातों का यह लचीलापन दूरी के लिए शून्य बिंदु की गति को सक्षम बनाता है: इसे उपरोक्त होमोग्राफी को प्रयुक्त करने के लिए a पर स्थानांतरित करने के लिए, डब्ल्यू प्राप्त करना कहते हैं। फिर इस होमोग्राफी का निर्माण करें:

जो w को [1: 1] तक ले जाता है।

पहली और दूसरी होमोग्राफी की रचना 1 से 1 तक होती है, इस प्रकार अंतराल में इच्छानुसारसे सामान्यीकरण होता है। रचित होमोग्राफी को पी, क्यू और ए का क्रॉस अनुपात होमोग्राफी कहा जाता है। चार मूल्यों के समारोह के रूप में अधिकांशतः क्रॉस अनुपात प्रस्तुत किया जाता है। यहां तीन होमोग्राफी को परिभाषित करते हैं और चौथा होमोग्राफी के फंक्शन का तर्क है। इस चौथे बिंदु की 0 से दूरी मूल्यांकित होमोग्राफी का लघुगणक है।

P(R) युक्त एक प्रक्षेपी स्थान में मान लीजिए कि एक शंकु K दिया गया है, जिसमें p और q पर K है। बड़े स्थान पर होमोग्राफी में K अपरिवर्तनीय सेट के रूप में हो सकता है क्योंकि यह अंतरिक्ष के बिंदुओं को क्रमबद्ध करता है। इस तरह की होमोग्राफी को P (R) पर प्रेरित करती है, और चूंकि P और q K पर रहते हैं, इसलिए क्रॉस अनुपात अपरिवर्तनीय रहता है। उच्च समरूपता गति (ज्यामिति) संरक्षण दूरी, एक आइसोमेट्री के साथ K से घिरे क्षेत्र की गति प्रदान करती है।।

डिस्क अनुप्रयोग

मान लीजिए कि एक यूनिट वृत्त को निरपेक्ष के लिए चुना गया है। यह P2(R) के रूप में हो सकता है

जो मेल खाता है

दूसरी ओर, साधारण जटिल तल में इकाई वृत्त

जटिल संख्या अंकगणित का उपयोग करता है

और जटिल प्रोजेक्टिव लाइन P(C) में पाया जाता है, जो वास्तविक प्रक्षेपी समतल P2(R) से कुछ अलग है। पिछले अनुभाग में प्रस्तुत P(R) के लिए दूरी की धारणा उपलब्ध है क्योंकि P(R) P2(R) और P(C) दोनों में सम्मिलित है। कहें कि a और b P2(R) में वृत्त के आंतरिक बिंदु हैं। फिर वे एक रेखा पर स्थित होते हैं जो वृत्त को p और q पर प्रतिच्छेद करती है। a से b की दूरी होमोग्राफी के मूल्य का लघुगणक है, जो P, q और a द्वारा उत्पन्न होता है, जब b पर प्रयुक्त होता है। इस उदाहरण में डिस्क में जियोडेसिक्स लाइन सेगमेंट हैं।

दूसरी ओर, जियोडेसिक्स जटिल तल की डिस्क में सामान्यीकृत वृत्तों के चाप होते हैं। कर्व्स के इस वर्ग को मोबियस ट्रांसफॉर्मेशन द्वारा अनुमत किया जाता है, इस डिस्क की गतियों का स्रोत जो यूनिट वृत्त को अपरिवर्तनीय सेट के रूप में छोड़ देता है। इस डिस्क में a और b दिया हुआ है, अद्वितीय सामान्यीकृत वृत्त है जो इकाई वृत्त को समकोण पर मिलता है, मान लीजिए इसे p और q पर प्रतिच्छेद करता है। दोबारा, a से b की दूरी के लिए पहले P, q, और a के लिए होमोग्राफी का निर्माण होता है, फिर इसे b पर मूल्यांकन करता है, और अंत में लघुगणक का उपयोग करता है। इस तरह से प्राप्त अतिपरवलयिक तल के दो मॉडल केली-क्लेन मॉडल और पॉइंकेयर डिस्क मॉडल हैं।

विशेष सापेक्षता

1919/20 से गणित के इतिहास पर अपने व्याख्यान में, मरणोपरांत 1926 में प्रकाशित, क्लेन ने लिखा:[12]

स्थिति चार आयामी संसार में या (तीन आयामों में रहने और सजातीय निर्देशांक का उपयोग करने के लिए) ने हाल ही में भौतिकी के विशेष सापेक्षता के माध्यम से विशेष महत्व प्राप्त किया है।

अर्थात् निरपेक्ष या अतिशयोक्तिपूर्ण ज्यामिति में (जैसा कि ऊपर चर्चा की गई है), अंतरालों के अनुरूप हैं या अंतरिक्ष समय में, और इसके परिवर्तन को पूर्ण अपरिवर्तनीय छोड़कर लोरेन्ट्ज़ परिवर्तनों से संबंधित किया जा सकता है। इसी तरह, अतिशयोक्तिपूर्ण ज्यामिति में इकाई वृत्त या इकाई क्षेत्र के समीकरण भौतिक वेगों के अनुरूप होते हैं या सापेक्षता में, जो प्रकाश की गति c से बंधे हैं, जिससे किसी भी भौतिक वेग के लिए v, अनुपात v/c इकाई क्षेत्र के आंतरिक भाग तक ही सीमित है, और गोले की सतह ज्यामिति के लिए केली निरपेक्ष बनाती है।

क्लेन द्वारा 1910 में,[13] और गैर-यूक्लिडियन ज्यामिति पर उनके व्याख्यान के 1928 के संस्करण में अतिपरवलयिक अंतरिक्ष और विशेष सापेक्षता के मिंकोव्स्की अंतरिक्ष के बीच संबंध के बारे में अतिरिक्त विवरण बताया गया था।[14]


एफिन सीके-ज्यामिति

2008 में होर्स्ट मार्टिनी और मार्गरीटा स्पिरोवा ने केली एब्सोल्यूट से जुड़े एफाइन ज्यामिति का उपयोग करते हुए क्लिफर्ड के वृत्त प्रमेयों और अन्य यूक्लिडियन ज्यामिति के पहले को सामान्यीकृत किया:

यदि निरपेक्ष में रेखा होती है, तो व्यक्ति केली-क्लेन ज्योमेट्रीज की उपप्रजाति प्राप्त करता है। यदि निरपेक्ष में रेखा f और f पर बिंदु F होता है, तो हमारे पास आइसोट्रोपिक ज्यामिति होती है। समदैशिक वृत्त शंकु है जो f पर f को स्पर्श करता है।[15]

सजातीय निर्देशांक (x, y, z) का प्रयोग करें। अनंत पर रेखा f = 0 है। यदि F = (0,1,0), तो y-अक्ष के समानांतर व्यास वाला परवलय समदैशिक वृत्त है।

चलो पी = (1,0,0) और क्यू = (0,1,0) पूर्ण पर हो, तो एफ उपरोक्त के रूप में है। (x,y) तल में आयताकार अतिपरवलय को अनंत पर रेखा पर P और Q से होकर निकलना माना जाता है। ये वक्र छद्म-यूक्लिडियन वृत्त हैं।

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

इतिहास

केली

The question recently arose in conversation whether a dissertation of 2 lines could deserve and get a Fellowship. ... Cayley's projective definition of length is a clear case if we may interpret "2 lines" with reasonable latitude. ... With Cayley the importance of the idea is obvious at first sight.

Littlewood (1986, pp. 39–40)

आर्थर केली (1859) ने निरपेक्ष को परिभाषित किया जिस पर उन्होंने सजातीय निर्देशांक के संदर्भ में दूसरी डिग्री की सतह के सामान्य समीकरण के रूप में अपनी प्रक्षेपी मीट्रिक आधारित किया:[1]

वास्तविक आधुनिक

दो बिंदुओं के बीच की दूरी तब द्वारा दी जाती है

वास्तविक आधुनिक

दो आयामों में

वास्तविक आधुनिक

दूरी के साथ

वास्तविक आधुनिक

जिनमें से उन्होंने विशेष स्थिति पर चर्चा की दूरी के साथ

उन्होंने स्थिति (इकाई क्षेत्र) की ओर संकेत किया।

क्लेन

फेलिक्स क्लेन (1871) ने केली के भावों को निम्नानुसार सुधारा: उन्होंने सजातीय निर्देशांक के संदर्भ में निरपेक्ष (जिसे उन्होंने मौलिक शंकु खंड कहा) लिखा:[16]

वास्तविक आधुनिक

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

वास्तविक आधुनिक


समतल में, मीट्रिक दूरियों के लिए समान संबंध होते हैं, अतिरिक्त इसके कि और अब प्रत्येक तीन निर्देशांक से संबंधित हैं। मौलिक शंकु खंड के रूप में उन्होंने विशेष स्थिति पर चर्चा की, जो वास्तविक होने पर अतिपरवलयिक ज्यामिति और काल्पनिक होने पर अण्डाकार ज्यामिति से संबंधित है।[17] इस रूप को अपरिवर्तनीय छोड़ने वाले परिवर्तन संबंधित गैर-यूक्लिडियन अंतरिक्ष में गति का प्रतिनिधित्व करते हैं। वैकल्पिक रूप से, उन्होंने के रूप में वृत्त के समीकरण को रूप में प्रयोग किया, जो अतिशयोक्तिपूर्ण ज्यामिति से संबंधित है जब सकारात्मक है (बेल्ट्रामी-क्लेन मॉडल) या अण्डाकार ज्यामिति जब नकारात्मक है।[18] अंतरिक्ष में, उन्होंने दूसरी डिग्री की मौलिक सतहों पर चर्चा की, जिसके अनुसार काल्पनिक वाले अण्डाकार ज्यामिति को संदर्भित करते हैं, वास्तविक और रेक्टिलाइनियर एक-शीट अतिपरवलयिक के अनुरूप होते हैं, जिनका तीन मुख्य ज्यामिति में से किसी से कोई संबंध नहीं होता है, जबकि वास्तविक और गैर-रेक्टिलाइनियर हाइपरबोलिक अंतरिक्ष का उल्लेख करते हैं।

अपने 1873 के पेपर में उन्होंने केली मीट्रिक और परिवर्तन समूहों के बीच के संबंध को निरुपित किया।[19] विशेष रूप से, वास्तविक गुणांक वाले द्विघात समीकरण, दूसरी डिग्री की सतहों के अनुरूप, वर्गों के योग में परिवर्तित हो सकते हैं, जिनमें से धनात्मक और ऋणात्मक चिह्नों की संख्या के बीच का अंतर बराबर रहता है (इसे अब सिल्वेस्टर का जड़त्व का नियम कहा जाता है)। यदि सभी वर्गों का चिन्ह समान है, तो सतह सकारात्मक वक्रता के साथ काल्पनिक है। यदि चिह्न अन्य चिह्नों से भिन्न है, तो सतह दीर्घवृत्ताभ या ऋणात्मक वक्रता वाली दो-पत्रक अतिपरवलयज बन जाती है।

शीतकालीन सेमेस्टर 1889/90 (प्रकाशित 1892/1893) में गैर-यूक्लिडियन ज्यामिति पर अपने व्याख्यान के पहले खंड में, उन्होंने गैर-यूक्लिडियन समतल पर चर्चा की, इन भावों का पूर्ण रूप से उपयोग करते हुए:[20]

और गैर-यूक्लिडियन रिक्त स्थान में गतियों का प्रतिनिधित्व करने वाले कॉलिनेशन और मोबियस ट्रांसफॉर्मेशन के संबंध में उनके अपरिवर्तनीयता पर चर्चा किया था।

समर सेमेस्टर 1890 (1892/1893 भी प्रकाशित) के व्याख्यान वाले दूसरे खंड में, क्लेन ने केली मीट्रिक के साथ गैर-यूक्लिडियन अंतरिक्ष पर चर्चा की[21]

और यह दिखाने के लिए चला गया कि इस चतुष्कोणीय द्विघात रूप के वेरिएंट को वास्तविक रैखिक परिवर्तनों द्वारा निम्नलिखित पाँच रूपों में से में लाया जा सकता है[22]
विधि क्लेन द्वारा अण्डाकार ज्यामिति के केली निरपेक्ष के रूप में उपयोग किया गया था,[23] जबकि वह अतिशयोक्तिपूर्ण ज्यामिति के लिए उन्होंने और वैकल्पिक रूप से इकाई क्षेत्र के समीकरण को जोड़ा।[24] उन्होंने अंततः गैर-यूक्लिडियन रिक्त स्थान में गति का प्रतिनिधित्व करने वाले संयोजनों और मोबियस परिवर्तनों के संबंध में उनके आविष्कार पर चर्चा किया था।

रॉबर्ट फ्रिक और क्लेन ने 1897 में ऑटोमोर्फिक फ़ंक्शन पर व्याख्यान के पहले खंड के परिचय में इन सभी को संक्षेप में प्रस्तुत किया, जिसमें उन्होंने उपयोग किया समतल ज्यामिति में निरपेक्ष के रूप में, और साथ ही अतिशयोक्तिपूर्ण स्थान के लिए।[25] गैर-यूक्लिडियन ज्यामिति पर क्लेन के व्याख्यान को मरणोपरांत खंड के रूप में पुनर्प्रकाशित किया गया और 1928 में वाल्थर रोज़मैन द्वारा महत्वपूर्ण रूप से संपादित किया गया था।[26] गैर-यूक्लिडियन ज्यामिति पर क्लेन के काम का ऐतिहासिक विश्लेषणए'कैम्पो और पापाडोपोलोस (2014) द्वारा दिया गया था।[9]


यह भी देखें

टिप्पणियाँ

  1. 1.0 1.1 Cayley (1859), p 82, §§209 to 229
  2. Klein (1871, 1873), Klein (1893ab), Fricke/Klein (1897), Klein (1910), Klein/Ackerman (1926/1979), Klein/Rosemann (1928)
  3. Klein & Rosemann (1928), p. 163
  4. Klein & Rosemann (1928), p. 138
  5. Klein & Rosemann (1928), p. 303
  6. Pierpont (1930), p. 67ff
  7. Klein & Rosemann (1928), pp. 163, 304
  8. Russell (1898), page 32
  9. 9.0 9.1 Campo & Papadopoulos (2014)
  10. H & R Struve (2004) page 157
  11. Nielsen (2016)
  12. Klein/Ackerman (1926/1979), p. 138
  13. Klein (1910)
  14. Klein & Rosemann (1928), chapter XI, §5
  15. Martini and Spirova (2008)
  16. Klein (1871), p. 587
  17. Klein (1871), p. 601
  18. Klein (1871), p. 618
  19. Klein (1873), § 7
  20. Klein (1893a), pp. 64, 94, 109, 138
  21. Klein (1893b), p. 61
  22. Klein (1893b), p. 64
  23. Klein (1893b), pp. 76ff, 108ff
  24. Klein (1893b), pp. 82ff, 142ff
  25. Fricke & Klein (1897), Introduction pp. 1-60
  26. Klein & Rosemann (1928)


संदर्भ

ऐतिहासिक

माध्यमिक स्रोत

अग्रिम पठन