सामग्री पर जाएँ
Topos Uranos

सारांश

यह पाठ किसी भी संख्या में समीकरणों और अज्ञातों वाले रैखिक समीकरण निकायों का अध्ययन करता है। यह प्रत्येक निकाय को आव्यूह समीकरण AX=BAX = B के रूप में लिखता है और उसे उसके संवर्धित आव्यूह से निरूपित करता है; सिद्ध करता है कि तीन प्रारंभिक पंक्ति संक्रियाएँ किसी निकाय को उन्हीं हलों वाले दूसरे निकाय में बदल देती हैं, और कि उनके द्वारा प्रत्येक आव्यूह को एक समानीत सोपानक रूप में लाया जा सकता है, जिससे हल सीधे पढ़े जा सकते हैं: यही गाउस-जॉर्डन विधि है। इसके बाद यह सिद्ध करता है कि यह रूप अद्वितीय है, प्रयुक्त संक्रियाएँ चाहे जो हों, और इसकी सहायता से आव्यूह की जाति परिभाषित करता है; रूशे-फ्रोबेनियस प्रमेय सिद्ध करता है, जो तय करती है कि किसी निकाय का हल है या नहीं और उसके हलों में कितने स्वतंत्र प्राचल हैं, और उसे समघात निकायों पर लागू करता है। इससे निकायों का वह अध्ययन पूरा होता है जो संख्या समुच्चयों वाली इकाई में आरंभ हुआ था।

अधिगम उद्देश्य

  1. किसी रैखिक निकाय को आव्यूह रूप में लिखना, उसका संवर्धित आव्यूह बनाना और यह औचित्य देना कि प्रारंभिक पंक्ति संक्रियाएँ उसके हलों को क्यों संरक्षित रखती हैं।
  2. गाउस-जॉर्डन विधि से किसी आव्यूह को उसके समानीत सोपानक रूप में लाना, सिद्ध करना कि यह रूप अद्वितीय है, और उसमें निकाय के हल पढ़ना।
  3. किसी आव्यूह की जाति परिकलित करना और किसी निकाय का वर्गीकरण करने के लिए रूशे-फ्रोबेनियस प्रमेय लागू करना, उस स्थिति में भी जब उसके गुणांक किसी प्राचल पर निर्भर हों।
  4. अंतर्वेशन, रासायनिक संतुलन, प्रवाह-जालों और जादुई वर्गों की समस्याओं को रैखिक निकायों के रूप में प्रस्तुत करना, और उनके हलों का स्वतंत्र प्राचलों द्वारा वर्णन करना।

निकाय का आव्यूह रूप

पाठ्यक्रम बीजगणित और ज्यामिति I के प्रथम घात के समीकरणों, असमिकाओं और रैखिक निकायों वाले पाठ में दो और तीन समीकरणों के निकाय प्रतिस्थापन, विलोपन और तुलना विधियों से हल किए गए थे, और दो अज्ञातों वाले दो समीकरणों के निकायों का वर्गीकरण उनके सारणिक के द्वारा किया गया था। वहाँ व्यापक स्थिति शेष रह गई थी, जिसका वर्गीकरण बिना उपपत्ति के स्वीकार किया गया था। यह पाठ उसे आव्यूह और आव्यूहों पर संक्रियाएँ वाले पाठ के साधनों से हल करता है।

mm रैखिक समीकरणों और nn अज्ञातों x1,x2,…,xnx_1, x_2, \ldots, x_n वाला निकाय नीचे दिए गए रूप के mm समीकरणों का एक समुच्चय है, जिन्हें एक साथ संतुष्ट होना चाहिए; संख्या aija_{ij} अज्ञात xjx_j का वह गुणांक है जो समीकरण ii में आता है, और bib_i उस समीकरण का अचर पद है।

