अनुक्रमित वर्ग: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
Line 1: Line 1:
{{distinguish|समुच्चय की सदस्यता}}
{{Short description|Collection of objects, each associated with an element from some index set}}
{{Short description|Collection of objects, each associated with an element from some index set}}
गणित में, सदस्यता, या अनुक्रमित सदस्यता, अनौपचारिक रूप से वस्तुओं का संग्रह है, प्रत्येक किसी सूचकांक समुच्चय से सूचकांक द्वारा जुड़ा होता है। उदाहरण के लिए, '[[वास्तविक संख्या|वास्तविक संख्याओं]] का सदस्यता, [[पूर्णांक|पूर्णांकों]] के समुच्चय द्वारा अनुक्रमित' वास्तविक संख्याओं का संग्रह है, जहां दिया गया फलन प्रत्येक पूर्णांक के लिए वास्तविक संख्या का चयन करता है।
गणित में, वर्ग, या '''अनुक्रमित वर्ग''', अनौपचारिक रूप से वस्तुओं का संग्रह है, प्रत्येक किसी सूचकांक समुच्चय से सूचकांक द्वारा जुड़ा होता है। उदाहरण के लिए, '[[वास्तविक संख्या|वास्तविक संख्याओं]] का वर्ग, [[पूर्णांक|पूर्णांकों]] के समुच्चय द्वारा अनुक्रमित' वास्तविक संख्याओं का संग्रह है, जहां दिया गया फलन प्रत्येक पूर्णांक के लिए वास्तविक संख्या का चयन करता है।


अधिक औपचारिक रूप से, अनुक्रमित सदस्यता फलन है और [[छवि (गणित)|छवि]] {{mvar|X}} के साथ गणितीय कार्य है। अधिकांशतः समुच्चय {{mvar|X}} के [[तत्व (गणित)|तत्वों]] को सदस्यता बनाने के रूप में संदर्भित किया जाता है। इस दृष्टि से, अनुक्रमित सदस्यताों की व्याख्या कार्यों के अतिरिक्त अनुक्रमित तत्वों के संग्रह के रूप में की जाती है। समुच्चय {{mvar|I}} सदस्यता का सूचकांक समुच्चय कहा जाता है, और {{mvar|X}} [[क्रम|अनुक्रमित]] समुच्चय है।
अधिक औपचारिक रूप से, अनुक्रमित वर्ग फलन है और [[छवि (गणित)|छवि]] {{mvar|X}} के साथ गणितीय कार्य है। अधिकांशतः समुच्चय {{mvar|X}} के [[तत्व (गणित)|तत्वों]] को वर्ग बनाने के रूप में संदर्भित किया जाता है। इस दृष्टि से, अनुक्रमित वर्गों की व्याख्या कार्यों के अतिरिक्त अनुक्रमित तत्वों के संग्रह के रूप में की जाती है। समुच्चय {{mvar|I}} वर्ग का सूचकांक समुच्चय कहा जाता है, और {{mvar|X}} [[क्रम|अनुक्रमित]] समुच्चय है।


अनुक्रम प्रकार का सदस्यता हैं जिन्हें [[प्राकृतिक संख्या]] द्वारा अनुक्रमित किया जाता है। सामान्यतः, सूचकांक समुच्चय {{mvar|I}} [[गणनीय सेट|गणनीय]] होने के लिए प्रतिबंधित नहीं है। उदाहरण के लिए, वास्तविक संख्याओं द्वारा अनुक्रमित प्राकृतिक संख्याओं के उपसमुच्चय के असंख्य सदस्यता पर विचार किया जा सकता है।
अनुक्रम प्रकार का वर्ग हैं जिन्हें [[प्राकृतिक संख्या]] द्वारा अनुक्रमित किया जाता है। सामान्यतः, सूचकांक समुच्चय {{mvar|I}} [[गणनीय सेट|गणनीय]] होने के लिए प्रतिबंधित नहीं है। उदाहरण के लिए, वास्तविक संख्याओं द्वारा अनुक्रमित प्राकृतिक संख्याओं के उपसमुच्चय के असंख्य वर्ग पर विचार किया जा सकता है।


== गणितीय कथन ==
== गणितीय कथन ==
Line 15: Line 13:
  f\colon i &\mapsto x_i = f(i),
  f\colon i &\mapsto x_i = f(i),
