नॉन-यूक्लीडियन ज्यामिति



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

मापीय ज्यामितीयों के बीच आवश्यक अंतर समानांतर (ज्यामिति) रेखाओं की प्रकृति होती है। यूक्लिड की पाँचवीं अभिधारणा, समानांतर अभिधारणा, प्लैफेयर की अभिधारणा के समतुल्य है, जो बताती है कि, द्वि-आयामी समतल के अन्दर, किसी भी दी गई रेखा $l$ और एक बिंदु A के लिए, जो $l$ पर नहीं है, A से होकर जाने वाली ठीक एक रेखा है जो $l$ को प्रतिच्छेदित नहीं करती है। तथा $l$ अतिपरवलीय ज्यामिति में इसके विपरीत A से होकर जाने वाली अपरिमित रूप से कई रेखाएँ होती हैं, जो $l$ को नहीं प्रतिच्छेदित करती हैं, जबकि दीर्घवृत्तीय ज्यामिति में A से होकर जाने वाली कोई भी रेखा $l$ को प्रतिच्छेदित करती है।

इन ज्यामितीयों के बीच के अंतरों का वर्णन करने का एक अन्य तरीके से दो सीधी रेखाओं पर विचार करना है, जो एक द्वि-आयामी समतल में अनिश्चित रूप से विस्तारित होती हैं। तथा दोनों एक तीसरी रेखा (एक ही समतल में) के लंबवत होती हैं।
 * यूक्लिडियन ज्यामिति में रेखाएँ एक दूसरे से एक स्थिर दूरी पर बनी रहती हैं। जिसका अर्थ है कि किसी बिंदु पर एक रेखा के लंबवत खींची गई रेखा दूसरी रेखा को प्रतिच्छेदित करती है और प्रतिच्छेदन के बिंदुओं को मिलाने वाले रेखा खंड की लंबाई स्थिर रहती है। एवं यह ज्ञात हैं कि इसे समानांतर के रूप में जाना जाता है।
 * अतिपरवलीय ज्यामिति में वे एक दूसरे से वक्राकार रूप से दूर होते हैं, जैसे-जैसे सामान्य लंब के साथ प्रतिच्छेदन के बिंदुओं से दूरी बढ़ती जाती है। इन रेखाओ को प्रायः अति समानांतर कहा जाता है।
 * दीर्घवृत्तीय ज्यामिति में, रेखाएँ एक दूसरे की ओर वक्र होती हैं और प्रतिच्छेद करती हैं।

पृष्ठदृश्य (Background)
यूक्लिडियन ज्यामिति, जिसका नाम ग्रीक गणितज्ञ यूक्लिड के नाम पर रखा गया है,इसमे कुछ सबसे पुराने ज्ञात गणित भी सम्मिलित हैं, और इससे विचलित होने वाली ज्यामिति को व्यापक रूप से 19वीं शताब्दी तक व्यापक रूप में स्वीकार नहीं किया गया था।

तर्क वाद जो अंततः गैर-यूक्लिडियन ज्यामितीयों की खोज की ओर ले गया।, जैसे ही यूक्लिड ने तत्वों(Elements) मे लिखे यूक्लिड सीमित संख्या में मान्यताओं (23 परिभाषाएँ, पाँच सामान्य धारणाएँ और पाँच अभिधारणाएँ) के साथ प्रारम्भ होता है और फलन में अन्य सभी परिणामों (प्रस्तावों) को सिद्ध करने का प्रयास करता है। अभिधारणाओं में से सबसे कुख्यात(notorious) को प्रायः यूक्लिड की पांचवीं अभिधारणा या केवल समानांतर अभिधारणा के रूप में संदर्भित किया जाता है, जो यूक्लिड के मूल सूत्रीकरण में होती है। "यदि एक सीधी रेखा दो सीधी रेखाओं पर इस प्रकार पड़ती है कि एक ही ओर के अंतः कोण दो समकोणों से कम होते हैं, तो सरल रेखाएँ यदि अनिश्चित रूप से बढ़ायी जाती हैं, तो उस ओर मिलती हैं, जिस ओर कोणों की तुलना में कम दो समकोण होते हैं।" अन्य गणितज्ञों ने इस गुण की सरल रूपों की रचना की है। अभिधारणा के रूप के अतिरिक्त, हालांकि यह यूक्लिड की अन्य अभिधारणाओं की तुलना में लगातार अधिक जटिल प्रतीत होता है।


 * 1) किसी बिंदु से किसी बिंदु तक एक सीधी रेखा को खींचना।
 * 2) एक सीधी रेखा में लगातार एक परिमित सीधी रेखा का निर्माण करना।
 * 3) किसी भी केंद्र और दूरी (त्रिज्या) के साथ एक वृत्त का वर्णन करने के लिए।
 * 4) सभी समकोण एक दूसरे के बराबर होते हैं।

