विरूपण (गणित): Difference between revisions
No edit summary |
No edit summary |
||
| Line 10: | Line 10: | ||
: <math> H^1(\Theta) \, </math> | : <math> H^1(\Theta) \, </math> | ||
जहां Θ होलोमोर्फिक [[स्पर्शरेखा बंडल]] (वर्गों के [[जर्म (गणित)]] का शीफ) है। | जहां Θ होलोमोर्फिक [[स्पर्शरेखा बंडल]] (वर्गों के [[जर्म (गणित)]] का शीफ) है। उसी शीफ के ''H''<sup>2</sup> में रुकावट है;; जो आयाम के सामान्य कारणों से वक्र के विषय में सदैव शून्य होता है। जीनस 0 के विषय में H<sup>1</sup>भी गायब हो जाता है. जीनस 1 के लिए आयाम [[हॉज नंबर]] ''h''<sup>1,0</sup> है, जो इसलिए 1 है। यह ज्ञात है कि जीनस एक के सभी वक्रों में ''y''<sup>2</sup> = ''x''<sup>3</sup> + ''ax'' + ''b'' के रूप के समीकरण होते हैं। ये स्पष्ट रूप से दो मापदंडों, a और b पर निर्भर करते हैं, जबकि ऐसे वक्रों के समरूपता वर्गों में केवल एक पैरामीटर होता है। इसलिए उन a और b से संबंधित समीकरण होना चाहिए जो आइसोमोर्फिक अण्डाकार वक्रों का वर्णन करता है। यह वह वक्र है जिसके लिए ''b''<sup>2</sup>''a''<sup>−3</sup> का मान समान है, समरूपी वक्रों का वर्णन करें। अर्थात a और b को भिन्न करना वक्र वाई की संरचना को विकृत करने का उपाय ''y''<sup>2</sup> = ''x''<sup>3</sup> + ''ax'' + ''b है'', परन्तु a,b के सभी रूपांतर वास्तव में वक्र के समरूपता वर्ग को नहीं परिवर्तित करते हैं। | ||
H<sup>1</sup> से संबंधित करने के लिए [[सेरे द्वैत]] का उपयोग करते हुए, जीनस g > 1 के विषय में कोई आगे बढ़ सकता है, | |||
: <math> H^0(\Omega^{[2]}) </math> | : <math> H^0(\Omega^{[2]}) </math> | ||
जहां Ω होलोमोर्फिक [[कोटैंजेंट बंडल]] और अंकन Ω है<sup>[2]</sup> का अर्थ | जहां Ω होलोमोर्फिक [[कोटैंजेंट बंडल]] और अंकन Ω है<sup>[2]</sup> का अर्थ टेंसर वर्ग (दूसरी [[बाहरी शक्ति]] नहीं)है। दूसरे शब्दों में, रीमैन सतह पर विकृतियों को होलोमोर्फिक [[द्विघात अंतर|द्विघात भिन्नताओं]] द्वारा नियंत्रित किया जाता है, जिसे फिर से शास्त्रीय रूप से जाना जाता है। मॉड्यूलि स्पेस का आयाम, जिसे इस विषय में टीचमुलर स्पेस कहा जाता है, रीमैन-रोच प्रमेय द्वारा 3g-3 के रूप में गणना की जाती है। | ||
ये उदाहरण किसी भी आयाम के जटिल मैनिफोल्ड्स के होलोमोर्फिक परिवारों पर प्रस्तावित होने वाले सिद्धांत | ये उदाहरण किसी भी आयाम के जटिल मैनिफोल्ड्स के होलोमोर्फिक परिवारों पर प्रस्तावित होने वाले सिद्धांत का प्रारम्भ हैं। आगामी विकास में सम्मिलित [[विभेदक ज्यामिति]] की अन्य संरचनाओं के लिए स्पेंसर द्वारा प्रौद्योगिकी का विस्तार; [[ग्रोथेंडिक]] के अमूर्त बीजगणितीय ज्यामिति में कोडैरा-स्पेंसर सिद्धांत को आत्मसात करना हैं, जिसके परिणामस्वरूप पनिवारणे के काम की ठोस व्याख्या हुई; और अन्य संरचनाओं का विरूपण सिद्धांत, जैसे कि बीजगणित। | ||
==विरूपण और समतल मानचित्र== | ==विरूपण और समतल मानचित्र== | ||
| Line 42: | Line 42: | ||
=== विकृतियों की सह-समसामयिक व्याख्या === | === विकृतियों की सह-समसामयिक व्याख्या === | ||
यह स्पष्ट होना चाहिए कि विश्लेषणात्मक कार्यों के एक ही रोगाणु में कई विकृतियाँ हो सकती हैं। इस वजह से, इस सारी जानकारी को व्यवस्थित करने के लिए कुछ बही-खाता उपकरणों की आवश्यकता होती है। इन संगठनात्मक उपकरणों का निर्माण टेंगेंट कोहोमोलॉजी का उपयोग करके किया गया है।<ref name=":0" />यह कोसज़ुल-टेट रिज़ॉल्यूशन का उपयोग करके और अन्य-नियमित बीजगणित के लिए अतिरिक्त जनरेटर जोड़कर इसे संभावित रूप से संशोधित करके बनाया गया है। <math>A</math>. विश्लेषणात्मक बीजगणित के विषय में इन संकल्पों को गणितज्ञ [[गैलिना ट्यूरिना]] के लिए तजुरिना संकल्प कहा जाता है, जिन्होंने सबसे पनिवारणे ऐसी वस्तुओं का अध्ययन किया था। यह एक ग्रेडेड-कम्यूटेटिव डिफरेंशियल ग्रेडेड बीजगणित है <math>(R_\bullet, s)</math> ऐसा है कि <math>R_0 \to A</math> विश्लेषणात्मक बीजगणित का एक विशेषण मानचित्र है, और यह मानचित्र एक सटीक अनुक्रम में फिट बैठता है<ब्लॉककोट><math>\cdots \xrightarrow{s} R_{-2} \xrightarrow{s} R_{-1} \xrightarrow{s} R_0 \xrightarrow{p} A \to 0</math>फिर, व्युत्पत्तियों के विभेदक श्रेणीबद्ध मॉड्यूल को लेकर <math>(\text{Der}(R_\bullet), d)</math>, इसकी सह-समरूपता विश्लेषणात्मक बीजगणित के रोगाणु की स्पर्शरेखा सह-समरूपता बनाती है <math>A</math>. इन सहसंयोजी समूहों को दर्शाया गया है <math>T^k(A)</math>. <math>T^1(A)</math> h> की सभी विकृतियों के बारे में जानकारी | यह स्पष्ट होना चाहिए कि विश्लेषणात्मक कार्यों के एक ही रोगाणु में कई विकृतियाँ हो सकती हैं। इस वजह से, इस सारी जानकारी को व्यवस्थित करने के लिए कुछ बही-खाता उपकरणों की आवश्यकता होती है। इन संगठनात्मक उपकरणों का निर्माण टेंगेंट कोहोमोलॉजी का उपयोग करके किया गया है।<ref name=":0" />यह कोसज़ुल-टेट रिज़ॉल्यूशन का उपयोग करके और अन्य-नियमित बीजगणित के लिए अतिरिक्त जनरेटर जोड़कर इसे संभावित रूप से संशोधित करके बनाया गया है। <math>A</math>. विश्लेषणात्मक बीजगणित के विषय में इन संकल्पों को गणितज्ञ [[गैलिना ट्यूरिना]] के लिए तजुरिना संकल्प कहा जाता है, जिन्होंने सबसे पनिवारणे ऐसी वस्तुओं का अध्ययन किया था। यह एक ग्रेडेड-कम्यूटेटिव डिफरेंशियल ग्रेडेड बीजगणित है <math>(R_\bullet, s)</math> ऐसा है कि <math>R_0 \to A</math> विश्लेषणात्मक बीजगणित का एक विशेषण मानचित्र है, और यह मानचित्र एक सटीक अनुक्रम में फिट बैठता है<ब्लॉककोट><math>\cdots \xrightarrow{s} R_{-2} \xrightarrow{s} R_{-1} \xrightarrow{s} R_0 \xrightarrow{p} A \to 0</math>फिर, व्युत्पत्तियों के विभेदक श्रेणीबद्ध मॉड्यूल को लेकर <math>(\text{Der}(R_\bullet), d)</math>, इसकी सह-समरूपता विश्लेषणात्मक बीजगणित के रोगाणु की स्पर्शरेखा सह-समरूपता बनाती है <math>A</math>. इन सहसंयोजी समूहों को दर्शाया गया है <math>T^k(A)</math>. <math>T^1(A)</math> h> की सभी विकृतियों के बारे में जानकारी सम्मिलित है <math>A</math> और सटीक अनुक्रम<ब्लॉककोट> का उपयोग करके आसानी से गणना की जा सकती है<math>0 \to T^0(A) \to \text{Der}(R_0) \xrightarrow{d} \text{Hom}_{R_0}(I,A) \to T^1(A) \to 0</math>अगर <math>A</math> बीजगणित<ब्लॉककोट> के लिए समरूपी है<math>\frac{\mathbb{C}\{z_1,\ldots,z_n\}}{(f_1,\ldots, f_m)}</math>तो इसकी विकृतियाँ<blockquote> के समान होती हैं<math>T^1(A) \cong \frac{A^m}{df \cdot A^n}</math></blockquote>थे <math>df</math> का जैकोबियन मैट्रिक्स है <math>f = (f_1,\ldots, f_m): \mathbb{C}^n \to \mathbb{C}^m</math>. उदाहरण के लिए, हाइपरसतह की विकृतियाँ दी गई हैं <math>f</math> विकृतियाँ <ब्लॉककोट> हैं<math>T^1(A) \cong \frac{A^n}{\left( \frac{\partial f}{\partial z_1}, \ldots, \frac{\partial f}{\partial z_n} \right)}</math></blockquote>एकवचनता के लिए <math>y^2 - x^3</math> यह मॉड्यूल<ब्लॉककोट> है<math>\frac{A^2}{(y, x^2)}</math></blockquote>इसलिए केवल स्थिरांक या रैखिक कारकों को जोड़कर विकृतियां दी जाती हैं, इसलिए एक सामान्य विकृति <math>f(x,y) = y^2 - x^3</math> है <math>F(x,y,a_1,a_2) = y^2 - x^3 + a_1 + a_2x </math> जहां <math>a_i</math> विरूपण पैरामीटर हैं. | ||
==कार्यात्मक वर्णन== | ==कार्यात्मक वर्णन== | ||
| Line 66: | Line 66: | ||
इसका एक सरल अनुप्रयोग यह है कि हम इनफिनिटिमल्स का उपयोग करके [[एकपद]]ी के व्युत्पन्न पा सकते हैं: | इसका एक सरल अनुप्रयोग यह है कि हम इनफिनिटिमल्स का उपयोग करके [[एकपद]]ी के व्युत्पन्न पा सकते हैं: | ||
:<math> (x+\varepsilon)^3 = x^3 + 3x^2\varepsilon + O(\varepsilon^2)</math> | :<math> (x+\varepsilon)^3 = x^3 + 3x^2\varepsilon + O(\varepsilon^2)</math> | ||
<math>\varepsilon</math> इस शब्द में एकपदी का व्युत्पन्न | <math>\varepsilon</math> इस शब्द में एकपदी का व्युत्पन्न सम्मिलित है, जो कैलकुलस में इसके उपयोग को प्रदर्शित करता है। हम इस समीकरण की व्याख्या एकपदी के टेलर विस्तार के पनिवारणे दो पदों के रूप में भी कर सकते हैं। स्थानीय आर्टिन बीजगणित में निलपोटेंट तत्वों का उपयोग करके इनफिनिटिमल्स को कठोर बनाया जा सकता है। रिंग में <math>k[y]/(y^2)</math> हम देखते हैं कि इनफिनिटिमल्स के साथ तर्क काम कर सकते हैं। यह अंकन को प्रेरित करता है <math>k[\varepsilon] = k[y]/(y^2)</math>, जिसे दोहरी संख्याओं का वलय कहा जाता है। | ||
इसके अलावा, यदि हम टेलर सन्निकटन के उच्च-क्रम वाले शब्दों पर विचार करना चाहते हैं तो हम आर्टिन बीजगणित पर विचार कर सकते हैं <math>k[y]/(y^k)</math>. हमारे एकपदी के लिए, मान लीजिए कि हम दूसरे क्रम का विस्तार लिखना चाहते हैं | इसके अलावा, यदि हम टेलर सन्निकटन के उच्च-क्रम वाले शब्दों पर विचार करना चाहते हैं तो हम आर्टिन बीजगणित पर विचार कर सकते हैं <math>k[y]/(y^k)</math>. हमारे एकपदी के लिए, मान लीजिए कि हम दूसरे क्रम का विस्तार लिखना चाहते हैं | ||
| Line 168: | Line 168: | ||
\end{matrix} | \end{matrix} | ||
</math> | </math> | ||
तब हम इसे | तब हम इसे सदैव प्रपत्र के आरेख तक विस्तारित कर सकते हैं | ||
:<math> | :<math> | ||
\begin{matrix} | \begin{matrix} | ||
Revision as of 08:38, 13 July 2023
गणित में, विरूपण सिद्धांत किसी समस्या के समाधान P को थोड़ा भिन्न समाधान Pε में परिवर्तन से जुड़ी छोटी-छोटी स्थितियों का अध्ययन है, जहां ε एक छोटी संख्या है, या छोटी मात्राओं का सदिश है। अपरिमित स्थितियां बाधा (गणित) के साथ समस्या को निवारण करने के लिए विभेदक कैलकुलस के दृष्टिकोण को प्रस्तावित करने का परिणाम अतिसूक्ष्म स्थितियाँ हैं। नाम अन्य-कठोर संरचनाओं का ऐसा सादृश्य है जो बाहरी शक्तियों को समायोजित करने के लिए [[विरूपण (अभियांत्रिकी)]] करता है।
कुछ विशिष्ट घटनाएँ हैं: ε मात्राओं को नगण्य वर्ग मानकर प्रथम-क्रम समीकरणों की व्युत्पत्ति; भिन्न-भिन्न समाधानों की संभावना, जिसमें भिन्न-भिन्न समाधान संभव नहीं हो सकता है, या कुछ भी नया नहीं लाता है; और सवाल यह है कि क्या असीम बाधाएं वास्तव में 'एकीकृत' होती हैं, जिससे उनका समाधान छोटे परिवर्तन प्रदान कर सके। किसी न किसी रूप में इन विचारों का गणित के साथ-साथ भौतिकी और इंजीनियरिंग में भी सदियों प्राचीन इतिहास है। उदाहरण के लिए, संख्याओं की ज्यामिति में परिणामों के वर्ग को भिन्नाव प्रमेय कहा जाता है, जिसे किसी दिए गए समाधान के चारों ओर विवृत कक्षा (समूह क्रिया (गणित)) की टोपोलॉजिकल व्याख्या के साथ मान्यता दी गई थी। त्रुटि सिद्धांत सामान्यतः ऑपरेटर (गणित) की विकृतियों पर भी ध्यान देता है।
जटिल अनेक गुनाओं की विकृतियाँ
गणित में सबसे प्रमुख विरूपण सिद्धांत जटिल मैनिफोल्ड्स और बीजगणितीय वर्ग का रहा है। इसे कुनिहिको कोदैरा और डोनाल्ड सी. स्पेंसर के मूलभूत कार्य द्वारा सशक्त आधार पर रखा गया था, जब विरूपण प्रौद्योगिकी को बीजीय ज्यामिति के इतालवी स्कूल में अधिक अस्थायी अनुप्रयोग प्राप्त हुआ था। सहज रूप से, कोई अपेक्षा करता है कि पनिवारणे क्रम के विरूपण सिद्धांत को ज़ारिस्की स्पर्शरेखा स्थान को मॉड्यूलि स्थान के समान करना चाहिए। चूँकि, सामान्य स्थिति में घटनाएँ सूक्ष्म हो जाती हैं।
रीमैन सतहों के विषय में, कोई यह समझा सकता है कि रीमैन क्षेत्र पर जटिल संरचना पृथक है (कोई मॉड्यूल नहीं)। जीनस 1 के लिए, अण्डाकार वक्र में जटिल संरचनाओं का एक-पैरामीटर परिवार होता है, जैसा कि अण्डाकार फलन सिद्धांत में दिखाया गया है। सामान्य कोडैरा-स्पेंसर सिद्धांत विरूपण सिद्धांत की कुंजी के रूप में शीफ़ कोहोमोलोजी समूह की पहचान करता है,
जहां Θ होलोमोर्फिक स्पर्शरेखा बंडल (वर्गों के जर्म (गणित) का शीफ) है। उसी शीफ के H2 में रुकावट है;; जो आयाम के सामान्य कारणों से वक्र के विषय में सदैव शून्य होता है। जीनस 0 के विषय में H1भी गायब हो जाता है. जीनस 1 के लिए आयाम हॉज नंबर h1,0 है, जो इसलिए 1 है। यह ज्ञात है कि जीनस एक के सभी वक्रों में y2 = x3 + ax + b के रूप के समीकरण होते हैं। ये स्पष्ट रूप से दो मापदंडों, a और b पर निर्भर करते हैं, जबकि ऐसे वक्रों के समरूपता वर्गों में केवल एक पैरामीटर होता है। इसलिए उन a और b से संबंधित समीकरण होना चाहिए जो आइसोमोर्फिक अण्डाकार वक्रों का वर्णन करता है। यह वह वक्र है जिसके लिए b2a−3 का मान समान है, समरूपी वक्रों का वर्णन करें। अर्थात a और b को भिन्न करना वक्र वाई की संरचना को विकृत करने का उपाय y2 = x3 + ax + b है, परन्तु a,b के सभी रूपांतर वास्तव में वक्र के समरूपता वर्ग को नहीं परिवर्तित करते हैं।
H1 से संबंधित करने के लिए सेरे द्वैत का उपयोग करते हुए, जीनस g > 1 के विषय में कोई आगे बढ़ सकता है,
जहां Ω होलोमोर्फिक कोटैंजेंट बंडल और अंकन Ω है[2] का अर्थ टेंसर वर्ग (दूसरी बाहरी शक्ति नहीं)है। दूसरे शब्दों में, रीमैन सतह पर विकृतियों को होलोमोर्फिक द्विघात भिन्नताओं द्वारा नियंत्रित किया जाता है, जिसे फिर से शास्त्रीय रूप से जाना जाता है। मॉड्यूलि स्पेस का आयाम, जिसे इस विषय में टीचमुलर स्पेस कहा जाता है, रीमैन-रोच प्रमेय द्वारा 3g-3 के रूप में गणना की जाती है।
ये उदाहरण किसी भी आयाम के जटिल मैनिफोल्ड्स के होलोमोर्फिक परिवारों पर प्रस्तावित होने वाले सिद्धांत का प्रारम्भ हैं। आगामी विकास में सम्मिलित विभेदक ज्यामिति की अन्य संरचनाओं के लिए स्पेंसर द्वारा प्रौद्योगिकी का विस्तार; ग्रोथेंडिक के अमूर्त बीजगणितीय ज्यामिति में कोडैरा-स्पेंसर सिद्धांत को आत्मसात करना हैं, जिसके परिणामस्वरूप पनिवारणे के काम की ठोस व्याख्या हुई; और अन्य संरचनाओं का विरूपण सिद्धांत, जैसे कि बीजगणित।
विरूपण और समतल मानचित्र
विरूपण का सबसे सामान्य रूप एक समतल मानचित्र है जटिल-विश्लेषणात्मक स्थानों की, योजना (गणित), या किसी स्थान पर कार्यों के रोगाणु। ग्रोथेंडिक[1] विकृतियों के लिए इस दूरगामी सामान्यीकरण को खोजने वाले पनिवारणे व्यक्ति थे और उस संदर्भ में सिद्धांत विकसित किया। सामान्य विचार यह है कि एक सार्वभौमिक परिवार का अस्तित्व होना चाहिए जैसे कि किसी भी विकृति को एक अद्वितीय पुलबैक वर्ग<ब्लॉककोट> के रूप में पाया जा सकता हैकई मामलों में, यह सार्वभौमिक परिवार या तो हिल्बर्ट योजना या कोट योजना है, या उनमें से किसी एक का भागफल है। उदाहरण के लिए, वक्रों के मॉड्यूली के निर्माण में, इसका निर्माण हिल्बर्ट योजना में चिकने वक्रों के भागफल के रूप में किया गया है। यदि पुलबैक वर्ग अद्वितीय नहीं है, तो परिवार केवल बहुमुखी है।
विश्लेषणात्मक बीजगणित के रोगाणुओं की विकृतियाँ
विरूपण सिद्धांत के उपयोगी और आसानी से गणना योग्य क्षेत्रों में से एक जटिल स्थानों के रोगाणुओं के विरूपण सिद्धांत से आता है, जैसे कि स्टीन मैनिफोल्ड, कॉम्प्लेक्स मैनिफोल्ड, या कॉम्प्लेक्स विश्लेषणात्मक विविधता।[1]ध्यान दें कि इस सिद्धांत को होलोमोर्फिक फ़ंक्शंस, स्पर्शरेखा रिक्त स्थान आदि के रोगाणुओं के ढेर पर विचार करके जटिल मैनिफोल्ड्स और जटिल विश्लेषणात्मक स्थानों में वैश्वीकृत किया जा सकता है। ऐसे बीजगणित <ब्लॉककोट> के रूप में होते हैं </ब्लॉकक्वॉट>कहां अभिसारी शक्ति-श्रृंखला का वलय है और एक आदर्श है. उदाहरण के लिए, कई लेखक एक विलक्षणता के कार्यों के रोगाणुओं का अध्ययन करते हैं, जैसे कि बीजगणित<ब्लॉककोट>एक समतल-वक्र विलक्षणता का प्रतिनिधित्व करता है। विश्लेषणात्मक बीजगणित का एक रोगाणु ऐसे बीजगणित की विपरीत श्रेणी में एक वस्तु है। फिर, विश्लेषणात्मक बीजगणित के एक रोगाणु का विरूपण विश्लेषणात्मक बीजगणित के रोगाणुओं के एक समतल मानचित्र द्वारा दिया गया है कहाँ एक विशिष्ट बिंदु है ऐसे कि पुलबैक वर्ग<ब्लॉककोट> में फिट बैठता है