अल्ट्राप्रोडक्ट: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(6 intermediate revisions by 3 users not shown)
Line 8: Line 8:
==परिभाषा==
==परिभाषा==


अल्ट्राप्रोडक्ट्स प्राप्त करने की सामान्य विधि  इंडेक्स समुच्चय का उपयोग करती है <math>I,</math>  संरचना (गणितीय तर्क) <math>M_i</math> (इस आलेख में गैर-रिक्त माना गया है) प्रत्येक तत्व के लिए <math>i \in I</math> (सभी  ही हस्ताक्षर (तर्क)), और  [[अल्ट्राफिल्टर (सेट सिद्धांत)|अल्ट्राफिल्टर (समुच्चय सिद्धांत)]] <math>\mathcal{U}</math> पर <math>I.</math> किन्हीं दो तत्वों के लिए <math>a_\bull = \left(a_i\right)_{i \in I}</math> और <math>b_\bull = \left(b_i\right)_{i \in I}</math> कार्टेशियन उत्पाद का
अल्ट्राप्रोडक्ट्स प्राप्त करने की सामान्य विधि  इंडेक्स समुच्चय का उपयोग करती है <math>I,</math>  संरचना (गणितीय तर्क) प्रत्येक तत्व के लिए <math>M_i</math> (इस आलेख में गैर-रिक्त माना गया है) <math>i \in I</math> (सभी  ही हस्ताक्षर (तर्क)), और  [[अल्ट्राफिल्टर (सेट सिद्धांत)|अल्ट्राफिल्टर (समुच्चय सिद्धांत)]] <math>\mathcal{U}</math> पर <math>I.</math> किन्हीं दो तत्वों के लिए <math>a_\bull = \left(a_i\right)_{i \in I}</math> और <math>b_\bull = \left(b_i\right)_{i \in I}</math> कार्टेशियन उत्पाद का
  <math display=inline>{\textstyle\prod\limits_{i \in I}} M_i,</math> उन्हें घोषित करें {{em|<math>\mathcal{U}</math>-equivalent}}, लिखा हुआ <math>a_\bull \sim b_\bull</math> या <math>a_\bull =_{\mathcal{U}} b_\bull,</math> यदि और केवल यदि सूचकांकों का समुच्चय <math>\left\{i \in I : a_i = b_i\right\}</math> जिस पर वे सहमत हैं वह  तत्व है <math>\mathcal{U};</math> प्रतीकों में,
  <math display=inline>{\textstyle\prod\limits_{i \in I}} M_i,</math> उन्हें घोषित करें {{em|<math>\mathcal{U}</math>-equivalent}}, लिखा हुआ <math>a_\bull \sim b_\bull</math> या <math>a_\bull =_{\mathcal{U}} b_\bull,</math> यदि और केवल यदि सूचकांकों का समुच्चय <math>\left\{i \in I : a_i = b_i\right\}</math> जिस पर वे सहमत हैं इसका एक तत्व है <math>\mathcal{U};</math> प्रतीकों में,
<math display=block>a_\bull \sim b_\bull \; \iff \; \left\{i \in I : a_i = b_i\right\} \in \mathcal{U},</math>
<math display=block>a_\bull \sim b_\bull \; \iff \; \left\{i \in I : a_i = b_i\right\} \in \mathcal{U},</math>
जो केवल अल्ट्राफिल्टर के सापेक्ष घटकों की तुलना करता है <math>\mathcal{U}.</math> यह [[द्विआधारी संबंध]] <math>\, \sim \,</math>  तुल्यता संबंध है<ref group=proof name=EquivalenceRelationProof />कार्टेशियन उत्पाद पर <math>{\textstyle\prod\limits_{i \in I}} M_i.</math>  
जो केवल अल्ट्राफिल्टर के सापेक्ष घटकों की तुलना करता है, <math>\mathcal{U}.</math> यह [[द्विआधारी संबंध]] <math>\, \sim \,</math>  तुल्यता संबंध है<ref group=proof name=EquivalenceRelationProof />कार्टेशियन उत्पाद पर <math>{\textstyle\prod\limits_{i \in I}} M_i.</math>  


  {{em|'''ultraproduct''' of <math>M_{\bull} = \left(M_i\right)_{i \in I}</math> modulo <math>\mathcal{U}</math>}h>}} का भागफल समुच्चय है <math>{\textstyle\prod\limits_{i \in I}} M_i</math> इसके संबंध में <math>\sim</math> और इसलिए कभी-कभी इसे निरूपित किया जाता है
  {{em|'''ultraproduct''' of <math>M_{\bull} = \left(M_i\right)_{i \in I}</math> modulo <math>\mathcal{U}</math>}h>}} का भागफल समुच्चय है <math>{\textstyle\prod\limits_{i \in I}} M_i</math> इसके संबंध में <math>\sim</math> और इसलिए कभी-कभी इसे निरूपित किया जाता है
<math>{\textstyle\prod\limits_{i \in I}} M_i \, / \, \mathcal{U}</math> या <math>{\textstyle\prod}_{\mathcal{U}} \, M_\bull.</math>
स्पष्ट रूप से, यदि <math>{\textstyle\prod\limits_{i \in I}} M_i \, / \, \mathcal{U}</math> या <math>{\textstyle\prod}_{\mathcal{U}} \, M_\bull.</math><math>\mathcal{U}</math> किसी तत्व का समतुल्य वर्ग <math>a \in {\textstyle\prod\limits_{i \in I}} M_i</math> द्वारा निरूपित किया जाता है
स्पष्ट रूप से, यदि <math>\mathcal{U}</math>-किसी तत्व का समतुल्य वर्ग <math>a \in {\textstyle\prod\limits_{i \in I}} M_i</math> द्वारा निरूपित किया जाता है
<math display=block>a_{\mathcal{U}} := \big\{x \in {\textstyle\prod\limits_{i \in I}} M_i \; : \; x \sim a\big\}</math>
<math display=block>a_{\mathcal{U}} := \big\{x \in {\textstyle\prod\limits_{i \in I}} M_i \; : \; x \sim a\big\}</math>
तब अल्ट्राप्रोडक्ट सभी का समुच्चय है <math>\mathcal{U}</math>-समतुल्य वर्ग
तब अल्ट्राप्रोडक्ट सभी का समुच्चय है, <math>\mathcal{U}</math>-समतुल्य वर्ग
<math display=block>{\prod}_{\mathcal{U}} \, M_\bull \; = \; \prod_{i \in I} M_i \, / \, \mathcal{U} \; := \; \left\{a_{\mathcal{U}} \; : \; a \in {\textstyle\prod\limits_{i \in I}} M_i\right\}.</math>
<math display=block>{\prod}_{\mathcal{U}} \, M_\bull \; = \; \prod_{i \in I} M_i \, / \, \mathcal{U} \; := \; \left\{a_{\mathcal{U}} \; : \; a \in {\textstyle\prod\limits_{i \in I}} M_i\right\}.</math>
यद्यपि <math>\mathcal{U}</math> यह माना गया था कि यह अल्ट्राफिल्टर है, उपरोक्त निर्माण अधिक सामान्यतः कभी भी किया जा सकता है <math>\mathcal{U}</math> केवल  [[फ़िल्टर (सेट सिद्धांत)|फ़िल्टर (समुच्चय सिद्धांत)]] पर है <math>I,</math> किस स्थिति में परिणामी भागफल समुच्चय होता है <math>{\textstyle\prod\limits_{i \in I}} M_i /  \, \mathcal{U}</math> कहा जाता है{{visible anchor|reduced product}}.
यद्यपि <math>\mathcal{U}</math> यह माना गया था कि यह अल्ट्राफिल्टर है, उपरोक्त निर्माण अधिक सामान्यतः कभी भी किया जा सकता है <math>\mathcal{U}</math> केवल  [[फ़िल्टर (सेट सिद्धांत)|फ़िल्टर (समुच्चय सिद्धांत)]] पर है <math>I,</math> किस स्थिति में परिणामी भागफल समुच्चय होता है <math>{\textstyle\prod\limits_{i \in I}} M_i /  \, \mathcal{U}</math> को कम उत्पाद कहा जाता है।


