अवधियों की मूलभूत जोड़ी: Difference between revisions
(text) |
|||
Line 1: | Line 1: | ||
गणित में, अवधियों की | गणित में, अवधियों की मूलभूत जोड़ी समिश्र संख्या की क्रमबद्ध जोड़ी है जो [[जटिल विमान|सम्मिश्र समतल]] में [[जाली (समूह)|लैटिस (समूह)]] को परिभाषित करती है। इस प्रकार की लैटिस अंतर्निहित वस्तु है जिसके साथ दीर्घवृत्तीय फलन और [[मॉड्यूलर रूप|प्रतिरूपक रूप]] को परिभाषित किया जाता है। | ||
[[Image:Fundamental parallelogram.png|thumb|right| | [[Image:Fundamental parallelogram.png|thumb|right|मूलभूत समांतर चतुर्भुज सम्मिश्र समतल में सदिश की एक जोड़ी द्वारा परिभाषित।]] | ||
== परिभाषा == | == परिभाषा == | ||
अवधियों की | अवधियों की मूलभूत जोड़ी समिश्र संख्या की जोड़ी है <math>\omega_1,\omega_2 \in \Complex</math> कि उनका अनुपात <math>\omega_2 / \omega_1</math> वास्तविक नहीं है। यदि सदिश के रूप में माना जाता है <math>\R^2</math>, दोनों [[रैखिक रूप से स्वतंत्र|सरेख]] नहीं हैं। लैटिस द्वारा उत्पन्न किया गया <math>\omega_1</math> और <math>\omega_2</math> है | ||
:<math>\Lambda = \left\{ m\omega_1 + n\omega_2 \mid m,n\in\Z \right\}.</math> | :<math>\Lambda = \left\{ m\omega_1 + n\omega_2 \mid m,n\in\Z \right\}.</math> | ||
इस लैटिस को कभी-कभी निरूपित भी किया जाता है <math>\Lambda(\omega_1, \omega_2)</math> यह स्पष्ट करने के लिए कि यह पर निर्भर करता है <math>\omega_1</math> और <math>\omega_2.</math> इसे कभी-कभी <math>\Omega\vphantom{(}</math> या <math>\Omega(\omega_1, \omega_2),</math>द्वारा भी निरूपित किया जाता है या द्वारा <math>(\omega_1, \omega_2).</math>भी निरूपित किया जाता है, दो जनरेटर <math>\omega_1</math> और <math>\omega_2</math> लैटिस आधार कहा जाता है। शीर्षों वाला समांतर [[चतुर्भुज]] <math>(0, \omega_1, \omega_1+\omega_2, \omega_2)</math> | इस लैटिस को कभी-कभी निरूपित भी किया जाता है <math>\Lambda(\omega_1, \omega_2)</math> यह स्पष्ट करने के लिए कि यह पर निर्भर करता है <math>\omega_1</math> और <math>\omega_2.</math> इसे कभी-कभी <math>\Omega\vphantom{(}</math> या <math>\Omega(\omega_1, \omega_2),</math>द्वारा भी निरूपित किया जाता है या द्वारा <math>(\omega_1, \omega_2).</math>भी निरूपित किया जाता है, दो जनरेटर <math>\omega_1</math> और <math>\omega_2</math> लैटिस आधार कहा जाता है। शीर्षों वाला समांतर [[चतुर्भुज]] <math>(0, \omega_1, \omega_1+\omega_2, \omega_2)</math> मूलभूत समांतर चतुर्भुज कहा जाता है। | ||
जबकि | जबकि मूलभूत जोड़ी लैटिस उत्पन्न करती है, लैटिस में कोई अद्वितीय मूलभूत जोड़ी नहीं होती है; वास्तव में, मूलभूत युग्मों की अनंत संख्या एक ही लैटिस के अनुरूप होती है। | ||
== बीजगणितीय गुण == | == बीजगणितीय गुण == | ||
Line 19: | Line 19: | ||
=== कोई आंतरिक बिंदु नहीं === | === कोई आंतरिक बिंदु नहीं === | ||
मूलभूत समांतर चतुर्भुज के आंतरिक या सीमा में आगे कोई लैटिस बिंदु नहीं है। इसके विपरीत, इस गुण के साथ लैटिस बिंदुओं की कोई भी जोड़ी मूलभूत जोड़ी बनाती है, और इसके अलावा, वे एक ही लैटिस उत्पन्न करते हैं। | |||
=== प्रतिरूपक समरूपता === | === प्रतिरूपक समरूपता === | ||
Line 36: | Line 36: | ||
== सामयिक गुण == | == सामयिक गुण == | ||
[[एबेलियन समूह]] <math>\Z^2</math> सम्मिश्र समतल को | [[एबेलियन समूह]] <math>\Z^2</math> सम्मिश्र समतल को मूलभूत समांतर चतुर्भुज में प्रतिचित्र करता है। यानी हर बिंदु <math>z \in \Complex</math> रूप में लिखा जा सकता है <math>z = p+m\omega_1+n\omega_2</math> पूर्णांकों के लिए <math>m,n</math> एक बिंदु के साथ <math>p</math> मूलभूत समांतर चतुर्भुज में है। | ||
चूंकि यह प्रतिचित्र समांतर चतुर्भुज के विपरीत पक्षों को समान होने के रूप में पहचानती है, | चूंकि यह प्रतिचित्र समांतर चतुर्भुज के विपरीत पक्षों को समान होने के रूप में पहचानती है, मूलभूत समांतर चतुर्भुज में[[ टोरस्र्स | टोरस्र्स]] की [[टोपोलॉजी|संस्थितिविज्ञान]] होती है। समान रूप से, कहता है कि भागफल बहुविध <math>\C/\Lambda</math> टोरस है। | ||
== | == मूलभूत क्षेत्र == | ||
[[Image:ModularGroup-FundamentalDomain.svg|thumb|400px|ग्रे विहित | [[Image:ModularGroup-FundamentalDomain.svg|thumb|400px|ग्रे विहित मूलभूत डोमेन को दर्शाता है।]]परिभाषित करना <math>\tau = \omega_2/\omega_1</math> [[अर्ध-अवधि अनुपात]] होना है। फिर लैटिस के आधार को हमेशा चुना जा सकता है ताकि <math>\tau</math> एक विशेष क्षेत्र में निहित है, जिसे [[मौलिक डोमेन|मूलभूत डोमेन]] कहा जाता है। वैकल्पिक रूप से, [[प्रक्षेपी रैखिक समूह]] का तत्व हमेशा मौजूद होता है <math>\operatorname{PSL}(2,\Z)</math> जो लैटिस आधार को दूसरे आधार पर प्रतिचित्र करता है ताकि <math>\tau</math> मूलभूत डोमेन में है। | ||
मूलभूत डोमेन समुच्चय द्वारा दिया जाता है <math>D,</math> जो समुच्चय से बना है <math>U</math> प्लस की सीमा {{nobr|<math>U</math>:}} का हिस्सा है | |||
:<math>U = \left\{ z \in H: \left| z \right| > 1, \, \left| \operatorname{Re}(z) \right| < \tfrac{1}{2} \right\}.</math> | :<math>U = \left\{ z \in H: \left| z \right| > 1, \, \left| \operatorname{Re}(z) \right| < \tfrac{1}{2} \right\}.</math> | ||
जहाँ <math>H</math> [[ऊपरी आधा विमान|ऊपरी अर्ध समतल]] है। | |||
मूलभूत डोमेन <math>D</math> फिर बाईं ओर की सीमा और तल पर आधे चाप को जोड़कर बनाया गया है: | |||
:<math>D = U \cup \left\{ z \in H: \left| z \right| \geq 1,\, \operatorname{Re}(z) = -\tfrac{1}{2} \right\} \cup \left\{ z \in H: \left| z \right| = 1,\, \operatorname{Re}(z) \le 0 \right\}.</math> | :<math>D = U \cup \left\{ z \in H: \left| z \right| \geq 1,\, \operatorname{Re}(z) = -\tfrac{1}{2} \right\} \cup \left\{ z \in H: \left| z \right| = 1,\, \operatorname{Re}(z) \le 0 \right\}.</math> | ||
तीन मामले संबंधित हैं: | तीन मामले संबंधित हैं: | ||
* अगर <math>\tau \ne i</math> और <math display=inline>\tau \ne e^{i\pi/3}</math>, तो ठीक उसी के साथ दो | * अगर <math>\tau \ne i</math> और <math display=inline>\tau \ne e^{i\pi/3}</math>, तो ठीक उसी के साथ दो लैटिस आधार हैं <math>\tau</math> मूलभूत क्षेत्र में: <math>(\omega_1,\omega_2)</math> और <math>(-\omega_1,-\omega_2).</math> | ||
*अगर <math>\tau=i</math>, तो चार लैटिस आधार समान हैं {{nobr|<math>\tau</math>:}} उपरोक्त दो <math>(\omega_1,\omega_2)</math>, <math>(-\omega_1,-\omega_2)</math> और <math>(i\omega_1,i\omega_2)</math>, <math>(-i\omega_1,-i\omega_2).</math> | |||
*अगर <math display="inline">\tau=e^{i\pi/3}</math>, तो उसी के साथ छह लैटिस आधार हैं {{nobr|<math>\tau</math>:}} <math>(\omega_1,\omega_2)</math>, <math>(\tau \omega_1, \tau \omega_2)</math>, <math>(\tau^2 \omega_1, \tau^2 \omega_2)</math> और उनके निषेधात्मक हैं। | |||
मूलभूत डोमेन के संवरक होने में: <math>\tau=i</math> और <math display=inline>\tau=e^{i\pi/3}.</math> | |||
== यह भी देखें == | == यह भी देखें == | ||
* लैटिस के लिए और | * लैटिस के लिए और मूलभूत जोड़ी के लिए कई वैकल्पिक संकेत मौजूद हैं, और अक्सर इसके स्थान पर उपयोग किए जाते हैं। उदाहरण के लिए, [[नोम (गणित)]], [[अण्डाकार मापांक|दीर्घवृत्तीय मापांक]], [[तिमाही अवधि]] और अर्ध-अवधि अनुपात पर लेख देखें। | ||
* [[अण्डाकार वक्र|दीर्घवृत्तीय वक्र]] | * [[अण्डाकार वक्र|दीर्घवृत्तीय वक्र]] | ||
* प्रतिरूपक रूप | * प्रतिरूपक रूप |
Revision as of 11:38, 2 May 2023
गणित में, अवधियों की मूलभूत जोड़ी समिश्र संख्या की क्रमबद्ध जोड़ी है जो सम्मिश्र समतल में लैटिस (समूह) को परिभाषित करती है। इस प्रकार की लैटिस अंतर्निहित वस्तु है जिसके साथ दीर्घवृत्तीय फलन और प्रतिरूपक रूप को परिभाषित किया जाता है।
परिभाषा
अवधियों की मूलभूत जोड़ी समिश्र संख्या की जोड़ी है कि उनका अनुपात वास्तविक नहीं है। यदि सदिश के रूप में माना जाता है , दोनों सरेख नहीं हैं। लैटिस द्वारा उत्पन्न किया गया और है
इस लैटिस को कभी-कभी निरूपित भी किया जाता है यह स्पष्ट करने के लिए कि यह पर निर्भर करता है और इसे कभी-कभी या द्वारा भी निरूपित किया जाता है या द्वारा भी निरूपित किया जाता है, दो जनरेटर और लैटिस आधार कहा जाता है। शीर्षों वाला समांतर चतुर्भुज मूलभूत समांतर चतुर्भुज कहा जाता है।
जबकि मूलभूत जोड़ी लैटिस उत्पन्न करती है, लैटिस में कोई अद्वितीय मूलभूत जोड़ी नहीं होती है; वास्तव में, मूलभूत युग्मों की अनंत संख्या एक ही लैटिस के अनुरूप होती है।
बीजगणितीय गुण
नीचे सूचीबद्ध कई गुण देखे जा सकते हैं।
समानता
समिश्र संख्या के दो जोड़े और तुल्यता संबंध कहलाते हैं यदि वे समान लैटिस उत्पन्न करते हैं: अर्थात, यदि
कोई आंतरिक बिंदु नहीं
मूलभूत समांतर चतुर्भुज के आंतरिक या सीमा में आगे कोई लैटिस बिंदु नहीं है। इसके विपरीत, इस गुण के साथ लैटिस बिंदुओं की कोई भी जोड़ी मूलभूत जोड़ी बनाती है, और इसके अलावा, वे एक ही लैटिस उत्पन्न करते हैं।
प्रतिरूपक समरूपता
दो जोड़े और समतुल्य हैं अगर और केवल अगर मौजूद है 2 × 2 आव्यूह पूर्णांक प्रविष्टियों के साथ और और निर्धारक ऐसा है कि
वह है, ताकि
यह आव्यूह प्रतिरूपक समूह से संबंधित है, लैटिस के इस तुल्यता को दीर्घवृत्तीय फलन (विशेष रूप से वीयरस्ट्रैस दीर्घवृत्तीय फलन) और प्रतिरूपक रूपों के कई गुणों के अंतर्निहित के रूप में माना जा सकता है।
सामयिक गुण
एबेलियन समूह सम्मिश्र समतल को मूलभूत समांतर चतुर्भुज में प्रतिचित्र करता है। यानी हर बिंदु रूप में लिखा जा सकता है पूर्णांकों के लिए एक बिंदु के साथ मूलभूत समांतर चतुर्भुज में है।
चूंकि यह प्रतिचित्र समांतर चतुर्भुज के विपरीत पक्षों को समान होने के रूप में पहचानती है, मूलभूत समांतर चतुर्भुज में टोरस्र्स की संस्थितिविज्ञान होती है। समान रूप से, कहता है कि भागफल बहुविध टोरस है।
मूलभूत क्षेत्र
परिभाषित करना अर्ध-अवधि अनुपात होना है। फिर लैटिस के आधार को हमेशा चुना जा सकता है ताकि एक विशेष क्षेत्र में निहित है, जिसे मूलभूत डोमेन कहा जाता है। वैकल्पिक रूप से, प्रक्षेपी रैखिक समूह का तत्व हमेशा मौजूद होता है जो लैटिस आधार को दूसरे आधार पर प्रतिचित्र करता है ताकि मूलभूत डोमेन में है।
मूलभूत डोमेन समुच्चय द्वारा दिया जाता है जो समुच्चय से बना है प्लस की सीमा : का हिस्सा है
जहाँ ऊपरी अर्ध समतल है।
मूलभूत डोमेन फिर बाईं ओर की सीमा और तल पर आधे चाप को जोड़कर बनाया गया है:
तीन मामले संबंधित हैं:
- अगर और , तो ठीक उसी के साथ दो लैटिस आधार हैं मूलभूत क्षेत्र में: और
- अगर , तो चार लैटिस आधार समान हैं : उपरोक्त दो , और ,
- अगर , तो उसी के साथ छह लैटिस आधार हैं : , , और उनके निषेधात्मक हैं।
मूलभूत डोमेन के संवरक होने में: और
यह भी देखें
- लैटिस के लिए और मूलभूत जोड़ी के लिए कई वैकल्पिक संकेत मौजूद हैं, और अक्सर इसके स्थान पर उपयोग किए जाते हैं। उदाहरण के लिए, नोम (गणित), दीर्घवृत्तीय मापांक, तिमाही अवधि और अर्ध-अवधि अनुपात पर लेख देखें।
- दीर्घवृत्तीय वक्र
- प्रतिरूपक रूप
- ईसेनस्टीन श्रृंखला
संदर्भ
- Tom M. Apostol, Modular functions and Dirichlet Series in Number Theory (1990), Springer-Verlag, New York. ISBN 0-387-97127-0 (See chapters 1 and 2.)
- Jurgen Jost, Compact Riemann Surfaces (2002), Springer-Verlag, New York. ISBN 3-540-43299-X (See chapter 2.)