एर्लांगेन कार्यक्रम
गणित में, एर्लांगेन कार्यक्रम समूह सिद्धांत और प्रक्षेपी ज्यामिति के आधार पर ज्यामिति को चिह्नित करने की एक विधि है। इसे 1872 में फेलिक्स क्लेन द्वारा वर्ग्लिचेंडे बेट्राचुंगेन उबेर न्यूरे जियोमेट्रिशे फोर्सचुंगेन के रूप में प्रकाशित किया गया था। इसका नाम एर्लांगेन-नूर्नबर्ग विश्वविद्यालय के नाम पर रखा गया है।
1872 तक, [[गैर-यूक्लिडियन ज्यामिति]] | गैर-यूक्लिडियन ज्यामिति उभरी थी, लेकिन उनके पदानुक्रम और संबंधों को निर्धारित करने के तरीके के बिना। क्लेन की पद्धति मौलिक रूप से तीन तरीकों से नवीन थी:
- प्रक्षेपी ज्यामिति पर उनके द्वारा विचार की गई अन्य सभी ज्यामितियों के लिए एकीकृत फ्रेम के रूप में जोर दिया गया था। विशेष रूप से, यूक्लिडियन ज्यामिति एफाइन ज्यामिति की तुलना में अधिक प्रतिबंधात्मक थी, जो बदले में प्रक्षेपी ज्यामिति की तुलना में अधिक प्रतिबंधात्मक है।
- क्लेन ने प्रस्तावित किया कि समूह सिद्धांत, गणित की एक शाखा जो समरूपता के विचार को अमूर्त करने के लिए बीजगणितीय विधियों का उपयोग करती है, ज्यामितीय ज्ञान को व्यवस्थित करने का सबसे उपयोगी तरीका था; उस समय इसे गैल्वा सिद्धांत के रूप में समीकरणों के सिद्धांत में पहले ही पेश किया जा चुका था।
- * क्लेन ने इस विचार को और अधिक स्पष्ट किया कि प्रत्येक ज्यामितीय भाषा की अपनी, उपयुक्त अवधारणाएँ होती हैं, इस प्रकार उदाहरण के लिए प्रक्षेपी ज्यामिति ने शंकु वर्गों के बारे में सही बात की, लेकिन मंडलियों या कोणों के बारे में नहीं क्योंकि वे धारणाएँ प्रक्षेपी परिवर्तनों के तहत अपरिवर्तनीय नहीं थीं (कुछ परिचित) ज्यामितीय दृष्टिकोण)। जिस तरह से ज्यामिति की कई भाषाएँ एक साथ वापस आईं, उन्हें एक दूसरे से संबंधित समरूपता समूह के उपसमूहों द्वारा समझाया जा सकता है।
बाद में, एली कार्टन ने कुछ प्रमुख बंडलों पर कार्टन कनेक्शनों के लिए क्लेन के सजातीय मॉडल रिक्त स्थान को सामान्यीकृत किया, जिसने रीमैनियन ज्यामिति को सामान्यीकृत किया।
उन्नीसवीं सदी की ज्यामिति की समस्याएं
यूक्लिड के बाद से, ज्यामिति का मतलब दो आयामों (यूक्लिडियन विमान ज्यामिति) या तीन आयामों (ठोस ज्यामिति) के यूक्लिडियन अंतरिक्ष की ज्यामिति था। उन्नीसवीं शताब्दी के पूर्वार्द्ध में तस्वीर को जटिल बनाने वाले कई विकास हुए थे। गणितीय अनुप्रयोगों के लिए उच्च आयामों की ज्यामिति की आवश्यकता होती है; पारंपरिक यूक्लिडियन ज्यामिति की नींव की बारीकी से छानबीन ने दूसरों से समानांतर सिद्धांत की स्वतंत्रता का खुलासा किया था, और गैर-यूक्लिडियन ज्यामिति का जन्म हुआ था। क्लेन ने एक विचार प्रस्तावित किया कि ये सभी नई ज्यामिति प्रक्षेपी ज्यामिति के केवल विशेष मामले हैं, जैसा कि पहले से ही जीन-विक्टर पोंसेलेट , अगस्त फर्डिनेंड मोबियस | मोबियस, आर्थर केली और अन्य द्वारा विकसित किया गया है। क्लेन ने गणितीय भौतिकविदों को दृढ़ता से सुझाव दिया कि प्रक्षेपी दायरे की एक सामान्य साधना भी उनके लिए पर्याप्त लाभ ला सकती है।
प्रत्येक ज्यामिति के साथ, क्लेन एक अंतर्निहित समरूपता समूह से जुड़ा हुआ है। ज्यामिति के पदानुक्रम को इस प्रकार गणितीय रूप से इन समूहों (गणित) के पदानुक्रम और उनके अपरिवर्तनीय (गणित) के पदानुक्रम के रूप में दर्शाया गया है। उदाहरण के लिए, लंबाई, कोण और क्षेत्र समरूपता के यूक्लिडियन समूह के संबंध में संरक्षित हैं, जबकि केवल घटना संरचना और क्रॉस-अनुपात सबसे सामान्य प्रक्षेपी ज्यामिति के तहत संरक्षित हैं। समांतर (ज्यामिति) वाद की एक अवधारणा, जो एफ़ाइन ज्यामिति में संरक्षित है, प्रक्षेपी ज्यामिति में अर्थपूर्ण नहीं है। फिर, ज्यामिति से समरूपता के अंतर्निहित समूह (गणित) को अमूर्त करके, उनके बीच के संबंधों को समूह स्तर पर फिर से स्थापित किया जा सकता है। चूंकि एफाइन ज्योमेट्री का समूह प्रोजेक्टिव ज्योमेट्री के समूह का एक उपसमूह है, प्रोजेक्टिव ज्योमेट्री में कोई भी धारणा अपरिवर्तनीय है, जो एफाइन ज्योमेट्री में एक प्राथमिक सार्थक है; लेकिन दूसरी तरफ नहीं। यदि आप आवश्यक समरूपता को हटा देते हैं, तो आपके पास अधिक शक्तिशाली सिद्धांत है लेकिन कम अवधारणाएं और प्रमेय (जो अधिक गहरा और अधिक सामान्य होगा)।
सजातीय रिक्त स्थान
दूसरे शब्दों में, पारंपरिक स्थान सजातीय स्थान हैं; लेकिन विशिष्ट रूप से निर्धारित समूह के लिए नहीं। समूह बदलने से उपयुक्त ज्यामितीय भाषा बदल जाती है।
आज की भाषा में शास्त्रीय ज्यामिति से संबंधित सभी समूहों को लाई समूह के रूप में जाना जाता है: शास्त्रीय समूह। तकनीकी भाषा का उपयोग करते हुए विशिष्ट संबंधों को काफी सरलता से वर्णित किया गया है।
उदाहरण
उदाहरण के लिए, n वास्तविक-मूल्यवान आयामों में प्रक्षेपी ज्यामिति का समूह n-आयामी वास्तविक प्रक्षेपी स्थान का समरूपता समूह है (डिग्री का सामान्य रैखिक समूह n + 1, स्केलर मैट्रिक्स द्वारा उद्धृत)। एफ़िन समूह अनंत पर चुने गए हाइपरप्लेन का सम्मान करने वाला उपसमूह होगा (स्वयं मानचित्रण, बिंदुवार फिक्सिंग नहीं)। इस उपसमूह की एक ज्ञात संरचना है (अनुवाद (ज्यामिति) के उपसमूह के साथ डिग्री एन के सामान्य रैखिक समूह का अर्ध-प्रत्यक्ष उत्पाद)। यह विवरण तब हमें बताता है कि कौन से गुण 'एफ़ाइन' हैं। यूक्लिडियन समतल ज्यामिति के शब्दों में, एक समांतर चतुर्भुज होने के कारण संबंध होता है क्योंकि परिशोधन परिवर्तन हमेशा एक समांतर चतुर्भुज को दूसरे में ले जाता है। एक सर्कल होने के नाते एफ़िन नहीं है क्योंकि एक एफ़िन कतरनी एक सर्कल को अंडाकार में ले जाएगी।
एफाइन और यूक्लिडियन ज्यामिति के बीच के संबंध को सटीक रूप से समझाने के लिए, अब हमें एफाइन समूह के भीतर यूक्लिडियन ज्यामिति के समूह को पिन करने की आवश्यकता है। यूक्लिडियन समूह वास्तव में (एफ़िन समूह के पिछले विवरण का उपयोग करके) अनुवाद के साथ ऑर्थोगोनल (रोटेशन और रिफ्लेक्शन) समूह का अर्ध-प्रत्यक्ष उत्पाद है। (अधिक विवरण के लिए क्लेन ज्यामिति देखें।)
बाद के काम पर प्रभाव
एर्लांगेन कार्यक्रम के दीर्घकालिक प्रभाव पूरे शुद्ध गणित में देखे जा सकते हैं (उदाहरण के लिए सर्वांगसमता (ज्यामिति) पर मौन प्रयोग देखें); और समरूपता (भौतिकी) के समूहों का उपयोग करके रूपांतरण और संश्लेषण का विचार भौतिकी में मानक बन गया है।
जब टोपोलॉजी को होमियोमोर्फिज्म के तहत गुण अपरिवर्तनीय (गणित) के संदर्भ में नियमित रूप से वर्णित किया जाता है, तो कोई ऑपरेशन में अंतर्निहित विचार देख सकता है। शामिल समूह लगभग सभी मामलों में अनंत-आयामी होंगे - और झूठ समूह नहीं - लेकिन दर्शन समान है। बेशक यह ज्यादातर क्लेन के शैक्षणिक प्रभाव की बात करता है। किताबें जैसे कि एच.एस.एम. Coxeter नियमित रूप से 'ज्यामिति' को 'जगह' देने में मदद करने के लिए Erlangen प्रोग्राम दृष्टिकोण का उपयोग करता है। शैक्षणिक दृष्टि से, कार्यक्रम रूपांतरण ज्यामिति बन गया, इस अर्थ में एक मिश्रित आशीर्वाद कि यह यूक्लिड की शैली की तुलना में मजबूत अंतर्ज्ञान पर बनाता है, लेकिन कम आसानी से एक तार्किक प्रणाली में परिवर्तित हो जाता है।
अपनी पुस्तक स्ट्रक्चरलिज़्म (1970) में जीन पिअगेट कहते हैं, समकालीन संरचनावादी गणितज्ञों की नज़र में, निकोलस बोरबाकी की तरह, एर्लांगेन कार्यक्रम संरचनावाद के लिए केवल एक आंशिक जीत है, क्योंकि वे सभी गणित को अधीन करना चाहते हैं, न कि केवल ज्यामिति को, इस विचार को गणितीय संरचना का।
एक ज्यामिति और उसके समूह के लिए, समूह के एक तत्व को कभी-कभी ज्यामिति की गति (ज्यामिति) कहा जाता है। उदाहरण के लिए, अतिशयोक्तिपूर्ण गतियों के आधार पर एक विकास के माध्यम से अतिशयोक्तिपूर्ण ज्यामिति के पोंकारे अर्ध-विमान मॉडल के बारे में सीख सकते हैं। इस तरह के विकास से क्रमिक गतियों द्वारा अति समानांतर प्रमेय को व्यवस्थित रूप से सिद्ध करने में मदद मिलती है।
एर्लांगेन कार्यक्रम से सार रिटर्न
अक्सर, ऐसा प्रतीत होता है कि आइसोमोर्फिक ऑटोमोर्फिज्म समूहों के साथ दो या दो से अधिक विशिष्ट ज्यामिति हैं। अमूर्त समूह से ज्यामिति तक एर्लांगेन कार्यक्रम को पढ़ने का प्रश्न उठता है।
एक उदाहरण: उन्मुख (अर्थात, परावर्तन (गणित) शामिल नहीं है) दीर्घवृत्तीय ज्यामिति (अर्थात, एक n-क्षेत्र की सतह|n-गोले की पहचान की गई विपरीत बिंदुओं के साथ) और उन्मुख गोलाकार ज्यामिति (समान गैर-यूक्लिडियन ज्यामिति|गैर-यूक्लिडियन ज्यामिति, लेकिन विपरीत बिंदुओं की पहचान नहीं की गई) आइसोमोर्फिक ऑटोमोर्फिज्म समूह, विशेष ऑर्थोगोनल समूह | SO(n+1) भी n के लिए है। ये अलग प्रतीत हो सकते हैं। हालाँकि, यह पता चला है कि ज्यामिति बहुत निकट से संबंधित हैं, एक तरह से जिसे सटीक बनाया जा सकता है।
एक और उदाहरण लेने के लिए, वक्रता (गणित) के विभिन्न त्रिज्या वाले अण्डाकार ज्यामिति में आइसोमोर्फिक ऑटोमोर्फिज्म समूह होते हैं। यह वास्तव में समालोचना के रूप में नहीं गिना जाता है क्योंकि ऐसी सभी ज्यामिति समरूपी हैं। जनरल रीमैनियन ज्यामिति कार्यक्रम की सीमाओं के बाहर आती है।
समूह SL2(R)|SL(2,'R') के लिए जटिल आंकड़े, दोहरी संख्या और विभाजित-जटिल संख्या | डबल (स्प्लिट-कॉम्प्लेक्स के रूप में भी जाना जाता है) नंबर सजातीय रिक्त स्थान SL(2,'R')/H के रूप में दिखाई देते हैं। ) और इसके उपसमूह H=A, N, K.[1] समूह SL(2,R) रैखिक आंशिक परिवर्तनों द्वारा इन सजातीय स्थानों पर कार्य करता है और संबंधित ज्यामिति का एक बड़ा हिस्सा Erlangen कार्यक्रम से एक समान तरीके से प्राप्त किया जा सकता है।
भौतिकी में कुछ और उल्लेखनीय उदाहरण सामने आए हैं।
सबसे पहले, n-डायमेंशनल हाइपरबोलिक ज्योमेट्री, n-डायमेंशनल सिटर स्पेस द्वारा और (n−1)-डायमेंशनल उलटा ज्यामिति सभी में आइसोमॉर्फिक ऑटोमोर्फिज्म ग्रुप होते हैं,
ऑर्थोक्रोनस लोरेंत्ज़ समूह, के लिए n ≥ 3. लेकिन ये स्पष्ट रूप से अलग ज्यामिति हैं। यहां भौतिकी से कुछ रोचक परिणाम दर्ज होते हैं। यह दिखाया गया है कि तीन ज्यामितीयों में से प्रत्येक में भौतिकी मॉडल कुछ मॉडलों के लिए दोहरे हैं।
फिर से, एन-डायमेंशनल [[एंटी-डी ट्विस्टर स्पेस]] और (एन-1) लोरेंट्ज़ियन सिग्नेचर के साथ डायमेंशनल अनुरूप स्थान (यूक्लिडियन सिग्नेचर के साथ कंफर्मल स्पेस के विपरीत, जो तीन आयामों या अधिक के लिए व्युत्क्रम ज्यामिति के समान है) में आइसोमोर्फिक ऑटोमोर्फिज्म समूह हैं। , लेकिन विशिष्ट ज्यामिति हैं। एक बार फिर, भौतिकी में दोनों ज्यामिति के बीच द्वैत वाले मॉडल हैं। अधिक विवरण के लिए विज्ञापन/सीएफटी देखें।
SU(2,2) का कवरिंग ग्रुप SO(4,2) के कवरिंग ग्रुप के लिए आइसोमोर्फिक है, जो कि 4D कंफर्मल मिन्कोस्की स्पेस और 5D एंटी-डी सिटर स्पेस और एक कॉम्प्लेक्स फोर-डायमेंशनल ट्विस्टर का सिमिट्री ग्रुप है। अंतरिक्ष।
भौतिकी में द्वैत के संबंध में Erlangen कार्यक्रम को अभी भी उर्वर माना जा सकता है।
सेमिनल पेपर में जिसने श्रेणी सिद्धांत पेश किया, सॉन्डर्स मैक लेन और सैमुअल एलेनबर्ग ने कहा: इसे क्लेन एर्लांगर कार्यक्रम की निरंतरता के रूप में माना जा सकता है, इस अर्थ में कि इसके परिवर्तनों के समूह के साथ एक ज्यामितीय स्थान अपने बीजगणित के साथ एक श्रेणी के लिए सामान्यीकृत है। मैपिंग का।[2] ज्यामिति में groupoid पर चार्ल्स एह्रेसमैन के काम के साथ एर्लांगेन कार्यक्रम के संबंध नीचे दिए गए लेख में प्रदीन्स द्वारा विचार किए गए हैं।[3] गणितीय तर्क में, एर्लांगेन कार्यक्रम ने अल्फ्रेड टार्स्की के लिए अल्फ्रेड टार्स्की # तार्किक धारणाओं पर काम के अपने विश्लेषण में एक प्रेरणा के रूप में भी काम किया।[4]
संदर्भ
- ↑ Kisil, Vladimir V. (2012). Geometry of Möbius transformations. Elliptic, parabolic and hyperbolic actions of SL(2,R). London: Imperial College Press. p. xiv+192. doi:10.1142/p835. ISBN 978-1-84816-858-9.
- ↑ S. Eilenberg and S. Mac Lane, A general theory of natural equivalences, Trans. Amer. Math. Soc., 58:231–294, 1945. (p. 237); the point is elaborated in Jean-Pierre Marquis (2009), From a Geometrical Point of View: A Study of the History of Category Theory, Springer, ISBN 978-1-4020-9383-8
- ↑ Jean Pradines, In Ehresmann's footsteps: from group geometries to groupoid geometries (English summary) Geometry and topology of manifolds, 87–157, Banach Center Publ., 76, Polish Acad. Sci., Warsaw, 2007.
- ↑ Luca Belotti, Tarski on Logical Notions, Synthese, 404-413, 2003.
- Klein, Felix (1872) "A comparative review of recent researches in geometry". Complete English Translation is here https://arxiv.org/abs/0807.3161.
- Sharpe, Richard W. (1997) Differential geometry: Cartan's generalization of Klein's Erlangen program Vol. 166. Springer.
- Heinrich Guggenheimer (1977) Differential Geometry, Dover, New York, ISBN 0-486-63433-7.
- Covers the work of Lie, Klein and Cartan. On p. 139 Guggenheimer sums up the field by noting, "A Klein geometry is the theory of geometric invariants of a transitive transformation group (Erlangen program, 1872)".
- Thomas Hawkins (1984) "The Erlanger Program of Felix Klein: Reflections on Its Place In the History of Mathematics", Historia Mathematica 11:442–70.
- "Erlangen program", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
- Lizhen Ji and Athanase Papadopoulos (editors) (2015) Sophus Lie and Felix Klein: The Erlangen program and its impact in mathematics and physics, IRMA Lectures in Mathematics and Theoretical Physics 23, European Mathematical Society Publishing House, Zürich.
- Felix Klein (1872) "Vergleichende Betrachtungen über neuere geometrische Forschungen" ('A comparative review of recent researches in geometry'), Mathematische Annalen, 43 (1893) pp. 63–100 (Also: Gesammelte Abh. Vol. 1, Springer, 1921, pp. 460–497).
- An English translation by Mellen Haskell appeared in Bull. N. Y. Math. Soc 2 (1892–1893): 215–249.
- The original German text of the Erlangen program can be viewed at the University of Michigan online collection at [1], and also at [2] in HTML format.
- A central information page on the Erlangen program maintained by John Baez is at [3].
- Felix Klein (2004) Elementary Mathematics from an Advanced Standpoint: Geometry, Dover, New York, ISBN 0-486-43481-8
- (translation of Elementarmathematik vom höheren Standpunkte aus, Teil II: Geometrie, pub. 1924 by Springer). Has a section on the Erlangen program.