कब <math>\mathcal{U}</math>  [[प्रमुख अल्ट्राफिल्टर]] है (जो तब होता है जब और केवल यदि <math>\mathcal{U}</math> इसमें इसका [[कर्नेल (सेट सिद्धांत)|कर्नेल (समुच्चय सिद्धांत)]] सम्मिलित है <math>\cap \, \mathcal{U}</math>) तो अल्ट्राप्रोडक्ट कारकों में से  के लिए आइसोमोर्फिक है।
जब <math>\mathcal{U}</math>  [[प्रमुख अल्ट्राफिल्टर]] है (जो तब होता है जब और केवल यदि <math>\mathcal{U}</math> इसमें इसका [[कर्नेल (सेट सिद्धांत)|कर्नेल (समुच्चय सिद्धांत)]] सम्मिलित है, <math>\cap \, \mathcal{U}</math>) तो अल्ट्राप्रोडक्ट कारकों में से  के लिए आइसोमोर्फिक है। और इसलिए सामान्यतः, <math>\mathcal{U}</math>  प्रमुख अल्ट्राफ़िल्टर नहीं है, जो तब होता है जब और केवल यदि <math>\mathcal{U}</math> मुफ़्त है (अर्थात) <math>\cap \, \mathcal{U} = \varnothing</math>), या समकक्ष, यदि प्रत्येक सह-परिमित उपसमुच्चय <math>I</math> का तत्व <math>\mathcal{U}.</math> है, चूँकि परिमित समुच्चय पर प्रत्येक अल्ट्राफिल्टर प्रमुख होता है, सूचकांक समुच्चय होता <math>I</math> है फलस्वरूप सामान्यतः अनंत भी होता है।
और इसलिए आमतौर पर, <math>\mathcal{U}</math>  प्रमुख अल्ट्राफ़िल्टर नहीं है, जो तब होता है जब और केवल यदि <math>\mathcal{U}</math> मुफ़्त है (मतलब) <math>\cap \, \mathcal{U} = \varnothing</math>), या समकक्ष, यदि प्रत्येक सह-परिमित उपसमुच्चय <math>I</math> का तत्व है <math>\mathcal{U}.</math> चूँकि परिमित समुच्चय पर प्रत्येक अल्ट्राफिल्टर प्रमुख होता है, सूचकांक समुच्चय होता है <math>I</math> फलस्वरूप आमतौर पर अनंत भी होता है।


अल्ट्राप्रोडक्ट फिल्टर उत्पाद स्थान के रूप में कार्य करता है जहां तत्व समान होते हैं यदि वे केवल फ़िल्टर किए गए घटकों पर समान होते हैं (गैर-फ़िल्टर किए गए घटकों को समतुल्यता के तहत अनदेखा किया जाता है)।
अल्ट्राप्रोडक्ट फिल्टर उत्पाद स्थान के रूप में कार्य करता है जहां तत्व समान होते हैं यदि वे केवल फ़िल्टर किए गए घटकों पर समान होते हैं (गैर-फ़िल्टर किए गए घटकों को समतुल्यता के अनुसार अनदेखा किया जाता है)। कोई परिमित योगात्मक [[माप (गणित)]] को <math>m</math> परिभाषित कर सकता है, सूचकांक समुच्चय पर <math>I</math> कहने से <math>m(A) = 1</math> अगर <math>A \in \mathcal{U}</math> और <math>m(A) = 0</math> अन्यथा तब कार्टेशियन उत्पाद के दो सदस्य सटीक रूप से समतुल्य हैं यदि वे सूचकांक समुच्चय पर [[लगभग हर जगह|लगभग प्रत्येक स्थान]] समान हैं। अल्ट्राप्रोडक्ट इस प्रकार उत्पन्न समतुल्य वर्गों का समूह है।
कोई परिमित योगात्मक [[माप (गणित)]] को परिभाषित कर सकता है <math>m</math> सूचकांक समुच्चय पर <math>I</math> कहने से <math>m(A) = 1</math> अगर <math>A \in \mathcal{U}</math> और <math>m(A) = 0</math> अन्यथा। तब कार्टेशियन उत्पाद के दो सदस्य सटीक रूप से समतुल्य हैं यदि वे सूचकांक समुच्चय पर [[लगभग हर जगह]] समान हैं। अल्ट्राप्रोडक्ट इस प्रकार उत्पन्न समतुल्य वर्गों का समूह है।


कार्टेशियन उत्पाद पर [[वित्तीय]] संचालन (गणित)<math>{\textstyle\prod\limits_{i \in I}} M_i</math> बिंदुवार परिभाषित किया गया है (उदाहरण के लिए, यदि <math>+</math> तो यह  बाइनरी फ़ंक्शन है <math>a_i + b_i = (a + b)_i</math>).
कार्टेशियन उत्पाद पर [[वित्तीय]] संचालन (गणित) <math>{\textstyle\prod\limits_{i \in I}} M_i</math> बिंदुवार परिभाषित किया गया है (उदाहरण के लिए, यदि <math>+</math> तो यह  <math>a_i + b_i = (a + b)_i</math> बाइनरी फलन है) अन्य [[संबंध (गणित)]] को इसी प्रकार बढ़ाया जा सकता है:
अन्य [[संबंध (गणित)]] को इसी तरह बढ़ाया जा सकता है:
<math display=block>R\left(a^1_{\mathcal{U}}, \dots, a^n_{\mathcal{U}}\right) ~\iff~ \left\{i \in I : R^{M_i}\left(a^1_i, \dots, a^n_i\right)\right\} \in \mathcal{U},</math>
<math display=block>R\left(a^1_{\mathcal{U}}, \dots, a^n_{\mathcal{U}}\right) ~\iff~ \left\{i \in I : R^{M_i}\left(a^1_i, \dots, a^n_i\right)\right\} \in \mathcal{U},</math>
कहाँ <math>a_{\mathcal{U}}</math> को दर्शाता है <math>\mathcal{U}</math>-समतुल्यता वर्ग <math>a</math> इसके संबंध में <math>\sim.</math> विशेषकर, यदि प्रत्येक <math>M_i</math> ऑर्डर किया गया फ़ील्ड है तो अल्ट्राप्रोडक्ट भी है।
जहाँ <math>a_{\mathcal{U}}</math> को दर्शाता है, <math>\mathcal{U}</math>-समतुल्यता वर्ग <math>a</math> इसके संबंध में <math>\sim.</math> विशेषकर, यदि प्रत्येक <math>M_i</math> ऑर्डर किया गया क्षेत्र है तो अल्ट्राप्रोडक्ट भी है।


