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

Revision as of 18:01, 3 August 2023

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

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

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

परिभाषा

अल्ट्राप्रोडक्ट्स प्राप्त करने की सामान्य विधि इंडेक्स सेट का उपयोग करती है $I,$ संरचना (गणितीय तर्क) $M_{i}$ (इस आलेख में गैर-रिक्त माना गया है) प्रत्येक तत्व के लिए $i\in I$ (सभी ही हस्ताक्षर (तर्क)), और अल्ट्राफिल्टर (सेट सिद्धांत) ${\mathcal {U}}$ पर $I.$ किन्हीं दो तत्वों के लिए $a_{\bullet }=\left(a_{i}\right)_{i\in I}$ और $b_{\bullet }=\left(b_{i}\right)_{i\in I}$ कार्टेशियन उत्पाद का

 ${\textstyle {\textstyle \prod \limits _{i\in I}}M_{i},}$  उन्हें घोषित करें  ${\mathcal {U}}$ -equivalent, लिखा हुआ  $a_{\bullet }\sim b_{\bullet }$  या  $a_{\bullet }=_{\mathcal {U}}b_{\bullet },$  यदि और केवल यदि सूचकांकों का सेट  $\left\{i\in I:a_{i}=b_{i}\right\}$  जिस पर वे सहमत हैं वह  तत्व है  ${\mathcal {U}};$  प्रतीकों में,

a_{\bullet }\sim b_{\bullet }\;\iff \;\left\{i\in I:a_{i}=b_{i}\right\}\in {\mathcal {U}},

जो केवल अल्ट्राफिल्टर के सापेक्ष घटकों की तुलना करता है

{\mathcal {U}}.

यह द्विआधारी संबंध

\,\sim \,

तुल्यता संबंध है^{[proof 1]}कार्टेशियन उत्पाद पर

{\textstyle \prod \limits _{i\in I}}M_{i}.

ultraproduct of  $M_{\bullet }=\left(M_{i}\right)_{i\in I}$  modulo  ${\mathcal {U}}$ }h> का भागफल समुच्चय है  ${\textstyle \prod \limits _{i\in I}}M_{i}$  इसके संबंध में  $\sim$  और इसलिए कभी-कभी इसे निरूपित किया जाता है

${\textstyle \prod \limits _{i\in I}}M_{i}\,/\,{\mathcal {U}}$ या ${\textstyle \prod }_{\mathcal {U}}\,M_{\bullet }.$ स्पष्ट रूप से, यदि ${\mathcal {U}}$ -किसी तत्व का समतुल्य वर्ग $a\in {\textstyle \prod \limits _{i\in I}}M_{i}$ द्वारा निरूपित किया जाता है

a_{\mathcal {U}}:={\big \{}x\in {\textstyle \prod \limits _{i\in I}}M_{i}\;:\;x\sim a{\big \}}

तब अल्ट्राप्रोडक्ट सभी का सेट है

{\mathcal {U}}

-समतुल्य वर्ग

{\prod }_{\mathcal {U}}\,M_{\bullet }\;=\;\prod _{i\in I}M_{i}\,/\,{\mathcal {U}}\;:=\;\left\{a_{\mathcal {U}}\;:\;a\in {\textstyle \prod \limits _{i\in I}}M_{i}\right\}.

यद्यपि

{\mathcal {U}}

यह माना गया था कि यह अल्ट्राफिल्टर है, उपरोक्त निर्माण अधिक सामान्यतः कभी भी किया जा सकता है

{\mathcal {U}}

केवल फ़िल्टर (सेट सिद्धांत) पर है

I,

किस स्थिति में परिणामी भागफल सेट होता है

{\textstyle \prod \limits _{i\in I}}M_{i}/\,{\mathcal {U}}

ए कहा जाता हैreduced product.

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

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

कार्टेशियन उत्पाद पर वित्तीय संचालन (गणित)। ${\textstyle \prod \limits _{i\in I}}M_{i}$ बिंदुवार परिभाषित किया गया है (उदाहरण के लिए, यदि $+$ तो यह बाइनरी फ़ंक्शन है $a_{i}+b_{i}=(a+b)_{i}$ ). अन्य संबंध (गणित) को इसी तरह बढ़ाया जा सकता है:

R\left(a_{\mathcal {U}}^{1},\dots ,a_{\mathcal {U}}^{n}\right)~\iff ~\left\{i\in I:R^{M_{i}}\left(a_{i}^{1},\dots ,a_{i}^{n}\right)\right\}\in {\mathcal {U}},

कहाँ

a_{\mathcal {U}}

को दर्शाता है

{\mathcal {U}}

-समतुल्यता वर्ग

a

इसके संबंध में

\sim .

विशेषकर, यदि प्रत्येक

M_{i}

ऑर्डर किया गया फ़ील्ड है तो अल्ट्राप्रोडक्ट भी है।

अल्ट्रापावर

अल्ट्रापॉवर अल्ट्राप्रोडक्ट है जिसके लिए सभी कारक हैं $M_{i}$ बराबर हैं। स्पष्ट रूप से, ultrapower of a set $M$ modulo ${\mathcal {U}}$ अल्ट्राप्रोडक्ट है ${\textstyle \prod \limits _{i\in I}}M_{i}\,/\,{\mathcal {U}}={\textstyle \prod }_{\mathcal {U}}\,M_{\bullet }$ अनुक्रमित परिवार का $M_{\bullet }:=\left(M_{i}\right)_{i\in I}$ द्वारा परिभाषित $M_{i}:=M$ प्रत्येक सूचकांक के लिए $i\in I.$ अतिशक्ति को इसके द्वारा निरूपित किया जा सकता है ${\textstyle \prod }_{\mathcal {U}}\,M$ या (तब से) ${\textstyle \prod \limits _{i\in I}}M$ प्रायः द्वारा दर्शाया जाता है $M^{I}$ ) द्वारा

M^{I}/{\mathcal {U}}~:=~\prod _{i\in I}M\,/\,{\mathcal {U}}\,

हर के लिए

m\in M,

होने देना

(m)_{i\in I}

स्थिर मानचित्र को निरूपित करें

I\to M

वह समान रूप से बराबर है

m.

यह स्थिर मानचित्र/ट्यूपल कार्टेशियन उत्पाद का तत्व है

M^{I}={\textstyle \prod \limits _{i\in I}}M

और इसलिए असाइनमेंट

m\mapsto (m)_{i\in I}

मानचित्र को परिभाषित करता है

M\to {\textstyle \prod \limits _{i\in I}}M.

natural embedding of  $M$  into  ${\textstyle \prod }_{\mathcal {U}}\,M$ }h> नक्शा है  $M\to {\textstyle \prod }_{\mathcal {U}}\,M$  वह  तत्व भेजता है  $m\in M$  तक  ${\mathcal {U}}$ -निरंतर टुपल का समतुल्य वर्ग  $(m)_{i\in I}.$

उदाहरण

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

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

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

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

मूस प्रमेय

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

होने देना $\sigma$ हस्ताक्षर बनो, ${\mathcal {U}}$ सेट पर अल्ट्राफिल्टर $I,$ और प्रत्येक के लिए $i\in I$ होने देना $M_{i}$ हो $\sigma$ -संरचना। होने देना ${\textstyle \prod }_{\mathcal {U}}\,M_{\bullet }$ या ${\textstyle \prod \limits _{i\in I}}M_{i}/{\mathcal {U}}$ का अल्ट्राप्रोडक्ट बनें $M_{i}$ इसके संबंध में ${\mathcal {U}}.$ फिर, प्रत्येक के लिए $a^{1},\ldots ,a^{n}\in {\textstyle \prod \limits _{i\in I}}M_{i},$ कहाँ $a^{k}=\left(a_{i}^{k}\right)_{i\in I},$ और हर किसी के लिए $\sigma$ -सूत्र $\phi ,$

{\prod }_{\mathcal {U}}\,M_{\bullet }\models \phi \left[a_{\mathcal {U}}^{1},\ldots ,a_{\mathcal {U}}^{n}\right]~\iff ~\{i\in I:M_{i}\models \phi [a_{i}^{1},\ldots ,a_{i}^{n}]\}\in {\mathcal {U}}.

सूत्र की जटिलता पर प्रेरण द्वारा प्रमेय सिद्ध होता है

\phi .

यह तथ्य कि

{\mathcal {U}}

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

उदाहरण

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

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

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

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