\end{align}</math>
\end{align}</math>
जहां <math>i</math> का तत्व है और {{mvar|I}} की छवि <math>f(i)</math> को <math>i</math> फलन के अनुसार {{mvar|f}} द्वारा <math>x_i</math> निरूपित किया जाता है. उदाहरण के लिए, <math>f(3)</math> को <math>x_3</math> द्वारा निरूपित किया जाता है| प्रतीक <math>x_i</math> का उपयोग यह संकेत करने के लिए किया जाता है कि <math>x_i</math>, I द्वारा अनुक्रमित {{mvar|X}} का तत्व है <math>i\in I</math>. कार्यक्रम {{mvar|f}} इस प्रकार {{mvar|I}} द्वारा अनुक्रमित {{mvar|X}} में तत्वों का सदस्यता स्थापित करता है जिसे <math>(x_i)_{i \in I}</math> द्वारा दर्शाया जाता है , या केवल {{math|(''x<sub>i</sub>'')}} यदि सूचकांक समुच्चय को ज्ञात माना जाता है। कभी-कभी कोष्ठक के अतिरिक्त कोण कोष्ठक या ब्रेसिज़ का उपयोग किया जाता है,चूंकि ब्रेसिज़ के उपयोग से अनुक्रमित सदस्यताों को समुच्चय के साथ भ्रमित करने का संकट होता है।
जहां <math>i</math> का तत्व है और {{mvar|I}} की छवि <math>f(i)</math> को <math>i</math> फलन के अनुसार {{mvar|f}} द्वारा <math>x_i</math> निरूपित किया जाता है. उदाहरण के लिए, <math>f(3)</math> को <math>x_3</math> द्वारा निरूपित किया जाता है| प्रतीक <math>x_i</math> का उपयोग यह संकेत करने के लिए किया जाता है कि <math>x_i</math>, I द्वारा अनुक्रमित {{mvar|X}} का तत्व है <math>i\in I</math>. कार्यक्रम {{mvar|f}} इस प्रकार {{mvar|I}} द्वारा अनुक्रमित {{mvar|X}} में तत्वों का वर्ग स्थापित करता है जिसे <math>(x_i)_{i \in I}</math> द्वारा दर्शाया जाता है , या केवल {{math|(''x<sub>i</sub>'')}} यदि सूचकांक समुच्चय को ज्ञात माना जाता है। कभी-कभी कोष्ठक के अतिरिक्त कोण कोष्ठक या ब्रेसिज़ का उपयोग किया जाता है,चूंकि ब्रेसिज़ के उपयोग से अनुक्रमित वर्गों को समुच्चय के साथ भ्रमित करने का संकट होता है।


कार्य और अनुक्रमित सदस्यता औपचारिक रूप से समतुल्य हैं, क्योंकि डोमेन {{math|''I''}} के साथ कोई भी कार्य {{math|''f''}}  सदस्यता को प्रेरित करता है {{math|(''f''(''i''))<sub>''i''∈''I''</sub>}} और इसके विपरीत। सदस्यता का तत्व होना संबंधित कार्य की सीमा में होने के बराबर है। चूंकि, व्यवहार में, सदस्यता को समारोह के अतिरिक्त संग्रह के रूप में देखा जाता है।
कार्य और अनुक्रमित वर्ग औपचारिक रूप से समतुल्य हैं, क्योंकि डोमेन {{math|''I''}} के साथ कोई भी कार्य {{math|''f''}}  वर्ग को प्रेरित करता है {{math|(''f''(''i''))<sub>''i''∈''I''</sub>}} और इसके विपरीत। वर्ग का तत्व होना संबंधित कार्य की सीमा में होने के बराबर है। चूंकि, व्यवहार में, वर्ग को समारोह के अतिरिक्त संग्रह के रूप में देखा जाता है।


कोई भी समुच्चय {{mvar|X}} सदस्यता (''x<sub>x</sub>'')<sub>''x''∈''X''</sub> को उत्पन्न करता है, जहाँ X को स्वयं अनुक्रमित किया जाता है (जिसका अर्थ है कि <math>f</math> पहचान कार्य है)।चूंकि, सदस्यता समुच्चय से भिन्न होते हैं जिसमें ही वस्तु सदस्यता में विभिन्न सूचकांकों के साथ कई बार दिखाई दे सकती है, जबकि समुच्चय भिन्न-भिन्न वस्तुओं का संग्रह होता है। सदस्यता में कोई भी तत्व ठीक बार होता है केवल यदि संबंधित कार्य [[इंजेक्शन|एकैकी]] है।  
कोई भी समुच्चय {{mvar|X}} वर्ग (''x<sub>x</sub>'')<sub>''x''∈''X''</sub> को उत्पन्न करता है, जहाँ X को स्वयं अनुक्रमित किया जाता है (जिसका अर्थ है कि <math>f</math> पहचान कार्य है)।चूंकि, वर्ग समुच्चय से भिन्न होते हैं जिसमें ही वस्तु वर्ग में विभिन्न सूचकांकों के साथ कई बार दिखाई दे सकती है, जबकि समुच्चय भिन्न-भिन्न वस्तुओं का संग्रह होता है। वर्ग में कोई भी तत्व ठीक बार होता है केवल यदि संबंधित कार्य [[इंजेक्शन|एकैकी]] है।  