===अल्ट्रापावर===
===अल्ट्रापावर===


अल्ट्रापॉवर अल्ट्राप्रोडक्ट है जिसके लिए सभी कारक हैं <math>M_i</math> बराबर हैं।
अल्ट्रापॉवर अल्ट्राप्रोडक्ट है जिसके लिए सभी कारक हैं, <math>M_i</math> समान हैं। स्पष्ट रूप से, {{em|'''{{visible anchor|ultrapower}}''' of a set <math>M</math> modulo <math>\mathcal{U}</math>}}अल्ट्राप्रोडक्ट है <math>{\textstyle\prod\limits_{i \in I}} M_i \, / \, \mathcal{U} = {\textstyle\prod}_{\mathcal{U}} \, M_\bull</math> अनुक्रमित समुदाय का <math>M_{\bull} := \left(M_i\right)_{i \in I}</math> द्वारा परिभाषित <math>M_i := M</math> प्रत्येक सूचकांक के लिए <math>i \in I.</math> अतिशक्ति को इसके द्वारा निरूपित किया जा सकता है <math>{\textstyle\prod}_{\mathcal{U}} \, M</math> या (तब से) <math>{\textstyle\prod\limits_{i \in I}} M</math> प्रायः <math>M^I</math>द्वारा दर्शाया जाता है )  
स्पष्ट रूप से, {{em|'''{{visible anchor|ultrapower}}''' of a set <math>M</math> modulo <math>\mathcal{U}</math>}}अल्ट्राप्रोडक्ट है <math>{\textstyle\prod\limits_{i \in I}} M_i \, / \, \mathcal{U} = {\textstyle\prod}_{\mathcal{U}} \, M_\bull</math> अनुक्रमित समुदाय का <math>M_{\bull} := \left(M_i\right)_{i \in I}</math> द्वारा परिभाषित <math>M_i := M</math> प्रत्येक सूचकांक के लिए <math>i \in I.</math> अतिशक्ति को इसके द्वारा निरूपित किया जा सकता है <math>{\textstyle\prod}_{\mathcal{U}} \, M</math> या (तब से) <math>{\textstyle\prod\limits_{i \in I}} M</math> प्रायः द्वारा दर्शाया जाता है <math>M^I</math>) द्वारा
<math display=block>M^I / \mathcal{U} ~:=~ \prod_{i \in I} M \, / \,\mathcal{U}\,</math>
<math display=block>M^I / \mathcal{U} ~:=~ \prod_{i \in I} M \, / \,\mathcal{U}\,</math>
हर के लिए <math>m \in M,</math> होने देना <math>(m)_{i \in I}</math> स्थिर मानचित्र को निरूपित करें <math>I \to M</math> वह समान रूप से बराबर है <math>m.</math> यह स्थिर मानचित्र/ट्यूपल कार्टेशियन उत्पाद का  तत्व है <math>M^I = {\textstyle\prod\limits_{i \in I}} M</math> और इसलिए असाइनमेंट <math>m \mapsto (m)_{i \in I}</math> मानचित्र को परिभाषित करता है <math>M \to {\textstyle\prod\limits_{i \in I}} M.</math>  
प्रत्येक के लिए <math>m \in M,</math> होने देना <math>(m)_{i \in I}</math> स्थिर मानचित्र को निरूपित करें, <math>I \to M</math> वह समान रूप से समान है <math>m.</math> यह स्थिर मानचित्र/ट्यूपल कार्टेशियन उत्पाद का  तत्व है <math>M^I = {\textstyle\prod\limits_{i \in I}} M</math> और इसलिए असाइनमेंट <math>m \mapsto (m)_{i \in I}</math> मानचित्र को <math>M \to {\textstyle\prod\limits_{i \in I}} M.</math> परिभाषित करता है 
  {{em|'''{{visible anchor|natural embedding}}''' of <math>M</math> into <math>{\textstyle\prod}_{\mathcal{U}} \, M</math>}h>}} नक्शा है <math>M \to {\textstyle\prod}_{\mathcal{U}} \, M</math> वह  तत्व भेजता है <math>m \in M</math> तक <math>\mathcal{U}</math>-निरंतर टुपल का समतुल्य वर्ग <math>(m)_{i \in I}.</math>
  {{em|'''{{visible anchor|natural embedding}}''' of <math>M</math> into <math>{\textstyle\prod}_{\mathcal{U}} \, M</math>}h>}} नक्शा है <math>M \to {\textstyle\prod}_{\mathcal{U}} \, M</math> वह  तत्व भेजता है <math>m \in M</math> तक <math>\mathcal{U}</math>-निरंतर टुपल का समतुल्य वर्ग <math>(m)_{i \in I}.</math>


== उदाहरण ==
== उदाहरण ==
हाइपररियल संख्याएं प्रत्येक प्राकृतिक संख्या के लिए वास्तविक संख्याओं की प्रति का अल्ट्राप्रोडक्ट हैं, सभी सह-परिमित समुच्चयों वाली प्राकृतिक संख्याओं पर अल्ट्राफिल्टर के संबंध में। उनका क्रम वास्तविक संख्याओं के क्रम का विस्तार है। उदाहरण के लिए, अनुक्रम <math>\omega</math> द्वारा दिए गए <math>\omega_i = i</math>  समतुल्य वर्ग को परिभाषित करता है जो अतिवास्तविक संख्या का प्रतिनिधित्व करता है जो किसी भी वास्तविक संख्या से अधिक है।
हाइपररियल संख्याएं प्रत्येक प्राकृतिक संख्या के लिए वास्तविक संख्याओं की प्रति का अल्ट्राप्रोडक्ट हैं, सभी सह-परिमित समुच्चयों वाली प्राकृतिक संख्याओं पर अल्ट्राफिल्टर के संबंध में उनका क्रम वास्तविक संख्याओं के क्रम का विस्तार है। उदाहरण के लिए, अनुक्रम <math>\omega</math> द्वारा दिए गए <math>\omega_i = i</math>  समतुल्य वर्ग को परिभाषित करता है जो अतिवास्तविक संख्या का प्रतिनिधित्व करता है जो किसी भी वास्तविक संख्या से अधिक है।


अनुरूप रूप से, कोई संबंधित संरचनाओं की प्रतियों के अल्ट्राप्रोडक्ट को लेकर गैरमानक पूर्णांक, गैरमानक जटिल संख्याओं आदि को परिभाषित कर सकता है।
अनुरूप रूप से, कोई संबंधित संरचनाओं की प्रतियों के अल्ट्राप्रोडक्ट को लेकर गैरमानक पूर्णांक, गैरमानक समष्टि संख्याओं आदि को परिभाषित कर सकता है।


