मिलनोर संख्या: Difference between revisions
No edit summary |
No edit summary |
||
(30 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
{{short description|Invariant that plays a role in algebraic geometry and singularity theory}} | {{short description|Invariant that plays a role in algebraic geometry and singularity theory}} | ||
गणित | गणित और विशेष रूप से [[विलक्षणता सिद्धांत]] में [[जॉन मिल्नोर]] के नाम पर मिल्नोर संख्या रोगाणु फलन का अचर है। | ||
यदि f सम्मिश्र- मान पूर्णसममितिक [[रोगाणु (गणित)|रोगाणु फलन (गणित)]] है, तो f की मिल्नोर संख्या को μ(f) से निरूपित किया गया है, यद्यपि गैर नकारात्मक पूर्णांक या अपरिमित है। इसे [[ अंतर ज्यामिति |ज्यामितीय अचर]] और बीजगणितीय अचर दोनों माना जा सकता है। इसी कारण यह [[बीजगणितीय ज्यामिति]] और विलक्षणता सिद्धांत में एक महत्वपूर्ण भूमिका निभाता है। | |||
== बीजगणितीय परिभाषा == | == बीजगणितीय परिभाषा == | ||
एक | एक पूर्णसममितिक सम्मिश्र रोगाणु फलन पर विचार करें (गणित) | ||
:<math> f : (\mathbb{C}^n,0) \to (\mathbb{C},0) \ </math> और | :<math> f : (\mathbb{C}^n,0) \to (\mathbb{C},0) \ </math> और सभी रोगाणु फलन <math>(\mathbb{C}^n,0) \to (\mathbb{C},0)</math> के वलय को <math>\mathcal{O}_n</math> द्वारा निरूपित करें। फलन के प्रत्येक स्तर <math>\mathbb{C}^n</math>में संकुल ऊनविम पृष्ठ है, इसलिए हम <math>f</math> को ऊनविम पृष्ठ विलक्षणता कहेंगे। | ||
मान लें कि यह एक [[पृथक विलक्षणता|एकल विलक्षणता]] है: पूर्णसममितिक प्रतिचित्रण के स्थिति में कहा जा सकता हैं कि ऊनविम पृष्ठ विलक्षणता <math>f</math>, <math>0 \in \mathbb{C}^n</math> पर एकल है, यदि इसकी प्रवणता <math>\nabla f</math>, <math>0 </math> पर शून्य होने की स्थिति में एक विलक्षण बिंदु को पृथक कर दिया जाता है, यदि यह पर्याप्ततः सूक्ष्म क्षेत्र में एकमात्र विलक्षण बिंदु है। विशेष रूप से, प्रवणता की बहुलता | |||
मान लें कि यह एक [[पृथक विलक्षणता]] है: | |||
:<math> \mu(f) = \dim_{\mathbb{C}} \mathcal{O}_n/\nabla f </math> | :<math> \mu(f) = \dim_{\mathbb{C}} \mathcal{O}_n/\nabla f </math> | ||
रूकर के नलस्टेलेंसत्ज के अनुप्रयोग द्वारा परिमित है। यह संख्या <math> \mu(f)</math>, <math>0</math> विलक्षणता <math> f</math> की मिलनोर संख्या है। | |||
ध्यान दें कि | ध्यान दें कि प्रवणता की बहुलता परिमित है केवल यदि मूल f का एक पृथक क्रांतिक बिंदु है। | ||
== ज्यामितीय व्याख्या == | == ज्यामितीय व्याख्या == | ||
मिल्नोर मूल रूप से ज्यामितीय शब्दों में<ref>{{cite book | last=Milnor | first=John | authorlink=John Milnor | title=कॉम्प्लेक्स हाइपरसर्फ्स के एकवचन बिंदु| series=Annals of Mathematics Studies | year=1969 | publisher=[[Princeton University Press]]}}</ref> <math>\mu(f)</math> को ज्यामितीय नियमों में निम्नलिखित प्रकार से प्रस्तुत किया। मान <math>c</math> के लिए सभी फाइबर <math> f^{-1}(c) </math>, <math>0</math> के समीप के वास्तविक आयाम <math>2(n-1)</math> के कई गुना व्युत्क्रमणीय हैं। <math>0</math> पर केंद्रित एक छोटी विवृत डिस्क <math>D_{\epsilon}</math> के साथ उनका प्रतिच्छेदन स्मूथ मनिफॉल्ड <math>F</math> है जिसे मिल्नोर फाइबर कहा जाता है। उनके अधिक सूक्ष्म होने की स्थिति में डिफियोमोर्फिज्म तक <math>F</math> <math>c</math> या <math>\epsilon</math> पर निर्भर नहीं करता है। यह मिलनोर फिब्रेशन मैप के फाइबर के लिए भी भिन्न (डिफोमोर्फिक) है। | |||
मिल्नोर फाइबर <math>F</math> आयाम <math>2(n-1)</math> के समान [[होमोटॉपी|बहुरूपी]] है और <math>\mu(f)</math> के क्षेत्रों <math>S^{n-1}</math>में गुच्छ रूप के समान समस्थेयता प्रकार है। इसका अर्थ यह है कि इसकी मध्य बेट्टी संख्या <math>b_{n-1}(F)</math> मिलनोर संख्या के समान है और इसमें <math>n-1</math> से कम आयाम में एक बिंदु पर इसकी समरूपता है। उदाहरण के लिए, प्रत्येक एकल बिंदु <math>z_0</math> के समीप एक सम्मिश्र समतल वक्र में <math>\mu_{z_0}(f)</math> क्षेत्रों के पच्चर (वेज) के लिए इसकी मिल्नोर फाइबर समस्थानी है (मिल्नोर संख्या एक स्थानीय गुणधर्म है, इसलिए विभिन्न विलक्षण बिंदुओं पर इसके पृथक मान हो सकते हैं)। | |||
इस प्रकार हमारे पास समानताएं हैं | इस प्रकार हमारे पास समानताएं हैं | ||
: | : मिलनोर संख्या = पच्चर में गोलों की संख्या = <math>F</math> की मध्य बेट्टी संख्या = मानचित्रण की डिग्री <math>z\to \frac{{\nabla} f(z)}{\|{\nabla} f(z)\|}</math> पर <math>S_\epsilon</math> = प्रवणता की बहुलता <math>\nabla f</math> | ||
मिल्नोर संख्या को देखने का एक अन्य तरीका [[ गड़बड़ी सिद्धांत ]] है। हम कहते हैं कि | मिल्नोर संख्या को देखने का एक अन्य तरीका [[ गड़बड़ी सिद्धांत |क्षोभ सिद्धांत]] है। हम कहते हैं कि बिंदु एक पतित एकल बिंदु या f में एक अपभ्रष्ट विलक्षणता है तथा <math>z_0 \in \mathbb{C}^n</math> पर यदि <math>z_0</math> एक विलक्षण बिंदु है और दूसरे क्रम के सभी आंशिक डेरिवेटिव के [[हेसियन मैट्रिक्स]] का <math>z_0</math> में शून्य निर्धारक है: | ||
:<math> \det\left( \frac{\partial^2 f}{\partial z_i \partial z_j} \right)_{1 \le i \le j \le n}^{z = z_0} =0. </math> | :<math> \det\left( \frac{\partial^2 f}{\partial z_i \partial z_j} \right)_{1 \le i \le j \le n}^{z = z_0} =0. </math> | ||
हम मानते हैं कि f में 0 पर एक पतित विलक्षणता है। हम इस पतित विलक्षणता की बहुलता के | हम मानते हैं कि f में 0 पर एक पतित विलक्षणता है। हम इस पतित विलक्षणता की बहुलता के विषय में विचार करके यह कह सकते हैं कि कितने बिंदु अतिसूक्ष्म रूप से जुड़े हुए हैं। यदि हम अब [[ गड़बड़ी सिद्धांत |क्षोभ]] सिद्धांत को एक निश्चित स्थिर तरह से व्यग्र करते हैं तो 0 पर पृथक पतित विलक्षणता अन्य पृथक विलक्षणताओं में विभाजित हो जाएगी जो अपतित हैं! ऐसी पृथक अपतित विलक्षणताओं की संख्या उन बिंदुओं की संख्या होगी जो अतिसूक्ष्म रूप से परस्पर जुड़ी हुई हैं। | ||
संक्षेप में | संक्षेप में हम एक अन्य रोगाणु फलन g लेते हैं जो मूल बिंदु पर व्युत्क्रमणीय है और नए रोगाणु फलन h:= f + εg पर विचार करते हैं, जहां ε अतिसूक्ष्म है। जब ε = 0 तब h = f होता है। फलन h को मोर्स सिद्धांत का औपचारिक विकास कहा जाता है। फलन h की विलक्षणताओं की गणना करना बहुत कठिन है और वास्तव में यह अभिकलनीयतः असंभव हो सकता है। f की इस स्थानीय बहुलता को अतिसूक्ष्म रूप से चिपकाने वाले बिंदुओं की यह संख्या वास्तव में f की मिलनोर संख्या है। | ||
आगे का योगदान<ref>{{Cite book | authorlink1=Vladimir Arnold | last1=Arnold | first1=V.I. | last2=Gusein-Zade | first2=S.M. | last3=Varchenko | first3=A.N. |authorlink3=Alexander Varchenko| title=अलग-अलग मानचित्रों की विलक्षणता| volume=2 | year=1988 | publisher=[[Birkhäuser]]}}</ref> [[विरूपण सिद्धांत]] के स्थान के आयाम के संदर्भ में मिल्नोर संख्या को अर्थ | आगे का योगदान<ref>{{Cite book | authorlink1=Vladimir Arnold | last1=Arnold | first1=V.I. | last2=Gusein-Zade | first2=S.M. | last3=Varchenko | first3=A.N. |authorlink3=Alexander Varchenko| title=अलग-अलग मानचित्रों की विलक्षणता| volume=2 | year=1988 | publisher=[[Birkhäuser]]}}</ref> [[विरूपण सिद्धांत|बहुमुखी विकृतियों]] के स्थान के आयाम के संदर्भ में मिल्नोर संख्या को अर्थ देते हैं अर्थात मिल्नोर संख्या विकृतियों के पैरामीटर स्थान का न्यूनतम आयाम है जो प्रारंभिक विलक्षणता के विषय में सभी जानकारी लेती है। | ||
== उदाहरण == | == उदाहरण == | ||
यहां हम दो | यहां हम दो चर राशियों में किए गए कुछ कार्यों का उदाहरण देते हैं। एक चर के साथ कार्य करना अधिक सरल है और तकनीकों के विषय में ज्ञात नहीं होता है किन्तु इसके विपरीत तीन चर राशियों के साथ कार्य करना अधिक जटिल हो सकता है। दो अच्छी संख्या है। साथ ही हम बहुपदों से चिपके रहते हैं। यदि f केवल [[होलोमॉर्फिक फ़ंक्शन|पूर्णसममितिक(होलोमार्फिक) फलन]] तथा बहुपद नहीं है, तो हम f के घात श्रेणी विस्तरण के साथ कार्य कर सकते थे। | ||
=== 1 === | === 1 === | ||
0 पर एक | 0 पर एक अनपभ्रष्ट विलक्षणता के साथ एक कार्य रोगाणु पर विचार करें, जिसे <math>f(x,y) = x^2 + y^2</math> कहते हैं। जैकबियन आदर्श सिर्फ<math> \langle 2x, 2y \rangle = \langle x, y \rangle </math> हैं। हम अगले स्थानीय बीजगणित की गणना करते हैं: | ||
:<math> \mathcal{A}_f = \mathcal{O} / \langle x, y \rangle = \langle 1 \rangle . </math> | :<math> \mathcal{A}_f = \mathcal{O} / \langle x, y \rangle = \langle 1 \rangle . </math> | ||
इसके सत्यापन के लिए हैडामार्ड के स्वीकृत सिद्धांत का उपयोग कर सकते हैं जो कहती है कि हम कोई भी फलन <math>h\in\mathcal{O}</math> लिख सकते हैं, जैसे | |||
:<math> h(x,y) = k + xh_1(x,y) + yh_2(x,y) </math> | :<math> h(x,y) = k + xh_1(x,y) + yh_2(x,y) </math> | ||
<math>\mathcal{O}</math> में कुछ स्थिरांक ''k'' और फलन <math>h_1</math> और <math>h_2</math> के लिए (जहां <math>h_1</math> या <math>h_2</math> या दोनों यथार्थत: शून्य हो सकते हैं)। इसलिये x और y के मॉड्यूलो कार्यात्मक गुणक स्थिरांक को h के रूप में लिख सकते हैं। अचर फलन का स्थान 1 द्वारा फैला हुआ है, इसलिए <math>\mathcal{A}_f = \langle 1 \rangle</math> | |||
ध्यान दें कि इस विधि को एक | यह इस प्रकार है कि μ(f) = 1. यह जांचना सरल है कि 0 पर अनपभ्रष्ट विलक्षणता वाले किसी भी रोगाणु फलन ''g'' के लिए हमें μ(g) = 1 प्राप्त होता है। | ||
ध्यान दें कि इस विधि को एक व्युत्क्रमणीय रोगाणु फलन ''g'' पर अनप्रयुक्त करने से हमें μ(g) = 0 प्राप्त होता है। | |||
=== 2 === | === 2 === | ||
मान लें <math>f(x,y) = x^3 + xy^2</math>, तब | |||
:<math> \mathcal{A}_f = \mathcal{O} / \langle 3x^2 + y^2, xy \rangle = \langle 1, x, y, x^2 \rangle . </math> | :<math> \mathcal{A}_f = \mathcal{O} / \langle 3x^2 + y^2, xy \rangle = \langle 1, x, y, x^2 \rangle . </math> | ||
तो इस | तो इस स्थिति में <math>\mu(f) = 4</math>. | ||
=== 3 === | === 3 === | ||
कोई | यदि कोई इसे प्रदर्शित कर सकता है <math>f(x,y) = x^2y^2 + y^3</math> | ||
इसे इस तथ्य से | |||
तब <math>\mu(f) = \infty.</math> | |||
इसे इस तथ्य से व्यक्त किया जा सकता है कि x-अक्ष के प्रत्येक बिंदु f पर एकल है। | |||
== वर्सल विकृति == | == वर्सल विकृति == | ||
Line 59: | Line 61: | ||
:<math> F : (\mathbb{C}^n \times \mathbb{C}^{\mu},0) \to (\mathbb{C},0) ,</math> | :<math> F : (\mathbb{C}^n \times \mathbb{C}^{\mu},0) \to (\mathbb{C},0) ,</math> | ||
:<math> F(z,a) := f(z) + a_1g_1(z) + \cdots + a_{\mu}g_{\mu}(z) ,</math> | :<math> F(z,a) := f(z) + a_1g_1(z) + \cdots + a_{\mu}g_{\mu}(z) ,</math> | ||
जहाँ <math>(a_1,\dots,a_{\mu})\in \mathbb{C}^{\mu}</math>. | |||
ये विकृतियाँ (या [[खुलासा (कार्य)|विकास(कार्य)]]) विज्ञान के अधिकांश क्षेत्रों में रुचि रखते हैं। {{Citation needed|date=July 2015}} | ये विकृतियाँ (या [[खुलासा (कार्य)|विकास(कार्य)]]) विज्ञान के अधिकांश क्षेत्रों में रुचि रखते हैं। {{Citation needed|date=July 2015}} | ||
== | == अप्रसरण == | ||
[[तुल्यता वर्ग]] की रचना करने के लिए हम कार्य करने वाले रोगाणुओं को एक साथ एकत्रित कर सकते हैं। एक मानक तुल्यता A-समानक है। हम कहते हैं कि रोगाणु फलन <math>f,g : (\mathbb{C}^n,0) \to (\mathbb{C},0)</math> A-समतुल्य हैं यदि वहाँ [[डिफियोमोर्फिज्म]] रोगाणु <math> \phi : (\mathbb{C}^n,0) \to (\mathbb{C}^n,0)</math> और <math>\psi : (\mathbb{C},0) \to (\mathbb{C},0)</math> उपस्थित हैं जैसे कि <math>f \circ \phi = \psi \circ g</math>: फलन के डोमेन और श्रेणी दोनों में चर का एक डिफियोमॉर्फिक परिवर्तन उपस्थित है जो f से g तक ले जाता है। | |||
यदि ''f'' और ''g,'' A-समतुल्य हैं तो μ(f) = μ(g) होगा। | |||
तथापि, मिलनोर संख्या रोगाणु फलन के लिए एक पूर्ण अचर प्रदान नहीं करती है, अर्थात इसका परिवर्तन गलत है: रोगाणु फलन f और g, μ(f) = μ(g) के साथ उपस्थित A-समतुल्य नहीं हैं। इसे <math>f(x,y) = x^3+y^3</math> और <math>g(x,y) = x^2+y^5</math> देखने के लिए विचार करें। हमारे पास <math>\mu(f) = \mu(g) = 4</math> किंतु f और g स्पष्ट रूप से A-समतुल्य नहीं हैं क्योंकि f का हेसियन आव्यूह शून्य के बराबर है जबकि g का हेसियन आव्यूह शून्य के बराबर नहीं है (और हेसियन की श्रेणी A-अचर है, जो देखने में सरल है)। | |||
== संदर्भ == | == संदर्भ == | ||
Line 77: | Line 79: | ||
* {{cite book | last=Milnor | first=John | authorlink=John Milnor | title=Singular points of Complex Hypersurfaces | series=Annals of Mathematics Studies | year=1969 | publisher=[[Princeton University Press]]}} | * {{cite book | last=Milnor | first=John | authorlink=John Milnor | title=Singular points of Complex Hypersurfaces | series=Annals of Mathematics Studies | year=1969 | publisher=[[Princeton University Press]]}} | ||
{{DEFAULTSORT:Milnor Number}} | {{DEFAULTSORT:Milnor Number}} | ||
[[Category: | [[Category:All articles with unsourced statements|Milnor Number]] | ||
[[Category:Created On 26/04/2023]] | [[Category:Articles with unsourced statements from July 2015|Milnor Number]] | ||
[[Category:Created On 26/04/2023|Milnor Number]] | |||
[[Category:Lua-based templates|Milnor Number]] | |||
[[Category:Machine Translated Page|Milnor Number]] | |||
[[Category:Pages with script errors|Milnor Number]] | |||
[[Category:Templates Vigyan Ready|Milnor Number]] | |||
[[Category:Templates that add a tracking category|Milnor Number]] | |||
[[Category:Templates that generate short descriptions|Milnor Number]] | |||
[[Category:Templates using TemplateData|Milnor Number]] | |||
[[Category:बीजगणितीय ज्यामिति|Milnor Number]] | |||
[[Category:विलक्षणता सिद्धांत|Milnor Number]] |
Latest revision as of 17:27, 17 May 2023
गणित और विशेष रूप से विलक्षणता सिद्धांत में जॉन मिल्नोर के नाम पर मिल्नोर संख्या रोगाणु फलन का अचर है।
यदि f सम्मिश्र- मान पूर्णसममितिक रोगाणु फलन (गणित) है, तो f की मिल्नोर संख्या को μ(f) से निरूपित किया गया है, यद्यपि गैर नकारात्मक पूर्णांक या अपरिमित है। इसे ज्यामितीय अचर और बीजगणितीय अचर दोनों माना जा सकता है। इसी कारण यह बीजगणितीय ज्यामिति और विलक्षणता सिद्धांत में एक महत्वपूर्ण भूमिका निभाता है।
बीजगणितीय परिभाषा
एक पूर्णसममितिक सम्मिश्र रोगाणु फलन पर विचार करें (गणित)
- और सभी रोगाणु फलन के वलय को द्वारा निरूपित करें। फलन के प्रत्येक स्तर में संकुल ऊनविम पृष्ठ है, इसलिए हम को ऊनविम पृष्ठ विलक्षणता कहेंगे।
मान लें कि यह एक एकल विलक्षणता है: पूर्णसममितिक प्रतिचित्रण के स्थिति में कहा जा सकता हैं कि ऊनविम पृष्ठ विलक्षणता , पर एकल है, यदि इसकी प्रवणता , पर शून्य होने की स्थिति में एक विलक्षण बिंदु को पृथक कर दिया जाता है, यदि यह पर्याप्ततः सूक्ष्म क्षेत्र में एकमात्र विलक्षण बिंदु है। विशेष रूप से, प्रवणता की बहुलता
रूकर के नलस्टेलेंसत्ज के अनुप्रयोग द्वारा परिमित है। यह संख्या , विलक्षणता की मिलनोर संख्या है।
ध्यान दें कि प्रवणता की बहुलता परिमित है केवल यदि मूल f का एक पृथक क्रांतिक बिंदु है।
ज्यामितीय व्याख्या
मिल्नोर मूल रूप से ज्यामितीय शब्दों में[1] को ज्यामितीय नियमों में निम्नलिखित प्रकार से प्रस्तुत किया। मान के लिए सभी फाइबर , के समीप के वास्तविक आयाम के कई गुना व्युत्क्रमणीय हैं। पर केंद्रित एक छोटी विवृत डिस्क के साथ उनका प्रतिच्छेदन स्मूथ मनिफॉल्ड है जिसे मिल्नोर फाइबर कहा जाता है। उनके अधिक सूक्ष्म होने की स्थिति में डिफियोमोर्फिज्म तक या पर निर्भर नहीं करता है। यह मिलनोर फिब्रेशन मैप के फाइबर के लिए भी भिन्न (डिफोमोर्फिक) है।
मिल्नोर फाइबर आयाम के समान बहुरूपी है और के क्षेत्रों में गुच्छ रूप के समान समस्थेयता प्रकार है। इसका अर्थ यह है कि इसकी मध्य बेट्टी संख्या मिलनोर संख्या के समान है और इसमें से कम आयाम में एक बिंदु पर इसकी समरूपता है। उदाहरण के लिए, प्रत्येक एकल बिंदु के समीप एक सम्मिश्र समतल वक्र में क्षेत्रों के पच्चर (वेज) के लिए इसकी मिल्नोर फाइबर समस्थानी है (मिल्नोर संख्या एक स्थानीय गुणधर्म है, इसलिए विभिन्न विलक्षण बिंदुओं पर इसके पृथक मान हो सकते हैं)।
इस प्रकार हमारे पास समानताएं हैं
- मिलनोर संख्या = पच्चर में गोलों की संख्या = की मध्य बेट्टी संख्या = मानचित्रण की डिग्री पर = प्रवणता की बहुलता
मिल्नोर संख्या को देखने का एक अन्य तरीका क्षोभ सिद्धांत है। हम कहते हैं कि बिंदु एक पतित एकल बिंदु या f में एक अपभ्रष्ट विलक्षणता है तथा पर यदि एक विलक्षण बिंदु है और दूसरे क्रम के सभी आंशिक डेरिवेटिव के हेसियन मैट्रिक्स का में शून्य निर्धारक है:
हम मानते हैं कि f में 0 पर एक पतित विलक्षणता है। हम इस पतित विलक्षणता की बहुलता के विषय में विचार करके यह कह सकते हैं कि कितने बिंदु अतिसूक्ष्म रूप से जुड़े हुए हैं। यदि हम अब क्षोभ सिद्धांत को एक निश्चित स्थिर तरह से व्यग्र करते हैं तो 0 पर पृथक पतित विलक्षणता अन्य पृथक विलक्षणताओं में विभाजित हो जाएगी जो अपतित हैं! ऐसी पृथक अपतित विलक्षणताओं की संख्या उन बिंदुओं की संख्या होगी जो अतिसूक्ष्म रूप से परस्पर जुड़ी हुई हैं।
संक्षेप में हम एक अन्य रोगाणु फलन g लेते हैं जो मूल बिंदु पर व्युत्क्रमणीय है और नए रोगाणु फलन h:= f + εg पर विचार करते हैं, जहां ε अतिसूक्ष्म है। जब ε = 0 तब h = f होता है। फलन h को मोर्स सिद्धांत का औपचारिक विकास कहा जाता है। फलन h की विलक्षणताओं की गणना करना बहुत कठिन है और वास्तव में यह अभिकलनीयतः असंभव हो सकता है। f की इस स्थानीय बहुलता को अतिसूक्ष्म रूप से चिपकाने वाले बिंदुओं की यह संख्या वास्तव में f की मिलनोर संख्या है।
आगे का योगदान[2] बहुमुखी विकृतियों के स्थान के आयाम के संदर्भ में मिल्नोर संख्या को अर्थ देते हैं अर्थात मिल्नोर संख्या विकृतियों के पैरामीटर स्थान का न्यूनतम आयाम है जो प्रारंभिक विलक्षणता के विषय में सभी जानकारी लेती है।
उदाहरण
यहां हम दो चर राशियों में किए गए कुछ कार्यों का उदाहरण देते हैं। एक चर के साथ कार्य करना अधिक सरल है और तकनीकों के विषय में ज्ञात नहीं होता है किन्तु इसके विपरीत तीन चर राशियों के साथ कार्य करना अधिक जटिल हो सकता है। दो अच्छी संख्या है। साथ ही हम बहुपदों से चिपके रहते हैं। यदि f केवल पूर्णसममितिक(होलोमार्फिक) फलन तथा बहुपद नहीं है, तो हम f के घात श्रेणी विस्तरण के साथ कार्य कर सकते थे।
1
0 पर एक अनपभ्रष्ट विलक्षणता के साथ एक कार्य रोगाणु पर विचार करें, जिसे कहते हैं। जैकबियन आदर्श सिर्फ हैं। हम अगले स्थानीय बीजगणित की गणना करते हैं:
इसके सत्यापन के लिए हैडामार्ड के स्वीकृत सिद्धांत का उपयोग कर सकते हैं जो कहती है कि हम कोई भी फलन लिख सकते हैं, जैसे
में कुछ स्थिरांक k और फलन और के लिए (जहां या या दोनों यथार्थत: शून्य हो सकते हैं)। इसलिये x और y के मॉड्यूलो कार्यात्मक गुणक स्थिरांक को h के रूप में लिख सकते हैं। अचर फलन का स्थान 1 द्वारा फैला हुआ है, इसलिए
यह इस प्रकार है कि μ(f) = 1. यह जांचना सरल है कि 0 पर अनपभ्रष्ट विलक्षणता वाले किसी भी रोगाणु फलन g के लिए हमें μ(g) = 1 प्राप्त होता है।
ध्यान दें कि इस विधि को एक व्युत्क्रमणीय रोगाणु फलन g पर अनप्रयुक्त करने से हमें μ(g) = 0 प्राप्त होता है।
2
मान लें , तब
तो इस स्थिति में .
3
यदि कोई इसे प्रदर्शित कर सकता है
तब
इसे इस तथ्य से व्यक्त किया जा सकता है कि x-अक्ष के प्रत्येक बिंदु f पर एकल है।
वर्सल विकृति
मान लीजिए f परिमित मिलनोर संख्या μ और स्थानीय बीजगणित के लिए एक सदिश समष्टि (रैखिक बीजगणित) के रूप में माना जाता है। तब f का एक मिनिवर्सल विरूपण किया जाता है
जहाँ .
ये विकृतियाँ (या विकास(कार्य)) विज्ञान के अधिकांश क्षेत्रों में रुचि रखते हैं।[citation needed]
अप्रसरण
तुल्यता वर्ग की रचना करने के लिए हम कार्य करने वाले रोगाणुओं को एक साथ एकत्रित कर सकते हैं। एक मानक तुल्यता A-समानक है। हम कहते हैं कि रोगाणु फलन A-समतुल्य हैं यदि वहाँ डिफियोमोर्फिज्म रोगाणु और उपस्थित हैं जैसे कि : फलन के डोमेन और श्रेणी दोनों में चर का एक डिफियोमॉर्फिक परिवर्तन उपस्थित है जो f से g तक ले जाता है।
यदि f और g, A-समतुल्य हैं तो μ(f) = μ(g) होगा।
तथापि, मिलनोर संख्या रोगाणु फलन के लिए एक पूर्ण अचर प्रदान नहीं करती है, अर्थात इसका परिवर्तन गलत है: रोगाणु फलन f और g, μ(f) = μ(g) के साथ उपस्थित A-समतुल्य नहीं हैं। इसे और देखने के लिए विचार करें। हमारे पास किंतु f और g स्पष्ट रूप से A-समतुल्य नहीं हैं क्योंकि f का हेसियन आव्यूह शून्य के बराबर है जबकि g का हेसियन आव्यूह शून्य के बराबर नहीं है (और हेसियन की श्रेणी A-अचर है, जो देखने में सरल है)।
संदर्भ
- ↑ Milnor, John (1969). कॉम्प्लेक्स हाइपरसर्फ्स के एकवचन बिंदु. Annals of Mathematics Studies. Princeton University Press.
- ↑ Arnold, V.I.; Gusein-Zade, S.M.; Varchenko, A.N. (1988). अलग-अलग मानचित्रों की विलक्षणता. Vol. 2. Birkhäuser.
- Arnold, V.I.; Gusein-Zade, S.M.; Varchenko, A.N. (1985). Singularities of differentiable maps. Vol. 1. Birkhäuser.
- Gibson, Christopher G. (1979). Singular Points of Smooth Mappings. Research Notes in Mathematics. Pitman.
- Milnor, John (1963). Morse Theory. Annals of Mathematics Studies. Princeton University Press.
- Milnor, John (1969). Singular points of Complex Hypersurfaces. Annals of Mathematics Studies. Princeton University Press.