वक्र का अव्युत्क्रमणीय बिंदु: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
{{Short description|Point on a curve not given by a smooth embedding of a parameter}} | {{Short description|Point on a curve not given by a smooth embedding of a parameter}} | ||
[[ज्यामिति]] में, '''[[वक्र]] पर | [[ज्यामिति]] में, '''[[वक्र]] पर विलक्षण बिंदु''' वह होता है जहां वक्र को [[पैरामीट्रिज़ेशन (ज्यामिति)]] के सुचारू फलन एम्बेडिंग द्वारा नहीं दिया जाता है। एकवचन बिंदु की स्पष्ट परिभाषा अध्ययन किए जा रहे वक्र के प्रकार पर निर्भर करती है। | ||
==तल में बीजगणितीय वक्र== | ==तल में बीजगणितीय वक्र== | ||
समतल में बीजगणितीय वक्रों को बिंदुओं {{math|(''x'', ''y'')}} के समुच्चय के रूप में परिभाषित किया जा सकता है जो <math>f(x,y) = 0,</math>रूप के समीकरण को संतुष्ट करता है जहां {{mvar|f }} | समतल में बीजगणितीय वक्रों को बिंदुओं {{math|(''x'', ''y'')}} के समुच्चय के रूप में परिभाषित किया जा सकता है जो <math>f(x,y) = 0,</math>रूप के समीकरण को संतुष्ट करता है जहां {{mvar|f }} बहुपद फलन है {{tmath|f: \R^2 \to \R.}}यदि {{mvar|f }} को इस प्रकार विस्तारित किया जाता है<math display="block">f = a_0 + b_0 x + b_1 y + c_0 x^2 + 2c_1 xy + c_2 y^2 + \cdots | ||
Line 9: | Line 9: | ||
यदि मूल बिंदु (0, 0) वक्र पर है तो a0 = 0. यदि b1 ≠ 0 है तो अंतर्निहित फलन प्रमेय आश्वासन देता है कि | यदि मूल बिंदु (0, 0) वक्र पर है तो a0 = 0. यदि b1 ≠ 0 है तो अंतर्निहित फलन प्रमेय आश्वासन देता है कि सुचारू फलन h है जिससे वक्र का रूप मूल के निकट y = h(x) होते है। इसी प्रकार, यदि {{math|''b''{{sub|0}} ≠ 0}} है तो सहज फलन k है जिससे मूल बिंदु के निकट वक्र का रूप {{math|1=''x'' = ''k''(''y'')}} हो। किसी भी स्थिति में {{tmath|\R}} से समतल तक सहज मानचित्र है जो मूल बिंदु के निकट में वक्र को परिभाषित करता है। ध्यान दें कि मूल पर | ||
<math display="block">b_0 = \frac{\partial f}{\partial x}, \; b_1 = \frac{\partial f}{\partial y},</math> | <math display="block">b_0 = \frac{\partial f}{\partial x}, \; b_1 = \frac{\partial f}{\partial y},</math> | ||
इसलिए यदि {{mvar|f }} का कम से कम | इसलिए यदि {{mvar|f }} का कम से कम आंशिक व्युत्पन्न गैर-शून्य है तो वक्र मूल बिंदु पर गैर-एकवचन या नियमित है। एकवचन बिंदु वक्र पर वे बिंदु हैं जहां दोनों आंशिक व्युत्पन्न विलुप्त हो जाते हैं, | ||
<math display="block">f(x,y) = \frac{\partial f}{\partial x} = \frac{\partial f}{\partial y} = 0.</math> | <math display="block">f(x,y) = \frac{\partial f}{\partial x} = \frac{\partial f}{\partial y} = 0.</math> | ||
===नियमित अंक === | ===नियमित अंक === | ||
Line 17: | Line 17: | ||
<math display="block">f= (b_0 + m b_1) x + (c_0 + 2m c_1 + c_2 m^2)x^2 + \cdots.</math> | <math display="block">f= (b_0 + m b_1) x + (c_0 + 2m c_1 + c_2 m^2)x^2 + \cdots.</math> | ||
यदि <math>b_0 + mb_1</math> 0 नहीं है तो {{math|1=''x'' = 0}} पर {{math|1=''f'' = 0}} का बहुलता 1 का हल है और मूल बिंदु रेखा <math>y = mx.</math> के साथ एकल संपर्क का | यदि <math>b_0 + mb_1</math> 0 नहीं है तो {{math|1=''x'' = 0}} पर {{math|1=''f'' = 0}} का बहुलता 1 का हल है और मूल बिंदु रेखा <math>y = mx.</math> के साथ एकल संपर्क का बिंदु है यदि <math>b_0 + mb_1 = 0</math>} है तो f = 0 का बहुलता 2 या उच्चतर का हल है और रेखा <math>y = mx,</math> या <math>b_0x + b_1y = 0,</math> वक्र की स्पर्शरेखा है। इस स्थिति में, यदि <math>c_0 + 2mc_1 + c_2m^2</math> 0 नहीं है तो वक्र का <math>y = mx.</math> के साथ दोहरा संपर्क बिंदु है यदि {{math|''x''{{sup|2}}}}, <math>c_0 + 2mc_1 + c_2m^2,</math>का गुणांक 0 है किंतु {{math|''x''{{sup|3}}}} का गुणांक नहीं है तो मूल बिंदु वक्र का विभक्ति बिंदु है। यदि {{math|''x''{{sup|2}}}} और {{math|''x''{{sup|3}}}} दोनों के गुणांक 0 हैं तो मूल बिंदु को वक्र का उतार-चढ़ाव बिंदु कहा जाता है। इस विश्लेषण को निर्देशांक अक्षों का अनुवाद करके वक्र के किसी भी बिंदु पर प्रयुक्त किया जा सकता है जिससे मूल बिंदु दिए गए बिंदु पर हो।<ref>Hilton Chapter II §1</ref> | ||
===दोगुने अंक=== | ===दोगुने अंक=== | ||
[[Image:Limacons.svg|thumb|500px|none|दोहरे बिंदु के प्रकारों को दर्शाने वाले तीन लिमाकॉन। जब कार्टेशियन निर्देशांक में परिवर्तित किया जाता है जो की <math>(x^2 + y^2 - x)^2 = (1.5)^2 (x^2 + y^2),</math> बायां वक्र मूल बिंदु पर | [[Image:Limacons.svg|thumb|500px|none|दोहरे बिंदु के प्रकारों को दर्शाने वाले तीन लिमाकॉन। जब कार्टेशियन निर्देशांक में परिवर्तित किया जाता है जो की <math>(x^2 + y^2 - x)^2 = (1.5)^2 (x^2 + y^2),</math> बायां वक्र मूल बिंदु पर एकनोड प्राप्त करता है, जो तल में पृथक बिंदु है। केंद्रीय वक्र, [[ कारडायोड |कारडायोड]] , के मूल में पुच्छल होता है। दाएं वक्र के मूल में क्रूनोड है और वक्र लूप बनाने के लिए खुद को पार करता है।]] | ||
यदि उपरोक्त विस्तार में {{math|''b''{{sub|0}}}} और {{math|''b''{{sub|1}}}} दोनों {{math|0}} हैं, किंतु {{math|''c''{{sub|0}}}}, {{math|''c''{{sub|1}}}}, {{math|''c''{{sub|2}}}} में से कम से कम | यदि उपरोक्त विस्तार में {{math|''b''{{sub|0}}}} और {{math|''b''{{sub|1}}}} दोनों {{math|0}} हैं, किंतु {{math|''c''{{sub|0}}}}, {{math|''c''{{sub|1}}}}, {{math|''c''{{sub|2}}}} में से कम से कम 0 नहीं है, तो मूल बिंदु को वक्र का दोहरा बिंदु कहा जाता है। पुनः <math>y = mx,</math> डालकर {{mvar|f }} लिखा जा सकता है | ||
<math display="block">f = (c_0 + 2m c_1 + c_2 m^2)x^2 + (d_0 + 3md_1 + 3 m^2 d_2 + d_3 m^3) x^3 + \cdots.</math> | <math display="block">f = (c_0 + 2m c_1 + c_2 m^2)x^2 + (d_0 + 3md_1 + 3 m^2 d_2 + d_3 m^3) x^3 + \cdots.</math> | ||
दोहरे बिंदुओं को <math>c_0 + 2mc_1 + m^2c_2 = 0.</math> समाधान के अनुसार वर्गीकृत किया जा सकता है | दोहरे बिंदुओं को <math>c_0 + 2mc_1 + m^2c_2 = 0.</math> समाधान के अनुसार वर्गीकृत किया जा सकता है | ||
Line 27: | Line 27: | ||
{{main article|क्रुनोड}} | {{main article|क्रुनोड}} | ||
यदि <math>c_0 + 2mc_1 + m^2c_2 = 0</math> के पास {{mvar|m}} के लिए दो वास्तविक समाधान हैं, अथार्त यदि <math>c_0c_2 - c_1^2 < 0,</math> तो मूल बिंदु को क्रूनोड कहा जाता है। इस स्थिति में वक्र मूल बिंदु पर स्वयं को काटता है और <math>c_0 + 2mc_1 + m^2c_2 = 0.</math> के दो समाधानों के अनुरूप दो अलग-अलग स्पर्शरेखाएं होती हैं। इस स्थिति में फलन f के मूल बिंदु पर | यदि <math>c_0 + 2mc_1 + m^2c_2 = 0</math> के पास {{mvar|m}} के लिए दो वास्तविक समाधान हैं, अथार्त यदि <math>c_0c_2 - c_1^2 < 0,</math> तो मूल बिंदु को क्रूनोड कहा जाता है। इस स्थिति में वक्र मूल बिंदु पर स्वयं को काटता है और <math>c_0 + 2mc_1 + m^2c_2 = 0.</math> के दो समाधानों के अनुरूप दो अलग-अलग स्पर्शरेखाएं होती हैं। इस स्थिति में फलन f के मूल बिंदु पर सैडल बिंदु होता है। | ||
====एक्नोड्स==== | ====एक्नोड्स==== | ||
{{main article|एक्नोड}} | {{main article|एक्नोड}} | ||
यदि <math>c_0 + 2mc_1 + m^2c_2 = 0</math> के पास {{mvar|m}} के लिए दो वास्तविक समाधान हैं, अर्थात यदि <math>c_0c_2 - c_1^2 > 0,</math> तो मूल को [[acnode|एक्नोड्स]] कहा जाता है। वास्तविक तल में मूल बिंदु वक्र पर | यदि <math>c_0 + 2mc_1 + m^2c_2 = 0</math> के पास {{mvar|m}} के लिए दो वास्तविक समाधान हैं, अर्थात यदि <math>c_0c_2 - c_1^2 > 0,</math> तो मूल को [[acnode|एक्नोड्स]] कहा जाता है। वास्तविक तल में मूल बिंदु वक्र पर [[पृथक बिंदु]] है; चूँकि जब जटिल वक्र के रूप में माना जाता है तो मूल को अलग नहीं किया जाता है और <math>c_0 + 2mc_1 + m^2c_2 = 0.</math> दो जटिल समाधानों के अनुरूप दो काल्पनिक स्पर्शरेखाएँ होती हैं फलन {{mvar|f }} इस स्थिति में मूल में [[मैक्सिमा और मिनिमा]] है। | ||
====कस्प्स==== | ====कस्प्स==== | ||
{{Main article|पुच्छ (विलक्षणता)}} | {{Main article|पुच्छ (विलक्षणता)}} | ||
यदि <math>c_0 + 2mc_1 + m^2c_2 = 0</math> में m के लिए बहुलता 2 का | यदि <math>c_0 + 2mc_1 + m^2c_2 = 0</math> में m के लिए बहुलता 2 का ही समाधान है, अर्थात यदि <math>c_0c_2 - c_1^2 = 0,</math> है तो मूल को पुच्छल कहा जाता है। इस स्थिति में वक्र तीव्र बिंदु बनाते हुए मूल बिंदु पर दिशा बदलता है। वक्र के मूल में ही स्पर्शरेखा होती है जिसे दो संपाती स्पर्शरेखाएँ माना जा सकता है। | ||
====आगे का वर्गीकरण==== | ====आगे का वर्गीकरण==== | ||
नोड शब्द का उपयोग क्रूनोड या एक्नोड को निरुपित करने के लिए किया जाता है, दूसरे शब्दों में | नोड शब्द का उपयोग क्रूनोड या एक्नोड को निरुपित करने के लिए किया जाता है, दूसरे शब्दों में दोहरा बिंदु जो पुच्छल नहीं है। नोड्स की संख्या और वक्र पर क्यूस्प्स की संख्या प्लुकर सूत्रों में उपयोग किए जाने वाले दो अपरिवर्तनीय हैं। | ||
यदि <math>c_0 + 2mc_1 + m^2c_2 = 0</math> का | यदि <math>c_0 + 2mc_1 + m^2c_2 = 0</math> का समाधान <math>d_0 + 3md_1 + 3m^2d_2 + m^3d_3 = 0,</math> का भी समाधान है तो वक्र की संबंधित शाखा के मूल में विभक्ति बिंदु होता है। इस स्थिति में मूल को फ़्लेक्नोड कहा जाता है। यदि दोनों स्पर्शरेखाओं में यह गुण है, इसलिए <math>c_0 + 2mc_1 + m^2c_2</math> <math>d_0 + 3md_1 + 3m^2d_2 + m^3d_3,</math> का कारक है तो मूल बिंदु को बाइफ्लेक्नोड कहा जाता है।<ref>Hilton Chapter II §2</ref> | ||
===एकाधिक अंक=== | ===एकाधिक अंक=== | ||
[[Image:3 Petal rose.svg|thumb|200px|right|मूल बिंदु पर त्रिक बिंदु वाला | [[Image:3 Petal rose.svg|thumb|200px|right|मूल बिंदु पर त्रिक बिंदु वाला वक्र: {{math|1=''x''(''t'') = sin(2''t'') + cos(''t'')}}, {{math|1=''y''(''t'') = sin(''t'') + cos(2''t'')}}]]सामान्यतः, यदि {{mvar|k}} से कम डिग्री के सभी पद 0 हैं, और डिग्री k का कम से कम पद {{mvar|f}} में 0 नहीं है, तो वक्र को क्रम {{mvar|k}} या k-ple बिंदु के एकाधिक बिंदु वाला कहा जाता है। सामान्यतः, वक्र के मूल में k स्पर्शरेखाएँ होंगी, चूँकि इनमें से कुछ स्पर्शरेखाएँ काल्पनिक हो सकती हैं।<ref>Hilton Chapter II §3</ref> | ||
==पैरामीट्रिक वक्र== | ==पैरामीट्रिक वक्र== | ||
{{tmath|\R^2}} में एक पैरामीटरयुक्त वक्र को फलन की छवि के रूप में परिभाषित किया गया है {{tmath|g: \R \to \R^2,}} <math>g(t) = (g_1(t),g_2(t)).</math> एकवचन बिंदु वे बिंदु हैं जहां<math display="block">\frac{dg_1}{dt} = \frac{dg_2}{dt} = 0.</math> | {{tmath|\R^2}} में एक पैरामीटरयुक्त वक्र को फलन की छवि के रूप में परिभाषित किया गया है {{tmath|g: \R \to \R^2,}} <math>g(t) = (g_1(t),g_2(t)).</math> एकवचन बिंदु वे बिंदु हैं जहां<math display="block">\frac{dg_1}{dt} = \frac{dg_2}{dt} = 0.</math> | ||
[[Image:cusp.svg|thumb|200px|अर्धघनाकार परवलय में | [[Image:cusp.svg|thumb|200px|अर्धघनाकार परवलय में पुच्छल <math>y^2=x^3</math>]] | ||
कई वक्रों को किसी भी प्रकार से परिभाषित किया जा सकता है, किंतु हो सकता है कि दोनों परिभाषाएँ सहमत न हों। उदाहरण के लिए, पुच्छ को बीजगणितीय वक्र पर परिभाषित किया जा सकता है, <math>x^3 - y^2 = 0,</math> या पैरामीट्रिज्ड वक्र पर,<math>g(t) = (t^2, t^3).</math> दोनों परिभाषाएँ मूल पर | कई वक्रों को किसी भी प्रकार से परिभाषित किया जा सकता है, किंतु हो सकता है कि दोनों परिभाषाएँ सहमत न हों। उदाहरण के लिए, पुच्छ को बीजगणितीय वक्र पर परिभाषित किया जा सकता है, <math>x^3 - y^2 = 0,</math> या पैरामीट्रिज्ड वक्र पर,<math>g(t) = (t^2, t^3).</math> दोनों परिभाषाएँ मूल पर विलक्षण बिंदु देती हैं। चूँकि , मूल में <math>y^2 - x^3 - x^2 = 0</math> जैसा नोड बीजगणितीय वक्र के रूप में माने जाने वाले वक्र की विलक्षणता है, किंतु यदि हम इसे <math>g(t) = (t^2 - 1, t(t^2 - 1)),</math> के रूप में पैरामीटराइज़ करते हैं तो {{tmath|g'(t)}} कभी विलुप्त नहीं होता है, और इसलिए नोड ऊपर बताए अनुसार पैरामीटरयुक्त वक्र की विलक्षणता नहीं है। | ||
पैरामीटराइजेशन चुनते समय सावधानी बरतने की जरूरत है। उदाहरण के लिए सीधी रेखा y = 0 को <math>g(t) = (t^3, 0),</math> द्वारा पैरामीटराइज़ किया जा सकता है जिसके मूल में | पैरामीटराइजेशन चुनते समय सावधानी बरतने की जरूरत है। उदाहरण के लिए सीधी रेखा y = 0 को <math>g(t) = (t^3, 0),</math> द्वारा पैरामीटराइज़ किया जा सकता है जिसके मूल में विलक्षणता है। जब <math>g(t) = (t, 0),</math> द्वारा पैरामीट्रिज किया जाता है तो यह एकवचन नहीं होता है। इसलिए, यहां किसी वक्र के एकवचन बिंदु के अतिरिक्त सहज मानचित्रण के एकवचन बिंदुओं पर चर्चा करना तकनीकी रूप से अधिक सही है। | ||
उपरोक्त परिभाषाओं को अंतर्निहित वक्रों को कवर करने के लिए बढ़ाया जा सकता है जिन्हें | उपरोक्त परिभाषाओं को अंतर्निहित वक्रों को कवर करने के लिए बढ़ाया जा सकता है जिन्हें सुचारू फलन के शून्य समुच्चय {{tmath|f^{-1}(0)}} के रूप में परिभाषित किया गया है, और केवल बीजगणितीय विविध पर विचार करना आवश्यक नहीं है। उच्च आयामों में वक्रों को कवर करने के लिए परिभाषाओं को बढ़ाया जा सकता है। | ||
हस्लर व्हिटनी का | हस्लर व्हिटनी का प्रमेय<ref>Th. Bröcker, ''Differentiable Germs and Catastrophes'', London Mathematical Society. Lecture Notes 17. Cambridge, (1975)</ref><ref>Bruce and Giblin, ''Curves and singularities'', (1984, 1992) {{isbn|0-521-41985-9}}, {{isbn|0-521-42999-4}} (paperback)</ref>] बताता है | ||
{{math theorem| कोई भी संवृत समुच्चय {{tmath|\R^n}} के समाधान समुच्चय के रूप में होता है {{tmath|f^{-1}(0)}} कुछ '''सुचारू''' फलन के लिए <math>f: \R^n \to \R.</math>}} | {{math theorem| कोई भी संवृत समुच्चय {{tmath|\R^n}} के समाधान समुच्चय के रूप में होता है {{tmath|f^{-1}(0)}} कुछ '''सुचारू''' फलन के लिए <math>f: \R^n \to \R.</math>}} | ||
किसी भी पैरामीटरयुक्त वक्र को | किसी भी पैरामीटरयुक्त वक्र को अंतर्निहित वक्र के रूप में भी परिभाषित किया जा सकता है, और वक्रों के एकवचन बिंदुओं के वर्गीकरण का अध्ययन बीजगणितीय विविधता के एकवचन बिंदु के वर्गीकरण के रूप में किया जा सकता है। | ||
==एकवचन बिंदुओं के प्रकार== | ==एकवचन बिंदुओं के प्रकार== | ||
कुछ संभावित विलक्षणताएँ हैं: | कुछ संभावित विलक्षणताएँ हैं: | ||
*एक पृथक बिंदु: <math>x^2 + y^2 = 0, </math> | *एक पृथक बिंदु: <math>x^2 + y^2 = 0, </math> एनोड | ||
* दो रेखाएं प्रतिच्छेद करती हैं: <math>x^2 - y^2 = 0,</math> | * दो रेखाएं प्रतिच्छेद करती हैं: <math>x^2 - y^2 = 0,</math> क्रुनोड | ||
*एक पुच्छ (विलक्षणता): <math>x^3 - y^2 = 0,</math> इसे स्पिनोड भी कहा जाता है | *एक पुच्छ (विलक्षणता): <math>x^3 - y^2 = 0,</math> इसे स्पिनोड भी कहा जाता है | ||
*एक [[टैकनोड]]: <math>x^4 - y^2 = 0</math> | *एक [[टैकनोड]]: <math>x^4 - y^2 = 0</math> |
Revision as of 18:06, 23 July 2023
ज्यामिति में, वक्र पर विलक्षण बिंदु वह होता है जहां वक्र को पैरामीट्रिज़ेशन (ज्यामिति) के सुचारू फलन एम्बेडिंग द्वारा नहीं दिया जाता है। एकवचन बिंदु की स्पष्ट परिभाषा अध्ययन किए जा रहे वक्र के प्रकार पर निर्भर करती है।
तल में बीजगणितीय वक्र
समतल में बीजगणितीय वक्रों को बिंदुओं (x, y) के समुच्चय के रूप में परिभाषित किया जा सकता है जो रूप के समीकरण को संतुष्ट करता है जहां f बहुपद फलन है यदि f को इस प्रकार विस्तारित किया जाता है
यदि मूल बिंदु (0, 0) वक्र पर है तो a0 = 0. यदि b1 ≠ 0 है तो अंतर्निहित फलन प्रमेय आश्वासन देता है कि सुचारू फलन h है जिससे वक्र का रूप मूल के निकट y = h(x) होते है। इसी प्रकार, यदि b0 ≠ 0 है तो सहज फलन k है जिससे मूल बिंदु के निकट वक्र का रूप x = k(y) हो। किसी भी स्थिति में से समतल तक सहज मानचित्र है जो मूल बिंदु के निकट में वक्र को परिभाषित करता है। ध्यान दें कि मूल पर
नियमित अंक
मान लीजिए कि वक्र मूल बिन्दु से होकर निकलता है और लिखिए तब f लिखा जा सकता है
यदि 0 नहीं है तो x = 0 पर f = 0 का बहुलता 1 का हल है और मूल बिंदु रेखा के साथ एकल संपर्क का बिंदु है यदि } है तो f = 0 का बहुलता 2 या उच्चतर का हल है और रेखा या वक्र की स्पर्शरेखा है। इस स्थिति में, यदि 0 नहीं है तो वक्र का के साथ दोहरा संपर्क बिंदु है यदि x2, का गुणांक 0 है किंतु x3 का गुणांक नहीं है तो मूल बिंदु वक्र का विभक्ति बिंदु है। यदि x2 और x3 दोनों के गुणांक 0 हैं तो मूल बिंदु को वक्र का उतार-चढ़ाव बिंदु कहा जाता है। इस विश्लेषण को निर्देशांक अक्षों का अनुवाद करके वक्र के किसी भी बिंदु पर प्रयुक्त किया जा सकता है जिससे मूल बिंदु दिए गए बिंदु पर हो।[1]
दोगुने अंक
यदि उपरोक्त विस्तार में b0 और b1 दोनों 0 हैं, किंतु c0, c1, c2 में से कम से कम 0 नहीं है, तो मूल बिंदु को वक्र का दोहरा बिंदु कहा जाता है। पुनः डालकर f लिखा जा सकता है
क्रूनोड्स
यदि के पास m के लिए दो वास्तविक समाधान हैं, अथार्त यदि तो मूल बिंदु को क्रूनोड कहा जाता है। इस स्थिति में वक्र मूल बिंदु पर स्वयं को काटता है और के दो समाधानों के अनुरूप दो अलग-अलग स्पर्शरेखाएं होती हैं। इस स्थिति में फलन f के मूल बिंदु पर सैडल बिंदु होता है।
एक्नोड्स
यदि के पास m के लिए दो वास्तविक समाधान हैं, अर्थात यदि तो मूल को एक्नोड्स कहा जाता है। वास्तविक तल में मूल बिंदु वक्र पर पृथक बिंदु है; चूँकि जब जटिल वक्र के रूप में माना जाता है तो मूल को अलग नहीं किया जाता है और दो जटिल समाधानों के अनुरूप दो काल्पनिक स्पर्शरेखाएँ होती हैं फलन f इस स्थिति में मूल में मैक्सिमा और मिनिमा है।
कस्प्स
यदि में m के लिए बहुलता 2 का ही समाधान है, अर्थात यदि है तो मूल को पुच्छल कहा जाता है। इस स्थिति में वक्र तीव्र बिंदु बनाते हुए मूल बिंदु पर दिशा बदलता है। वक्र के मूल में ही स्पर्शरेखा होती है जिसे दो संपाती स्पर्शरेखाएँ माना जा सकता है।
आगे का वर्गीकरण
नोड शब्द का उपयोग क्रूनोड या एक्नोड को निरुपित करने के लिए किया जाता है, दूसरे शब्दों में दोहरा बिंदु जो पुच्छल नहीं है। नोड्स की संख्या और वक्र पर क्यूस्प्स की संख्या प्लुकर सूत्रों में उपयोग किए जाने वाले दो अपरिवर्तनीय हैं।
यदि का समाधान का भी समाधान है तो वक्र की संबंधित शाखा के मूल में विभक्ति बिंदु होता है। इस स्थिति में मूल को फ़्लेक्नोड कहा जाता है। यदि दोनों स्पर्शरेखाओं में यह गुण है, इसलिए का कारक है तो मूल बिंदु को बाइफ्लेक्नोड कहा जाता है।[2]
एकाधिक अंक
सामान्यतः, यदि k से कम डिग्री के सभी पद 0 हैं, और डिग्री k का कम से कम पद f में 0 नहीं है, तो वक्र को क्रम k या k-ple बिंदु के एकाधिक बिंदु वाला कहा जाता है। सामान्यतः, वक्र के मूल में k स्पर्शरेखाएँ होंगी, चूँकि इनमें से कुछ स्पर्शरेखाएँ काल्पनिक हो सकती हैं।[3]
पैरामीट्रिक वक्र
में एक पैरामीटरयुक्त वक्र को फलन की छवि के रूप में परिभाषित किया गया है एकवचन बिंदु वे बिंदु हैं जहां
कई वक्रों को किसी भी प्रकार से परिभाषित किया जा सकता है, किंतु हो सकता है कि दोनों परिभाषाएँ सहमत न हों। उदाहरण के लिए, पुच्छ को बीजगणितीय वक्र पर परिभाषित किया जा सकता है, या पैरामीट्रिज्ड वक्र पर, दोनों परिभाषाएँ मूल पर विलक्षण बिंदु देती हैं। चूँकि , मूल में जैसा नोड बीजगणितीय वक्र के रूप में माने जाने वाले वक्र की विलक्षणता है, किंतु यदि हम इसे के रूप में पैरामीटराइज़ करते हैं तो कभी विलुप्त नहीं होता है, और इसलिए नोड ऊपर बताए अनुसार पैरामीटरयुक्त वक्र की विलक्षणता नहीं है।
पैरामीटराइजेशन चुनते समय सावधानी बरतने की जरूरत है। उदाहरण के लिए सीधी रेखा y = 0 को द्वारा पैरामीटराइज़ किया जा सकता है जिसके मूल में विलक्षणता है। जब द्वारा पैरामीट्रिज किया जाता है तो यह एकवचन नहीं होता है। इसलिए, यहां किसी वक्र के एकवचन बिंदु के अतिरिक्त सहज मानचित्रण के एकवचन बिंदुओं पर चर्चा करना तकनीकी रूप से अधिक सही है।
उपरोक्त परिभाषाओं को अंतर्निहित वक्रों को कवर करने के लिए बढ़ाया जा सकता है जिन्हें सुचारू फलन के शून्य समुच्चय के रूप में परिभाषित किया गया है, और केवल बीजगणितीय विविध पर विचार करना आवश्यक नहीं है। उच्च आयामों में वक्रों को कवर करने के लिए परिभाषाओं को बढ़ाया जा सकता है।
हस्लर व्हिटनी का प्रमेय[4][5]] बताता है
Theorem — कोई भी संवृत समुच्चय के समाधान समुच्चय के रूप में होता है कुछ सुचारू फलन के लिए
किसी भी पैरामीटरयुक्त वक्र को अंतर्निहित वक्र के रूप में भी परिभाषित किया जा सकता है, और वक्रों के एकवचन बिंदुओं के वर्गीकरण का अध्ययन बीजगणितीय विविधता के एकवचन बिंदु के वर्गीकरण के रूप में किया जा सकता है।
एकवचन बिंदुओं के प्रकार
कुछ संभावित विलक्षणताएँ हैं:
- एक पृथक बिंदु: एनोड
- दो रेखाएं प्रतिच्छेद करती हैं: क्रुनोड
- एक पुच्छ (विलक्षणता): इसे स्पिनोड भी कहा जाता है
- एक टैकनोड:
- एक रैम्फॉइड पुच्छल:
यह भी देखें
- बीजगणितीय विविधता का एकवचन बिंदु
- विलक्षणता सिद्धांत
- मोर्स सिद्धांत
संदर्भ
- ↑ Hilton Chapter II §1
- ↑ Hilton Chapter II §2
- ↑ Hilton Chapter II §3
- ↑ Th. Bröcker, Differentiable Germs and Catastrophes, London Mathematical Society. Lecture Notes 17. Cambridge, (1975)
- ↑ Bruce and Giblin, Curves and singularities, (1984, 1992) ISBN 0-521-41985-9, ISBN 0-521-42999-4 (paperback)
- Hilton, Harold (1920). "Chapter II: Singular Points". Plane Algebraic Curves. Oxford.