नियमित श्रृंखला: Difference between revisions

Latest revision as of 16:58, 24 May 2023

गणित में, और विशेष रूप से कंप्यूटर बीजगणित और विलोपन सिद्धांत में, एक नियमित श्रृंखला एक क्षेत्र पर बहुभिन्नरूपी बहुपदों का एक विशेष प्रकार का त्रिकोणीय सेट है, जहां एक त्रिकोणीय सेट बहुपदों का एक परिमित अनुक्रम होता है, जैसे कि प्रत्येक में पिछले वाले की तुलना में कम से कम अनिश्चित सक्रियता होती है। एक नियमित श्रृंखला होने के लिए त्रिकोणीय सेट को संतुष्ट करने वाली शर्त यह सुनिश्चित करती है कि, प्रत्येक के लिए $k$ , प्रत्येक सामान्य शून्य (बीजगणितीय रूप से बंद क्षेत्र में)। $k$ पहले बहुपदों को सामान्य शून्य तक बढ़ाया जा सकता है $(k + 1)$ वां बहुपद। दूसरे शब्दों में, नियमित शृंखला विभिन्न स्थितियों पर विचार किए बिना क्रमागत अविभाजित समीकरणों को हल करके बहुपद समीकरणों की प्रणाली को हल करने की अनुमति देती है।

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

परिचय