अनुक्रमित सदस्यता <math>(x_i)_{i \in I}</math>  समुच्चय परिभाषित करता है <math>\mathcal{X} = \{ x_i : i \in I \}</math>,अर्थात {{mvar|I}} की छवि {{mvar|f}} के नीचे I मानचित्रण के बाद से {{mvar|f}} को [[इंजेक्शन समारोह|एकैकी फलन]] होने की आवश्यकता नहीं है, इसलिए {{math|''i'' ≠ ''j''}} के साथ सम्मलित हो सकता है I जैसे कि {{math|1=''x<sub>i</sub>'' = ''x<sub>j</sub>''}}. इस प्रकार, <math>| \mathcal{X}| \leq |I|</math>, जहां {{math|{{abs|''A''}}}} समुच्चय {{mvar|A}} की [[प्रमुखता]] को दर्शाता हैI उदाहरण के लिए, अनुक्रम <math>\left( (-1)^i \right)_{i\in \N} </math> प्राकृतिक संख्या द्वारा अनुक्रमित <math>\N = \{1,2,3,\dots\}</math> छवि समुच्चय है <math>\{(-1)^i : i \in \N\} = \{-1,1\}</math>. इसके अतिरिक्त समुच्चय <math>\{ x_i : i \in I \}</math> {{mvar|I}} पर किसी भी संरचना के विषय में सूचना नहीं रखता है। इसलिए, सदस्यता के अतिरिक्त समुच्चय का उपयोग करने से कुछ सूचना खो सकता है। उदाहरण के लिए, सदस्यता के सूचकांक समुच्चय पर क्रमित सदस्यता को प्रेरित करता है, किन्तु संबंधित छवि समुच्चय पर कोई क्रमित नहीं होता है।
अनुक्रमित वर्ग <math>(x_i)_{i \in I}</math>  समुच्चय परिभाषित करता है <math>\mathcal{X} = \{ x_i : i \in I \}</math>,अर्थात {{mvar|I}} की छवि {{mvar|f}} के नीचे I मानचित्रण के बाद से {{mvar|f}} को [[इंजेक्शन समारोह|एकैकी फलन]] होने की आवश्यकता नहीं है, इसलिए {{math|''i'' ≠ ''j''}} के साथ सम्मलित हो सकता है I जैसे कि {{math|1=''x<sub>i</sub>'' = ''x<sub>j</sub>''}}. इस प्रकार, <math>| \mathcal{X}| \leq |I|</math>, जहां {{math|{{abs|''A''}}}} समुच्चय {{mvar|A}} की [[प्रमुखता]] को दर्शाता हैI उदाहरण के लिए, अनुक्रम <math>\left( (-1)^i \right)_{i\in \N} </math> प्राकृतिक संख्या द्वारा अनुक्रमित <math>\N = \{1,2,3,\dots\}</math> छवि समुच्चय है <math>\{(-1)^i : i \in \N\} = \{-1,1\}</math>. इसके अतिरिक्त समुच्चय <math>\{ x_i : i \in I \}</math> {{mvar|I}} पर किसी भी संरचना के विषय में सूचना नहीं रखता है। इसलिए, वर्ग के अतिरिक्त समुच्चय का उपयोग करने से कुछ सूचना खो सकता है। उदाहरण के लिए, वर्ग के सूचकांक समुच्चय पर क्रमित वर्ग को प्रेरित करता है, किन्तु संबंधित छवि समुच्चय पर कोई क्रमित नहीं होता है।


