अनुरूप ज्यामिति: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Study of angle-preserving transformations of a geometric space}} गणित में, अनुरूप ज्यामिति अंतरिक्...")
 
No edit summary
 
(25 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Short description|Study of angle-preserving  transformations of a geometric space}}
{{Short description|Study of angle-preserving  transformations of a geometric space}}
गणित में, अनुरूप ज्यामिति अंतरिक्ष पर कोण-संरक्षण (अनुरूप नक्शा) परिवर्तनों के सेट का अध्ययन है।
गणित में, अनुरूप ज्यामिति स्थान पर कोण-संरक्षण (अनुरूप) परिवर्तनों के समुच्चय का अध्ययन है।


एक वास्तविक दो आयामी अंतरिक्ष में, अनुरूप ज्यामिति ठीक [[रीमैन सतहों]] की ज्यामिति है। अंतरिक्ष में दो से अधिक आयामों में, अनुरूप ज्यामिति या तो फ्लैट रिक्त स्थान (जैसे [[यूक्लिडियन अंतरिक्ष]] स्थान या [[एन-क्षेत्र]]) कहलाते हैं, या अनुरूप मैनिफोल्ड के अध्ययन के लिए अनुरूप मैपिंग के अध्ययन के लिए संदर्भित हो सकती है जो [[रीमैनियन कई गुना]] या छद्म-रीमैनियन हैं [[मीट्रिक टेंसर]] के एक वर्ग के साथ मैनिफोल्ड्स जो पैमाने तक परिभाषित हैं। समतल संरचनाओं के अध्ययन को कभी-कभी मोबियस ज्यामिति कहा जाता है, और यह [[क्लेन ज्यामिति]] का एक प्रकार है।
वास्तविक दो आयामी स्थान में, अनुरूप ज्यामिति उचित [[रीमैन सतहों]] की ज्यामिति है। स्थान में दो से अधिक आयामों में, अनुरूप ज्यामिति या तो समतल रिक्त स्थान (जैसे [[यूक्लिडियन अंतरिक्ष|यूक्लिडियन]] स्थान स्थान या [[एन-क्षेत्र|वृत्ताकार]]) कहलाते हैं, या अनुरूप मैनिफोल्ड के अध्ययन के लिए जो कि [[रीमैनियन कई गुना|रीमैनियन]] या छद्म-रीमैनियन मैनिफोल्ड्स हैं, जो [[मीट्रिक टेंसर|आव्यूह]] के वर्ग के साथ हैं और स्तर तक परिभाषित हैं। समतल संरचनाओं के अध्ययन को कभी-कभी मोबियस ज्यामिति कहा जाता है, और यह [[क्लेन ज्यामिति]] का प्रकार है।


== अनुरूप कई गुना ==
== अनुरूप मैनिफोल्ड ==
एक अनुरूप मैनिफोल्ड एक छद्म-रीमैनियन मैनिफोल्ड है जो मीट्रिक टेंसरों के समतुल्य वर्ग से लैस है, जिसमें दो मेट्रिक्स ''जी'' और ''एच'' बराबर हैं अगर और केवल अगर
अनुरूप मैनिफोल्ड छद्म-रीमैनियन मैनिफोल्ड है जो मापीय टेंसरों के समतुल्य वर्ग से सुसज्जित है, जिसमें दो आव्यूह ''g'' और ''h'' समतुल्य हैं यदि केवल,


:<math>h = \lambda^2 g ,</math>
:<math>h = \lambda^2 g ,</math>
जहां λ कई गुना परिभाषित एक वास्तविक मूल्यवान चिकनी कार्य है और इसे 'अनुरूप कारक' कहा जाता है। ऐसे मेट्रिक्स के समकक्ष वर्ग को 'अनुरूप मीट्रिक' या 'अनुरूप वर्ग' के रूप में जाना जाता है। इस प्रकार, एक अनुरूप मीट्रिक को एक मीट्रिक के रूप में माना जा सकता है जो केवल पैमाने तक परिभाषित होता है। अक्सर अनुरूप मेट्रिक्स को अनुरूप वर्ग में एक मीट्रिक का चयन करके और चुने हुए मीट्रिक के लिए केवल अनुरूप अपरिवर्तनीय निर्माण लागू करके इलाज किया जाता है।
जहां λ वास्तविक मूल्यवान सुचारू कार्य है जिसे कई गुना परिभाषित किया गया है और इसे 'अनुरूप कारक' कहा जाता है। ऐसे आव्यूह के समकक्ष वर्ग को 'अनुरूप मापीय' या 'अनुरूप वर्ग' के रूप में जाना जाता है। इस प्रकार, अनुरूप मापीय को मापीय के रूप में माना जा सकता है जो केवल स्तर तक परिभाषित होता है। प्रायः अनुरूप आव्यूह को अनुरूप वर्ग में मापीय का चयन करके और चयन किये हुए मापीय के लिए केवल अनुरूप अपरिवर्तनीय निर्माण प्रारम्भ करके प्रक्रिया की जाती है।


एक अनुरूप मीट्रिक 'अनुरूप रूप से फ्लैट मैनिफोल्ड' है यदि कोई मीट्रिक इसका प्रतिनिधित्व करता है जो फ्लैट है, सामान्य अर्थों में [[रीमैन वक्रता टेन्सर]] गायब हो जाता है। केवल अनुरूप वर्ग में एक मीट्रिक खोजना संभव हो सकता है जो प्रत्येक बिंदु के खुले पड़ोस में समतल हो। जब इन मामलों में अंतर करना आवश्यक होता है, तो बाद वाले को स्थानीय रूप से समतल कहा जाता है, हालांकि अक्सर साहित्य में कोई भेद नहीं रखा जाता है। n-sphere|n-sphere एक स्थानीय रूप से अनुरूप फ्लैट मैनिफोल्ड है जो इस अर्थ में विश्व स्तर पर अनुरूप रूप से फ्लैट नहीं है, जबकि एक यूक्लिडियन स्पेस, एक टोरस, या कोई भी अनुरूप मैनिफोल्ड जो यूक्लिडियन स्पेस के एक खुले उपसमुच्चय द्वारा कवर किया गया है (वैश्विक रूप से) इस अर्थ में अनुरूप रूप से सपाट। एक स्थानीय रूप से अनुरूप रूप से फ्लैट मैनिफोल्ड स्थानीय रूप से एक मोबियस ज्यामिति के अनुरूप है, जिसका अर्थ है कि मोबियस ज्यामिति में कई गुना से [[स्थानीय भिन्नता]] को संरक्षित करने वाला एक कोण मौजूद है। दो आयामों में, प्रत्येक अनुरूप मीट्रिक स्थानीय रूप से समतल है। आयाम में {{nowrap|''n'' > 3}} एक अनुरूप मीट्रिक स्थानीय रूप से सपाट है अगर और केवल अगर इसका [[वेइल टेंसर]] गायब हो जाता है; आयाम में {{nowrap|1=''n'' = 3}}, अगर और केवल अगर [[कपास टेंसर]] गायब हो जाता है।
अनुरूप मापीय 'अनुरूप रूप से समतल मैनिफोल्ड' है यदि कोई मापीय इसका प्रतिनिधित्व करता है जो समतल है, सामान्य अर्थों में [[रीमैन वक्रता टेन्सर]] लुप्त हो जाता है। केवल अनुरूप वर्ग में मापीय शोध संभव हो सकता है जो प्रत्येक बिंदु के विवृत निकट में समतल होता है। जब इन स्थितियों में अंतर करना आवश्यक होता है, तो अंत वाले को स्थानीय रूप से समतल कहा जाता है, चूँकि प्रायः साहित्य में कोई भेद नहीं रखा जाता है। n-वृत्त स्थानीय रूप से अनुरूप समतल मैनिफोल्ड है जो इस अर्थ में विश्व स्तर पर अनुरूप रूप से समतल नहीं है, जबकि यूक्लिडियन स्थान, टोरस, या कोई भी अनुरूप मैनिफोल्ड जो यूक्लिडियन स्थान के विवृत उपसमुच्चय द्वारा कवर किया गया है (वैश्विक रूप से) इसमें अनुरूप रूप से समतल है। अनुरूप रूप से समतल मैनिफोल्ड स्थानीय रूप से मोबियस ज्यामिति के अनुरूप है, जिसका अर्थ है कि मोबियस ज्यामिति में कई गुना से [[स्थानीय भिन्नता]] को संरक्षित करने वाला कोण उपस्थित है। दो आयामों में, प्रत्येक अनुरूप मापीय स्थानीय रूप से समतल है। आयाम में {{nowrap|''n'' > 3}} अनुरूप मापीय स्थानीय रूप से समतल है यदि केवल इसका [[वेइल टेंसर]] लुप्त हो जाता है; आयाम में {{nowrap|1=''n'' = 3}}, यदि केवल [[कपास टेंसर|कॉटन टेंसर]] लुप्त हो जाता है।


