बीजीय वक्र: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(13 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{Short description|Curve defined as zeros of polynomials}}
{{Short description|Curve defined as zeros of polynomials}}
[[File:Tschirnhausen cubic.svg|thumb|right|Tschirnhausen घन डिग्री तीन का एक बीजगणितीय वक्र है]]गणित में एक सजातीय बीजीय समतल वक्र दो चरों में  [[ बहुपद |बहुपद]]  का  [[ शून्य सेट |शून्य सेट]]  होता है। जो एक प्रक्षेपी बीजीय तल वक्र तीन चरों में एक [[ सजातीय बहुपद ]] के प्रक्षेप्य तल में शून्य सेट होता है। एक बहुपद के परिभाषित बहुपद समरूपीकरण द्वारा प्रक्षेपी बीजीय समतल वक्र में एक सजातीय बीजीय समतल वक्र को पूरा किया जा सकता है। इसके विपरीत सजातीय समीकरण का एक प्रक्षेपी बीजीय समतल वक्र  {{math|1=''h''(''x'', ''y'', ''t'') = 0}} समीकरण के सजातीय बीजीय समतल वक्र तक सीमित किया जा सकता है {{math|1=''h''(''x'', ''y'', 1) = 0}} ये दो संक्रियाएं एक-दूसरे के प्रतिलोम फलन हैं। इसलिए वाक्यांश बीजीय समतल वक्र अधिकांश स्पष्ट रूप से निर्दिष्ट किए बिना ही प्रयोग किया जाता है, कि क्या यह सजातीय या प्रक्षेपीय स्थिति है, जिसे माना जाता है।
[[File:Tschirnhausen cubic.svg|thumb|right|Tschirnhausen घन डिग्री तीन का एक बीजगणितीय वक्र है]]गणित में एक सजातीय बीजीय समतल वक्र दो चरों में  [[ बहुपद |बहुपद]]  का  [[ शून्य सेट |शून्य सेट]]  होता है।, जो एक प्रक्षेपी बीजीय तल वक्र तीन चरों में एक [[ सजातीय बहुपद |सजातीय बहुपद]] के प्रक्षेप्य तल में शून्य सेट होता है। एक बहुपद के परिभाषित बहुपद समरूपीकरण द्वारा प्रक्षेपी बीजीय समतल वक्र में एक सजातीय बीजीय समतल वक्र को पूरा किया जा सकता है। इसके विपरीत सजातीय समीकरण का एक प्रक्षेपी बीजीय समतल वक्र  {{math|1=''h''(''x'', ''y'', ''t'') = 0}} समीकरण के सजातीय बीजीय समतल वक्र तक सीमित किया जा सकता है {{math|1=''h''(''x'', ''y'', 1) = 0}} ये दो संक्रियाएं एक दूसरे के प्रतिलोम फलन हैं। इसलिए वाक्यांश बीजीय समतल वक्र अधिकांश स्पष्ट रूप से निर्दिष्ट किए बिना ही प्रयोग किया जाता है, कि क्या यह सजातीय या प्रक्षेपीय स्थिति है, ऐसा माना जाता है।


अधिक सामान्य रूप से एक बीजगणितीय वक्र आयाम की एक [[ बीजीय किस्म |बीजगणितीय विविधता]] है। समतुल्य रूप से, एक बीजगणितीय वक्र एक बीजगणितीय विविधता है जो एक बीजगणितीय समतल वक्र के द्विभाजित रूप से समतुल्य है। यदि वक्र एक  [[ एफ़िन स्पेस |सघन स्थान]]  या  [[ प्रक्षेप्य स्थान |प्रक्षेप्य स्थान]]  में समाहित है, तो कोई इस तरह के द्विवार्षिक तुल्यता के लिए  [[ प्रक्षेपण (गणित) |प्रक्षेपण]]  ले सकता है
अधिक सामान्य रूप से एक बीजगणितीय वक्र आयाम की एक [[ बीजीय किस्म |बीजगणितीय विविधता]] है। समतुल्य रूप से, एक बीजगणितीय वक्र एक बीजगणितीय विविधता है जो एक बीजगणितीय समतल वक्र के द्विभाजनित रूप से समतुल्य है। यदि वक्र एक  [[ एफ़िन स्पेस |सघन स्थान]]  या  [[ प्रक्षेप्य स्थान |प्रक्षेप्य स्थान]]  में समाहित होता है, तो कोई इस तरह के द्विवार्षिक तुल्यता के लिए  [[ प्रक्षेपण (गणित) |प्रक्षेपण]]  को ले सकता है


ये द्विवार्षिक तुल्यता बीजगणितीय वक्रों के अधिकांश अध्ययन को बीजीय तल वक्रों के अध्ययन तक कम कर देती है। हालांकि, कुछ गुणों को द्विभाजित तुल्यता के तहत नहीं रखा जाता है, और गैर-समतल वक्रों पर अध्ययन किया जाना चाहिए। यह विशेष रूप से  [[ एक बीजीय किस्म की डिग्री |एक बीजीय विविधता की उपाधि]] और समतलई के मामले में है। उदाहरण के लिए जीनस 0 के समतल वक्र और दो से अधिक डिग्री मौजूद होते हैं, लेकिन ऐसे वक्रों के किसी भी समतल प्रक्षेपण में एकवचन बिंदु होते हैं। (देखें जीनस-डिग्री फॉर्मूला)
ये द्विवार्षिक तुल्यता बीजगणितीय वक्रों के अधिकांश अध्ययन को बीजीय तल वक्रों के अध्ययन तक कम कर देती है। हालांकि, कुछ गुणों को द्विभाजनित तुल्यता के आधार पर नहीं रखा जाता है, और अस्थायी समतल वक्रों पर अध्ययन किया जाना चाहिए। यह विशेष रूप से  [[ एक बीजीय किस्म की डिग्री |एक बीजीय विविधता की उपाधि]] और समतलीय के सन्दर्भ में है। उदाहरण के लिए जीनस 0 के समतल वक्र और दो से अधिक डिग्री उपस्थित होते हैं, लेकिन ऐसे वक्रों के किसी भी समतल प्रक्षेपण में विलक्षण बिंदु होते हैं।(जीनस-डिग्री फॉर्मूला को देखें)


एक गैर-समतल वक्र को अधिकांश  [[ तिरछा वक्र |अंतरिक्ष वक्र]]  या तिरछा वक्र कहा जाता है।
एक अस्थायी-समतल वक्र को अधिकांश  [[ तिरछा वक्र |अंतरिक्ष वक्र]]  या तिरछा वक्र भी कहा जाता है।


== यूक्लिडियन ज्यामिति में ==
== यूक्लिडियन ज्यामिति में ==
[[ यूक्लिडियन विमान |यूक्लिडियन समतल]]  में एक बीजीय वक्र उन बिंदुओं का समूह होता है जिनके निर्देशांक द्विचर  [[ बहुपद समीकरण |बहुपद समीकरण]] p(x, y) = 0 के समाधान होते हैं। x के एक कारक के रूप में स्पष्ट रूप से y को परिभाषित करने वाले कारक का ग्राफ़ हैं।
[[ यूक्लिडियन विमान |यूक्लिडियन समतल]]  में एक बीजीय वक्र उन बिंदुओं का समूह होता है, जिनके निर्देशांक द्विचर  [[ बहुपद समीकरण |बहुपद समीकरण]] p(x, y) = 0 के समाधान होते हैं। x के एक कारक के स्पष्ट रूप से y को परिभाषित करने वाले कारक का एक ग्राफ़ हैं।


इस तरह के एक  [[ निहित समीकरण |निहित समीकरण]]  द्वारा दिए गए, वक्र के साथ पहली समस्या वक्र के आकार को निर्धारित करना और इसे खींचना है। तथा इन समस्याओं को हल करना उतना आसान नहीं होता है जितना कि, किसी कारक के ग्राफ के मामले में होता है, जिसके लिए x के विभिन्न मानों के लिए y की गणना सरलता से की जा सकती है। तथ्य यह है कि परिभाषित समीकरण एक बहुपद है, जो कि यह दर्शाता है कि, वक्र में कुछ संरचनात्मक गुण हैं जो इन समस्याओं को हल करने में मदद कर सकते हैं।
इस तरह के एक  [[ निहित समीकरण |निहित समीकरण]]  द्वारा दिए गए, वक्र के साथ पहली समस्या वक्र के आकार को निर्धारित करना और इसे खींचना है। तथा इन समस्याओं को हल करना उतना आसान नहीं होता है जितना कि, किसी कारक के ग्राफ के सन्दर्भ में होता है, जिसके लिए x के विभिन्न मानों के लिए y की गणना सरलता से की जा सकती है। तथ्य यह है कि परिभाषित समीकरण एक बहुपद है, जो कि यह दर्शाता है कि, वक्र में कुछ संरचनात्मक गुण होते हैं जो इन समस्याओं को हल करने में सहायता कर सकते हैं।


प्रत्येक बीजगणितीय वक्र विशिष्ट रूप से समतल मोनोटोन  [[ चाप (ज्यामिति) |ज्यामिति]]  जिन्हें शाखाएं भी कहा जाता है, एक सीमित संख्या में विघटित किया जा सकता है, कभी-कभी कुछ बिंदुओं से जोड़ा जाता है, तथा जिन्हें कभी-कभी उल्लेखनीय बिंदु कहा जाता है, और संभवतः [[ एक्नोड |एक्नोड]]  नामक पृथक बिंदुओं की एक सीमित संख्या होती है। एक समतल मोनोटोन वक्र एक समतल कारक का ग्राफ है, जिसे परिभाषित किया गया है और x अक्ष के एक खुले अंतराल पर  [[ मोनोटोन फ़ंक्शन |मोनोटोन कारक]]  है। प्रत्येक दिशा में एक चाप या तो असीमित होता है। सामान्य रूप से एक अनंत चाप कहा जाता है या एक समापन बिंदु होता है, या तो एक विलक्षण बिंदु होता है (इसे नीचे परिभाषित किया जाएगा) या समन्वय अक्षों में से एक के समानांतर स्पर्शरेखा वाला बिंदु होता है।  
प्रत्येक बीजगणितीय वक्र विशिष्ट रूप से समतल मोनोटोन  [[ चाप (ज्यामिति) |ज्यामिति]]  जिन्हें द्विभाजन भी कहा जाता है, एक सीमित संख्या में विघटित किया जा सकता है, कभी-कभी कुछ बिंदुओं से जोड़ा जाता है, तथा जिन्हें कभी-कभी उल्लेखनीय बिंदु कहा जाता है, और संभवतः [[ एक्नोड |एक्नोड]]  नामक पृथक बिंदुओं की सीमित संख्या होती है। जो समतल मोनोटोन वक्र समतल कारक का एक ग्राफ है, जिसे परिभाषित किया गया है और x अक्ष के विवृत अंतराल पर  [[ मोनोटोन फ़ंक्शन |मोनोटोन कारक]]  है। प्रत्येक दिशा में एक चाप असीमित होता है जिसे सामान्य रूप से एक अनंत चाप कहा जाता है या एक समापन बिंदु होता है, या तो एक विलक्षण बिंदु होता है (इसे नीचे परिभाषित किया जाएगा) या समन्वय अक्षों में से एक के समानांतर स्पर्शरेखा वाला बिंदु होता है।  


उदाहरण के लिए, Tschirnhausen घन के लिए समापन बिंदु के रूप में मूल (0,0) वाले दो अनंत चाप हैं। यह बिंदु वक्र का एकमात्र  [[ गणितीय विलक्षणता |गणितीय विलक्षणता]]  बिंदु है। इस विलक्षण बिंदु का एक समापन बिंदु के रूप में और एक क्षैतिज स्पर्शरेखा के साथ दूसरा अंत बिंदु रखने वाले दो चाप भी हैं। अंत में दो अन्य चाप हैं, जिनमें से प्रत्येक में इनमें से एक बिंदु क्षैतिज स्पर्शरेखा के साथ पहले समापन बिंदु के रूप में है और दूसरे समापन बिंदु के रूप में ऊर्ध्वाधर स्पर्शरेखा के साथ अद्वितीय बिंदु है। इसके विपरीत, साइनसॉइड निश्चित रूप से एक बीजगणितीय वक्र नहीं है, जिसमें अनंत संख्या में मोनोटोन चाप होते हैं।
उदाहरण के लिए, Tschirnhausen घन के लिए समापन बिंदु के रूप में मूल (0,0) वाले दो अनंत चाप हैं। यह बिंदु वक्र का एकमात्र  [[ गणितीय विलक्षणता |गणितीय विलक्षणता]]  बिंदु है। इस विलक्षण बिंदु का एक समापन बिंदु के रूप में और एक क्षैतिज स्पर्शरेखा के साथ दूसरा अंत बिंदु रखने वाले दो चाप भी हैं। अंत में दो अन्य चाप हैं, जिनमें से प्रत्येक में इनमें से एक बिंदु क्षैतिज स्पर्शरेखा के साथ पहले समापन बिंदु के रूप में है और दूसरे समापन बिंदु के रूप में ऊर्ध्वाधर स्पर्शरेखा के साथ अद्वितीय बिंदु है। इसके विपरीत, साइनसॉइड निश्चित रूप से एक बीजगणितीय वक्र नहीं है, जिसमें अनंत संख्या में मोनोटोन चाप होते हैं।


एक बीजगणितीय वक्र बनाने के लिए उल्लेखनीय बिंदुओं और उनकी स्पर्शरेखाओं के अनंत शाखाओं और उनके स्पर्शोन्मुख (यदि कोई हो) और जिस तरह से चाप उन्हें जोड़ते हैं, उसे जानना महत्वपूर्ण है। विभक्ति बिंदुओं को उल्लेखनीय बिंदुओं के रूप में मानना ​​भी उपयोगी है। जब यह सम्पूर्ण जानकारी कागज के एक टुकड़े पर खींची जाती है, तो वक्र का आकार सामान्य रूप से  स्पष्ट रूप से दिखाई देता है। यदि नहीं, तो वक्र का अच्छा विवरण प्राप्त करने के लिए कुछ अन्य बिंदुओं और उनकी स्पर्शरेखाओं को जोड़ना पर्याप्त होगा।
एक बीजगणितीय वक्र बनाने के लिए उल्लेखनीय बिंदुओं और उनकी स्पर्शरेखाओं के अनंत द्विभाजनों और उनके स्पर्शोन्मुख (यदि कोई हो) और जिस तरह से चाप उन्हें जोड़ते हैं, उसे जानना महत्वपूर्ण है। विभक्ति बिंदुओं को उल्लेखनीय बिंदुओं के रूप में मानना ​​भी उपयोगी है। जब यह सम्पूर्ण जानकारी कागज के एक टुकड़े पर खींची जाती है, तो वक्र का आकार सामान्य रूप से  स्पष्ट रूप से दिखाई देता है। यदि नहीं, तो वक्र का अच्छा विवरण प्राप्त करने के लिए कुछ अन्य बिंदुओं और उनकी स्पर्शरेखाओं को जोड़ना पर्याप्त होगा।


उल्लेखनीय बिंदुओं और उनकी स्पर्शरेखाओं की गणना करने के तरीकों का वर्णन नीचे एक समतल वक्र के उल्लेखनीय बिंदुओं के खंड में किया गया है
उल्लेखनीय बिंदुओं और उनकी स्पर्शरेखाओं की गणना करने के तरीकों का वर्णन नीचे एक समतल वक्र के उल्लेखनीय बिंदुओं के खंड में किया गया है
Line 27: Line 27:
समीकरण p(x, y) = 0 के प्रत्येक सजातीय बीजगणितीय वक्र को समीकरण के प्रक्षेपी वक्र में पूरा किया जा सकता है <math>^hp(x,y,z)=0,</math>  
समीकरण p(x, y) = 0 के प्रत्येक सजातीय बीजगणितीय वक्र को समीकरण के प्रक्षेपी वक्र में पूरा किया जा सकता है <math>^hp(x,y,z)=0,</math>  


जहाँ पर,<math display="block">^hp(x,y,z)=z^{\deg(p)}p(\tfrac{x}{z},\tfrac{y}{z})</math>p के समरूपीकरण का परिणाम है। इसके विपरीत यदि P(x, y, z) = 0 एक प्रक्षेप्य वक्र का समांगी समीकरण है, तो P(x, y, 1) = 0 एक परिबद्ध वक्र का समीकरण है, जिसमें प्रक्षेप्य वक्र के बिंदु होते हैं, जिसका तीसरा प्रक्षेप्य निर्देशांक शून्य नहीं है। ये दो संक्रियाएं एक दूसरे से पारस्परिक होती हैं, जैसे <math>^hp(x,y,1)=p(x,y)</math> और, यदि p को द्वारा परिभाषित किया गया है।  <math>p(x,y)=P(x,y,1)</math>, फिर <math>^hp(x,y,z)=P(x,y,z),</math> जैसे ही समांगी बहुपद P, z से विभाज्य नहीं है।
जहाँ पर,<math display="block">^hp(x,y,z)=z^{\deg(p)}p(\tfrac{x}{z},\tfrac{y}{z})</math>p के समरूपीकरण का परिणाम है। इसके विपरीत यदि P(x, y, z) = 0 एक प्रक्षेप्य वक्र का समांगी समीकरण है, तो P(x, y, 1) = 0 एक परिबद्ध वक्र का समीकरण है, जिसमें प्रक्षेप्य वक्र के बिंदु होते हैं, जिसका तीसरा प्रक्षेप्य निर्देशांक शून्य नहीं है। ये दो संक्रियाएं एक दूसरे से पारस्परिक होती हैं, जैसे <math>^hp(x,y,1)=p(x,y)</math> और, यदि p को द्वारा परिभाषित किया गया है।  <math>p(x,y)=P(x,y,1)</math>, फिर <math>^hp(x,y,z)=P(x,y,z),</math> जैसे ही समांगी बहुपद P, z से विभाज्य नहीं है। उदाहरण के लिए, समीकरण ''x''<sup>2</sup> + ''y''<sup>2</sup> − ''z''<sup>2</sup> का प्रक्षेपी वक्र समीकरण ''x''<sup>2</sup> + ''y''<sup>2</sup> − 1 = 0 के इकाई वृत्त की प्रक्षेपी पूर्णता है।


इसका तात्पर्य यह है कि एक सजातीय वक्र और इसकी प्रक्षेप्य पूर्णता समान वक्र हैं, या अधिक सटीक रूप से सजातीय वक्र प्रक्षेपी वक्र का एक भाग है, जो पूर्ण वक्र को अच्छी तरह से परिभाषित करने के लिए काफी बड़ा है। इस दृष्टिकोण को सामान्य रूप से प्रक्षेप्य पूर्णता के अंक परिमित संख्या में सजातीय वक्र के अंक पर अनंत कहकर व्यक्त किया जाता है जो सजातीय  भाग से संबंधित नहीं है।


उदाहरण के लिए, समीकरण ''x''<sup>2</sup> + ''y''<sup>2</sup> − ''z''<sup>2</sup> का प्रक्षेपी वक्र समीकरण ''x''<sup>2</sup> + ''y''<sup>2</sup> − 1 = 0 के इकाई वृत्त की प्रक्षेपी पूर्णता है।
प्रक्षेपी वक्रों का अधिकांश स्वयं के लिए अध्ययन किया जाता है। वे सजातीय घटता के अध्ययन के लिए भी उपयोगी हैं। उदाहरण के लिए यदि p(x, y) आंशिक व्युत्पन्न के पास में एक सजातीय वक्र को परिभाषित करने वाला बहुपद है  <math> p'_x</math> तथा <math> p'_y</math>, अनंत पर व्युत्पन्न पर विचार करना उपयोगी होता है<math display="block"> p'_\infty(x,y)={^hp'_z(x,y,1)}.</math>उदाहरण के लिए, एक बिंदु (a,b) पर समीकरण पी (x ,y) = 0 के सजातीय वक्र के स्पर्शरेखा का समीकरण है
 
इसका तात्पर्य यह है कि एक सजातीय वक्र और इसकी प्रक्षेप्य पूर्णता समान वक्र हैं, या, अधिक सटीक रूप से सजातीय वक्र प्रक्षेपी वक्र का एक भाग है, जो पूर्ण वक्र को अच्छी तरह से परिभाषित करने के लिए काफी बड़ा है। इस दृष्टिकोण को सामान्य रूप से प्रक्षेप्य पूर्णता के अंक परिमित संख्या में सजातीय वक्र के अंक पर अनंत कहकर व्यक्त किया जाता है जो सजातीय  भाग से संबंधित नहीं है।
 
प्रक्षेपी वक्रों का अधिकांश स्वयं के लिए अध्ययन किया जाता है। वे सजातीय घटता के अध्ययन के लिए भी उपयोगी हैं। उदाहरण के लिए यदि p(x, y) आंशिक व्युत्पन्न के पास में एक सजातीय वक्र को परिभाषित करने वाला बहुपद है  <math> p'_x</math> तथा <math> p'_y</math>, अनंत पर व्युत्पन्न पर विचार करना उपयोगी है<math display="block"> p'_\infty(x,y)={^hp'_z(x,y,1)}.</math>उदाहरण के लिए, एक बिंदु (a,b) पर समीकरण पी (x ,y) = 0 के सजातीय वक्र के स्पर्शरेखा का समीकरण है
<math display="block">xp'_x(a,b)+yp'_y(a,b)+p'_\infty(a,b)=0.</math>
<math display="block">xp'_x(a,b)+yp'_y(a,b)+p'_\infty(a,b)=0.</math>
== समतल वक्र के उल्लेखनीय बिंदु ==
== समतल वक्र के उल्लेखनीय बिंदु ==
Line 42: Line 39:


=== एक रेखा के साथ प्रतिच्छेदन ===
=== एक रेखा के साथ प्रतिच्छेदन ===
किसी दी गई रेखा के साथ वक्र के प्रतिच्छेदन बिंदुओं को जानना अधिकांश उपयोगी होता है। अक्षों के निर्देशांक के साथ प्रतिच्छेदन और स्पर्शोन्मुख वक्र को खींचने के लिए उपयोगी होते हैं। अक्षों के समानांतर एक रेखा के साथ प्रतिच्छेद करने से वक्र की प्रत्येक शाखा में कम से कम एक बिंदु खोजने की अनुमति मिलती है। यदि एक कुशल [[ रूट-फाइंडिंग एल्गोरिदम | रूट-फाइंडिंग कलनविधि]]  उपलब्ध है, तो यह y-अक्ष के समानांतर सभी रेखाओं के साथ प्रतिच्छेदन बिंदु को आरेखित करके और x-अक्ष पर प्रत्येक  [[ पिक्सेल |पिक्सेल]]  से गुजरते हुए वक्र खींचने की अनुमति देता है।
किसी दी गई रेखा के साथ वक्र के प्रतिच्छेदन बिंदुओं को जानना अधिकांश उपयोगी होता है। अक्षों के निर्देशांक के साथ प्रतिच्छेदन और स्पर्शोन्मुख वक्र को खींचने के लिए उपयोगी होते हैं। अक्षों के समानांतर एक रेखा के साथ प्रतिच्छेद करने से वक्र की प्रत्येक द्विभाजन में कम से कम एक बिंदु खोजने की अनुमति मिलती है। यदि एक कुशल [[ रूट-फाइंडिंग एल्गोरिदम | रूट-फाइंडिंग कलनविधि]]  उपलब्ध है, तो यह y-अक्ष के समानांतर सभी रेखाओं के साथ प्रतिच्छेदन बिंदु को आरेखित करके और x-अक्ष पर प्रत्येक  [[ पिक्सेल |पिक्सेल]]  से गुजरते हुए वक्र खींचने की अनुमति प्रदान करता है।