कम से कम एक हजार वर्षों के लिए जियोमीटर पांचवें अभिधारणा की विषम जटिलता से परेशान(troubled) थे, और उनका मानना ​​था। कि इसे अन्य चार से एक प्रमेय के रूप में सिद्ध किया जा सकता है। इब्न अल-हेथम 11वीं शताब्दी उमर खय्याम 12वीं शताब्दी, नसीर अल-दीन अल-तुसी 13वीं शताब्दी, और जियोवन्नी गिरोलामो साचेरी 18वीं शताब्दी सहित कई लोगों ने खंडन द्वारा प्रमाण खोजने का प्रयास किया।

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

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

गियोर्डानो विटाले ने अपनी पुस्तक यूक्लाइड रेस्टिटुओ (1680, 1686) में, सचेरी चतुर्भुज का उपयोग यह सिद्ध करने के लिए किया कि यदि आधार AB और शिखर CD पर तीन बिंदु समान दूरी पर हैं, तो AB और CD हर जगह समान दूरी पर हैं।

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

वह अंत में उस बिंदु पर पहुंचे जहां उनका मानना ​​था कि उनके परिणामों ने अतिपरवलीय ज्यामिति की असंभवता का प्रदर्शन किया। उनका दावा यूक्लिडियन पूर्वधारणाओं पर आधारित प्रतीत होता है, क्योंकि कोई तार्किक खंडन उपस्थित नहीं था। यूक्लिडियन ज्यामिति को सिद्ध करने के इस प्रयास में उन्होंने इसके अतिरिक्त अनजाने में ही एक नई व्यवहार्य ज्यामिति की खोज की, लेकिन इसका एहसास तक नहीं हुआ था।

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

इस समय यह व्यापक रूप से माना जाता था। कि ब्रह्मांड यूक्लिडियन ज्यामिति के सिद्धांतों के अनुसार यह कार्य करता है।

गैर-यूक्लिडियन ज्यामिति की खोज
19वीं शताब्दी के प्रारम्भ के अंतत: गैर-यूक्लिडियन ज्यामिति के निर्माण में निर्णायक कदमों(teps )का प्रमाण बनेगी। लगभग 1813 कार्ल फ्रेडरिक गॉस और स्वतंत्र रूप से 1818 के आसपास, कानून के जर्मन प्राध्यापक फर्डिनेंड कार्ल श्वेकार्ट ने गैर-यूक्लिडियन ज्यामिति के मूल विचारों पर कार्य किया।, लेकिन कोई भी परिणाम प्रकाशित नही किया। श्वेकार्ट के भतीजे फ्रांज टॉरिनस ने 1825 और 1826 में दो पत्रों में अतिपरवलीय त्रिकोणमिति के महत्वपूर्ण परिणामों को प्रकाशित किया था, फिर भी अतिपरवलीय ज्यामिति की आंतरिक स्थिरता को स्वीकार करते हुए, वह अभी भी यूक्लिडियन ज्यामिति की विशेष भूमिका में विश्वास करते थे।

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

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

एक वक्रता प्रदिश(tensor) के संदर्भ में ज्यामिति तैयार करके रीमैन ने गैर-यूक्लिडियन ज्यामिति को उच्च आयामों पर लागू करने की अनुमति दी। तथा बेल्ट्रामी (1868) ऋण वक्रता वाले स्थानों पर रीमैन की ज्यामिति को लागू करने वाले यह पहले व्यक्ति थे।

शब्दावली (Terminology)
यह गॉस थे, जिन्होंने गैर-यूक्लिडियन ज्यामिति शब्द गढ़ा(coined) था। वह अपने कार्य का जिक्र कर रहे थे, जिसे आज हम अतिपरवलीय ज्यामिति कहते हैं। कई आधुनिक लेखक अभी भी गैर-यूक्लिडियन ज्यामिति और अतिपरवलीय ज्यामिति को पर्यायवाची मानते हैं।