अनुरूप ज्यामिति में कई विशेषताएं हैं जो इसे (छद्म-) रीमैनियन ज्यामिति से अलग करती हैं। पहला यह है कि हालांकि (छद्म-) रिमेंनियन ज्यामिति में प्रत्येक बिंदु पर एक अच्छी तरह से परिभाषित मीट्रिक है, अनुरूप ज्यामिति में केवल मेट्रिक्स का एक वर्ग होता है। इस प्रकार एक स्पर्शरेखा सदिश की लंबाई को परिभाषित नहीं किया जा सकता है, लेकिन दो सदिशों के बीच का कोण अभी भी परिभाषित किया जा सकता है। एक अन्य विशेषता यह है कि कोई [[लेवी-Civita कनेक्शन]] नहीं है क्योंकि यदि g और λ<sup>2</sup>जी अनुरूप संरचना के दो प्रतिनिधि हैं, फिर जी और λ के क्रिस्टोफेल प्रतीक<sup>2</sup>जी सहमत नहीं होंगे। जो λ से जुड़े हैं<sup>2</sup>g में फलन λ के अवकलज शामिल होंगे जबकि g से संबद्ध नहीं होंगे।
अनुरूप ज्यामिति में कई विशेषताएं हैं जो इसे (छद्म-) रीमैनियन ज्यामिति से भिन्न करती हैं। प्रथम यह है कि चूँकि (छद्म-) रिमेंनियन ज्यामिति में प्रत्येक बिंदु पर उचित प्रकार से परिभाषित मापीय है, अनुरूप ज्यामिति में केवल आव्यूह का वर्ग होता है। इस प्रकार स्पर्शरेखा सदिश की लंबाई को परिभाषित नहीं किया जा सकता है, किन्तु दो सदिशों के मध्य का कोण अभी भी परिभाषित किया जा सकता है। अन्य विशेषता यह है कि कोई [[लेवी-Civita कनेक्शन|लेवी-सिविता कनेक्शन]] नहीं है क्योंकि यदि g और λ<sup>2</sup>g अनुरूप संरचना के दो प्रतिनिधि हैं, तो g और λ<sup>2</sup>g के क्रिस्टोफेल प्रतीक सहमत नहीं होंगे। λ<sup>2</sup>g से जुड़े फलन में λ के अवकलज सम्मिलित होंगे जबकि g से संबद्ध नहीं होंगे।


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


== मोबियस [[ज्यामिति]] ==
== मोबियस [[ज्यामिति]] ==


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


अमूर्त स्तर पर, आयाम दो के मामले को छोड़कर, यूक्लिडियन और छद्म-यूक्लिडियन रिक्त स्थान को उसी तरह से नियंत्रित किया जा सकता है। संकुचित द्वि-आयामी [[मिन्कोव्स्की विमान]] व्यापक अनुरूप [[समरूपता]] प्रदर्शित करता है। औपचारिक रूप से, इसके अनुरूप परिवर्तनों का समूह अनंत-आयामी है। इसके विपरीत, कॉम्पैक्ट यूक्लिडियन विमान के अनुरूप परिवर्तनों का समूह केवल 6-आयामी है।
अमूर्त स्तर पर, आयाम दो की स्थिति को त्यागकर, यूक्लिडियन और छद्म-यूक्लिडियन रिक्त स्थान को उसी प्रकार से नियंत्रित किया जा सकता है। संकुचित द्वि-आयामी [[मिन्कोव्स्की विमान|मिन्कोव्स्की तल]] व्यापक अनुरूप [[समरूपता]] प्रदर्शित करता है। औपचारिक रूप से, इसके अनुरूप परिवर्तनों का समूह अनंत-आयामी है। इसके विपरीत, संघनित यूक्लिडियन तल के अनुरूप परिवर्तनों का समूह केवल 6-आयामी है।


=== दो आयाम ===
=== दो आयाम ===


==== मिन्कोवस्की विमान ====
==== मिन्कोवस्की तल ====
मिन्कोव्स्की द्विघात रूप के लिए [[अनुरूप समूह]] {{nowrap|1=''q''(''x'', ''y'') = 2''xy''}} प्लेन में [[एबेलियन समूह]] [[झूठ समूह]] है
तल में मिन्कोव्स्की द्विघात रूप {{nowrap|1=''q''(''x'', ''y'') = 2''xy''}} के लिए [[अनुरूप समूह]] [[एबेलियन समूह]] [[झूठ समूह|लाइ समूह]] है:


:<math> \operatorname{CSO}(1,1) = \left\{ \left. \begin{pmatrix}
:<math> \operatorname{CSO}(1,1) = \left\{ \left. \begin{pmatrix}
Line 31: Line 31:
0&e^b
0&e^b
\end{pmatrix} \right| a , b \in \mathbb{R} \right\} ,</math>
\end{pmatrix} \right| a , b \in \mathbb{R} \right\} ,</math>
[[झूठ बीजगणित]] के साथ {{nowrap|'''cso'''(1, 1)}} सभी वास्तविक विकर्ण से मिलकर {{nowrap|2 × 2}} मैट्रिक्स।
[[झूठ बीजगणित|लाइ बीजगणित]] {{nowrap|'''cso'''(1, 1)}} के साथ सभी वास्तविक विकर्ण {{nowrap|2 × 2}} आव्यूह सम्मिलित हैं।


अब मिंकोस्की विमान पर विचार करें, ℝ<sup>2</sup> मेट्रिक से लैस है
अब मिंकोस्की तल पर विचार करें, ℝ<sup>2</sup> मापीय से सुसज्जित है:
: <math> g = 2 \, dx \, dy ~ .</math>
: <math> g = 2 \, dx \, dy ~ .</math>
अनुरूप रूपांतरणों का एक 1-पैरामीटर समूह एक सदिश क्षेत्र X को इस संपत्ति के साथ जन्म देता है कि X के साथ g का लाई डेरिवेटिव g के समानुपाती होता है। प्रतीकात्मक रूप से,
अनुरूप रूपांतरणों का 1-पैरामीटर समूह सदिश क्षेत्र X को इस संपत्ति के साथ उत्पन्न करता है कि X के साथ g का लाई डेरिवेटिव g के समानुपाती होता है। प्रतीकात्मक रूप से,
:{{math|1='''L'''<sub>''X''</sub> ''g'' = ''λg''}} कुछ λ के लिए।
:{{math|1='''L'''<sub>''X''</sub> ''g'' = ''λg''}} कुछ λ के लिए।


विशेष रूप से, झूठ बीजगणित के उपरोक्त विवरण का उपयोग करना {{nowrap|'''cso'''(1, 1)}}, यह बताता है कि
विशेष रूप से, लाइ बीजगणित {{nowrap|'''cso'''(1, 1)}} के उपरोक्त विवरण का उपयोग करके, इसका तात्पर्य है कि
# एल<sub>''X''</sub>  {{nowrap|1=''dx'' = ''a''(''x'') ''dx''}}
# '''L'''<sub>''X''</sub> {{nowrap|1=''dx'' = ''a''(''x'') ''dx''}}
# एल<sub>''X''</sub>  {{nowrap|1=''dy'' = ''b''(''y'') ''dy''}} कुछ वास्तविक-मूल्यवान कार्यों के लिए a और b क्रमशः x और y पर निर्भर करता है।
# '''L'''<sub>''X''</sub> {{nowrap|1=''dy'' = ''b''(''y'') ''dy''}} कुछ वास्तविक-मूल्यवान कार्यों के लिए a और b क्रमशः x और y पर निर्भर करता है।


इसके विपरीत, वास्तविक-मूल्यवान कार्यों की ऐसी किसी भी जोड़ी को देखते हुए, एक सदिश क्षेत्र X मौजूद होता है जो 1. और 2 को संतुष्ट करता है। इसलिए अनुरूप संरचना, [[विट बीजगणित]] की अपरिमेय समरूपता का झूठा बीजगणित, अनुरूप_क्षेत्र_सिद्धांत#दो_आयाम|अनंत-आयामी है।
इसके विपरीत, वास्तविक-मूल्यवान कार्यों की ऐसी किसी भी जोड़ी को देखते हुए, सदिश क्षेत्र X उपस्थित होता है जो 1. और 2 को संतुष्ट करता है। इसलिए अनुरूप संरचना, [[विट बीजगणित]] के अनंत समरूपता का बीजगणित अनंत-आयामी है।


मिन्कोव्स्की विमान का अनुरूप संघनन दो हलकों का कार्टेशियन उत्पाद है {{nowrap|''S''<sup>1</sup> × ''S''<sup>1</sup>}}. [[सार्वभौमिक आवरण]] पर, अतिसूक्ष्म समरूपताओं को एकीकृत करने में कोई बाधा नहीं है, और इसलिए अनुरूप परिवर्तनों का समूह अनंत-आयामी झूठ समूह है
मिन्कोव्स्की तल का अनुरूप संघनन दो हलकों {{nowrap|''S''<sup>1</sup> × ''S''<sup>1</sup>}} का कार्टेशियन उत्पाद है। [[सार्वभौमिक आवरण]] पर, अतिसूक्ष्म समरूपताओं को एकीकृत करने में कोई बाधा नहीं है, और इसलिए अनुरूप परिवर्तनों का समूह अनंत-आयामी लाइ समूह है:
:<math>(\mathbb{Z}\rtimes\mathrm{Diff}(S^1))\times(\mathbb{Z}\rtimes\mathrm{Diff}(S^1)) ,</math>
:<math>(\mathbb{Z}\rtimes\mathrm{Diff}(S^1))\times(\mathbb{Z}\rtimes\mathrm{Diff}(S^1)) ,</math>
जहां डिफ (एस<sup>1</sup>) वृत्त का [[डिफोमोर्फिज्म समूह]] है।<ref>[[Paul Ginsparg]] (1989), ''Applied Conformal Field Theory''. {{arxiv|hep-th/9108028}}. Published in ''Ecole d'Eté de Physique Théorique: Champs, cordes et phénomènes critiques/Fields, strings and critical phenomena'' (Les Houches), ed. by E. Brézin and J. Zinn-Justin,  Elsevier Science Publishers B.V.</ref>
जहां Diff(''S''<sup>1</sup>) वृत्त का [[डिफोमोर्फिज्म समूह]] है।<ref>[[Paul Ginsparg]] (1989), ''Applied Conformal Field Theory''. {{arxiv|hep-th/9108028}}. Published in ''Ecole d'Eté de Physique Théorique: Champs, cordes et phénomènes critiques/Fields, strings and critical phenomena'' (Les Houches), ed. by E. Brézin and J. Zinn-Justin,  Elsevier Science Publishers B.V.</ref>
अनुरूप समूह {{nowrap|CSO(1, 1)}} और इसका झूठ बीजगणित [[द्वि-आयामी अनुरूप क्षेत्र सिद्धांत]] में वर्तमान रुचि के हैं।