संबंधों को अल्ट्राप्रोडक्ट में ले जाने के उदाहरण के रूप में, अनुक्रम पर विचार करें <math>\psi</math> द्वारा परिभाषित <math>\psi_i = 2 i.</math> क्योंकि <math>\psi_i > \omega_i = i</math> सभी के लिए <math>i,</math> यह इस प्रकार है कि तुल्यता वर्ग <math>\psi_i = 2 i</math> के तुल्यता वर्ग से बड़ा है <math>\omega_i = i,</math> ताकि इसकी व्याख्या  अनंत संख्या के रूप में की जा सके जो मूल रूप से निर्मित संख्या से बड़ी है। हालाँकि, चलो <math>\chi_i = i</math> के लिए <math>i</math> असमान <math>7,</math> लेकिन <math>\chi_7 = 8.</math> जिस पर सूचकांकों का समुच्चय <math>\omega</math> और <math>\chi</math> सहमत किसी भी अल्ट्राफिल्टर का सदस्य है (क्योंकि <math>\omega</math> और <math>\chi</math> लगभग हर जगह सहमत), तो <math>\omega</math> और <math>\chi</math>  ही समतुल्य वर्ग से संबंधित हैं।
संबंधों को अल्ट्राप्रोडक्ट में ले जाने के उदाहरण के रूप में, अनुक्रम पर विचार करें, <math>\psi</math> द्वारा परिभाषित <math>\psi_i = 2 i.</math> क्योंकि <math>\psi_i > \omega_i = i</math> सभी के लिए <math>i,</math> यह इस प्रकार है कि तुल्यता वर्ग <math>\psi_i = 2 i</math> के तुल्यता वर्ग <math>\omega_i = i,</math> से बड़ा है, जिससे इसकी व्याख्या  अनंत संख्या के रूप में की जा सके जो मूल रूप से निर्मित संख्या से बड़ी है। चूंकि, चलो <math>\chi_i = i</math> के लिए <math>i</math> असमान <math>7,</math> किन्तु <math>\chi_7 = 8.</math> जिस पर सूचकांकों का समुच्चय <math>\omega</math> और <math>\chi</math> सहमत किसी भी अल्ट्राफिल्टर का सदस्य है (क्योंकि <math>\omega</math> और <math>\chi</math> लगभग प्रत्येक स्थान सहमत), तो <math>\omega</math> और <math>\chi</math>  ही समतुल्य वर्ग से संबंधित हैं।


बड़े कार्डिनल्स के सिद्धांत में, मानक निर्माण कुछ सावधानीपूर्वक चुने गए अल्ट्राफिल्टर के संबंध में पूरे समुच्चय-सैद्धांतिक ब्रह्मांड के अल्ट्राप्रोडक्ट को लेना है <math>\mathcal{U}.</math> इस अल्ट्राफिल्टर के गुण <math>\mathcal{U}</math> अल्ट्राप्रोडक्ट के गुणों (उच्च क्रम) पर मजबूत प्रभाव पड़ता है; उदाहरण के लिए, यदि <math>\mathcal{U}</math> है <math>\sigma</math>-पूर्ण, तो अल्ट्राप्रोडक्ट फिर से अच्छी तरह से स्थापित हो जाएगा। (प्रोटोटाइपिकल उदाहरण के लिए [[मापने योग्य कार्डिनल]] देखें।)
बड़े कार्डिनल्स के सिद्धांत में, मानक निर्माण कुछ सावधानीपूर्वक चयन किये गए अल्ट्राफिल्टर के संबंध में सम्पूर्ण समुच्चय-सैद्धांतिक ब्रह्मांड के अल्ट्राप्रोडक्ट <math>\mathcal{U}.</math> को लेना है, इस अल्ट्राफिल्टर के गुण <math>\mathcal{U}</math> अल्ट्राप्रोडक्ट के गुणों (उच्च क्रम) पर ठोस प्रभाव पड़ता है; उदाहरण के लिए, यदि <math>\mathcal{U}</math> है <math>\sigma</math>-पूर्ण, तो अल्ट्राप्रोडक्ट तत्पश्चात से उचित रूप से स्थापित हो जाएगा। (प्रोटोटाइपिकल उदाहरण के लिए [[मापने योग्य कार्डिनल]] देखें।)


==मूस प्रमेय==
==मूस प्रमेय==
मूस प्रमेय भी कहा जाता है {{em|the fundamental theorem of ultraproducts}}, जेरज़ी लोश के कारण है (उपनाम का उच्चारण किया जाता है {{IPA-pl|ˈwɔɕ|}}, लगभग धो लें ). इसमें कहा गया है कि कोई भी [[प्रथम-क्रम विधेय कलन]] | प्रथम-क्रम सूत्र अल्ट्राप्रोडक्ट में सत्य है यदि और केवल यदि सूचकांकों का समुच्चय <math>i</math> जैसे कि सूत्र सत्य है <math>M_i</math> का सदस्य है <math>\mathcal{U}.</math> ज्यादा ठीक:
मूस प्रमेय जिसे अल्ट्राप्रोडक्ट्स का मौलिक प्रमेय भी कहा जाता है, जेरज़ी लोश के कारण है (उपनाम का उच्चारण किया जाता है {{IPA-pl|ˈwɔɕ|}}, लगभग धो लें )इसमें कहा गया है कि कोई भी [[प्रथम-क्रम विधेय कलन]] अल्ट्राप्रोडक्ट में सत्य है यदि और केवल यदि सूचकांकों का समुच्चय <math>i</math> जैसे कि सूत्र सत्य है, <math>M_i</math> का सदस्य <math>\mathcal{U}.</math> अधिक सटीक है:


होने देना <math>\sigma</math>  हस्ताक्षर बनो, <math>\mathcal{U}</math>  समुच्चय पर अल्ट्राफिल्टर <math>I,</math> और प्रत्येक के लिए <math>i \in I</math> होने देना <math>M_i</math>  हो <math>\sigma</math>-संरचना।
होने देना <math>\sigma</math>  हस्ताक्षर बनो, <math>\mathcal{U}</math>  समुच्चय पर अल्ट्राफिल्टर <math>I,</math> और प्रत्येक के लिए <math>i \in I</math> होने देना <math>M_i</math>  हो <math>\sigma</math>-संरचना, होने देना <math>{\textstyle\prod}_{\mathcal{U}} \, M_\bull</math> या <math>{\textstyle\prod\limits_{i \in I}} M_i / \mathcal{U}</math> का अल्ट्राप्रोडक्ट बनें <math>M_i</math> इसके संबंध में <math>\mathcal{U}.</math> तत्पश्चात, प्रत्येक के लिए <math>a^1, \ldots, a^n \in {\textstyle\prod\limits_{i \in I}} M_i,</math> जहाँ <math>a^k = \left(a^k_i\right)_{i \in I},</math> और प्रत्येक के लिए <math>\sigma</math>-सूत्र <math>\phi,</math>
होने देना <math>{\textstyle\prod}_{\mathcal{U}} \, M_\bull</math> या <math>{\textstyle\prod\limits_{i \in I}} M_i / \mathcal{U}</math> का अल्ट्राप्रोडक्ट बनें <math>M_i</math> इसके संबंध में <math>\mathcal{U}.</math> फिर, प्रत्येक के लिए <math>a^1, \ldots, a^n \in {\textstyle\prod\limits_{i \in I}} M_i,</math> कहाँ <math>a^k = \left(a^k_i\right)_{i \in I},</math> और हर किसी के लिए <math>\sigma</math>-सूत्र <math>\phi,</math>
<math display=block>{\prod}_{\mathcal{U}} \, M_\bull \models \phi\left[a^1_{\mathcal{U}}, \ldots, a^n_{\mathcal{U}}\right] ~\iff~ \{i \in I : M_i \models \phi[a^1_i, \ldots, a^n_i]\} \in \mathcal{U}.</math>
<math display=block>{\prod}_{\mathcal{U}} \, M_\bull \models \phi\left[a^1_{\mathcal{U}}, \ldots, a^n_{\mathcal{U}}\right] ~\iff~ \{i \in I : M_i \models \phi[a^1_i, \ldots, a^n_i]\} \in \mathcal{U}.</math>
सूत्र की जटिलता पर प्रेरण द्वारा प्रमेय सिद्ध होता है <math>\phi.</math> यह तथ्य कि <math>\mathcal{U}</math>  अल्ट्राफिल्टर (और सिर्फ  फिल्टर नहीं) का उपयोग निषेध खंड में किया जाता है, और अस्तित्वगत क्वांटिफायर चरण में पसंद के स्वयंसिद्ध की आवश्यकता होती है। एप्लिकेशन के रूप में, व्यक्ति हाइपररियल नंबर के लिए [[स्थानांतरण सिद्धांत]] प्राप्त करता है।
सूत्र की समष्टिता पर प्रेरण द्वारा प्रमेय सिद्ध <math>\phi.</math>होता है, यह तथ्य कि <math>\mathcal{U}</math>  अल्ट्राफिल्टर (और फिल्टर नहीं) का उपयोग निषेध खंड में किया जाता है, और अस्तित्वगत क्वांटिफायर चरण में रूचि के स्वयंसिद्ध की आवश्यकता होती है। एप्लिकेशन के रूप में, व्यक्ति हाइपररियल नंबर के लिए [[स्थानांतरण सिद्धांत]] प्राप्त करता है।


===उदाहरण===
===उदाहरण===


होने देना <math>R</math> संरचना में ात्मक संबंध हो <math>M,</math> और की पराशक्ति का निर्माण करते हैं <math>M.</math> फिर समुच्चय <math>S = \{x \in M : R x\}</math>  एनालॉग है <math>{}^* S</math> अल्ट्रापॉवर में, और प्रथम-क्रम फ़ार्मुलों में सम्मिलित हैं <math>S</math> के लिए भी मान्य हैं <math>{}^* S.</math> उदाहरण के लिए, चलो <math>M</math> असली बनो, और चलो <math>R x</math> अगर पकड़ो <math>x</math> परिमेय संख्या है. में फिर <math>M</math> हम ऐसा किसी भी तर्कसंगत जोड़ी के लिए कह सकते हैं <math>x</math> और <math>y,</math> वहाँ और संख्या मौजूद है <math>z</math> ऐसा है कि <math>z</math> तर्कसंगत नहीं है, और <math>x < z < y.</math> चूँकि इसे प्रासंगिक औपचारिक भाषा में प्रथम-क्रम तार्किक सूत्र में अनुवादित किया जा सकता है, Łoś के प्रमेय का तात्पर्य है कि <math>{}^* S</math> समान संपत्ति है. अर्थात्, हम हाइपररेशनल संख्याओं की धारणा को परिभाषित कर सकते हैं, जो हाइपररियल्स का उपसमूह हैं, और उनमें परिमेय के समान प्रथम-क्रम गुण होते हैं।
होने देना <math>R</math> संरचना में एकात्मक संबंध हो <math>M,</math> की अल्ट्रापावर का निर्माण करते हैं, <math>M.</math> तत्पश्चात समुच्चय <math>S = \{x \in M : R x\}</math>  एनालॉग है <math>{}^* S</math> अल्ट्रापॉवर में, और प्रथम-क्रम फ़ार्मुलों में सम्मिलित हैं <math>S</math> के लिए भी मान्य हैं <math>{}^* S.</math> उदाहरण के लिए, चलो <math>M</math> असली बनो, और चलो <math>R x</math> यदि पकड़ें <math>x</math> परिमेय संख्या है, में तत्पश्चात <math>M</math> हम ऐसा किसी भी तर्कसंगत जोड़ी के लिए कह सकते हैं <math>x</math> और <math>y,</math> वहाँ और संख्या उपस्थित है, <math>z</math> ऐसा है कि <math>z</math> तर्कसंगत नहीं है, और <math>x < z < y.</math> चूँकि इसे प्रासंगिक औपचारिक भाषा में प्रथम-क्रम तार्किक सूत्र में अनुवादित किया जा सकता है, Łoś के प्रमेय का तात्पर्य है कि <math>{}^* S</math> समान संपत्ति है, अर्थात्, हम हाइपररेशनल संख्याओं की धारणा को परिभाषित कर सकते हैं, जो हाइपररियल्स का उपसमूह हैं, और उनमें परिमेय के समान प्रथम-क्रम गुण होते हैं।


हालाँकि, वास्तविक की आर्किमिडीयन संपत्ति पर विचार करें, जो बताती है कि कोई वास्तविक संख्या नहीं है <math>x</math> ऐसा है कि <math>x > 1, \; x > 1 + 1, \; x > 1 + 1 + 1, \ldots</math> अनंत सूची में प्रत्येक असमानता के लिए। Łoś का प्रमेय आर्किमिडीज़ संपत्ति पर लागू नहीं होता है, क्योंकि आर्किमिडीज़ संपत्ति को प्रथम-क्रम तर्क में नहीं बताया जा सकता है। वास्तव में, आर्किमिडीज़ संपत्ति हाइपररियल के लिए गलत है, जैसा कि हाइपररियल संख्या के निर्माण से पता चलता है <math>\omega</math> ऊपर।
चूंकि, वास्तविक की आर्किमिडीयन संपत्ति पर विचार करें, जो बताती है कि कोई वास्तविक संख्या नहीं है, <math>x</math> ऐसा है कि <math>x > 1, \; x > 1 + 1, \; x > 1 + 1 + 1, \ldots</math> अनंत सूची में प्रत्येक असमानता के लिए Łoś का प्रमेय आर्किमिडीज़ संपत्ति पर प्रारम्भ नहीं होता है, क्योंकि आर्किमिडीज़ संपत्ति को प्रथम-क्रम तर्क में नहीं बताया जा सकता है। वास्तव में, आर्किमिडीज़ संपत्ति हाइपररियल के लिए अनुचित है, जैसा कि हाइपररियल संख्या के निर्माण से ज्ञात होता है, <math>\omega</math> ऊपर।