एक रैखिक प्रणाली को देखते हुए, इसे गॉसियन उन्मूलन के माध्यम से इसे त्रिकोणीय मैट्रिक्स में परिवर्तित किया जा सकता है। गैर-रैखिक स्थितियों के लिए, एक क्षेत्र पर एक बहुपद प्रणाली F में दिया जाता है, कोई इसे त्रिकोणीय सेटों के एक परिमित सेट में परिवर्तित (विघटित या त्रिकोणीय) कर सकता है, इस अर्थ में कि इन त्रिकोणीय सेटों द्वारा बीजगणितीय विविधता V(F का वर्णन किया गया हैं।

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

उदाहरण

परिमेय संख्या क्षेत्र को निरूपित करें। Q[x₁, x₂, x₃] परिवर्तनशील क्रम के साथ x₁ < x₂ < x₃,

T=\{x_{2}^{2}-x_{1}^{2},x_{2}(x_{3}-x_{1})\}

एक त्रिकोणीय सेट है और एक नियमित श्रृंखला भी है। T द्वारा दिए गए दो सामान्य बिंदु (a, a, a) और (a, −a, a) हैं जहां a 'Q' से अधिक अनुवांशिक होता है। इस प्रकार दो अलघुकरणीय घटक हैं, जो क्रमशः { x₂ − x₁, x₃ − x₁ } और { x₂ + x₁, x₃ − x₁ }, द्वारा दिए गए हैं।

ध्यान दें कि: (1) दूसरे बहुपद की सामग्री x₂ हैं। जो प्रतिनिधित्व किए गए सामान्य बिंदुओं में योगदान नहीं करती है और इस प्रकार इसे हटाया जा सकता है; (2) प्रत्येक घटक का आयाम 1 है, नियमित श्रृंखला में मुक्त चर की संख्या होती है।

औपचारिक परिभाषाएँ

बहुपद वलय में चर

R=k[x_{1},\ldots ,x_{n}]

सदैव x₁ < ⋯ < x_n के रूप में क्रमबद्ध होते हैं। एक गैर-निरंतर बहुपद f में

R

को इसके सबसे बड़े चर में एक अविभाज्य बहुपद के रूप में देखा जा सकता है। f में सबसे बड़े चर को इसका मुख्य चर कहा जाता है, जिसे mvar(f) द्वारा निरूपित किया जाता है। u को f का मुख्य चर देखे और इसे इस रूप में लिखें

f=a_{e}u^{e}+\cdots +a_{0},

जहां e, u के संबंध में f कोण होता है और

$a_{e}$ u के संबंध में f का प्रमुख गुणांक होता है। तो f का प्रारंभिक है $a_{e}$ और e इसकी मुख्य कोण होता है।

त्रिकोणीय सेट

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

नियमित श्रृंखला

मान लीजिए T = {t₁, ..., T_s} एक त्रिभुजाकार समुच्चय है जैसे कि mvar(t₁) < ⋯ < mvar(t_s),

एक नियमित श्रृंखला का अर्ध-घटक और संतृप्त नियम होता है

 $h_{i}$ 'एस t_i का आद्याक्षर होता और h  $h_{i}$  का गुणनफल हो। तब T एक नियमित श्रृंखला है यदि

\mathrm {resultant} (h,T)=\mathrm {resultant} (\cdots (\mathrm {resultant} (h,t_{s}),\ldots ,t_{i})\cdots )\neq 0,

जहां प्रत्येक परिणामी की गणना क्रमशः t_i के मुख्य चर के संबंध में की जाती है। यह परिभाषा यांग और झांग से है, जो बहुत एल्गोरिथम फ्लेवर की है।

एक नियमित श्रृंखला का अर्ध-घटक और संतृप्त नियम

अर्ध-घटक W(T) नियमित श्रृंखला T द्वारा वर्णित है

W(T)=V(T)\setminus V(h)

, वह है,

V(T) और V(h) किस्मों का निर्धारित अंतर होता है।

एक नियमित श्रृंखला की संलग्न बीजगणितीय वस्तु इसका संतृप्त नियम है

\mathrm {sat} (T)=(T):h^{\infty }.

एक उत्कृष्ट परिणाम यह है कि W(T) का ज़ारिस्की बंद होना sat(T) द्वारा परिभाषित विविधता के बराबर है, अर्थात,

{\overline {W(T)}}=V(\mathrm {sat} (T)),

और इसका आयाम n − |T| है, T में चरों की संख्या और बहुपदों की संख्या का अंतर होता है।

त्रिकोणीय अपघटन

सामान्यतः एक बहुपद प्रणाली एफ को विघटित करने के दो विधि होती हैं। सबसे पहले आलसी को विघटित करना है, जो कि (काल्कब्रेनर) अर्थों में केवल अपने सामान्य बिंदुओं का प्रतिनिधित्व करने के लिए है,

{\sqrt {(F)}}=\bigcap _{i=1}^{e}{\sqrt {\mathrm {sat} (T_{i})}}.

दूसरा डेनियल लाजार्ड अर्थ में सभी शून्यों का वर्णन करना होता है,

V(F)=\bigcup _{i=1}^{e}W(T_{i}).

किसी भी अर्थ में त्रिकोणीय अपघटन के लिए विभिन्न एल्गोरिदम उपलब्ध हैं।

गुण

बता दें कि T बहुपद वलय R में एक नियमित श्रृंखला होती है।

विपरीत अनुकूल sat(T) आयाम n - |T| के साथ एक अमिश्रित नियम होता है।
एक नियमित श्रृंखला इस अर्थ में एक बल उन्मूलन गुण रखती है कि:

\mathrm {sat} (T\cap k[x_{1},\ldots ,x_{i}])=\mathrm {sat} (T)\cap k[x_{1},\ldots ,x_{i}].

एक बहुपद p sat(T) में यदि और केवल p को T द्वारा शून्य से कम किया जाता है, अर्थात,

p\in \mathrm {sat} (T)\iff \mathrm {prem} (p,T)=0.

इसलिए sat(T) के लिए सदस्यता परीक्षण एल्गोरिथम है।

बहुपद p एक शून्य-भाजक सापेक्ष sat(T) है यदि और केवल यदि $\mathrm {prem} (p,T)\neq 0$ और $\mathrm {resultant} (p,T)=0$ .

इसलिए sat(T) के लिए नियमितता परीक्षण एल्गोरिथम होता है।

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

यह भी देखें

वू की विशेषता सेट की विधि
ग्रोबनर आधार
नियमित अर्ध-बीजगणितीय प्रणाली
त्रिकोणीय अपघटन

आगे के संदर्भ

पी. ऑब्री, डी. लाज़ार्ड, एम. मोरेनो माज़ा। त्रिकोणीय सेट के सिद्धांतों पर। जर्नल ऑफ़ सिंबॉलिक कंप्यूटेशन, 28(1–2):105–124, 1999।
एफ. बाउलियर और एफ. लेमेयर और एम. मोरेनो माज़ा। त्रिकोणीय प्रणालियों और D5 सिद्धांत पर प्रसिद्ध प्रमेय। ट्रांसग्रेसिव कम्प्यूटिंग 2006, ग्रेनाडा, स्पेन।
ई ह्यूबर्ट। %202001,%20Hagenberg)(LNCS2630,%20Springer,%202003)(ISBN%203540405542)(398s)_CsCa_.pdf#page=51 त्रिकोणीय सेट और त्रिकोणीय-अपघटन एल्गोरिदम I: बहुपद प्रणाली पर नोट्स। एलएनसीएस, वॉल्यूम 2630, स्प्वलयर-वर्लाग हीडलबर्ग।
एफ. लेमेयर और एम. मोरेनो माज़ा और वाई. शी। रेगुलर चेन्स लाइब्रेरी। मेपल सम्मेलन 2005।
एम. कालब्रेनर: बहुपद वलयों के एल्गोरिद्मिक गुण। जे सिंब। गणना। 26(5): 525–581 (1998)।
एम. कालब्रेनर: एक सामान्यीकृत यूके कंप्यूटिंग त्रिकोणीय के लिए लिडियन एल्गोरिथम बीजगणितीय किस्मों का प्रतिनिधित्व। जे सिंब। गणना। 15(2): 143–167 (1993).
डी वांग। त्रिकोणीय प्रणाली और नियमित प्रणाली की गणना। प्रतीकात्मक संगणना का जर्नल 30(2) (2000) 221-236।
यांग, एल., झांग, जे. (1994)। बीजगणितीय समीकरणों के बीच निर्भरता की खोज: स्वचालित तर्क पर लागू एल्गोरिदम। गणित में आर्टिफिशियल इंटेलिजेंस, पीपी। 14715, ऑक्सफोर्ड यूनिवर्सिटी प्रेस।