{{see also |Virasoro algebra}}
अनुरूप समूह {{nowrap|CSO(1, 1)}} और इसका लाइ बीजगणित [[द्वि-आयामी अनुरूप क्षेत्र सिद्धांत]] में वर्तमान रुचि के हैं।


{{see also |विरासोरो बीजगणित}}


==== यूक्लिडियन अंतरिक्ष ====
==== यूक्लिडियन अंतरिक्ष ====
[[Image:Conformal grid before Möbius transformation.svg|thumb|right|मोबियस परिवर्तन से पहले एक समन्वय ग्रिड]]
[[Image:Conformal grid before Möbius transformation.svg|thumb|right|मोबियस परिवर्तन से पूर्व समन्वय ग्रिड]]
[[Image:Conformal grid after Möbius transformation.svg|thumb|right|मोबियस परिवर्तन के बाद वही ग्रिड]]द्विघात रूप के अनुरूप समरूपता का समूह
[[Image:Conformal grid after Möbius transformation.svg|thumb|right|मोबियस परिवर्तन के पश्चात वही ग्रिड]]द्विघात रूप के अनुरूप समरूपता का समूह है:


:<math>q(z,\bar{z}) = z\bar{z} </math>
:<math>q(z,\bar{z}) = z\bar{z} </math>
समूह है {{nowrap|1=GL<sub>1</sub>('''C''') = '''C'''<sup>×</sup>}}, सम्मिश्र संख्याओं का [[गुणक समूह]]इसका लाई बीजगणित है {{nowrap|1='''gl'''<sub>1</sub>('''C''') = '''C'''}}.
समूह {{nowrap|1=GL<sub>1</sub>('''C''') = '''C'''<sup>×</sup>}}, सम्मिश्र संख्याओं का [[गुणक समूह]] है। इसका लाई बीजगणित {{nowrap|1='''gl'''<sub>1</sub>('''C''') = '''C'''}} है।


मीट्रिक से लैस (यूक्लिडियन) [[जटिल विमान]] पर विचार करें
मीट्रिक से लैस (यूक्लिडियन) [[जटिल विमान|जटिल तल]] पर विचार करता है।


:<math>g = dz \, d\bar{z}.</math>
:<math>g = dz \, d\bar{z}.</math>
इनफिनिटिमल अनुरूप समरूपता संतुष्ट करती है
इनफिनिटिमल अनुरूप समरूपता संतुष्ट करती है।
#<math>\mathbf{L}_X \, dz = f(z) \, dz</math>
#<math>\mathbf{L}_X \, dz = f(z) \, dz</math>
#<math>\mathbf{L}_X \, d\bar{z} = f(\bar{z}) \, d\bar{z} ,</math>
#<math>\mathbf{L}_X \, d\bar{z} = f(\bar{z}) \, d\bar{z} ,</math>
जहाँ f कॉची-रीमैन समीकरण को संतुष्ट करता है, और इसी तरह इसके डोमेन पर [[होलोमॉर्फिक फ़ंक्शन]] है। (विट बीजगणित देखें।)
जहाँ f कॉची-रीमैन समीकरण को संतुष्ट करता है, और इसी प्रकार इसके डोमेन पर [[होलोमॉर्फिक फ़ंक्शन|होलोमॉर्फिक]] है। (विट बीजगणित देखें।)


एक डोमेन के अनुरूप समरूपता इसलिए होलोमोर्फिक स्व-मानचित्रों से मिलकर बनता है। विशेष रूप से, अनुरूप संघनन पर - [[रीमैन क्षेत्र]] - मोबियस परिवर्तनों द्वारा अनुरूप परिवर्तन दिए गए हैं
डोमेन के अनुरूप समरूपता इसलिए होलोमोर्फिक स्व-मानचित्रों से मिलकर बनता है। विशेष रूप से, अनुरूप संघनन पर - [[रीमैन क्षेत्र]] - मोबियस परिवर्तनों द्वारा अनुरूप परिवर्तन दिए गए हैं:


:<math>z \mapsto \frac{az+b}{cz+d}</math>
:<math>z \mapsto \frac{az+b}{cz+d}</math>
कहाँ पे {{nowrap|''ad'' &minus; ''bc''}} अशून्य है।
जहाँ {{nowrap|''ad'' &minus; ''bc''}} अशून्य है।


=== उच्च आयाम ===
=== उच्च आयाम ===
दो आयामों में, एक स्थान के अनुरूप ऑटोमोर्फिज़्म का समूह काफी बड़ा हो सकता है (जैसा कि लोरेंत्ज़ियन हस्ताक्षर के मामले में) या चर (यूक्लिडियन हस्ताक्षर के मामले में)उच्च आयामों के साथ द्वि-आयामी मामले की कठोरता की तुलनात्मक कमी विश्लेषणात्मक तथ्य के कारण है कि संरचना के अत्यल्प ऑटोमोर्फिज्म के स्पर्शोन्मुख विकास अपेक्षाकृत अप्रतिबंधित हैं। लोरेंट्ज़ियन हस्ताक्षर में, स्वतंत्रता वास्तविक मूल्यवान कार्यों की एक जोड़ी में है। यूक्लिडियन में, स्वतंत्रता एकल होलोमोर्फिक फ़ंक्शन में है।
दो आयामों में, स्थान के अनुरूप ऑटोमोर्फिज़्म का समूह अधिक बड़ा हो सकता है (जैसा कि लोरेंत्ज़ियन हस्ताक्षर की स्थिति में) या चर (यूक्लिडियन हस्ताक्षर की स्थिति में) हो सकता है। उच्च आयामों के साथ द्वि-आयामी स्थिति की कठोरता की तुलनात्मक अल्पता विश्लेषणात्मक तथ्य के कारण है कि संरचना के अत्यल्प ऑटोमोर्फिज्म के स्पर्शोन्मुख विकास अपेक्षाकृत अप्रतिबंधित हैं। लोरेंट्ज़ियन हस्ताक्षर में, स्वतंत्रता वास्तविक मूल्यवान कार्यों की जोड़ी में है। यूक्लिडियन में, स्वतंत्रता एकल होलोमोर्फिक फलन में है।


उच्च आयामों के मामले में, अतिसूक्ष्म समरूपता के स्पर्शोन्मुख विकास अधिकांश द्विघात बहुपदों में होते हैं।<ref>Kobayashi (1972).</ref> विशेष रूप से, वे परिमित-आयामी झूठ बीजगणित बनाते हैं। मैनिफोल्ड के पॉइंटवाइज इनफिनिटिमल कॉन्फर्मल समरूपता को ठीक से एकीकृत किया जा सकता है जब मैनिफोल्ड एक निश्चित मॉडल अनुरूप रूप से सपाट स्थान होता है (सार्वभौमिक कवर और असतत समूह उद्धरण लेने [[तक]])।<ref>Due to a general theorem of Sternberg (1962).</ref>
उच्च आयामों की स्थिति में, अतिसूक्ष्म समरूपता के स्पर्शोन्मुख विकास अधिकांश द्विघात बहुपदों में होते हैं।<ref>Kobayashi (1972).</ref> विशेष रूप से, वे परिमित-आयामी लाइ बीजगणित बनाते हैं। मैनिफोल्ड के बिंदुवार इनफिनिटिमल अनुरूप समरूपता को उचित प्रकार से एकीकृत किया जा सकता है जब मैनिफोल्ड निश्चित प्रारूप अनुरूप रूप से समतल स्थान होता है (सार्वभौमिक कवर और असतत समूह उद्धरण लेने [[तक]])।<ref>Due to a general theorem of Sternberg (1962).</ref>
यूक्लिडियन और छद्म-यूक्लिडियन हस्ताक्षर के मामलों में, अनुरूप ज्यामिति का सामान्य सिद्धांत समान है, हालांकि कुछ अंतरों के साथ।<ref>Slovak (1993).</ref> किसी भी मामले में, अनुरूप रूप से फ्लैट ज्यामिति के मॉडल स्थान को पेश करने के कई तरीके हैं। जब तक संदर्भ से अन्यथा स्पष्ट न हो, यह लेख यूक्लिडियन अनुरूप ज्यामिति के मामले को इस समझ के साथ मानता है कि यह छद्म-यूक्लिडियन स्थिति पर, [[यथोचित परिवर्तनों सहित]], भी लागू होता है।