== उदाहरण ==
== उदाहरण ==
Line 30: Line 28:
|text=सदिश ''v''<sub>1</sub>, ..., ''v''<sub>''n''</sub> रैखिक रूप से स्वतंत्र हैं।
|text=सदिश ''v''<sub>1</sub>, ..., ''v''<sub>''n''</sub> रैखिक रूप से स्वतंत्र हैं।
}}
}}
यहां {{math|(''v''<sub>''i''</sub>)<sub>''i'' ∈ {1, ..., ''n''}</sub>}} सदिशों के सदस्यता को दर्शाता है। {{mvar|i}}<nowiki>i}}-वें सदिश </nowiki>{{math|''v''<sub>''i''</sub>}} केवल इस सदस्यता के संबंध में समझ में आता है, क्योंकि समुच्चय अनियंत्रित हैं इसलिए नहीं है {{mvar|i}} समुच्चय का i-वां सदिश नहीं होता है। इसके अतिरिक्त, [[रैखिक स्वतंत्रता]] को संग्रह की संपत्ति के रूप में परिभाषित किया गया है; इसलिए यह महत्वपूर्ण है कि वे सदिश समुच्चय या सदस्यता के रूप में रैखिक रूप से स्वतंत्र हों। उदाहरण के लिए, यदि {{math|1=''n'' = 2}} तथा {{math|1=''v''<sub>1</sub> = ''v''<sub>2</sub> = (1, 0)}} एको ही सदिश मानते हैं, तो उनके समुच्चय में केवल अवयव होता है (चूंकि समुच्चय अक्रमित विशिष्ट तत्वों का संग्रह होता है)और रैखिक रूप से स्वतंत्र होता है , किन्तु सदस्यता में ही तत्व दो बार होता है (भिन्न -भिन्न  अनुक्रमित होने के बाद से) और रैखिक रूप से निर्भर है (समान सदिश रैखिक रूप से निर्भर हैं)।
यहां {{math|(''v''<sub>''i''</sub>)<sub>''i'' ∈ {1, ..., ''n''}</sub>}} सदिशों के वर्ग को दर्शाता है। {{mvar|i}}<nowiki>i}}-वें सदिश </nowiki>{{math|''v''<sub>''i''</sub>}} केवल इस वर्ग के संबंध में समझ में आता है, क्योंकि समुच्चय अनियंत्रित हैं इसलिए नहीं है {{mvar|i}} समुच्चय का i-वां सदिश नहीं होता है। इसके अतिरिक्त, [[रैखिक स्वतंत्रता]] को संग्रह की संपत्ति के रूप में परिभाषित किया गया है; इसलिए यह महत्वपूर्ण है कि वे सदिश समुच्चय या वर्ग के रूप में रैखिक रूप से स्वतंत्र हों। उदाहरण के लिए, यदि {{math|1=''n'' = 2}} तथा {{math|1=''v''<sub>1</sub> = ''v''<sub>2</sub> = (1, 0)}} एको ही सदिश मानते हैं, तो उनके समुच्चय में केवल अवयव होता है (चूंकि समुच्चय अक्रमित विशिष्ट तत्वों का संग्रह होता है)और रैखिक रूप से स्वतंत्र होता है , किन्तु वर्ग में ही तत्व दो बार होता है (भिन्न -भिन्न  अनुक्रमित होने के बाद से) और रैखिक रूप से निर्भर है (समान सदिश रैखिक रूप से निर्भर हैं)।


=== आव्यूह ===
=== आव्यूह ===
Line 38: Line 36:
}}
}}


पिछले उदाहरण की भांति, यह महत्वपूर्ण है कि A की पंक्तियाँ सदस्यता के रैखिक रूप से स्वतंत्र हों, समुच्चय के रूप में नहीं। उदाहरण के लिए, आव्यूह पर विचार करें
पिछले उदाहरण की भांति, यह महत्वपूर्ण है कि A की पंक्तियाँ वर्ग के रैखिक रूप से स्वतंत्र हों, समुच्चय के रूप में नहीं। उदाहरण के लिए, आव्यूह पर विचार करें
:<math> A = \begin{bmatrix} 1 & 1 \\ 1 & 1 \end{bmatrix}. </math>
:<math> A = \begin{bmatrix} 1 & 1 \\ 1 & 1 \end{bmatrix}. </math>
पंक्तियों के समुच्चय में ही तत्व {{math|(1, 1)}} होता है समुच्चय अद्वितीय तत्वों से बना है, इसलिए यह रैखिक रूप से स्वतंत्र है, किन्तु आव्यूह व्युत्क्रमणीय नहीं है क्योंकि आव्यूह निर्धारक 0. है। दूसरी ओर, पंक्तियों के सदस्यता में दो तत्व भिन्न-भिन्न अनुक्रमित होते हैं जैसे कि पहली पंक्ति {{math|(1, 1)}} और दूसरी पंक्ति {{math|(1,1)}} इसलिए यह रैखिक रूप से निर्भर है। इसलिए यह कथन सही है यदि यह पंक्तियों के सदस्यता को संदर्भित करता है, किन्तु गलत है यदि यह पंक्तियों के समुच्चय को संदर्भित करता है। (वर्णन तब भी सही होता है जब पंक्तियों की व्याख्या [[multiset|बहु समुच्चय]] के संदर्भ में की जाती है, जिसमें तत्वों को भी भिन्न रखा जाता है किन्तु जिसमें अनुक्रमित सदस्यता की कुछ संरचना का अभाव होता है।)
पंक्तियों के समुच्चय में ही तत्व {{math|(1, 1)}} होता है समुच्चय अद्वितीय तत्वों से बना है, इसलिए यह रैखिक रूप से स्वतंत्र है, किन्तु आव्यूह व्युत्क्रमणीय नहीं है क्योंकि आव्यूह निर्धारक 0. है। दूसरी ओर, पंक्तियों के वर्ग में दो तत्व भिन्न-भिन्न अनुक्रमित होते हैं जैसे कि पहली पंक्ति {{math|(1, 1)}} और दूसरी पंक्ति {{math|(1,1)}} इसलिए यह रैखिक रूप से निर्भर है। इसलिए यह कथन सही है यदि यह पंक्तियों के वर्ग को संदर्भित करता है, किन्तु गलत है यदि यह पंक्तियों के समुच्चय को संदर्भित करता है। (वर्णन तब भी सही होता है जब पंक्तियों की व्याख्या [[multiset|बहु समुच्चय]] के संदर्भ में की जाती है, जिसमें तत्वों को भी भिन्न रखा जाता है किन्तु जिसमें अनुक्रमित वर्ग की कुछ संरचना का अभाव होता है।)