श्रेणी:समीकरण श्रेणी:बीजगणित श्रेणी:बहुपद श्रेणी:बीजगणितीय ज्यामिति श्रेणी:कंप्यूटर बीजगणित

@@ Line 1: / Line 1: @@
 {{Short description|Type of triangular sets of polynomial}}
-गणित में, और अधिक विशेष रूप से [[कंप्यूटर बीजगणित]] और [[उन्मूलन सिद्धांत]] में, एक नियमित श्रृंखला एक क्षेत्र पर [[बहुभिन्नरूपी बहुपद]]ों का एक विशेष प्रकार का "त्रिकोणीय सेट" है, जहां एक "त्रिकोणीय सेट" बहुपदों का एक परिमित अनुक्रम है जैसे कि प्रत्येक में पिछले वाले की तुलना में कम से कम एक अधिक अनिश्चित होता है। एक नियमित श्रृंखला होने के लिए एक त्रिकोणीय सेट को संतुष्ट करने वाली शर्त यह सुनिश्चित करती है कि, प्रत्येक के लिए {{mvar|k}}, प्रत्येक सामान्य शून्य (बीजगणितीय रूप से बंद क्षेत्र में)। {{mvar|k}} पहले बहुपदों को एक सामान्य शून्य तक बढ़ाया जा सकता है {{math|(''k'' + 1)}}वां बहुपद। दूसरे शब्दों में, नियमित शृंखला विभिन्न मामलों पर विचार किए बिना क्रमागत अविभाजित समीकरणों को हल करके [[बहुपद समीकरणों की प्रणाली]] को हल करने की अनुमति देती है।
+गणित में,  और विशेष रूप से [[कंप्यूटर बीजगणित]] और  [[उन्मूलन सिद्धांत|विलोपन सिद्धांत]] में, एक '''नियमित श्रृंखला''' एक क्षेत्र पर  [[बहुभिन्नरूपी बहुपद|बहुभिन्नरूपी बहुपदों]]  का एक विशेष प्रकार का ''त्रिकोणीय सेट है, जहां एक त्रिकोणीय सेट'' बहुपदों का एक परिमित अनुक्रम होता है, जैसे कि प्रत्येक में पिछले वाले की तुलना में कम से कम अनिश्चित सक्रियता होती  है। एक नियमित श्रृंखला होने के लिए त्रिकोणीय सेट को संतुष्ट करने वाली शर्त यह सुनिश्चित करती है कि, प्रत्येक के लिए {{mvar|k}}, प्रत्येक सामान्य शून्य (बीजगणितीय रूप से बंद क्षेत्र में)। {{mvar|k}} पहले बहुपदों को सामान्य शून्य तक बढ़ाया जा सकता है {{math|(''k'' + 1)}}वां बहुपद। दूसरे शब्दों में, नियमित शृंखला विभिन्न स्थितियों  पर विचार किए बिना क्रमागत अविभाजित समीकरणों को हल करके बहुपद समीकरणों की प्रणाली को हल करने की अनुमति देती है।
-नियमित चेन वू के विशेषता सेट की विधि की धारणा को बढ़ाते हैं | डब्ल्यूयू के विशेषता सेट इस अर्थ में हैं कि वे गणना की एक समान विधि के साथ बेहतर परिणाम प्रदान करते हैं।
+नियमित श्रृंखलाएं WU के विशिष्ट सेटों की ग्रहण को इस अर्थ में देखते हैं कि वे संगणना की समान विधि के साथ बेहतर परिणाम प्रदान करते हैं।
 == परिचय ==