यदि वक्र को परिभाषित करने वाले बहुपद की कोण d है, तो कोई भी रेखा वक्र को अधिकतम d बिंदुओं में काटती है। बेज़ाउट की प्रमेय का दावा है कि यह संख्या बिल्कुल d है, अगर अंक [[ बीजगणितीय रूप से बंद क्षेत्र |बीजगणितीय रूप से बंद क्षेत्र]]  उदाहरण के लिए  [[ जटिल संख्या |जटिल संख्या]]  पर समतल प्रक्षेप्य में खोजे जाते हैं, और उनकी  [[ बहुलता (गणित) |बहुलता]]  के साथ गिना जाता है। इस सरल मामले में गणना की विधि इस प्रमेय को फिर से यह साबित करती है।
यदि वक्र को परिभाषित करने वाले बहुपद की कोण d है, तो कोई भी रेखा वक्र को अधिकतम d बिंदुओं में काटती है। बेज़ाउट की प्रमेय का दावा है कि यह संख्या बिल्कुल d है, अगर अंक [[ बीजगणितीय रूप से बंद क्षेत्र |बीजगणितीय रूप से संवृत क्षेत्र]]  उदाहरण के लिए  [[ जटिल संख्या |जटिल संख्या]]  पर समतल प्रक्षेप्य में खोजे जाते हैं, और उनकी  [[ बहुलता (गणित) |बहुलता]]  के साथ गिना जाता है। इस सरल परिस्थिति में गणना की विधि इस प्रमेय को फिर से यह सिद्ध करती है।