{a11x1+a12x2+⋯+a1nxn=b1a21x1+a22x2+⋯+a2nxn=b2⋯am1x1+am2x2+⋯+amnxn=bm\begin{cases} a_{11} x_1 + a_{12} x_2 + \cdots + a_{1n} x_n = b_1 \\ a_{21} x_1 + a_{22} x_2 + \cdots + a_{2n} x_n = b_2 \\ \cdots \\ a_{m1} x_1 + a_{m2} x_2 + \cdots + a_{mn} x_n = b_m \end{cases}

निकाय का एक हल nn संख्याओं की वह क्रमित सूची (s1,s2,…,sn)(s_1, s_2, \ldots, s_n) है जो, अज्ञातों के स्थान पर रखे जाने पर, सभी mm समीकरणों को संतुष्ट करती है। मान लीजिए AA गुणांक आव्यूह है, जिसमें mm पंक्तियाँ और nn स्तंभ हैं और जिसकी पंक्ति ii और स्तंभ jj की प्रविष्टि aija_{ij} है; मान लीजिए XX अज्ञातों का स्तंभ है और BB अचर पदों का स्तंभ। जैसा कि उस पाठ में देखा जा चुका है, आव्यूहों के गुणन की परिभाषा से प्रविष्टि ii (स्तंभ AXAX की) ठीक समीकरण ii का बायाँ पक्ष है। इससे निष्कर्ष निकलता है कि पूरा निकाय स्तंभ आव्यूहों के बीच एक ही समानता के रूप में लिखा जाता है, AX=BAX = B। उदाहरण के लिए, जो निकाय आगे हल किया जाएगा, वह इस प्रकार लिखा जाता है:

{2y+z=0x+y+z=22x+3y−z=−3(02111123−1)(xyz)=(02−3)\begin{cases} 2y + z = 0 \\ x + y + z = 2 \\ 2x + 3y - z = -3 \end{cases} \qquad \begin{pmatrix} 0 & 2 & 1 \\ 1 & 1 & 1 \\ 2 & 3 & -1 \end{pmatrix} \begin{pmatrix} x \\ y \\ z \end{pmatrix} = \begin{pmatrix} 0 \\ 2 \\ -3 \end{pmatrix}

निकाय को हल करने के लिए संख्याएँ aija_{ij} और bib_i जानना पर्याप्त है: परिकलनों में अज्ञातों के नाम कोई भूमिका नहीं निभाते। निकाय का संवर्धित आव्यूह वह आव्यूह MM है, जिसमें mm पंक्तियाँ और n+1n + 1 स्तंभ हैं और जो AA के दाईं ओर स्तंभ BB को अंतिम स्तंभ के रूप में लगाने से प्राप्त होता है; इसे हम M=(A,B)M = \left( A, B \right) लिखेंगे। MM की प्रत्येक पंक्ति एक समीकरण का सार है: उसकी पहली nn प्रविष्टियाँ गुणांक हैं, और अंतिम प्रविष्टि अचर पद है। उदाहरण में:

M=(0210111223−1−3)M = \begin{pmatrix} 0 & 2 & 1 & 0 \\ 1 & 1 & 1 & 2 \\ 2 & 3 & -1 & -3 \end{pmatrix}

कोई निकाय संगत है यदि उसका कम से कम एक हल हो, और असंगत यदि उसका कोई हल न हो; एक संगत निकाय अद्वितीय हल वाला है यदि उसका ठीक एक हल हो, और अनंत हलों वाला यदि उसके एक से अधिक हल हों। समान अज्ञातों वाले दो निकाय तुल्य होते हैं जब उनके हलों का समुच्चय एक ही हो। पाठ्यक्रम I के पाठ में देखा गया था कि दो अज्ञातों वाले दो समीकरणों के निकाय का या तो कोई हल नहीं होता, या एक हल होता है, या अनंत हल होते हैं; इस पाठ के अंत में ज्ञात होगा कि यही बात हर रैखिक निकाय पर लागू होती है, और यह तय करने की एक कसौटी मिल जाएगी कि इनमें से कौन-सी स्थिति है।