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

From Vigyanwiki
(Created page with "File:Cross_ratio02.svg|thumb|300px|right|निरपेक्ष के अंदर दो बिंदुओं के बीच की मीट्रिक दूरी...")
 
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> केली-क्लेन मेट्रिक्स ज्यामिति में एकीकृत विचार है क्योंकि विधि का उपयोग [[अतिशयोक्तिपूर्ण ज्यामिति]], [[अण्डाकार ज्यामिति]] और [[यूक्लिडियन ज्यामिति]] में मैट्रिक्स प्रदान करने के लिए किया जाता है। [[गैर-यूक्लिडियन ज्यामिति]] का क्षेत्र काफी हद तक केली-क्लेन मेट्रिक्स द्वारा प्रदान किए गए आधार पर टिका हुआ है।


== नींव ==
== नींव ==


[[कार्ल वॉन स्टॉड्ट]] (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>
Line 13: Line 13:


== क्रॉस अनुपात और दूरी ==
== क्रॉस अनुपात और दूरी ==
केली-क्लेन मीट्रिक को पहली बार वास्तविक प्रक्षेपी रेखा 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 होता है।
Line 20: Line 20:
जब अंश और हर समान रूप से पुन: समानुपातित होते हैं तो अनुपात संरक्षित रहता है, इसलिए ऐसे अनुपातों का लघुगणक संरक्षित रहता है। अनुपातों का यह लचीलापन दूरी के लिए शून्य बिंदु की गति को सक्षम बनाता है: इसे a पर ले जाने के लिए, उपरोक्त समरूपता को लागू करें, मान लें कि w प्राप्त करना। फिर इस होमोग्राफी का निर्माण करें:
जब अंश और हर समान रूप से पुन: समानुपातित होते हैं तो अनुपात संरक्षित रहता है, इसलिए ऐसे अनुपातों का लघुगणक संरक्षित रहता है। अनुपातों का यह लचीलापन दूरी के लिए शून्य बिंदु की गति को सक्षम बनाता है: इसे a पर ले जाने के लिए, उपरोक्त समरूपता को लागू करें, मान लें कि w प्राप्त करना। फिर इस होमोग्राफी का निर्माण करें:
:<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 से दूरी मूल्यांकित होमोग्राफी का लघुगणक है।


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


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


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


== विशेष सापेक्षता ==
== विशेष सापेक्षता ==
Line 40: Line 40:
:मामला <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 47: Line 47:
== एफिन सीके-ज्यामिति ==
== एफिन सीके-ज्यामिति ==
2008 में होर्स्ट मार्टिनी और मार्गरीटा स्पिरोवा ने केली एब्सोल्यूट से जुड़े एफाइन ज्यामिति का उपयोग करते हुए क्लिफर्ड के सर्कल प्रमेयों और अन्य यूक्लिडियन ज्यामिति के पहले को सामान्यीकृत किया:
2008 में होर्स्ट मार्टिनी और मार्गरीटा स्पिरोवा ने केली एब्सोल्यूट से जुड़े एफाइन ज्यामिति का उपयोग करते हुए क्लिफर्ड के सर्कल प्रमेयों और अन्य यूक्लिडियन ज्यामिति के पहले को सामान्यीकृत किया:
: यदि निरपेक्ष में एक रेखा होती है, तो व्यक्ति केली-क्लेन ज्योमेट्रीज की एक उपप्रजाति प्राप्त करता है। यदि निरपेक्ष में एक रेखा f और f पर एक बिंदु F होता है, तो हमारे पास आइसोट्रोपिक ज्यामिति होती है। एक समदैशिक वृत्त एक शंकु है जो f पर f को स्पर्श करता है।<ref>Martini and Spirova (2008)</ref>
: यदि निरपेक्ष में रेखा होती है, तो व्यक्ति केली-क्लेन ज्योमेट्रीज की उपप्रजाति प्राप्त करता है। यदि निरपेक्ष में रेखा f और f पर बिंदु F होता है, तो हमारे पास आइसोट्रोपिक ज्यामिति होती है। समदैशिक वृत्त शंकु है जो f पर f को स्पर्श करता है।<ref>Martini and Spirova (2008)</ref>
सजातीय निर्देशांक (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 130: Line 130:
\end{matrix}</math>
\end{matrix}</math>
|}
|}
विमान में, मीट्रिक दूरियों के लिए समान संबंध होते हैं, सिवाय उसके <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> विशेष रूप से, वास्तविक गुणांक वाले द्विघात समीकरण, दूसरी डिग्री की सतहों के अनुरूप, वर्गों के योग में परिवर्तित हो सकते हैं, जिनमें से धनात्मक और ऋणात्मक चिह्नों की संख्या के बीच का अंतर बराबर रहता है (इसे अब सिल्वेस्टर का जड़त्व का नियम कहा जाता है)। यदि सभी वर्गों का चिन्ह समान है, तो सतह सकारात्मक वक्रता के साथ काल्पनिक है। यदि चिह्न अन्य चिह्नों से भिन्न है, तो सतह [[दीर्घवृत्ताभ]] या ऋणात्मक वक्रता वाली दो-पत्रक अतिपरवलयज बन जाती है।