संरचना से शुरुआत करते हुए, $A_{0}$ और अल्ट्राफिल्टर, ${\mathcal {D}}_{0},$ अतिशक्ति का निर्माण करें, $A_{1}.$ फिर बनाने के लिए प्रक्रिया को दोहराएं $A_{2},$ इत्यादि। प्रत्येक के लिए $n$ विहित विकर्ण एम्बेडिंग है $A_{n}\to A_{n+1}.$ सीमा चरणों में, जैसे $A_{\omega },$ पहले के चरणों की प्रत्यक्ष सीमा बनाएं। कोई अनंत में जारी रह सकता है।

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

अल्ट्राफिल्टर मोनाड फिनसेट को सेट की श्रेणी में शामिल करने का कोडेन्सिटी मोनाड है।^[1] इसी प्रकार, ultraproduct monad श्रेणी के समावेशन का कोडेन्सिटी मोनड है $\mathbf {FinFam}$ अनुक्रमित परिवार के|श्रेणी में सेट के अंतिम रूप से अनुक्रमित परिवार $\mathbf {Fam}$ सेट के सभी अनुक्रमित परिवार परिवारों में से। तो इस अर्थ में, अल्ट्राप्रोडक्ट्स स्पष्ट रूप से अपरिहार्य हैं।^[1] स्पष्ट रूप से, की वस्तु $\mathbf {Fam}$ इसमें गैर-रिक्त सूचकांक सेट शामिल है $I$ और अनुक्रमित परिवार $\left(M_{i}\right)_{i\in I}$ सेट का. रूपवाद $\left(N_{i}\right)_{j\in J}\to \left(M_{i}\right)_{i\in I}$ दो वस्तुओं के बीच फ़ंक्शन होता है $\phi :I\to J$ सूचकांक सेट और ए के बीच $J$ -अनुक्रमित परिवार $\left(\phi _{j}\right)_{j\in J}$ समारोह का $\phi _{j}:M_{\phi (j)}\to N_{j}.$ श्रेणी $\mathbf {FinFam}$ की इस श्रेणी की पूर्ण उपश्रेणी है $\mathbf {Fam}$ सभी वस्तुओं से मिलकर बना हुआ $\left(M_{i}\right)_{i\in I}$ जिसका सूचकांक सेट है $I$ परिमित है. समावेशन मानचित्र का कोडेन्सिटी मोनैड $\mathbf {FinFam} \hookrightarrow \mathbf {Fam}$ तब, संक्षेप में, द्वारा दिया जाता है

$\left(M_{i}\right)_{i\in I}~\mapsto ~\left(\prod _{i\in I}M_{i}\,/\,{\mathcal {U}}\right)_{{\mathcal {U}}\in U(I)}\,.$ यह भी देखें

↑ Although ${\mathcal {U}}$ is assumed to be an ultrafilter over $I,$ this proof only requires that ${\mathcal {U}}$ be a filter on $I.$ Throughout, let $a_{\bullet }=\left(a_{i}\right)_{i\in I},b_{\bullet }=\left(b_{i}\right)_{i\in I},$ and $c_{\bullet }=\left(c_{i}\right)_{i\in I}$ be elements of ${\textstyle \prod \limits _{i\in I}}M_{i}.$ The relation $a_{\bullet }\,\sim \,a_{\bullet }$ always holds since $\{i\in I:a_{i}=a_{i}\}=I$ is an element of filter ${\mathcal {U}}.$ Thus the reflexivity of $\,\sim \,$ follows from that of equality $\,=.\,$ Similarly, $\,\sim \,$ is symmetric since equality is symmetric. For transitivity, assume that $R=\{i:a_{i}:=b_{i}\}$ and $S:=\{i:b_{i}=c_{i}\}$ are elements of ${\mathcal {U}};$ it remains to show that $T:=\{i:a_{i}=c_{i}\}$ also belongs to ${\mathcal {U}}.$ The transitivity of equality guarantees $R\cap S\subseteq T$ (since if $i\in R\cap S$ then $a_{i}=b_{i}$ and $b_{i}=c_{i}$ ). Because ${\mathcal {U}}$ is closed under binary intersections, $R\cap S\in {\mathcal {U}}.$ Since ${\mathcal {U}}$ is upward closed in $I,$ it contains every superset of $R\cap S$ (that consists of indices); in particular, ${\mathcal {U}}$ contains $T.$ $\blacksquare$

संदर्भ