समीकरण ax+by+c = 0 की रेखा के साथ बहुपद p द्वारा परिभाषित वक्र के प्रतिच्छेदन की गणना करने के लिए, कोई x के लिए रेखा के समीकरण को हल करता है या y के लिए यदि a = 0 परिणाम को p में प्रतिस्थापित करने पर एक अविभाज्य समीकरण q(y) = 0 (या q(x) = 0 प्राप्त होता है, यदि रेखा का समीकरण y में हल किया गया है, जिसका प्रत्येक मूल प्रतिच्छेदन बिंदु का एक निर्देशांक है अन्य निर्देशांक रेखा के समीकरण से काटे जाते हैं। प्रतिच्छेदन बिंदु की बहुलता संबंधित मूल की बहुलता है। यदि q की घात p की घात से कम है, तो अनंत पर एक प्रतिच्छेदन बिंदु होता है। अनंत पर ऐसे प्रतिच्छेदन बिंदु की बहुलता p और q की डिग्री का अंतर है।
समीकरण ax+by+c = 0 की रेखा के साथ बहुपद p द्वारा परिभाषित वक्र के प्रतिच्छेदन की गणना करने के लिए, कोई x के लिए रेखा के समीकरण को हल करता है या y के लिए यदि a = 0 परिणाम को p में प्रतिस्थापित करने पर एक अविभाज्य समीकरण q(y) = 0 (या q(x) = 0 प्राप्त होता है, यदि रेखा का समीकरण y में हल किया गया है, जिसका प्रत्येक मूल प्रतिच्छेदन बिंदु का एक निर्देशांक है अन्य निर्देशांक रेखा के समीकरण से काटे जाते हैं। प्रतिच्छेदन बिंदु की बहुलता संबंधित मूल की बहुलता है। यदि q की घात p की घात से कम है, तो अनंत पर एक प्रतिच्छेदन बिंदु होता है। अनंत पर ऐसे प्रतिच्छेदन बिंदु की बहुलता p और q की डिग्री का अंतर है।


=== एक बिंदु पर स्पर्शरेखा ===
=== एक बिंदु पर स्पर्श रेखा ===
'''वक्र के एक बिंदु (,''' बी) पर स्पर्शरेखा समीकरण की रेखा है <math>(x-a)p'_x(a,b)+(y-b)p'_y(a,b)=0</math>, जैसे एक निहित समीकरण द्वारा परिभाषित प्रत्येक [[ अवकलनीय वक्र ]] के लिए। बहुपदों के मामले में, स्पर्शरेखा के लिए एक अन्य सूत्र का एक सरल स्थिर पद होता है और यह अधिक सममित होता है:
वक्र के एक बिंदु (a, b) पर स्पर्शरेखा समीकरण की रेखा है <math>(x-a)p'_x(a,b)+(y-b)p'_y(a,b)=0</math>, जैसे एक निहित समीकरण द्वारा परिभाषित प्रत्येक [[ अवकलनीय वक्र |अवकलनीय वक्र]] के लिए। बहुपदों के परिस्थित में, स्पर्शरेखा के लिए एक अन्य सूत्र का सरल स्थिर पद होता है और यह अधिक सममित होता है। <math display="block">xp'_x(a,b)+yp'_y(a,b)+p'_\infty(a,b)=0,</math>
 


<math display="block">xp'_x(a,b)+yp'_y(a,b)+p'_\infty(a,b)=0,</math>
 
कहाँ पे <math>p'_\infty(x,y)=P'_z(x,y,1)</math> अनंत पर व्युत्पन्न है। दो समीकरणों की तुल्यता, P पर लागू यूलर के समांगी फलन प्रमेय से प्राप्त होती है।
जहाँ पर  <math>p'_\infty(x,y)=P'_z(x,y,1)</math> अनंत पर व्युत्पन्न है। जो दो समीकरणों की तुल्यता, P पर लागू यूलर के समांगी फलन प्रमेय से प्राप्त होती है।


यदि <math>p'_x(a,b)=p'_y(a,b)=0,</math> स्पर्शरेखा परिभाषित नहीं है और बिंदु एक विलक्षण बिंदु है।
यदि <math>p'_x(a,b)=p'_y(a,b)=0,</math> स्पर्शरेखा परिभाषित नहीं है और बिंदु एक विलक्षण बिंदु है।


यह प्रोजेक्टिव केस तक तुरंत विस्तारित होता है: प्रोजेक्टिव कोऑर्डिनेट (''a'':''b'':''c'') के प्रोजेक्टिव कर्व के समीकरण ''P'' के टेंगेंट का समीकरण। (''x'', ''y'', ''z'') = 0 is
यह प्रक्षेपीय स्थिति तक तुरंत विस्तारित होता है। प्रक्षेपी निर्देशांक (''a'':''b'':''c'') के प्रक्षेपीय वक्र के समीकरण ''P'' के स्पर्शरेखा का समीकरण। (''x'', ''y'', ''z'') = 0 है।


<math display="block">xP'_x(a,b,c)+yP'_y(a,b,c)+zP'_z(a,b,c)=0,</math>
<math display="block">xP'_x(a,b,c)+yP'_y(a,b,c)+zP'_z(a,b,c)=0,</math>
और वक्रों के बिंदु जो एकवचन हैं वे ऐसे बिंदु हैं कि
और वक्रों के बिंदु जो विलक्षण हैं वे ऐसे बिंदु हैं कि


<math display="block">P'_x(a,b,c)=P'_y(a,b,c)=P'_z(a,b,c)=0.</math>
<math display="block">P'_x(a,b,c)=P'_y(a,b,c)=P'_z(a,b,c)=0.</math>
(शर्त P(a, b, c) = 0 इन शर्तों से, यूलर के समांगी फलन प्रमेय द्वारा निहित है।)
शर्त P(a, b, c) = 0 इन शर्तों से, यूलर के समांगी फलन प्रमेय द्वारा निहित है


=== स्पर्शोन्मुख ===
=== स्पर्शोन्मुख ===
बीजगणितीय वक्र की प्रत्येक अनंत शाखा वक्र पर अनंत पर एक बिंदु से मेल खाती है, जो वक्र के प्रक्षेपी समापन का एक बिंदु है जो इसके परिबद्ध भाग से संबंधित नहीं है। संगत स्पर्शोन्मुख उस बिंदु पर वक्र की स्पर्शरेखा है। एक प्रक्षेप्य वक्र के स्पर्शरेखा के लिए सामान्य सूत्र लागू हो सकता है, लेकिन इस मामले में इसे स्पष्ट करना उचित है।
बीजगणितीय वक्र की प्रत्येक अनंत द्विभाजन वक्र अनंतता पर एक बिंदु से मेल खाती है, जो कि वक्र के प्रक्षेप्य समापन का एक बिंदु है जो इसके सजातीय भाग से संबंधित नहीं है। संबंधित स्पर्शोन्मुख उस बिंदु पर वक्र की स्पर्शरेखा है। प्रक्षेपी वक्र पर स्पर्शरेखा के लिए सामान्य सूत्र लागू हो सकता है, लेकिन इस मामले में इसे स्पष्ट करना उचित है।


होने देना <math>p=p_d+\cdots+p_0</math> वक्र को उसके सजातीय भागों में परिभाषित करने वाले बहुपद का अपघटन हो, जहाँ p<sub>i</sub>डिग्री i के p के एकपदी का योग है। यह इस प्रकार है कि
माना कि  <math>p=p_d+\cdots+p_0</math> वक्र को उसके सजातीय भागों में परिभाषित करने वाले बहुपद का अपघटन हो, जहां pi, p के एकपदी का योग है तथा डिग्री i इस प्रकार है कि
<math display="block">P={^hp}=p_d+zp_{d-1}+\cdots+z^dp_0</math>
<math display="block">P={^hp}=p_d+zp_{d-1}+\cdots+z^dp_0</math>
तथा
तथा
<math display="block">P'_z(a,b,0) =p_{d-1}(a,b).</math>
<math display="block">P'_z(a,b,0) =p_{d-1}(a,b).</math>
वक्र की अनंतता पर एक बिंदु p (a, b, 0) के रूप का शून्य होता है। समान रूप से, (a, b) p . का एक शून्य है<sub>d</sub>. बीजगणित के मौलिक प्रमेय का तात्पर्य है कि, बीजगणितीय रूप से बंद क्षेत्र (आमतौर पर, जटिल संख्याओं का क्षेत्र) पर, p<sub>''d''</sub> रैखिक कारकों के उत्पाद में कारक। प्रत्येक कारक वक्र पर अनंत पर एक बिंदु को परिभाषित करता है: यदि bx - ay ऐसा कारक है, तो यह अनंत (a, b, 0) पर बिंदु को परिभाषित करता है। रियल के ऊपर, पी<sub>''d''</sub> रैखिक और द्विघात कारकों में कारक। [[ अपरिवर्तनीय बहुपद ]] द्विघात कारक अनंत पर गैर-वास्तविक बिंदुओं को परिभाषित करते हैं, और वास्तविक बिंदु रैखिक कारकों द्वारा दिए जाते हैं।
वक्र की अनंतता पर एक बिंदु (a, b, 0) के रूप में पी का शून्य है। समान रूप से, (a, b) पीडी का शून्य है। बीजगणित के मौलिक प्रमेय का अर्थ है, कि बीजगणितीय रूप से संवृत क्षेत्र (सामान्य रूप से जटिल संख्याओं का क्षेत्र) पर, p<sub>d</sub> कारकों को रैखिक कारकों के उत्पाद में बदल देता है। प्रत्येक कारक वक्र पर अनंत पर एक बिंदु को परिभाषित करता है। यदि bx - ay ऐसा कारक है, तो यह बिंदु को अनंत (a, b, 0) पर परिभाषित करता है। वास्तविक से अधिक, p<sub>d</sub> कारकों को रैखिक और द्विघात कारकों में विभाजित करता है। [[ अपरिवर्तनीय बहुपद |अपरिवर्तनीय बहुपद]] द्विघात कारक अनंत पर अस्थायी-वास्तविक बिंदुओं को परिभाषित करते हैं, और वास्तविक बिंदु रैखिक कारकों द्वारा दिए जाते हैं।  
यदि (, बी, 0) वक्र के अनंत पर एक बिंदु है, तो कोई कहता है कि (, बी) एक 'एसिम्प्टोटिक दिशा' है। क्यू = पी . सेट करना<sub>''d''</sub> संबंधित स्पर्शोन्मुख का समीकरण है
 
यदि (a, b, 0) वक्र की अनंतता पर एक बिंदु है, तो कोई कहता है कि (a, b) एक स्पर्शोन्मुख दिशा है। समुच्चय q = pd संगत अनंतस्पर्शी का समीकरण है
<math display="block">xq'_x(a,b)+yq'_y(a,b)+p_{d-1}(a,b)=0.</math>
<math display="block">xq'_x(a,b)+yq'_y(a,b)+p_{d-1}(a,b)=0.</math>
यदि <math>q'_x(a,b)=q'_y(a,b)=0</math> तथा <math>p_{d-1}(a,b)\neq 0,</math> स्पर्शोन्मुख रेखा अनंत पर है, और, वास्तविक स्थिति में, वक्र की एक शाखा होती है जो एक [[ परवलय ]] की तरह दिखती है। इस मामले में कोई कहता है कि वक्र की एक परवलयिक शाखा है। यदि
 
यदि <math>q'_x(a,b)=q'_y(a,b)=0</math> तथा <math>p_{d-1}(a,b)\neq 0,</math> स्पर्शोन्मुख रेखा अनंत पर है, और वास्तविक स्थिति में वक्र का द्विभाजन होता है, जो एक [[ परवलय |परवलय]] की तरह दिखती है। इस स्थिति में कोई कहता है कि वक्र की एक परवलयिक द्विभाजन है। यदि
<math display="block">q'_x(a,b)=q'_y(a,b)=p_{d-1}(a,b)=0,</math>
<math display="block">q'_x(a,b)=q'_y(a,b)=p_{d-1}(a,b)=0,</math>
वक्र में अनंत पर एक विलक्षण बिंदु होता है और इसमें कई स्पर्शोन्मुख हो सकते हैं। उनकी गणना एक विलक्षण बिंदु के स्पर्शरेखा शंकु की गणना की विधि द्वारा की जा सकती है।
वक्र में अनंत पर एक विलक्षण बिंदु होता है और इसमें कई स्पर्शोन्मुख हो सकते हैं। उनकी गणना एक विलक्षण बिंदु के स्पर्शरेखा शंकु की गणना की विधि द्वारा की जा सकती है।


=== एकवचन अंक ===
=== विलक्षण बिन्दु ===
डिग्री d के एक बहुपद p(x,y) द्वारा परिभाषित डिग्री d के [[ वक्र का एकवचन बिंदु ]] समीकरणों की प्रणाली के समाधान हैं:
डिग्री d के एक बहुपद p(x,y) द्वारा परिभाषित डिग्री d के [[ वक्र का एकवचन बिंदु |वक्र का विलक्षण बिंदु]] समीकरणों की प्रणाली के समाधान हैं।
<math display="block">p'_x(x,y)=p'_y(x,y)=p(x,y)=0.</math>
<math display="block">p'_x(x,y)=p'_y(x,y)=p(x,y)=0.</math>
[[ विशेषता (बीजगणित) ]] में, यह प्रणाली बराबर है
[[ विशेषता (बीजगणित) | विशेषता (बीजगणित)]] शून्य में, यह प्रणाली बराबर है
<math display="block">p'_x(x,y)=p'_y(x,y)=p'_\infty(x,y)=0,</math>
<math display="block">p'_x(x,y)=p'_y(x,y)=p'_\infty(x,y)=0,</math>
जहां, पूर्ववर्ती खंड के संकेतन के साथ, <math>p'_\infty(x,y)=P'_z(x,y,1).</math>
जहां, पूर्ववर्ती खंड के संकेतन के साथ, <math>p'_\infty(x,y)=P'_z(x,y,1).</math>
यूलर के सजातीय कार्य प्रमेय के कारण सिस्टम समतुल्य हैं। बाद वाली प्रणाली को d के बजाय d-1 घात का तीसरा बहुपद होने का लाभ मिलता है।


इसी तरह, डिग्री डी के एक सजातीय बहुपद पी (एक्स, वाई, जेड) द्वारा परिभाषित एक प्रक्षेप्य वक्र के लिए, एकवचन बिंदुओं में सिस्टम के समाधान होते हैं
यूलर के सजातीय कार्य प्रमेय के कारण प्रणाली समतुल्य हैं। बाद वाली प्रणाली को d के बजाय d-1 घात का तीसरा बहुपद होने का लाभ मिलता है।
 
इसी तरह, डिग्री d के सजातीय बहुपद ''P''(''x'',''y'',''z'') द्वारा परिभाषित एक प्रक्षेप्य वक्र के लिए, विलक्षण बिंदुओं में प्रणाली के समान होते हैं
<math display="block">P'_x(x,y,z)=P'_y(x,y,z)=P'_z(x,y,z)=0</math>
<math display="block">P'_x(x,y,z)=P'_y(x,y,z)=P'_z(x,y,z)=0</math>
[[ सजातीय निर्देशांक ]] के रूप में। (सकारात्मक विशेषता में, समीकरण <math>P(x,y,z)</math> सिस्टम में जोड़ा जाना चाहिए।)
[[ सजातीय निर्देशांक | सजातीय निर्देशांक]] के रूप में। (सकारात्मक विशेषता में समीकरण <math>P(x,y,z)</math> प्रणाली में जोड़ा जाना चाहिए।)


इसका तात्पर्य यह है कि एकवचन बिंदुओं की संख्या तब तक सीमित है जब तक p(x,y) या P(x,y,z) [[ वर्ग-मुक्त बहुपद ]] है। बेज़ौट के प्रमेय का तात्पर्य इस प्रकार है कि एकवचन बिंदुओं की संख्या अधिकतम (d−1) है<sup>2</sup>, लेकिन यह सीमा तीक्ष्ण नहीं है क्योंकि समीकरणों की प्रणाली [[ अतिनिर्धारित प्रणाली ]] है। यदि अपरिवर्तनीय बहुपद की अनुमति है, तो तेज सीमा d(d−1)/2 है, यह मान तब प्राप्त होता है जब रैखिक कारकों में बहुपद कारक होते हैं, अर्थात यदि वक्र d रेखाओं का संघ है। इरेड्यूसिबल कर्व्स और बहुपदों के लिए, एकवचन बिंदुओं की संख्या सबसे अधिक (d−1)(d−2)/2 है, क्योंकि सूत्र एकवचन की अवधि में जीनस को व्यक्त करता है (नीचे देखें)। अधिकतम जीनस शून्य के वक्रों द्वारा पहुँचा जाता है जिनकी सभी विलक्षणताओं में बहुलता दो और विशिष्ट स्पर्शरेखाएँ होती हैं (नीचे देखें)।
इसका तात्पर्य यह है, कि जब तक p(x,y) या P(x,y,z) [[ वर्ग-मुक्त बहुपद |वर्ग-मुक्त बहुपद]] है, तब तक विलक्षण बिंदुओं की संख्या परिमित है। बेज़ाउट के प्रमेय का तात्पर्य इस प्रकार है कि विलक्षण बिंदुओं की संख्या अधिक से अधिक (d−1)2 है, लेकिन यह सीमा स्पष्ट नहीं है क्योंकि समीकरणों की प्रणाली [[ अतिनिर्धारित प्रणाली |अतिनिर्धारित प्रणाली]] है। यदि कम करने योग्य बहुपदों की अनुमति है, तो तीक्ष्ण सीमा d(d−1)/2 है, यह मान तब पहुँचता है जब रैखिक गुणनखंडों में बहुपद कारक होते हैं, अर्थात यदि वक्र d रेखाओं का मिलन है। अलघुकरणीय वक्रों और बहुपदों के लिए विलक्षण बिंदुओं की संख्या अधिक से अधिक (d−1)(d−2)/2 है, क्योंकि सूत्र जीनस को विलक्षणता के रूप में व्यक्त करता है। अधिकतम जीनस शून्य के घटता तक पहुँच जाता है जिसकी सभी विलक्षणताओं में बहुलता दो और विशिष्ट स्पर्शरेखाएँ होती हैं (नीचे देखें)।


एकवचन बिंदु पर स्पर्शरेखा का समीकरण एकवचन बिंदु पर बहुपद की [[ टेलर श्रृंखला ]] में निम्नतम डिग्री के गैर-शून्य सजातीय भाग द्वारा दिया जाता है। जब कोई एकवचन बिंदु को मूल में रखने के लिए निर्देशांक बदलता है, तो एकवचन बिंदु पर स्पर्शरेखा का समीकरण इस प्रकार बहुपद की निम्नतम डिग्री का गैर-शून्य सजातीय भाग होता है, और एकवचन बिंदु की बहुलता इस सजातीय की डिग्री होती है अंश।
विलक्षण बिंदु पर स्पर्शरेखा का समीकरण विलक्षण बिंदु पर बहुपद की [[ टेलर श्रृंखला |टेलर श्रृंखला]] में निम्नतम डिग्री के अस्थायी-शून्य सजातीय भाग द्वारा दिया जाता है। जब कोई विलक्षण बिंदु को मूल में रखने के लिए निर्देशांक बदलता है, तो विलक्षण बिंदु पर स्पर्शरेखा का समीकरण इस प्रकार बहुपद की निम्नतम डिग्री का अस्थायी-शून्य सजातीय भाग होता है, और विलक्षण बिंदु की बहुलता इस सजातीय भाग की डिग्री है।


== विश्लेषणात्मक संरचना ==
== विश्लेषणात्मक संरचना ==


एक विलक्षण बिंदु के [[ पड़ोस (टोपोलॉजी) ]] में बीजीय वक्र के [[ विश्लेषणात्मक कार्य ]] का अध्ययन विलक्षणताओं की टोपोलॉजी की सटीक जानकारी प्रदान करता है। वास्तव में, एक विलक्षण बिंदु के पास, एक वास्तविक बीजगणितीय वक्र शाखाओं की एक सीमित संख्या का संघ होता है जो केवल एकवचन बिंदु पर प्रतिच्छेद करता है और या तो एक [[ पुच्छ (विलक्षण) ]] या एक [[ चिकनी वक्र ]] के रूप में दिखता है।
विलक्षण बिंदु के [[ पड़ोस (टोपोलॉजी) |प्रतिवेश]] में एक बीजगणितीय वक्र की  [[ विश्लेषणात्मक कार्य |विश्लेषणात्मक]] संरचना का अध्ययन विलक्षण की टोपोलॉजी की सटीक जानकारी प्रदान करता है। वास्तव में विलक्षण बिंदु के पास एक वास्तविक बीजगणितीय वक्र द्विभाजनों की एक सीमित संख्या का संघ है जो केवल विलक्षण बिंदु पर प्रतिच्छेद करता है और या तो एक [[ पुच्छ (विलक्षण) |पुच्छ (विलक्षण)]] या एक [[ चिकनी वक्र |समतल वक्र]] के रूप में दिखाई देता है।


एक नियमित बिंदु के पास, वक्र के निर्देशांक में से एक को दूसरे निर्देशांक के विश्लेषणात्मक कार्य के रूप में व्यक्त किया जा सकता है। यह विश्लेषणात्मक निहित फ़ंक्शन प्रमेय का एक परिणाम है, और इसका तात्पर्य है कि वक्र बिंदु के निकट समतल वक्र है। एक विलक्षण बिंदु के पास, स्थिति अधिक जटिल है और इसमें [[ पुइसेक्स श्रृंखला ]] शामिल है, जो शाखाओं के विश्लेषणात्मक [[ पैरामीट्रिक समीकरण ]] प्रदान करती है।
एक नियमित बिंदु के पास, वक्र के निर्देशांकों में से एक को दूसरे निर्देशांक के विश्लेषणात्मक कार्य के रूप में व्यक्त किया जा सकता है। यह विश्लेषणात्मक अन्तर्निहित कार्य प्रमेय का परिणाम है, और इसका तात्पर्य है कि वक्र बिंदु के निकट समतल वक्र है। एक विलक्षण बिंदु के पास स्थिति अधिक जटिल है और इसमें [[ पुइसेक्स श्रृंखला |प्यूसेक्स श्रृंखला]] सम्मिलित है, जो द्विभाजनों के विश्लेषणात्मक [[ पैरामीट्रिक समीकरण |पैरामीट्रिक समीकरण]] प्रदान करती है।


एक विलक्षणता का वर्णन करने के लिए, मूल में विलक्षणता होने के लिए वक्र (ज्यामिति) का अनुवाद करना उचित है। इसमें प्रपत्र के चर का परिवर्तन शामिल है <math>X=x-a, Y=y-b,</math> कहाँ पे <math>a, b</math> एकवचन बिंदु के निर्देशांक हैं। निम्नलिखित में, विचाराधीन एकवचन बिंदु को हमेशा मूल बिंदु पर माना जाता है।
विलक्षणता को वर्णित करने के लिए, मूल में विलक्षणता रखने के लिए वक्र का अनुवाद करना उचित होता है। इसमें प्रपत्र के चर का परिवर्तन सम्मिलित है <math>X=x-a, Y=y-b,</math> जहां पर <math>a, b</math> विलक्षण बिंदु के निर्देशांक हैं। निम्नलिखित में, विचाराधीन विलक्षण बिंदु को हमेशा मूल बिंदु पर माना जाता है।


एक बीजीय वक्र का समीकरण है <math>f(x,y)=0, </math> कहाँ पे {{math|''f''}} में एक बहुपद है {{math|''x''}} तथा {{math|''y''}}. इस बहुपद को एक बहुपद के रूप में माना जा सकता है {{math|''y''}}, Puiseux श्रृंखला के बीजगणितीय रूप से बंद क्षेत्र में गुणांक के साथ {{math|''x''}}. इस प्रकार {{math|''f''}} फॉर्म के कारकों में फैक्टर किया जा सकता है <math>y-P(x),</math> कहाँ पे {{math|''P''}} एक Puiseux श्रृंखला है। ये सभी कारक अलग हैं यदि {{math|''f''}} एक अपरिवर्तनीय बहुपद है, क्योंकि इसका तात्पर्य है कि {{math|''f''}} वर्ग-मुक्त बहुपद|वर्ग-मुक्त है, एक गुण जो गुणांक के क्षेत्र से स्वतंत्र है।
एक बीजीय वक्र का समीकरण है <math>f(x,y)=0, </math> जहाँ पर  {{math|''f''}} एक बहुपद है {{math|''x''}} तथा {{math|''y''}}. मे इस बहुपद को एक बहुपद के रूप में माना जा सकता है {{math|''y''}}, प्यूसेक्स श्रृंखला के बीजगणितीय रूप से बाहरी क्षेत्र में गुणांक के साथ {{math|''x''}}. इस प्रकार {{math|''f''}} फॉर्म के कारकों में गुणनखण्ड किया जा सकता है <math>y-P(x),</math> जहाँ पर {{math|''P''}} एक प्यूसेक्स श्रृंखला है। ये सभी कारक अलग हैं यदि {{math|''f''}} एक अपरिवर्तनीय बहुपद है, क्योंकि इसका तात्पर्य है कि {{math|''f''}}   बहुपद वर्ग-मुक्त है, जो गुणांक के क्षेत्र से स्वतंत्र है।


यहां होने वाली पुइसेक्स श्रृंखला का रूप है
यहां होने वाली प्यूसेक्स श्रृंखला का रूप है
<math display="block">P(x)=\sum_{n=n_0}^\infty a_nx^{n/d},</math>
<math display="block">P(x)=\sum_{n=n_0}^\infty a_nx^{n/d},</math>
कहाँ पे {{mvar|d}} एक धनात्मक पूर्णांक है, और {{tmath|n_0}} एक पूर्णांक है जिसे धनात्मक भी माना जा सकता है, क्योंकि हम वक्र की केवल उन शाखाओं पर विचार करते हैं जो मूल बिंदु से होकर गुजरती हैं। व्यापकता के नुकसान के बिना, हम मान सकते हैं कि {{mvar|d}} के सबसे बड़े सामान्य भाजक के साथ [[ सहअभाज्य पूर्णांक ]] है {{mvar|n}} ऐसा है कि {{tmath|a_n \ne 0}} (अन्यथा, कोई घातांक के लिए एक छोटा सा सामान्य भाजक चुन सकता है)।
जहाँ पर  {{mvar|d}} एक धनात्मक पूर्णांक है, और {{tmath|n_0}} एक पूर्णांक है, जिसे धनात्मक भी माना जा सकता है, क्योंकि हम वक्र की केवल उन द्विभाजनों पर विचार करते हैं जो मूल बिंदु से होकर गुजरती हैं। व्यापकता के बिना किसी क्षय के हम मान सकते हैं कि {{mvar|d}} के सबसे बड़े सामान्य भाजक के साथ [[ सहअभाज्य पूर्णांक |सहअभाज्य पूर्णांक]] है {{mvar|n}} ऐसा है, कि {{tmath|a_n \ne 0}} (अन्यथा, कोई घातांक के लिए एक छोटा सामान्य भाजक चुन सकता है)।


होने देना {{tmath|\omega_d}} एकता का आदिम मूल हो|आदिम {{mvar|d}}एकता की जड़। यदि उपरोक्त Puiseux श्रृंखला के गुणनखंड में होती है {{tmath|1=f(x,y)=0}}, फिर {{mvar|d}} श्रृंखला
माना कि  {{tmath|\omega_d}} एकता का प्राथमिक मूल ''dth'' एकता की रूट हो। यदि उपरोक्त प्यूसेक्स श्रृंखला के गुणनखंड में होती है {{tmath|1=f(x,y)=0}}, फिर {{mvar|d}} श्रृंखला
<math display="block">P_i(x)=\sum_{n=n_0}^\infty a_n\omega_d^i x^{n/d}</math>
<math display="block">P_i(x)=\sum_{n=n_0}^\infty a_n\omega_d^i x^{n/d}</math>
गुणनखंड ([[ गैलोइस सिद्धांत ]] का एक परिणाम) में भी होते हैं। इन {{mvar|d}} श्रृंखला को बीजगणितीय संयुग्म कहा जाता है, और वक्र की एक शाखा के रूप में माना जाता है, प्रभाव सूचकांक की {{mvar|d}}.
गुणनखंड [[ गैलोइस सिद्धांत |गैलोइस सिद्धांत]] का एक परिणाम में भी होते हैं। इन {{mvar|d}} श्रृंखला को बीजगणितीय संयुग्म भी कहा जाता है, और वक्र की एक द्विभाजन के रूप में माना जाता है, प्रभाव सूचकांक की {{mvar|d}}.


एक वास्तविक वक्र के मामले में, जो वास्तविक गुणांक वाले बहुपद द्वारा परिभाषित एक वक्र है, तीन मामले हो सकते हैं। अगर कोई नहीं {{tmath|P_i(x)}} वास्तविक गुणांक हैं, तो किसी के पास एक गैर-वास्तविक शाखा है। यदि कुछ {{tmath|P_i(x)}} वास्तविक गुणांक हैं, तो कोई इसे इस रूप में चुन सकता है {{tmath|P_0(x)}}. यदि {{mvar|d}} विषम है, तो का प्रत्येक वास्तविक मान {{mvar|x}} का वास्तविक मूल्य प्रदान करता है {{tmath|P_0(x)}}, और किसी के पास एक वास्तविक शाखा है जो नियमित दिखती है, हालांकि यह एकवचन है if {{math|''d'' > 1}}. यदि {{mvar|d}} सम है, तो {{tmath|P_0(x)}} तथा {{tmath|P_{d/2}(x)}} वास्तविक मूल्य हैं, लेकिन केवल . के लिए {{math|''x'' ≥ 0}}. इस मामले में, वास्तविक शाखा एक पुच्छ (विलक्षणता) के रूप में दिखती है (या एक पुच्छल है, जो उपयोग किए जाने वाले पुच्छ की परिभाषा पर निर्भर करता है)।
एक वास्तविक वक्र की स्थिति में जो वास्तविक गुणांक वाले बहुपद द्वारा परिभाषित एक वक्र है, तीन स्थिति हो सकते हैं। अगर कोई नहीं {{tmath|P_i(x)}} वास्तविक गुणांक हैं, तो किसी के पास एक अस्थायी-वास्तविक द्विभाजन है। यदि कुछ {{tmath|P_i(x)}} वास्तविक गुणांक हैं, तो कोई इसे इस रूप में चुन सकता है {{tmath|P_0(x)}}. यदि {{mvar|d}} विषम है, तो का प्रत्येक वास्तविक मान {{mvar|x}} का वास्तविक मान प्रदान करता है {{tmath|P_0(x)}}, और किसी के पास एक वास्तविक द्विभाजन है जो नियमित दिखती है, हालांकि यह विलक्षण है if {{math|''d'' > 1}}. यदि {{mvar|d}} सम है, तो {{tmath|P_0(x)}} तथा {{tmath|P_{d/2}(x)}} वास्तविक मान हैं, लेकिन केवल . के लिए {{math|''x'' ≥ 0}}. इस स्थिति में, वास्तविक द्विभाजन एक पुच्छ विलक्षणता के रूप में दिखती है या एक पुच्छल है, जो उपयोग किए जाने वाले पुच्छ की परिभाषा पर निर्भर करता है।


उदाहरण के लिए, साधारण पुच्छ की केवल एक शाखा होती है। यदि इसे समीकरण द्वारा परिभाषित किया जाता है <math>y^2-x^3=0,</math> तो गुणनखंड है <math>(y-x^{3/2})(y+x^{3/2});</math> प्रभाव सूचकांक 2 है, और दो कारक वास्तविक हैं और प्रत्येक आधा शाखा को परिभाषित करते हैं। यदि पुच्छल घुमाया जाता है, तो यह समीकरण बन जाता है <math>y^3-x^2=0,</math> और गुणनखंड है <math>(y-x^{2/3})(y-j^2x^{2/3})(y-(j^2)^2x^{2/3}),</math> साथ <math>j=(1+\sqrt{-3})/2</math> (गुणांक {{tmath|(j^2)^2}} करने के लिए सरल नहीं किया गया है {{mvar|j}} यह दिखाने के लिए कि . की उपरोक्त परिभाषा कैसे है {{tmath|P_i(x)}} विशिष्ट है)। यहां प्रभाव सूचकांक 3 है, और केवल एक कारक वास्तविक है; इससे पता चलता है कि, पहले मामले में, दो कारकों को एक ही शाखा को परिभाषित करने के रूप में माना जाना चाहिए।
उदाहरण के लिए, साधारण पुच्छ विलक्षणता की केवल एक द्विभाजन होती है। यदि इसे समीकरण द्वारा परिभाषित किया जाता है <math>y^2-x^3=0,</math> तो गुणनखंड है <math>(y-x^{3/2})(y+x^{3/2});</math> प्रभाव सूचकांक 2 है, और दो कारक वास्तविक हैं और प्रत्येक आधा द्विभाजन को परिभाषित करते हैं। यदि पुच्छल घुमाया जाता है, तो यह समीकरण बन जाता है <math>y^3-x^2=0,</math> और गुणनखंड है <math>(y-x^{2/3})(y-j^2x^{2/3})(y-(j^2)^2x^{2/3}),</math> साथ <math>j=(1+\sqrt{-3})/2</math> (गुणांक {{tmath|(j^2)^2}} करने के लिए सरल नहीं किया गया है {{mvar|j}} यह दिखाने के लिए कि उपरोक्त परिभाषा कैसे है {{tmath|P_i(x)}} विशिष्ट है। यहां प्रभाव सूचकांक 3 है, और केवल एक कारक वास्तविक है इससे पता चलता है कि, पहले स्थिति में दो कारकों मे एक ही द्विभाजन को परिभाषित करने के रूप में माना जाना चाहिए।


== गैर समतल बीजीय वक्र ==
== अस्थायी समतल बीजीय वक्र ==
एक बीजीय वक्र एक बीजीय किस्म के आयाम की एक बीजीय किस्म है। इसका तात्पर्य यह है कि आयाम ''एन'' के सजातीय स्पेस में एक सजातीय वक्र को कम से कम ''एन''''एन'' वेरिएबल्स में 'एन''-1 बहुपद द्वारा परिभाषित किया जाता है। एक वक्र को परिभाषित करने के लिए, इन बहुपदों को क्रुल आयाम 1 का एक [[ प्रमुख आदर्श ]] उत्पन्न करना चाहिए। व्यवहार में इस स्थिति का परीक्षण करना आसान नहीं है। इसलिए, गैर-समतल वक्रों का प्रतिनिधित्व करने के लिए निम्नलिखित तरीके को प्राथमिकता दी जा सकती है।
एक बीजगणितीय वक्र आयाम एक की एक बीजगणितीय विविधता है। इसका तात्पर्य है, कि आयाम n के एक संबधित स्थान में एक संबधित वक्र, n चरों में कम से कम n−1 बहुपदों द्वारा परिभाषित किया गया है। एक वक्र को परिभाषित करने के लिए इन बहुपदों को क्रुल आयाम 1 का एक [[ प्रमुख आदर्श |प्रमुख आदर्श]] उत्पन्न करना चाहिए। व्यवहार में इस स्थिति का परीक्षण करना आसान नहीं है। इसलिए, अस्थायी-समतल वक्रों का प्रतिनिधित्व करने के लिए निम्नलिखित तरीके को प्राथमिकता दी जा सकती है।


होने देना <math>f, g_0, g_3, \ldots, g_n</math> दो चर x . में n बहुपद हो<sub>1</sub> और x<sub>2</sub> ऐसा है कि f अपरिवर्तनीय है। आयाम n के सजातीय स्पेस में ऐसे बिंदु जिनके निर्देशांक समीकरणों और असमानताओं को संतुष्ट करते हैं
माना कि  <math>f, g_0, g_3, \ldots, g_n</math> दो चर x . में n बहुपद ''x''<sub>1</sub> और x<sub>2</sub> ऐसा है कि f अपरिवर्तनीय है। आयाम n के सजातीय स्थान में ऐसे बिंदु जिनके निर्देशांक समीकरणों और असमानताओं को संतुष्ट करते हैं


<math display="block">\begin{align}
<math display="block">\begin{align}
Line 128: Line 129:
x_n&=\frac{g_n(x_1,x_2)}{g_0(x_1,x_2)}
x_n&=\frac{g_n(x_1,x_2)}{g_0(x_1,x_2)}
\end{align}</math>
\end{align}</math>
एक बीजीय वक्र के सभी बिंदु हैं जिसमें एक सीमित संख्या में अंक हटा दिए गए हैं। यह वक्र बहुपद एच के आदर्श के जनरेटर की एक प्रणाली द्वारा परिभाषित किया गया है जैसे कि यह एक पूर्णांक k मौजूद है <math>g_0^kh</math> द्वारा उत्पन्न आदर्श के अंतर्गत आता है <math>f, x_3g_0-g_3, \ldots, x_ng_0-g_n</math>.
एक बीजीय वक्र के सभी बिंदु हैं जिसमें एक सीमित संख्या में अंक हटा दिए गए हैं। यह वक्र बहुपद h के आदर्श के परिवर्तक की एक प्रणाली द्वारा परिभाषित किया गया है जैसे कि यह एक पूर्णांक k उपस्थित है <math>g_0^kh</math> द्वारा उत्पन्न आदर्श के अंतर्गत आता है <math>f, x_3g_0-g_3, \ldots, x_ng_0-g_n</math>.
यह निरूपण f द्वारा परिभाषित वक्र और समतल वक्र के बीच एक द्विवार्षिक तुल्यता है। प्रत्येक बीजीय वक्र को इस प्रकार निरूपित किया जा सकता है। हालांकि, दो पहले चर पर लगभग हमेशा इंजेक्शन प्रक्षेपण (गणित) बनाने के लिए चर के एक रैखिक परिवर्तन की आवश्यकता हो सकती है। जब चर के परिवर्तन की आवश्यकता होती है, तो लगभग हर परिवर्तन सुविधाजनक होता है, जैसे ही इसे एक अनंत क्षेत्र में परिभाषित किया जाता है।
 
यह निरूपण f द्वारा परिभाषित वक्र और समतल वक्र के बीच एक द्विवार्षिक तुल्यता है। प्रत्येक बीजीय वक्र को इस प्रकार निरूपित किया जा सकता है। हालांकि, दो पहले चर पर लगभग हमेशा अंतः क्षेपक के लिए चर के एक रैखिक परिवर्तन की आवश्यकता हो सकती है। जब चर के परिवर्तन की आवश्यकता होती है, तो लगभग हर परिवर्तन सुविधाजनक होता है, जैसे ही इसे एक अनंत क्षेत्र में परिभाषित किया जाता है।


यह निरूपण हमें एक गैर-समतल बीजगणितीय वक्र की किसी भी संपत्ति को आसानी से निकालने की अनुमति देता है, जिसमें इसके चित्रमय प्रतिनिधित्व भी शामिल है, इसके समतल प्रक्षेपण की संबंधित संपत्ति से।
यह निरूपण हमें एक अस्थायी-समतल बीजगणितीय वक्र की किसी भी संपत्ति को आसानी से निकालने की अनुमति देता है, जिसमें इसके चित्रमय प्रतिनिधित्व भी सम्मिलित है, इसके समतल प्रक्षेपण से संबंधित है।


इसके निहित समीकरणों द्वारा परिभाषित एक वक्र के लिए, वक्र के उपरोक्त प्रतिनिधित्व को एक मोनोमियल ऑर्डर # ब्लॉक ऑर्डर के लिए ग्रोबनर आधार से आसानी से निकाला जा सकता है जैसे कि छोटे चर का ब्लॉक है (x<sub>1</sub>, एक्स<sub>2</sub>) बहुपद f आधार में अद्वितीय बहुपद है जो केवल x . पर निर्भर करता है<sub>1</sub> और x<sub>2</sub>. अंश जी<sub>i</sub>/जी<sub>0</sub> i = 3, ..., n, के आधार पर एक बहुपद को चुनकर प्राप्त किया जाता है जो x में रैखिक है।<sub>i</sub>और केवल x . पर निर्भर करता है<sub>1</sub>, एक्स<sub>2</sub> और x<sub>i</sub>. यदि ये विकल्प संभव नहीं हैं, तो इसका मतलब है कि या तो समीकरण एक बीजीय सेट को परिभाषित करते हैं जो कि एक किस्म नहीं है, या यह कि विविधता आयाम एक की नहीं है, या कि किसी को निर्देशांक बदलना होगा। बाद वाला मामला तब होता है जब f मौजूद होता है और अद्वितीय होता है, और, i = 3, , n के लिए, ऐसे बहुपद मौजूद होते हैं जिनका प्रमुख एकपदी केवल x पर निर्भर करता है<sub>1</sub>, एक्स<sub>2</sub> और x<sub>i</sub>.
अंतर्निहित समीकरणों द्वारा परिभाषित वक्र के लिए, वक्र के उपरोक्त प्रतिनिधित्व को ब्लॉक क्रम के लिए ग्रोबनेर आधार से आसानी से घटाया जा सकता है जैसे कि छोटे चर का ब्लॉक (''x''<sub>1</sub>, ''x''<sub>2</sub>) है। बहुपद f आधार में अद्वितीय बहुपद है, जो केवल ''x''<sub>1</sub> और ''x''<sub>2</sub> पर निर्भर करता है। भिन्न ''g<sub>i</sub>''/''g''<sub>0</sub>, i = 3, ..., n, के आधार पर एक बहुपद का चयन करके प्राप्त किया जाता है जो कि xi में रैखिक है और केवल ''x''<sub>1</sub>,''x''<sub>2</sub> और xi पर निर्भर करता है। यदि ये विकल्प संभव नहीं हैं, तो इसका अर्थ यह है कि या तो समीकरण एक बीजगणितीय समूह को परिभाषित करते हैं जो विविधता नहीं है, या कि विविधता एक आयाम की नहीं है, या कि किसी को निर्देशांक में परिवर्तन करना चाहिए। बाद वाला मामला तब होता है जब एफ मौजूद होता है और अद्वितीय होता है, और i = 3, ..., n के लिए, ऐसे बहुपद उपस्थित होते हैं जिनके प्रमुख मोनोमियल केवल ''x''<sub>1</sub>, ''x''<sub>2</sub> और x<sub>i</sub> पर निर्भर करते हैं।


== बीजीय कार्य क्षेत्र ==
== बीजीय कार्य क्षेत्र ==
बीजीय वक्रों के अध्ययन को अघुलनशील घटक बीजीय वक्रों के अध्ययन तक कम किया जा सकता है: वे वक्र जिन्हें दो छोटे वक्रों के मिलन के रूप में नहीं लिखा जा सकता है। [[ बायरेशनल ज्यामिति ]] तुल्यता तक, एक फील्ड F पर इरेड्यूसिबल कर्व्स, F के ऊपर एक वेरिएबल में एक बीजीय वेरायटी के फंक्शन फील्ड के लिए कैटेगरी की तुल्यता है। ऐसा बीजीय फंक्शन फील्ड F का [[ क्षेत्र विस्तार ]] K होता है जिसमें एक एलिमेंट x होता है जो कि बीजीय है। F के ऊपर तत्व, और ऐसा कि K, F(x) का एक परिमित बीजीय विस्तार है, जो कि F पर अनिश्चित x में तर्कसंगत कार्यों का क्षेत्र है।
बीजीय वक्रों के अध्ययन को अघुलनशील बीजीय वक्रों के अध्ययन के लिए कम किया जा सकता है। वे वक्र जिन्हें दो छोटे वक्रों के मिलन के रूप में नहीं लिखा जा सकता है। [[ बायरेशनल ज्यामिति |बायरेशन]] तुल्यता तक, एक क्षेत्र F पर अलघुकरणीय वक्र स्पष्ट रूप से F के ऊपर एक चर में बीजीय कार्य क्षेत्र के बराबर होते हैं। ऐसा बीजगणितीय कार्य क्षेत्र F का [[ क्षेत्र विस्तार |क्षेत्र विस्तार]] K होता है, जिसमें एक तत्व x होता है जो F पर अनुवांशिक होता है, और ऐसा कि K, F(x) का एक परिमित बीजीय विस्तार है, जो F के ऊपर अनिश्चित x में परिमेय फलनों का क्षेत्र है।


उदाहरण के लिए, सम्मिश्र संख्याओं के क्षेत्र 'C' पर विचार करें, जिस पर हम 'C' में परिमेय फलनों के क्षेत्र 'C'(x) को परिभाषित कर सकते हैं। यदि {{math|1=''y''<sup>2</sup> = ''x''<sup>3</sup> − ''x'' − 1}}, तो फ़ील्ड C(''x'', ''y'') एक अण्डाकार फलन है। तत्व ''x'' विशिष्ट रूप से निर्धारित नहीं है; उदाहरण के लिए, फ़ील्ड को C(''y'') के विस्तार के रूप में भी माना जा सकता है। फ़ंक्शन फ़ील्ड से संबंधित बीजगणितीय वक्र केवल C में बिंदुओं (''x'', ''y'') का समूह है<sup>2</sup> संतोषजनक {{math|1=''y''<sup>2</sup> = ''x''<sup>3</sup> − ''x'' − 1}}.
उदाहरण के लिए सम्मिश्र संख्याओं के क्षेत्र 'C' पर विचार करें, जिस पर हम C में परिमेय फलनों के क्षेत्र C(x) को परिभाषित कर सकते हैं। यदि {{math|1=''y''<sup>2</sup> = ''x''<sup>3</sup> − ''x'' − 1}}, तो क्षेत्र C(''x'', ''y'') एक दीर्घवृत्तीय फलन है। तत्व ''x'' विशिष्ट रूप से निर्धारित नहीं है; उदाहरण के लिए, क्षेत्र को C(''y'') के विस्तार के रूप में भी माना जा सकता है। कार्य क्षेत्र से संबंधित बीजगणितीय वक्र केवल C<sup>2</sup>  में बिंदुओं (''x'', ''y'') का समूह संतोषजनक {{math|1=''y''<sup>2</sup> = ''x''<sup>3</sup> − ''x'' − 1}} है। 


यदि फ़ील्ड F बीजगणितीय रूप से बंद नहीं है, तो फ़ंक्शन फ़ील्ड का दृष्टिकोण बिंदुओं के स्थान पर विचार करने की तुलना में थोड़ा अधिक सामान्य है, क्योंकि हम, उदाहरण के लिए, उन पर बिना किसी बिंदु के वक्र शामिल करते हैं। उदाहरण के लिए, यदि आधार क्षेत्र F वास्तविक संख्याओं का क्षेत्र 'R' है, तो {{math|1=''x''<sup>2</sup> + ''y''<sup>2</sup> = −1}} R(''x'') के बीजीय विस्तार क्षेत्र को परिभाषित करता है, लेकिन संबंधित वक्र को R . का सबसेट माना जाता है<sup>2</sup> का कोई अंक नहीं है। समीकरण {{math|1=''x''<sup>2</sup> + ''y''<sup>2</sup> = −1}} [[ योजना (गणित) ]] अर्थ में R पर एक इरेड्यूसिबल बीजीय वक्र को परिभाषित करता है (योजना सिद्धांत की एक शब्दावली#अभिन्न, योजना सिद्धांत की शब्दावली#पृथक और उचित आकारिकी योजना सिद्धांत की शब्दावली#आयाम|एक-आयामी योजना (गणित)शब्दावली की योजना सिद्धांत का # परिमित, अर्ध-परिमित, और परिमित प्रकार के आकारिकी R पर)। इस अर्थ में, ''F'' (बायरेशनल तुल्यता तक) पर इरेड्यूसेबल बीजीय वक्रों के बीच एक-से-एक पत्राचार और ''F'' के ऊपर एक चर में बीजगणितीय फ़ंक्शन फ़ील्ड सामान्य रूप से धारण करते हैं।
यदि क्षेत्र F बीजगणितीय रूप से संवृत नहीं है, तो कार्य क्षेत्र का दृष्टिकोण बिंदुओं के स्थान पर विचार करने की तुलना में थोड़ा अधिक सामान्य है, क्योंकि हम उदाहरण के लिए वक्र को बिना किसी बिंदु के सम्मिलित करते हैं। उदाहरण के लिए यदि आधार क्षेत्र F वास्तविक संख्याओं का क्षेत्र R है, तो {{math|1=''x''<sup>2</sup> + ''y''<sup>2</sup> = −1}} R(''x'') के बीजीय विस्तार क्षेत्र को परिभाषित करता है, लेकिन R<sup>2</sup> के उपसमुच्चय के रूप में माने जाने वाले संगत वक्र का कोई अंक नहीं है। समीकरण {{math|1=''x''<sup>2</sup> + ''y''<sup>2</sup> = −1}} [[ योजना (गणित) | योजना]] के अर्थ में R के ऊपर एक अपरिवर्तनीय बीजगणितीय वक्र को परिभाषित करता है R पर परिमित प्रकार की एक अभिन्न, अलग एक-आयामी योजनाएं, इस अर्थ में F पर अलघुकरणीय बीजीय वक्रों के बीच एक-से-एक पत्राचार (बाईरेशनल तुल्यता तक) और F पर एक चर में बीजगणितीय कार्य क्षेत्र सामान्य रूप से धारण करते हैं।


दो वक्र द्विअर्थी रूप से समतुल्य हो सकते हैं (अर्थात समरूपता फ़ंक्शन फ़ील्ड हैं) बिना वक्र के रूप में समरूप होने के। स्थिति तब आसान हो जाती है जब ''नॉनसिंगुलर'' कर्व्स से निपटते हैं, यानी वे जिनमें एकवचनता का अभाव होता है। एक क्षेत्र पर दो गैर-एकवचन प्रक्षेप्य वक्र समरूपी होते हैं यदि और केवल यदि उनके कार्य क्षेत्र समरूप हैं।
वक्र के रूप में समरूप के बिना दो वक्र द्विभाजनित रूप से समतुल्य हो सकते हैं (अर्थात समरूपता कार्य क्षेत्र हैं)स्थिति आसान हो जाती है जब व्युत्क्रमणीय वक्र से निपटते हैं, अर्थात वे जिनमें किसी भी विलक्षण की कमी होती है। एक क्षेत्र पर दो अस्थायी-विलक्षण प्रक्षेपी वक्र समरूप होते हैं यदि और केवल उनके कार्य क्षेत्र समरूप हैं


त्सेन का प्रमेय बीजगणितीय रूप से बंद क्षेत्र पर एक बीजीय वक्र के कार्य क्षेत्र के बारे में है।
ट्सेंस का प्रमेय बीजगणितीय रूप से संवृत क्षेत्र पर एक बीजीय वक्र के कार्य क्षेत्र के बारे में है।  


== जटिल वक्र और वास्तविक सतह ==
== जटिल वक्र और वास्तविक सतह ==
एक जटिल प्रक्षेपी बीजगणितीय वक्र n-आयामी जटिल प्रक्षेप्य स्थान 'CP' में रहता है<sup>एन</sup>. इसमें जटिल आयाम n है, लेकिन टोपोलॉजिकल आयाम, वास्तविक कई गुना, 2n के रूप में, और [[ कॉम्पैक्ट स्पेस ]], [[ कनेक्टेड स्पेस ]] और [[ उन्मुखता ]] है। 'सी' के ऊपर एक बीजीय वक्र में भी टोपोलॉजिकल आयाम दो होते हैं; दूसरे शब्दों में, यह एक [[ सतह (टोपोलॉजी) ]] है।
एक जटिल प्रक्षेपी बीजगणितीय वक्र n-आयामी जटिल प्रक्षेप्य स्थान CP<sup>n</sup> में रहता है। इसका जटिल आयाम n है, लेकिन टोपोलॉजिकल आयाम, वास्तविक कई गुना 2n के रूप में और [[ कॉम्पैक्ट स्पेस |सघन]] , [[ कनेक्टेड स्पेस |सम्बद्ध]] और [[ उन्मुखता |उन्मुखता]] है। C के ऊपर एक बीजीय वक्र के दो टोपोलॉजिकल आयाम भी होता है दूसरे शब्दों में यह एक [[ सतह (टोपोलॉजी) |सतह]] है।


इस सतह का जीनस (गणित), जो हैंडल या डोनट होल की संख्या है, बीजीय वक्र के [[ ज्यामितीय जीनस ]] के बराबर है जिसे बीजीय माध्यमों द्वारा गणना की जा सकती है। संक्षेप में, यदि कोई एक गैर-एकवचन वक्र के समतल प्रक्षेपण पर विचार करता है जिसमें एक बहुपद d की डिग्री है और केवल साधारण विलक्षणताएं (अलग-अलग स्पर्शरेखाओं के साथ बहुलता दो की विलक्षणताएं) हैं, तो जीनस है {{math|(''d'' − 1)(''d'' − 2)/2 − ''k''}}, जहां k इन विलक्षणताओं की संख्या है।
इस सतह का टोपोलॉजिकल जीनस, जो कि हैंडल या डोनट होल की संख्या है, बीजीय वक्र के [[ ज्यामितीय जीनस |ज्यामितीय जीनस]] के बराबर है जिसे बीजीय माध्यमों द्वारा गणना की जा सकती है। संक्षेप में, यदि कोई एक अस्थायी-विलक्षण वक्र के समतल प्रक्षेपण पर विचार करता है जिसमें डिग्री d है और केवल साधारण विलक्षणताएं हैं। अलग-अलग स्पर्शरेखाओं के साथ बहुलता की दो विलक्षणताएं हैं, तब जीनस {{math|(''d'' − 1)(''d'' − 2)/2 − ''k''}}, जहां k इन विलक्षणताओं की संख्या है।


=== कॉम्पैक्ट [[ रीमैन सतह ]] ===
=== सघन  [[ रीमैन सतह |रीमैन सतह]] ===
एक रीमैन सतह एक जटिल आयाम का एक जुड़ा हुआ जटिल विश्लेषणात्मक मैनिफोल्ड है, जो इसे दो आयामों का एक जुड़ा हुआ वास्तविक कई गुना बनाता है। यदि यह टोपोलॉजिकल स्पेस के रूप में कॉम्पैक्ट है तो यह कॉम्पैक्ट स्पेस है।
एक रीमैन सतह एक जटिल आयाम का एक जुड़ा हुआ जटिल विश्लेषणात्मक विविध है, जो इसे दो आयामों का एक जुड़ा हुआ वास्तविक कई गुना बनाता है। यदि यह एक टोपोलॉजिकल स्थान के रूप में सघन है तो यह सघन होता है।  


सी पर चिकनी इरेड्यूसीबल प्रोजेक्टिव बीजगणितीय वक्रों की श्रेणी (रूपताओं के रूप में किस्मों के गैर-निरंतर रूपवाद के साथ), कॉम्पैक्ट रीमैन सतहों की श्रेणी (रूपताओं के रूप में गैर-स्थिर होलोमोर्फिक मानचित्रों के साथ) और विपरीत के बीच श्रेणियों की एक तिहाई समानता है। सी पर एक चर में बीजगणितीय फ़ंक्शन फ़ील्ड की श्रेणी की श्रेणी (फ़ील्ड होमोमोर्फिज्म के साथ जो सी को मॉर्फिज्म के रूप में ठीक करती है)। इसका अर्थ यह हुआ कि इन तीनों विषयों का अध्ययन करके हम एक अर्थ में एक ही वस्तु का अध्ययन कर रहे हैं। यह बीजीय ज्यामिति में जटिल विश्लेषणात्मक विधियों का उपयोग करने की अनुमति देता है, और जटिल विश्लेषण में बीजीय-ज्यामितीय विधियों और दोनों में उपयोग किए जाने वाले क्षेत्र-सैद्धांतिक तरीकों की अनुमति देता है। यह बीजीय ज्यामिति में समस्याओं के बहुत व्यापक वर्ग की विशेषता है।
C पर समतल अघुलनशील प्रक्षेप्य बीजगणितीय वक्रों की श्रेणी के बीच श्रेणियों का तिगुना तुल्यता होती है, रूपवाद के रूप में अस्थायी-निरंतर नियमित मानचित्रों के साथ, सघन रीमैन सतहों की श्रेणी अस्थायी-निरंतर होलोमोर्फिक मानचित्रों के रूप में तथा इसके विपरीत C पर एक चर में बीजगणितीय कार्य क्षेत्र की श्रेणी (क्षेत्र होमोमोर्फिज़्म के साथ जो C को रूपवाद के रूप में सही करते हैं)। इसका अर्थ यह हुआ कि, इन तीनों विषयों का अध्ययन करने में एक प्रकार से हम एक ही वस्तु का अध्ययन कर रहे हैं। यह बीजगणितीय ज्यामिति में जटिल विश्लेषणात्मक विधियों का उपयोग करने की अनुमति देता है, और जटिल विश्लेषण में बीजगणितीय-ज्यामितीय विधियों और दोनों में क्षेत्र-सैद्धांतिक विधियों का उपयोग करने की अनुमति देता है। यह बीजगणितीय ज्यामिति में समस्याओं के एक व्यापक वर्ग की विशेषता है।


अधिक सामान्य सिद्धांत के लिए [[ बीजीय ज्यामिति और विश्लेषणात्मक ज्यामिति ]] भी देखें।
अधिक सामान्य सिद्धांत के लिए [[ बीजीय ज्यामिति और विश्लेषणात्मक ज्यामिति |बीजीय ज्यामिति और विश्लेषणात्मक ज्यामिति]] भी देखें।


== विलक्षणताएं ==
== विलक्षणताएं ==
[[ स्पर्शरेखा स्थान ]] की आंतरिक अवधारणा का उपयोग करते हुए, बीजीय वक्र C पर बिंदु P को समतल (समानार्थी: गैर-एकवचन), या फिर वक्र के एकवचन बिंदु के रूप में वर्गीकृत किया जाता है। n+1 चरों में n−1 सजातीय बहुपदों को देखते हुए, हम जैकोबियन मैट्रिक्स और निर्धारक#जैकोबियन मैट्रिक्स को आंशिक डेरिवेटिव के (n−1)×(n+1) मैट्रिक्स के रूप में पा सकते हैं। यदि इस मैट्रिक्स की [[ रैंक (रैखिक बीजगणित) ]] n-1 है, तो बहुपद एक बीजीय वक्र को परिभाषित करते हैं (अन्यथा वे उच्च आयाम की बीजगणितीय विविधता को परिभाषित करते हैं)। यदि जैकोबियन मैट्रिक्स का मूल्यांकन वक्र पर एक बिंदु P पर किया जाता है, तो रैंक n−1 बनी रहती है, तो बिंदु एक समतल या नियमित बिंदु होता है; अन्यथा यह एक विलक्षण बिंदु है। विशेष रूप से, यदि वक्र एक समतल प्रक्षेपी बीजगणितीय वक्र है, जिसे एकल समरूप बहुपद समीकरण f(x,y,z) = 0 द्वारा परिभाषित किया गया है, तो एकवचन बिंदु ठीक वे बिंदु P होते हैं जहां 1×(n+) की रैंक होती है। 1) मैट्रिक्स शून्य है, अर्थात जहाँ
[[ स्पर्शरेखा स्थान |स्पर्शरेखा स्थान]] की आंतरिक अवधारणा का उपयोग करते हुए, बीजीय वक्र C पर बिंदु P को समतल (समानार्थक अस्थायी-विलक्षण), या अन्य विलक्षण के रूप में वर्गीकृत किया गया है। n−1 सजातीय बहुपदों को n+1 चरों में दिया गया है, हम आंशिक अवकलजों के (n−1)×(n+1) आव्यूह के रूप में जैकोबियन आव्यूह पा सकते हैं। यदि इस आव्यूह की कोटि n−1 है, तो बहुपद एक  [[ रैंक (रैखिक बीजगणित) |रैखिक बीजगणितीय]] वक्र को परिभाषित करते हैं अन्यथा वे उच्च आयाम की एक बीजीय विविधता को परिभाषित करते हैं। यदि रैंक n−1 बनी रहती है,जब वक्र पर एक बिंदु P पर जैकोबियन आव्यूह का मानांकन किया जाता है, तो बिंदु एक समतल या नियमित बिंदु होता है। अन्यथा यह एक विलक्षण बिंदु है। विशेष रूप से, यदि वक्र एक समतल प्रक्षेपी बीजगणितीय वक्र है, जो एकल सजातीय बहुपद समीकरण f(x,y,z) = 0 द्वारा परिभाषित है, तो विलक्षण बिंदु सटीक रूप से बिंदु P हैं, जहां 1×(n+) का कोटि 1) आव्यूह शून्य है,
 
अर्थात जहाँ  
<math display="block">\frac{ \partial f }{ \partial x }(P)=\frac{ \partial f }{ \partial y }(P)=\frac{ \partial f }{ \partial z }(P)=0.</math>
<math display="block">\frac{ \partial f }{ \partial x }(P)=\frac{ \partial f }{ \partial y }(P)=\frac{ \partial f }{ \partial z }(P)=0.</math>
चूँकि f एक बहुपद है, यह परिभाषा विशुद्ध रूप से बीजीय है और क्षेत्र F की प्रकृति के बारे में कोई धारणा नहीं बनाती है, जो विशेष रूप से वास्तविक या सम्मिश्र संख्या होने की आवश्यकता नहीं है। बेशक, यह याद रखना चाहिए कि (0,0,0) वक्र का बिंदु नहीं है और इसलिए एकवचन बिंदु नहीं है।
चूँकि f एक बहुपद है, यह परिभाषा विशुद्ध रूप से बीजीय है और क्षेत्र F की प्रकृति के बारे में कोई धारणा नहीं बनाती है, जो विशेष रूप से वास्तविक या सम्मिश्र संख्या होने की आवश्यकता नहीं है। अवश्य यह याद रखना चाहिए कि (0,0,0) वक्र का बिंदु नहीं है और इसलिए विलक्षण बिंदु नहीं है।


इसी तरह, एकल बहुपद समीकरण f(x,y) = 0 द्वारा परिभाषित एक सजातीय बीजगणितीय वक्र के लिए, तो एकवचन बिंदु वक्र के बिंदु P होते हैं जहां 1×n जैकोबियन मैट्रिक्स की रैंक शून्य होती है, अर्थात, कहाँ पे
इसी तरह, एकल बहुपद समीकरण f(x,y) = 0 द्वारा परिभाषित एक सजातीय बीजगणितीय वक्र के लिए, तो विलक्षण बिंदु वक्र के बिंदु P होते हैं जहां 1×n जैकोबियन आव्यूह की स्थिति शून्य होती है, अर्थात जहाँ पर


<math display="block">f(P)=\frac{ \partial f }{ \partial x }(P)=\frac{ \partial f }{ \partial y }(P)=0.</math>
<math display="block">f(P)=\frac{ \partial f }{ \partial x }(P)=\frac{ \partial f }{ \partial y }(P)=0.</math>
एक वक्र की विलक्षणताएँ द्विअर्थी अपरिवर्तनीय नहीं हैं। हालांकि, वक्र की विलक्षणताओं का पता लगाना और उन्हें वर्गीकृत करना ज्यामितीय जीनस की गणना करने का एक तरीका है, जो एक द्विवार्षिक अपरिवर्तनीय है। इसके लिए काम करने के लिए, हमें वक्र पर प्रक्षेप्य रूप से विचार करना चाहिए और F को बीजगणितीय रूप से बंद करने की आवश्यकता होती है, ताकि वक्र से संबंधित सभी विलक्षणताओं पर विचार किया जा सके।
एक वक्र की विलक्षणताएँ द्विअर्थी अपरिवर्तनीय नहीं हैं। हालांकि वक्र की विलक्षणताओं का पता लगाना और उन्हें वर्गीकृत करना जीनस की गणना करने का एक तरीका है, जो द्विवार्षिक अपरिवर्तनीय है। इस काम को करने के लिए हमें वक्र पर प्रक्षेप्य रूप से विचार करना चाहिए और F को बीजगणितीय रूप से संवृत करने की आवश्यकता है, ताकि वक्र से संबंधित सभी विलक्षणताओं पर विचार किया जा सके।


=== विलक्षणताओं का वर्गीकरण ===
=== विलक्षणताओं का वर्गीकरण ===
[[File:Cusp.svg|thumb|right|x<sup>3</sup> = और<sup>2</sup>]]एकवचन बिंदुओं में कई बिंदु शामिल होते हैं जहां वक्र अपने आप को पार करता है, और विभिन्न प्रकार के पुच्छल भी, उदाहरण के लिए जो समीकरण x के साथ वक्र द्वारा दिखाया गया है<sup>3</sup> = और<sup>2</sup> पर (0,0)
[[File:Cusp.svg|thumb|right|''x''<sup>3</sup> = ''y''<sup>2</sup>]]विलक्षण बिंदुओं में कई बिंदु सम्मिलित होते हैं जहां वक्र स्वयं को पार करता है, और विभिन्न प्रकार के पुच्छल भी होते हैं, उदाहरण के लिए जो समीकरण ''x''<sup>3</sup> = ''y''<sup>2</sup> at (0,0) के साथ वक्र द्वारा दिखाया गया है।
 
एक वक्र C में विलक्षण बिंदुओं की अधिकतम संख्या सीमित होती है। यदि इसमें कोई नहीं है, तो इसे समतल या अस्थायी-विलक्षण कहा जा सकता है। सामान्य रूप से इस परिभाषा को एक बीजीय रूप से संवृत क्षेत्र पर और एक वक्र सी के लिए एक प्रक्षेप्य स्थान (अर्थात बीजगणितीय ज्यामिति के अर्थ में पूर्ण) के लिए समझा जाता है। उदाहरण के लिए, समीकरण का समतल वक्र <math>y-x^3=0</math> अनंत पर विलक्षण बिंदु होने के रूप में विलक्षण के रूप में माना जाता है।


एक वक्र C में एकवचन बिंदुओं की अधिकतम संख्या सीमित होती है। यदि इसमें कोई नहीं है, तो इसे समतल या गैर-एकवचन कहा जा सकता है। आमतौर पर, इस परिभाषा को एक बीजीय रूप से बंद क्षेत्र पर और एक वक्र सी के लिए एक प्रक्षेप्य स्थान (यानी, बीजगणितीय ज्यामिति के अर्थ में पूर्ण) के लिए समझा जाता है। उदाहरण के लिए, समीकरण का समतल वक्र <math>y-x^3=0</math> अनंत पर एकवचन बिंदु (एक पुच्छ) होने के रूप में, एकवचन के रूप में माना जाता है।
इस खंड के शेष भाग में एक समतल वक्र पर विचार किया जाता है,कि  {{mvar|C}}  को द्विचर बहुपद के शून्य समुच्चय के रूप में परिभाषित किया गया है {{math|''f''(''x'', ''y'')}}. कुछ परिणाम, लेकिन सभी नहीं, अस्थायी-समतल वक्रों के लिए सामान्यीकृत किए जा सकते हैं।


इस खंड के शेष भाग में, एक समतल वक्र पर विचार किया जाता है {{mvar|C}} द्विचर बहुपद के शून्य समुच्चय के रूप में परिभाषित किया गया है {{math|''f''(''x'', ''y'')}}. कुछ परिणाम, लेकिन सभी नहीं, गैर-समतल वक्रों के लिए सामान्यीकृत किए जा सकते हैं।
विलक्षण बिंदुओं को कई अपरिवर्तनीयों के माध्यम से वर्गीकृत किया जाता है। बहुलता {{math|''m''}} को अधिकतम पूर्णांक के रूप में परिभाषित किया जाता है जैसे कि का व्युत्पन्न {{math|''f''}}  तक के सभी क्रमों तक {{math|''m'' – 1}} लुप्त हो जाता है, वक्र और सीधी रेखा के बीच की न्यूनतम प्रतिच्छेदन संख्या भी {{math|''P''}}, सहज रूप से एक विलक्षण बिंदु में डेल्टा अपरिवर्तनीय होता है {{mvar|δ}} अगर यह ध्यान केंद्रित करता है {{mvar|δ}} साधारण दोहरे अंक {{math|''P''}} इसे सटीक बनाने के लिए, [[ उड़ाते हुए | बढ़ाते हुए]]  प्रक्रिया तथाकथित [[ असीम रूप से निकट बिंदु | असीम रूप से निकट बिंदुओं]]  का उत्पादन करती है, और संक्षेप  {{math|''m''(''m''−1)/2}} अपरिमित निकट बिंदुओं पर, जहाँ m उनकी बहुलता है, उत्पन्न करता है  {{mvar|δ}}. एक अपरिवर्तनीय और कम वक्र और एक बिंदु के लिए {{math|''P''}} हम परिभाषित कर सकते हैं {{mvar|δ}} बीजगणितीय रूप से की लंबाई के रूप में <math>\widetilde{\mathcal{O}_P} / \mathcal{O}_P</math> जहाँ पर  <math>\mathcal{O}_P</math>  और P पर स्थानीय वलय है <math>\widetilde{\mathcal{O}_P}</math> इसका अभिन्न संवृत है।<ref>Hartshorne, Algebraic Geometry, IV Ex. 1.8.</ref>


एकवचन बिंदुओं को कई अपरिवर्तनीयों के माध्यम से वर्गीकृत किया जाता है। बहुलता {{math|''m''}} को अधिकतम पूर्णांक के रूप में परिभाषित किया जाता है जैसे कि का व्युत्पन्न {{math|''f''}} तक के सभी आदेशों तक {{math|''m'' – 1}} ग़ायब हो जाता है (वक्र और सीधी रेखा के बीच की न्यूनतम प्रतिच्छेदन संख्या भी {{math|''P''}})
[[ मिल्नोर नंबर | मिल्नोर नंबर]] {{mvar|μ}} एक विलक्षणता का मानचित्रण की डिग्री है {{math|{{sfrac|grad ''f''(''x'',''y'')|{{!}}grad&nbsp;''f''(''x'',''y''){{!}}}}}} त्रिज्या के छोटे गोले पर एक सतत मानचित्रण की टोपोलॉजिकल डिग्री के अर्थ में, जहां {{math|grad&nbsp;''f''}} f का जटिल वेक्टर क्षेत्र है। यह मिल्नोर-जंग सूत्र द्वारा δ और r से संबंधित है,
सहज रूप से, एक विलक्षण बिंदु में डेल्टा अपरिवर्तनीय होता है {{mvar|δ}} अगर यह ध्यान केंद्रित करता है {{mvar|δ}} साधारण दोहरे अंक {{math|''P''}}. इसे सटीक बनाने के लिए, [[ उड़ाते हुए ]] प्रक्रिया तथाकथित [[ असीम रूप से निकट बिंदु ]]ओं का उत्पादन करती है, और संक्षेप {{math|''m''(''m''−1)/2}} अपरिमित निकट बिंदुओं पर, जहाँ m उनकी बहुलता है, उत्पन्न करता है {{mvar|δ}}.
एक अपरिवर्तनीय और कम वक्र और एक बिंदु के लिए {{math|''P''}} हम परिभाषित कर सकते हैं {{mvar|δ}} बीजगणितीय रूप से की लंबाई के रूप में <math>\widetilde{\mathcal{O}_P} / \mathcal{O}_P</math> कहाँ पे <math>\mathcal{O}_P</math> P और . पर स्थानीय वलय है <math>\widetilde{\mathcal{O}_P}</math> इसका अभिन्न बंद है।<ref>Hartshorne, Algebraic Geometry, IV Ex. 1.8.</ref>
[[ मिल्नोर नंबर ]] {{mvar|μ}} एक विलक्षणता का मानचित्रण की डिग्री है {{math|{{sfrac|grad ''f''(''x'',''y'')|{{!}}grad&nbsp;''f''(''x'',''y''){{!}}}}}} त्रिज्या के छोटे गोले पर, एक सतत मानचित्रण की टोपोलॉजिकल डिग्री के अर्थ में, जहां {{math|grad&nbsp;''f''}} f का (जटिल) ग्रेडिएंट वेक्टर क्षेत्र है। यह मिल्नोर-जंग सूत्र द्वारा δ और r से संबंधित है,


{{block indent|em=1.2|text=μ = 2δ − ''r'' + 1.}}
{{block indent|em=1.2|text=μ = 2δ − ''r'' + 1.}}
यहाँ, P की शाखा संख्या r, P पर स्थानीय रूप से अपरिवर्तनीय शाखाओं की संख्या है। उदाहरण के लिए, r = 1 एक साधारण पुच्छल पर, और r = 2 एक साधारण दोहरे बिंदु पर। बहुलता m कम से कम r है, और वह P एकवचन है यदि और केवल यदि m कम से कम 2 है। इसके अलावा, कम से कम m(m-1)/2 है।
यहाँ, P की द्विभाजन संख्या r, P पर स्थानीय रूप से अलघुकरणीय द्विभाजनों की संख्या है। उदाहरण के लिए, r = 1 एक साधारण पुच्छल पर, और r = 2 एक साधारण दोहरे बिंदु पर बहुलता m कम से कम r है, और वह P एकवचन है यदि और केवल यदि m कम से कम 2 है। इसके अलावा, δ कम से कम m(m-1)/2 है


सभी विलक्षणताओं के डेल्टा इनवेरिएंट की गणना करने से वक्र के जीनस (गणित) को निर्धारित किया जा सकता है; यदि d डिग्री है, तो
सभी विलक्षणताओं के डेल्टा अचरों की गणना करने से वक्र के जीनस जी को निर्धारित किया जा सकता है, यदि d डिग्री है, तो


<math display="block">g = \frac{1}{2}(d-1)(d-2) - \sum_P \delta_P,</math>
<math display="block">g = \frac{1}{2}(d-1)(d-2) - \sum_P \delta_P,</math>
जहां योग जटिल प्रक्षेप्य समतल वक्र के सभी एकवचन बिंदु P पर लिया जाता है। इसे वंश सूत्र कहते हैं।
जहां योग जटिल प्रक्षेप्य समतल वक्र के सभी विलक्षण बिंदु P पर लिया जाता है। इसे जीनस सूत्र कहते हैं।


इनवेरिएंट्स [m, δ, r] को एक विलक्षणता के लिए असाइन करें, जहां m बहुलता है, डेल्टा-इनवेरिएंट है, और r ब्रांचिंग नंबर है। फिर एक साधारण पुच्छल एक बिंदु है जिसमें अपरिवर्तनीय [2,1,1] और एक साधारण दोहरा बिंदु अपरिवर्तनीय [2,1,2] के साथ एक बिंदु है, और एक साधारण एम-एकाधिक बिंदु अपरिवर्तनीय [एम, एम] के साथ एक बिंदु है। (एम -1) / 2, एम]
अपरिवर्तनीय [m, δ, r] को एक विलक्षणता के लिए नियुक्त करें, जहां m बहुलता है, डेल्टा-अपरिवर्तनीय है, और r द्विभाजन नंबर है। फिर एक साधारण पुच्छल एक बिंदु है जिसमें अपरिवर्तनीय [2,1,1] और एक साधारण दोहरा बिंदु अपरिवर्तनीय [2,1,2] के साथ एक बिंदु है, और एक साधारण M-एकाधिक बिंदु अपरिवर्तनीय [m, m] के साथ एक बिंदु है।  
 
[''m'', ''m''(''m''−1)/2, ''m'']


== वक्र के उदाहरण ==
== वक्र के उदाहरण ==


=== परिमेय वक्र ===
=== परिमेय वक्र ===
एक परिमेय वक्र, जिसे एकतरफा वक्र भी कहा जाता है, कोई भी वक्र है जो एक रेखा के लिए द्विभाजित ज्यामिति है, जिसे हम एक प्रक्षेपी रेखा मान सकते हैं; तदनुसार, हम एक अनिश्चित ''F''(''x'') में परिमेय फलनों के क्षेत्र के साथ वक्र के फलन क्षेत्र की पहचान कर सकते हैं। यदि ''F'' बीजगणितीय रूप से बंद है, तो यह जीनस (गणित) शून्य के वक्र के बराबर है; हालांकि, वास्तविक बीजीय किस्म ''x'' पर परिभाषित सभी वास्तविक बीजीय फलनों का क्षेत्र<sup>2</sup>+y<sup>2</sup> = −1 जीनस जीरो का एक क्षेत्र है जो एक परिमेय फलन क्षेत्र नहीं है।
एक परिमेय वक्र, जिसे एक वक्रीय वक्र भी कहा जाता है, कोई भी वक्र है जो द्विभाजनित रूप से एक रेखा के समतुल्य है, जिसे हम प्रक्षेपी रेखा मान सकते हैं इसीलिए हम एक अनिश्चित f(x) में तर्कसंगत कार्यों के क्षेत्र के साथ वक्र के कार्य क्षेत्र की पहचान कर सकते हैं। यदि F बीजगणितीय रूप से संवृत है, तो यह जीनस शून्य के वक्र के बराबर है। हालांकि, वास्तविक बीजगणितीय विविधता ''x''<sup>2</sup>+''y''<sup>2</sup> = −1 पर परिभाषित सभी वास्तविक बीजगणितीय कार्यों का क्षेत्र जीनस शून्य का एक क्षेत्र होता है जो एक तर्कसंगत कार्य क्षेत्र नहीं है।


सीधे तौर पर, एफ के ऊपर आयाम n के सजातीय स्पेस में एम्बेडेड एक तर्कसंगत वक्र को एक पैरामीटर टी के [[ तर्कसंगत कार्य ]]ों के माध्यम से पैरामीटर किया जा सकता है (पृथक असाधारण बिंदुओं को छोड़कर); इन तर्कसंगत कार्यों को एक ही हर में कम करके, n+1 परिणामी बहुपद प्रोजेक्टिव स्पेस में वक्र के प्रोजेक्टिव पूर्णता के बहुपद पैरामीटर को परिभाषित करते हैं। एक उदाहरण है
सामान्य रूप से, f पर आयाम n के एक सजातीय स्थान में अंतर्निहित एक तर्कसंगत वक्र को एक पैरामीटर t के [[ तर्कसंगत कार्य |तर्कसंगत कारर्यों]] के माध्यम से पैरामीटरकृत किया जा सकता है (पृथक असाधारण बिंदुओं को छोड़कर), इन तर्कसंगत कार्यों को समान भाजक में कम करके, n+1 परिणामी बहुपद प्रक्षेप्य स्थान में वक्र के प्रक्षेप्य पूर्णता के एक बहुपद पैरामीट्रिजेशन को परिभाषित करते हैं। एक उदाहरण तर्कसंगत सामान्य वक्र है, जहां ये सभी बहुपद [[ एकपद | एकपदी]] हैं।
परिमेय प्रसामान्य वक्र, जहाँ ये सभी बहुपद [[ एकपद ]]हैं।


F पर एक परिमेय बिंदु के साथ F पर परिभाषित कोई भी [[ शंकु खंड ]] एक परिमेय वक्र है। इसे परिमेय बिंदु के माध्यम से ढलान टी के साथ एक रेखा खींचकर और समतल द्विघात वक्र के साथ एक प्रतिच्छेदन द्वारा परिचालित किया जा सकता है; यह एफ-तर्कसंगत गुणांक और एक एफ-तर्कसंगत मूल के साथ एक बहुपद देता है, इसलिए दूसरा रूट एफ-तर्कसंगत है (यानी, एफ से संबंधित है)।
F पर एक परिमेय बिंदु के साथ F पर परिभाषित कोई भी [[ शंकु खंड ]] एक परिमेय वक्र है। इसे परिमेय बिंदु के माध्यम से ढलान t के साथ एक रेखा खींचकर और समतल द्विघात वक्र के साथ एक प्रतिच्छेदन द्वारा परिचालित किया जा सकता है; यह एफ-तर्कसंगत गुणांक और एक एफ-तर्कसंगत मूल के साथ एक बहुपद देता है, इसलिए दूसरा रूट f तर्कसंगत है (अर्थात, f से संबंधित है।


[[File:Rotated ellipse.svg|thumb|right|x<sup>2</sup> + xy + y<sup>2</sup> = 1]]उदाहरण के लिए, दीर्घवृत्त x . पर विचार करें<sup>2</sup> + xy + y<sup>2</sup> = 1, जहां (−1, 0) एक परिमेय बिंदु है। (−1,0), y = t(x+1) से ढलान t वाली एक रेखा खींचना, इसे दीर्घवृत्त के समीकरण में प्रतिस्थापित करना, गुणनखंड करना और x के लिए हल करना, हम प्राप्त करते हैं
[[File:Rotated ellipse.svg|thumb|right|''x''<sup>2</sup> + ''xy'' + ''y''<sup>2</sup> = 1]]उदाहरण के लिए, दीर्घवृत्त ''x''<sup>2</sup> + ''xy'' + ''y''<sup>2</sup> = 1 पर विचार करें, जहाँ (−1, 0) एक परिमेय बिंदु है। (−1,0), y = t(x+1) से ढलान t के साथ एक रेखा खींचना, इसे दीर्घवृत्त के समीकरण में प्रतिस्थापित करना, गुणनखंड करना और x के लिए हल करना प्राप्त करते हैं।


<math display="block">x = \frac{1-t^2}{1+t+t^2}.</math>
<math display="block">x = \frac{1-t^2}{1+t+t^2}.</math>
Line 206: Line 210:


<math display="block">y=t(x+1)=\frac{t(t+2)}{1+t+t^2}\,,</math>
<math display="block">y=t(x+1)=\frac{t(t+2)}{1+t+t^2}\,,</math>
जो दीर्घवृत्त के परिमेय मानकीकरण को परिभाषित करता है और इसलिए दर्शाता है कि दीर्घवृत्त एक परिमेय वक्र है। दीर्घवृत्त के सभी बिंदु दिए गए हैं, (−1,1) को छोड़कर, जो = से मेल खाता है; इसलिए संपूर्ण वक्र को वास्तविक प्रक्षेप्य रेखा द्वारा परिचालित किया जाता है।
जो दीर्घवृत्त के एक तर्कसंगत पैरामीटरकरण को परिभाषित करता है और इसलिए दिखाता है, कि दीर्घवृत्त एक परिमेय वक्र है। दीर्घवृत्त के सभी बिंदु दिए गए हैं, (−1,1) को छोड़कर, जो t = से मेल खाता है। संपूर्ण वक्र को वास्तविक प्रक्षेप्य रेखा द्वारा परिचालित किया जाता है।


प्रोजेक्टिव स्पेस में इस तरह के तर्कसंगत पैरामीटर पर विचार किया जा सकता है, जो पहले प्रोजेक्टिव कोऑर्डिनेट को पैरामीटराइजेशन के अंशों और अंतिम एक को सामान्य हर के बराबर करके माना जा सकता है। जैसा कि पैरामीटर को प्रोजेक्टिव लाइन में परिभाषित किया गया है, पैरामीटर में बहुपद समरूप बहुपद # होमोजेनाइजेशन होना चाहिए। उदाहरण के लिए, उपरोक्त दीर्घवृत्त का प्रक्षेप्य मानकीकरण है
इस तरह के एक तर्कसंगत पैरामीटर को प्रक्षेपण स्थान में पहले प्रक्षेपी निर्देशांक को पैरामीटराइजेशन के अंशों और अंतिम एक को सामान्य हर के बराबर करके माना जा सकता है। जैसा कि पैरामीटर को प्रक्षेपी रेखा में परिभाषित किया गया है, पैरामीटर में बहुपदों को समरूप होना चाहिए। उदाहरण के लिए, उपरोक्त दीर्घवृत्त का प्रक्षेप्य मानकीकरण है


<math display="block">X=U^2-T^2,\quad Y=T\,(T+2\,U),\quad Z=T^2+TU+U^2.</math>
<math display="block">X=U^2-T^2,\quad Y=T\,(T+2\,U),\quad Z=T^2+TU+U^2.</math>
इन समीकरणों के बीच [[ उन्मूलन सिद्धांत ]] T और U हमें फिर से दीर्घवृत्त का प्रक्षेप्य समीकरण प्राप्त होता है
इन समीकरणों के बीच [[ उन्मूलन सिद्धांत | उन्मूलन सिद्धांत]] T और U हमें फिर से दीर्घवृत्त का प्रक्षेप्य समीकरण प्राप्त होता है
<math display="block">X^2+X\,Y+Y^2=Z^2,</math>
<math display="block">X^2+X\,Y+Y^2=Z^2,</math>
जो उपरोक्त समीकरण को समरूप करके आसानी से सीधे प्राप्त किया जा सकता है।
जो उपरोक्त समीकरण को समरूप करके आसानी से सीधे प्राप्त किया जा सकता है।
Line 218: Line 222:


=== परिमेय समतल वक्र ===
=== परिमेय समतल वक्र ===
परिमेय समतल वक्र, परिमेय वक्र होते हैं जिन्हें में अंतःस्थापित किया जाता है <math>\mathbb{P}^2</math>. सामान्य वर्गों को देखते हुए <math>s_1,s_2,s_3 \in \Gamma(\mathbb{P}^1, \mathcal{O}(d))</math> डिग्री का <math>d</math> दो निर्देशांकों में सजातीय बहुपद, <math>x,y</math>, एक नक्शा है<math display="block">s:\mathbb{P}^1 \to \mathbb{P}^2</math> के द्वारा दिया गया <math display="block">s([x:y]) = [s_1([x:y]):s_2([x:y]):s_3([x:y])]</math>डिग्री के एक तर्कसंगत समतल वक्र को परिभाषित करना <math>d</math>.<ref>{{Cite book|last=Kazaryan|first=Maxim E.|url=https://www.springer.com/gp/book/9783030029425|title=बीजीय वक्र: मोडुली रिक्त स्थान की ओर|last2=Lando|first2=Sergei K.|last3=Prasolov|first3=Victor|date=2018|publisher=Springer International Publishing| isbn=978-3-030-02942-5|series=Moscow Lectures|pages=213–214|language=en}}</ref> एक संबद्ध [[ मोडुलि स्पेस ]] है <math>\mathcal{M} = \overline{\mathcal{M}}_{0,0}(\mathbb{P}^2, d\cdot [H])</math> (कहाँ पे <math>[H]</math> हाइपरप्लेन क्लास है) ऐसे सभी [[ स्थिर वक्र ]]ों को पैरामीट्रिज करना। मोडुलि रिक्त स्थान आयाम निर्धारित करने के लिए एक आयाम गणना की जा सकती है: वहाँ हैं <math>d+1</math> में पैरामीटर <math>\Gamma(\mathbb{P}^1, \mathcal{O}(d))</math> दे रही है <math>3d+3</math> प्रत्येक अनुभाग के लिए कुल पैरामीटर। तब, चूंकि उन्हें एक प्रक्षेपी भागफल तक माना जाता है <math>\mathbb{P}^2</math> वहाँ है <math>1</math> में कम पैरामीटर <math>\mathcal{M}</math>. इसके अलावा, ऑटोमोर्फिज्म का एक त्रि-आयामी समूह है <math>\mathbb{P}^1</math>, इसलिये <math>\mathcal{M}</math> आयाम है <math>3d + 3 - 1 - 3 = 3d - 1</math>. इस मापांक स्थान का उपयोग संख्या गिनने के लिए किया जा सकता है <math>N_d</math> डिग्री का <math>d</math> परिमेय समतल वक्र प्रतिच्छेद करते हैं <math>3d-1</math> ग्रोमोव-विटन इनवेरिएंट | ग्रोमोव-विटन सिद्धांत का उपयोग करते हुए अंक।<ref>{{Cite web|url=http://www.math.utah.edu/~yplee/teaching/gw/Koch.pdf| title=तर्कसंगत विमान वक्र के लिए कोंटसेविच का सूत्र|url-status=live|archive-url=https://web.archive.org/web/20200226193344/http://www.math.utah.edu/~yplee/teaching/gw/Koch.pdf|archive-date=26 February 2020}}</ref> यह पुनरावर्ती संबंध द्वारा दिया जाता है<math display="block">N_d = \sum_{d_A + d_B = d} N_{d_A} N_{d_B} d_A^2 d_B\left( d_B\binom{3d-4}{3d_A-2} - d_A\binom{3d-4}{3d_A-1} \right)</math>कहाँ पे <math>N_1 = N_2 = 1</math>.
परिमेय समतल वक्र, परिमेय वक्र होते हैं जिन्हें में अंतःस्थापित किया जाता है <math>\mathbb{P}^2</math>. सामान्य वर्गों को देखते हुए <math>s_1,s_2,s_3 \in \Gamma(\mathbb{P}^1, \mathcal{O}(d))</math> डिग्री का <math>d</math> दो निर्देशांकों में सजातीय बहुपद, <math>x,y</math>, एक मानचित्र  है<math display="block">s:\mathbb{P}^1 \to \mathbb{P}^2</math> के द्वारा दिया गया <math display="block">s([x:y]) = [s_1([x:y]):s_2([x:y]):s_3([x:y])]</math>डिग्री के एक तर्कसंगत समतल वक्र को परिभाषित करना <math>d</math>.<ref>{{Cite book|last=Kazaryan|first=Maxim E.|url=https://www.springer.com/gp/book/9783030029425|title=बीजीय वक्र: मोडुली रिक्त स्थान की ओर|last2=Lando|first2=Sergei K.|last3=Prasolov|first3=Victor|date=2018|publisher=Springer International Publishing| isbn=978-3-030-02942-5|series=Moscow Lectures|pages=213–214|language=en}}</ref> एक संबद्ध [[ मोडुलि स्पेस |मोडुलि स्पेस]] है <math>\mathcal{M} = \overline{\mathcal{M}}_{0,0}(\mathbb{P}^2, d\cdot [H])</math> जहाँ पर  <math>[H]</math> अधिसमतल कक्ष है, ऐसे सभी [[ स्थिर वक्र | स्थिर वक्रो]] को पैरामीट्रिज करना। मोडुलि रिक्त स्थान आयाम निर्धारित करने के लिए एक आयाम गणना की जा सकती है, जहाँ  <math>d+1</math> में पैरामीटर <math>\Gamma(\mathbb{P}^1, \mathcal{O}(d))</math> दे रही है <math>3d+3</math> प्रत्येक अनुभाग के लिए कुल पैरामीटर। तब, चूंकि उन्हें एक प्रक्षेपी भागफल तक माना जाता है <math>\mathbb{P}^2</math> जहाँ है <math>1</math> में कम पैरामीटर <math>\mathcal{M}</math>. इसके अलावा, ऑटोमोर्फिज्म का एक त्रि-आयामी समूह है <math>\mathbb{P}^1</math>, इसलिये <math>\mathcal{M}</math> आयाम है <math>3d + 3 - 1 - 3 = 3d - 1</math>. इस मापांक स्थान का उपयोग संख्या गिनने के लिए किया जा सकता है <math>N_d</math> डिग्री का <math>d</math> परिमेय समतल वक्र प्रतिच्छेद करते हैं <math>3d-1</math> ग्रोमोव-विटन सिद्धांत का उपयोग करते हुए अंक<ref>{{Cite web|url=http://www.math.utah.edu/~yplee/teaching/gw/Koch.pdf| title=तर्कसंगत विमान वक्र के लिए कोंटसेविच का सूत्र|url-status=live|archive-url=https://web.archive.org/web/20200226193344/http://www.math.utah.edu/~yplee/teaching/gw/Koch.pdf|archive-date=26 February 2020}}</ref> यह पुनरावर्ती संबंध द्वारा दिया जाता है<math display="block">N_d = \sum_{d_A + d_B = d} N_{d_A} N_{d_B} d_A^2 d_B\left( d_B\binom{3d-4}{3d_A-2} - d_A\binom{3d-4}{3d_A-1} \right)</math>जहाँ पर  <math>N_1 = N_2 = 1</math>.


=== [[ अण्डाकार वक्र ]] ===
=== [[ अण्डाकार वक्र | दीर्घवृत्तीय वक्र]] ===
एक अंडाकार वक्र को तर्कसंगत बिंदु के साथ जीनस (गणित) के किसी भी वक्र के रूप में परिभाषित किया जा सकता है: एक सामान्य मॉडल एक गैर-एकवचन क्यूबिक समतल वक्र है, जो किसी भी जीनस एक वक्र को मॉडल करने के लिए पर्याप्त है। इस मॉडल में विशिष्ट बिंदु को आमतौर पर अनंत पर एक विभक्ति बिंदु के रूप में लिया जाता है; यह आवश्यक है कि वक्र को टेट-वीयरस्ट्रैस रूप में लिखा जा सकता है, जो इसके प्रक्षेपी संस्करण में है
दीर्घवृत्तीय वक्र को तर्कसंगत बिंदु के साथ जीनस के किसी भी वक्र के रूप में परिभाषित किया जा सकता है: एक सामान्य प्रारूप एक व्युत्क्रमणीय घन वक्र है, जो किसी भी जीनस एक वक्र को प्रारूप करने के लिए पर्याप्त है। इस प्रारूप में विशिष्ट बिंदु को सामान्य रूप से अनंत पर एक विभक्ति बिंदु के रूप में लिया जाता है। यह आवश्यक होता है कि वक्र को टेट-वीयरस्ट्रैस रूप में लिखा जा सकता है, जो इसके प्रक्षेपी संस्करण में उपस्थित है।
<math display="block">y^2z + a_1 xyz + a_3 yz^2 = x^3 + a_2 x^2z + a_4 xz^2 + a_6 z^3.</math>
<math display="block">y^2z + a_1 xyz + a_3 yz^2 = x^3 + a_2 x^2z + a_4 xz^2 + a_6 z^3.</math>
यदि क्षेत्र की विशेषता 2 और 3 से भिन्न है, तो निर्देशांक का एक रैखिक परिवर्तन डालने की अनुमति देता है <math>a_1=a_2=a_3=0,</math> जो शास्त्रीय वीयरस्ट्रैस रूप देता है <math display="block">y^2 = x^3 + p x + q.</math>
यदि क्षेत्र की विशेषता 2 और 3 से भिन्न है, तो निर्देशांक मे रैखिक परिवर्तन करने की अनुमति देता है <math>a_1=a_2=a_3=0,</math> जो शास्त्रीय वीयरस्ट्रैस रूप प्रदान करता है <math display="block">y^2 = x^3 + p x + q.</math>
अंडाकार वक्र समूह कानून की पहचान के रूप में विशिष्ट बिंदु के साथ एक [[ एबेलियन समूह ]] की संरचना को ले जाते हैं। एक समतल घन मॉडल में समूह में तीन बिंदुओं का योग शून्य होता है यदि और केवल यदि वे [[ रेखा (ज्यामिति) ]] हों। जटिल संख्याओं पर परिभाषित एक अण्डाकार वक्र के लिए समूह समरूप समतल मॉड्यूलो के योगात्मक समूह के लिए समरूपी होता है, जो संबंधित अण्डाकार कार्यों की [[ अवधियों की मौलिक जोड़ी ]] होती है।
दीर्घवृत्तीय वक्र समूह कानून की पहचान के रूप में विशिष्ट बिंदु के साथ एक [[ एबेलियन समूह |एबेलियन समूह]] की संरचना को ले जाते हैं। एक समतल घन प्रारूप में समूह में तीन बिंदुओं का योग शून्य होता है यदि और केवल यदि वे [[ रेखा (ज्यामिति) |संरेख]] हैं। जटिल संख्याओं पर परिभाषित एक दीर्घवृत्तीय वक्र के लिए समूह समरूप समतल प्रारूपों के योगात्मक समूह के लिए समरूप है जो संबंधित दीर्घवृत्तीय कार्यों की [[ अवधियों की मौलिक जोड़ी |अवधियों की मौलिक जोड़ी]] होती है।


दो क्वाड्रिक सतहों का प्रतिच्छेदन, सामान्य तौर पर, एक और डिग्री चार का एक गैर-एकवचन वक्र होता है, और इस प्रकार एक अण्डाकार वक्र होता है, यदि इसमें एक तर्कसंगत बिंदु होता है। विशेष मामलों में, प्रतिच्छेदन या तो एक तर्कसंगत एकवचन चतुर्थक हो सकता है या छोटी डिग्री के घटता में विघटित होता है जो हमेशा अलग नहीं होते हैं (या तो एक घन वक्र और एक रेखा, या दो शंकु, या एक शंकु और दो रेखाएं, या चार रेखाएं) .
दो चतुष्कोणीय सतहों का प्रतिच्छेदन, सामान्य रूप से जीनस एक और डिग्री चार का एक अस्थायी-विलक्षण वक्र है, और इस प्रकार दीर्घवृत्तीय वक्र है, यदि इसमें एक परिमेय बिंदु है। विशेष मामलों में प्रतिच्छेदन या तो एक तर्कसंगत एकवचन क्वार्टिक हो सकता है या छोटी डिग्री के वक्रों में विघटित हो सकता है जो हमेशा अलग नहीं होते हैं या तो एक घन वक्र और एक रेखा या दो शंकु या एक शंकु और दो रेखाएँ या चार रेखाएँ होती है। ..


=== एक से अधिक जीनस के वक्र ===
=== एक से अधिक जीनस के वक्र ===
एक से अधिक जीनस (गणित) के वक्र तर्कसंगत और अण्डाकार दोनों वक्रों से स्पष्ट रूप से भिन्न होते हैं। फाल्टिंग्स के प्रमेय द्वारा परिमेय संख्याओं पर परिभाषित ऐसे वक्रों में केवल परिमेय बिंदुओं की एक सीमित संख्या हो सकती है, और उन्हें [[ अतिपरवलयिक ज्यामिति ]] संरचना के रूप में देखा जा सकता है। उदाहरण [[ अतिअण्डाकार वक्र ]], [[ क्लेन क्वार्टिक ]] और [[ फ़र्मेट वक्र ]] हैं {{math|1=''x''<sup>''n''</sup> + ''y''<sup>''n''</sup> = ''z''<sup>''n''</sup>}} जब {{mvar|n}} तीन से बड़ा है। इसके अलावा प्रक्षेपी समतल वक्र में <math>\mathbb{P}^2</math> और वक्र <math>\mathbb{P}^1\times\mathbb{P}^1</math> कई उपयोगी उदाहरण प्रदान करें।
एक से अधिक जीनस के वक्र तर्कसंगत और दीर्घवृत्तीय दोनों वक्रों से स्पष्ट रूप से भिन्न होते हैं। फाल्टिंग्स के प्रमेय द्वारा परिमेय संख्याओं पर परिभाषित ऐसे वक्रों में केवल परिमेय बिंदुओं की एक सीमित संख्या हो सकती है, और उन्हें [[ अतिपरवलयिक ज्यामिति |अतिपरवलयिक ज्यामिति]] संरचना के रूप में देखा जा सकता है। उदाहरण [[ अतिअण्डाकार वक्र |हाइपरेलिप्टिक वक्र]] , [[ क्लेन क्वार्टिक |क्लेन क्वार्टिक वक्र]] और [[ फ़र्मेट वक्र |फ़र्मेट वक्र]] आदि हैं {{math|1=''x''<sup>''n''</sup> + ''y''<sup>''n''</sup> = ''z''<sup>''n''</sup>}} जब {{mvar|n}} तीन से बड़ा है। इसके अतिरिक्त प्रक्षेपी समतल वक्र में <math>\mathbb{P}^2</math> और वक्र <math>\mathbb{P}^1\times\mathbb{P}^1</math> कई उपयोगी उदाहरण प्रदान किए गए है।


==== प्रक्षेप्य समतल वक्र ====
==== प्रक्षेप्य समतल वक्र ====
समतल वक्र <math>C \subset \mathbb{P}^2</math> डिग्री का <math>k</math>, जिसे एक सामान्य खंड के लुप्त ठिकाने के रूप में बनाया जा सकता है <math>s \in \Gamma(\mathbb{P}^2, \mathcal{O}(k))</math>, जीनस है
समतल वक्र <math>C \subset \mathbb{P}^2</math> डिग्री का <math>k</math>, जिसे सामान्य खंड के लुप्त बिन्दुपथ के रूप में बनाया जा सकता है यह जीनस <math>s \in \Gamma(\mathbb{P}^2, \mathcal{O}(k))</math>,  
<math display="block">\frac{(k-1)(k-2)}{2}</math>
<math display="block">\frac{(k-1)(k-2)}{2}</math>
जिसे [[ सुसंगत शीफ कोहोलॉजी ]] का उपयोग करके परिकलित किया जा सकता है। यहां उनकी डिग्री के सापेक्ष वक्र पीढ़ी का संक्षिप्त सारांश दिया गया है
जिसे [[ सुसंगत शीफ कोहोलॉजी |सुसंगत शीफ कोहोलॉजी]] का उपयोग करके परिकलित किया जा सकता है। यहां उनकी डिग्री के सापेक्ष वक्र पीढ़ी का संक्षिप्त सारांश दिया गया है।
{| style="text-align: center; margin: auto;" class="wikitable"
{| style="text-align: center; margin: auto;" class="wikitable"
|-
|-
! degree
! डिग्री
| &nbsp; 1 &nbsp; || &nbsp; 2 &nbsp; || &nbsp; 3 &nbsp; || &nbsp; 4 &nbsp; || &nbsp; 5 &nbsp; || &nbsp; 6 &nbsp; || &nbsp; 7 &nbsp;
| &nbsp; 1 &nbsp; || &nbsp; 2 &nbsp; || &nbsp; 3 &nbsp; || &nbsp; 4 &nbsp; || &nbsp; 5 &nbsp; || &nbsp; 6 &nbsp; || &nbsp; 7 &nbsp;
|-
|-
! genus
! जीनस
| 0 || 0 || 1 || 3 || 6 || 10 || 15
| 0 || 0 || 1 || 3 || 6 || 10 || 15
|}
|}
उदाहरण के लिए, वक्र <math>x^4 + y^4 + z^4</math> जीनस के एक वक्र को परिभाषित करता है <math>3</math> जो अंतर के बाद से [[ चिकनी योजना ]] है <math>4x^3, 4y^3, 4z^3</math> वक्र के साथ कोई उभयनिष्ठ शून्य नहीं है.. एक सामान्य खंड का एक गैर-उदाहरण वक्र है <math>x(x^2 + y^2 + z^2)</math> जो, Bezouts प्रमेय के अनुसार, अधिक से अधिक प्रतिच्छेद करना चाहिए <math>2</math> अंक, दो परिमेय वक्रों का मिलन है <math>C_1 \cup C_2</math> दो बिंदुओं पर प्रतिच्छेद करना। टिप्पणी <math>C_1</math> के लुप्त ठिकाने द्वारा दिया गया है <math>x</math> तथा <math>C_2</math> के लुप्त ठिकाने द्वारा दिया गया है <math>x^2 + y^2 + z^2</math>. इन्हें स्पष्ट रूप से पाया जा सकता है: एक बिंदु दोनों में निहित है if <math>x = 0</math>. तो दो समाधान बिंदु हैं <math>[0:y:z]</math> ऐसा है कि <math>y^2 + z^2 = 0</math>, जो हैं <math>[0:1:-\sqrt{-1}]</math> तथा <math>[0: 1: \sqrt{-1}]</math>.
उदाहरण के लिए, वक्र <math>x^4 + y^4 + z^4</math> जीनस के एक वक्र को परिभाषित करता है <math>3</math> जो अंतर के बाद से [[ चिकनी योजना |समतल योजना]] है <math>4x^3, 4y^3, 4z^3</math> वक्र के साथ कोई उभयनिष्ठ शून्य नहीं है.. एक सामान्य खंड का एक अस्थायी-उदाहरण वक्र है <math>x(x^2 + y^2 + z^2)</math> जो, बेज़ाउट कि प्रमेय के अनुसार, अधिक से अधिक प्रतिच्छेद करना चाहिए <math>2</math> अंक, दो परिमेय वक्रों का मिलन है <math>C_1 \cup C_2</math> दो बिंदुओं पर प्रतिच्छेद करना। टिप्पणी <math>C_1</math> के लुप्त बिन्दुपथ द्वारा दिया गया है <math>x</math> तथा <math>C_2</math> के लुप्त बिन्दुपथ द्वारा दिया गया है <math>x^2 + y^2 + z^2</math>. इन्हें स्पष्ट रूप से पाया जा सकता है। एक बिंदु दोनों में निहित है यदि  <math>x = 0</math>. तो दो समाधान बिंदु हैं <math>[0:y:z]</math> ऐसा है कि <math>y^2 + z^2 = 0</math>, जो हैं <math>[0:1:-\sqrt{-1}]</math> तथा <math>[0: 1: \sqrt{-1}]</math>.


==== प्रक्षेप्य रेखाओं के गुणनफल में वक्र ====
==== प्रक्षेप्य रेखाओं के गुणनफल में वक्र ====
वक्र <math>C \subset \mathbb{P}^1\times\mathbb{P}^1</math> के लुप्त ठिकाने द्वारा दिया गया <math>s \in \Gamma(\mathbb{P}^1\times\mathbb{P}^1, \mathcal{O}(a,b))</math>, के लिये <math>a,b \geq 2</math>, जीनस के वक्र दें<math display="block">ab - a -b + 1</math>जिसे सुसंगत शीफ कोहोलॉजी का उपयोग करके जांचा जा सकता है। यदि <math>a = 2</math>, फिर वे जीनस के घटता को परिभाषित करते हैं <math>2b -2 -b + 1 = b-1</math>, इसलिए किसी भी जीनस के वक्र का निर्माण वक्र के रूप में किया जा सकता है <math>\mathbb{P}^1\times\mathbb{P}^1</math>. उनकी पीढ़ी को तालिका में संक्षेपित किया जा सकता है
वक्र <math>C \subset \mathbb{P}^1\times\mathbb{P}^1</math> के लुप्त बिन्दुपथ द्वारा दिया गया <math>s \in \Gamma(\mathbb{P}^1\times\mathbb{P}^1, \mathcal{O}(a,b))</math>, के लिये <math>a,b \geq 2</math>, जीनस के वक्र<math display="block">ab - a -b + 1</math>जिसे सुसंगत शीफ कोहोलॉजी का उपयोग करके जांचा जा सकता है। यदि <math>a = 2</math>, फिर वे जीनस के घटता को परिभाषित करते हैं <math>2b -2 -b + 1 = b-1</math> इसलिए किसी भी जीनस के वक्र का निर्माण वक्र के रूप में किया जा सकता है <math>\mathbb{P}^1\times\mathbb{P}^1</math> उनकी पीढ़ी को तालिका में संक्षेपित किया जा सकता है।
{| class="wikitable" style="text-align: center; margin: auto;"
{| class="wikitable" style="text-align: center; margin: auto;"
! bidegree
! द्वि-डिग्री
| <math>(2,2)</math> || <math>(2,3)</math> || <math>(2,4)</math> || <math>(2,5)</math>
| <math>(2,2)</math> || <math>(2,3)</math> || <math>(2,4)</math> || <math>(2,5)</math>
|-
|-
! genus
! जीनस
| 1 || 2 || 3 || 4
| 1 || 2 || 3 || 4
|}
|}
और के लिए <math>a = 3</math>, ये है
और <math>a = 3</math>, के लिए ये है
{| class="wikitable" style="text-align: center; margin: auto;"
{| class="wikitable" style="text-align: center; margin: auto;"
! bidegree
! द्वि-डिग्री
| <math>(3,2)</math> || <math>(3,3)</math> || <math>(3,4)</math> || <math>(3,5)</math>
| <math>(3,2)</math> || <math>(3,3)</math> || <math>(3,4)</math> || <math>(3,5)</math>
|-
|-
! genus
! जीनस
| 2 || 4 || 6 || 8
| 2 || 4 || 6 || 8
|}
|}
Line 287: Line 291:
* बायरेशनल ज्योमेट्री
* बायरेशनल ज्योमेट्री
*शंकु खंड
*शंकु खंड
*अण्डाकार वक्र
*दीर्घवृत्तीय वक्र
* [[ भिन्नात्मक आदर्श ]]
* [[ भिन्नात्मक आदर्श ]]
* एक बीजीय किस्म का कार्य क्षेत्र
* एक बीजीय किस्म का कार्य क्षेत्र
* [[ फंक्शन फील्ड (स्कीम थ्योरी) ]]
* [[ फलन क्षेत्र (स्कीम थ्योरी) ]]
* जीनस (गणित)
* जीनस (गणित)
*बहुपद लेमनिस्केट
*बहुपद लेमनिस्केट
Line 332: Line 336:
{{Curves}}
{{Curves}}
{{Authority control}}
{{Authority control}}
[[Category:बीजगणितीय वक्र| ]]


 
[[Category:AC with 0 elements]]
[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Articles with short description]]
[[Category:CS1 English-language sources (en)]]
[[Category:Created On 10/11/2022]]
[[Category:Created On 10/11/2022]]
[[Category:Exclude in print]]
[[Category:Interwiki category linking templates]]
[[Category:Interwiki link templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:Templates that add a tracking category]]
[[Category:Templates using TemplateData]]
[[Category:Wikimedia Commons templates]]
[[Category:बीजगणितीय वक्र| ]]

Latest revision as of 09:46, 20 November 2022

File:Tschirnhausen cubic.svg
Tschirnhausen घन डिग्री तीन का एक बीजगणितीय वक्र है

गणित में एक सजातीय बीजीय समतल वक्र दो चरों में बहुपद का शून्य सेट होता है।, जो एक प्रक्षेपी बीजीय तल वक्र तीन चरों में एक सजातीय बहुपद के प्रक्षेप्य तल में शून्य सेट होता है। एक बहुपद के परिभाषित बहुपद समरूपीकरण द्वारा प्रक्षेपी बीजीय समतल वक्र में एक सजातीय बीजीय समतल वक्र को पूरा किया जा सकता है। इसके विपरीत सजातीय समीकरण का एक प्रक्षेपी बीजीय समतल वक्र h(x, y, t) = 0 समीकरण के सजातीय बीजीय समतल वक्र तक सीमित किया जा सकता है h(x, y, 1) = 0 ये दो संक्रियाएं एक दूसरे के प्रतिलोम फलन हैं। इसलिए वाक्यांश बीजीय समतल वक्र अधिकांश स्पष्ट रूप से निर्दिष्ट किए बिना ही प्रयोग किया जाता है, कि क्या यह सजातीय या प्रक्षेपीय स्थिति है, ऐसा माना जाता है।

अधिक सामान्य रूप से एक बीजगणितीय वक्र आयाम की एक बीजगणितीय विविधता है। समतुल्य रूप से, एक बीजगणितीय वक्र एक बीजगणितीय विविधता है जो एक बीजगणितीय समतल वक्र के द्विभाजनित रूप से समतुल्य है। यदि वक्र एक सघन स्थान या प्रक्षेप्य स्थान में समाहित होता है, तो कोई इस तरह के द्विवार्षिक तुल्यता के लिए प्रक्षेपण को ले सकता है

ये द्विवार्षिक तुल्यता बीजगणितीय वक्रों के अधिकांश अध्ययन को बीजीय तल वक्रों के अध्ययन तक कम कर देती है। हालांकि, कुछ गुणों को द्विभाजनित तुल्यता के आधार पर नहीं रखा जाता है, और अस्थायी समतल वक्रों पर अध्ययन किया जाना चाहिए। यह विशेष रूप से एक बीजीय विविधता की उपाधि और समतलीय के सन्दर्भ में है। उदाहरण के लिए जीनस 0 के समतल वक्र और दो से अधिक डिग्री उपस्थित होते हैं, लेकिन ऐसे वक्रों के किसी भी समतल प्रक्षेपण में विलक्षण बिंदु होते हैं।(जीनस-डिग्री फॉर्मूला को देखें)

एक अस्थायी-समतल वक्र को अधिकांश अंतरिक्ष वक्र या तिरछा वक्र भी कहा जाता है।

यूक्लिडियन ज्यामिति में

यूक्लिडियन समतल में एक बीजीय वक्र उन बिंदुओं का समूह होता है, जिनके निर्देशांक द्विचर बहुपद समीकरण p(x, y) = 0 के समाधान होते हैं। x के एक कारक के स्पष्ट रूप से y को परिभाषित करने वाले कारक का एक ग्राफ़ हैं।

इस तरह के एक निहित समीकरण द्वारा दिए गए, वक्र के साथ पहली समस्या वक्र के आकार को निर्धारित करना और इसे खींचना है। तथा इन समस्याओं को हल करना उतना आसान नहीं होता है जितना कि, किसी कारक के ग्राफ के सन्दर्भ में होता है, जिसके लिए x के विभिन्न मानों के लिए y की गणना सरलता से की जा सकती है। तथ्य यह है कि परिभाषित समीकरण एक बहुपद है, जो कि यह दर्शाता है कि, वक्र में कुछ संरचनात्मक गुण होते हैं जो इन समस्याओं को हल करने में सहायता कर सकते हैं।

प्रत्येक बीजगणितीय वक्र विशिष्ट रूप से समतल मोनोटोन ज्यामिति जिन्हें द्विभाजन भी कहा जाता है, एक सीमित संख्या में विघटित किया जा सकता है, कभी-कभी कुछ बिंदुओं से जोड़ा जाता है, तथा जिन्हें कभी-कभी उल्लेखनीय बिंदु कहा जाता है, और संभवतः एक्नोड नामक पृथक बिंदुओं की सीमित संख्या होती है। जो समतल मोनोटोन वक्र समतल कारक का एक ग्राफ है, जिसे परिभाषित किया गया है और x अक्ष के विवृत अंतराल पर मोनोटोन कारक है। प्रत्येक दिशा में एक चाप असीमित होता है जिसे सामान्य रूप से एक अनंत चाप कहा जाता है या एक समापन बिंदु होता है, या तो एक विलक्षण बिंदु होता है (इसे नीचे परिभाषित किया जाएगा) या समन्वय अक्षों में से एक के समानांतर स्पर्शरेखा वाला बिंदु होता है।

उदाहरण के लिए, Tschirnhausen घन के लिए समापन बिंदु के रूप में मूल (0,0) वाले दो अनंत चाप हैं। यह बिंदु वक्र का एकमात्र गणितीय विलक्षणता बिंदु है। इस विलक्षण बिंदु का एक समापन बिंदु के रूप में और एक क्षैतिज स्पर्शरेखा के साथ दूसरा अंत बिंदु रखने वाले दो चाप भी हैं। अंत में दो अन्य चाप हैं, जिनमें से प्रत्येक में इनमें से एक बिंदु क्षैतिज स्पर्शरेखा के साथ पहले समापन बिंदु के रूप में है और दूसरे समापन बिंदु के रूप में ऊर्ध्वाधर स्पर्शरेखा के साथ अद्वितीय बिंदु है। इसके विपरीत, साइनसॉइड निश्चित रूप से एक बीजगणितीय वक्र नहीं है, जिसमें अनंत संख्या में मोनोटोन चाप होते हैं।

एक बीजगणितीय वक्र बनाने के लिए उल्लेखनीय बिंदुओं और उनकी स्पर्शरेखाओं के अनंत द्विभाजनों और उनके स्पर्शोन्मुख (यदि कोई हो) और जिस तरह से चाप उन्हें जोड़ते हैं, उसे जानना महत्वपूर्ण है। विभक्ति बिंदुओं को उल्लेखनीय बिंदुओं के रूप में मानना ​​भी उपयोगी है। जब यह सम्पूर्ण जानकारी कागज के एक टुकड़े पर खींची जाती है, तो वक्र का आकार सामान्य रूप से स्पष्ट रूप से दिखाई देता है। यदि नहीं, तो वक्र का अच्छा विवरण प्राप्त करने के लिए कुछ अन्य बिंदुओं और उनकी स्पर्शरेखाओं को जोड़ना पर्याप्त होगा।

उल्लेखनीय बिंदुओं और उनकी स्पर्शरेखाओं की गणना करने के तरीकों का वर्णन नीचे एक समतल वक्र के उल्लेखनीय बिंदुओं के खंड में किया गया है

समतल प्रक्षेप्य वक्र

प्रक्षेप्य स्थान में वक्रों पर विचार करना अक्सर वांछनीय होता है। समतल प्रक्षेप्य या समतल प्रक्षेप्य वक्र में एक बीजगणितीय वक्र एक समतल प्रक्षेप्य में बिंदुओं का समूह होता है, जिसके प्रक्षेपी निर्देशांक तीन चर P(x, y, z) में एक सजातीय बहुपद के शून्य होते हैं।

समीकरण p(x, y) = 0 के प्रत्येक सजातीय बीजगणितीय वक्र को समीकरण के प्रक्षेपी वक्र में पूरा किया जा सकता है

जहाँ पर,

p के समरूपीकरण का परिणाम है। इसके विपरीत यदि P(x, y, z) = 0 एक प्रक्षेप्य वक्र का समांगी समीकरण है, तो P(x, y, 1) = 0 एक परिबद्ध वक्र का समीकरण है, जिसमें प्रक्षेप्य वक्र के बिंदु होते हैं, जिसका तीसरा प्रक्षेप्य निर्देशांक शून्य नहीं है। ये दो संक्रियाएं एक दूसरे से पारस्परिक होती हैं, जैसे और, यदि p को द्वारा परिभाषित किया गया है। , फिर जैसे ही समांगी बहुपद P, z से विभाज्य नहीं है। उदाहरण के लिए, समीकरण x2 + y2z2 का प्रक्षेपी वक्र समीकरण x2 + y2 − 1 = 0 के इकाई वृत्त की प्रक्षेपी पूर्णता है।

इसका तात्पर्य यह है कि एक सजातीय वक्र और इसकी प्रक्षेप्य पूर्णता समान वक्र हैं, या अधिक सटीक रूप से सजातीय वक्र प्रक्षेपी वक्र का एक भाग है, जो पूर्ण वक्र को अच्छी तरह से परिभाषित करने के लिए काफी बड़ा है। इस दृष्टिकोण को सामान्य रूप से प्रक्षेप्य पूर्णता के अंक परिमित संख्या में सजातीय वक्र के अंक पर अनंत कहकर व्यक्त किया जाता है जो सजातीय भाग से संबंधित नहीं है।

प्रक्षेपी वक्रों का अधिकांश स्वयं के लिए अध्ययन किया जाता है। वे सजातीय घटता के अध्ययन के लिए भी उपयोगी हैं। उदाहरण के लिए यदि p(x, y) आंशिक व्युत्पन्न के पास में एक सजातीय वक्र को परिभाषित करने वाला बहुपद है तथा , अनंत पर व्युत्पन्न पर विचार करना उपयोगी होता है

उदाहरण के लिए, एक बिंदु (a,b) पर समीकरण पी (x ,y) = 0 के सजातीय वक्र के स्पर्शरेखा का समीकरण है

समतल वक्र के उल्लेखनीय बिंदु

इस खंड में हम एक द्विचर बहुपद p(x, y) द्वारा परिभाषित एक समतल बीजीय वक्र पर विचार करते हैं, और समरूपीकरण द्वारा परिभाषित इसकी प्रक्षेपी पूर्णता पर विचार करते हैं। of p.

एक रेखा के साथ प्रतिच्छेदन

किसी दी गई रेखा के साथ वक्र के प्रतिच्छेदन बिंदुओं को जानना अधिकांश उपयोगी होता है। अक्षों के निर्देशांक के साथ प्रतिच्छेदन और स्पर्शोन्मुख वक्र को खींचने के लिए उपयोगी होते हैं। अक्षों के समानांतर एक रेखा के साथ प्रतिच्छेद करने से वक्र की प्रत्येक द्विभाजन में कम से कम एक बिंदु खोजने की अनुमति मिलती है। यदि एक कुशल रूट-फाइंडिंग कलनविधि उपलब्ध है, तो यह y-अक्ष के समानांतर सभी रेखाओं के साथ प्रतिच्छेदन बिंदु को आरेखित करके और x-अक्ष पर प्रत्येक पिक्सेल से गुजरते हुए वक्र खींचने की अनुमति प्रदान करता है।

यदि वक्र को परिभाषित करने वाले बहुपद की कोण d है, तो कोई भी रेखा वक्र को अधिकतम d बिंदुओं में काटती है। बेज़ाउट की प्रमेय का दावा है कि यह संख्या बिल्कुल d है, अगर अंक बीजगणितीय रूप से संवृत क्षेत्र उदाहरण के लिए जटिल संख्या पर समतल प्रक्षेप्य में खोजे जाते हैं, और उनकी बहुलता के साथ गिना जाता है। इस सरल परिस्थिति में गणना की विधि इस प्रमेय को फिर से यह सिद्ध करती है।

समीकरण ax+by+c = 0 की रेखा के साथ बहुपद p द्वारा परिभाषित वक्र के प्रतिच्छेदन की गणना करने के लिए, कोई x के लिए रेखा के समीकरण को हल करता है या y के लिए यदि a = 0 परिणाम को p में प्रतिस्थापित करने पर एक अविभाज्य समीकरण q(y) = 0 (या q(x) = 0 प्राप्त होता है, यदि रेखा का समीकरण y में हल किया गया है, जिसका प्रत्येक मूल प्रतिच्छेदन बिंदु का एक निर्देशांक है अन्य निर्देशांक रेखा के समीकरण से काटे जाते हैं। प्रतिच्छेदन बिंदु की बहुलता संबंधित मूल की बहुलता है। यदि q की घात p की घात से कम है, तो अनंत पर एक प्रतिच्छेदन बिंदु होता है। अनंत पर ऐसे प्रतिच्छेदन बिंदु की बहुलता p और q की डिग्री का अंतर है।

एक बिंदु पर स्पर्श रेखा

वक्र के एक बिंदु (a, b) पर स्पर्शरेखा समीकरण की रेखा है , जैसे एक निहित समीकरण द्वारा परिभाषित प्रत्येक अवकलनीय वक्र के लिए। बहुपदों के परिस्थित में, स्पर्शरेखा के लिए एक अन्य सूत्र का सरल स्थिर पद होता है और यह अधिक सममित होता है।


जहाँ पर अनंत पर व्युत्पन्न है। जो दो समीकरणों की तुल्यता, P पर लागू यूलर के समांगी फलन प्रमेय से प्राप्त होती है।

यदि स्पर्शरेखा परिभाषित नहीं है और बिंदु एक विलक्षण बिंदु है।

यह प्रक्षेपीय स्थिति तक तुरंत विस्तारित होता है। प्रक्षेपी निर्देशांक (a:b:c) के प्रक्षेपीय वक्र के समीकरण P के स्पर्शरेखा का समीकरण। (x, y, z) = 0 है।

और वक्रों के बिंदु जो विलक्षण हैं वे ऐसे बिंदु हैं कि

शर्त P(a, b, c) = 0 इन शर्तों से, यूलर के समांगी फलन प्रमेय द्वारा निहित है

स्पर्शोन्मुख

बीजगणितीय वक्र की प्रत्येक अनंत द्विभाजन वक्र अनंतता पर एक बिंदु से मेल खाती है, जो कि वक्र के प्रक्षेप्य समापन का एक बिंदु है जो इसके सजातीय भाग से संबंधित नहीं है। संबंधित स्पर्शोन्मुख उस बिंदु पर वक्र की स्पर्शरेखा है। प्रक्षेपी वक्र पर स्पर्शरेखा के लिए सामान्य सूत्र लागू हो सकता है, लेकिन इस मामले में इसे स्पष्ट करना उचित है।

माना कि वक्र को उसके सजातीय भागों में परिभाषित करने वाले बहुपद का अपघटन हो, जहां pi, p के एकपदी का योग है तथा डिग्री i इस प्रकार है कि

तथा
वक्र की अनंतता पर एक बिंदु (a, b, 0) के रूप में पी का शून्य है। समान रूप से, (a, b) पीडी का शून्य है। बीजगणित के मौलिक प्रमेय का अर्थ है, कि बीजगणितीय रूप से संवृत क्षेत्र (सामान्य रूप से जटिल संख्याओं का क्षेत्र) पर, pd कारकों को रैखिक कारकों के उत्पाद में बदल देता है। प्रत्येक कारक वक्र पर अनंत पर एक बिंदु को परिभाषित करता है। यदि bx - ay ऐसा कारक है, तो यह बिंदु को अनंत (a, b, 0) पर परिभाषित करता है। वास्तविक से अधिक, pd कारकों को रैखिक और द्विघात कारकों में विभाजित करता है। अपरिवर्तनीय बहुपद द्विघात कारक अनंत पर अस्थायी-वास्तविक बिंदुओं को परिभाषित करते हैं, और वास्तविक बिंदु रैखिक कारकों द्वारा दिए जाते हैं।

यदि (a, b, 0) वक्र की अनंतता पर एक बिंदु है, तो कोई कहता है कि (a, b) एक स्पर्शोन्मुख दिशा है। समुच्चय q = pd संगत अनंतस्पर्शी का समीकरण है

यदि तथा स्पर्शोन्मुख रेखा अनंत पर है, और वास्तविक स्थिति में वक्र का द्विभाजन होता है, जो एक परवलय की तरह दिखती है। इस स्थिति में कोई कहता है कि वक्र की एक परवलयिक द्विभाजन है। यदि

वक्र में अनंत पर एक विलक्षण बिंदु होता है और इसमें कई स्पर्शोन्मुख हो सकते हैं। उनकी गणना एक विलक्षण बिंदु के स्पर्शरेखा शंकु की गणना की विधि द्वारा की जा सकती है।

विलक्षण बिन्दु

डिग्री d के एक बहुपद p(x,y) द्वारा परिभाषित डिग्री d के वक्र का विलक्षण बिंदु समीकरणों की प्रणाली के समाधान हैं।

विशेषता (बीजगणित) शून्य में, यह प्रणाली बराबर है
जहां, पूर्ववर्ती खंड के संकेतन के साथ,

यूलर के सजातीय कार्य प्रमेय के कारण प्रणाली समतुल्य हैं। बाद वाली प्रणाली को d के बजाय d-1 घात का तीसरा बहुपद होने का लाभ मिलता है।

इसी तरह, डिग्री d के सजातीय बहुपद P(x,y,z) द्वारा परिभाषित एक प्रक्षेप्य वक्र के लिए, विलक्षण बिंदुओं में प्रणाली के समान होते हैं

सजातीय निर्देशांक के रूप में। (सकारात्मक विशेषता में समीकरण प्रणाली में जोड़ा जाना चाहिए।)

इसका तात्पर्य यह है, कि जब तक p(x,y) या P(x,y,z) वर्ग-मुक्त बहुपद है, तब तक विलक्षण बिंदुओं की संख्या परिमित है। बेज़ाउट के प्रमेय का तात्पर्य इस प्रकार है कि विलक्षण बिंदुओं की संख्या अधिक से अधिक (d−1)2 है, लेकिन यह सीमा स्पष्ट नहीं है क्योंकि समीकरणों की प्रणाली अतिनिर्धारित प्रणाली है। यदि कम करने योग्य बहुपदों की अनुमति है, तो तीक्ष्ण सीमा d(d−1)/2 है, यह मान तब पहुँचता है जब रैखिक गुणनखंडों में बहुपद कारक होते हैं, अर्थात यदि वक्र d रेखाओं का मिलन है। अलघुकरणीय वक्रों और बहुपदों के लिए विलक्षण बिंदुओं की संख्या अधिक से अधिक (d−1)(d−2)/2 है, क्योंकि सूत्र जीनस को विलक्षणता के रूप में व्यक्त करता है। अधिकतम जीनस शून्य के घटता तक पहुँच जाता है जिसकी सभी विलक्षणताओं में बहुलता दो और विशिष्ट स्पर्शरेखाएँ होती हैं (नीचे देखें)।

विलक्षण बिंदु पर स्पर्शरेखा का समीकरण विलक्षण बिंदु पर बहुपद की टेलर श्रृंखला में निम्नतम डिग्री के अस्थायी-शून्य सजातीय भाग द्वारा दिया जाता है। जब कोई विलक्षण बिंदु को मूल में रखने के लिए निर्देशांक बदलता है, तो विलक्षण बिंदु पर स्पर्शरेखा का समीकरण इस प्रकार बहुपद की निम्नतम डिग्री का अस्थायी-शून्य सजातीय भाग होता है, और विलक्षण बिंदु की बहुलता इस सजातीय भाग की डिग्री है।

विश्लेषणात्मक संरचना

विलक्षण बिंदु के प्रतिवेश में एक बीजगणितीय वक्र की विश्लेषणात्मक संरचना का अध्ययन विलक्षण की टोपोलॉजी की सटीक जानकारी प्रदान करता है। वास्तव में विलक्षण बिंदु के पास एक वास्तविक बीजगणितीय वक्र द्विभाजनों की एक सीमित संख्या का संघ है जो केवल विलक्षण बिंदु पर प्रतिच्छेद करता है और या तो एक पुच्छ (विलक्षण) या एक समतल वक्र के रूप में दिखाई देता है।

एक नियमित बिंदु के पास, वक्र के निर्देशांकों में से एक को दूसरे निर्देशांक के विश्लेषणात्मक कार्य के रूप में व्यक्त किया जा सकता है। यह विश्लेषणात्मक अन्तर्निहित कार्य प्रमेय का परिणाम है, और इसका तात्पर्य है कि वक्र बिंदु के निकट समतल वक्र है। एक विलक्षण बिंदु के पास स्थिति अधिक जटिल है और इसमें प्यूसेक्स श्रृंखला सम्मिलित है, जो द्विभाजनों के विश्लेषणात्मक पैरामीट्रिक समीकरण प्रदान करती है।

विलक्षणता को वर्णित करने के लिए, मूल में विलक्षणता रखने के लिए वक्र का अनुवाद करना उचित होता है। इसमें प्रपत्र के चर का परिवर्तन सम्मिलित है जहां पर विलक्षण बिंदु के निर्देशांक हैं। निम्नलिखित में, विचाराधीन विलक्षण बिंदु को हमेशा मूल बिंदु पर माना जाता है।

एक बीजीय वक्र का समीकरण है जहाँ पर f एक बहुपद है x तथा y. मे इस बहुपद को एक बहुपद के रूप में माना जा सकता है y, प्यूसेक्स श्रृंखला के बीजगणितीय रूप से बाहरी क्षेत्र में गुणांक के साथ x. इस प्रकार f फॉर्म के कारकों में गुणनखण्ड किया जा सकता है जहाँ पर P एक प्यूसेक्स श्रृंखला है। ये सभी कारक अलग हैं यदि f एक अपरिवर्तनीय बहुपद है, क्योंकि इसका तात्पर्य है कि f बहुपद वर्ग-मुक्त है, जो गुणांक के क्षेत्र से स्वतंत्र है।

यहां होने वाली प्यूसेक्स श्रृंखला का रूप है

जहाँ पर d एक धनात्मक पूर्णांक है, और एक पूर्णांक है, जिसे धनात्मक भी माना जा सकता है, क्योंकि हम वक्र की केवल उन द्विभाजनों पर विचार करते हैं जो मूल बिंदु से होकर गुजरती हैं। व्यापकता के बिना किसी क्षय के हम मान सकते हैं कि d के सबसे बड़े सामान्य भाजक के साथ सहअभाज्य पूर्णांक है n ऐसा है, कि (अन्यथा, कोई घातांक के लिए एक छोटा सामान्य भाजक चुन सकता है)।

माना कि एकता का प्राथमिक मूल dth एकता की रूट हो। यदि उपरोक्त प्यूसेक्स श्रृंखला के गुणनखंड में होती है , फिर d श्रृंखला

गुणनखंड गैलोइस सिद्धांत का एक परिणाम में भी होते हैं। इन d श्रृंखला को बीजगणितीय संयुग्म भी कहा जाता है, और वक्र की एक द्विभाजन के रूप में माना जाता है, प्रभाव सूचकांक की d.

एक वास्तविक वक्र की स्थिति में जो वास्तविक गुणांक वाले बहुपद द्वारा परिभाषित एक वक्र है, तीन स्थिति हो सकते हैं। अगर कोई नहीं वास्तविक गुणांक हैं, तो किसी के पास एक अस्थायी-वास्तविक द्विभाजन है। यदि कुछ वास्तविक गुणांक हैं, तो कोई इसे इस रूप में चुन सकता है . यदि d विषम है, तो का प्रत्येक वास्तविक मान x का वास्तविक मान प्रदान करता है , और किसी के पास एक वास्तविक द्विभाजन है जो नियमित दिखती है, हालांकि यह विलक्षण है if d > 1. यदि d सम है, तो तथा वास्तविक मान हैं, लेकिन केवल . के लिए x ≥ 0. इस स्थिति में, वास्तविक द्विभाजन एक पुच्छ विलक्षणता के रूप में दिखती है या एक पुच्छल है, जो उपयोग किए जाने वाले पुच्छ की परिभाषा पर निर्भर करता है।

उदाहरण के लिए, साधारण पुच्छ विलक्षणता की केवल एक द्विभाजन होती है। यदि इसे समीकरण द्वारा परिभाषित किया जाता है तो गुणनखंड है प्रभाव सूचकांक 2 है, और दो कारक वास्तविक हैं और प्रत्येक आधा द्विभाजन को परिभाषित करते हैं। यदि पुच्छल घुमाया जाता है, तो यह समीकरण बन जाता है और गुणनखंड है साथ (गुणांक करने के लिए सरल नहीं किया गया है j यह दिखाने के लिए कि उपरोक्त परिभाषा कैसे है विशिष्ट है। यहां प्रभाव सूचकांक 3 है, और केवल एक कारक वास्तविक है इससे पता चलता है कि, पहले स्थिति में दो कारकों मे एक ही द्विभाजन को परिभाषित करने के रूप में माना जाना चाहिए।

अस्थायी समतल बीजीय वक्र

एक बीजगणितीय वक्र आयाम एक की एक बीजगणितीय विविधता है। इसका तात्पर्य है, कि आयाम n के एक संबधित स्थान में एक संबधित वक्र, n चरों में कम से कम n−1 बहुपदों द्वारा परिभाषित किया गया है। एक वक्र को परिभाषित करने के लिए इन बहुपदों को क्रुल आयाम 1 का एक प्रमुख आदर्श उत्पन्न करना चाहिए। व्यवहार में इस स्थिति का परीक्षण करना आसान नहीं है। इसलिए, अस्थायी-समतल वक्रों का प्रतिनिधित्व करने के लिए निम्नलिखित तरीके को प्राथमिकता दी जा सकती है।

माना कि दो चर x . में n बहुपद x1 और x2 ऐसा है कि f अपरिवर्तनीय है। आयाम n के सजातीय स्थान में ऐसे बिंदु जिनके निर्देशांक समीकरणों और असमानताओं को संतुष्ट करते हैं

एक बीजीय वक्र के सभी बिंदु हैं जिसमें एक सीमित संख्या में अंक हटा दिए गए हैं। यह वक्र बहुपद h के आदर्श के परिवर्तक की एक प्रणाली द्वारा परिभाषित किया गया है जैसे कि यह एक पूर्णांक k उपस्थित है द्वारा उत्पन्न आदर्श के अंतर्गत आता है .

यह निरूपण f द्वारा परिभाषित वक्र और समतल वक्र के बीच एक द्विवार्षिक तुल्यता है। प्रत्येक बीजीय वक्र को इस प्रकार निरूपित किया जा सकता है। हालांकि, दो पहले चर पर लगभग हमेशा अंतः क्षेपक के लिए चर के एक रैखिक परिवर्तन की आवश्यकता हो सकती है। जब चर के परिवर्तन की आवश्यकता होती है, तो लगभग हर परिवर्तन सुविधाजनक होता है, जैसे ही इसे एक अनंत क्षेत्र में परिभाषित किया जाता है।

यह निरूपण हमें एक अस्थायी-समतल बीजगणितीय वक्र की किसी भी संपत्ति को आसानी से निकालने की अनुमति देता है, जिसमें इसके चित्रमय प्रतिनिधित्व भी सम्मिलित है, इसके समतल प्रक्षेपण से संबंधित है।

अंतर्निहित समीकरणों द्वारा परिभाषित वक्र के लिए, वक्र के उपरोक्त प्रतिनिधित्व को ब्लॉक क्रम के लिए ग्रोबनेर आधार से आसानी से घटाया जा सकता है जैसे कि छोटे चर का ब्लॉक (x1, x2) है। बहुपद f आधार में अद्वितीय बहुपद है, जो केवल x1 और x2 पर निर्भर करता है। भिन्न gi/g0, i = 3, ..., n, के आधार पर एक बहुपद का चयन करके प्राप्त किया जाता है जो कि xi में रैखिक है और केवल x1,x2 और xi पर निर्भर करता है। यदि ये विकल्प संभव नहीं हैं, तो इसका अर्थ यह है कि या तो समीकरण एक बीजगणितीय समूह को परिभाषित करते हैं जो विविधता नहीं है, या कि विविधता एक आयाम की नहीं है, या कि किसी को निर्देशांक में परिवर्तन करना चाहिए। बाद वाला मामला तब होता है जब एफ मौजूद होता है और अद्वितीय होता है, और i = 3, ..., n के लिए, ऐसे बहुपद उपस्थित होते हैं जिनके प्रमुख मोनोमियल केवल x1, x2 और xi पर निर्भर करते हैं।

बीजीय कार्य क्षेत्र

बीजीय वक्रों के अध्ययन को अघुलनशील बीजीय वक्रों के अध्ययन के लिए कम किया जा सकता है। वे वक्र जिन्हें दो छोटे वक्रों के मिलन के रूप में नहीं लिखा जा सकता है। बायरेशन तुल्यता तक, एक क्षेत्र F पर अलघुकरणीय वक्र स्पष्ट रूप से F के ऊपर एक चर में बीजीय कार्य क्षेत्र के बराबर होते हैं। ऐसा बीजगणितीय कार्य क्षेत्र F का क्षेत्र विस्तार K होता है, जिसमें एक तत्व x होता है जो F पर अनुवांशिक होता है, और ऐसा कि K, F(x) का एक परिमित बीजीय विस्तार है, जो F के ऊपर अनिश्चित x में परिमेय फलनों का क्षेत्र है।

उदाहरण के लिए सम्मिश्र संख्याओं के क्षेत्र 'C' पर विचार करें, जिस पर हम C में परिमेय फलनों के क्षेत्र C(x) को परिभाषित कर सकते हैं। यदि y2 = x3x − 1, तो क्षेत्र C(xy) एक दीर्घवृत्तीय फलन है। तत्व x विशिष्ट रूप से निर्धारित नहीं है; उदाहरण के लिए, क्षेत्र को C(y) के विस्तार के रूप में भी माना जा सकता है। कार्य क्षेत्र से संबंधित बीजगणितीय वक्र केवल C2 में बिंदुओं (xy) का समूह संतोषजनक y2 = x3x − 1 है।

यदि क्षेत्र F बीजगणितीय रूप से संवृत नहीं है, तो कार्य क्षेत्र का दृष्टिकोण बिंदुओं के स्थान पर विचार करने की तुलना में थोड़ा अधिक सामान्य है, क्योंकि हम उदाहरण के लिए वक्र को बिना किसी बिंदु के सम्मिलित करते हैं। उदाहरण के लिए यदि आधार क्षेत्र F वास्तविक संख्याओं का क्षेत्र R है, तो x2 + y2 = −1 R(x) के बीजीय विस्तार क्षेत्र को परिभाषित करता है, लेकिन R2 के उपसमुच्चय के रूप में माने जाने वाले संगत वक्र का कोई अंक नहीं है। समीकरण x2 + y2 = −1 योजना के अर्थ में R के ऊपर एक अपरिवर्तनीय बीजगणितीय वक्र को परिभाषित करता है R पर परिमित प्रकार की एक अभिन्न, अलग एक-आयामी योजनाएं, इस अर्थ में F पर अलघुकरणीय बीजीय वक्रों के बीच एक-से-एक पत्राचार (बाईरेशनल तुल्यता तक) और F पर एक चर में बीजगणितीय कार्य क्षेत्र सामान्य रूप से धारण करते हैं।

वक्र के रूप में समरूप के बिना दो वक्र द्विभाजनित रूप से समतुल्य हो सकते हैं (अर्थात समरूपता कार्य क्षेत्र हैं)। स्थिति आसान हो जाती है जब व्युत्क्रमणीय वक्र से निपटते हैं, अर्थात वे जिनमें किसी भी विलक्षण की कमी होती है। एक क्षेत्र पर दो अस्थायी-विलक्षण प्रक्षेपी वक्र समरूप होते हैं यदि और केवल उनके कार्य क्षेत्र समरूप हैं

ट्सेंस का प्रमेय बीजगणितीय रूप से संवृत क्षेत्र पर एक बीजीय वक्र के कार्य क्षेत्र के बारे में है।

जटिल वक्र और वास्तविक सतह

एक जटिल प्रक्षेपी बीजगणितीय वक्र n-आयामी जटिल प्रक्षेप्य स्थान CPn में रहता है। इसका जटिल आयाम n है, लेकिन टोपोलॉजिकल आयाम, वास्तविक कई गुना 2n के रूप में और सघन , सम्बद्ध और उन्मुखता है। C के ऊपर एक बीजीय वक्र के दो टोपोलॉजिकल आयाम भी होता है दूसरे शब्दों में यह एक सतह है।

इस सतह का टोपोलॉजिकल जीनस, जो कि हैंडल या डोनट होल की संख्या है, बीजीय वक्र के ज्यामितीय जीनस के बराबर है जिसे बीजीय माध्यमों द्वारा गणना की जा सकती है। संक्षेप में, यदि कोई एक अस्थायी-विलक्षण वक्र के समतल प्रक्षेपण पर विचार करता है जिसमें डिग्री d है और केवल साधारण विलक्षणताएं हैं। अलग-अलग स्पर्शरेखाओं के साथ बहुलता की दो विलक्षणताएं हैं, तब जीनस (d − 1)(d − 2)/2 − k, जहां k इन विलक्षणताओं की संख्या है।

सघन रीमैन सतह

एक रीमैन सतह एक जटिल आयाम का एक जुड़ा हुआ जटिल विश्लेषणात्मक विविध है, जो इसे दो आयामों का एक जुड़ा हुआ वास्तविक कई गुना बनाता है। यदि यह एक टोपोलॉजिकल स्थान के रूप में सघन है तो यह सघन होता है।

C पर समतल अघुलनशील प्रक्षेप्य बीजगणितीय वक्रों की श्रेणी के बीच श्रेणियों का तिगुना तुल्यता होती है, रूपवाद के रूप में अस्थायी-निरंतर नियमित मानचित्रों के साथ, सघन रीमैन सतहों की श्रेणी अस्थायी-निरंतर होलोमोर्फिक मानचित्रों के रूप में तथा इसके विपरीत C पर एक चर में बीजगणितीय कार्य क्षेत्र की श्रेणी (क्षेत्र होमोमोर्फिज़्म के साथ जो C को रूपवाद के रूप में सही करते हैं)। इसका अर्थ यह हुआ कि, इन तीनों विषयों का अध्ययन करने में एक प्रकार से हम एक ही वस्तु का अध्ययन कर रहे हैं। यह बीजगणितीय ज्यामिति में जटिल विश्लेषणात्मक विधियों का उपयोग करने की अनुमति देता है, और जटिल विश्लेषण में बीजगणितीय-ज्यामितीय विधियों और दोनों में क्षेत्र-सैद्धांतिक विधियों का उपयोग करने की अनुमति देता है। यह बीजगणितीय ज्यामिति में समस्याओं के एक व्यापक वर्ग की विशेषता है।

अधिक सामान्य सिद्धांत के लिए बीजीय ज्यामिति और विश्लेषणात्मक ज्यामिति भी देखें।

विलक्षणताएं

स्पर्शरेखा स्थान की आंतरिक अवधारणा का उपयोग करते हुए, बीजीय वक्र C पर बिंदु P को समतल (समानार्थक अस्थायी-विलक्षण), या अन्य विलक्षण के रूप में वर्गीकृत किया गया है। n−1 सजातीय बहुपदों को n+1 चरों में दिया गया है, हम आंशिक अवकलजों के (n−1)×(n+1) आव्यूह के रूप में जैकोबियन आव्यूह पा सकते हैं। यदि इस आव्यूह की कोटि n−1 है, तो बहुपद एक रैखिक बीजगणितीय वक्र को परिभाषित करते हैं अन्यथा वे उच्च आयाम की एक बीजीय विविधता को परिभाषित करते हैं। यदि रैंक n−1 बनी रहती है,जब वक्र पर एक बिंदु P पर जैकोबियन आव्यूह का मानांकन किया जाता है, तो बिंदु एक समतल या नियमित बिंदु होता है। अन्यथा यह एक विलक्षण बिंदु है। विशेष रूप से, यदि वक्र एक समतल प्रक्षेपी बीजगणितीय वक्र है, जो एकल सजातीय बहुपद समीकरण f(x,y,z) = 0 द्वारा परिभाषित है, तो विलक्षण बिंदु सटीक रूप से बिंदु P हैं, जहां 1×(n+) का कोटि 1) आव्यूह शून्य है,

अर्थात जहाँ

चूँकि f एक बहुपद है, यह परिभाषा विशुद्ध रूप से बीजीय है और क्षेत्र F की प्रकृति के बारे में कोई धारणा नहीं बनाती है, जो विशेष रूप से वास्तविक या सम्मिश्र संख्या होने की आवश्यकता नहीं है। अवश्य यह याद रखना चाहिए कि (0,0,0) वक्र का बिंदु नहीं है और इसलिए विलक्षण बिंदु नहीं है।

इसी तरह, एकल बहुपद समीकरण f(x,y) = 0 द्वारा परिभाषित एक सजातीय बीजगणितीय वक्र के लिए, तो विलक्षण बिंदु वक्र के बिंदु P होते हैं जहां 1×n जैकोबियन आव्यूह की स्थिति शून्य होती है, अर्थात जहाँ पर

एक वक्र की विलक्षणताएँ द्विअर्थी अपरिवर्तनीय नहीं हैं। हालांकि वक्र की विलक्षणताओं का पता लगाना और उन्हें वर्गीकृत करना जीनस की गणना करने का एक तरीका है, जो द्विवार्षिक अपरिवर्तनीय है। इस काम को करने के लिए हमें वक्र पर प्रक्षेप्य रूप से विचार करना चाहिए और F को बीजगणितीय रूप से संवृत करने की आवश्यकता है, ताकि वक्र से संबंधित सभी विलक्षणताओं पर विचार किया जा सके।

विलक्षणताओं का वर्गीकरण

विलक्षण बिंदुओं में कई बिंदु सम्मिलित होते हैं जहां वक्र स्वयं को पार करता है, और विभिन्न प्रकार के पुच्छल भी होते हैं, उदाहरण के लिए जो समीकरण x3 = y2 at (0,0) के साथ वक्र द्वारा दिखाया गया है।

एक वक्र C में विलक्षण बिंदुओं की अधिकतम संख्या सीमित होती है। यदि इसमें कोई नहीं है, तो इसे समतल या अस्थायी-विलक्षण कहा जा सकता है। सामान्य रूप से इस परिभाषा को एक बीजीय रूप से संवृत क्षेत्र पर और एक वक्र सी के लिए एक प्रक्षेप्य स्थान (अर्थात बीजगणितीय ज्यामिति के अर्थ में पूर्ण) के लिए समझा जाता है। उदाहरण के लिए, समीकरण का समतल वक्र अनंत पर विलक्षण बिंदु होने के रूप में विलक्षण के रूप में माना जाता है।

इस खंड के शेष भाग में एक समतल वक्र पर विचार किया जाता है,कि C को द्विचर बहुपद के शून्य समुच्चय के रूप में परिभाषित किया गया है f(x, y). कुछ परिणाम, लेकिन सभी नहीं, अस्थायी-समतल वक्रों के लिए सामान्यीकृत किए जा सकते हैं।

विलक्षण बिंदुओं को कई अपरिवर्तनीयों के माध्यम से वर्गीकृत किया जाता है। बहुलता m को अधिकतम पूर्णांक के रूप में परिभाषित किया जाता है जैसे कि का व्युत्पन्न f तक के सभी क्रमों तक m – 1 लुप्त हो जाता है, वक्र और सीधी रेखा के बीच की न्यूनतम प्रतिच्छेदन संख्या भी P, सहज रूप से एक विलक्षण बिंदु में डेल्टा अपरिवर्तनीय होता है δ अगर यह ध्यान केंद्रित करता है δ साधारण दोहरे अंक P इसे सटीक बनाने के लिए, बढ़ाते हुए प्रक्रिया तथाकथित असीम रूप से निकट बिंदुओं का उत्पादन करती है, और संक्षेप m(m−1)/2 अपरिमित निकट बिंदुओं पर, जहाँ m उनकी बहुलता है, उत्पन्न करता है δ. एक अपरिवर्तनीय और कम वक्र और एक बिंदु के लिए P हम परिभाषित कर सकते हैं δ बीजगणितीय रूप से की लंबाई के रूप में जहाँ पर और P पर स्थानीय वलय है इसका अभिन्न संवृत है।[1]

मिल्नोर नंबर μ एक विलक्षणता का मानचित्रण की डिग्री है grad f(x,y)/|grad f(x,y)| त्रिज्या के छोटे गोले पर एक सतत मानचित्रण की टोपोलॉजिकल डिग्री के अर्थ में, जहां grad f f का जटिल वेक्टर क्षेत्र है। यह मिल्नोर-जंग सूत्र द्वारा δ और r से संबंधित है,

μ = 2δ − r + 1.

यहाँ, P की द्विभाजन संख्या r, P पर स्थानीय रूप से अलघुकरणीय द्विभाजनों की संख्या है। उदाहरण के लिए, r = 1 एक साधारण पुच्छल पर, और r = 2 एक साधारण दोहरे बिंदु पर बहुलता m कम से कम r है, और वह P एकवचन है यदि और केवल यदि m कम से कम 2 है। इसके अलावा, δ कम से कम m(m-1)/2 है

सभी विलक्षणताओं के डेल्टा अचरों की गणना करने से वक्र के जीनस जी को निर्धारित किया जा सकता है, यदि d डिग्री है, तो

जहां योग जटिल प्रक्षेप्य समतल वक्र के सभी विलक्षण बिंदु P पर लिया जाता है। इसे जीनस सूत्र कहते हैं।

अपरिवर्तनीय [m, δ, r] को एक विलक्षणता के लिए नियुक्त करें, जहां m बहुलता है, डेल्टा-अपरिवर्तनीय है, और r द्विभाजन नंबर है। फिर एक साधारण पुच्छल एक बिंदु है जिसमें अपरिवर्तनीय [2,1,1] और एक साधारण दोहरा बिंदु अपरिवर्तनीय [2,1,2] के साथ एक बिंदु है, और एक साधारण M-एकाधिक बिंदु अपरिवर्तनीय [m, m] के साथ एक बिंदु है।

[m, m(m−1)/2, m]

वक्र के उदाहरण

परिमेय वक्र

एक परिमेय वक्र, जिसे एक वक्रीय वक्र भी कहा जाता है, कोई भी वक्र है जो द्विभाजनित रूप से एक रेखा के समतुल्य है, जिसे हम प्रक्षेपी रेखा मान सकते हैं इसीलिए हम एक अनिश्चित f(x) में तर्कसंगत कार्यों के क्षेत्र के साथ वक्र के कार्य क्षेत्र की पहचान कर सकते हैं। यदि F बीजगणितीय रूप से संवृत है, तो यह जीनस शून्य के वक्र के बराबर है। हालांकि, वास्तविक बीजगणितीय विविधता x2+y2 = −1 पर परिभाषित सभी वास्तविक बीजगणितीय कार्यों का क्षेत्र जीनस शून्य का एक क्षेत्र होता है जो एक तर्कसंगत कार्य क्षेत्र नहीं है।

सामान्य रूप से, f पर आयाम n के एक सजातीय स्थान में अंतर्निहित एक तर्कसंगत वक्र को एक पैरामीटर t के n तर्कसंगत कारर्यों के माध्यम से पैरामीटरकृत किया जा सकता है (पृथक असाधारण बिंदुओं को छोड़कर), इन तर्कसंगत कार्यों को समान भाजक में कम करके, n+1 परिणामी बहुपद प्रक्षेप्य स्थान में वक्र के प्रक्षेप्य पूर्णता के एक बहुपद पैरामीट्रिजेशन को परिभाषित करते हैं। एक उदाहरण तर्कसंगत सामान्य वक्र है, जहां ये सभी बहुपद एकपदी हैं।

F पर एक परिमेय बिंदु के साथ F पर परिभाषित कोई भी शंकु खंड एक परिमेय वक्र है। इसे परिमेय बिंदु के माध्यम से ढलान t के साथ एक रेखा खींचकर और समतल द्विघात वक्र के साथ एक प्रतिच्छेदन द्वारा परिचालित किया जा सकता है; यह एफ-तर्कसंगत गुणांक और एक एफ-तर्कसंगत मूल के साथ एक बहुपद देता है, इसलिए दूसरा रूट f तर्कसंगत है (अर्थात, f से संबंधित है।

File:Rotated ellipse.svg
x2 + xy + y2 = 1

उदाहरण के लिए, दीर्घवृत्त x2 + xy + y2 = 1 पर विचार करें, जहाँ (−1, 0) एक परिमेय बिंदु है। (−1,0), y = t(x+1) से ढलान t के साथ एक रेखा खींचना, इसे दीर्घवृत्त के समीकरण में प्रतिस्थापित करना, गुणनखंड करना और x के लिए हल करना प्राप्त करते हैं।

तब y का समीकरण है

जो दीर्घवृत्त के एक तर्कसंगत पैरामीटरकरण को परिभाषित करता है और इसलिए दिखाता है, कि दीर्घवृत्त एक परिमेय वक्र है। दीर्घवृत्त के सभी बिंदु दिए गए हैं, (−1,1) को छोड़कर, जो t = ∞ से मेल खाता है। संपूर्ण वक्र को वास्तविक प्रक्षेप्य रेखा द्वारा परिचालित किया जाता है।

इस तरह के एक तर्कसंगत पैरामीटर को प्रक्षेपण स्थान में पहले प्रक्षेपी निर्देशांक को पैरामीटराइजेशन के अंशों और अंतिम एक को सामान्य हर के बराबर करके माना जा सकता है। जैसा कि पैरामीटर को प्रक्षेपी रेखा में परिभाषित किया गया है, पैरामीटर में बहुपदों को समरूप होना चाहिए। उदाहरण के लिए, उपरोक्त दीर्घवृत्त का प्रक्षेप्य मानकीकरण है

इन समीकरणों के बीच उन्मूलन सिद्धांत T और U हमें फिर से दीर्घवृत्त का प्रक्षेप्य समीकरण प्राप्त होता है
जो उपरोक्त समीकरण को समरूप करके आसानी से सीधे प्राप्त किया जा सकता है।

विकिपीडिया की वक्रों की सूची में कई वक्र तर्कसंगत हैं और इसलिए समान तर्कसंगत पैरामीटर हैं।

परिमेय समतल वक्र

परिमेय समतल वक्र, परिमेय वक्र होते हैं जिन्हें में अंतःस्थापित किया जाता है . सामान्य वर्गों को देखते हुए डिग्री का दो निर्देशांकों में सजातीय बहुपद, , एक मानचित्र है

के द्वारा दिया गया
डिग्री के एक तर्कसंगत समतल वक्र को परिभाषित करना .[2] एक संबद्ध मोडुलि स्पेस है जहाँ पर अधिसमतल कक्ष है, ऐसे सभी स्थिर वक्रो को पैरामीट्रिज करना। मोडुलि रिक्त स्थान आयाम निर्धारित करने के लिए एक आयाम गणना की जा सकती है, जहाँ में पैरामीटर दे रही है प्रत्येक अनुभाग के लिए कुल पैरामीटर। तब, चूंकि उन्हें एक प्रक्षेपी भागफल तक माना जाता है जहाँ है में कम पैरामीटर . इसके अलावा, ऑटोमोर्फिज्म का एक त्रि-आयामी समूह है , इसलिये आयाम है . इस मापांक स्थान का उपयोग संख्या गिनने के लिए किया जा सकता है डिग्री का परिमेय समतल वक्र प्रतिच्छेद करते हैं ग्रोमोव-विटन सिद्धांत का उपयोग करते हुए अंक[3] यह पुनरावर्ती संबंध द्वारा दिया जाता है
जहाँ पर .

दीर्घवृत्तीय वक्र

दीर्घवृत्तीय वक्र को तर्कसंगत बिंदु के साथ जीनस के किसी भी वक्र के रूप में परिभाषित किया जा सकता है: एक सामान्य प्रारूप एक व्युत्क्रमणीय घन वक्र है, जो किसी भी जीनस एक वक्र को प्रारूप करने के लिए पर्याप्त है। इस प्रारूप में विशिष्ट बिंदु को सामान्य रूप से अनंत पर एक विभक्ति बिंदु के रूप में लिया जाता है। यह आवश्यक होता है कि वक्र को टेट-वीयरस्ट्रैस रूप में लिखा जा सकता है, जो इसके प्रक्षेपी संस्करण में उपस्थित है।

यदि क्षेत्र की विशेषता 2 और 3 से भिन्न है, तो निर्देशांक मे रैखिक परिवर्तन करने की अनुमति देता है जो शास्त्रीय वीयरस्ट्रैस रूप प्रदान करता है
दीर्घवृत्तीय वक्र समूह कानून की पहचान के रूप में विशिष्ट बिंदु के साथ एक एबेलियन समूह की संरचना को ले जाते हैं। एक समतल घन प्रारूप में समूह में तीन बिंदुओं का योग शून्य होता है यदि और केवल यदि वे संरेख हैं। जटिल संख्याओं पर परिभाषित एक दीर्घवृत्तीय वक्र के लिए समूह समरूप समतल प्रारूपों के योगात्मक समूह के लिए समरूप है जो संबंधित दीर्घवृत्तीय कार्यों की अवधियों की मौलिक जोड़ी होती है।

दो चतुष्कोणीय सतहों का प्रतिच्छेदन, सामान्य रूप से जीनस एक और डिग्री चार का एक अस्थायी-विलक्षण वक्र है, और इस प्रकार दीर्घवृत्तीय वक्र है, यदि इसमें एक परिमेय बिंदु है। विशेष मामलों में प्रतिच्छेदन या तो एक तर्कसंगत एकवचन क्वार्टिक हो सकता है या छोटी डिग्री के वक्रों में विघटित हो सकता है जो हमेशा अलग नहीं होते हैं या तो एक घन वक्र और एक रेखा या दो शंकु या एक शंकु और दो रेखाएँ या चार रेखाएँ होती है। ..

एक से अधिक जीनस के वक्र

एक से अधिक जीनस के वक्र तर्कसंगत और दीर्घवृत्तीय दोनों वक्रों से स्पष्ट रूप से भिन्न होते हैं। फाल्टिंग्स के प्रमेय द्वारा परिमेय संख्याओं पर परिभाषित ऐसे वक्रों में केवल परिमेय बिंदुओं की एक सीमित संख्या हो सकती है, और उन्हें अतिपरवलयिक ज्यामिति संरचना के रूप में देखा जा सकता है। उदाहरण हाइपरेलिप्टिक वक्र , क्लेन क्वार्टिक वक्र और फ़र्मेट वक्र आदि हैं xn + yn = zn जब n तीन से बड़ा है। इसके अतिरिक्त प्रक्षेपी समतल वक्र में और वक्र कई उपयोगी उदाहरण प्रदान किए गए है।

प्रक्षेप्य समतल वक्र

समतल वक्र डिग्री का , जिसे सामान्य खंड के लुप्त बिन्दुपथ के रूप में बनाया जा सकता है यह जीनस ,

जिसे सुसंगत शीफ कोहोलॉजी का उपयोग करके परिकलित किया जा सकता है। यहां उनकी डिग्री के सापेक्ष वक्र पीढ़ी का संक्षिप्त सारांश दिया गया है।

डिग्री   1     2     3     4     5     6     7  
जीनस 0 0 1 3 6 10 15

उदाहरण के लिए, वक्र जीनस के एक वक्र को परिभाषित करता है जो अंतर के बाद से समतल योजना है वक्र के साथ कोई उभयनिष्ठ शून्य नहीं है.. एक सामान्य खंड का एक अस्थायी-उदाहरण वक्र है जो, बेज़ाउट कि प्रमेय के अनुसार, अधिक से अधिक प्रतिच्छेद करना चाहिए अंक, दो परिमेय वक्रों का मिलन है दो बिंदुओं पर प्रतिच्छेद करना। टिप्पणी के लुप्त बिन्दुपथ द्वारा दिया गया है तथा के लुप्त बिन्दुपथ द्वारा दिया गया है . इन्हें स्पष्ट रूप से पाया जा सकता है। एक बिंदु दोनों में निहित है यदि . तो दो समाधान बिंदु हैं ऐसा है कि , जो हैं तथा .

प्रक्षेप्य रेखाओं के गुणनफल में वक्र

वक्र के लुप्त बिन्दुपथ द्वारा दिया गया , के लिये , जीनस के वक्र

जिसे सुसंगत शीफ कोहोलॉजी का उपयोग करके जांचा जा सकता है। यदि , फिर वे जीनस के घटता को परिभाषित करते हैं इसलिए किसी भी जीनस के वक्र का निर्माण वक्र के रूप में किया जा सकता है उनकी पीढ़ी को तालिका में संक्षेपित किया जा सकता है।

द्वि-डिग्री
जीनस 1 2 3 4

और , के लिए ये है

द्वि-डिग्री
जीनस 2 4 6 8


यह भी देखें

शास्त्रीय बीजगणितीय ज्यामिति


आधुनिक बीजगणितीय ज्यामिति


रीमैन सतहों की ज्यामिति

  • रीमैन-हर्विट्ज़ फॉर्मूला
  • रीमैन सतहों के लिए रिमेंन-रोच प्रमेय
  • रीमैन सतह


टिप्पणियाँ

  1. Hartshorne, Algebraic Geometry, IV Ex. 1.8.
  2. Kazaryan, Maxim E.; Lando, Sergei K.; Prasolov, Victor (2018). बीजीय वक्र: मोडुली रिक्त स्थान की ओर. Moscow Lectures (in English). Springer International Publishing. pp. 213–214. ISBN 978-3-030-02942-5.
  3. "तर्कसंगत विमान वक्र के लिए कोंटसेविच का सूत्र" (PDF). Archived (PDF) from the original on 26 February 2020.


संदर्भ

  1. Norman Fraser (Feb 1888). "Kötter's synthetic geometry of algebraic curves". Proceedings of the Edinburgh Mathematical Society. 7: 46–61, See p. 46.