आर्थर केली ने विख्यात किया कि एक शंकु के अंदर बिंदुओं के बीच की दूरी को लघुगणक और प्रक्षेप्य क्रॉस-अनुपात को फलन के संदर्भ में परिभाषित किया जा सकता है। इस पद्धति को केली-क्लेन मापीय कहा जाता है। क्योंकि फेलिक्स क्लेन ने 1871 और 1873 में और बाद में पुस्तक के रूप में लेखों में गैर-यूक्लिडियन ज्यामिति का वर्णन करने के लिए इसका शोषण किया। केली-क्लेन(Cayley–Klein) मापीय ने अतिपरवलीय और दीर्घवृत्तीय मापीय ज्यामिति के साथ-साथ यूक्लिडियन ज्यामिति के कार्यशील प्रारूप प्रदान किए।

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

कुछ गणितज्ञ ऐसे हैं, जो ज्यामिति की सूची का विस्तार करेंगे।, जिन्हें विभिन्न तरीकों से गैर-यूक्लिडियन कहा जाना चाहिए।

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

एक गैर-यूक्लिडियन ज्यामिति प्राप्त करने के लिए, समानांतर अवधारणा (या इसके समतुल्य) को इसके निषेध द्वारा प्रतिस्थापित किया जाना चाहिए। Playfair के स्वयंसिद्ध रूप को नकारना, क्योंकि यह एक यौगिक कथन है (... एक और केवल एक उपस्थित है ...), दो तरीकों से किया जा सकता है।


 * या तो दी गई रेखा के समानांतर बिंदु से जाने वाली एक से अधिक रेखा उपस्थित होगी या दी गई रेखा के समानांतर बिंदु से कोई रेखा उपस्थित नहीं होगी। पहले मामले में, समानांतर अवधारणा (या इसके समतुल्य) को जमा के साथ "एक समतल में, एक बिंदु दिया गया है और पी के माध्यम से पहुंच वाली रेखा एल नहीं है, पी के माध्यम से दो वरीयताएं उपस्थित हैं, जो एल से नहीं मिलते हैं" और अन्य सभी अभिगृहीत, अतिपरवलीय शीर्षक वाले हैं।
 * दूसरा मामला इतनी आसानी से नहीं सुलझा। केवल समानांतर अभिधारणा को इस कथन से प्रतिस्थापित करने पर, "एक समतल में, एक बिंदु P दिया गया है और एक रेखा l जो P से नहीं गुजरती है, P से होकर जाने वाली सभी रेखाएँ l से मिलती हैं", अभिगृहीतों का एक सुसंगत समुच्चय नहीं देता है। यह इस प्रकार है क्योंकि समानांतर रेखाएँ निरपेक्ष ज्यामिति में उपस्थित हैं, लेकिन यह कथन कहता है कि कोई समानांतर रेखाएँ नहीं हैं। यह समस्या खय्याम, सचेरी और लैम्बर्ट के लिए (एक अलग आड़ में) जानी जाती थी और उनके अस्वीकार करने का आधार था जिसे "आंशिक कोण मामले" के रूप में जाना जाता था। सिद्धांतों का एक सुसंगत सेट प्राप्त करने के लिए जिसमें कोई समानांतर रेखा न होने के बारे में यह स्वयंसिद्ध सम्मिलित है, कुछ अन्य स्वयंसिद्धों को ट्वीक किया जाना चाहिए। ये समायोजन प्रयुक्त स्वयंसिद्ध प्रणाली पर निर्भर करते हैं। दूसरों के बीच, इन ट्वीक में यूक्लिड की दूसरी अभिधारणा को इस कथन से संशोधित करने का प्रभाव है कि रेखा खंडों को अनिश्चित काल तक इस कथन तक बढ़ाया जा सकता है कि रेखाएँ अबाधित हैं। रीमैन की दीर्घवृत्तीय ज्यामिति इस स्वयंसिद्ध को संतुष्ट करने वाली सबसे प्राकृतिक ज्यामिति के रूप में उभरती है।