=== अन्य उदाहरण ===
=== अन्य उदाहरण ===
मान लीजिए {{math|'''n'''}} परिमित समुच्चय{{math|{{mset|1, 2, ..., ''n''}}}} है, जहाँ {{mvar|n}} धनात्मक पूर्णांक है।
मान लीजिए {{math|'''n'''}} परिमित समुच्चय{{math|{{mset|1, 2, ..., ''n''}}}} है, जहाँ {{mvar|n}} धनात्मक पूर्णांक है।
* आदेशित जोड़ी (2-[[टपल|ट्यूपल]]) दो तत्वों के समुच्चय द्वारा अनुक्रमित सदस्यता है, {{math|1='''2''' = {1, 2}<nowiki/>}}; आदेशित जोड़ी के प्रत्येक तत्व को {{math|'''2'''}} समुच्चय के प्रत्येक तत्व द्वारा अनुक्रमित किया जाता हैI
* आदेशित जोड़ी (2-[[टपल|ट्यूपल]]) दो तत्वों के समुच्चय द्वारा अनुक्रमित वर्ग है, {{math|1='''2''' = {1, 2}<nowiki/>}}; आदेशित जोड़ी के प्रत्येक तत्व को {{math|'''2'''}} समुच्चय के प्रत्येक तत्व द्वारा अनुक्रमित किया जाता हैI
* {{mvar|n}}-टुपल  सदस्यता है जिसे समुच्चय {{math|'''n'''}} द्वारा अनुक्रमित किया जाता है।
* {{mvar|n}}-टुपल  वर्ग है जिसे समुच्चय {{math|'''n'''}} द्वारा अनुक्रमित किया जाता है।
* अनंत अनुक्रम [[प्राकृतिक संख्या]]ओं द्वारा अनुक्रमित सदस्यता है।
* अनंत अनुक्रम [[प्राकृतिक संख्या]]ओं द्वारा अनुक्रमित वर्ग है।
* सूची अनिर्दिष्ट {{mvar|n}} या अनंत अनुक्रम के लिए {{mvar|n}}-टपल है।
* सूची अनिर्दिष्ट {{mvar|n}} या अनंत अनुक्रम के लिए {{mvar|n}}-टपल है।
* {{math|''n''×''m''}} [[मैट्रिक्स (गणित)|आव्यूह]] कार्टेशियन उत्पाद {{math|'''n'''×'''m'''}} द्वारा अनुक्रमित सदस्यता है जो तत्वों को जोड़े का आदेश दिया जाता है, उदाहरण के लिए, {{math|(2, 5)}} दूसरी पंक्ति और 5वें कॉलम में आव्यूह तत्व को अनुक्रमित करना।
* {{math|''n''×''m''}} आव्यूह कार्टेशियन उत्पाद {{math|'''n'''×'''m'''}} द्वारा अनुक्रमित वर्ग है जो तत्वों को जोड़े का आदेश दिया जाता है, उदाहरण के लिए, {{math|(2, 5)}} दूसरी पंक्ति और 5वें कॉलम में आव्यूह तत्व को अनुक्रमित करना।
* [[नेट (गणित)|नेट]]  सदस्यता है। जिसे [[निर्देशित सेट|निर्देशित समुच्चय]] द्वारा अनुक्रमित किया जाता है I
* [[नेट (गणित)|नेट]]  वर्ग है। जिसे [[निर्देशित सेट|निर्देशित समुच्चय]] द्वारा अनुक्रमित किया जाता है I


== अनुक्रमित सदस्यताों पर संचालन ==
== अनुक्रमित वर्गों पर संचालन ==