Bell, John Lane; Slomson, Alan B. (2006) [1969]. Models and Ultraproducts: An Introduction (reprint of 1974 ed.). Dover Publications. ISBN 0-486-44979-3.
Burris, Stanley N.; Sankappanavar, H.P. (2000) [1981]. A Course in Universal Algebra (Millennium ed.).

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

[EquivalenceRelationProof-1] Although ${\mathcal {U}}$ is assumed to be an ultrafilter over $I,$ this proof only requires that ${\mathcal {U}}$ be a filter on $I.$ Throughout, let $a_{\bullet }=\left(a_{i}\right)_{i\in I},b_{\bullet }=\left(b_{i}\right)_{i\in I},$ and $c_{\bullet }=\left(c_{i}\right)_{i\in I}$ be elements of ${\textstyle \prod \limits _{i\in I}}M_{i}.$ The relation $a_{\bullet }\,\sim \,a_{\bullet }$ always holds since $\{i\in I:a_{i}=a_{i}\}=I$ is an element of filter ${\mathcal {U}}.$ Thus the reflexivity of $\,\sim \,$ follows from that of equality $\,=.\,$ Similarly, $\,\sim \,$ is symmetric since equality is symmetric. For transitivity, assume that $R=\{i:a_{i}:=b_{i}\}$ and $S:=\{i:b_{i}=c_{i}\}$ are elements of ${\mathcal {U}};$ it remains to show that $T:=\{i:a_{i}=c_{i}\}$ also belongs to ${\mathcal {U}}.$ The transitivity of equality guarantees $R\cap S\subseteq T$ (since if $i\in R\cap S$ then $a_{i}=b_{i}$ and $b_{i}=c_{i}$ ). Because ${\mathcal {U}}$ is closed under binary intersections, $R\cap S\in {\mathcal {U}}.$ Since ${\mathcal {U}}$ is upward closed in $I,$ it contains every superset of $R\cap S$ (that consists of indices); in particular, ${\mathcal {U}}$ contains $T.$ $\blacksquare$

[proof 1]

[1]

@@ Line 1: / Line 1: @@
 {{short description|Mathematical construction}}
-अल्ट्राप्रोडक्ट एक गणित निर्माण है जो मुख्य रूप से [[अमूर्त बीजगणित]] और [[गणितीय तर्क]] में दिखाई देता है, विशेष रूप से [[मॉडल सिद्धांत]] और सेट सिद्धांत में। एक अल्ट्राप्रोडक्ट [[संरचना (गणितीय तर्क)]] के परिवार के [[प्रत्यक्ष उत्पाद]] का एक भागफल है। सभी कारकों पर समान [[हस्ताक्षर (तर्क)]] होना आवश्यक है। अल्ट्रापॉवर इस निर्माण का विशेष मामला है जिसमें सभी कारक समान हैं।
+अल्ट्राप्रोडक्ट  गणित निर्माण है जो मुख्य रूप से [[अमूर्त बीजगणित]] और [[गणितीय तर्क]] में दिखाई देता है, विशेष रूप से [[मॉडल सिद्धांत]] और सेट सिद्धांत में।  अल्ट्राप्रोडक्ट [[संरचना (गणितीय तर्क)]] के परिवार के [[प्रत्यक्ष उत्पाद]] का  भागफल है। सभी कारकों पर समान [[हस्ताक्षर (तर्क)]] होना आवश्यक है। अल्ट्रापॉवर इस निर्माण का विशेष मामला है जिसमें सभी कारक समान हैं।
-उदाहरण के लिए, दिए गए क्षेत्रों से नए क्षेत्र (गणित) का निर्माण करने के लिए अल्ट्रापावर का उपयोग किया जा सकता है। अति[[वास्तविक संख्या]]एँ, वास्तविक संख्याओं की एक अतिशक्ति, इसका एक विशेष मामला है।
+उदाहरण के लिए, दिए गए क्षेत्रों से नए क्षेत्र (गणित) का निर्माण करने के लिए अल्ट्रापावर का उपयोग किया जा सकता है। अति[[वास्तविक संख्या]]एँ, वास्तविक संख्याओं की  अतिशक्ति, इसका  विशेष मामला है।
-अल्ट्राप्रोडक्ट्स के कुछ उल्लेखनीय अनुप्रयोगों में [[सघनता प्रमेय]] और [[पूर्णता प्रमेय]] के बहुत ही सुंदर प्रमाण शामिल हैं, एच. जेरोम केसलर का अल्ट्रापॉवर प्रमेय, जो प्राथमिक तुल्यता की अर्थ संबंधी धारणा का बीजगणितीय लक्षण वर्णन देता है, और विश्लेषण के गैर-मानक मॉडल बनाने के लिए सुपरस्ट्रक्चर और उनके मोनोमोर्फिज्म के उपयोग की रॉबिन्सन-ज़ैकोन प्रस्तुति, जिससे गैर-मानक विश्लेषण के क्षेत्र में वृद्धि हुई, जो कि अग्रणी था (कॉम्पैक्टनेस के एक अनुप्रयोग के रूप में) ओरेम) [[अब्राहम रॉबिन्सन]] द्वारा।
+अल्ट्राप्रोडक्ट्स के कुछ उल्लेखनीय अनुप्रयोगों में [[सघनता प्रमेय]] और [[पूर्णता प्रमेय]] के बहुत ही सुंदर प्रमाण शामिल हैं, एच. जेरोम केसलर का अल्ट्रापॉवर प्रमेय, जो प्राथमिक तुल्यता की अर्थ संबंधी धारणा का बीजगणितीय लक्षण वर्णन देता है, और विश्लेषण के गैर-मानक मॉडल बनाने के लिए सुपरस्ट्रक्चर और उनके मोनोमोर्फिज्म के उपयोग की रॉबिन्सन-ज़ैकोन प्रस्तुति, जिससे गैर-मानक विश्लेषण के क्षेत्र में वृद्धि हुई, जो कि अग्रणी था (कॉम्पैक्टनेस के  अनुप्रयोग के रूप में) ओरेम) [[अब्राहम रॉबिन्सन]] द्वारा।
 ==परिभाषा==
