त्रिकोणीय अपघटन: Difference between revisions
(Created page with "{{Short description|Algorithm on systems of polynomials}} कंप्यूटर बीजगणित में, एक बहुपद प्रणाली का...") |
No edit summary |
||
Line 1: | Line 1: | ||
{{Short description|Algorithm on systems of polynomials}} | chye{{Short description|Algorithm on systems of polynomials}} | ||
[[कंप्यूटर बीजगणित]] में, एक [[बहुपद प्रणाली | [[कंप्यूटर बीजगणित]] में, एक [[बहुपद प्रणाली|बहुपद {{mvar| S}}]] का त्रिकोणीय अपघटन सरल बहुपद प्रणालियों का {{math|''S''<sub>1</sub>, ..., ''S<sub>e</sub>''}} एक समुच्चय है जैसे कि एक बिंदु का समाधान है {{mvar|S}} यदि और केवल यदि यह किसी एक प्रणाली का समाधान है {{math|''S''<sub>1</sub>, ..., ''S<sub>e</sub>''}}. | ||
जब उद्देश्य के समाधान सेट का वर्णन करना है {{mvar|S}} इसके गुणांक [[क्षेत्र (गणित)]] के बीजीय समापन में, वे सरल प्रणालियाँ [[नियमित श्रृंखला]]एँ हैं। यदि बहुपद प्रणालियों के गुणांक {{math|''S''<sub>1</sub>, ..., ''S<sub>e</sub>''}} वास्तविक संख्याएं हैं, फिर वास्तविक समाधान हैं {{mvar|S}} त्रिकोणीय अपघटन द्वारा नियमित अर्ध-बीजीय प्रणालियों में प्राप्त किया जा सकता है। दोनों ही मामलों में, इन सरल प्रणालियों में से प्रत्येक में त्रिकोणीय आकार और उल्लेखनीय गुण हैं, जो शब्दावली को सही ठहराते हैं। | जब उद्देश्य के समाधान सेट का वर्णन करना है {{mvar|S}} इसके गुणांक [[क्षेत्र (गणित)]] के बीजीय समापन में, वे सरल प्रणालियाँ [[नियमित श्रृंखला]]एँ हैं। यदि बहुपद प्रणालियों के गुणांक {{math|''S''<sub>1</sub>, ..., ''S<sub>e</sub>''}} वास्तविक संख्याएं हैं, फिर वास्तविक समाधान हैं {{mvar|S}} त्रिकोणीय अपघटन द्वारा नियमित अर्ध-बीजीय प्रणालियों में प्राप्त किया जा सकता है। दोनों ही मामलों में, इन सरल प्रणालियों में से प्रत्येक में त्रिकोणीय आकार और उल्लेखनीय गुण हैं, जो शब्दावली को सही ठहराते हैं। | ||
Line 59: | Line 59: | ||
:<math>S = | :<math>S = | ||
\begin{cases} x^2 + y + z = 1 \\ x + y^2 + z = 1 \\ x + y + z^2 = 1 \end{cases}</math> | \begin{cases} x^2 + y + z = 1 \\ x + y^2 + z = 1 \\ x + y + z^2 = 1 \end{cases}</math> | ||
मेपल (सॉफ्टवेयर) कोड के अनुसार | |||
मेपल (सॉफ्टवेयर) कोड के अनुसार: | |||
के समाधान सेट का एक संभावित त्रिकोणीय अपघटन {{mvar|S}} [http://www.regularchains.org/ RegularChains] लाइब्रेरी का उपयोग करने के साथ है: | |||
:<math>\begin{cases} z = 0 \\ y = 1 \\ x = 0 \end{cases} | :<math>\begin{cases} z = 0 \\ y = 1 \\ x = 0 \end{cases} | ||
Line 74: | Line 71: | ||
\cup | \cup | ||
\begin{cases} z^2 + 2z -1 = 0 \\ y = z \\ x = z \end{cases} | \begin{cases} z^2 + 2z -1 = 0 \\ y = z \\ x = z \end{cases} | ||
</math> | </math><br /> | ||
== यह भी देखें == | == यह भी देखें == | ||
* वू की विशेषता सेट की विधि | * वू की विशेषता सेट की विधि |
Revision as of 13:07, 16 March 2023
chye
कंप्यूटर बीजगणित में, एक [[बहुपद प्रणाली|बहुपद S]] का त्रिकोणीय अपघटन सरल बहुपद प्रणालियों का S1, ..., Se एक समुच्चय है जैसे कि एक बिंदु का समाधान है S यदि और केवल यदि यह किसी एक प्रणाली का समाधान है S1, ..., Se.
जब उद्देश्य के समाधान सेट का वर्णन करना है S इसके गुणांक क्षेत्र (गणित) के बीजीय समापन में, वे सरल प्रणालियाँ नियमित श्रृंखलाएँ हैं। यदि बहुपद प्रणालियों के गुणांक S1, ..., Se वास्तविक संख्याएं हैं, फिर वास्तविक समाधान हैं S त्रिकोणीय अपघटन द्वारा नियमित अर्ध-बीजीय प्रणालियों में प्राप्त किया जा सकता है। दोनों ही मामलों में, इन सरल प्रणालियों में से प्रत्येक में त्रिकोणीय आकार और उल्लेखनीय गुण हैं, जो शब्दावली को सही ठहराते हैं।
इतिहास
विशेषता सेट विधि पहला गुणनखंड-मुक्त एल्गोरिथ्म है, जिसे एक बीजगणितीय विविधता को समान घटकों में विघटित करने के लिए प्रस्तावित किया गया था। इसके अलावा, लेखक, मिस्टर वू यू वेन | वेन-सुन वू, ने इस पद्धति के कार्यान्वयन को महसूस किया और अपने 1987 के अग्रणी लेख में बहुपद समीकरणों को हल करने के लिए एक शून्य संरचना प्रमेय शीर्षक से प्रयोगात्मक डेटा की सूचना दी।[1] इस कार्य को संदर्भ में रखने के लिए, आइए याद करें कि इस लेख के लिखे जाने के समय बीजगणितीय समुच्चय अपघटन का सामान्य विचार क्या था।
होने देना K बीजगणितीय रूप से बंद क्षेत्र हो और k का उपक्षेत्र हो K. उपसमुच्चय V ⊂ Kn एक (affine) बीजगणितीय विविधता है k यदि कोई बहुपद समुच्चय मौजूद है F ⊂ k[x1, ..., xn] जैसे कि शून्य सेट V(F) ⊂ Kn का F बराबर है V.
याद करें कि V अगर सभी बीजगणितीय किस्मों के लिए अप्रासंगिक कहा जाता है V1, V2 ⊂ Kn रिश्ता V = V1 ∪ V2 का तात्पर्य है V = V1 या V = V2. पहला बीजगणितीय विविधता अपघटन परिणाम प्रसिद्ध लस्कर-नोथेर प्रमेय है जिसका अर्थ निम्नलिखित है।
- प्रमेय (लास्कर - नोथेर)। प्रत्येक बीजगणितीय किस्म के लिए V ⊂ Kn सूक्ष्म रूप से कई अलघुकरणीय बीजगणितीय किस्में मौजूद हैं V1, ..., Ve ⊂ Kn ऐसा कि हमारे पास है
- इसके अलावा, अगर Vi ⊈ Vj के लिए रखता है 1 ≤ i < j ≤ e फिर सेट {V1, ..., Ve} अद्वितीय है और इसका अलघुकरणीय अपघटन बनाता है V.
किस्में {{math|V1, ..., Ve}उपरोक्त प्रमेय में } के अलघुकरणीय घटक कहलाते हैं V और एक अपघटन एल्गोरिथ्म के लिए एक प्राकृतिक आउटपुट के रूप में माना जा सकता है, या, दूसरे शब्दों में, एक एल्गोरिथ्म के लिए समीकरणों की एक प्रणाली को हल करने के लिए k[x1, ..., xn].
एक कंप्यूटर प्रोग्राम का नेतृत्व करने के लिए, इस एल्गोरिथम विनिर्देश को निर्धारित करना चाहिए कि इरेड्यूसिबल घटकों का प्रतिनिधित्व कैसे किया जाता है। इस तरह के एक एन्कोडिंग जोसेफ रिट द्वारा पेश किया गया है[2] निम्नलिखित परिणाम के माध्यम से।
- प्रमेय (रिट)। अगर V ⊂ Kn एक गैर-खाली और अलघुकरणीय किस्म है तो कोई कम त्रिकोणीय सेट की गणना कर सकता है C आदर्श में निहित है द्वारा उत्पन्न F में k[x1, ..., xn] और ऐसा है कि सभी बहुपद g में छद्म-विभाजन w.r.t द्वारा शून्य को कम करता है C.
हम सेट कहते हैं C Ritt के प्रमेय में आदर्श का एक Ritt विशेषता सेट . त्रिकोणीय सेट की धारणा के लिए कृपया नियमित श्रृंखला देखें।
जोसेफ रिट ने फील्ड एक्सटेंशन पर बहुपद गुणनखंडन पर आधारित बहुपद प्रणालियों को हल करने के लिए एक विधि का वर्णन किया और प्रमुख आदर्शों के विशिष्ट सेटों की गणना की।
हालाँकि, इस पद्धति का व्यावहारिक कार्यान्वयन प्राप्त करना एक कठिन समस्या थी और बनी हुई है। 1980 के दशक में, जब वू की विशेषता सेट विधि की विधि पेश की गई थी, तो बहुपद गुणनखंडन एक सक्रिय शोध क्षेत्र था और इस विषय पर कुछ मूलभूत प्रश्न हाल ही में हल किए गए थे।[3] आजकल, अधिकांश अनुप्रयोग समस्याओं को संसाधित करने के लिए एक बीजगणितीय विविधता को अप्रासंगिक घटकों में विघटित करना आवश्यक नहीं है, क्योंकि अपघटन की कमजोर धारणाएं, गणना करने के लिए कम खर्चीला, पर्याप्त हैं।
अभिलक्षण समुच्चय विधि Ritt's Theorem के निम्न संस्करण पर निर्भर करती है।
- प्रमेय (वेन-त्सुन वू)। किसी परिमित बहुपद समुच्चय के लिए F ⊂ k[x1, ..., xn], कोई कम त्रिकोणीय सेट की गणना कर सकता है ऐसा है कि सभी बहुपद g में F छद्म-विभाजन w.r.t द्वारा शून्य को कम कर देता है C.
विभिन्न अवधारणाओं और एल्गोरिदम ने वू वेनजुन | वेन-त्सुन वू के काम को आगे बढ़ाया। 1990 के दशक की शुरुआत में, एक नियमित श्रृंखला की धारणा, स्वतंत्र रूप से 1991 में माइकल काल्कब्रेनर द्वारा अपनी पीएचडी थीसिस और लू यांग और जिंगझोंग झांग द्वारा पेश की गई थी।[4] महत्वपूर्ण एल्गोरिथम खोजों का नेतृत्व किया।
काल्कब्रेनर की दृष्टि में,[5] एक बीजगणितीय विविधता के अलघुकरणीय घटकों के सामान्य शून्य का प्रतिनिधित्व करने के लिए नियमित श्रृंखलाओं का उपयोग किया जाता है। यांग और झांग के मूल कार्य में, उनका उपयोग यह तय करने के लिए किया जाता है कि क्या एक हाइपरसफेस एक अर्ध-विविधता (एक नियमित श्रृंखला द्वारा दी गई) को काटता है। नियमित शृंखलाओं में, वास्तव में, कई दिलचस्प गुण होते हैं और बीजगणितीय या अवकल समीकरणों की प्रणाली को विघटित करने के लिए कई एल्गोरिदम में महत्वपूर्ण धारणा है।
कई पत्रों में नियमित जंजीरों की जांच की गई है।[6][7][8] इस विषय पर प्रचुर मात्रा में साहित्य को नियमित श्रृंखला की कई समकक्ष परिभाषाओं द्वारा समझाया जा सकता है। दरअसल, काल्कब्रेनर का मूल सूत्रीकरण यांग और झांग से काफी अलग है। इन दो धारणाओं के बीच एक पुल, काल्कब्रेनर और यांग और झांग का दृष्टिकोण, डोंगमिंग वांग के पेपर में दिखाई देता है।[9] त्रिकोणीय अपघटन प्राप्त करने के लिए विभिन्न एल्गोरिदम उपलब्ध हैं V(F) कालब्रेनर के अर्थ में और डेनियल लाजार्ड और वू वेनजुन|वेन-त्सुन वू के अर्थ में। डैनियल लाजार्ड द्वारा लेक्स्ट्रियांगुलर एल्गोरिथम[10] और ट्रायड एल्गोरिदम Marc Moreno Maza द्वारा[11] विशेषता सेट विधि के साथ मिलकर विभिन्न कंप्यूटर बीजगणित प्रणालियों में उपलब्ध हैं, जिनमें Axiom (कंप्यूटर बीजगणित प्रणाली) और मेपल (सॉफ्टवेयर) शामिल हैं।
औपचारिक परिभाषाएँ
होने देना k एक क्षेत्र हो और x1 < ... < xn आदेशित चर हो। हम द्वारा निरूपित करते हैं R = k[x1, ..., xn] संगत बहुपद वलय। के लिए F ⊂ R, बहुपद समीकरणों की एक प्रणाली के रूप में माना जाता है, बीजगणितीय बंद होने पर त्रिकोणीय अपघटन के दो विचार हैं k. सबसे पहले बीजगणितीय सेट के केवल सामान्य बिंदुओं का प्रतिनिधित्व करके आलसी रूप से विघटित करना है V(F) कालब्रेनर के तथाकथित अर्थ में।
दूसरा स्पष्ट रूप से सभी बिंदुओं का वर्णन करना है V(F) डैनियल लाजार्ड और वू वेनजुन | वेन-सुन वू के तथाकथित अर्थ में।
दोनों ही मामलों में T1, ..., Te निश्चित रूप से कई नियमित श्रृंखलाएं हैं R और के संतृप्त आदर्श के मूलांक को दर्शाता है Ti जबकि W(Ti) के अर्ध-घटक को दर्शाता है Ti. कृपया इन धारणाओं की परिभाषा के लिए नियमित श्रृंखला देखें।
अभी से मान लीजिए k एक वास्तविक बंद क्षेत्र है। विचार करना S बहुपदों के साथ एक अर्ध-बीजगणितीय प्रणाली R. वहां है[12] निश्चित रूप से कई नियमित अर्ध-बीजगणितीय प्रणालियाँ S1, ..., Se ऐसा कि हमारे पास है
कहाँ Zk(S) के बिंदुओं को दर्शाता है kn जो हल करता है S. नियमित अर्ध-बीजीय प्रणाली S1, ..., Se अर्ध-बीजगणितीय प्रणाली का त्रिकोणीय अपघटन बनाते हैं S.
उदाहरण
निरूपित Q परिमेय संख्या क्षेत्र। में परिवर्तनीय क्रम के साथ , निम्नलिखित बहुपद प्रणाली पर विचार करें:
मेपल (सॉफ्टवेयर) कोड के अनुसार:
के समाधान सेट का एक संभावित त्रिकोणीय अपघटन S RegularChains लाइब्रेरी का उपयोग करने के साथ है:
यह भी देखें
- वू की विशेषता सेट की विधि
- नियमित श्रृंखला
- नियमित अर्ध-बीजगणितीय प्रणाली
संदर्भ
- ↑ Wu, W. T. (1987). A zero structure theorem for polynomial equations solving. MM Research Preprints, 1, 2–12
- ↑ Ritt, J. (1966). Differential Algebra. New York, Dover Publications
- ↑ A. M. Steel Conquering inseparability: Primary decomposition and multivariate factorization over algebraic function fields of positive characteristic
- ↑ Yang, L., Zhang, J. (1994). Searching dependency between algebraic equations: an algorithm applied to automated reasoning. Artificial Intelligence in Mathematics, pp. 14715, Oxford University Press.
- ↑ M. Kalkbrener: A Generalized Euclidean Algorithm for Computing Triangular Representations of Algebraic Varieties. J. Symb. Comput. 15(2): 143–167 (1993)
- ↑ S.C. Chou and X.S. Gao. On the dimension of an arbitrary ascending chain. Chinese Bull. of Sci., 38:799--804, 1991.
- ↑ Michael Kalkbrener. Algorithmic properties of polynomial rings. J. Symb. Comput.}, 26(5):525--581, 1998.
- ↑ P. Aubry, D. Lazard, M. Moreno Maza. On the theories of triangular sets. Journal of Symbolic Computation, 28(1–2):105–124, 1999.
- ↑ D. Wang. Computing Triangular Systems and Regular Systems. Journal of Symbolic Computation 30(2) (2000) 221–236
- ↑ D. Lazard, Solving zero-dimensional algebraic systems. Journal of Symbolic Computation 13, 1992
- ↑ M. Moreno Maza: On triangular decomposition of algebraic varieties. MEGA 2000 (2000).
- ↑ Changbo Chen, James H. Davenport, John P. May, Marc Moreno-Maza, Bican Xia, Rong Xiao. Triangular decomposition of semi-algebraic systems. Proceedings of 2010 International Symposium on Symbolic and Algebraic Computation (ISSAC 2010), ACM Press, pp. 187--194, 2010.