सूचकांक समूह का उपयोग प्रायः रकम और अन्य समान ऑपरेशनों में किया जाता है। उदाहरण के लिए, यदि {{math|(''a''<sub>''i''</sub>)<sub>''i''∈''I''</sub>}} संख्याओं का अनुक्रमित सदस्यता है, उन सभी संख्याओं का योग द्वारा निरूपित किया जाता है
सूचकांक समूह का उपयोग प्रायः रकम और अन्य समान ऑपरेशनों में किया जाता है। उदाहरण के लिए, यदि {{math|(''a''<sub>''i''</sub>)<sub>''i''∈''I''</sub>}} संख्याओं का अनुक्रमित वर्ग है, उन सभी संख्याओं का योग द्वारा निरूपित किया जाता है
:<math> \sum_{i\in I} a_i. </math>
:<math> \sum_{i\in I} a_i. </math>
जब {{math|(''A''<sub>''i''</sub>)<sub>''i''∈''I''</sub>}} समुच्चयों का सदस्यता है, उन सभी समुच्चयों के [[संघ (सेट सिद्धांत)|संघ]] द्वारा निरूपित किया जाता है
जब {{math|(''A''<sub>''i''</sub>)<sub>''i''∈''I''</sub>}} समुच्चयों का वर्ग है, उन सभी समुच्चयों के संघ द्वारा निरूपित किया जाता है
:<math>\bigcup_{i\in I} A_i. </math>
:<math>\bigcup_{i\in I} A_i. </math>
इसी प्रकार चौराहे (समूह सिद्धांत) और कार्टेशियन उत्पादों के लिए।
इसी प्रकार चौराहे (समूह सिद्धांत) और कार्टेशियन उत्पादों के लिए।


== अनुक्रमित उपसदस्यता ==
== अनुक्रमित उपवर्ग ==


अनुक्रमित सदस्यता {{math|(''B''<sub>''i''</sub>)<sub>''i''∈''J''</sub>}} अनुक्रमित सदस्यता {{math|(''A''<sub>''i''</sub>)<sub>''i''∈''I''</sub>}} का उपसदस्यता है , यदि केवल यदि {{mvar|J}} ,{{mvar|I}} का उपसमुच्चय है तथा {{math|1=''B<sub>i</sub>'' = ''A<sub>i</sub>''}}, {{mvar|J}} में सभी {{mvar|i}} के लिए है।
अनुक्रमित वर्ग {{math|(''B''<sub>''i''</sub>)<sub>''i''∈''J''</sub>}} अनुक्रमित वर्ग {{math|(''A''<sub>''i''</sub>)<sub>''i''∈''I''</sub>}} का उपवर्ग है , यदि केवल यदि {{mvar|J}} ,{{mvar|I}} का उपसमुच्चय है तथा {{math|1=''B<sub>i</sub>'' = ''A<sub>i</sub>''}}, {{mvar|J}} में सभी {{mvar|i}} के लिए है।


== श्रेणी सिद्धांत में उपयोग ==
== श्रेणी सिद्धांत में उपयोग ==
{{main|आरेख (श्रेणी सिद्धांत)}}
{{main|आरेख (श्रेणी सिद्धांत)}}
[[श्रेणी सिद्धांत]] में समान अवधारणा को [[आरेख (श्रेणी सिद्धांत)|आरेख]] कहा जाता है। आरेख श्रेणी सिद्धांत में वस्तुओं के अनुक्रमित सदस्यता को जन्म देने वाला फ़ंक्टर है {{math|'''''C'''''}}, जो अन्य श्रेणी {{math|'''''J'''''}} , द्वारा अनुक्रमित है, और दो सूचकांकों के आधार पर [[morphism|रूपवाद]] से संबंधित है।
 
[[श्रेणी सिद्धांत]] में समान अवधारणा को [[आरेख (श्रेणी सिद्धांत)|आरेख]] कहा जाता है। आरेख श्रेणी सिद्धांत में वस्तुओं के अनुक्रमित वर्ग को जन्म देने वाला फ़ंक्टर है {{math|'''''C'''''}}, जो अन्य श्रेणी {{math|'''''J'''''}} , द्वारा अनुक्रमित है, और दो सूचकांकों के आधार पर [[morphism|रूपवाद]] से संबंधित है।


== यह भी देखें ==
== यह भी देखें ==
Line 73: Line 72:
* आरेख (श्रेणी सिद्धांत)
* आरेख (श्रेणी सिद्धांत)
* [[अलग संघ]]
* [[अलग संघ]]
* सेट का सदस्यता
* सेट का वर्ग
* [[सूचकांक अंकन]]
* [[सूचकांक अंकन]]
* नेट (गणित)
* नेट (गणित)
* [[पैरामीट्रिक परिवार|पैरामीट्रिक सदस्यता]]
* [[पैरामीट्रिक परिवार|पैरामीट्रिक वर्ग]]
* क्रम
* क्रम
* [[टैग की गई यूनियन]]
* [[टैग की गई यूनियन]]