==अतिशक्तियों की प्रत्यक्ष सीमाएँ (अल्ट्रालिमिट्स)==
==अतिशक्तियों की प्रत्यक्ष सीमाएँ (अल्ट्रालिमिट्स)==
{{For|the ultraproduct of a sequence of metric spaces|Ultralimit}}
{{For|मीट्रिक रिक्त स्थान के अनुक्रम का अल्ट्राप्रोडक्ट|
अल्ट्रालिमिट}}


मॉडल सिद्धांत और समुच्चय सिद्धांत में, अल्ट्रापावर के अनुक्रम की [[प्रत्यक्ष सीमा]] पर अक्सर विचार किया जाता है। मॉडल सिद्धांत में, इस निर्माण को अल्ट्रालिमिट या सीमित अल्ट्रापॉवर के रूप में संदर्भित किया जा सकता है।
मॉडल सिद्धांत और समुच्चय सिद्धांत में, अल्ट्रापावर के अनुक्रम की [[प्रत्यक्ष सीमा]] पर प्रायः विचार किया जाता है। मॉडल सिद्धांत में, इस निर्माण को अल्ट्रालिमिट या सीमित अल्ट्रापॉवर के रूप में संदर्भित किया जा सकता है।


संरचना से शुरुआत करते हुए, <math>A_0</math> और अल्ट्राफिल्टर, <math>\mathcal{D}_0,</math>  अतिशक्ति का निर्माण करें, <math>A_1.</math> फिर बनाने के लिए प्रक्रिया को दोहराएं <math>A_2,</math> इत्यादि। प्रत्येक के लिए <math>n</math>  विहित विकर्ण एम्बेडिंग है <math>A_n \to A_{n+1}.</math> सीमा चरणों में, जैसे <math>A_\omega,</math> पहले के चरणों की प्रत्यक्ष सीमा बनाएं। कोई अनंत में जारी रह सकता है।
संरचना से प्रारम्भ करते हुए, <math>A_0</math> और अल्ट्राफिल्टर, <math>\mathcal{D}_0,</math>  अतिशक्ति का निर्माण करें, <math>A_1.</math> तत्पश्चात बनाने के लिए प्रक्रिया को दोहराएं <math>A_2,</math> इत्यादि। प्रत्येक के लिए <math>n</math>  विहित विकर्ण एम्बेडिंग है <math>A_n \to A_{n+1}.</math> सीमा चरणों में, जैसे <math>A_\omega,</math> पूर्व के चरणों की प्रत्यक्ष सीमा बनाएं, कोई अनंत में निर्धारित रह सकता है।


==अल्ट्राप्रोडक्ट मोनड==
==अल्ट्राप्रोडक्ट मोनड==