-रैखिक समीकरणों की एक प्रणाली को देखते हुए, गॉसियन विलोपन के माध्यम से इसे [[त्रिकोणीय मैट्रिक्स]] में परिवर्तित किया जा सकता है। गैर-रैखिक मामले के लिए, एक क्षेत्र पर बहुपद समीकरणों की एक प्रणाली दी गई है, कोई इसे त्रिकोणीय सेटों के एक परिमित सेट में परिवर्तित (विघटित या त्रिकोणीय) कर सकता है, इस अर्थ में कि बीजगणितीय विविधता V(F) इनके द्वारा वर्णित है त्रिकोणीय सेट।
+एक रैखिक प्रणाली को देखते हुए, इसे गॉसियन उन्मूलन के माध्यम से इसे [[त्रिकोणीय मैट्रिक्स]] में परिवर्तित किया जा सकता है। गैर-रैखिक स्थितियों के लिए, एक क्षेत्र पर एक बहुपद प्रणाली ''F'' में दिया जाता है, कोई इसे त्रिकोणीय सेटों के एक परिमित सेट में परिवर्तित (विघटित या त्रिकोणीय) कर सकता है, इस अर्थ में कि इन त्रिकोणीय सेटों द्वारा बीजगणितीय विविधता ''V''(F का वर्णन किया गया हैं।
-एक त्रिकोणीय सेट केवल खाली सेट का वर्णन कर सकता है। इस बिगड़े हुए मामले को ठीक करने के लिए, स्वतंत्र रूप से काल्कब्रेनर (1993), यांग और झांग (1994) द्वारा नियमित श्रृंखला की धारणा पेश की गई थी। चाउ और गाओ (1992) में नियमित श्रृंखलाएं भी दिखाई देती हैं। नियमित श्रृंखलाएं विशेष त्रिकोणीय सेट हैं जो [[बीजगणितीय किस्म]]ों के अमिश्रित-आयामी अपघटन की गणना के लिए विभिन्न एल्गोरिदम में उपयोग की जाती हैं। गुणनखंडन का उपयोग किए बिना, इन अपघटनों में बेहतर गुण होते हैं जो वू की विधि | वू के एल्गोरिथम द्वारा निर्मित होते हैं। काल्कब्रेनर की मूल परिभाषा निम्नलिखित अवलोकन पर आधारित थी: प्रत्येक अप्रासंगिक किस्म विशिष्ट रूप से इसके एक [[सामान्य बिंदु]] द्वारा निर्धारित की जाती है और किस्मों को उनके अलघुकरणीय घटकों के सामान्य बिंदुओं का वर्णन करके दर्शाया जा सकता है। ये सामान्य बिंदु नियमित श्रृंखलाओं द्वारा दिए गए हैं।
+एक त्रिकोणीय सेट केवल खाली सेट का वर्णन कर सकता है। इस पतित स्थिति को ठीक करने के लिए, नियमित श्रृंखला की धारणा स्वतंत्र रूप से काल्कब्रेनर (1993), यांग और झांग (1994) द्वारा प्रस्तुत की गई थी।  चाउ और गाओ (1992) में नियमित श्रृंखलाएं भी दिखाई देती हैं। नियमित श्रृंखलाएं विशेष त्रिकोणीय तीन सेट होते हैं जो [[बीजगणितीय किस्म|बीजगणितीय किस्मो]] के मिश्रित-अपघटन की गणना के लिए विभिन्न संदेशों में उपयोग किए जाते हैं। गुणनखंडन का उपयोग किए बिना, इन अपघटनों में बेहतर गुण होते हैं जो '''वू के एल्गोरिथम''' द्वारा निर्मित होते हैं। काल्कब्रेनर की मूल परिभाषा निम्नलिखित समीक्षा पर आधारित: प्रत्येक अलघुकरणीय अनियमित विशिष्ट रूप से एक सामान्य बिंदु द्वारा निर्धारित किया जाता है और उनके अलघुकरणीय घटकों के सामान्य बिंदुओं का वर्णन करके प्रतिबद्ध किया जा सकता है। ये सामान्य बिंदु नियमित श्रृंखलाओं द्वारा दिए गए हैं।
 == उदाहरण ==
-परिमेय संख्या क्षेत्र को निरूपित करें। क्यू ['' एक्स '' में<sub>1</sub>, एक्स<sub>2</sub>, एक्स<sub>3</sub>] परिवर्तनशील क्रम के साथ {{nowrap|''x''<sub>1</sub> < ''x''<sub>2</sub> < ''x''<sub>3</sub>}},
+परिमेय संख्या क्षेत्र को निरूपित करें। '''Q'''[''x''<sub>1</sub>, ''x''<sub>2</sub>, ''x''<sub>3</sub>]  परिवर्तनशील क्रम के साथ ''x''<sub>1</sub> < ''x''<sub>2</sub> < ''x''<sub>3</sub>,
 : <math>T = \{ x_2^2-x_1^2, x_2(x_3-x_1)\}</math>
-एक त्रिकोणीय सेट है और एक नियमित श्रृंखला भी है। टी द्वारा दिए गए दो सामान्य बिंदु (ए, ए, ए) और (ए, -ए, ए) हैं जहां ए 'क्यू' से पारलौकिक है।
+एक त्रिकोणीय सेट है और एक नियमित श्रृंखला भी है। T द्वारा दिए गए दो सामान्य बिंदु (a, a, a) और  (a, −a, a) हैं जहां ''a'' ''''Q'''<nowiki/>' से अधिक अनुवांशिक होता है। इस प्रकार दो अलघुकरणीय घटक हैं, जो क्रमशः { ''x''<sub>2</sub> − ''x''<sub>1</sub>, ''x''<sub>3</sub> − ''x''<sub>1</sub> }  और { ''x''<sub>2</sub> + ''x''<sub>1</sub>, ''x''<sub>3</sub> − ''x''<sub>1</sub> },  द्वारा दिए गए हैं।
-इस प्रकार इसके द्वारा दिए गए दो अलघुकरणीय घटक हैं {{nowrap|{ ''x''<sub>2</sub> − ''x''<sub>1</sub>, ''x''<sub>3</sub> − ''x''<sub>1</sub> }<nowiki/>}} और {{nowrap|{ ''x''<sub>2</sub> + ''x''<sub>1</sub>, ''x''<sub>3</sub> − ''x''<sub>1</sub> }<nowiki/>}}, क्रमश।
-ध्यान दें कि: (1) दूसरे बहुपद की [[सामग्री (बीजगणित)]] x है<sub>2</sub>, जो प्रतिनिधित्व किए गए सामान्य बिंदुओं में योगदान नहीं करता है और इस प्रकार हटाया जा सकता है; (2) प्रत्येक घटक का [[आयाम]] 1 है, नियमित श्रृंखला में मुक्त चर की संख्या।
+ध्यान दें कि: (1) दूसरे बहुपद की [[सामग्री (बीजगणित)|सामग्री]] ''x''<sub>2</sub> हैं। जो प्रतिनिधित्व किए गए सामान्य बिंदुओं में योगदान नहीं करती है और इस प्रकार इसे हटाया जा सकता है; (2) प्रत्येक घटक का [[आयाम]] 1 है, नियमित श्रृंखला में मुक्त चर की संख्या होती है।
 == औपचारिक परिभाषाएँ ==
-बहुपद रिंग में चर
+बहुपद वलय में चर
-:<math>R = k[x_1, \ldots, x_n]</math> हमेशा के रूप में क्रमबद्ध होते हैं {{nowrap|''x''<sub>1</sub> < ⋯ < ''x''<sub>''n''</sub>}}.
+:<math>R = k[x_1, \ldots, x_n]</math>
-एक गैर-निरंतर बहुपद f में  <math>R</math> इसके सबसे बड़े चर में एक अविभाज्य बहुपद के रूप में देखा जा सकता है।
+:सदैव ''x''<sub>1</sub> < ⋯ < ''x<sub>n</sub>''   के रूप में क्रमबद्ध होते हैं। एक गैर-निरंतर बहुपद f में  <math>R</math> को इसके सबसे बड़े चर में एक अविभाज्य बहुपद के रूप में देखा जा सकता है। f में सबसे बड़े चर को इसका मुख्य चर कहा जाता है, जिसे ''mvar''(''f'') द्वारा निरूपित किया जाता है। ''u'' को ''f''  का मुख्य चर देखे और इसे इस रूप में लिखें
-f में सबसे बड़े चर को इसका मुख्य चर कहा जाता है, जिसे mvar(f) द्वारा निरूपित किया जाता है। यू को एफ का मुख्य चर होने दें और इसे इस रूप में लिखें
 :<math>f = a_eu^e + \cdots + a_0,</math>
-जहां ई यू के संबंध में एफ की डिग्री है और <math>a_e</math> यू के संबंध में एफ का अग्रणी गुणांक है। तो f का प्रारंभिक है <math>a_e</math> और ई इसकी मुख्य डिग्री है।
+जहां  ''e, u'' के संबंध में ''f'' कोण होता है और
+<math>a_e</math> u के संबंध में ''f''  का प्रमुख गुणांक होता है। तो ''f''  का प्रारंभिक है <math>a_e</math> और e इसकी मुख्य कोण होता है।
 * त्रिकोणीय सेट
-का एक गैर-रिक्त उपसमुच्चय T <math>R</math> एक त्रिकोणीय समुच्चय है, यदि T में बहुपद गैर-स्थिर हैं और विशिष्ट मुख्य चर हैं। इसलिए, एक त्रिकोणीय समुच्चय परिमित है, और अधिक से अधिक n में कार्डिनैलिटी है।
+का एक गैर-रिक्त उपसमुच्चय ''T'' <math>R</math> एक त्रिभुजाकार समुच्चय है,  यदि T में बहुपद अस्थिर हैं और विशिष्ट मुख्य चर हैं। इसलिए, एक त्रिकोणीय समुच्चय परिमित है, और अधिक से अधिक ''n'' में कार्डिनैलिटी है।
 * नियमित श्रृंखला
-माना T = {t<sub>1</sub>, ..., टी<sub>''s''</sub>} एक त्रिकोणीय सेट हो जैसे कि {{nowrap|''mvar''(''t''<sub>1</sub>) < ⋯ < ''mvar''(''t''<sub>''s''</sub>)}},
+मान लीजिए T = {t<sub>1</sub>, ..., T<sub>''s''</sub>} एक त्रिभुजाकार समुच्चय है जैसे कि {{nowrap|''mvar''(''t''<sub>1</sub>) < ⋯ < ''mvar''(''t''<sub>''s''</sub>)}},
-  <math>h_i</math> टी के शुरुआती हो<sub>''i''</sub> और एच एच का उत्पाद हो<sub>''i''</sub>'एस।
-तब T एक नियमित श्रृंखला है यदि
+एक नियमित श्रृंखला का अर्ध-घटक और संतृप्त नियम  होता है
+  <math>h_i</math>'एस ''t<sub>i</sub> ''का आद्याक्षर होता और ''h'' <math>h_i</math> का गुणनफल हो। तब T एक नियमित श्रृंखला है यदि
 : <math>\mathrm{resultant}(h, T) = \mathrm{resultant}(\cdots(\mathrm{resultant}(h, t_s),\ldots, t_i)\cdots) \neq 0 ,</math>
-जहां प्रत्येक [[परिणामी]] की गणना t के मुख्य चर के संबंध में की जाती है<sub>''i''</sub>, क्रमश।
+जहां प्रत्येक परिणामी की गणना क्रमशः  ''t<sub>i</sub>''  के मुख्य चर के संबंध में की जाती है। यह परिभाषा यांग और झांग से है, जो बहुत एल्गोरिथम फ्लेवर की है।
-यह परिभाषा यांग और झांग से है, जो बहुत एल्गोरिथम स्वाद की है।
-* एक नियमित श्रृंखला का अर्ध-घटक और संतृप्त आदर्श
+* एक नियमित श्रृंखला का अर्ध-घटक और संतृप्त नियम
 अर्ध-घटक W(T) नियमित श्रृंखला T द्वारा वर्णित है
 :{{nowrap|<math>W(T) = V(T)\setminus V(h)</math>,}} वह है,
-V(T) और V(h) किस्मों का निर्धारित अंतर।
+V(T) और V(h) किस्मों का निर्धारित अंतर होता है।
-एक नियमित श्रृंखला की संलग्न बीजगणितीय वस्तु इसका संतृप्त आदर्श है
+एक नियमित श्रृंखला की संलग्न बीजगणितीय वस्तु इसका संतृप्त नियम  है
 :<math>\mathrm{sat}(T) = (T):h^\infty .</math>
-एक उत्कृष्ट परिणाम यह है कि W(T) का ज़ारिस्की बंद होना sat(T) द्वारा परिभाषित विविधता के बराबर है, अर्थात,
+एक उत्कृष्ट परिणाम यह है कि W(T) का ज़ारिस्की बंद होना ''sat(T)'' द्वारा परिभाषित विविधता के बराबर है, अर्थात,
 :<math>\overline{W(T)} = V(\mathrm{sat}(T)) ,</math>
-और इसका आयाम n − |T| है, T में चरों की संख्या और बहुपदों की संख्या का अंतर है।
+और इसका आयाम n − |T| है, T में चरों की संख्या और बहुपदों की संख्या का अंतर होता  है।
 * त्रिकोणीय अपघटन
-सामान्य तौर पर, एक बहुपद प्रणाली एफ को विघटित करने के दो तरीके हैं। सबसे पहले आलसी को विघटित करना है, जो कि (काल्कब्रेनर) अर्थों में केवल अपने सामान्य बिंदुओं का प्रतिनिधित्व करने के लिए है,
+सामान्यतः एक बहुपद प्रणाली एफ को विघटित करने के दो विधि होती हैं। सबसे पहले आलसी को विघटित करना है, जो कि (काल्कब्रेनर) अर्थों में केवल अपने सामान्य बिंदुओं का प्रतिनिधित्व करने के लिए है,
 : <math>\sqrt{(F)} = \bigcap_{i=1}^e \sqrt{\mathrm{sat}(T_i)} .</math>
-दूसरा [[डेनियल लाजार्ड]] अर्थ में सभी शून्यों का वर्णन करना है,
+दूसरा [[डेनियल लाजार्ड]] अर्थ में सभी शून्यों का वर्णन करना होता है,
 : <math>V(F) = \bigcup_{i=1}^e W(T_i) .</math>
 किसी भी अर्थ में त्रिकोणीय अपघटन के लिए विभिन्न एल्गोरिदम उपलब्ध हैं।
@@ Line 61: / Line 63: @@
 == गुण ==
-बता दें कि T बहुपद वलय R में एक नियमित श्रृंखला है।
+बता दें कि T बहुपद वलय R में एक नियमित श्रृंखला होती है।
-* संतृप्त आदर्श sat(T) आयाम n - |T| के साथ एक अमिश्रित आदर्श है।
+* विपरीत अनुकूल sat(''T'') आयाम n - |T| के साथ एक अमिश्रित नियम होता है।
-* एक नियमित श्रृंखला इस अर्थ में एक मजबूत उन्मूलन गुण रखती है कि:
+* एक नियमित श्रृंखला इस अर्थ में एक बल उन्मूलन गुण रखती है कि:
 : <math> \mathrm{sat}(T \cap k[x_1, \ldots , x_i]) = \mathrm{sat}(T) \cap k[x_1,\ldots , x_i] .</math>
-* एक बहुपद पी सत(टी) में है अगर और केवल अगर पी को टी द्वारा शून्य से कम किया जाता है, अर्थात,
+* एक बहुपद  ''p'' sat(''T'') में यदि और केवल p  को ''T'' द्वारा शून्य से कम किया जाता है, अर्थात,
 : <math>p\in\mathrm{sat}(T)\iff \mathrm{prem}(p, T) = 0 .</math>
 : इसलिए sat(T) के लिए सदस्यता परीक्षण एल्गोरिथम है।
-* एक बहुपद p एक 'शून्य-भाजक' सापेक्ष सत (T) है यदि और केवल यदि <math>\mathrm{prem}(p, T)\neq0</math> और {{nowrap|<math>\mathrm{resultant}(p, T)=0</math>.}}
+* बहुपद p एक शून्य-भाजक सापेक्ष sat(''T'') है यदि और केवल यदि <math>\mathrm{prem}(p, T)\neq0</math> और {{nowrap|<math>\mathrm{resultant}(p, T)=0</math>.}}
-: इसलिए sat(T) के लिए नियमितता परीक्षण एल्गोरिथम है।
+: इसलिए sat(''T'') के लिए नियमितता परीक्षण एल्गोरिथम होता है।
-* एक प्रमुख आदर्श पी दिया गया है, एक नियमित श्रृंखला सी मौजूद है जैसे कि पी = सैट (सी)।
+* एक प्रमुख नियम   ''P'' दिया गया है, एक नियमित श्रृंखला ''C'' सम्मलित होता है  जैसे कि  ''P'' = sat(''C'')।
-* यदि एक नियमित श्रृंखला C का पहला तत्व एक अलघुकरणीय बहुपद है और अन्य अपने मुख्य चर में रैखिक हैं, तो sat(C) एक प्रमुख आदर्श है।
+* यदि एक नियमित श्रृंखला ''C'' का पहला तत्व एक अलघुकरणीय बहुपद है और अन्य अपने मुख्य चर में रैखिक हैं, तो ''sat(C)'' एक प्रमुख नियम  है।
-* इसके विपरीत, यदि P एक प्रमुख आदर्श है, तो, चर के लगभग सभी रैखिक परिवर्तनों के बाद, पूर्ववर्ती आकार की एक नियमित श्रृंखला C मौजूद होती है, जैसे कि P = sat(C)।
+* इसके विपरीत, यदि ''P'' एक प्रमुख नियम  है, तो चर के लगभग सभी रैखिक परिवर्तनों के बाद, पूर्ववर्ती आकार की एक नियमित श्रृंखला C सम्मलित होते है जैसे कि ''P = sat(C)''।
-* एक त्रिकोणीय सेट एक नियमित श्रृंखला है अगर और केवल अगर यह वू की विशेषता सेट की विधि है #Ritt इसके संतृप्त आदर्श का विशेषता सेट है।
+* एक त्रिकोणीय सेट एक नियमित श्रृंखला है यदि और केवल यदि यह अपने संतृप्त नियम का एक रिट विशेषता सेट है।
 == यह भी देखें ==
@@ Line 88: / Line 90: @@
 * पी. ऑब्री, डी. लाज़ार्ड, एम. मोरेनो माज़ा। [http://www.sciencedirect.com/science/article/pii/S0747717199902699 त्रिकोणीय सेट के सिद्धांतों पर]। जर्नल ऑफ़ सिंबॉलिक कंप्यूटेशन, 28(1–2):105–124, 1999।
 * एफ. बाउलियर और एफ. लेमेयर और एम. मोरेनो माज़ा। [https://hal.archives-ouvertes.fr/docs/00/13/71/58/PDF/blm06.pdf त्रिकोणीय प्रणालियों और D5 सिद्धांत पर प्रसिद्ध प्रमेय]। ट्रांसग्रेसिव कम्प्यूटिंग 2006, ग्रेनाडा, स्पेन।
-* ई ह्यूबर्ट। [ftp://nozdr.ru/biblio/kolxo3/Cs/CsCa/Winkler%20F.,%20Langer%20U.%20(eds.)%20Symbolic%20and%20Numerical%20Scientific%20Computation%20(Proc.%20SNSC %202001,%20Hagenberg)(LNCS2630,%20Springer,%202003)(ISBN%203540405542)(398s)_CsCa_.pdf#page=51 त्रिकोणीय सेट और त्रिकोणीय-अपघटन एल्गोरिदम I: बहुपद प्रणाली] पर नोट्स। एलएनसीएस, वॉल्यूम 2630, स्प्रिंगर-वर्लाग हीडलबर्ग।
+* ई ह्यूबर्ट। [ftp://nozdr.ru/biblio/kolxo3/Cs/CsCa/Winkler%20F.,%20Langer%20U.%20(eds.)%20Symbolic%20and%20Numerical%20Scientific%20Computation%20(Proc.%20SNSC %202001,%20Hagenberg)(LNCS2630,%20Springer,%202003)(ISBN%203540405542)(398s)_CsCa_.pdf#page=51 त्रिकोणीय सेट और त्रिकोणीय-अपघटन एल्गोरिदम I: बहुपद प्रणाली] पर नोट्स। एलएनसीएस, वॉल्यूम 2630, स्प्वलयर-वर्लाग हीडलबर्ग।
 * एफ. लेमेयर और एम. मोरेनो माज़ा और वाई. शी। रेगुलर चेन्स लाइब्रेरी। मेपल सम्मेलन 2005।
-* एम. कालब्रेनर: [https://core.ac.uk/download/pdf/82131108.pdf बहुपद रिंगों के एल्गोरिद्मिक गुण]। जे सिंब। गणना। 26(5): 525–581 (1998)।
+* एम. कालब्रेनर: [https://core.ac.uk/download/pdf/82131108.pdf बहुपद वलयों के एल्गोरिद्मिक गुण]। जे सिंब। गणना। 26(5): 525–581 (1998)।
 * एम. कालब्रेनर: [http://www.sciencedirect.com/science/article/pii/S0747717183710114/pdf?md5=43680d0255596096147a53ce3b42a16a&pid=1-s2.0-S0747717183710114-main.pdf&_valck=1 एक सामान्यीकृत यूके कंप्यूटिंग त्रिकोणीय के लिए लिडियन एल्गोरिथम बीजगणितीय किस्मों का प्रतिनिधित्व]। जे सिंब। गणना। 15(2): 143–167 (1993).
 * डी वांग। [https://www.sciencedirect.com/science/article/pii/S0747717199903553/pdf?md5=835a5b4348eaffe59316f0af18d1394d&pid=1-s2.0-S0747717199903553-main.pdf त्रिकोणीय प्रणाली और नियमित प्रणाली की गणना]। प्रतीकात्मक संगणना का जर्नल 30(2) (2000) 221-236।
@@ Line 101: / Line 103: @@
 श्रेणी:कंप्यूटर बीजगणित
-[[Category: Machine Translated Page]]
 [[Category:Created On 01/05/2023]]
+[[Category:Lua-based templates]]
+[[Category:Machine Translated Page]]
+[[Category:Pages with script errors]]
+[[Category:Templates Vigyan Ready]]
+[[Category:Templates that add a tracking category]]
+[[Category:Templates that generate short descriptions]]
+[[Category:Templates using TemplateData]]

Anonymous

Search

नियमित श्रृंखला: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 16:58, 24 May 2023

Contents

परिचय

उदाहरण

औपचारिक परिभाषाएँ

गुण

यह भी देखें

आगे के संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

नियमित श्रृंखला: Difference between revisions

Latest revision as of 16:58, 24 May 2023

परिचय

उदाहरण

औपचारिक परिभाषाएँ

गुण

यह भी देखें

आगे के संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Hidden categories