Latest revision as of 12:25, 27 October 2023

गणित में, वर्ग, या अनुक्रमित वर्ग, अनौपचारिक रूप से वस्तुओं का संग्रह है, प्रत्येक किसी सूचकांक समुच्चय से सूचकांक द्वारा जुड़ा होता है। उदाहरण के लिए, 'वास्तविक संख्याओं का वर्ग, पूर्णांकों के समुच्चय द्वारा अनुक्रमित' वास्तविक संख्याओं का संग्रह है, जहां दिया गया फलन प्रत्येक पूर्णांक के लिए वास्तविक संख्या का चयन करता है।

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

अनुक्रम प्रकार का वर्ग हैं जिन्हें प्राकृतिक संख्या द्वारा अनुक्रमित किया जाता है। सामान्यतः, सूचकांक समुच्चय I गणनीय होने के लिए प्रतिबंधित नहीं है। उदाहरण के लिए, वास्तविक संख्याओं द्वारा अनुक्रमित प्राकृतिक संख्याओं के उपसमुच्चय के असंख्य वर्ग पर विचार किया जा सकता है।

गणितीय कथन

परिभाषा। मान लीजिए I तथा X समुच्चय हो और f ऐसा फलन है कि

जहां का तत्व है और I की छवि को फलन के अनुसार f द्वारा निरूपित किया जाता है. उदाहरण के लिए, को द्वारा निरूपित किया जाता है| प्रतीक का उपयोग यह संकेत करने के लिए किया जाता है कि , I द्वारा अनुक्रमित X का तत्व है . कार्यक्रम f इस प्रकार I द्वारा अनुक्रमित X में तत्वों का वर्ग स्थापित करता है जिसे द्वारा दर्शाया जाता है , या केवल (xi) यदि सूचकांक समुच्चय को ज्ञात माना जाता है। कभी-कभी कोष्ठक के अतिरिक्त कोण कोष्ठक या ब्रेसिज़ का उपयोग किया जाता है,चूंकि ब्रेसिज़ के उपयोग से अनुक्रमित वर्गों को समुच्चय के साथ भ्रमित करने का संकट होता है।

कार्य और अनुक्रमित वर्ग औपचारिक रूप से समतुल्य हैं, क्योंकि डोमेन I के साथ कोई भी कार्य f वर्ग को प्रेरित करता है (f(i))iI और इसके विपरीत। वर्ग का तत्व होना संबंधित कार्य की सीमा में होने के बराबर है। चूंकि, व्यवहार में, वर्ग को समारोह के अतिरिक्त संग्रह के रूप में देखा जाता है।

कोई भी समुच्चय X वर्ग (xx)xX को उत्पन्न करता है, जहाँ X को स्वयं अनुक्रमित किया जाता है (जिसका अर्थ है कि पहचान कार्य है)।चूंकि, वर्ग समुच्चय से भिन्न होते हैं जिसमें ही वस्तु वर्ग में विभिन्न सूचकांकों के साथ कई बार दिखाई दे सकती है, जबकि समुच्चय भिन्न-भिन्न वस्तुओं का संग्रह होता है। वर्ग में कोई भी तत्व ठीक बार होता है केवल यदि संबंधित कार्य एकैकी है।

अनुक्रमित वर्ग समुच्चय परिभाषित करता है ,अर्थात I की छवि f के नीचे I मानचित्रण के बाद से f को एकैकी फलन होने की आवश्यकता नहीं है, इसलिए ij के साथ सम्मलित हो सकता है I जैसे कि xi = xj. इस प्रकार, , जहां |A| समुच्चय A की प्रमुखता को दर्शाता हैI उदाहरण के लिए, अनुक्रम प्राकृतिक संख्या द्वारा अनुक्रमित छवि समुच्चय है . इसके अतिरिक्त समुच्चय I पर किसी भी संरचना के विषय में सूचना नहीं रखता है। इसलिए, वर्ग के अतिरिक्त समुच्चय का उपयोग करने से कुछ सूचना खो सकता है। उदाहरण के लिए, वर्ग के सूचकांक समुच्चय पर क्रमित वर्ग को प्रेरित करता है, किन्तु संबंधित छवि समुच्चय पर कोई क्रमित नहीं होता है।

उदाहरण

अनुक्रमित सदिश

उदाहरण के लिए, निम्नलिखित वाक्य पर विचार करें:

सदिश v1, ..., vn रैखिक रूप से स्वतंत्र हैं।

