अवधारित प्रणाली: Difference between revisions

From Vigyanwiki
No edit summary
Line 1: Line 1:
{{refimprove|date=February 2018}}
{{refimprove|date=February 2018}}
[[गणित]] में, रैखिक समीकरणों की एक प्रणाली या बहुपद समीकरणों की एक प्रणाली को कम माना जाता है यदि अज्ञात की तुलना में कम समीकरण हैं<ref name="Datta2010">{{cite book|author=Biswa Nath Datta|title=Numerical Linear Algebra and Applications, Second Edition|url=https://books.google.com/books?id=1V9PbyYGZIIC&q=%22underdetermined+system%22&pg=PA263|date=4 February 2010|publisher=SIAM|isbn=978-0-89871-685-6|pages=263–}}</ref> (एक अतिवृद्धि प्रणाली के विपरीत, जहां अज्ञात की तुलना में अधिक समीकरण हैं)।[[बाधा गिनती]] की अवधारणा का उपयोग करके शब्दावली को समझाया जा सकता है।प्रत्येक चर (गणित) को स्वतंत्रता की उपलब्ध डिग्री के रूप में देखा जा सकता है।सिस्टम में पेश किए गए प्रत्येक समीकरण को एक [[बाधा (गणित)]] के रूप में देखा जा सकता है जो स्वतंत्रता की एक डिग्री को प्रतिबंधित करता है।
[[गणित]] में, यदि अज्ञात की तुलना में कम समीकरण हैं तो रैखिक समीकरणों की एक प्रणाली या बहुपद समीकरणों की एक प्रणाली को अवधारित माना जाता है<ref name="Datta2010">{{cite book|author=Biswa Nath Datta|title=Numerical Linear Algebra and Applications, Second Edition|url=https://books.google.com/books?id=1V9PbyYGZIIC&q=%22underdetermined+system%22&pg=PA263|date=4 February 2010|publisher=SIAM|isbn=978-0-89871-685-6|pages=263–}}</ref> (एक अतिवृद्धि प्रणाली के विपरीत, जहां अज्ञात की तुलना में अधिक समीकरण हैं)। [[बाधा गिनती]] की अवधारणा का उपयोग करके शब्दों के समूह को समझाया जा सकता है।  प्रत्येक चर (गणित) को स्वतंत्रता के उपलब्ध परिमाण के रूप में देखा जा सकता है।  प्रणाली में प्रस्तुत किए गए प्रत्येक समीकरण को एक [[बाधा (गणित)]] के रूप में देखा जा सकता है जो स्वतंत्रता के एक परिमाण को प्रतिबंधित करता है।


इसलिए, महत्वपूर्ण मामला (ओवरडिटमेटेड और अंडरडर्मीड के बीच) तब होता है जब समीकरणों की संख्या और मुक्त चर की संख्या समान होती है।स्वतंत्रता की एक डिग्री देने वाले प्रत्येक चर के लिए, स्वतंत्रता की एक डिग्री को हटाने वाली एक इसी बाधा मौजूद है।इसके विपरीत, अंडरडिटर्मेड मामला तब होता है जब सिस्टम को कम कर दिया जाता है & mdash; यानी, जब अज्ञात समीकरणों को पछाड़ते हैं।
इसलिए,यह महत्वपूर्ण विषय (अति निर्धारित और अवधारित के बीच) तब होता है जब समीकरणों की संख्या और मुक्त चर की संख्या समान होती है।  स्वतंत्रता के एक परिमाण देने वाले प्रत्येक चर के लिए, स्वतंत्रता के एक परिमाण को हटाने वाली एक ऐसी बाधा मौजूद है।  इसके विपरीत, अवधारित विषय तब होता है जब प्रणाली को कम कर दिया जाता है - यानी कि, जब अज्ञात समीकरणों को पछाड़ते हैं।


== अंडरडिटर्ड सिस्टम के समाधान ==
== अवधारित प्रणाली के समाधान ==


एक अंडरडिटर्ड रैखिक प्रणाली में या तो कोई समाधान या असीम रूप से कई समाधान नहीं हैं।
एक अवधारित रैखिक प्रणाली में या तो कोई समाधान या असीम रूप से कई समाधान नहीं हैं।


उदाहरण के लिए,
उदाहरण के लिए,
Line 13: Line 13:
x+y+z&=0
x+y+z&=0
\end{align}</math>
\end{align}</math>
बिना किसी समाधान के एक अंडरडिटर्ड सिस्टम है;कोई समाधान नहीं होने वाले समीकरणों की किसी भी प्रणाली को रैखिक समीकरणों#स्थिरता की प्रणाली कहा जाता है।दूसरी ओर, सिस्टम
बिना किसी समाधान के एक अवधारित प्रणाली है;कोई समाधान नहीं होने वाले समीकरणों की किसी भी प्रणाली को रैखिक समीकरणों को स्थिरता की प्रणाली कहा जाता है।  दूसरी ओर, प्रणाली


:<math>\begin{align}
:<math>\begin{align}
Line 19: Line 19:
x+y+2z&=3
x+y+2z&=3
\end{align}</math>
\end{align}</math>
सुसंगत है और इसमें समाधानों का एक अनंतता है, जैसे {{nowrap|1=(''x'', ''y'', ''z'') =}} {{nowrap|(1, −2, 2)}}, {{nowrap|(2, −3, 2)}}, और {{nowrap|(3, −4, 2)}}।इन सभी समाधानों को पहले समीकरण को दूसरे से घटाकर, यह दिखाने के लिए कि सभी समाधान आज्ञा मानते हैं {{nowrap|1=''z'' = 2}};या तो समीकरण में इसका उपयोग करने से पता चलता है कि y का कोई भी मूल्य संभव है, साथ {{nowrap|1=''x'' = −1 − ''y''}}
सुसंगत है और इसमें समाधानों की एक अत्यंत अधिकता है, जैसे {{nowrap|1=(''x'', ''y'', ''z'') =}} {{nowrap|(1, −2, 2)}}, {{nowrap|(2, −3, 2)}}, और {{nowrap|(3, −4, 2)}}।  इन सभी समाधानों को पहले समीकरण को दूसरे से घटाकर, यह दिखाने के लिए कि सभी समाधान आज्ञा मानते हैं {{nowrap|1=''z'' = 2}};या तो समीकरण में इसका उपयोग करने से पता चलता है कि y का कोई भी मूल्य {{nowrap|1=''x'' = −1 − ''y''}} के साथ संभव है। 


अधिक विशेष रूप से, Rouché -Capelli Theorem के अनुसार, रैखिक समीकरणों की कोई भी प्रणाली (अंडरडिटर्मेड या अन्यथा) असंगत है यदि [[संवर्धित मैट्रिक्स]] की [[रैंक (रैखिक बीजगणित)]] [[गुणांक मैट्रिक्स]] के रैंक से अधिक है।यदि, दूसरी ओर, इन दो मैट्रिस के रैंक समान हैं, तो सिस्टम में कम से कम एक समाधान होना चाहिए;चूंकि एक कमज़ोर प्रणाली में यह रैंक आवश्यक रूप से अज्ञात की संख्या से कम है, इसलिए वास्तव में समाधानों का एक अनंतता है, सामान्य समाधान के साथ k मुक्त पैरामीटर हैं जहां k चर और रैंक की संख्या के बीच अंतर है।
अधिक विशेष रूप से, Rouché -Capelli प्रमेय के अनुसार, रैखिक समीकरणों की कोई भी प्रणाली (अवधारित या अन्यथा) असंगत है यदि [[संवर्धित मैट्रिक्स]] की [[रैंक (रैखिक बीजगणित)]] [[गुणांक मैट्रिक्स]] के रैंक से अधिक है।  यदि, दूसरी ओर, इन दो मैट्रिक्स के रैंक समान हैं, तो प्रणाली में कम से कम एक समाधान होना चाहिए;चूंकि एक कमज़ोर प्रणाली में यह रैंक आवश्यक रूप से अज्ञात की संख्या से कम है, इसलिए वास्तव में समाधानों की एक अवधारित है, सामान्य समाधान के साथ k मुक्त पैरामीटर हैं जहां k चर और रैंक की संख्या के बीच अंतर है।


यह तय करने के लिए [[कलन विधि]] हैं कि क्या एक अंडरडिटर्ड सिस्टम में समाधान हैं, और यदि कोई हो, तो सभी समाधानों को चर के k के रैखिक कार्यों के रूप में व्यक्त करने के लिए (ऊपर के समान k)।सबसे सरल एक गौसियन उन्मूलन है।अधिक विवरण के लिए रैखिक समीकरणों की प्रणाली देखें।
यह निश्चित करने के लिए [[कलन विधि]] हैं कि क्या एक अवधारित प्रणाली में समाधान हैं, और यदि कोई हो, तो सभी समाधानों को चर के k के रैखिक कार्यों के रूप में व्यक्त करने के लिए (ऊपर के समान k)।  सबसे सरल एक गौसियन उन्मूलन है।  अधिक विवरण के लिए रैखिक समीकरणों की प्रणाली देखें।


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


== कमतर बहुपदीय प्रणाली ==
== अवधारित बहुपदीय प्रणाली ==
रैखिक कमज़ोर प्रणालियों की मुख्य संपत्ति, या तो कोई समाधान नहीं है या असीम रूप से कई, निम्नलिखित तरीके से बहुपद समीकरणों की प्रणालियों तक फैली हुई है।
रैखिक कमज़ोर प्रणालियों की मुख्य संपत्ति,या असीम रूप से कई या तो कोई समाधान नहीं है , निम्नलिखित तरीके से बहुपद समीकरणों की प्रणालियों तक फैली हुई है।


बहुपद समीकरणों की एक प्रणाली जिसमें अज्ञात की तुलना में कम समीकरण होते हैं, को कम कहा जाता है।इसमें या तो असीम रूप से कई जटिल समाधान हैं (या, अधिक आम तौर पर, एक बीजगणितीय रूप से बंद क्षेत्र में समाधान) या असंगत है।यह असंगत है अगर और केवल अगर {{nowrap|1=0 = 1}} समीकरणों के एक रैखिक संयोजन (बहुपद गुणांक के साथ) है (यह हिल्बर्ट का नलस्टेलेंसैट्ज़ है)।यदि n चर (t <n) में T समीकरणों की एक अंडरडिटर्मेड सिस्टम में समाधान हैं, तो सभी जटिल समाधानों का सेट कम से कम एक बीजगणितीय किस्म के आयाम का एक [[बीजगणितीय सेट]] है {{nowrap|''n'' - ''t''}}।यदि अंडरडिटर्मेड सिस्टम को यादृच्छिक रूप से चुना जाता है तो आयाम के बराबर होता है {{nowrap|''n'' - ''t''}} संभावना के साथ एक।
बहुपद समीकरणों की एक प्रणाली जिसमें अज्ञात की तुलना में कम समीकरण होते हैं, को अवधारित कहा जाता है।  इसमें या तो असीम रूप से कई जटिल समाधान हैं (या, अधिक सामान्यत:, एक बीजगणितीय रूप से बंद क्षेत्र में समाधान) या असंगत है।  यह असंगत है अगर और केवल अगर {{nowrap|1=0 = 1}} समीकरणों के एक रैखिक संयोजन (बहुपद गुणांक के साथ) है (यह हिल्बर्ट नलस्टेलेंसैट्ज़ है)।  यदि n चर (t <n) में T समीकरणों की एक अवधारित प्रणाली में समाधान हैं, तो सभी जटिल समाधानों का सेट कम से कम एक बीजगणितीय प्रकार के आयाम का एक [[बीजगणितीय सेट|बीजगणितीय सेट {{nowrap|''n'' - ''t''}}]] है।  यदि अवधारित प्रणाली को यादृच्छिक रूप से चुना जाता है तो आयाम {{nowrap|''n'' - ''t''}} संभावना के साथ एक बराबर होता है। 


== अन्य बाधाओं के साथ और अनुकूलन समस्याओं के साथ कमज़ोर प्रणाली ==
== अन्य प्रतिबंध के साथ और अनुकूलन समस्याओं के साथ अवधारित प्रणाली ==


सामान्य तौर पर, रैखिक समीकरणों की एक कमतर प्रणाली में अनंत संख्या में समाधान होते हैं, यदि कोई हो।हालांकि, [[गणितीय अनुकूलन]] में जो रैखिक समानता की कमी के अधीन हैं, केवल समाधानों में से एक प्रासंगिक है, अर्थात् एक उद्देश्य फ़ंक्शन का उच्चतम या निम्नतम मूल्य देने वाला।
सामान्यत:, यदि कोई हो,तो रैखिक समीकरणों की एक अवधारित प्रणाली में अनंत संख्या में समाधान होते हैं।  हालांकि, [[गणितीय अनुकूलन]] में जो रैखिक समानता की कमी के अधीन हैं, केवल समाधानों में से एक प्रासंगिक है, अर्थात् एक उद्देश्य कार्य का उच्चतम या निम्नतम मूल्य देने वाला है। 


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


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


== यह भी देखें ==
== यह भी देखें ==


*ओवरडिटमेटेड सिस्टम
*अति निर्धारित प्रणाली
*[[नियमितीकरण (गणित)]]
*[[नियमितीकरण (गणित)]]



Revision as of 22:02, 8 February 2023

गणित में, यदि अज्ञात की तुलना में कम समीकरण हैं तो रैखिक समीकरणों की एक प्रणाली या बहुपद समीकरणों की एक प्रणाली को अवधारित माना जाता है[1] (एक अतिवृद्धि प्रणाली के विपरीत, जहां अज्ञात की तुलना में अधिक समीकरण हैं)। बाधा गिनती की अवधारणा का उपयोग करके शब्दों के समूह को समझाया जा सकता है। प्रत्येक चर (गणित) को स्वतंत्रता के उपलब्ध परिमाण के रूप में देखा जा सकता है। प्रणाली में प्रस्तुत किए गए प्रत्येक समीकरण को एक बाधा (गणित) के रूप में देखा जा सकता है जो स्वतंत्रता के एक परिमाण को प्रतिबंधित करता है।

इसलिए,यह महत्वपूर्ण विषय (अति निर्धारित और अवधारित के बीच) तब होता है जब समीकरणों की संख्या और मुक्त चर की संख्या समान होती है। स्वतंत्रता के एक परिमाण देने वाले प्रत्येक चर के लिए, स्वतंत्रता के एक परिमाण को हटाने वाली एक ऐसी बाधा मौजूद है। इसके विपरीत, अवधारित विषय तब होता है जब प्रणाली को कम कर दिया जाता है - यानी कि, जब अज्ञात समीकरणों को पछाड़ते हैं।

अवधारित प्रणाली के समाधान

एक अवधारित रैखिक प्रणाली में या तो कोई समाधान या असीम रूप से कई समाधान नहीं हैं।

उदाहरण के लिए,

बिना किसी समाधान के एक अवधारित प्रणाली है;कोई समाधान नहीं होने वाले समीकरणों की किसी भी प्रणाली को रैखिक समीकरणों को स्थिरता की प्रणाली कहा जाता है। दूसरी ओर, प्रणाली

सुसंगत है और इसमें समाधानों की एक अत्यंत अधिकता है, जैसे (x, y, z) = (1, −2, 2), (2, −3, 2), और (3, −4, 2)। इन सभी समाधानों को पहले समीकरण को दूसरे से घटाकर, यह दिखाने के लिए कि सभी समाधान आज्ञा मानते हैं z = 2;या तो समीकरण में इसका उपयोग करने से पता चलता है कि y का कोई भी मूल्य x = −1 − y के साथ संभव है।

अधिक विशेष रूप से, Rouché -Capelli प्रमेय के अनुसार, रैखिक समीकरणों की कोई भी प्रणाली (अवधारित या अन्यथा) असंगत है यदि संवर्धित मैट्रिक्स की रैंक (रैखिक बीजगणित) गुणांक मैट्रिक्स के रैंक से अधिक है। यदि, दूसरी ओर, इन दो मैट्रिक्स के रैंक समान हैं, तो प्रणाली में कम से कम एक समाधान होना चाहिए;चूंकि एक कमज़ोर प्रणाली में यह रैंक आवश्यक रूप से अज्ञात की संख्या से कम है, इसलिए वास्तव में समाधानों की एक अवधारित है, सामान्य समाधान के साथ k मुक्त पैरामीटर हैं जहां k चर और रैंक की संख्या के बीच अंतर है।

यह निश्चित करने के लिए कलन विधि हैं कि क्या एक अवधारित प्रणाली में समाधान हैं, और यदि कोई हो, तो सभी समाधानों को चर के k के रैखिक कार्यों के रूप में व्यक्त करने के लिए (ऊपर के समान k)। सबसे सरल एक गौसियन उन्मूलन है। अधिक विवरण के लिए रैखिक समीकरणों की प्रणाली देखें।

सजातीय विषय

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

अवधारित बहुपदीय प्रणाली

रैखिक कमज़ोर प्रणालियों की मुख्य संपत्ति,या असीम रूप से कई या तो कोई समाधान नहीं है , निम्नलिखित तरीके से बहुपद समीकरणों की प्रणालियों तक फैली हुई है।

बहुपद समीकरणों की एक प्रणाली जिसमें अज्ञात की तुलना में कम समीकरण होते हैं, को अवधारित कहा जाता है। इसमें या तो असीम रूप से कई जटिल समाधान हैं (या, अधिक सामान्यत:, एक बीजगणितीय रूप से बंद क्षेत्र में समाधान) या असंगत है। यह असंगत है अगर और केवल अगर 0 = 1 समीकरणों के एक रैखिक संयोजन (बहुपद गुणांक के साथ) है (यह हिल्बर्ट नलस्टेलेंसैट्ज़ है)। यदि n चर (t <n) में T समीकरणों की एक अवधारित प्रणाली में समाधान हैं, तो सभी जटिल समाधानों का सेट कम से कम एक बीजगणितीय प्रकार के आयाम का एक [[बीजगणितीय सेट|बीजगणितीय सेट n - t]] है। यदि अवधारित प्रणाली को यादृच्छिक रूप से चुना जाता है तो आयाम n - t संभावना के साथ एक बराबर होता है।

अन्य प्रतिबंध के साथ और अनुकूलन समस्याओं के साथ अवधारित प्रणाली

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

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

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

यह भी देखें

संदर्भ

  1. Biswa Nath Datta (4 February 2010). Numerical Linear Algebra and Applications, Second Edition. SIAM. pp. 263–. ISBN 978-0-89871-685-6.