==== उलटा मॉडल ====
अनुरूप ज्यामिति का सामान्य सिद्धांत समान है, चूँकि यूक्लिडियन और छद्म-यूक्लिडियन हस्ताक्षर की स्थितियों में, कुछ अंतरों के साथ होता है।<ref>Slovak (1993).</ref> किसी भी स्थिति में, अनुरूप रूप से समतलज्यामिति के प्रारूप स्थान को प्रस्तुत करने के अनेक प्रकार हैं। जब तक संदर्भ से अन्यथा स्पष्ट न हो, यह लेख यूक्लिडियन अनुरूप ज्यामिति की स्थिति को इस समझ के साथ मानता है कि यह छद्म-यूक्लिडियन स्थिति पर, [[यथोचित परिवर्तनों सहित]], भी प्रारम्भ होता है।
अनुरूप ज्यामिति के उलटा मॉडल में यूक्लिडियन अंतरिक्ष ई पर स्थानीय परिवर्तनों का समूह होता है<sup>n</sup> गोलों में व्युत्क्रम द्वारा उत्पन्न। लिउविले के प्रमेय (अनुरूप मैपिंग) द्वारा लिउविल के प्रमेय, किसी भी कोण-संरक्षित स्थानीय (अनुरूप) परिवर्तन इस रूप का है।<ref>{{springer|id=L/l059680|title=Liouville theorems|author=S.A. Stepanov}}.  {{cite book|chapter=''Extension au case des trois dimensions de la question du tracé géographique, Note VI'' (by J. Liouville)|pages=609–615|author=G. Monge|title=Application de l'Analyse à la géometrie|url=https://archive.org/details/applicationdela00monggoog|publisher=Bachelier, Paris|year=1850}}.</ref> इस दृष्टिकोण से, समतल अनुरूप स्थान के परिवर्तन गुण व्युत्क्रम ज्यामिति के हैं।


==== प्रोजेक्टिव मॉडल ====
==== विपरीत प्रारूप ====
प्रोजेक्टिव मॉडल [[प्रक्षेपण स्थान]] में एक निश्चित क्वाड्रिक के साथ अनुरूप क्षेत्र की पहचान करता है। मान लीजिए q 'R' पर लॉरेंत्ज़ियन [[द्विघात]] रूप को निरूपित करता है<sup>n+2</sup> द्वारा परिभाषित
अनुरूप ज्यामिति के विपरीत प्रारूप में क्षेत्रों में व्युत्क्रम द्वारा उत्पन्न यूक्लिडियन स्थान '''E<sup>n</sup>''' पर स्थानीय परिवर्तनों का समूह होता है। लिउविले की प्रमेय के अनुसार, कोई भी कोण-संरक्षण स्थानीय (अनुरूप) परिवर्तन इस रूप का होता है।<ref>{{springer|id=L/l059680|title=Liouville theorems|author=S.A. Stepanov}}.  {{cite book|chapter=''Extension au case des trois dimensions de la question du tracé géographique, Note VI'' (by J. Liouville)|pages=609–615|author=G. Monge|title=Application de l'Analyse à la géometrie|url=https://archive.org/details/applicationdela00monggoog|publisher=Bachelier, Paris|year=1850}}.</ref> इस दृष्टिकोण से, समतल अनुरूप स्थान के परिवर्तन गुण व्युत्क्रम ज्यामिति के हैं।
 
==== प्रक्षेपीय प्रारूप ====
प्रक्षेपीय प्रारूप [[प्रक्षेपण स्थान|प्रक्षेपीय स्थान]] में निश्चित क्वाड्रिक के साथ अनुरूप क्षेत्र की पहचान करता है। मान लीजिए q R<sup>n+2</sup> द्वारा परिभाषित लॉरेंत्ज़ियन [[द्विघात]] रूप को निरूपित करता है।


:<math>q(x_0,x_1,\ldots,x_{n+1}) = -2x_0x_{n+1}+x_1^2+x_2^2+\cdots+x_n^2.</math>
:<math>q(x_0,x_1,\ldots,x_{n+1}) = -2x_0x_{n+1}+x_1^2+x_2^2+\cdots+x_n^2.</math>
प्रोजेक्टिव स्पेस में पी (आर<sup>n+2</sup>), मान लीजिए कि S का बिंदुपथ है {{nowrap|1=''q'' = 0}}. तब S अनुरूप ज्यामिति का प्रक्षेपी (या मोबियस) मॉडल है। एस पर एक अनुरूप परिवर्तन 'पी' ('आर') का एक [[प्रक्षेपी रैखिक समूह]] है<sup>n+2</sup>) जो चतुर्भुज अपरिवर्तनीय छोड़ देता है।
प्रक्षेपी स्थान में '''P'''('''R'''<sup>n+2</sup>) में, S को {{nowrap|1=''q'' = 0}} का स्थान देता है। तब S अनुरूप ज्यामिति का प्रक्षेपी (या मोबियस) प्रारूप है। S पर अनुरूप परिवर्तन '''P'''('''R<sup>n+2</sup>''') का [[प्रक्षेपी रैखिक समूह|प्रक्षेपी रैखिक परिवर्तन]] है जो चतुर्भुज अपरिवर्तनीय को त्याग देता है।


संबंधित निर्माण में, द्विघात S को मिन्कोव्स्की अंतरिक्ष में अशक्त शंकु के अनंत पर आकाशीय क्षेत्र के रूप में माना जाता है {{nowrap|'''R'''<sup>''n''+1,1</sup>}}, जो ऊपर के रूप में द्विघात रूप q से सुसज्जित है। अशक्त शंकु द्वारा परिभाषित किया गया है
संबंधित निर्माण में, द्विघात S को मिन्कोव्स्की स्थान {{nowrap|'''R'''<sup>''n''+1,1</sup>}} में शून्य शंकु के अनंत पर आकाशीय क्षेत्र के रूप में माना जाता है, जो उपरोक्त के रूप में द्विघात रूप q से सुसज्जित है। जिसे शून्य शंकु द्वारा परिभाषित किया गया है:


:<math> N = \left\{ ( x_0 , \ldots , x_{n+1} ) \mid -2 x_0 x_{n+1} + x_1^2 + \cdots + x_n^2 = 0 \right\} .</math>
:<math> N = \left\{ ( x_0 , \ldots , x_{n+1} ) \mid -2 x_0 x_{n+1} + x_1^2 + \cdots + x_n^2 = 0 \right\} .</math>
यह प्रक्षेपी चतुर्भुज S. मान लीजिए N के ऊपर सजातीय शंकु है<sup>+</sup> नल कोन का भविष्य का हिस्सा हो (मूल हटाए जाने के साथ)। फिर टॉटोलॉजिकल प्रोजेक्शन {{nowrap|'''R'''<sup>''n''+1,1</sup> ∖ {0} → '''P'''('''R'''<sup>''n''+2</sup>)}} एक प्रक्षेपण तक सीमित {{nowrap|''N''<sup>+</sup> → ''S''}}. इससे एन<sup>+</sup> S के ऊपर एक [[लाइन बंडल]] की संरचना। S पर अनुरूप परिवर्तन [[लोरेंत्ज़ परिवर्तन]]ों से प्रेरित हैं {{nowrap|'''R'''<sup>''n''+1,1</sup>}}, चूंकि ये सजातीय रैखिक परिवर्तन हैं जो भविष्य के अशक्त शंकु को संरक्षित करते हैं।
यह प्रक्षेपी चतुर्भुज S के ऊपर सजातीय शंकु है। मान लीजिए N<sup>+</sup> को शून्य शंकु का भाग होने दें (मूल विस्थापित किये जाने के साथ)। तब तात्विक प्रक्षेपण {{nowrap|'''R'''<sup>''n''+1,1</sup> ∖ {0} → '''P'''('''R'''<sup>''n''+2</sup>)}} प्रक्षेपण {{nowrap|''N''<sup>+</sup> → ''S''}} तक सीमित है। इससे ''N''<sup>+</sup> को S के ऊपर [[लाइन बंडल|रेखा बंडल]] की संरचना देता है। S पर अनुरूप परिवर्तन {{nowrap|'''R'''<sup>''n''+1,1</sup>}} के ऑर्थोक्रोनस [[लोरेंत्ज़ परिवर्तन|लोरेंत्ज़ परिवर्तनों]] से प्रेरित हैं, क्योंकि ये सजातीय रैखिक परिवर्तन हैं जो भविष्य के शून्य शंकु को संरक्षित करते हैं।


==== यूक्लिडियन क्षेत्र ====
==== यूक्लिडियन क्षेत्र ====
सहज रूप से, एक गोले की अनुरूप समतल ज्यामिति एक गोले के रिमेंनियन ज्यामिति की तुलना में कम कठोर होती है। एक गोले की अनुरूप समरूपता उसके सभी [[अति क्षेत्र]]ों में व्युत्क्रम द्वारा उत्पन्न होती है। दूसरी ओर, एक क्षेत्र के [[रिमानियन ज्यामिति]] को [[geodesic]] हाइपरस्फीयर में व्युत्क्रम द्वारा उत्पन्न किया जाता है (कार्टन-ड्यूडोने प्रमेय देखें।) यूक्लिडियन क्षेत्र को एक विहित तरीके से अनुरूप क्षेत्र में मैप किया जा सकता है, लेकिन इसके विपरीत नहीं।
सहज रूप से,वृत्त के अनुरूप समतल ज्यामिति वृत्त के रिमेंनियन ज्यामिति की तुलना में अल्प कठोर होती है। वृत्त की अनुरूप समरूपता उसके सभी [[अति क्षेत्र|हाइपरस्फीयरों]] में व्युत्क्रम द्वारा उत्पन्न होती है। दूसरी ओर, क्षेत्र के [[रिमानियन ज्यामिति]] [[geodesic|जियोडेसिक]] हाइपरस्फीयर में व्युत्क्रम द्वारा उत्पन्न होते हैं (कार्टन-ड्यूडोने प्रमेय देखें।) यूक्लिडियन क्षेत्र को विहित प्रकार से अनुरूप क्षेत्र में मानचित्र किया जा सकता है, लेकिन इसके विपरीत नहीं।


यूक्लिडियन इकाई क्षेत्र 'आर' में लोकस है<sup>एन+1</sup>
यूक्लिडियन इकाई क्षेत्र '''R'''<sup>''n''+1</sup> में बिंदुपथ है:


:<math>z^2+x_1^2+x_2^2+\cdots+x_n^2=1.</math>
:<math>z^2+x_1^2+x_2^2+\cdots+x_n^2=1.</math>
इसे Minkowski अंतरिक्ष में मैप किया जा सकता है {{nowrap|'''R'''<sup>''n''+1,1</sup>}} जैसे भी हो
इसे मिन्कोस्की स्थान {{nowrap|'''R'''<sup>''n''+1,1</sup>}} के लिए मान देकर मानचित्र किया जा सकता है।


:<math>x_0 = \frac{z+1}{\sqrt{2}},\, x_1=x_1,\, \ldots,\, x_n=x_n,\, x_{n+1}=\frac{z-1}{\sqrt{2}}.</math>
:<math>x_0 = \frac{z+1}{\sqrt{2}},\, x_1=x_1,\, \ldots,\, x_n=x_n,\, x_{n+1}=\frac{z-1}{\sqrt{2}}.</math>
यह आसानी से देखा जा सकता है कि इस परिवर्तन के तहत गोले की छवि मिंकोस्की अंतरिक्ष में शून्य है, और इसलिए यह शंकु एन पर स्थित है<sup>+</sup>. नतीजतन, यह लाइन बंडल के क्रॉस-सेक्शन को निर्धारित करता है {{nowrap|''N''<sup>+</sup> → ''S''}}.
यह सरलता से देखा जा सकता है कि इस परिवर्तन के अंतर्गत वृत्त की छवि मिंकोस्की स्थान में शून्य है, और इसलिए यह शंकु N<sup>+</sup> पर स्थित है। परिणामस्वरूप, यह रेखा बंडल {{nowrap|''N''<sup>+</sup> → ''S''}} के क्रॉस-सेक्शन को निर्धारित करता है।


फिर भी, एक मनमाना विकल्प था। अगर κ(x) का कोई सकारात्मक कार्य है {{nowrap|1=''x'' = (''z'', ''x''<sub>0</sub>, ..., ''x''<sub>''n''</sub>)}}, फिर असाइनमेंट
फिर भी, इच्छानुसार विकल्प था। यदि κ(x) {{nowrap|1=''x'' = (''z'', ''x''<sub>0</sub>, ..., ''x''<sub>''n''</sub>)}} का कोई सकारात्मक कार्य है, फिर असाइनमेंट


:<math>x_0 = \frac{z+1}{\kappa(x)\sqrt{2}}, \, x_1=x_1,\, \ldots,\, x_n=x_n,\, x_{n+1}=\frac{(z-1)\kappa(x)}{\sqrt{2}}</math>
:<math>x_0 = \frac{z+1}{\kappa(x)\sqrt{2}}, \, x_1=x_1,\, \ldots,\, x_n=x_n,\, x_{n+1}=\frac{(z-1)\kappa(x)}{\sqrt{2}}</math>
एन में मैपिंग भी देता है<sup>+</sup>. फ़ंक्शन κ अनुरूप पैमाने का एक मनमाना विकल्प है।
N<sup>+</sup> में मानचित्र भी देता है। फलन κ अनुरूप स्तर का इच्छानुसार विकल्प है।


==== प्रतिनिधि मेट्रिक्स ====
==== प्रतिनिधि आव्यूह ====
क्षेत्र पर एक प्रतिनिधि [[रिमेंनियन मीट्रिक]] एक मीट्रिक है जो मानक क्षेत्र मीट्रिक के समानुपाती होता है। यह एक अनुरूप ज्यामिति#Conformal manifolds के रूप में गोले का अहसास देता है। मानक क्षेत्र मीट्रिक आर पर यूक्लिडियन मीट्रिक का प्रतिबंध है<sup>एन+1</sup>
क्षेत्र पर प्रतिनिधि [[रिमेंनियन मीट्रिक|रिमेंनियन]] मापीय है जो मानक क्षेत्र मापीय के समानुपाती होता है। यह अनुरूप मैनिफोल्ड के रूप में वृत्त का अनुभूत देता है। मानक क्षेत्र मापीय '''R'''<sup>''n''+1</sup> पर यूक्लिडियन मापीय का प्रतिबंध है:


:<math>g=dz^2+dx_1^2+dx_2^2+\cdots+dx_n^2</math>
:<math>g=dz^2+dx_1^2+dx_2^2+\cdots+dx_n^2</math>
गोले को
वृत्त को


:<math>z^2+x_1^2+x_2^2+\cdots+x_n^2=1.</math>
:<math>z^2+x_1^2+x_2^2+\cdots+x_n^2=1.</math>
जी का एक अनुरूप प्रतिनिधि फॉर्म λ का एक मीट्रिक है<sup>2</sup>g, जहाँ λ गोले पर धनात्मक फलन है। जी का अनुरूप वर्ग, निरूपित [जी], ऐसे सभी प्रतिनिधियों का संग्रह है:
''g'' का अनुरूप प्रतिनिधि λ<sup>2</sup>g के रूप का मापीय है, जहाँ λ वृत्त पर धनात्मक फलन है। ''g'' का अनुरूप वर्ग, निरूपित [''g''], ऐसे सभी प्रतिनिधियों का संग्रह है:


:<math> [ g ] = \left\{ \lambda ^2 g \mid \lambda > 0 \right\} .</math>
:<math> [ g ] = \left\{ \lambda ^2 g \mid \lambda > 0 \right\} .</math>
यूक्लिडियन क्षेत्र का एन में एक एम्बेडिंग<sup>+</sup>, जैसा कि पिछले अनुभाग में है, S पर एक अनुरूप स्केल निर्धारित करता है। इसके विपरीत, S पर कोई भी अनुरूप स्केल इस तरह के एक एम्बेडिंग द्वारा दिया जाता है। इस प्रकार लाइन बंडल {{nowrap|''N''<sup>+</sup> → ''S''}} एस पर अनुरूप तराजू के बंडल के साथ पहचाना जाता है: इस बंडल का एक खंड देने के लिए अनुरूप वर्ग [जी] में एक मीट्रिक निर्दिष्ट करने के समान है।
यूक्लिडियन क्षेत्र का N<sup>+</sup> में अंतःस्थापन, जैसा कि पूर्व अनुभाग में है, S पर अनुरूप स्तर निर्धारित करता है। इसके विपरीत, S पर कोई भी अनुरूप स्तर इस प्रकार के अंतःस्थापन द्वारा दिया जाता है। इस प्रकार रेखा बंडल {{nowrap|''N''<sup>+</sup> → ''S''}} को S पर अनुरूप स्तर के बंडल के साथ पहचाना जाता है: इस बंडल का भाग देने के लिए अनुरूप वर्ग [''g''] में मापीय निर्दिष्ट करने के समान है।


==== परिवेश मीट्रिक मॉडल ====
==== परिवेश मापीय प्रारूप ====
{{see also|Ambient construction}}
{{see also|परिवेश निर्माण}}
प्रतिनिधि मेट्रिक्स को महसूस करने का एक अन्य तरीका एक विशेष समन्वय प्रणाली के माध्यम से है {{nowrap|'''R'''<sup>''n''+1, 1</sup>}}. मान लीजिए कि यूक्लिडियन एन-क्षेत्र एस एक [[त्रिविम प्रक्षेपण]] करता है। इसमें निम्नलिखित मानचित्र शामिल हैं {{nowrap|'''R'''<sup>''n''</sup> → ''S'' ⊂ '''R'''<sup>''n''+1</sup>}}:
प्रतिनिधि आव्यूह को अनुभूत करने का अन्य प्रकार {{nowrap|'''R'''<sup>''n''+1, 1</sup>}} विशेष समन्वय प्रणाली के माध्यम से होता है। मान लीजिए कि यूक्लिडियन n-क्षेत्र S में [[त्रिविम प्रक्षेपण|त्रिविम समन्वय प्रणाली]] है। इसमें {{nowrap|'''R'''<sup>''n''</sup> → ''S'' ⊂ '''R'''<sup>''n''+1</sup>}} निम्नलिखित मानचित्र सम्मिलित हैं:


:<math> \mathbf{y} \in \mathbf{R} ^n \mapsto \left( \frac{ 2 \mathbf{y} }{ \left| \mathbf{y} \right| ^2 + 1 }, \frac{ \left| \mathbf{y} \right| ^2 - 1 }{ \left| \mathbf{y} \right| ^2 + 1 } \right) \in S \sub \mathbf{R} ^{n+1} .</math>
:<math> \mathbf{y} \in \mathbf{R} ^n \mapsto \left( \frac{ 2 \mathbf{y} }{ \left| \mathbf{y} \right| ^2 + 1 }, \frac{ \left| \mathbf{y} \right| ^2 - 1 }{ \left| \mathbf{y} \right| ^2 + 1 } \right) \in S \sub \mathbf{R} ^{n+1} </math>
इन त्रिविम निर्देशांकों के संदर्भ में, नल शंकु एन पर एक समन्वय प्रणाली देना संभव है<sup>+</sup> Minkowski अंतरिक्ष में। ऊपर दिए गए एम्बेडिंग का उपयोग करते हुए, अशक्त शंकु का प्रतिनिधि मीट्रिक अनुभाग है
इन त्रिविम निर्देशांकों के संदर्भ में, मिंकोवस्की स्थान में शून्य शंकु N<sup>+</sup> पर समन्वय प्रणाली देना संभव होता है। ऊपर दिए गए अंतःस्थापन का उपयोग करते हुए, शून्य शंकु का प्रतिनिधि मापीय अनुभाग होता है:


:<math> x_0 = \sqrt{2} \frac{ \left| \mathbf{y} \right| ^2 }{ 1 + \left| \mathbf{y} \right| ^2 } , x_i = \frac{ y_i }{ \left| \mathbf{y} \right| ^2 + 1 } , x _{n+1} = \sqrt{2} \frac{1}{ \left| \mathbf{y} \right| ^2 + 1 } .</math>
:<math> x_0 = \sqrt{2} \frac{ \left| \mathbf{y} \right| ^2 }{ 1 + \left| \mathbf{y} \right| ^2 } , x_i = \frac{ y_i }{ \left| \mathbf{y} \right| ^2 + 1 } , x _{n+1} = \sqrt{2} \frac{1}{ \left| \mathbf{y} \right| ^2 + 1 } .</math>
एन के फैलाव के अनुरूप एक नया चर टी पेश करें<sup>+</sup>, ताकि अशक्त शंकु द्वारा समन्वित हो
''N<sup>+</sup>'' तक विस्तार के अनुरूप नए चर t प्रस्तुत करता है, जिससे कि शून्य शंकु द्वारा समन्वित होता है:


:<math>x_0 = t \sqrt{2} \frac{ \left| \mathbf{y} \right| ^2}{ 1 + \left| \mathbf{y} \right| ^2 }, x_i = t \frac{y_i}{ \left| \mathbf{y} \right| ^2 + 1}, x_{n+1} = t \sqrt{2} \frac{1}{ \left| \mathbf{y} \right| ^2 + 1 } .</math>
:<math>x_0 = t \sqrt{2} \frac{ \left| \mathbf{y} \right| ^2}{ 1 + \left| \mathbf{y} \right| ^2 }, x_i = t \frac{y_i}{ \left| \mathbf{y} \right| ^2 + 1}, x_{n+1} = t \sqrt{2} \frac{1}{ \left| \mathbf{y} \right| ^2 + 1 } .</math>
अंत में, ρ को N का निम्नलिखित परिभाषित कार्य होने दें<sup>+</sup>:
अंत में, ρ को N<sup>+</sup> का निम्नलिखित परिभाषित कार्य होने देता है:


:<math> \rho = \frac{ - 2 x _0 x _{n+1} + x _1^2 + x _2^2 + \cdots + x _n^2 }{ t ^2 } .</math>
:<math> \rho = \frac{ - 2 x _0 x _{n+1} + x _1^2 + x _2^2 + \cdots + x _n^2 }{ t ^2 } .</math>
टी में, ρ, y पर निर्देशांक {{nowrap|'''R'''<sup>''n''+1,1</sup>}}, मिन्कोव्स्की मीट्रिक रूप लेता है:
{{nowrap|'''R'''<sup>''n''+1,1</sup>}} पर t, ρ, y निर्देशांक में, मिन्कोव्स्की मापीय रूप लेता है:


:<math> t ^2 g _{ij} ( y ) \, dy ^i \, dy ^j + 2 \rho \, dt ^2 + 2 t \, dt \, d \rho , </math>
:<math> t ^2 g _{ij} ( y ) \, dy ^i \, dy ^j + 2 \rho \, dt ^2 + 2 t \, dt \, d \rho , </math>
जहां जी<sub>''ij''</sub> गोले पर मीट्रिक है।
जहां ''g<sub>ij</sub>'' वृत्त पर मापीय है।


इन शर्तों में, बंडल एन का एक खंड<sup>+</sup> में वेरिएबल के मान का एक विनिर्देश होता है {{nowrap|1=''t'' = ''t''(''y''<sup>''i''</sup>)}} वाई के एक समारोह के रूप में<sup>i</sup> शून्य शंकु के साथ {{nowrap|1=''ρ'' = 0}}. यह एस पर अनुरूप मीट्रिक के निम्नलिखित प्रतिनिधि उत्पन्न करता है:
इन प्रावधानों में, बंडल N<sup>+</sup> के भाग में शून्य शंकु {{nowrap|1=''ρ'' = 0}} के साथ ''y<sup>i</sup> के फलन के रूप में चर  {{nowrap|1=''t'' = ''t''(''y''<sup>''i''</sup>)}}'' के मान का विनिर्देश होता है। यह ''S'' पर अनुरूप मापीय के निम्नलिखित प्रतिनिधि उत्पन्न करता है:


:<math> t ( y ) ^2 g _{ij} \, d y ^i \, d y ^j .</math>
:<math> t ( y ) ^2 g _{ij} \, d y ^i \, d y ^j .</math>
==== क्लेनियन प्रारूप ====
प्रथम यूक्लिडियन सिग्नेचर में समतल कंफर्मल ज्यामिति की स्थिति पर विचार करता है। ''n''-आयामी प्रारूप {{nowrap|(''n'' + 2)}}-आयामी लोरेंट्ज़ियन स्थान '''R'''<sup>''n''+1,1</sup> का आकाशीय क्षेत्र है। यहाँ प्रारूप क्लेन ज्यामिति है: [[सजातीय स्थान]] G/H जहाँ {{nowrap|1=''G'' = SO(''n'' + 1, 1)}} {{nowrap|(''n'' + 2)}}-आयामी लोरेंट्ज़ियन स्थान R<sup>n+1,1</sup> पर कार्य करता है और H [[प्रकाश शंकु]] में निश्चित शून्य किरण का [[आइसोट्रॉपी समूह]] है। इस प्रकार अनुरूप रूप से समतल प्रारूप प्रतिलोम ज्यामिति के स्थान हैं। [[मीट्रिक हस्ताक्षर|मापीय हस्ताक्षर]] {{nowrap|(''p'', ''q'')}} के छद्म-यूक्लिडियन के लिए, प्रारूप समतल ज्यामिति को समान रूप से सजातीय स्थान {{nowrap|O(''p'' + 1, ''q'' + 1)/''H''}} के रूप में परिभाषित किया गया है, जहां H को पुनः शून्य रेखा के स्थायीकारक के रूप में लिया जाता है। ध्यान दें कि यूक्लिडियन और छद्म-यूक्लिडियन प्रारूप स्थान दोनों [[कॉम्पैक्ट जगह|सघन]] हैं।


 
==== अनुरूप लाइ बीजगणित ====
==== क्लेयनियन मॉडल ====
समतल प्रारूप स्थान में सम्मिलित समूहों और बीजगणितों का वर्णन करने के लिए, {{nowrap|'''R'''<sup>''p''+1,''q''+1</sup>}} पर निम्न रूप को ठीक करें :
पहले यूक्लिडियन सिग्नेचर में फ्लैट कंफर्मल ज्योमेट्री के मामले पर विचार करें। एन-डायमेंशनल मॉडल का आकाशीय क्षेत्र है {{nowrap|(''n'' + 2)}}-डायमेंशनल लोरेंट्ज़ियन स्पेस आर<sup>एन+1,1</sup>. यहाँ मॉडल एक क्लेन ज्यामिति है: एक [[सजातीय स्थान]] G/H जहाँ {{nowrap|1=''G'' = SO(''n'' + 1, 1)}} पर अभिनय कर रहा है {{nowrap|(''n'' + 2)}}-डायमेंशनल लोरेंट्ज़ियन स्पेस आर<sup>n+1,1</sup> और H [[प्रकाश शंकु]] में एक निश्चित शून्य किरण का [[आइसोट्रॉपी समूह]] है। इस प्रकार अनुरूप रूप से सपाट मॉडल प्रतिलोम ज्यामिति के स्थान हैं। [[मीट्रिक हस्ताक्षर]] के छद्म-यूक्लिडियन के लिए {{nowrap|(''p'', ''q'')}}, मॉडल फ्लैट ज्यामिति को समान रूप से सजातीय स्थान के रूप में परिभाषित किया गया है {{nowrap|O(''p'' + 1, ''q'' + 1)/''H''}}, जहां H को फिर से एक अशक्त रेखा के स्टेबलाइजर के रूप में लिया जाता है। ध्यान दें कि यूक्लिडियन और छद्म-यूक्लिडियन मॉडल स्पेस दोनों [[कॉम्पैक्ट जगह]] हैं।
 
==== अनुरूप झूठ बीजगणित ====
फ्लैट मॉडल स्पेस में शामिल समूहों और बीजगणितों का वर्णन करने के लिए, निम्नलिखित फॉर्म को ठीक करें {{nowrap|'''R'''<sup>''p''+1,''q''+1</sup>}}:


:<math>
:<math>
Line 157: Line 156:
\end{pmatrix}
\end{pmatrix}
</math>
</math>
जहाँ J हस्ताक्षर का द्विघात रूप है {{nowrap|(''p'', ''q'')}}. फिर {{nowrap|1=''G'' = O(''p'' + 1, ''q'' + 1)}} के होते हैं {{nowrap|(''n'' + 2) × (''n'' + 2)}} मेट्रिसेस स्थिरीकरण {{nowrap|1=''Q'' : <sup>t</sup>''MQM'' = ''Q''}}. झूठ बीजगणित एक [[कार्टन अपघटन]] स्वीकार करता है
जहाँ J हस्ताक्षर का द्विघात रूप {{nowrap|(''p'', ''q'')}} है। तब {{nowrap|1=''G'' = O(''p'' + 1, ''q'' + 1)}} में {{nowrap|(''n'' + 2) × (''n'' + 2)}} आव्यूह होते हैं जो {{nowrap|1=''Q'' : <sup>t</sup>''MQM'' = ''Q''}} को स्थिर करते हैं। लाइ बीजगणित [[कार्टन अपघटन]] स्वीकार करता है:


:<math>\mathbf{g}=\mathbf{g}_{-1}\oplus\mathbf{g}_0\oplus\mathbf{g}_1</math>
:<math>\mathbf{g}=\mathbf{g}_{-1}\oplus\mathbf{g}_0\oplus\mathbf{g}_1</math>
कहाँ पे
जहां


:<math>
:<math>
Line 183: Line 182:
0 & 0 & a
0 & 0 & a
\end{pmatrix} \right| A \in \mathfrak{so} ( p , q ) , a \in \mathbb{R} \right\} .</math>
\end{pmatrix} \right| A \in \mathfrak{so} ( p , q ) , a \in \mathbb{R} \right\} .</math>
वैकल्पिक रूप से, यह अपघटन परिभाषित एक प्राकृतिक झूठ बीजगणित संरचना से सहमत है {{nowrap|'''R'''<sup>''n''</sup> ⊕ '''cso'''(''p'', ''q'') ⊕ ('''R'''<sup>''n''</sup>)<sup>∗</sup>}}.
वैकल्पिक रूप से, यह अपघटन {{nowrap|'''R'''<sup>''n''</sup> ⊕ '''cso'''(''p'', ''q'') ⊕ ('''R'''<sup>''n''</sup>)<sup>∗</sup>}} पर परिभाषित प्राकृतिक लाइ बीजगणित संरचना से सहमत है।


अंतिम निर्देशांक सदिश को इंगित करने वाली अशक्त किरण का स्थिरीकरण [[बोरेल सबलजेब्रा]] द्वारा दिया जाता है
अंतिम निर्देशांक सदिश को प्रदर्शित करने वाली शून्य किरण का स्थिरीकरण [[बोरेल सबलजेब्रा|बोरेल उपबीजगणित]] द्वारा दिया जाता है:


: एच = जी<sub>0</sub> ⊕ जी<sub>1</sub>.
: '''h''' = '''g'''<sub>0</sub> ⊕ '''g'''<sub>1</sub>


== यह भी देखें ==
== यह भी देखें ==
Line 194: Line 193:
* [[अनुरूप हत्या समीकरण]]
* [[अनुरूप हत्या समीकरण]]
* [[एर्लांगेन कार्यक्रम]]
* [[एर्लांगेन कार्यक्रम]]
* मोबियस विमान
* मोबियस तल


==टिप्पणियाँ==
==टिप्पणियाँ==
Line 206: Line 205:




==इस पेज में लापता आंतरिक लिंक की सूची==
*अंक शास्त्र
*अनुरूप मानचित्रण
*अनुरूप मानचित्र
*स्यूडो-रीमैनियन मैनिफोल्ड
*अनुरूप रूप से फ्लैट कई गुना
*चिकना समारोह
*स्पर्शरेखा वेक्टर
*क्रिस्टोफर प्रतीक
*उलटा ज्यामिति
*द्विघात रूप
*आकाशीय पिंड
*आइसोमेट्री
*निर्देशांक तरीका
==बाहरी संबंध==
==बाहरी संबंध==
*{{springer|id=C/c024770|title=Conformal geometry|author=G.V. Bushmanova}}
*{{springer|id=C/c024770|title=Conformal geometry|author=G.V. Bushmanova}}
*http://www.euclideanspace.com/maths/geometry/space/nonEuclid/conformal/index.htm
*http://www.euclideanspace.com/maths/geometry/space/nonEuclid/conformal/index.htm
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Created On 11/12/2022]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:अनुरूप ज्यामिति| ]]
[[Category:अनुरूप ज्यामिति| ]]
[[Category:विभेदक ज्यामिति]]
[[Category:विभेदक ज्यामिति]]
[[Category: Machine Translated Page]]
[[Category:Created On 11/12/2022]]

