विरूपण (गणित): Difference between revisions
No edit summary |
No edit summary |
||
| Line 24: | Line 24: | ||
\downarrow & & \downarrow \\ | \downarrow & & \downarrow \\ | ||
S & \to & B | S & \to & B | ||
\end{matrix}</math>कई विषयों में, यह सार्वभौमिक परिवार या तो [[हिल्बर्ट योजना]] या कोट योजना है, या उनमें से किसी का भागफल है। उदाहरण के लिए, वक्रों के मापांक के निर्माण में, इसका निर्माण हिल्बर्ट योजना में | \end{matrix}</math>कई विषयों में, यह सार्वभौमिक परिवार या तो [[हिल्बर्ट योजना]] या कोट योजना है, या उनमें से किसी का भागफल है। उदाहरण के लिए, वक्रों के मापांक के निर्माण में, इसका निर्माण हिल्बर्ट योजना में चौरस वक्रों के भागफल के रूप में किया गया है। यदि पुलबैक वर्ग अद्वितीय नहीं है, तो परिवार केवल बहुमुखी है। | ||
==विश्लेषणात्मक बीजगणित के रोगाणुओं की विकृतियाँ== | ==विश्लेषणात्मक बीजगणित के रोगाणुओं की विकृतियाँ== | ||
| Line 59: | Line 59: | ||
चूँकि सामान्यतः, समुच्चय के अतिरिक्त [[समूहबद्ध]] के फ़ैक्टर्स के साथ कार्य करना अधिक सुविधाजनक है। यह वक्रों के मापांक के लिए सत्य है। | चूँकि सामान्यतः, समुच्चय के अतिरिक्त [[समूहबद्ध]] के फ़ैक्टर्स के साथ कार्य करना अधिक सुविधाजनक है। यह वक्रों के मापांक के लिए सत्य है। | ||
=== | ===अतिसूक्ष्म के विषय में तकनीकी टिप्पणियाँ=== | ||
कैलकुलस में अन्य-कठोर तर्कों के लिए गणितज्ञों द्वारा लंबे समय से | कैलकुलस में अन्य-कठोर तर्कों के लिए गणितज्ञों द्वारा लंबे समय से अतिसूक्ष्म का उपयोग किया जाता रहा है। विचार यह है कि यदि हम बहुपदों<math>F(x,\varepsilon)</math> पर अतिसूक्ष्म <math>\varepsilon</math> के साथ विचार करें, तभी केवल प्रथम क्रम का अनुबंध वास्तव में आवश्यक हैं; अर्थात् विचार कर सकते हैं कि | ||
:<math> F(x,\varepsilon) \equiv f(x) + \varepsilon g(x) + O(\varepsilon^2)</math> | :<math> F(x,\varepsilon) \equiv f(x) + \varepsilon g(x) + O(\varepsilon^2)</math> है, | ||
इसका | इसका सरल अनुप्रयोग यह है कि हम अतिसूक्ष्म का उपयोग करके [[एकपद|एकपदी]] के व्युत्पन्न पा सकते हैं: | ||
:<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>(x+\varepsilon)^3 = x^3 + 3x^2\varepsilon + 3x\varepsilon^2 + \varepsilon^3</math> | :<math>(x+\varepsilon)^3 = x^3 + 3x^2\varepsilon + 3x\varepsilon^2 + \varepsilon^3</math> है, | ||
याद रखें कि टेलर विस्तार (शून्य पर) को इस प्रकार लिखा जा सकता है | याद रखें कि टेलर विस्तार (शून्य पर) को इस प्रकार लिखा जा सकता है | ||
:<math>f(x) = f(0) + \frac{f^{(1)}(x)}{1!} + \frac{f^{(2)}(x)}{2!} + \frac{f^{(3)}(x)}{3!} + \cdots </math> | :<math>f(x) = f(0) + \frac{f^{(1)}(x)}{1!} + \frac{f^{(2)}(x)}{2!} + \frac{f^{(3)}(x)}{3!} + \cdots </math> | ||
इसलिए | इसलिए पूर्व दो समीकरण दर्शाते हैं कि <math>6x</math>, <math>x^3</math> का दूसरा व्युत्पन्न है। | ||
सामान्यतः, चूंकि हम किसी भी संख्या में चर में टेलर विस्तार के | सामान्यतः, चूंकि हम किसी भी संख्या में चर में टेलर विस्तार के क्रम पर विचार करना चाहते हैं, क्षेत्र में सभी स्थानीय आर्टिन बीजगणित की श्रेणी पर विचार करेंगे। | ||
===प्रेरणा=== | ===प्रेरणा=== | ||
पूर्व-विरूपण फ़ंक्टर की परिभाषा को प्रेरित करने के लिए, | पूर्व-विरूपण फ़ंक्टर की परिभाषा को प्रेरित करने के लिए, क्षेत्र पर प्रक्षेप्य हाइपरसतह पर विचार करें | ||
:<math> | :<math> | ||
\begin{matrix} | \begin{matrix} | ||
| Line 83: | Line 83: | ||
\end{matrix} | \end{matrix} | ||
</math> | </math> | ||
यदि | यदि इस स्थान के अत्यंत छोटे विरूपण पर विचार करना चाहते हैं, तो कार्टेशियन वर्ग लिख सकते हैं | ||
:<math> | :<math> | ||
\begin{matrix} | \begin{matrix} | ||
| Line 91: | Line 91: | ||
\end{matrix} | \end{matrix} | ||
</math> | </math> | ||
जहाँ <math>a_0 + a_1 + a_2 + a_3 = 4</math> | जहाँ <math>a_0 + a_1 + a_2 + a_3 = 4</math> है। फिर, दाहिने हाथ के कोने पर स्थित स्थान अतिसूक्ष्म विरूपण का उदाहरण है: निलपोटेंट तत्वों की अतिरिक्त योजना सैद्धांतिक संरचना <math>\operatorname{Spec}(k[\varepsilon])</math> (जो स्थलाकृतिक रूप से बिंदु है) इस अतिसूक्ष्म डेटा को व्यवस्थित करने की अनुमति देता है। चूँकि हम सभी संभावित विस्तारों पर विचार करना चाहते हैं, इसलिए अपने पूर्वविरूपण फ़ैक्टर को वस्तुओं पर इस प्रकार परिभाषित करने देंगे | ||
:<math> | :<math> | ||
F(A) = \left\{ | F(A) = \left\{ | ||
| Line 100: | Line 100: | ||
\end{matrix} | \end{matrix} | ||
\right\} | \right\} | ||
</math> | </math>, | ||
जहाँ <math>A</math> | जहाँ <math>A</math> स्थानीय कलाकार <math>k</math>-बीजगणितहै <math>k</math>-बीजगणित है। | ||
=== | ===चौरस पूर्व-विरूपण फलनल=== | ||
किसी भी प्रक्षेपण के लिए पूर्व-विरूपण फ़ैक्टर को | किसी भी प्रक्षेपण के लिए पूर्व-विरूपण फ़ैक्टर को चौरस कहा जाता है <math>A' \to A</math> जैसे कि कर्नेल में किसी भी तत्व का वर्ग शून्य है, यह अनुमान है | ||
:<math>F(A') \to F(A)</math> | :<math>F(A') \to F(A)</math>, | ||
यह निम्नलिखित प्रश्न से प्रेरित है: | यह निम्नलिखित प्रश्न से प्रेरित है: विकृति दी गई है, | ||
:<math> | :<math> | ||
\begin{matrix} | \begin{matrix} | ||
| Line 114: | Line 114: | ||
\end{matrix} | \end{matrix} | ||
</math> | </math> | ||
क्या इस कार्तीय आरेख का कार्तीय आरेखों तक कोई विस्तार | क्या इस कार्तीय आरेख का कार्तीय आरेखों तक कोई विस्तार स्थित है, | ||
:<math> | :<math> | ||
\begin{matrix} | \begin{matrix} | ||
| Line 122: | Line 122: | ||
\end{matrix} | \end{matrix} | ||
</math> | </math> | ||
चौरस नाम योजनाओं के चौरस रूपवाद को उठाने की कसौटी से आया है। | |||
===स्पर्शरेखा स्थान=== | ===स्पर्शरेखा स्थान=== | ||
याद रखें कि किसी योजना का स्पर्शरेखा स्थान <math>X</math> | याद रखें कि किसी योजना का स्पर्शरेखा स्थान <math>X</math> को <math>\operatorname{Hom}</math>-समुच्चय के रूप में वर्णित किया जा सकता है, | ||
:<math>TX := \operatorname{Hom}_{\text{Sch}/k}(\operatorname{Spec}(k[\varepsilon]),X)</math> | :<math>TX := \operatorname{Hom}_{\text{Sch}/k}(\operatorname{Spec}(k[\varepsilon]),X)</math>, | ||
जहां स्रोत | जहां स्रोत दोहरी संख्याओं की रिंग है। चूँकि हम कुछ मापांक स्पेस के बिंदु के स्पर्शरेखा स्थान पर विचार कर रहे हैं, हम अपने (पूर्व)-विरूपण फ़ैनक्टर के स्पर्शरेखा स्थान को इस प्रकार परिभाषित कर सकते हैं, | ||
:<math>T_F := F(k[\varepsilon])</math> | :<math>T_F := F(k[\varepsilon])</math> है। | ||
| Line 134: | Line 134: | ||
===वक्रों के मापांक का आयाम=== | ===वक्रों के मापांक का आयाम=== | ||
बीजगणितीय वक्रों के मापांक के पनिवारणे गुणों में से | बीजगणितीय वक्रों के मापांक के पनिवारणे गुणों में से <math>\mathcal{M}_g</math> प्रारंभिक विरूपण सिद्धांत का उपयोग करके अनुमान लगाया जा सकता है। इसके आयाम की गणना <math>\dim(\mathcal{M}_g) = \dim H^1(C,T_C)</math> के रूप में की जा सकती है, जीनस <math>g</math> के चौरस वक्र के लिए, क्योंकि विरूपण स्थान मापांक स्थान का स्पर्शरेखा स्थान है। सेरे द्वैत का उपयोग करते हुए स्पर्शरेखा स्थान <math>\begin{align} | ||
H^1(C,T_C) &\cong H^0(C,T_C^* \otimes \omega_C)^\vee \\ | H^1(C,T_C) &\cong H^0(C,T_C^* \otimes \omega_C)^\vee \\ | ||
&\cong H^0(C,\omega_C^{\otimes 2})^\vee | &\cong H^0(C,\omega_C^{\otimes 2})^\vee | ||
\end{align}</math>इसलिए रीमैन-रोच प्रमेय <blockquote> | \end{align}</math> के लिए समरूपी है, इसलिए रीमैन-रोच प्रमेय <blockquote> <math>\begin{align} | ||
h^0(C,\omega_C^{\otimes 2}) - h^1(C,\omega_C^{\otimes 2}) &= 2(2g - 2) - g + 1 \\ | h^0(C,\omega_C^{\otimes 2}) - h^1(C,\omega_C^{\otimes 2}) &= 2(2g - 2) - g + 1 \\ | ||
&= 3g - 3 | &= 3g - 3 | ||
\end{align}</math></blockquote>जीनस के वक्रों के लिए <math>g \geq 2</math> <math>h^1(C,\omega_C^{\otimes 2}) = 0</math> क्योंकि | \end{align}</math> देता है।</blockquote>जीनस के वक्रों के लिए <math>g \geq 2</math> <math>h^1(C,\omega_C^{\otimes 2}) = 0</math> क्योंकि <math>h^1(C,\omega_C^{\otimes 2}) = h^0(C, (\omega_C^{\otimes 2})^{\vee}\otimes \omega_C) | ||
</math> | </math> है, एवं डिग्री<math>\begin{align} | ||
\text{deg}((\omega_C^{\otimes 2})^\vee \otimes \omega_C) &= 4 - 4g + 2g - 2 \\ | \text{deg}((\omega_C^{\otimes 2})^\vee \otimes \omega_C) &= 4 - 4g + 2g - 2 \\ | ||
&= 2 - 2g | &= 2 - 2g | ||
\end{align}</math> | \end{align}</math>है एवं नकारात्मक डिग्री के लाइन बंडलों के लिए<math>h^0(L) = 0</math> है। इसलिए मापांक स्पेस का आयाम <math>3g - 3</math> है। | ||
=== मोड़ना एवं तोड़ना === | === मोड़ना एवं तोड़ना === | ||
| Line 150: | Line 150: | ||
===अंकगणितीय विकृतियाँ=== | ===अंकगणितीय विकृतियाँ=== | ||
विरूपण सिद्धांत का एक प्रमुख अनुप्रयोग अंकगणित में है। इसका उपयोग निम्नलिखित प्रश्न का उत्तर देने के लिए किया जा सकता है: यदि हमारे पास विविधता है <math>X/\mathbb{F}_p</math>, संभावित एक्सटेंशन क्या हैं <math>\mathfrak{X}/\mathbb{Z}_p</math>? यदि हमारी विविधता वक्र है, तो लुप्त हो रही है <math>H^2</math> तात्पर्य यह है कि प्रत्येक विकृति विभिन्नता उत्पन्न करती है <math>\mathbb{Z}_p</math>; अर्थात्, यदि हमारे पास एक | विरूपण सिद्धांत का एक प्रमुख अनुप्रयोग अंकगणित में है। इसका उपयोग निम्नलिखित प्रश्न का उत्तर देने के लिए किया जा सकता है: यदि हमारे पास विविधता है <math>X/\mathbb{F}_p</math>, संभावित एक्सटेंशन क्या हैं <math>\mathfrak{X}/\mathbb{Z}_p</math>? यदि हमारी विविधता वक्र है, तो लुप्त हो रही है <math>H^2</math> तात्पर्य यह है कि प्रत्येक विकृति विभिन्नता उत्पन्न करती है <math>\mathbb{Z}_p</math>; अर्थात्, यदि हमारे पास एक चौरस वक्र है | ||
:<math> | :<math> | ||
\begin{matrix} | \begin{matrix} | ||
Revision as of 10:17, 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]ध्यान दें कि इस सिद्धांत को होलोमोर्फिक फलन, स्पर्शरेखा रिक्त स्थान आदि के रोगाणुओं के संचय पर विचार करके जटिल मैनिफोल्ड्स एवं जटिल विश्लेषणात्मक स्थानों में वैश्वीकृत किया जा सकता है। ऐसे बीजगणित इस रूप में होते हैं, जहाँ