यहां (vi)i ∈ {1, ..., n} सदिशों के वर्ग को दर्शाता है। ii}}-वें सदिश vi केवल इस वर्ग के संबंध में समझ में आता है, क्योंकि समुच्चय अनियंत्रित हैं इसलिए नहीं है i समुच्चय का i-वां सदिश नहीं होता है। इसके अतिरिक्त, रैखिक स्वतंत्रता को संग्रह की संपत्ति के रूप में परिभाषित किया गया है; इसलिए यह महत्वपूर्ण है कि वे सदिश समुच्चय या वर्ग के रूप में रैखिक रूप से स्वतंत्र हों। उदाहरण के लिए, यदि n = 2 तथा v1 = v2 = (1, 0) एको ही सदिश मानते हैं, तो उनके समुच्चय में केवल अवयव होता है (चूंकि समुच्चय अक्रमित विशिष्ट तत्वों का संग्रह होता है)और रैखिक रूप से स्वतंत्र होता है , किन्तु वर्ग में ही तत्व दो बार होता है (भिन्न -भिन्न  अनुक्रमित होने के बाद से) और रैखिक रूप से निर्भर है (समान सदिश रैखिक रूप से निर्भर हैं)।

आव्यूह

मान लीजिए कि पाठ निम्नलिखित बताता है:

एक वर्ग मैट्रिक्स A व्युत्क्रमणीय है, यदि और केवल यदि A की पंक्तियां रैखिक रूप से स्वतंत्र हैं।

पिछले उदाहरण की भांति, यह महत्वपूर्ण है कि A की पंक्तियाँ वर्ग के रैखिक रूप से स्वतंत्र हों, समुच्चय के रूप में नहीं। उदाहरण के लिए, आव्यूह पर विचार करें

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

अन्य उदाहरण

मान लीजिए n परिमित समुच्चय{1, 2, ..., n} है, जहाँ n धनात्मक पूर्णांक है।

  • आदेशित जोड़ी (2-ट्यूपल) दो तत्वों के समुच्चय द्वारा अनुक्रमित वर्ग है, 2 = {1, 2}; आदेशित जोड़ी के प्रत्येक तत्व को 2 समुच्चय के प्रत्येक तत्व द्वारा अनुक्रमित किया जाता हैI
  • n-टुपल वर्ग है जिसे समुच्चय n द्वारा अनुक्रमित किया जाता है।
  • अनंत अनुक्रम प्राकृतिक संख्याओं द्वारा अनुक्रमित वर्ग है।
  • सूची अनिर्दिष्ट n या अनंत अनुक्रम के लिए n-टपल है।
  • n×m आव्यूह कार्टेशियन उत्पाद n×m द्वारा अनुक्रमित वर्ग है जो तत्वों को जोड़े का आदेश दिया जाता है, उदाहरण के लिए, (2, 5) दूसरी पंक्ति और 5वें कॉलम में आव्यूह तत्व को अनुक्रमित करना।
  • नेट वर्ग है। जिसे निर्देशित समुच्चय द्वारा अनुक्रमित किया जाता है I

अनुक्रमित वर्गों पर संचालन

सूचकांक समूह का उपयोग प्रायः रकम और अन्य समान ऑपरेशनों में किया जाता है। उदाहरण के लिए, यदि (ai)iI संख्याओं का अनुक्रमित वर्ग है, उन सभी संख्याओं का योग द्वारा निरूपित किया जाता है

जब (Ai)iI समुच्चयों का वर्ग है, उन सभी समुच्चयों के संघ द्वारा निरूपित किया जाता है

इसी प्रकार चौराहे (समूह सिद्धांत) और कार्टेशियन उत्पादों के लिए।

अनुक्रमित उपवर्ग

अनुक्रमित वर्ग (Bi)iJ अनुक्रमित वर्ग (Ai)iI का उपवर्ग है , यदि केवल यदि J ,I का उपसमुच्चय है तथा Bi = Ai, J में सभी i के लिए है।

श्रेणी सिद्धांत में उपयोग

श्रेणी सिद्धांत में समान अवधारणा को आरेख कहा जाता है। आरेख श्रेणी सिद्धांत में वस्तुओं के अनुक्रमित वर्ग को जन्म देने वाला फ़ंक्टर है C, जो अन्य श्रेणी J , द्वारा अनुक्रमित है, और दो सूचकांकों के आधार पर रूपवाद से संबंधित है।

यह भी देखें

संदर्भ

  • Mathematical Society of Japan, Encyclopedic Dictionary of Mathematics, 2nd edition, 2 vols., Kiyosi Itô (ed.), MIT Press, Cambridge, MA, 1993. Cited as EDM (volume).