Latest revision as of 18:41, 16 May 2023

गणित में, अनुरूप ज्यामिति स्थान पर कोण-संरक्षण (अनुरूप) परिवर्तनों के समुच्चय का अध्ययन है।

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

अनुरूप मैनिफोल्ड

अनुरूप मैनिफोल्ड छद्म-रीमैनियन मैनिफोल्ड है जो मापीय टेंसरों के समतुल्य वर्ग से सुसज्जित है, जिसमें दो आव्यूह g और h समतुल्य हैं यदि केवल,

जहां λ वास्तविक मूल्यवान सुचारू कार्य है जिसे कई गुना परिभाषित किया गया है और इसे 'अनुरूप कारक' कहा जाता है। ऐसे आव्यूह के समकक्ष वर्ग को 'अनुरूप मापीय' या 'अनुरूप वर्ग' के रूप में जाना जाता है। इस प्रकार, अनुरूप मापीय को मापीय के रूप में माना जा सकता है जो केवल स्तर तक परिभाषित होता है। प्रायः अनुरूप आव्यूह को अनुरूप वर्ग में मापीय का चयन करके और चयन किये हुए मापीय के लिए केवल अनुरूप अपरिवर्तनीय निर्माण प्रारम्भ करके प्रक्रिया की जाती है।