शीतकालीन सेमेस्टर 1889/90 (प्रकाशित 1892/1893) में गैर-यूक्लिडियन ज्यामिति पर अपने व्याख्यान के पहले खंड में, उन्होंने गैर-यूक्लिडियन विमान पर चर्चा की, इन भावों का पूर्ण रूप से उपयोग करते हुए:<ref>Klein (1893a), pp. 64, 94, 109, 138</ref>
शीतकालीन सेमेस्टर 1889/90 (प्रकाशित 1892/1893) में गैर-यूक्लिडियन ज्यामिति पर अपने व्याख्यान के पहले खंड में, उन्होंने गैर-यूक्लिडियन विमान पर चर्चा की, इन भावों का पूर्ण रूप से उपयोग करते हुए:<ref>Klein (1893a), pp. 64, 94, 109, 138</ref>
Line 144: Line 144:
समर सेमेस्टर 1890 (1892/1893 भी प्रकाशित) के व्याख्यान वाले दूसरे खंड में, क्लेन ने केली मीट्रिक के साथ गैर-यूक्लिडियन अंतरिक्ष पर चर्चा की<ref>Klein (1893b), p. 61</ref>
समर सेमेस्टर 1890 (1892/1893 भी प्रकाशित) के व्याख्यान वाले दूसरे खंड में, क्लेन ने केली मीट्रिक के साथ गैर-यूक्लिडियन अंतरिक्ष पर चर्चा की<ref>Klein (1893b), p. 61</ref>
<math display="block">\sum_{\alpha,\beta=1}^4 a_{\alpha\beta}x_{\alpha}x_{\beta}=0,</math>
<math display="block">\sum_{\alpha,\beta=1}^4 a_{\alpha\beta}x_{\alpha}x_{\beta}=0,</math>
और यह दिखाने के लिए चला गया कि इस चतुष्कोणीय द्विघात रूप के वेरिएंट को वास्तविक रैखिक परिवर्तनों द्वारा निम्नलिखित पाँच रूपों में से एक में लाया जा सकता है<ref>Klein (1893b), p. 64</ref>
और यह दिखाने के लिए चला गया कि इस चतुष्कोणीय द्विघात रूप के वेरिएंट को वास्तविक रैखिक परिवर्तनों द्वारा निम्नलिखित पाँच रूपों में से में लाया जा सकता है<ref>Klein (1893b), p. 64</ref>
<math display="block">\begin{align}
<math display="block">\begin{align}
z_1^2 + z_2^2 + z_3^2 + z_4^2 & \text{(zero part)}\\
z_1^2 + z_2^2 + z_3^2 + z_4^2 & \text{(zero part)}\\
Line 154: Line 154:
फार्म <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> गैर-यूक्लिडियन ज्यामिति पर क्लेन के काम का एक ऐतिहासिक विश्लेषण A'Campo और Papadopoulos (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> गैर-यूक्लिडियन ज्यामिति पर क्लेन के काम का ऐतिहासिक विश्लेषण A'Campo और Papadopoulos (2014) द्वारा दिया गया था।<ref name=cam />