-अल्ट्राप्रोडक्ट्स प्राप्त करने की सामान्य विधि एक इंडेक्स सेट का उपयोग करती है <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>\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> और इसलिए कभी-कभी इसे निरूपित किया जाता है
@@ Line 19: / Line 19: @@
 तब अल्ट्राप्रोडक्ट सभी का सेट है <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>\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> ए कहा जाता है{{visible anchor|reduced product}}.
-कब <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>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>) द्वारा
 <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> ज्यादा ठीक:
-होने देना <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 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> ऊपर।
@@ Line 70: / Line 68: @@
 मॉडल सिद्धांत और सेट सिद्धांत में, अल्ट्रापावर के अनुक्रम की [[प्रत्यक्ष सीमा]] पर अक्सर विचार किया जाता है। मॉडल सिद्धांत में, इस निर्माण को अल्ट्रालिमिट या सीमित अल्ट्रापॉवर के रूप में संदर्भित किया जा सकता है।
-एक संरचना से शुरुआत करते हुए, <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|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> सेट का.
-एक रूपवाद <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>\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|Extender (set theory)}}

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

Revision as of 18:01, 3 August 2023

Contents

परिभाषा

अल्ट्रापावर

उदाहरण

मूस प्रमेय

उदाहरण

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

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

$\left(M_{i}\right)_{i\in I}~\mapsto ~\left(\prod _{i\in I}M_{i}\,/\,{\mathcal {U}}\right)_{{\mathcal {U}}\in U(I)}\,.$ यह भी देखें

टिप्पणियाँ

संदर्भ

Navigation menu

Search

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

Revision as of 18:01, 3 August 2023

परिभाषा

अल्ट्रापावर

उदाहरण

मूस प्रमेय

उदाहरण

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

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

( M i ) i ∈ I ↦ ( ∏ i ∈ I M i / U ) U ∈ U ( I ) . {\displaystyle \left(M_{i}\right)_{i\in I}~\mapsto ~\left(\prod _{i\in I}M_{i}\,/\,{\mathcal {U}}\right)_{{\mathcal {U}}\in U(I)}\,.} यह भी देखें

टिप्पणियाँ

संदर्भ

Navigation menu

Search

$\left(M_{i}\right)_{i\in I}~\mapsto ~\left(\prod _{i\in I}M_{i}\,/\,{\mathcal {U}}\right)_{{\mathcal {U}}\in U(I)}\,.$ यह भी देखें