अनुरूप मापीय 'अनुरूप रूप से समतल मैनिफोल्ड' है यदि कोई मापीय इसका प्रतिनिधित्व करता है जो समतल है, सामान्य अर्थों में रीमैन वक्रता टेन्सर लुप्त हो जाता है। केवल अनुरूप वर्ग में मापीय शोध संभव हो सकता है जो प्रत्येक बिंदु के विवृत निकट में समतल होता है। जब इन स्थितियों में अंतर करना आवश्यक होता है, तो अंत वाले को स्थानीय रूप से समतल कहा जाता है, चूँकि प्रायः साहित्य में कोई भेद नहीं रखा जाता है। n-वृत्त स्थानीय रूप से अनुरूप समतल मैनिफोल्ड है जो इस अर्थ में विश्व स्तर पर अनुरूप रूप से समतल नहीं है, जबकि यूक्लिडियन स्थान, टोरस, या कोई भी अनुरूप मैनिफोल्ड जो यूक्लिडियन स्थान के विवृत उपसमुच्चय द्वारा कवर किया गया है (वैश्विक रूप से) इसमें अनुरूप रूप से समतल है। अनुरूप रूप से समतल मैनिफोल्ड स्थानीय रूप से मोबियस ज्यामिति के अनुरूप है, जिसका अर्थ है कि मोबियस ज्यामिति में कई गुना से स्थानीय भिन्नता को संरक्षित करने वाला कोण उपस्थित है। दो आयामों में, प्रत्येक अनुरूप मापीय स्थानीय रूप से समतल है। आयाम में n > 3 अनुरूप मापीय स्थानीय रूप से समतल है यदि केवल इसका वेइल टेंसर लुप्त हो जाता है; आयाम में n = 3, यदि केवल कॉटन टेंसर लुप्त हो जाता है।

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

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