Line 180: Line 180:
*{{Cite book|author=Killing, W.|year=1885|title=गैर-यूक्लिडियन स्थानिक रूप|location=Leipzig|publisher=Teubner|url=https://archive.org/details/dienichteuklidis00killuoft}}
*{{Cite book|author=Killing, W.|year=1885|title=गैर-यूक्लिडियन स्थानिक रूप|location=Leipzig|publisher=Teubner|url=https://archive.org/details/dienichteuklidis00killuoft}}
*{{Cite book|last1=Fricke |first1=R. |last2=Klein |first2=F.|year=1897|title=ऑटोमोर्फिक कार्यों के सिद्धांत पर व्याख्यान - खंड एक: समूह-सैद्धांतिक नींव|location=Leipzig|publisher=Teubner|url=https://archive.org/details/vorlesungenber01fricuoft}}
*{{Cite book|last1=Fricke |first1=R. |last2=Klein |first2=F.|year=1897|title=ऑटोमोर्फिक कार्यों के सिद्धांत पर व्याख्यान - खंड एक: समूह-सैद्धांतिक नींव|location=Leipzig|publisher=Teubner|url=https://archive.org/details/vorlesungenber01fricuoft}}
* [[बर्ट्रेंड रसेल]] (1898) ज्यामिति की नींव पर एक निबंध, डोवर प्रकाशन, इंक द्वारा 1956 में फिर से जारी किया गया।
* [[बर्ट्रेंड रसेल]] (1898) ज्यामिति की नींव पर निबंध, डोवर प्रकाशन, इंक द्वारा 1956 में फिर से जारी किया गया।
*[[अल्फ्रेड नॉर्थ व्हाइटहेड]] (1898) [http://projecteuclid.org/euclid.chmm/1263316509 यूनिवर्सल बीजगणित], पुस्तक VI अध्याय 1: दूरी का सिद्धांत, पीपी 347-70, विशेष रूप से धारा 199 केली की दूरी का सिद्धांत।
*[[अल्फ्रेड नॉर्थ व्हाइटहेड]] (1898) [http://projecteuclid.org/euclid.chmm/1263316509 यूनिवर्सल बीजगणित], पुस्तक VI अध्याय 1: दूरी का सिद्धांत, पीपी 347-70, विशेष रूप से धारा 199 केली की दूरी का सिद्धांत।
*{{Cite journal|author=Hausdorff, F.|year=1899|title=गैर-यूक्लिडियन ज्यामिति में विश्लेषणात्मक योगदान|journal=Leipziger Math.-Phys. Berichte|volume=51|pages=161–214|hdl=2027/hvd.32044092889328?urlappend=%3Bseq=303|url=http://hdl.handle.net/2027/hvd.32044092889328?urlappend=%3Bseq=303}}
*{{Cite journal|author=Hausdorff, F.|year=1899|title=गैर-यूक्लिडियन ज्यामिति में विश्लेषणात्मक योगदान|journal=Leipziger Math.-Phys. Berichte|volume=51|pages=161–214|hdl=2027/hvd.32044092889328?urlappend=%3Bseq=303|url=http://hdl.handle.net/2027/hvd.32044092889328?urlappend=%3Bseq=303}}

Revision as of 14:02, 11 March 2023

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

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

नींव

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

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

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

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


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

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

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

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

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

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

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

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

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

जो मेल खाता है

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

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

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

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

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

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]

original modern

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

original modern

दो आयामों में

original modern

दूरी के साथ

original modern

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

उन्होंने भी मामले की ओर इशारा किया (इकाई क्षेत्र)।

क्लेन

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

original modern

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

original modern

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

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

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

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

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

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

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


संदर्भ

ऐतिहासिक

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

अग्रिम पठन