गैर-यूक्लिडियन ज्यामिति के मॉडल
दो आयामी यूक्लिडियन ज्यामिति एक समतल समतल (गणित) की हमारी धारणा द्वारा मॉडल (सार) है।

दीर्घवृत्तीय ज्यामिति
दीर्घवृत्तीय ज्यामिति के लिए सबसे सरल मॉडल एक गोला है, जहाँ रेखाएँ "महान वृत्त" होती हैं (जैसे कि भूमध्य रेखा या ग्लोब पर भूमध्य रेखा), और एक दूसरे के विपरीत बिंदु (एंटीपोडल बिंदु कहलाते हैं) की पहचान की जाती है (समान माना जाता है)। यह भी वास्तविक प्रक्षेपी समतल के मानक मॉडलों में से एक है। अंतर यह है कि दीर्घवृत्तीय ज्यामिति के एक मॉडल के रूप में लंबाई और कोणों के माप की अनुमति देने वाला एक मापीय पेश किया जाता है, जबकि प्रक्षेपी समतल के एक मॉडल के रूप में ऐसी कोई मापीय नहीं है।

दीर्घवृत्तीय मॉडल में, किसी भी रेखा के लिए $l$ और एक बिंदु A, जो चालू नहीं है $l$, A से होकर जाने वाली सभी रेखाएँ प्रतिच्छेद करेंगी $l$.