मोबियस ज्यामिति

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

अमूर्त स्तर पर, आयाम दो की स्थिति को त्यागकर, यूक्लिडियन और छद्म-यूक्लिडियन रिक्त स्थान को उसी प्रकार से नियंत्रित किया जा सकता है। संकुचित द्वि-आयामी मिन्कोव्स्की तल व्यापक अनुरूप समरूपता प्रदर्शित करता है। औपचारिक रूप से, इसके अनुरूप परिवर्तनों का समूह अनंत-आयामी है। इसके विपरीत, संघनित यूक्लिडियन तल के अनुरूप परिवर्तनों का समूह केवल 6-आयामी है।

दो आयाम

मिन्कोवस्की तल

तल में मिन्कोव्स्की द्विघात रूप q(x, y) = 2xy के लिए अनुरूप समूह एबेलियन समूह लाइ समूह है:

लाइ बीजगणित cso(1, 1) के साथ सभी वास्तविक विकर्ण 2 × 2 आव्यूह सम्मिलित हैं।

अब मिंकोस्की तल पर विचार करें, ℝ2 मापीय से सुसज्जित है:

अनुरूप रूपांतरणों का 1-पैरामीटर समूह सदिश क्षेत्र X को इस संपत्ति के साथ उत्पन्न करता है कि X के साथ g का लाई डेरिवेटिव g के समानुपाती होता है। प्रतीकात्मक रूप से,

LX g = λg कुछ λ के लिए।

विशेष रूप से, लाइ बीजगणित cso(1, 1) के उपरोक्त विवरण का उपयोग करके, इसका तात्पर्य है कि

  1. LX dx = a(x) dx
  2. LX dy = b(y) dy कुछ वास्तविक-मूल्यवान कार्यों के लिए a और b क्रमशः x और y पर निर्भर करता है।

इसके विपरीत, वास्तविक-मूल्यवान कार्यों की ऐसी किसी भी जोड़ी को देखते हुए, सदिश क्षेत्र X उपस्थित होता है जो 1. और 2 को संतुष्ट करता है। इसलिए अनुरूप संरचना, विट बीजगणित के अनंत समरूपता का बीजगणित अनंत-आयामी है।

मिन्कोव्स्की तल का अनुरूप संघनन दो हलकों S1 × S1 का कार्टेशियन उत्पाद है। सार्वभौमिक आवरण पर, अतिसूक्ष्म समरूपताओं को एकीकृत करने में कोई बाधा नहीं है, और इसलिए अनुरूप परिवर्तनों का समूह अनंत-आयामी लाइ समूह है:

जहां Diff(S1) वृत्त का डिफोमोर्फिज्म समूह है।[1]

अनुरूप समूह CSO(1, 1) और इसका लाइ बीजगणित द्वि-आयामी अनुरूप क्षेत्र सिद्धांत में वर्तमान रुचि के हैं।

यूक्लिडियन अंतरिक्ष

मोबियस परिवर्तन से पूर्व समन्वय ग्रिड
मोबियस परिवर्तन के पश्चात वही ग्रिड

द्विघात रूप के अनुरूप समरूपता का समूह है:

समूह GL1(C) = C×, सम्मिश्र संख्याओं का गुणक समूह है। इसका लाई बीजगणित gl1(C) = C है।

मीट्रिक से लैस (यूक्लिडियन) जटिल तल पर विचार करता है।

इनफिनिटिमल अनुरूप समरूपता संतुष्ट करती है।

जहाँ f कॉची-रीमैन समीकरण को संतुष्ट करता है, और इसी प्रकार इसके डोमेन पर होलोमॉर्फिक है। (विट बीजगणित देखें।)

डोमेन के अनुरूप समरूपता इसलिए होलोमोर्फिक स्व-मानचित्रों से मिलकर बनता है। विशेष रूप से, अनुरूप संघनन पर - रीमैन क्षेत्र - मोबियस परिवर्तनों द्वारा अनुरूप परिवर्तन दिए गए हैं:

जहाँ adbc अशून्य है।

उच्च आयाम

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

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

अनुरूप ज्यामिति का सामान्य सिद्धांत समान है, चूँकि यूक्लिडियन और छद्म-यूक्लिडियन हस्ताक्षर की स्थितियों में, कुछ अंतरों के साथ होता है।[4] किसी भी स्थिति में, अनुरूप रूप से समतलज्यामिति के प्रारूप स्थान को प्रस्तुत करने के अनेक प्रकार हैं। जब तक संदर्भ से अन्यथा स्पष्ट न हो, यह लेख यूक्लिडियन अनुरूप ज्यामिति की स्थिति को इस समझ के साथ मानता है कि यह छद्म-यूक्लिडियन स्थिति पर, यथोचित परिवर्तनों सहित, भी प्रारम्भ होता है।

विपरीत प्रारूप