[[अल्ट्राफिल्टर मोनाड]] [[फिनसेट|फिनसमुच्चय]] को [[सेट की श्रेणी|समुच्चय की श्रेणी]] में सम्मिलित करने का [[कोडेन्सिटी मोनाड]] है।<ref name="Leinster2013">{{cite journal|last=Leinster|first=Tom|year=2013|title=कोडेन्सिटी और अल्ट्राफिल्टर मोनैड|journal=Theory and Applications of Categories|volume=28|pages=332–370|bibcode=2012arXiv1209.3606L|arxiv=1209.3606|url=http://www.tac.mta.ca/tac/volumes/28/13/28-13.pdf}}</ref> इसी प्रकार, {{visible anchor|Ultraproduct monad|text=ultraproduct monad}} श्रेणी के समावेशन का कोडेन्सिटी मोनड है <math>\mathbf{FinFam}</math> [[अनुक्रमित परिवार|अनुक्रमित समुदाय]] के|श्रेणी में समुच्चय के अंतिम रूप से अनुक्रमित समुदाय <math>\mathbf{Fam}</math> समुच्चय के सभी अनुक्रमित समुदाय समुदायों में से। तो इस अर्थ में, अल्ट्राप्रोडक्ट्स स्पष्ट रूप से अपरिहार्य हैं।<ref name="Leinster2013">{{cite journal|last=Leinster|first=Tom|year=2013|title=कोडेन्सिटी और अल्ट्राफिल्टर मोनैड|journal=Theory and Applications of Categories|volume=28|pages=332–370|bibcode=2012arXiv1209.3606L|arxiv=1209.3606|url=http://www.tac.mta.ca/tac/volumes/28/13/28-13.pdf}}</ref> स्पष्ट रूप से, की वस्तु <math>\mathbf{Fam}</math> इसमें  गैर-रिक्त [[सूचकांक सेट|सूचकांक समुच्चय]] सम्मिलित है <math>I</math> और  अनुक्रमित समुदाय <math>\left(M_i\right)_{i \in I}</math> समुच्चय का.
[[अल्ट्राफिल्टर मोनाड]] [[फिनसेट|फिनसमुच्चय]] को [[सेट की श्रेणी|समुच्चय की श्रेणी]] में सम्मिलित करने का [[कोडेन्सिटी मोनाड]] है।<ref name="Leinster2013">{{cite journal|last=Leinster|first=Tom|year=2013|title=कोडेन्सिटी और अल्ट्राफिल्टर मोनैड|journal=Theory and Applications of Categories|volume=28|pages=332–370|bibcode=2012arXiv1209.3606L|arxiv=1209.3606|url=http://www.tac.mta.ca/tac/volumes/28/13/28-13.pdf}}</ref> इसी प्रकार, {{visible anchor|अल्ट्राप्रोडक्ट मोनड |text=अल्ट्राप्रोडक्ट मोनड}} श्रेणी के समावेशन का कोडेन्सिटी मोनड है, <math>\mathbf{FinFam}</math> [[अनुक्रमित परिवार|अनुक्रमित समुदाय]] के श्रेणी में समुच्चय के अंतिम रूप से अनुक्रमित समुदाय <math>\mathbf{Fam}</math> समुच्चय के सभी अनुक्रमित समुदाय समुदायों में से, तो इस अर्थ में अल्ट्राप्रोडक्ट्स स्पष्ट रूप से अपरिहार्य हैं।<ref name="Leinster2013">{{cite journal|last=Leinster|first=Tom|year=2013|title=कोडेन्सिटी और अल्ट्राफिल्टर मोनैड|journal=Theory and Applications of Categories|volume=28|pages=332–370|bibcode=2012arXiv1209.3606L|arxiv=1209.3606|url=http://www.tac.mta.ca/tac/volumes/28/13/28-13.pdf}}</ref> स्पष्ट रूप से, की वस्तु <math>\mathbf{Fam}</math> इसमें  गैर-रिक्त [[सूचकांक सेट|सूचकांक समुच्चय]] सम्मिलित है <math>I</math> और  अनुक्रमित समुदाय <math>\left(M_i\right)_{i \in I}</math> समुच्चय का.रूपवाद <math>\left(N_i\right)_{j \in J} \to \left(M_i\right)_{i \in I}</math> दो वस्तुओं के मध्य फलन होता है, <math>\phi : I \to J</math> सूचकांक समुच्चय और A के मध्य <math>J</math>-अनुक्रमित समुदाय <math>\left(\phi_j\right)_{j \in J}</math> समारोह का <math>\phi_j : M_{\phi(j)} \to N_j.</math> श्रेणी <math>\mathbf{FinFam}</math> की इस श्रेणी की पूर्ण उपश्रेणी है, <math>\mathbf{Fam}</math> सभी वस्तुओं से मिलकर बना हुआ <math>\left(M_i\right)_{i \in I}</math> जिसका सूचकांक समुच्चय है <math>I</math> परिमित है। समावेशन मानचित्र का कोडेन्सिटी मोनैड तब, संक्षेप में, <math>\mathbf{FinFam} \hookrightarrow \mathbf{Fam}</math> द्वारा दिया जाता है।
रूपवाद <math>\left(N_i\right)_{j \in J} \to \left(M_i\right)_{i \in I}</math> दो वस्तुओं के बीच फ़ंक्शन होता है <math>\phi : I \to J</math> सूचकांक समुच्चय और के बीच <math>J</math>-अनुक्रमित समुदाय <math>\left(\phi_j\right)_{j \in J}</math> समारोह का <math>\phi_j : M_{\phi(j)} \to N_j.</math> श्रेणी <math>\mathbf{FinFam}</math> की इस श्रेणी की पूर्ण उपश्रेणी है <math>\mathbf{Fam}</math> सभी वस्तुओं से मिलकर बना हुआ <math>\left(M_i\right)_{i \in I}</math> जिसका सूचकांक समुच्चय है <math>I</math> परिमित है.
समावेशन मानचित्र का कोडेन्सिटी मोनैड <math>\mathbf{FinFam} \hookrightarrow \mathbf{Fam}</math> तब, संक्षेप में, द्वारा दिया जाता है


== <math display="block">\left(M_i\right)_{i \in I} ~\mapsto~ \left(\prod_{i \in I} M_i \, / \, \mathcal{U}\right)_{\mathcal{U} \in U(I)} \, .</math>यह भी देखें ==
== <math display="block">\left(M_i\right)_{i \in I} ~\mapsto~ \left(\prod_{i \in I} M_i \, / \, \mathcal{U}\right)_{\mathcal{U} \in U(I)} \, .</math>यह भी देखें ==
* {{annotated link|Compactness theorem}}
* {{annotated link|
* {{annotated link|Extender (set theory)}}
सघनता प्रमेय}}
* {{annotated link|Löwenheim–Skolem theorem}}
* {{annotated link|विस्तारक (समुच्चय सिद्धांत)}}
* {{annotated link|Transfer principle}}
* {{annotated link|लोवेनहेम-स्कोलेम प्रमेय}}
* {{annotated link|Ultrafilter}}
* {{annotated link|
स्थानांतरण सिद्धांत}}
* {{annotated link|
अल्ट्राफ़िल्टर}}


==टिप्पणियाँ==
==टिप्पणियाँ==
Line 100: Line 96:


{{Mathematical logic}}
{{Mathematical logic}}
[[Category: गणितीय तर्क]] [[Category: मॉडल सिद्धांत]] [[Category: अमानक विश्लेषण]] [[Category: गणित की नींव में प्रमेय]] [[Category: सार्वभौमिक बीजगणित]]


 
[[Category:Articles with hatnote templates targeting a nonexistent page]]
 
[[Category:Collapse templates]]
[[Category: Machine Translated Page]]
[[Category:Created On 25/07/2023]]
[[Category:Created On 25/07/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Mathematics navigational boxes]]
[[Category:Navbox orphans]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with empty portal template]]
[[Category:Pages with script errors]]
[[Category:Philosophy and thinking navigational boxes]]
[[Category:Portal-inline template with redlinked portals]]
[[Category:Short description with empty Wikidata description]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Translated in Hindi]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]
[[Category:अमानक विश्लेषण]]
[[Category:गणित की नींव में प्रमेय]]
[[Category:गणितीय तर्क]]
[[Category:मॉडल सिद्धांत]]
[[Category:सार्वभौमिक बीजगणित]]

Latest revision as of 12:11, 10 August 2023

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

उदाहरण के लिए, दिए गए क्षेत्रों से नए क्षेत्र (गणित) का निर्माण करने के लिए अल्ट्रापावर का उपयोग किया जा सकता है। अतिवास्तविक संख्याएँ, वास्तविक संख्याओं की अतिशक्ति, इसका विशेष विषय है।

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

परिभाषा

अल्ट्राप्रोडक्ट्स प्राप्त करने की सामान्य विधि इंडेक्स समुच्चय का उपयोग करती है संरचना (गणितीय तर्क) प्रत्येक तत्व के लिए (इस आलेख में गैर-रिक्त माना गया है) (सभी ही हस्ताक्षर (तर्क)), और अल्ट्राफिल्टर (समुच्चय सिद्धांत) पर किन्हीं दो तत्वों के लिए और कार्टेशियन उत्पाद का

 उन्हें घोषित करें -equivalent, लिखा हुआ  या  यदि और केवल यदि सूचकांकों का समुच्चय  जिस पर वे सहमत हैं इसका एक तत्व है  प्रतीकों में,

जो केवल अल्ट्राफिल्टर के सापेक्ष घटकों की तुलना करता है, यह द्विआधारी संबंध तुल्यता संबंध है[proof 1]कार्टेशियन उत्पाद पर

ultraproduct of  modulo }h> का भागफल समुच्चय है  इसके संबंध में  और इसलिए कभी-कभी इसे निरूपित किया जाता है

स्पष्ट रूप से, यदि या किसी तत्व का समतुल्य वर्ग द्वारा निरूपित किया जाता है

तब अल्ट्राप्रोडक्ट सभी का समुच्चय है, -समतुल्य वर्ग
यद्यपि यह माना गया था कि यह अल्ट्राफिल्टर है, उपरोक्त निर्माण अधिक सामान्यतः कभी भी किया जा सकता है केवल फ़िल्टर (समुच्चय सिद्धांत) पर है किस स्थिति में परिणामी भागफल समुच्चय होता है को कम उत्पाद कहा जाता है।

जब प्रमुख अल्ट्राफिल्टर है (जो तब होता है जब और केवल यदि इसमें इसका कर्नेल (समुच्चय सिद्धांत) सम्मिलित है, ) तो अल्ट्राप्रोडक्ट कारकों में से के लिए आइसोमोर्फिक है। और इसलिए सामान्यतः, प्रमुख अल्ट्राफ़िल्टर नहीं है, जो तब होता है जब और केवल यदि मुफ़्त है (अर्थात) ), या समकक्ष, यदि प्रत्येक सह-परिमित उपसमुच्चय का तत्व है, चूँकि परिमित समुच्चय पर प्रत्येक अल्ट्राफिल्टर प्रमुख होता है, सूचकांक समुच्चय होता है फलस्वरूप सामान्यतः अनंत भी होता है।

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

कार्टेशियन उत्पाद पर वित्तीय संचालन (गणित) बिंदुवार परिभाषित किया गया है (उदाहरण के लिए, यदि तो यह बाइनरी फलन है) अन्य संबंध (गणित) को इसी प्रकार बढ़ाया जा सकता है:

जहाँ को दर्शाता है, -समतुल्यता वर्ग इसके संबंध में विशेषकर, यदि प्रत्येक ऑर्डर किया गया क्षेत्र है तो अल्ट्राप्रोडक्ट भी है।

अल्ट्रापावर

अल्ट्रापॉवर अल्ट्राप्रोडक्ट है जिसके लिए सभी कारक हैं, समान हैं। स्पष्ट रूप से, ultrapower of a set modulo अल्ट्राप्रोडक्ट है अनुक्रमित समुदाय का द्वारा परिभाषित प्रत्येक सूचकांक के लिए अतिशक्ति को इसके द्वारा निरूपित किया जा सकता है या (तब से) प्रायः द्वारा दर्शाया जाता है )

प्रत्येक के लिए होने देना स्थिर मानचित्र को निरूपित करें, वह समान रूप से समान है यह स्थिर मानचित्र/ट्यूपल कार्टेशियन उत्पाद का तत्व है और इसलिए असाइनमेंट मानचित्र को परिभाषित करता है

natural embedding of  into }h> नक्शा है  वह  तत्व भेजता है  तक -निरंतर टुपल का समतुल्य वर्ग 

उदाहरण

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

अनुरूप रूप से, कोई संबंधित संरचनाओं की प्रतियों के अल्ट्राप्रोडक्ट को लेकर गैरमानक पूर्णांक, गैरमानक समष्टि संख्याओं आदि को परिभाषित कर सकता है।

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

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

मूस प्रमेय

मूस प्रमेय जिसे अल्ट्राप्रोडक्ट्स का मौलिक प्रमेय भी कहा जाता है, जेरज़ी लोश के कारण है (उपनाम का उच्चारण किया जाता है [ˈwɔɕ], लगभग धो लें )। इसमें कहा गया है कि कोई भी प्रथम-क्रम विधेय कलन अल्ट्राप्रोडक्ट में सत्य है यदि और केवल यदि सूचकांकों का समुच्चय जैसे कि सूत्र सत्य है, का सदस्य अधिक सटीक है:

होने देना हस्ताक्षर बनो, समुच्चय पर अल्ट्राफिल्टर और प्रत्येक के लिए होने देना हो -संरचना, होने देना या का अल्ट्राप्रोडक्ट बनें इसके संबंध में तत्पश्चात, प्रत्येक के लिए जहाँ और प्रत्येक के लिए -सूत्र

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

उदाहरण

होने देना संरचना में एकात्मक संबंध हो की अल्ट्रापावर का निर्माण करते हैं, तत्पश्चात समुच्चय एनालॉग है अल्ट्रापॉवर में, और प्रथम-क्रम फ़ार्मुलों में सम्मिलित हैं के लिए भी मान्य हैं उदाहरण के लिए, चलो असली बनो, और चलो यदि पकड़ें परिमेय संख्या है, में तत्पश्चात हम ऐसा किसी भी तर्कसंगत जोड़ी के लिए कह सकते हैं और वहाँ और संख्या उपस्थित है, ऐसा है कि तर्कसंगत नहीं है, और चूँकि इसे प्रासंगिक औपचारिक भाषा में प्रथम-क्रम तार्किक सूत्र में अनुवादित किया जा सकता है, Łoś के प्रमेय का तात्पर्य है कि समान संपत्ति है, अर्थात्, हम हाइपररेशनल संख्याओं की धारणा को परिभाषित कर सकते हैं, जो हाइपररियल्स का उपसमूह हैं, और उनमें परिमेय के समान प्रथम-क्रम गुण होते हैं।

चूंकि, वास्तविक की आर्किमिडीयन संपत्ति पर विचार करें, जो बताती है कि कोई वास्तविक संख्या नहीं है, ऐसा है कि अनंत सूची में प्रत्येक असमानता के लिए Łoś का प्रमेय आर्किमिडीज़ संपत्ति पर प्रारम्भ नहीं होता है, क्योंकि आर्किमिडीज़ संपत्ति को प्रथम-क्रम तर्क में नहीं बताया जा सकता है। वास्तव में, आर्किमिडीज़ संपत्ति हाइपररियल के लिए अनुचित है, जैसा कि हाइपररियल संख्या के निर्माण से ज्ञात होता है, ऊपर।

अतिशक्तियों की प्रत्यक्ष सीमाएँ (अल्ट्रालिमिट्स)

मॉडल सिद्धांत और समुच्चय सिद्धांत में, अल्ट्रापावर के अनुक्रम की प्रत्यक्ष सीमा पर प्रायः विचार किया जाता है। मॉडल सिद्धांत में, इस निर्माण को अल्ट्रालिमिट या सीमित अल्ट्रापॉवर के रूप में संदर्भित किया जा सकता है।

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

अल्ट्राप्रोडक्ट मोनड

अल्ट्राफिल्टर मोनाड फिनसमुच्चय को समुच्चय की श्रेणी में सम्मिलित करने का कोडेन्सिटी मोनाड है।[1] इसी प्रकार, अल्ट्राप्रोडक्ट मोनड श्रेणी के समावेशन का कोडेन्सिटी मोनड है, अनुक्रमित समुदाय के श्रेणी में समुच्चय के अंतिम रूप से अनुक्रमित समुदाय समुच्चय के सभी अनुक्रमित समुदाय समुदायों में से, तो इस अर्थ में अल्ट्राप्रोडक्ट्स स्पष्ट रूप से अपरिहार्य हैं।[1] स्पष्ट रूप से, की वस्तु इसमें गैर-रिक्त सूचकांक समुच्चय सम्मिलित है और अनुक्रमित समुदाय समुच्चय का.रूपवाद दो वस्तुओं के मध्य फलन होता है, सूचकांक समुच्चय और A के मध्य -अनुक्रमित समुदाय समारोह का श्रेणी की इस श्रेणी की पूर्ण उपश्रेणी है, सभी वस्तुओं से मिलकर बना हुआ जिसका सूचकांक समुच्चय है परिमित है। समावेशन मानचित्र का कोडेन्सिटी मोनैड तब, संक्षेप में, द्वारा दिया जाता है।

यह भी देखें

  • [[

सघनता प्रमेय| सघनता प्रमेय]] – Theorem

स्थानांतरण सिद्धांत| स्थानांतरण सिद्धांत]] – That all statements of some language that are true for some structure are true for another structure

  • [[

अल्ट्राफ़िल्टर| अल्ट्राफ़िल्टर]] – Maximal proper filter

टिप्पणियाँ

  1. 1.0 1.1 Leinster, Tom (2013). "कोडेन्सिटी और अल्ट्राफिल्टर मोनैड" (PDF). Theory and Applications of Categories. 28: 332–370. arXiv:1209.3606. Bibcode:2012arXiv1209.3606L.

Proofs

  1. Although is assumed to be an ultrafilter over this proof only requires that be a filter on Throughout, let and be elements of The relation always holds since is an element of filter Thus the reflexivity of follows from that of equality Similarly, is symmetric since equality is symmetric. For transitivity, assume that and are elements of it remains to show that also belongs to The transitivity of equality guarantees (since if then and ). Because is closed under binary intersections, Since is upward closed in it contains every superset of (that consists of indices); in particular, contains


संदर्भ