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

From Vigyanwiki
m (Abhishekkshukla moved page अनुक्रमित परिवार to अनुक्रमित वर्ग without leaving a redirect)
No edit summary
Line 1: Line 1:
{{distinguish|Family of sets}}
{{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}} [[गणनीय सेट|गणनीय]] होने के लिए प्रतिबंधित नहीं है। उदाहरण के लिए, वास्तविक संख्याओं द्वारा अनुक्रमित प्राकृतिक संख्याओं के उपसमुच्चय के असंख्य सदस्यता पर विचार किया जा सकता है।


== गणितीय कथन ==
== गणितीय कथन ==


परिभाषा। मान लीजिए {{mvar|I}} तथा {{mvar|X}} समुच्चय हो और {{mvar|f}}  एक ऐसा फलन है कि
परिभाषा। मान लीजिए {{mvar|I}} तथा {{mvar|X}} समुच्चय हो और {{mvar|f}}  ऐसा फलन है कि
:<math>\begin{align}
:<math>\begin{align}
  f\colon I &\to X \\
  f\colon I &\to X \\
  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 30:
|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)}} एको ही सदिश मानते हैं, तो उनके समुच्चय में केवल अवयव होता है (चूंकि समुच्चय अक्रमित विशिष्ट तत्वों का संग्रह होता है)और रैखिक रूप से स्वतंत्र होता है , किन्तु सदस्यता में ही तत्व दो बार होता है (भिन्न -भिन्न  अनुक्रमित होने के बाद से) और रैखिक रूप से निर्भर है (समान सदिश रैखिक रूप से निर्भर हैं)।


=== आव्यूह ===
=== आव्यूह ===
मान लीजिए कि एक पाठ निम्नलिखित बताता है:
मान लीजिए कि पाठ निम्नलिखित बताता है:
{{Quote
{{Quote
|text=एक वर्ग मैट्रिक्स ''A'' व्युत्क्रमणीय है, [[अगर और केवल अगर]] ''A'' की पंक्तियां रैखिक रूप से स्वतंत्र हैं।
|text=एक वर्ग मैट्रिक्स ''A'' व्युत्क्रमणीय है, [[यदि और केवल यदि]] ''A'' की पंक्तियां रैखिक रूप से स्वतंत्र हैं।
}}
}}


पिछले उदाहरण की भांति, यह महत्वपूर्ण है कि 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 82: Line 82:
==संदर्भ==
==संदर्भ==


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


[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Articles with short description]]
[[Category:Articles with short description]]
[[Category:Created On 25/11/2022]]
[[Category:Created On 25/11/2022]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:Short description with empty Wikidata description]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:गणितीय संकेतन]]
[[Category:गणितीय संकेतन]]
[[Category:समुच्चय सिद्धांत में मूलभूत अवधारणा]]
[[Category:समुच्चय सिद्धांत में मूलभूत अवधारणा]]

Revision as of 12:24, 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).