अनुरूप ज्यामिति के विपरीत प्रारूप में क्षेत्रों में व्युत्क्रम द्वारा उत्पन्न यूक्लिडियन स्थान En पर स्थानीय परिवर्तनों का समूह होता है। लिउविले की प्रमेय के अनुसार, कोई भी कोण-संरक्षण स्थानीय (अनुरूप) परिवर्तन इस रूप का होता है।[5] इस दृष्टिकोण से, समतल अनुरूप स्थान के परिवर्तन गुण व्युत्क्रम ज्यामिति के हैं।

प्रक्षेपीय प्रारूप

प्रक्षेपीय प्रारूप प्रक्षेपीय स्थान में निश्चित क्वाड्रिक के साथ अनुरूप क्षेत्र की पहचान करता है। मान लीजिए q Rn+2 द्वारा परिभाषित लॉरेंत्ज़ियन द्विघात रूप को निरूपित करता है।

प्रक्षेपी स्थान में P(Rn+2) में, S को q = 0 का स्थान देता है। तब S अनुरूप ज्यामिति का प्रक्षेपी (या मोबियस) प्रारूप है। S पर अनुरूप परिवर्तन P(Rn+2) का प्रक्षेपी रैखिक परिवर्तन है जो चतुर्भुज अपरिवर्तनीय को त्याग देता है।

संबंधित निर्माण में, द्विघात S को मिन्कोव्स्की स्थान Rn+1,1 में शून्य शंकु के अनंत पर आकाशीय क्षेत्र के रूप में माना जाता है, जो उपरोक्त के रूप में द्विघात रूप q से सुसज्जित है। जिसे शून्य शंकु द्वारा परिभाषित किया गया है:

यह प्रक्षेपी चतुर्भुज S के ऊपर सजातीय शंकु है। मान लीजिए N+ को शून्य शंकु का भाग होने दें (मूल विस्थापित किये जाने के साथ)। तब तात्विक प्रक्षेपण Rn+1,1 ∖ {0} → P(Rn+2) प्रक्षेपण N+S तक सीमित है। इससे N+ को S के ऊपर रेखा बंडल की संरचना देता है। S पर अनुरूप परिवर्तन Rn+1,1 के ऑर्थोक्रोनस लोरेंत्ज़ परिवर्तनों से प्रेरित हैं, क्योंकि ये सजातीय रैखिक परिवर्तन हैं जो भविष्य के शून्य शंकु को संरक्षित करते हैं।

यूक्लिडियन क्षेत्र

सहज रूप से,वृत्त के अनुरूप समतल ज्यामिति वृत्त के रिमेंनियन ज्यामिति की तुलना में अल्प कठोर होती है। वृत्त की अनुरूप समरूपता उसके सभी हाइपरस्फीयरों में व्युत्क्रम द्वारा उत्पन्न होती है। दूसरी ओर, क्षेत्र के रिमानियन ज्यामिति जियोडेसिक हाइपरस्फीयर में व्युत्क्रम द्वारा उत्पन्न होते हैं (कार्टन-ड्यूडोने प्रमेय देखें।) यूक्लिडियन क्षेत्र को विहित प्रकार से अनुरूप क्षेत्र में मानचित्र किया जा सकता है, लेकिन इसके विपरीत नहीं।

यूक्लिडियन इकाई क्षेत्र Rn+1 में बिंदुपथ है:

इसे मिन्कोस्की स्थान Rn+1,1 के लिए मान देकर मानचित्र किया जा सकता है।

यह सरलता से देखा जा सकता है कि इस परिवर्तन के अंतर्गत वृत्त की छवि मिंकोस्की स्थान में शून्य है, और इसलिए यह शंकु N+ पर स्थित है। परिणामस्वरूप, यह रेखा बंडल N+S के क्रॉस-सेक्शन को निर्धारित करता है।

फिर भी, इच्छानुसार विकल्प था। यदि κ(x) x = (z, x0, ..., xn) का कोई सकारात्मक कार्य है, फिर असाइनमेंट

N+ में मानचित्र भी देता है। फलन κ अनुरूप स्तर का इच्छानुसार विकल्प है।

प्रतिनिधि आव्यूह

क्षेत्र पर प्रतिनिधि रिमेंनियन मापीय है जो मानक क्षेत्र मापीय के समानुपाती होता है। यह अनुरूप मैनिफोल्ड के रूप में वृत्त का अनुभूत देता है। मानक क्षेत्र मापीय Rn+1 पर यूक्लिडियन मापीय का प्रतिबंध है:

वृत्त को

g का अनुरूप प्रतिनिधि λ2g के रूप का मापीय है, जहाँ λ वृत्त पर धनात्मक फलन है। g का अनुरूप वर्ग, निरूपित [g], ऐसे सभी प्रतिनिधियों का संग्रह है:

यूक्लिडियन क्षेत्र का N+ में अंतःस्थापन, जैसा कि पूर्व अनुभाग में है, S पर अनुरूप स्तर निर्धारित करता है। इसके विपरीत, S पर कोई भी अनुरूप स्तर इस प्रकार के अंतःस्थापन द्वारा दिया जाता है। इस प्रकार रेखा बंडल N+S को S पर अनुरूप स्तर के बंडल के साथ पहचाना जाता है: इस बंडल का भाग देने के लिए अनुरूप वर्ग [g] में मापीय निर्दिष्ट करने के समान है।

परिवेश मापीय प्रारूप

प्रतिनिधि आव्यूह को अनुभूत करने का अन्य प्रकार Rn+1, 1 विशेष समन्वय प्रणाली के माध्यम से होता है। मान लीजिए कि यूक्लिडियन n-क्षेत्र S में त्रिविम समन्वय प्रणाली है। इसमें RnSRn+1 निम्नलिखित मानचित्र सम्मिलित हैं:

इन त्रिविम निर्देशांकों के संदर्भ में, मिंकोवस्की स्थान में शून्य शंकु N+ पर समन्वय प्रणाली देना संभव होता है। ऊपर दिए गए अंतःस्थापन का उपयोग करते हुए, शून्य शंकु का प्रतिनिधि मापीय अनुभाग होता है:

N+ तक विस्तार के अनुरूप नए चर t प्रस्तुत करता है, जिससे कि शून्य शंकु द्वारा समन्वित होता है:

अंत में, ρ को N+ का निम्नलिखित परिभाषित कार्य होने देता है:

Rn+1,1 पर t, ρ, y निर्देशांक में, मिन्कोव्स्की मापीय रूप लेता है:

जहां gij वृत्त पर मापीय है।

इन प्रावधानों में, बंडल N+ के भाग में शून्य शंकु ρ = 0 के साथ yi के फलन के रूप में चर t = t(yi) के मान का विनिर्देश होता है। यह S पर अनुरूप मापीय के निम्नलिखित प्रतिनिधि उत्पन्न करता है:

क्लेनियन प्रारूप

प्रथम यूक्लिडियन सिग्नेचर में समतल कंफर्मल ज्यामिति की स्थिति पर विचार करता है। n-आयामी प्रारूप (n + 2)-आयामी लोरेंट्ज़ियन स्थान Rn+1,1 का आकाशीय क्षेत्र है। यहाँ प्रारूप क्लेन ज्यामिति है: सजातीय स्थान G/H जहाँ G = SO(n + 1, 1) (n + 2)-आयामी लोरेंट्ज़ियन स्थान Rn+1,1 पर कार्य करता है और H प्रकाश शंकु में निश्चित शून्य किरण का आइसोट्रॉपी समूह है। इस प्रकार अनुरूप रूप से समतल प्रारूप प्रतिलोम ज्यामिति के स्थान हैं। मापीय हस्ताक्षर (p, q) के छद्म-यूक्लिडियन के लिए, प्रारूप समतल ज्यामिति को समान रूप से सजातीय स्थान O(p + 1, q + 1)/H के रूप में परिभाषित किया गया है, जहां H को पुनः शून्य रेखा के स्थायीकारक के रूप में लिया जाता है। ध्यान दें कि यूक्लिडियन और छद्म-यूक्लिडियन प्रारूप स्थान दोनों सघन हैं।

अनुरूप लाइ बीजगणित

समतल प्रारूप स्थान में सम्मिलित समूहों और बीजगणितों का वर्णन करने के लिए, Rp+1,q+1 पर निम्न रूप को ठीक करें :

जहाँ J हस्ताक्षर का द्विघात रूप (p, q) है। तब G = O(p + 1, q + 1) में (n + 2) × (n + 2) आव्यूह होते हैं जो Q : tMQM = Q को स्थिर करते हैं। लाइ बीजगणित कार्टन अपघटन स्वीकार करता है:

जहां

वैकल्पिक रूप से, यह अपघटन Rncso(p, q) ⊕ (Rn) पर परिभाषित प्राकृतिक लाइ बीजगणित संरचना से सहमत है।

अंतिम निर्देशांक सदिश को प्रदर्शित करने वाली शून्य किरण का स्थिरीकरण बोरेल उपबीजगणित द्वारा दिया जाता है:

h = g0g1

यह भी देखें

टिप्पणियाँ

  1. Paul Ginsparg (1989), Applied Conformal Field Theory. arXiv:hep-th/9108028. Published in Ecole d'Eté de Physique Théorique: Champs, cordes et phénomènes critiques/Fields, strings and critical phenomena (Les Houches), ed. by E. Brézin and J. Zinn-Justin, Elsevier Science Publishers B.V.
  2. Kobayashi (1972).
  3. Due to a general theorem of Sternberg (1962).
  4. Slovak (1993).
  5. S.A. Stepanov (2001) [1994], "Liouville theorems", Encyclopedia of Mathematics, EMS Press. G. Monge (1850). "Extension au case des trois dimensions de la question du tracé géographique, Note VI (by J. Liouville)". Application de l'Analyse à la géometrie. Bachelier, Paris. pp. 609–615..


संदर्भ


बाहरी संबंध