अवधियों की मूलभूत जोड़ी: Difference between revisions
(text) |
No edit summary |
||
(9 intermediate revisions by 5 users not shown) | |||
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> मूलभूत समांतर चतुर्भुज कहा जाता है। | ||
जबकि | जबकि मूलभूत जोड़ी लैटिस उत्पन्न करती है, लैटिस में कोई अद्वितीय मूलभूत जोड़ी नहीं होती है; वास्तव में, मूलभूत युग्मों की अनंत संख्या एक ही लैटिस के अनुरूप होती है। | ||
== बीजगणितीय गुण == | == बीजगणितीय गुण == | ||
Line 15: | Line 15: | ||
=== समानता === | === समानता === | ||
[[Image:A lattice spanned by periods.svg|right|thumb|250px|अवधियों द्वारा फैला एक | [[Image:A lattice spanned by periods.svg|right|thumb|250px|अवधियों द्वारा फैला एक लैटिस {{math|''ω''<sub>1</sub>}} और {{math|''ω''<sub>2</sub>}}, अवधियों की एक समतुल्य जोड़ी दिखा रहा है {{math|''α''<sub>1</sub>}} और {{math|''α''<sub>2</sub>}}.]]समिश्र संख्या के दो जोड़े <math>(\omega_1, \omega_2)</math> और <math>(\alpha_1, \alpha_2)</math> [[तुल्यता संबंध]] कहलाते हैं यदि वे समान लैटिस उत्पन्न करते हैं: अर्थात, यदि <math>\Lambda(\omega_1, \omega_2) = \Lambda(\alpha_1, \alpha_2).</math> | ||
=== कोई आंतरिक बिंदु नहीं === | === कोई आंतरिक बिंदु नहीं === | ||
मूलभूत समांतर चतुर्भुज के आंतरिक या सीमा में आगे कोई लैटिस बिंदु नहीं है। इसके विपरीत, इस गुण के साथ लैटिस बिंदुओं की कोई भी जोड़ी मूलभूत जोड़ी बनाती है, और इसके अतिरिक्त, वे एक ही लैटिस उत्पन्न करते हैं। | |||
=== | === प्रतिरूपक समरूपता === | ||
दो जोड़े <math>(\omega_1,\omega_2)</math> और <math>(\alpha_1,\alpha_2)</math> समतुल्य हैं | दो जोड़े <math>(\omega_1,\omega_2)</math> और <math>(\alpha_1,\alpha_2)</math> समतुल्य हैं यदि और केवल यदि सम्मिलित है {{math|2 × 2}} आव्यूह <math display=inline>\begin{pmatrix} a & b \\ c & d \end{pmatrix}</math> पूर्णांक प्रविष्टियों के साथ <math>a,</math> <math>b,</math> <math>c,</math> और <math>d</math> और निर्धारक <math>ad - bc = \pm 1</math> ऐसा है कि | ||
:<math>\begin{pmatrix} \alpha_1 \\ \alpha_2 \end{pmatrix} = | :<math>\begin{pmatrix} \alpha_1 \\ \alpha_2 \end{pmatrix} = | ||
\begin{pmatrix} a & b \\ c & d \end{pmatrix} | \begin{pmatrix} a & b \\ c & d \end{pmatrix} | ||
\begin{pmatrix} \omega_1 \\ \omega_2 \end{pmatrix},</math> | \begin{pmatrix} \omega_1 \\ \omega_2 \end{pmatrix},</math> | ||
वह है, | वह है, जिससे कि | ||
:<math>\begin{align} | :<math>\begin{align} | ||
Line 33: | Line 31: | ||
\alpha_2 = c\omega_1+d\omega_2. | \alpha_2 = c\omega_1+d\omega_2. | ||
\end{align}</math> | \end{align}</math> | ||
यह | यह आव्यूह [[मॉड्यूलर समूह|प्रतिरूपक समूह]] <math>\mathrm{SL}(2,\Z).</math> से संबंधित है, लैटिस के इस तुल्यता को दीर्घवृत्तीय फलन (विशेष रूप से वीयरस्ट्रैस दीर्घवृत्तीय फलन) और प्रतिरूपक रूपों के कई गुणों के अंतर्निहित के रूप में माना जा सकता है। | ||
== सामयिक गुण == | == सामयिक गुण == | ||
[[एबेलियन समूह]] <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</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> | |||
== यह भी देखें == | == यह भी देखें == | ||
* | * लैटिस के लिए और मूलभूत जोड़ी के लिए कई वैकल्पिक संकेत सम्मिलित हैं, और अधिकांशतः इसके स्थान पर उपयोग किए जाते हैं। उदाहरण के लिए, [[नोम (गणित)]], [[अण्डाकार मापांक|दीर्घवृत्तीय मापांक]], [[तिमाही अवधि]] और अर्ध-अवधि अनुपात पर लेख देखें। | ||
* [[अण्डाकार वक्र]] | * [[अण्डाकार वक्र|दीर्घवृत्तीय वक्र]] | ||
* | * प्रतिरूपक रूप | ||
* [[ईसेनस्टीन श्रृंखला]] | * [[ईसेनस्टीन श्रृंखला]] | ||
Line 67: | Line 65: | ||
* Jurgen Jost, ''Compact Riemann Surfaces'' (2002), Springer-Verlag, New York. {{ISBN|3-540-43299-X}} ''(See chapter 2.)'' | * Jurgen Jost, ''Compact Riemann Surfaces'' (2002), Springer-Verlag, New York. {{ISBN|3-540-43299-X}} ''(See chapter 2.)'' | ||
{{DEFAULTSORT:Fundamental Pair Of Periods}} | |||
{{DEFAULTSORT:Fundamental Pair Of Periods}} | |||
[[Category: Machine Translated Page]] | [[Category:Created On 26/04/2023|Fundamental Pair Of Periods]] | ||
[[Category: | [[Category:Machine Translated Page|Fundamental Pair Of Periods]] | ||
[[Category:Templates Vigyan Ready|Fundamental Pair Of Periods]] | |||
[[Category:अण्डाकार कार्य|Fundamental Pair Of Periods]] | |||
[[Category:जाली अंक|Fundamental Pair Of Periods]] | |||
[[Category:मॉड्यूलर रूप|Fundamental Pair Of Periods]] | |||
[[Category:रीमैन सतहों|Fundamental Pair Of Periods]] |
Latest revision as of 14:46, 28 August 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.)