अतिपरवलीय ज्यामिति
लोबचेव्स्की, गॉस और बोल्याई के कार्य के बाद भी, यह सवाल बना रहा: "क्या ऐसा मॉडल अतिपरवलीय ज्यामिति के लिए उपस्थित है?"। अतिपरवलीय ज्यामिति के लिए मॉडल का उत्तर 1868 में यूजेनियो बेल्ट्रामी द्वारा दिया गया था, जिन्होंने पहली बार दिखाया था कि छद्ममंडल नामक सतह में अतिपरवलीय स्थान के एक हिस्से को मॉडल करने के लिए उपयुक्त वक्रता है और उसी वर्ष एक दूसरे पेपर में, क्लेन मॉडल को परिभाषित किया, जो अतिपरवलीय अंतरिक्ष की संपूर्णता को मॉडल करता है, और इसका उपयोग यह दिखाने के लिए करता है कि यूक्लिडियन ज्यामिति और अतिपरवलीय ज्यामिति समतुल्य थे ताकि अतिपरवलीय ज्यामिति तार्किक रूप से सुसंगत थी यदि और केवल यदि यूक्लिडियन ज्यामिति थी। (उलटा निहितार्थ यूक्लिडियन ज्यामिति के होरोस्फीयर मॉडल से आता है।

अतिपरवलीय मॉडल में, किसी दिए गए रेखा के लिए, द्वि-आयामी समतल के अन्दर $l$ और एक बिंदु A, जो चालू नहीं है $l$, A के माध्यम से अनंत सेट कई रेखाएँ हैं जो $l$ प्रतिच्छेद नहीं करती हैं।

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

त्रि-आयामी गैर-यूक्लिडियन ज्यामिति
तीन आयामों में, ज्यामिति के आठ मॉडल हैं। यूक्लिडियन, दीर्घवृत्तीय और अतिपरवलीय ज्यामिति हैं, जैसा कि द्वि-आयामी मामले में है; मिश्रित ज्यामिति जो आंशिक रूप से यूक्लिडियन और आंशिक रूप से अतिपरवलीय या गोलाकार हैं; मिश्रित ज्यामिति के मुड़ संस्करण; और एक असामान्य ज्यामिति जो पूरी तरह से असमदिग्वर्ती होने की दशा है (अर्थात हर दिशा अलग तरह से व्यवहार करती है।

असामान्य गुण (Uncommon properties)
यूक्लिडियन और गैर-यूक्लिडियन ज्यामिति में स्वाभाविक रूप से कई समान गुण होते हैं, अर्थात् वे जो समानता की प्रकृति पर निर्भर नहीं होते हैं। यह समानता पूर्ण ज्यामिति (जिसे तटस्थ ज्यामिति भी कहा जाता है) का विषय है। हालांकि, गुण जो एक ज्यामिति को दूसरों से अलग करते हैं, ने ऐतिहासिक रूप से सबसे अधिक ध्यान आकर्षित किया है।

सामान्य लंब के संबंध में रेखाओं के व्यवहार के अलावा, जिसका उल्लेख प्रस्तावना में किया गया है, हमारे पास निम्नलिखित भी हैं।
 * लैम्बर्ट चतुर्भुज तीन समकोणों वाला चतुर्भुज है। लैम्बर्ट चतुर्भुज का चौथा कोण तीव्र है यदि ज्यामिति अतिपरवलीय है, एक समकोण है यदि ज्यामिति यूक्लिडियन है या यदि ज्यामिति दीर्घवृत्तीय है तो अधिक कोण है। नतीजतन, केवल यूक्लिडियन ज्यामिति में आयत उपस्थित हैं (समानांतर अवधारणा के बराबर एक बयान)।
 * सैचेरी चतुर्भुज एक ऐसा चतुर्भुज होता है जिसकी दो भुजाएँ समान लंबाई की होती हैं, दोनों एक भुजा के लम्बवत् होती हैं जिसे आधार कहा जाता है। सैचेरी चतुर्भुज के अन्य दो कोण शिखर कोण कहलाते हैं और उनका माप समान होता है। यदि ज्यामिति अतिपरवलीय है, तो साचेरी चतुर्भुज के शिखर कोण तीव्र होते हैं, यदि ज्यामिति यूक्लिडियन है तो समकोण और यदि ज्यामिति दीर्घवृत्तीय है तो अधिक कोण होते हैं।
 * किसी भी त्रिभुज के कोणों का योग 180° से कम होता है यदि ज्यामिति अतिपरवलीय है, 180° के बराबर है यदि ज्यामिति यूक्लिडियन है, और 180° से अधिक है यदि ज्यामिति दीर्घवृत्ताकार है। त्रिभुज का दोष संख्यात्मक मान (180° - त्रिभुज के कोणों के माप का योग) होता है। इस परिणाम को इस प्रकार भी कहा जा सकता है: अतिपरवलीय ज्यामिति में त्रिभुजों का दोष धनात्मक होता है, यूक्लिडियन ज्यामिति में त्रिभुजों का दोष शून्य होता है, और दीर्घवृत्तीय ज्यामिति में त्रिभुजों का दोष ऋणात्मक होता है।

महत्व (Importance)
Beltrami, Klein, और Poincaré द्वारा एक गैर-यूक्लिडियन समतल के मॉडल प्रस्तुत किए जाने से पहले, यूक्लिडियन ज्यामिति अंतरिक्ष के गणितीय मॉडल के रूप में चुनौतीहीन थी। इसके अलावा, चूंकि सिंथेटिक ज्यामिति में विषय का पदार्थ तर्कसंगतता का एक प्रमुख प्रदर्शन था, यूक्लिडियन दृष्टिकोण पूर्ण अधिकार का प्रतिनिधित्व करता था।

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

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

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

समतल बीजगणित (Planar algebras)
विश्लेषणात्मक ज्यामिति में एक समतल (ज्यामिति) कार्तीय निर्देशांकों के साथ वर्णित है: C = { (x,y): x, y ℝ }। बिंदु (ज्यामिति) को कभी-कभी सम्मिश्र संख्याओं से पहचाना जाता है $z = x + y ε$ जहां ई2 ∈ { -1, 0, 1}।

यूक्लिडियन समतल मामले से मेल खाता है $ε^{2} = &minus;1$ के मापांक के बाद से $z$ द्वारा दिया गया है
 * $$z z^\ast = (x + y \epsilon) (x - y \epsilon) = x^2 + y^2$$

और यह मात्रा यूक्लिडियन दूरी का वर्ग है $z$ और उत्पत्ति। उदाहरण के लिए, ${z | z z* = 1}$ इकाई वृत्त है।

प्लानर बीजगणित के लिए, अन्य स्थितियों में गैर-यूक्लिडियन ज्यामिति उत्पन्न होती है। कब $ε^{2} = +1$, फिर $z$ एक विभाजित-जटिल संख्या है और पारंपरिक रूप से $j$ एप्सिलॉन की जगह लेता है। फिर
 * $$z z^\ast = (x + y\mathbf{j}) (x - y\mathbf{j}) = x^2 - y^2 \!$$

तथा ${z | z z* = 1}$ इकाई अतिपरवलय है।

कब $ε^{2} = 0$, फिर $z$ एक दोहरी संख्या है। गैर-यूक्लिडियन ज्यामिति के लिए यह दृष्टिकोण गैर-यूक्लिडियन कोणों की व्याख्या करता है: दोहरी संख्या के समतल में ढलान के पैरामीटर और विभाजन-जटिल समतल में अतिपरवलीय कोण यूक्लिडियन ज्यामिति के कोण के अनुरूप होते हैं। वास्तव में, वे प्रत्येक एक जटिल संख्या के ध्रुवीय अपघटन#वैकल्पिक समतलीय अपघटन में उत्पन्न होते हैं $z$.

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

गैर-यूक्लिडियन प्लानर बीजगणित समतल में गतिज ज्यामिति का समर्थन करते हैं। उदाहरण के लिए, विभाजित-जटिल संख्या z = eaj तीव्रता के संदर्भ के एक फ्रेम के भविष्य में एक क्षण में एक स्पेसटाइम घटना का प्रतिनिधित्व कर सकता है। इसके अलावा, z द्वारा गुणा एक लोरेंत्ज़ बूस्ट मैपिंग को तेज़ी शून्य के साथ रैपिडिटी a के साथ करता है।

काइनेमैटिक अध्ययन दोहरी संख्याओं का उपयोग करता है $$z = x + y \epsilon, \quad \epsilon^2 = 0,$$ निरपेक्ष समय और स्थान में गति के सजातीय विवरण का प्रतिनिधित्व करने के लिए: समीकरण $$x^\prime = x + vt,\quad t^\prime = t$$ रैखिक बीजगणित में कतरनी मानचित्रण के बराबर हैं:
 * $$\begin{pmatrix}x' \\ t' \end{pmatrix} = \begin{pmatrix}1 & v \\ 0 & 1 \end{pmatrix}\begin{pmatrix}x \\ t \end{pmatrix}.$$

दोहरी संख्या के साथ मानचित्रण है $$t^\prime + x^\prime \epsilon = (1 + v \epsilon)(t + x \epsilon) = t + (x + vt)\epsilon.$$ गैर-यूक्लिडियन ज्यामिति के रूप में विशेष आपेक्षिकता का एक अन्य दृष्टिकोण एडविन बिडवेल विल्सन|ई द्वारा विकसित किया गया था। 1912 में कला और विज्ञान की अमेरिकी अकादमी की कार्यवाही में बी. विल्सन और गिल्बर्ट एन. लुईस। उन्होंने परिसर और कटौती के सिंथेटिक ज्यामिति में विभाजन-जटिल संख्या बीजगणित में निहित विश्लेषणात्मक ज्यामिति को नया रूप दिया।

फिक्शन
गैर-यूक्लिडियन ज्यामिति प्रायः विज्ञान कथा और फंतासी के कार्यों में प्रकट होती है।


 * 1895 में, एच. जी. वेल्स ने लघु कहानी द रिमार्केबल केस ऑफ़ डेविडसन आइज़ प्रकाशित की। इस कहानी की सराहना करने के लिए किसी को यह जानना चाहिए कि दीर्घवृत्त तल के एक मॉडल में एक गोले पर एंटीपोडल बिंदुओं की पहचान कैसे की जाती है। कहानी में, आंधी के बीच में, हार्लो टेक्निकल कॉलेज में एक विद्युत प्रयोगशाला में कार्य करते समय सिडनी डेविडसन लहरों और एक उल्लेखनीय स्वच्छ स्कूनर को देखता है। कहानी के अंत में, डेविडसन ने एच. एम.एस. एंटीपोड्स द्वीप से फुलमार।
 * गैर-यूक्लिडियन ज्यामिति को कभी-कभी 20वीं सदी के डरावनी [[कल्पना]] लेखक एच.पी. लवक्राफ्ट के प्रभाव से जोड़ा जाता है। उनके कार्यों में, कई अप्राकृतिक चीजें ज्यामिति के अपने स्वयं के अनूठे नियमों का पालन करती हैं: लवक्राफ्ट के Cthulhu Mythos में, R'lyeh के डूबे हुए शहर की विशेषता इसकी गैर-यूक्लिडियन ज्यामिति है। यह काफी हद तक निहित है कि यह केवल एक वैकल्पिक ज्यामितीय मॉडल का उपयोग करने के अतिरिक्त इस ब्रह्मांड के प्राकृतिक नियमों का पालन न करने के एक साइड इफेक्ट के रूप में प्राप्त किया जाता है, क्योंकि इसके बारे में कहा जाता है कि यह उन लोगों को ड्राइव करने में सक्षम है जो इसे पागल मानते हैं।
 * रॉबर्ट पिर्सिग ज़ेन और मोटरसाइकिल रखरखाव की कला में मुख्य पात्र ने कई अवसरों पर रीमैनियन ज्यामिति का उल्लेख किया।
 * द ब्रदर्स करमाज़ोव में, दोस्तोवस्की अपने चरित्र इवान के माध्यम से गैर-यूक्लिडियन ज्यामिति पर चर्चा करते हैं।
 * क्रिस्टोफर प्रीस्ट के उपन्यास उलटी दुनिया में घूमते हुए छद्ममंडल के रूप में एक ग्रह पर रहने के संघर्ष का वर्णन है।
 * रॉबर्ट हेनलीन की द नंबर ऑफ द बीस्ट (उपन्यास) अंतरिक्ष और समय के माध्यम से और समानांतर और काल्पनिक ब्रह्मांडों के बीच तात्कालिक परिवहन की व्याख्या करने के लिए गैर-यूक्लिडियन ज्यामिति का उपयोग करता है।
 * Zeno Rogue's HyperRogue अतिपरवलीय समतल पर सेट किया गया एक रॉगुलाइक गेम है, जिससे खिलाड़ी को इस ज्यामिति के कई गुणों का अनुभव करने की अनुमति मिलती है। कई यांत्रिकी, खोज और स्थान अतिपरवलीय ज्यामिति की विशेषताओं पर दृढ़ता से निर्भर हैं।
 * एफएएसए के वारगेम (वीडियो गेम), भूमिका निभाने वाला खेल और फिक्शन के लिए पाखण्डी सेना साइंस फिक्शन सेटिंग में, हसिह हो की पॉलीडायमेंशनल नॉन-यूक्लिडियन ज्योमेट्री के उपयोग के माध्यम से तेज-से-प्रकाश यात्रा और संचार संभव है, जो कुछ समय में प्रकाशित हुआ था। 22वीं शताब्दी के मध्य में।
 * इयान स्टीवर्ट (गणितज्ञ) में | इयान स्टीवर्ट के फ्लैटरलैंड में नायक विक्टोरिया लाइन सभी प्रकार के गैर-यूक्लिडियन दुनिया का दौरा करती है।

यह भी देखें

 * अतिपरवलीय स्थान
 * लेनर्ट क्षेत्र
 * प्रोजेक्टिव ज्यामिति
 * गैर-यूक्लिडियन सतह विकास

संदर्भ

 * , (2012) Notes on hyperbolic geometry, in: Strasbourg Master class on Geometry, pp. 1–182, IRMA Lectures in Mathematics and Theoretical Physics, Vol. 18, Zürich: European Mathematical Society (EMS), 461 pages, ISBN 978-3-03719-105-7, 10.4171/105.
 * Anderson, James W. Hyperbolic Geometry, second edition, Springer, 2005
 * Beltrami, Eugenio Teoria fondamentale degli spazî di curvatura costante, Annali. di Mat., ser II 2 (1868), 232–255
 * Carroll, Lewis Euclid and His Modern Rivals, New York: Barnes and Noble, 2009 (reprint) ISBN 978-1-4351-2348-9
 * H. S. M. Coxeter (1942) Non-Euclidean Geometry, University of Toronto Press, reissued 1998 by Mathematical Association of America, ISBN 0-88385-522-4.
 * Jeremy Gray (1989) Ideas of Space: Euclidean, Non-Euclidean, and Relativistic, 2nd edition, Clarendon Press.
 * Greenberg, Marvin Jay Euclidean and Non-Euclidean Geometries: Development and History, 4th ed., New York: W. H. Freeman, 2007. ISBN 0-7167-9948-0
 * Morris Kline (1972) Mathematical Thought from Ancient to Modern Times, Chapter 36 Non-Euclidean Geometry, pp 861–81, Oxford University Press.
 * Bernard H. Lavenda, (2012) " A New Perspective on Relativity : An Odyssey In Non-Euclidean Geometries", World Scientific, pp. 696, ISBN 9789814340489.
 * Nikolai Lobachevsky (2010) Pangeometry, Translator and Editor: A. Papadopoulos, Heritage of European Mathematics Series, Vol. 4, European Mathematical Society.
 * Milnor, John W. (1982) Hyperbolic geometry: The first 150 years, Bull. Amer. Math. Soc. (N.S.) Volume 6, Number 1, pp. 9–24.
 * Stewart, Ian (2001) Flatterland, New York: Perseus Publishing ISBN 0-7382-0675-X (softcover)
 * John Stillwell (1996) Sources of Hyperbolic Geometry, American Mathematical Society ISBN 0-8218-0529-0.
 * A. Papadopoulos et Guillaume Théret (2014) La théorie des parallèles de Johann Heinrich Lambert, (Critical edition of Lambert's memoir with a French translation, with historical and mathematical notes and commentaries éd. Blanchard, coll. Sciences dans l'Histoire, Paris ISBN 978-2-85367-266-5
 * Milnor, John W. (1982) Hyperbolic geometry: The first 150 years, Bull. Amer. Math. Soc. (N.S.) Volume 6, Number 1, pp. 9–24.
 * Stewart, Ian (2001) Flatterland, New York: Perseus Publishing ISBN 0-7382-0675-X (softcover)
 * John Stillwell (1996) Sources of Hyperbolic Geometry, American Mathematical Society ISBN 0-8218-0529-0.
 * A. Papadopoulos et Guillaume Théret (2014) La théorie des parallèles de Johann Heinrich Lambert, (Critical edition of Lambert's memoir with a French translation, with historical and mathematical notes and commentaries éd. Blanchard, coll. Sciences dans l'Histoire, Paris ISBN 978-2-85367-266-5
 * John Stillwell (1996) Sources of Hyperbolic Geometry, American Mathematical Society ISBN 0-8218-0529-0.
 * A. Papadopoulos et Guillaume Théret (2014) La théorie des parallèles de Johann Heinrich Lambert, (Critical edition of Lambert's memoir with a French translation, with historical and mathematical notes and commentaries éd. Blanchard, coll. Sciences dans l'Histoire, Paris ISBN 978-2-85367-266-5
 * A. Papadopoulos et Guillaume Théret (2014) La théorie des parallèles de Johann Heinrich Lambert, (Critical edition of Lambert's memoir with a French translation, with historical and mathematical notes and commentaries éd. Blanchard, coll. Sciences dans l'Histoire, Paris ISBN 978-2-85367-266-5

इस पेज में लापता आंतरिक लिंक की सूची

 * अतिपरवलीय ज्यामिति
 * अंक शास्त्र
 * affine ज्यामिति
 * सीधा
 * दीर्घवृत्तीय ज्यामिति
 * चतुष्कोष
 * रिमानियन ज्यामिति
 * लोगारित्म
 * पार अनुपात
 * एंटीपोडल अंक
 * मेरिडियन (भूगोल)
 * महान घेरा
 * समानता
 * न्यून कोण
 * गणित का मॉडल
 * प्रतिमान विस्थापन
 * विज्ञान का इतिहास
 * यूक्लिड और उनके आधुनिक प्रतिद्वंद्वी
 * कार्तिजीयन समन्वय
 * समतल ज्यामिति)
 * यूनिट सर्कल
 * worldline
 * आदर्श सिद्धान्त
 * पूर्ण समय और स्थान
 * विशेष सापेक्षता
 * कल्पित विज्ञान
 * roguelike
 * जानवर की संख्या (उपन्यास)
 * अवस्था
 * प्रक्षेपी ज्यामिति

बाहरी संबंध



 * Roberto Bonola (1912) Non-Euclidean Geometry, Open Court, Chicago.
 * MacTutor Archive article on non-Euclidean geometry
 * Non-Euclidean geometries from Encyclopedia of Math of European Mathematical Society and Springer Science+Business Media
 * Synthetic Spacetime, a digest of the axioms used, and theorems proved, by Wilson and Lewis. Archived by WebCite.
 * Synthetic Spacetime, a digest of the axioms used, and theorems proved, by Wilson and Lewis. Archived by WebCite.