प्रत्यक्ष गुणनफल: Difference between revisions

Latest revision as of 15:10, 26 December 2022

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

उदाहरण समुच्चय, समूह (गणित) (नीचे वर्णित), गुणनफल रिंग और अन्य बीजगणितीय संरचनाओं का गुणनफल हैं। टोपोलॉजिकल स्पेस का गुणनफल टोपोलॉजी एक और उदाहरण है।^{[dubious – discuss]}

प्रत्यक्ष योग भी है - कुछ क्षेत्रों में इसका उपयोग परस्पर विनिमय के लिए किया जाता है, जबकि अन्य में यह एक अलग अवधारणा है।

उदाहरण

यदि हम $\mathbb {R}$ को वास्तविक संख्या के समुच्चय के रूप में विचार करें, तो प्रत्यक्ष गुणनफल $\mathbb {R} \times \mathbb {R}$ सिर्फ $\{(x,y):x,y\in \mathbb {R} \}.$ कार्तीय गुणनफल है.
यदि हम $\mathbb {R}$ को जोड़ के अंतर्गत वास्तविक संख्याओं के समूह के रूप में विचार करें, तो प्रत्यक्ष गुणनफल $\mathbb {R} \times \mathbb {R}$ में अभी भी $\{(x,y):x,y\in \mathbb {R} \}$ इसके अंतर्निहित समुच्चय के रूप में है। इसमें और पिछले उदाहरण में यही अंतर है कि $\mathbb {R} \times \mathbb {R}$ अब एक समूह है, और इसलिए हमें यह भी कहना होगा कि उनके तत्वों को कैसे जोड़ा जाए। यह $(a,b)+(c,d)=(a+c,b+d).$ परिभाषित करके किया जाता है
यदि हम $\mathbb {R}$ को वास्तविक संख्याओं का वलय मानते हैं, तो प्रत्यक्ष गुणनफल $\mathbb {R} \times \mathbb {R}$ में फिर से $\{(x,y):x,y\in \mathbb {R} \}$ इसके अंतर्निहित समुच्चय के रूप में है। रिंग संरचना में $(a,b)+(c,d)=(a+c,b+d)$ और गुणन द्वारा परिभाषित $(a,b)(c,d)=(ac,bd).$ होता है.
चूँकि वलय $\mathbb {R}$ एक क्षेत्र है (गणित), $\mathbb {R} \times \mathbb {R}$ एक नहीं है, क्योंकि तत्व $(1,0)$ गुणनात्मक व्युत्क्रम नहीं है।

इसी तरह, हम बहुत सी बीजगणितीय संरचनाओं के प्रत्यक्ष गुणनफल के बारे में बात कर सकते हैं, उदाहरण के लिए, $\mathbb {R} \times \mathbb {R} \times \mathbb {R} \times \mathbb {R} .$ यह इस तथ्य पर निर्भर करता है कि प्रत्यक्ष गुणनफल समरूपता तक साहचर्य है। वह है, $(A\times B)\times C\cong A\times (B\times C)$ किसी भी बीजगणितीय संरचना $A,$ $B,$ तथा $C$ के लिए समरूपता तक प्रत्यक्ष गुणनफल भी है, क्रमविनिमेय है, अर्थात, $A\times B\cong B\times A$ किसी भी बीजगणितीय संरचना के लिए $A$ तथा $B$ उसी समान है। हम अपरिमित रूप से अनेक बीजगणितीय संरचनाओं के प्रत्यक्ष गुणनफल के बारे में भी बात कर सकते हैं; उदाहरण के लिए $\mathbb {R} ,$ की गिनती की कई प्रतियों का प्रत्यक्ष गुणनफल ले सकते हैं, जिसे हम $\mathbb {R} \times \mathbb {R} \times \mathbb {R} \times \dotsb .$ के रूप में लिखते है।

समूह प्रत्यक्ष गुणनफल

समूह सिद्धांत में दो समूहों $(G,\circ )$ तथा $(H,\cdot ),$ द्वारा चिह्नित $G\times H.$ के प्रत्यक्ष गुणनफल को परिभाषित किया जा सकता है विनिमेय समूहों के लिए जो योगात्मक रूप से लिखे गए हैं, इसे समूहों का प्रत्यक्ष योग भी कहा जा सकता है, जिसे $G\oplus H.$ द्वारा निरूपित किया जाता है

इसे इस प्रकार परिभाषित किया गया है:

नए समूह के तत्वों का समुच्चय (गणित) $G{\text{ औ र }}H,$ तत्वों के समुच्चय का, जो कि $\{(g,h):g\in G,h\in H\};$ कार्तीय गुणनफल है
इन तत्वों पर एक ऑपरेशन डालें, परिभाषित के अनुसार तत्व: $(g,h)\times \left(g',h'\right)=\left(g\circ g',h\cdot h'\right)$

ध्यान दें कि $(G,\circ )$ $(H,\cdot ).$ के समान हो सकता है

यह निर्माण एक नया समूह देता है। इसमें $G$ (फॉर्म के तत्वों द्वारा दिया गया $(g,1)$ ) एक सामान्य उपसमूह समरूप है, और $H$ (तत्व सम्मिलित हैं $(1,h)$ ) के लिये समरूप है।

व्युत्क्रम भी रहता है। निम्नलिखित मान्यता प्रमेय है: यदि एक समूह $K$ दो सामान्य उपसमूह $G{\text{ औ र }}H,$ सम्मिलित हैं, जैसे कि $K=GH$ और $G{\text{ औ र }}H$ के प्रतिच्छेदन में केवल पहचान होती है, तब $K$ के लिए $G\times H.$ समरूप है। इन स्थितियों में छूट, सामान्य होने के लिए केवल एक उपसमूह की आवश्यकता होती है,जो अर्ध-प्रत्यक्ष गुणनफल देता है।

उदाहरण के रूप में $G{\text{ औ र }}H$ क्रम 2 के अद्वितीय (समरूपता तक) समूह की दो प्रतियाँ $\{1,a\}{\text{ औ र }}\{1,b\}.$ लें, जिसे $C^{2}$ कहते है। फिर $C_{2}\times C_{2}=\{(1,1),(1,b),(a,1),(a,b)\},$ ऑपरेशन तत्व के साथ तत्व द्वारा । उदाहरण के लिए, $(1,b)^{*}(a,1)=\left(1^{*}a,b^{*}1\right)=(a,b),$ तथा $(1,b)^{*}(1,b)=\left(1,b^{2}\right)=(1,1).$ एक प्रत्यक्ष गुणनफल के साथ, हमें कुछ प्राकृतिक समूह समरूपता मुफ्त में मिलती है: द्वारा परिभाषित प्रक्षेपण मानचित्र

{\begin{aligned}\pi _{1}:G\times H\to G,\ \ \pi _{1}(g,h)&=g\\\pi _{2}:G\times H\to H,\ \ \pi _{2}(g,h)&=h\end{aligned}}

समन्वय फलन कहलाते हैं।

इसके अतिरिक्त, हर समरूपता $f$ प्रत्यक्ष गुणनफल के लिए पूरी तरह से इसके $f_{i}=\pi _{i}\circ f.$ घटक फलनों द्वारा निर्धारित किया जाता है

किसी भी समूह के लिए $(G,\circ )$ और कोई पूर्णांक $n\geq 0,$ प्रत्यक्ष गुणनफल का बार-बार उपयोग $n$ -टुपल्स $G^{n}$ सभी के समूह को देता है ( $n=0,$ के लिये यह तुच्छ समूह है), उदाहरण के लिए $\mathbb {Z} ^{n}$ तथा $\mathbb {R} ^{n}.$

अनुखंड का प्रत्यक्ष गुणनफल

अनुखंड (गणित) के लिए प्रत्यक्ष गुणनफल (टेंसर गुणनफल के साथ भ्रमित नहीं होना) ऊपर दिए गए समूहों के लिए परिभाषित एक के समान है, कार्तीय गुणनफल का उपयोग घटक के रूप में जोड़ने के संचालन के साथ होता है, और स्केलर गुणा सिर्फ सभी घटकों पर वितरित होता है। $\mathbb {R}$ से प्रारंभ होकर हमें यूक्लिडियन अंतरिक्ष मिलता है $\mathbb {R} ^{n}$ प्रोटोटाइपिकल एक वास्तविक $n$ -आयामी सदिश अंतरिक्ष का उदाहरण है। $\mathbb {R} ^{m}$ तथा $\mathbb {R} ^{n}$ का $\mathbb {R} ^{m+n}$ प्रत्यक्ष गुणनफल है

ध्यान दें कि परिमित सूचकांक के लिए प्रत्यक्ष गुणनफल ${\textstyle \prod _{i=1}^{n}X_{i}}$ अनुखंड के प्रत्यक्ष योग के लिए कैनोनिक रूप से ${\textstyle \bigoplus _{i=1}^{n}X_{i}}$ समरूप है, प्रत्यक्ष योग और प्रत्यक्ष गुणनफल अनंत सूचकांकों के लिए समरूप नहीं हैं, जहां प्रत्यक्ष योग के तत्व सभी के लिए शून्य हैं, लेकिन प्रविष्टियों की एक सीमित संख्या के लिए। वे श्रेणी सिद्धांत के अर्थ में दोहरे हैं: प्रत्यक्ष योग प्रतिफल है, जबकि प्रत्यक्ष गुणनफल गुणनफल है।

उदाहरण के लिए ${\textstyle X=\prod _{i=1}^{\infty }\mathbb {R} }$ तथा ${\textstyle Y=\bigoplus _{i=1}^{\infty }\mathbb {R} ,}$ अनंत प्रत्यक्ष गुणनफल और वास्तविक संख्याओं का प्रत्यक्ष योग पर विचार करें। केवल गैर-शून्य तत्वों की परिमित संख्या वाले अनुक्रम $Y$ में हैं, उदाहरण के लिए, $(1,0,0,0,\ldots )$ $Y$ में है लेकिन $(1,1,1,1,\ldots )$ नहीं है। ये दोनों क्रम प्रत्यक्ष गुणनफल $X;$ में हैं वास्तविक में, $Y$ $X$ का उचित उपसमुच्चय है (वह है, $Y\subset X$ ).^[1]^[2]

टोपोलॉजिकल स्पेस प्रत्यक्ष गुणनफल

टोपोलॉजिकल रिक्त स्थान के संग्रह के लिए प्रत्यक्ष गुणनफल $X_{i}$ के लिये $i$ में $I,$ कुछ सूचकांक समुच्चय, एक बार फिर कार्तीय गुणनफल का उपयोग करता है

\prod _{i\in I}X_{i}.

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

{\mathcal {B}}=\left\{U_{1}\times \cdots \times U_{n}\ :\ U_{i}\ \mathrm {open\ in} \ X_{i}\right\}.

इस टोपोलॉजी को गुणनफल टोपोलॉजी कहा जाता है। उदाहरण के लिए,

\mathbb {R} ^{2}

पर

\mathbb {R}

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

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

{\mathcal {B}}=\left\{\prod _{i\in I}U_{i}\ :\ (\exists j_{1},\ldots ,j_{n})(U_{j_{i}}\ \mathrm {open\ in} \ X_{j_{i}})\ \mathrm {and} \ (\forall i\neq j_{1},\ldots ,j_{n})(U_{i}=X_{i})\right\}.

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

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

अधिक गुणों और समतुल्य योगों के लिए, अलग प्रविष्टि गुणनफल टोपोलॉजी देखें।

द्विआधारी संबंधों का प्रत्यक्ष गुणनफल

द्विआधारी संबंधों के साथ दो समुच्चयों के कार्तीय गुणनफल पर $R{\text{ औ र }}S,$ $(a,b)T(c,d)$ परिभाषित करें जैसा $aRc{\text{ औ र }}bSd.$ यदि $R{\text{ औ र }}S$ प्रतिवर्त संबंध, अविचलित संबंध, सकर्मक संबंध, सममित संबंध या एंटीसिमेट्रिक संबंध दोनों हैं, तो $T$ भी होगा।^[3] इसी प्रकार, $T$ की कुल संबंध $R{\text{ औ र }}S.$ से विरासत में मिला है गुणों का संयोजन यह इस प्रकार है कि यह एक पूर्व आदेश होने और समकक्ष संबंध होने के लिए भी लागू होता है। चूँकि, यदि $R{\text{ औ र }}S$ जुड़े हुए संबंध हैं, $T$ को जोड़ने की आवश्यकता नहीं है; उदाहरण के लिए; उदाहरण के लिए, $\,\leq \,$ पर $\mathbb {N}$ का प्रत्यक्ष गुणनफल $(1,2){\text{ औ र }}(2,1).$ स्वयं से संबंधित नहीं है

सार्वभौमिक बीजगणित में प्रत्यक्ष गुणनफल

यदि $\Sigma$ एक निश्चित हस्ताक्षर (तर्क) है, $I$ एक एकतंत्र (संभवतः अनंत) सूचकांक समुच्चय है, और $\left(\mathbf {A} _{i}\right)_{i\in I}$ का एक अनुक्रमित परिवार है $\Sigma$ बीजगणित, प्रत्यक्ष गुणनफल ${\textstyle \mathbf {A} =\prod _{i\in I}\mathbf {A} _{i}}$ एक है $\Sigma$ बीजगणित को इस प्रकार परिभाषित किया गया है:

$A$ का ब्रह्मांड समुच्चय $\mathbf {A}$ ब्रह्मांड समुच्चय $A_{i}$ का $\mathbf {A} _{i}$ का कार्तीय गुणनफल है औपचारिक रूप से: ${\textstyle A=\prod _{i\in I}A_{i}.}$
प्रत्येक के लिए $n$ और प्रत्येक $n$ -और ऑपरेशन प्रतीक $f\in \Sigma ,$ इसकी व्याख्या $f^{\mathbf {A} }$ में $\mathbf {A}$ घटकवार, औपचारिक रूप से परिभाषित किया गया है: सभी के लिए $a_{1},\dotsc ,a_{n}\in A$ और प्रत्येक $i\in I,$ $i$ वें घटक $f^{\mathbf {A} }\!\left(a_{1},\dotsc ,a_{n}\right)$ की तरह परिभाषित किया गया है $f^{\mathbf {A} _{i}}\!\left(a_{1}(i),\dotsc ,a_{n}(i)\right).$ प्रत्येक के लिए $i\in I,$ $i$ वें प्रक्षेपण $\pi _{i}:A\to A_{i}$ द्वारा परिभाषित किया गया है $\pi _{i}(a)=a(i).$ यह के बीच एक विशेषण समरूपता है $\Sigma$ अल्जेब्रास $\mathbf {A} {\text{ and }}\mathbf {A} _{i}.$ ^[4]

एक विशेष स्थितियों के रूप में, यदि index $I=\{1,2\},$ दो का प्रत्यक्ष गुणनफल $\Sigma$ बीजगणित $\mathbf {A} _{1}{\text{ औ र }}\mathbf {A} _{2}$ प्राप्त होता है, $\mathbf {A} =\mathbf {A} _{1}\times \mathbf {A} _{2}$ के रूप में लिखा जाता है यदि $\Sigma$ केवल एक बाइनरी ऑपरेशन होता है $f,$ समूह प्रत्यक्ष गुणनफल की परिभाषा, समूहों के प्रत्यक्ष गुणनफल की, संकेतन का उपयोग करके $A_{1}=G,A_{2}=H,$ $f^{A_{1}}=\circ ,\ f^{A_{2}}=\cdot ,\ {\text{ औ र }}f^{A}=\times .$ प्राप्त की जाती है, इसी तरह, अनुखंड के प्रत्यक्ष गुणनफल की परिभाषा यहां सम्मिलित की गई है।

श्रेणीबद्ध गुणनफल

प्रत्यक्ष गुणनफल को एक एकतंत्र श्रेणी सिद्धांत के रूप में समझा जा सकता है। किसी श्रेणी में, $(A_{i})_{i\in I}$ द्वारा अनुक्रमित वस्तुओं का एक संग्रह दिया गया है, जिसका एक गुणनफल ये वस्तुओं सभी के लिए एक वस्तुओं $I$ , इन वस्तुओं का एक गुणनफल एक वस्तु है $A$ एक साथ आकारिता के साथ $p_{i}\colon A\to A_{i}$ सभी के लिए $i\in I$ , ऐसा है कि यदि $B$ आकारिता के साथ कोई $f_{i}\colon B\to A_{i}$ अन्य वस्तु है सभी के लिए $i\in I$ , एक अद्वितीय रूपवाद $B\to A$ उपस्थित है जिसकी रचना के साथ $p_{i}$ बराबरी $f_{i}$ हरएक के लिए $i$ .

ऐसा $A$ तथा $(p_{i})_{i\in I}$ हमेशा उपस्थित नहीं है। यदि वे उपस्थित हैं, तो $(A,(p_{i})_{i\in I})$ समरूपता तक अद्वितीय है, और $A$ निरूपित किया जाता है $\prod _{i\in I}A_{i}$ .

समूहों की श्रेणी के विशेष स्थितियों में, एक गुणनफल हमेशा उपस्थित होता है: का अंतर्निहित समुच्चय $\prod _{i\in I}A_{i}$ के अंतर्निहित समुच्चयों का कार्तीय गुणनफल है $A_{i}$ , समूह संचालन घटकवार गुणन है, और (होमो) रूपवाद $p_{i}\colon A\to A_{i}$ प्रक्षेपण प्रत्येक टपल को उसके $i$ वें समन्वय के पास भेज रहा है।

आंतरिक और बाह्य प्रत्यक्ष गुणनफल

कुछ लेखक आंतरिक प्रत्यक्ष गुणनफल और बाह्य प्रत्यक्ष गुणनफल के बीच अंतर करते हैं। यदि $A,B\subseteq X$ तथा $A\times B\cong X,$ तब हम कहते हैं $X$ का आंतरिक प्रत्यक्ष गुणनफल $A{\text{ औ र }}B,$ है जबकि यदि $A{\text{ औ र }}B$ सबऑब्जेक्ट नहीं हैं तो हम कहते हैं कि यह एक बाहरी प्रत्यक्ष गुणनफल है।

यह भी देखें

प्रत्यक्ष योग
कार्तीय गुणन
सहगुणन
मुफ़्त गुणन
अर्ध-प्रत्यक्ष गुणन
ज़प्पा-स्ज़ेप गुणन
रेखांकन का टेन्सर गुणन
पूरी तरह से ऑर्डर किए गए सेट के कार्टेशियन गुणन पर ऑर्डर

↑ Weisstein, Eric W. "प्रत्यक्ष उत्पाद". mathworld.wolfram.com (in English). Retrieved 2018-02-10.
↑ Weisstein, Eric W. "समूह प्रत्यक्ष उत्पाद". mathworld.wolfram.com (in English). Retrieved 2018-02-10.
↑ "तुल्यता और व्यवस्था" (PDF).
↑ Stanley N. Burris and H.P. Sankappanavar, 1981. A Course in Universal Algebra. Springer-Verlag. ISBN 3-540-90578-2. Here: Def.7.8, p.53 (=p. 67 in pdf file)

संदर्भ

Lang, Serge (2002), Algebra, Graduate Texts in Mathematics, vol. 211 (Revised third ed.), New York: Springer-Verlag, ISBN 978-0-387-95385-4, MR 1878556

[1] Weisstein, Eric W. "प्रत्यक्ष उत्पाद". mathworld.wolfram.com (in English). Retrieved 2018-02-10.

[2] Weisstein, Eric W. "समूह प्रत्यक्ष उत्पाद". mathworld.wolfram.com (in English). Retrieved 2018-02-10.

[3] "तुल्यता और व्यवस्था" (PDF).

[4] Stanley N. Burris and H.P. Sankappanavar, 1981. A Course in Universal Algebra. Springer-Verlag. ISBN 3-540-90578-2. Here: Def.7.8, p.53 (=p. 67 in pdf file)

[1]

[2]

[3]

[4]

@@ Line 1: / Line 1: @@
 {{Short description|Generalization of the Cartesian product}}
-गणित में, अधिकांश पहले से ही ज्ञात वस्तुओं के प्रत्यक्ष उत्पाद को परिभाषित कर, एक नया उत्पाद दे सकते हैं। यह उत्पाद समुच्चय पर उपयुक्त रूप से परिभाषित संरचना के साथ अंतर्निहित [[सेट (गणित)|समुच्चय (गणित)]] के कार्तीय उत्पाद को सामान्यीकृत करता है। अधिक संक्षेप में, कोई [[उत्पाद (श्रेणी सिद्धांत)]] के बारे में बात करता है, जो इन धारणाओं को औपचारिक रूप देता है।
+गणित में, अधिकांश पहले से ही ज्ञात वस्तुओं के प्रत्यक्ष गुणनफल को परिभाषित कर, एक नया गुणनफल दे सकते हैं। यह गुणनफल समुच्चय पर उपयुक्त रूप से परिभाषित संरचना के साथ अंतर्निहित [[सेट (गणित)|समुच्चय (गणित)]] के कार्तीय गुणनफल को सामान्यीकृत करता है। अधिक संक्षेप में, कोई [[उत्पाद (श्रेणी सिद्धांत)|गुणनफल (श्रेणी सिद्धांत)]] के बारे में बात करता है, जो इन धारणाओं को औपचारिक रूप देता है।
-उदाहरण समुच्चय, [[समूह (गणित)]] (नीचे वर्णित), उत्पाद रिंग और अन्य बीजगणितीय संरचनाओं का उत्पाद हैं। [[टोपोलॉजिकल स्पेस]] का [[उत्पाद टोपोलॉजी]] एक और उदाहरण है।{{dubious|date=December 2020}}
+उदाहरण समुच्चय, [[समूह (गणित)]] (नीचे वर्णित), गुणनफल रिंग और अन्य बीजगणितीय संरचनाओं का गुणनफल हैं। [[टोपोलॉजिकल स्पेस]] का [[उत्पाद टोपोलॉजी|गुणनफल टोपोलॉजी]] एक और उदाहरण है।{{dubious|date=December 2020}}
 [[प्रत्यक्ष योग]] भी है - कुछ क्षेत्रों में इसका उपयोग परस्पर विनिमय के लिए किया जाता है, जबकि अन्य में यह एक अलग अवधारणा है।
-== उदाहरण ASHIF ==
+== उदाहरण ==
-*यदि हम विचार करें <math>\R</math> वास्तविक संख्या के समुच्चय के रूप में, फिर प्रत्यक्ष उत्पाद <math>\R \times \R</math> सिर्फ कार्टेशियन उत्पाद है <math>\{(x,y) : x,y \in \R\}.</math>
+*यदि हम <math>\R</math> को वास्तविक संख्या के समुच्चय के रूप में विचार करें, तो प्रत्यक्ष गुणनफल <math>\R \times \R</math> सिर्फ <math>\{(x,y) : x,y \in \R\}.</math>कार्तीय गुणनफल है.
-*यदि हम विचार करें <math>\R</math> जोड़ के तहत वास्तविक संख्याओं के समूह (गणित) के रूप में, फिर प्रत्यक्ष उत्पाद <math>\R\times \R</math> अभी तक है <math>\{(x,y) : x,y \in \R\}</math> इसके अंतर्निहित समुच्चय के रूप में। इसमें और पिछले उदाहरण में यही अंतर है <math>\R \times \R</math> अब एक समूह है, और इसलिए हमें यह भी कहना होगा कि उनके तत्वों को कैसे जोड़ा जाए। यह परिभाषित करके किया जाता है <math>(a,b) + (c,d) = (a+c, b+d).</math>
+*यदि हम <math>\R</math> को जोड़ के अंतर्गत वास्तविक संख्याओं के समूह के रूप में विचार करें, तो प्रत्यक्ष गुणनफल  <math>\R\times \R</math> में अभी भी <math>\{(x,y) : x,y \in \R\}</math> इसके अंतर्निहित समुच्चय के रूप में है। इसमें और पिछले उदाहरण में यही अंतर है कि <math>\R \times \R</math> अब एक समूह है, और इसलिए हमें यह भी कहना होगा कि उनके तत्वों को कैसे जोड़ा जाए। यह <math>(a,b) + (c,d) = (a+c, b+d).</math> परिभाषित करके किया जाता है
-*यदि हम विचार करें <math>\R</math> वास्तविक संख्या के रिंग (गणित) के रूप में, फिर प्रत्यक्ष उत्पाद <math>\R\times \R</math> फिर से है <math>\{(x,y) : x,y \in \R\}</math> इसके अंतर्निहित समुच्चय के रूप में। रिंग संरचना में इसके द्वारा परिभाषित जोड़ होते हैं <math>(a,b) + (c,d) = (a+c, b+d)</math> और गुणन द्वारा परिभाषित <math>(a,b) (c,d) = (ac, bd).</math>
+*यदि हम <math>\R</math> को वास्तविक संख्याओं का वलय मानते हैं, तो प्रत्यक्ष गुणनफल  <math>\R\times \R</math> में फिर से  <math>\{(x,y) : x,y \in \R\}</math> इसके अंतर्निहित समुच्चय के रूप में है। रिंग संरचना में<math>(a,b) + (c,d) = (a+c, b+d)</math> और गुणन द्वारा परिभाषित <math>(a,b) (c,d) = (ac, bd).</math>होता है.
-* हालांकि अंगूठी <math>\R</math> एक क्षेत्र है (गणित), <math>\R \times \R</math> एक नहीं है, क्योंकि तत्व <math>(1,0)</math> गुणनात्मक व्युत्क्रम नहीं है।
+* चूँकि वलय <math>\R</math> एक क्षेत्र है (गणित), <math>\R \times \R</math> एक नहीं है, क्योंकि तत्व <math>(1,0)</math> गुणनात्मक व्युत्क्रम नहीं है।
-इसी तरह, हम बहुत सी बीजगणितीय संरचनाओं के प्रत्यक्ष उत्पाद के बारे में बात कर सकते हैं, उदाहरण के लिए, <math>\R \times \R \times \R \times \R.</math> यह इस तथ्य पर निर्भर करता है कि प्रत्यक्ष उत्पाद समरूपता [[तक]] साहचर्य है। वह है, <math>(A \times B) \times C \cong A \times (B \times C)</math> किसी भी बीजगणितीय संरचना के लिए <math>A,</math> <math>B,</math> तथा <math>C</math> उसी तरह का। प्रत्यक्ष उत्पाद भी तुल्याकारिता तक क्रम[[विनिमेय]] है, अर्थात, <math>A \times B \cong B \times A</math> किसी भी बीजगणितीय संरचना के लिए <math>A</math> तथा <math>B</math> उसी तरह का। हम अपरिमित रूप से अनेक बीजगणितीय संरचनाओं के प्रत्यक्ष गुणनफल के बारे में भी बात कर सकते हैं; उदाहरण के लिए हम अनगिनत अनंत प्रतियों का प्रत्यक्ष उत्पाद ले सकते हैं <math>\mathbb R,</math> जिसे हम लिखते हैं <math>\R \times \R \times \R \times \dotsb.</math>
+इसी तरह, हम बहुत सी बीजगणितीय संरचनाओं के प्रत्यक्ष गुणनफल के बारे में बात कर सकते हैं, उदाहरण के लिए, <math>\R \times \R \times \R \times \R.</math> यह इस तथ्य पर निर्भर करता है कि प्रत्यक्ष गुणनफल समरूपता [[तक]] साहचर्य है। वह है, <math>(A \times B) \times C \cong A \times (B \times C)</math> किसी भी बीजगणितीय संरचना <math>A,</math> <math>B,</math> तथा <math>C</math> के लिए समरूपता तक प्रत्यक्ष गुणनफल भी  है, [[विनिमेय|क्रमविनिमेय]] है, अर्थात, <math>A \times B \cong B \times A</math> किसी भी बीजगणितीय संरचना के लिए <math>A</math> तथा <math>B</math> उसी समान है। हम अपरिमित रूप से अनेक बीजगणितीय संरचनाओं के प्रत्यक्ष गुणनफल के बारे में भी बात कर सकते हैं; उदाहरण के लिए  <math>\mathbb R,</math> की गिनती की कई प्रतियों का प्रत्यक्ष गुणनफल ले सकते हैं, जिसे हम <math>\R \times \R \times \R \times \dotsb.</math> के रूप में लिखते है।
-== समूह प्रत्यक्ष उत्पाद ==
+== समूह प्रत्यक्ष गुणनफल ==
-{{main|Direct product of groups|Direct sum}}
+{{main|समूहों का प्रत्यक्ष उत्पाद|प्रत्यक्ष योग}}
-समूह (गणित) में दो समूहों के प्रत्यक्ष उत्पाद को परिभाषित किया जा सकता है <math>(G, \circ)</math> तथा <math>(H, \cdot),</math> द्वारा चिह्नित <math>G \times H.</math> [[एबेलियन समूह]]ों के लिए जो योगात्मक रूप से लिखे गए हैं, इसे [[समूहों का प्रत्यक्ष योग]] भी कहा जा सकता है, जिसे निरूपित किया जाता है <math>G \oplus H.</math>
+समूह सिद्धांत में दो समूहों <math>(G, \circ)</math> तथा <math>(H, \cdot),</math> द्वारा चिह्नित <math>G \times H.</math>के प्रत्यक्ष गुणनफल को परिभाषित किया जा सकता है  [[एबेलियन समूह|विनिमेय समूहों]] के लिए जो योगात्मक रूप से लिखे गए हैं, इसे [[समूहों का प्रत्यक्ष योग]] भी कहा जा सकता है, जिसे <math>G \oplus H.</math>द्वारा निरूपित किया जाता है
 इसे इस प्रकार परिभाषित किया गया है:
-* नए समूह के तत्वों का समुच्चय (गणित) तत्वों के समुच्चय का कार्टेशियन उत्पाद है <math>G \text{ and } H,</math> वह है <math>\{(g, h) : g \in G, h \in H\};</math>
+* नए समूह के तत्वों का समुच्चय (गणित) <math>G \text{ औ  र } H,</math>तत्वों के समुच्चय का, जो कि <math>\{(g, h) : g \in G, h \in H\};</math>कार्तीय गुणनफल है
-* इन तत्वों पर एक ऑपरेशन डालें, परिभाषित तत्व-वार: <math display="block">(g, h) \times \left(g', h'\right) = \left(g \circ g', h \cdot h'\right)</math>
+* इन तत्वों पर एक ऑपरेशन डालें, परिभाषित के अनुसार तत्व: <math display="block">(g, h) \times \left(g', h'\right) = \left(g \circ g', h \cdot h'\right)</math>
-ध्यान दें कि <math>(G, \circ)</math> के समान हो सकता है <math>(H, \cdot).</math>
+ध्यान दें कि <math>(G, \circ)</math> <math>(H, \cdot).</math> के समान हो सकता है
-यह निर्माण एक नया समूह देता है। इसका एक [[सामान्य उपसमूह]] आइसोमॉर्फिक है <math>G</math> (फॉर्म के तत्वों द्वारा दिया गया <math>(g, 1)</math>), और एक आइसोमॉर्फिक टू <math>H</math> (तत्व शामिल हैं <math>(1, h)</math>).
+यह निर्माण एक नया समूह देता है। इसमें <math>G</math> (फॉर्म के तत्वों द्वारा दिया गया <math>(g, 1)</math>) एक [[सामान्य उपसमूह]] समरूप है, और <math>H</math> (तत्व सम्मिलित हैं <math>(1, h)</math>) के लिये समरूप है।
-उल्टा भी रहता है। निम्नलिखित मान्यता प्रमेय है: यदि एक समूह <math>K</math> दो सामान्य उपसमूह शामिल हैं <math>G \text{ and } H,</math> ऐसा है कि <math>K = GH</math> और का चौराहा <math>G \text{ and } H</math> तब केवल पहचान शामिल है <math>K</math> के लिए आइसोमोर्फिक है <math>G \times H.</math> इन स्थितियों में छूट, सामान्य होने के लिए केवल एक उपसमूह की आवश्यकता होती है, [[अर्ध-प्रत्यक्ष उत्पाद]] देता है।
+व्युत्क्रम भी रहता है। निम्नलिखित मान्यता प्रमेय है: यदि एक समूह <math>K</math> दो सामान्य उपसमूह <math>G \text{ औ  र } H,</math> सम्मिलित हैं, जैसे कि <math>K = GH</math> और <math>G \text{ औ  र } H</math> के प्रतिच्छेदन में केवल पहचान होती है, तब  <math>K</math> के लिए  <math>G \times H.</math> समरूप है। इन स्थितियों में छूट, सामान्य होने के लिए केवल एक उपसमूह की आवश्यकता होती है,जो [[अर्ध-प्रत्यक्ष उत्पाद|अर्ध-प्रत्यक्ष गुणनफल]] देता है।
-उदाहरण के रूप में लें <math>G \text{ and } H</math> क्रम 2 के अद्वितीय (समरूपता तक) समूह की दो प्रतियाँ, <math>C^2:</math> कहो <math>\{1, a\} \text{ and } \{1, b\}.</math> फिर <math>C_2 \times C_2 = \{(1,1), (1,b), (a,1), (a,b)\},</math> ऑपरेशन तत्व के साथ तत्व द्वारा। उदाहरण के लिए, <math>(1,b)^* (a,1) = \left(1^* a, b^* 1\right) = (a, b),</math> तथा<math>(1,b)^* (1, b) = \left(1, b^2\right) = (1, 1).</math> एक प्रत्यक्ष उत्पाद के साथ, हमें कुछ प्राकृतिक [[समूह समरूपता]] मुफ्त में मिलती है: द्वारा परिभाषित प्रक्षेपण मानचित्र
+उदाहरण के रूप में  <math>G \text{ औ  र } H</math> क्रम 2 के अद्वितीय (समरूपता तक) समूह की दो प्रतियाँ <math>\{1, a\} \text{ औ  र } \{1, b\}.</math> लें, जिसे <math>C^2</math>कहते है। फिर <math>C_2 \times C_2 = \{(1,1), (1,b), (a,1), (a,b)\},</math> ऑपरेशन तत्व के साथ तत्व द्वारा । उदाहरण के लिए, <math>(1,b)^* (a,1) = \left(1^* a, b^* 1\right) = (a, b),</math> तथा<math>(1,b)^* (1, b) = \left(1, b^2\right) = (1, 1).</math> एक प्रत्यक्ष गुणनफल के साथ, हमें कुछ प्राकृतिक [[समूह समरूपता]] मुफ्त में मिलती है: द्वारा परिभाषित प्रक्षेपण मानचित्र
-<math display=block>\begin{align}
+<math display="block">\begin{align}
    \pi_1: G \times H \to G, \ \ \pi_1(g, h) &= g \\
    \pi_2: G \times H \to H, \ \ \pi_2(g, h) &= h
 \end{align}</math>
-समन्वय कार्य कहलाते हैं।
+समन्वय फलन कहलाते हैं।
+इसके अतिरिक्त, हर समरूपता <math>f</math> प्रत्यक्ष गुणनफल के लिए पूरी तरह से इसके <math>f_i = \pi_i \circ f.</math>घटक फलनों द्वारा निर्धारित किया जाता है
-इसके अलावा, हर समरूपता <math>f</math> प्रत्यक्ष उत्पाद के लिए पूरी तरह से इसके घटक कार्यों द्वारा निर्धारित किया जाता है <math>f_i = \pi_i \circ f.</math>
+किसी भी समूह के लिए <math>(G, \circ)</math> और कोई पूर्णांक <math>n \geq 0,</math> प्रत्यक्ष गुणनफल का बार-बार उपयोग <math>n</math>-टुपल्स  <math>G^n</math> सभी के समूह को देता है ( <math>n = 0,</math> के लिये यह [[तुच्छ समूह]] है), उदाहरण के लिए <math>\Z^n</math> तथा <math>\R^n.</math>
-किसी भी समूह के लिए <math>(G, \circ)</math> और कोई पूर्णांक <math>n \geq 0,</math> प्रत्यक्ष उत्पाद का बार-बार उपयोग सभी के समूह को देता है <math>n</math>-टुपल्स  <math>G^n</math> (के लिये <math>n = 0,</math> यह [[तुच्छ समूह]] है), उदाहरण के लिए <math>\Z^n</math> तथा <math>\R^n.</math>
-== मॉड्यूल का प्रत्यक्ष उत्पाद ==
-[[मॉड्यूल (गणित)]] के लिए प्रत्यक्ष उत्पाद (मॉड्यूल के टेन्सर उत्पाद के साथ भ्रमित नहीं होना) ऊपर दिए गए समूहों के लिए परिभाषित एक के समान है, कार्टेशियन उत्पाद का उपयोग घटक के अतिरिक्त होने के संचालन के साथ होता है, और स्केलर गुणा बस वितरण करता है सभी घटक। से शुरू <math>\R</math> हमें [[यूक्लिडियन अंतरिक्ष]] मिलता है <math>\R^n,</math> एक वास्तविक का प्रोटोटाइपिकल उदाहरण <math>n</math>-आयामी वेक्टर अंतरिक्ष। का प्रत्यक्ष उत्पाद <math>\R^m</math> तथा <math>\R^n</math> है <math>\R^{m+n}.</math>
-ध्यान दें कि परिमित सूचकांक के लिए प्रत्यक्ष उत्पाद <math display="inline">\prod_{i=1}^n X_i</math> मॉड्यूल के प्रत्यक्ष योग के लिए कैनोनिक रूप से आइसोमोर्फिक है <math display="inline">\bigoplus_{i=1}^n X_i.</math> प्रत्यक्ष योग और प्रत्यक्ष उत्पाद अनंत सूचकांकों के लिए समरूप नहीं हैं, जहां प्रत्यक्ष योग के तत्व सभी के लिए शून्य हैं, लेकिन प्रविष्टियों की एक सीमित संख्या के लिए। वे [[श्रेणी सिद्धांत]] के अर्थ में दोहरे हैं: प्रत्यक्ष योग प्रतिफल है, जबकि प्रत्यक्ष उत्पाद उत्पाद है।
-उदाहरण के लिए विचार करें <math display="inline">X = \prod_{i=1}^\infty \R</math> तथा <math display="inline">Y = \bigoplus_{i=1}^\infty \R,</math> अनंत प्रत्यक्ष उत्पाद और वास्तविक संख्याओं का प्रत्यक्ष योग। केवल गैर-शून्य तत्वों की परिमित संख्या वाले अनुक्रम ही अंदर हैं <math>Y.</math> उदाहरण के लिए, <math>(1, 0, 0, 0, \ldots)</math> में है <math>Y</math> लेकिन <math>(1, 1, 1, 1, \ldots)</math> नहीं है। ये दोनों क्रम प्रत्यक्ष उत्पाद में हैं <math>X;</math> असल में, <math>Y</math> का उचित उपसमुच्चय है <math>X</math> (वह है, <math>Y \subset X</math>).<ref>{{Cite web|url=http://mathworld.wolfram.com/DirectProduct.html|title=प्रत्यक्ष उत्पाद| last = Weisstein | first = Eric W.|website=mathworld.wolfram.com|language=en|access-date=2018-02-10}}</ref><ref>{{Cite web |url=http://mathworld.wolfram.com/GroupDirectProduct.html|title=समूह प्रत्यक्ष उत्पाद| last = Weisstein | first = Eric W.| website=mathworld.wolfram.com | language=en|access-date=2018-02-10}}</ref>
+== अनुखंड का प्रत्यक्ष गुणनफल ==
+[[मॉड्यूल (गणित)|अनुखंड (गणित)]] के लिए प्रत्यक्ष गुणनफल (टेंसर गुणनफल के साथ भ्रमित नहीं होना) ऊपर दिए गए समूहों के लिए परिभाषित एक के समान है, कार्तीय गुणनफल का उपयोग घटक के रूप में जोड़ने के संचालन के साथ होता है, और स्केलर गुणा सिर्फ सभी घटकों पर वितरित होता है।  <math>\R</math> से प्रारंभ होकर हमें [[यूक्लिडियन अंतरिक्ष]] मिलता है <math>\R^n</math>  प्रोटोटाइपिकल एक वास्तविक  <math>n</math>-आयामी सदिश अंतरिक्ष का उदाहरण है।  <math>\R^m</math> तथा <math>\R^n</math> का <math>\R^{m+n}</math> प्रत्यक्ष गुणनफल है
+ध्यान दें कि परिमित सूचकांक के लिए प्रत्यक्ष गुणनफल <math display="inline">\prod_{i=1}^n X_i</math> अनुखंड के प्रत्यक्ष योग के लिए कैनोनिक रूप से  <math display="inline">\bigoplus_{i=1}^n X_i</math> समरूप है, प्रत्यक्ष योग और प्रत्यक्ष गुणनफल अनंत सूचकांकों के लिए समरूप नहीं हैं, जहां प्रत्यक्ष योग के तत्व सभी के लिए शून्य हैं, लेकिन प्रविष्टियों की एक सीमित संख्या के लिए। वे [[श्रेणी सिद्धांत]] के अर्थ में दोहरे हैं: प्रत्यक्ष योग प्रतिफल है, जबकि प्रत्यक्ष गुणनफल गुणनफल है।
-== टोपोलॉजिकल स्पेस डायरेक्ट प्रोडक्ट ==
+उदाहरण के लिए  <math display="inline">X = \prod_{i=1}^\infty \R</math> तथा <math display="inline">Y = \bigoplus_{i=1}^\infty \R,</math> अनंत प्रत्यक्ष गुणनफल और वास्तविक संख्याओं का प्रत्यक्ष योग  पर विचार करें। केवल गैर-शून्य तत्वों की परिमित संख्या वाले अनुक्रम  <math>Y</math> में हैं, उदाहरण के लिए, <math>(1, 0, 0, 0, \ldots)</math> <math>Y</math> में है लेकिन <math>(1, 1, 1, 1, \ldots)</math> नहीं है। ये दोनों क्रम प्रत्यक्ष गुणनफल  <math>X;</math> में हैं वास्तविक में, <math>Y</math> <math>X</math> का उचित उपसमुच्चय है (वह है, <math>Y \subset X</math>).<ref>{{Cite web|url=http://mathworld.wolfram.com/DirectProduct.html|title=प्रत्यक्ष उत्पाद| last = Weisstein | first = Eric W.|website=mathworld.wolfram.com|language=en|access-date=2018-02-10}}</ref><ref>{{Cite web |url=http://mathworld.wolfram.com/GroupDirectProduct.html|title=समूह प्रत्यक्ष उत्पाद| last = Weisstein | first = Eric W.| website=mathworld.wolfram.com | language=en|access-date=2018-02-10}}</ref>
-टोपोलॉजिकल रिक्त स्थान के संग्रह के लिए प्रत्यक्ष उत्पाद <math>X_i</math> के लिये <math>i</math> में <math>I,</math> कुछ इंडेक्स समुच्चय, एक बार फिर कार्टेशियन उत्पाद का उपयोग करता है
+== टोपोलॉजिकल स्पेस प्रत्यक्ष गुणनफल ==
+टोपोलॉजिकल रिक्त स्थान के संग्रह के लिए प्रत्यक्ष गुणनफल <math>X_i</math> के लिये <math>i</math> में <math>I,</math> कुछ सूचकांक समुच्चय, एक बार फिर कार्तीय गुणनफल का उपयोग करता है
 <math display=block>\prod_{i \in I} X_i.</math>
-[[टोपोलॉजी]] को परिभाषित करना थोड़ा मुश्किल है। सूक्ष्म रूप से कई कारकों के लिए, यह करने के लिए स्पष्ट और स्वाभाविक बात है: प्रत्येक कारक से खुले उपसमुच्चय के सभी कार्टेशियन उत्पादों का संग्रह होने के लिए बस खुले समुच्चय के [[आधार (टोपोलॉजी)]] के रूप में लें:
+[[टोपोलॉजी]] को परिभाषित करना थोड़ा मुश्किल है। बहुत से कारकों के लिए, यह स्पष्ट और स्वाभाविक बात है: प्रत्येक कारक से खुले उपसमुच्चय के सभी कार्तीय गुणनफलों का संग्रह होने के लिए बस खुले समुच्चय के [[आधार (टोपोलॉजी)]] के रूप में लें:
 <math display=block>\mathcal B = \left\{U_1 \times \cdots \times U_n\ : \ U_i\ \mathrm{open\ in}\ X_i\right\}.</math>
-इस टोपोलॉजी को उत्पाद टोपोलॉजी कहा जाता है। उदाहरण के लिए, सीधे उत्पाद टोपोलॉजी को परिभाषित करना <math>\R^2</math> के खुले समुच्चय द्वारा <math>\R</math> (खुले अंतरालों के संघों को अलग करना), इस टोपोलॉजी के आधार में विमान में खुले आयतों के सभी अलग-अलग संघ शामिल होंगे (जैसा कि यह पता चला है, यह सामान्य मीट्रिक अंतरिक्ष टोपोलॉजी के साथ मेल खाता है)।
+इस टोपोलॉजी को गुणनफल टोपोलॉजी कहा जाता है। उदाहरण के लिए, <math>\R^2</math> पर <math>\R</math> के खुले समुच्चय द्वारा गुणनफल टोपोलॉजी को सीधे परिभाषित किया जाता है (खुले के यूनियनों को अलग करना) अंतराल), इस टोपोलॉजी के आधार में समतल (जैसा कि यह निकला, यह सामान्य मीट्रिक टोपोलॉजी के साथ मेल खाता है) में खुले आयतों के सभी असंबद्ध संघ सम्मिलित होंगे।
-अनंत उत्पादों के लिए उत्पाद टोपोलॉजी में एक मोड़ है, और इसका संबंध सभी प्रक्षेपण मानचित्रों को निरंतर बनाने और उत्पाद में सभी कार्यों को निरंतर बनाने में सक्षम होना है, यदि और केवल तभी इसके सभी घटक कार्य निरंतर हैं (अर्थात, संतुष्ट करने के लिए) उत्पाद की श्रेणीबद्ध परिभाषा: यहां आकारिकरण निरंतर कार्य हैं): हम खुले समुच्चय के आधार के रूप में प्रत्येक कारक से खुले उपसमुच्चय के सभी कार्टेशियन उत्पादों का संग्रह होने के रूप में लेते हैं, पहले की तरह, अनंतिम रूप से सभी लेकिन बहुत से खुले उपसमुच्चय संपूर्ण कारक हैं:
+अनंत गुणनफलों के लिए गुणनफल टोपोलॉजी में एक मोड़ है, और यह सभी प्रक्षेपण मानचित्रों को निरंतर बनाने में सक्षम होने और गुणनफल में सभी कार्यों को निरंतर बनाने के लिए और केवल यदि इसके सभी घटक कार्य निरंतर हैं (अर्थात संतुष्ट करने के लिए) गुणनफल की श्रेणीबद्ध परिभाषा: यहाँ आकारिकी निरंतर कार्य हैं): हम खुले सेट के आधार के रूप में प्रत्येक कारक से खुले उपसमुच्चय के सभी कार्तीय गुणनफलों के संग्रह के रूप में लेते हैं, पहले की तरह, अनंतिम के साथ सभी लेकिन बहुत से खुले उपसमुच्चय संपूर्ण कारक हैं:
 <math display=block>\mathcal B = \left\{ \prod_{i \in I} U_i\ : \ (\exists j_1,\ldots,j_n)(U_{j_i}\ \mathrm{open\ in}\ X_{j_i})\ \mathrm{and}\ (\forall i \neq j_1,\ldots,j_n)(U_i = X_i) \right\}.</math>
-अधिक प्राकृतिक लगने वाली टोपोलॉजी, इस मामले में, पहले की तरह असीम रूप से कई खुले उपसमुच्चय के उत्पादों को लेने के लिए होगी, और यह कुछ हद तक दिलचस्प टोपोलॉजी, [[बॉक्स टोपोलॉजी]] का उत्पादन करती है। हालाँकि निरंतर घटक कार्यों के समूह का एक उदाहरण खोजना बहुत मुश्किल नहीं है जिसका उत्पाद कार्य निरंतर नहीं है (उदाहरण के लिए अलग प्रविष्टि बॉक्स टोपोलॉजी देखें और अधिक)। समस्या जो मोड़ को आवश्यक बनाती है, अंततः इस तथ्य में निहित है कि खुले समुच्चयों का प्रतिच्छेदन केवल टोपोलॉजी की परिभाषा में बहुत से समुच्चयों के लिए खुला होने की गारंटी है।
+अधिक प्राकृतिक लगने वाली टोपोलॉजी, इस स्थितियों में, पहले की तरह असीम रूप से कई खुले उपसमुच्चय के गुणनफलों को लेने के लिए होगी, और यह कुछ हद तक महत्व टोपोलॉजी, [[बॉक्स टोपोलॉजी]] का गुणनफलन करती है। चूँकि निरंतर घटक कार्यों के समूह का एक उदाहरण खोजना बहुत मुश्किल नहीं है जिसका गुणनफल कार्य निरंतर नहीं है (उदाहरण के लिए अलग प्रविष्टि बॉक्स टोपोलॉजी देखें और अधिक)। समस्या जो मोड़ को आवश्यक बनाती है, अंततः इस तथ्य में निहित है कि खुले समुच्चयों का प्रतिच्छेदन केवल टोपोलॉजी की परिभाषा में बहुत से समुच्चयों के लिए खुला होने की गारंटी है।
-उत्पाद (उत्पाद टोपोलॉजी के साथ) अपने कारकों के गुणों को संरक्षित करने के संबंध में अच्छे हैं; उदाहरण के लिए, हॉसडॉर्फ स्पेस का उत्पाद हॉसडॉर्फ है; कनेक्टेड रिक्त स्थान का उत्पाद जुड़ा हुआ है, और कॉम्पैक्ट स्पेस का उत्पाद कॉम्पैक्ट है। वह आखिरी वाला, जिसे टाइकोनॉफ प्रमेय कहा जाता है, अभी तक पसंद के स्वयंसिद्ध के लिए एक और समानता है।
+गुणनफल (गुणनफल टोपोलॉजी के साथ) अपने कारकों के गुणों को संरक्षित करने के संबंध में अच्छे हैं; उदाहरण के लिए, हॉसडॉर्फ स्पेस का गुणनफल हॉसडॉर्फ है; सम्बद्ध रिक्त स्थान का गुणनफल जुड़ा हुआ है, और सघन स्पेस का गुणनफल सघन है। वह अंतिम वाला, जिसे टाइकोनॉफ प्रमेय कहा जाता है, अभी तक पसंद के स्वयंसिद्ध के लिए एक और समानता है।
-अधिक गुणों और समतुल्य योगों के लिए, अलग प्रविष्टि उत्पाद टोपोलॉजी देखें।
+अधिक गुणों और समतुल्य योगों के लिए, अलग प्रविष्टि गुणनफल टोपोलॉजी देखें।
-== [[द्विआधारी संबंध]]ों का प्रत्यक्ष उत्पाद ==
+== [[द्विआधारी संबंध|द्विआधारी संबंधों]] का प्रत्यक्ष गुणनफल ==
-द्विआधारी संबंधों के साथ दो समुच्चयों के कार्टेशियन उत्पाद पर <math>R \text{ and } S,</math> परिभाषित करना <math>(a, b) T (c, d)</math> जैसा <math>a R c \text{ and } b S d.</math> यदि <math>R \text{ and } S</math> [[प्रतिवर्त संबंध]], [[अविचलित संबंध]], [[सकर्मक संबंध]], [[सममित संबंध]] या [[एंटीसिमेट्रिक संबंध]] दोनों हैं, तो <math>T</math> भी होगा।<ref>{{cite web| url = http://cr.yp.to/2005-261/bender1/EO.pdf| title = तुल्यता और व्यवस्था}}</ref> इसी प्रकार, का [[कुल संबंध]] <math>T</math> से विरासत में मिला है <math>R \text{ and } S.</math> गुणों का संयोजन यह इस प्रकार है कि यह एक [[पूर्व आदेश]] होने और समकक्ष संबंध होने के लिए भी लागू होता है। हालांकि, यदि <math>R \text{ and } S</math> जुड़े हुए रिश्ते हैं, <math>T</math> कनेक्ट होने की आवश्यकता नहीं है; उदाहरण के लिए, का प्रत्यक्ष उत्पाद <math>\,\leq\,</math> पर <math>\N</math> स्वयं से संबंध नहीं रखता <math>(1, 2) \text{ and } (2, 1).</math>
+द्विआधारी संबंधों के साथ दो समुच्चयों के कार्तीय गुणनफल पर <math>R \text{ औ  र } S,</math> <math>(a, b) T (c, d)</math>  परिभाषित करें जैसा <math>a R c \text{ औ  र } b S d.</math> यदि <math>R \text{ औ  र } S</math> [[प्रतिवर्त संबंध]], [[अविचलित संबंध]], [[सकर्मक संबंध]], [[सममित संबंध]] या [[एंटीसिमेट्रिक संबंध]] दोनों हैं, तो <math>T</math> भी होगा।<ref>{{cite web| url = http://cr.yp.to/2005-261/bender1/EO.pdf| title = तुल्यता और व्यवस्था}}</ref> इसी प्रकार, <math>T</math> की [[कुल संबंध]] <math>R \text{ औ  र } S.</math>से विरासत में मिला है गुणों का संयोजन यह इस प्रकार है कि यह एक [[पूर्व आदेश]] होने और समकक्ष संबंध होने के लिए भी लागू होता है। चूँकि, यदि <math>R \text{ औ  र } S</math> जुड़े हुए संबंध हैं, <math>T</math> को जोड़ने की आवश्यकता नहीं है; उदाहरण के लिए; उदाहरण के लिए, <math>\,\leq\,</math> पर <math>\N</math> का प्रत्यक्ष गुणनफल <math>(1, 2) \text{ औ  र } (2, 1).</math>स्वयं से संबंधित नहीं है
-== सार्वभौमिक बीजगणित == में प्रत्यक्ष उत्पाद
-यदि <math>\Sigma</math> एक निश्चित [[हस्ताक्षर (तर्क)]] है, <math>I</math> एक मनमाना (संभवतः अनंत) इंडेक्स समुच्चय है, और <math>\left(\mathbf{A}_i\right)_{i \in I}</math> का एक [[अनुक्रमित परिवार]] है <math>\Sigma</math> बीजगणित, प्रत्यक्ष उत्पाद <math display="inline">\mathbf{A} = \prod_{i \in I} \mathbf{A}_i</math> एक है <math>\Sigma</math> बीजगणित को इस प्रकार परिभाषित किया गया है:
-* ब्रह्मांड समुच्चय <math>A</math> का <math>\mathbf{A}</math> ब्रह्मांड समुच्चय का कार्टेशियन उत्पाद है <math>A_i</math> का <math>\mathbf{A}_i,</math> औपचारिक रूप से: <math display="inline">A = \prod_{i \in I} A_i.</math>
+'''सार्वभौमिक बीजगणित में प्रत्यक्ष गुणनफल'''
+यदि <math>\Sigma</math> एक निश्चित [[हस्ताक्षर (तर्क)]] है, <math>I</math> एक एकतंत्र (संभवतः अनंत) सूचकांक समुच्चय है, और <math>\left(\mathbf{A}_i\right)_{i \in I}</math> का एक [[अनुक्रमित परिवार]] है <math>\Sigma</math> बीजगणित, प्रत्यक्ष गुणनफल <math display="inline">\mathbf{A} = \prod_{i \in I} \mathbf{A}_i</math> एक है <math>\Sigma</math> बीजगणित को इस प्रकार परिभाषित किया गया है:
+* <math>A</math> का ब्रह्मांड समुच्चय <math>\mathbf{A}</math> ब्रह्मांड समुच्चय <math>A_i</math> का <math>\mathbf{A}_i</math>का कार्तीय गुणनफल है  औपचारिक रूप से: <math display="inline">A = \prod_{i \in I} A_i.</math>
 * प्रत्येक के लिए <math>n</math> और प्रत्येक <math>n</math>-और ऑपरेशन प्रतीक <math>f \in \Sigma,</math> इसकी व्याख्या <math>f^{\mathbf{A}}</math> में <math>\mathbf{A}</math> घटकवार, औपचारिक रूप से परिभाषित किया गया है: सभी के लिए <math>a_1, \dotsc, a_n \in A</math> और प्रत्येक <math>i \in I,</math>  <math>i</math>वें घटक <math>f^{\mathbf{A}}\!\left(a_1, \dotsc, a_n\right)</math> की तरह परिभाषित किया गया है <math>f^{\mathbf{A}_i}\!\left(a_1(i), \dotsc, a_n(i)\right).</math> प्रत्येक के लिए <math>i \in I,</math>  <math>i</math>वें प्रक्षेपण <math>\pi_i : A \to A_i</math> द्वारा परिभाषित किया गया है <math>\pi_i(a) = a(i).</math> यह के बीच एक [[विशेषण समरूपता]] है <math>\Sigma</math> अल्जेब्रास <math>\mathbf{A} \text{ and } \mathbf{A}_i.</math><ref>Stanley N. Burris and H.P. Sankappanavar, 1981. ''[http://www.thoralf.uwaterloo.ca/htdocs/ualg.html A Course in Universal Algebra.]''  Springer-Verlag. {{ISBN|3-540-90578-2}}. Here: Def.7.8, p.53 (=p. 67 in pdf file)</ref>
-एक विशेष मामले के रूप में, यदि index <math>I = \{1, 2\},</math> दो का प्रत्यक्ष उत्पाद <math>\Sigma</math> अल्जेब्रास <math>\mathbf{A}_1 \text{ and } \mathbf{A}_2</math> प्राप्त होता है, के रूप में लिखा जाता है <math>\mathbf{A} = \mathbf{A}_1 \times \mathbf{A}_2.</math> यदि <math>\Sigma</math> केवल एक बाइनरी ऑपरेशन होता है <math>f,</math> #समूह प्रत्यक्ष उत्पाद की परिभाषा, समूहों के प्रत्यक्ष उत्पाद की, संकेतन का उपयोग करके प्राप्त की जाती है <math>A_1 = G, A_2 = H,</math> <math>f^{A_1} = \circ, \ f^{A_2} = \cdot, \ \text{ and } f^A = \times.</math> इसी तरह, मॉड्यूल के प्रत्यक्ष उत्पाद की परिभाषा यहां सम्मिलित की गई है।
+एक विशेष स्थितियों के रूप में, यदि index <math>I = \{1, 2\},</math> दो का प्रत्यक्ष गुणनफल <math>\Sigma</math> बीजगणित <math>\mathbf{A}_1 \text{ औ  र } \mathbf{A}_2</math> प्राप्त होता है, <math>\mathbf{A} = \mathbf{A}_1 \times \mathbf{A}_2</math> के रूप में लिखा जाता है  यदि <math>\Sigma</math> केवल एक बाइनरी ऑपरेशन होता है <math>f,</math> समूह प्रत्यक्ष गुणनफल की परिभाषा, समूहों के प्रत्यक्ष गुणनफल की, संकेतन का उपयोग करके <math>A_1 = G, A_2 = H,</math> <math>f^{A_1} = \circ, \ f^{A_2} = \cdot, \ \text{ औ  र } f^A = \times.</math> प्राप्त की जाती है, इसी तरह, अनुखंड के प्रत्यक्ष गुणनफल की परिभाषा यहां सम्मिलित की गई है।
+== श्रेणीबद्ध गुणनफल ==
+{{Main|उत्पाद (श्रेणी सिद्धांत)}}
+प्रत्यक्ष गुणनफल को एक एकतंत्र श्रेणी सिद्धांत के रूप में समझा जा सकता है। किसी श्रेणी में, <math>(A_i)_{i \in I}</math> द्वारा अनुक्रमित वस्तुओं का एक संग्रह दिया गया है, जिसका एक गुणनफल ये वस्तुओं सभी के लिए एक वस्तुओं  <math>I</math>, इन वस्तुओं का एक गुणनफल एक वस्तु है <math>A</math> एक साथ [[morphism|आकारिता]] के साथ <math>p_i \colon A \to A_i</math> सभी के लिए <math>i \in I</math>, ऐसा है कि यदि <math>B</math> आकारिता के साथ कोई <math>f_i \colon B \to A_i</math>अन्य वस्तु है सभी के लिए <math>i \in I</math>, एक अद्वितीय रूपवाद <math>B \to A</math> उपस्थित है जिसकी रचना के साथ <math>p_i</math> बराबरी <math>f_i</math> हरएक के लिए <math>i</math>.
-== श्रेणीबद्ध उत्पाद ==
+<!-- this is easier to visualize as a [[commutative diagram]]; eventually somebody should insert a relevant diagram for the categorical product here! -->ऐसा <math>A</math> तथा <math>(p_i)_{i \in I}</math> हमेशा उपस्थित नहीं है। यदि वे उपस्थित हैं, तो <math>(A,(p_i)_{i \in I})</math> समरूपता तक अद्वितीय है, और <math>A</math> निरूपित किया जाता है <math>\prod_{i \in I} A_i</math>.
-{{Main|Product (category theory)}}
-प्रत्यक्ष उत्पाद को एक मनमाना श्रेणी सिद्धांत के रूप में समझा जा सकता है। किसी श्रेणी में, वस्तुओं का संग्रह दिया गया है <math>(A_i)_{i \in I}</math> एक समुच्चय द्वारा अनुक्रमित <math>I</math>, इन वस्तुओं का एक उत्पाद एक वस्तु है <math>A</math> एक साथ [[morphism]]s के साथ <math>p_i \colon A \to A_i</math> सभी के लिए <math>i \in I</math>, ऐसा है कि अगर <math>B</math> morphisms के साथ कोई अन्य वस्तु है <math>f_i \colon B \to A_i</math> सभी के लिए <math>i \in I</math>, एक अद्वितीय रूपवाद मौजूद है <math>B \to A</math> जिसकी रचना के साथ <math>p_i</math> बराबरी <math>f_i</math> हरएक के लिए <math>i</math>.
-  <!-- this is easier to visualize as a [[commutative diagram]]; eventually somebody should insert a relevant diagram for the categorical product here! -->
-ऐसा <math>A</math> तथा <math>(p_i)_{i \in I}</math> हमेशा मौजूद नहीं है। यदि वे मौजूद हैं, तो <math>(A,(p_i)_{i \in I})</math> समरूपता तक अद्वितीय है, और <math>A</math> निरूपित किया जाता है <math>\prod_{i \in I} A_i</math>.
-समूहों की श्रेणी के विशेष मामले में, एक उत्पाद हमेशा मौजूद होता है: का अंतर्निहित समुच्चय <math>\prod_{i \in I} A_i</math> के अंतर्निहित समुच्चयों का कार्टेशियन उत्पाद है <math>A_i</math>, समूह संचालन घटकवार गुणन है, और (होमो) रूपवाद <math>p_i \colon A \to A_i</math> प्रक्षेपण प्रत्येक टपल को इसके पास भेज रहा है <math>i</math>वें समन्वय।
+समूहों की श्रेणी के विशेष स्थितियों में, एक गुणनफल हमेशा उपस्थित होता है: का अंतर्निहित समुच्चय <math>\prod_{i \in I} A_i</math> के अंतर्निहित समुच्चयों का कार्तीय गुणनफल है <math>A_i</math>, समूह संचालन घटकवार गुणन है, और (होमो) रूपवाद <math>p_i \colon A \to A_i</math> प्रक्षेपण प्रत्येक टपल को उसके <math>i</math>वें समन्वय के पास भेज रहा है।
-== आंतरिक और बाह्य प्रत्यक्ष उत्पाद ==
+== आंतरिक और बाह्य प्रत्यक्ष गुणनफल ==
 <!-- linked from [[Internal direct product]] and [[External direct product]] -->
-{{see also|Internal direct sum}}
+{{see also|आंतरिक प्रत्यक्ष योग}}
-कुछ लेखक आंतरिक प्रत्यक्ष उत्पाद और बाह्य प्रत्यक्ष उत्पाद के बीच अंतर करते हैं। यदि <math>A, B \subseteq X</math> तथा <math>A \times B \cong X,</math> तब हम कहते हैं <math>X</math> का आंतरिक प्रत्यक्ष उत्पाद है <math>A \text{ and } B,</math> जबकि अगर <math>A \text{ and } B</math> सबऑब्जेक्ट नहीं हैं तो हम कहते हैं कि यह एक बाहरी प्रत्यक्ष उत्पाद है।
+कुछ लेखक आंतरिक प्रत्यक्ष गुणनफल और बाह्य प्रत्यक्ष गुणनफल के बीच अंतर करते हैं। यदि <math>A, B \subseteq X</math> तथा <math>A \times B \cong X,</math> तब हम कहते हैं <math>X</math> का आंतरिक प्रत्यक्ष गुणनफल <math>A \text{ औ  र } B,</math> है जबकि यदि <math>A \text{ औ  र } B</math> सबऑब्जेक्ट नहीं हैं तो हम कहते हैं कि यह एक बाहरी प्रत्यक्ष गुणनफल है।
 == यह भी देखें ==
-* {{annotated link|Direct sum}}
+* प्रत्यक्ष योग
-* {{annotated link|Cartesian product}}
+* कार्तीय गुणन
-* {{annotated link|Coproduct}}
+* सहगुणन
-* {{annotated link|Free product}}
+* मुफ़्त गुणन
-* {{annotated link|Semidirect product}}
+* अर्ध-प्रत्यक्ष गुणन
-* {{annotated link|Zappa–Szep product}}
+* ज़प्पा-स्ज़ेप गुणन
-* {{annotated link|Tensor product of graphs}}
+* रेखांकन का टेन्सर गुणन
-* {{annotated link|Total order#Orders on the Cartesian product of totally ordered sets|Orders on the Cartesian product of totally ordered sets}}
+* पूरी तरह से ऑर्डर किए गए सेट के कार्टेशियन गुणन पर ऑर्डर
@@ Line 102: / Line 113: @@
-==इस पेज में लापता आंतरिक लिंक की सूची==
-*कार्तीय गुणन
-*उत्पाद की अंगूठी
-*बीजगणितीय संरचनाएं
-*अंक शास्त्र
-*अंगूठी (गणित)
-*क्षेत्र (गणित)
-*गुणात्मक प्रतिलोम
-*जोड़नेवाला
-*समाकृतिकता
-*गणनीय रूप से अनंत
-*टपल
-*मॉड्यूल का टेंसर उत्पाद
-*मॉड्यूल का प्रत्यक्ष योग
-*सहउत्पाद
-*मीट्रिक स्थान
-*पसंद का स्वयंसिद्ध
-*तुल्यता संबंध
-*जुड़ा हुआ संबंध
 ==संदर्भ==
 * {{Lang Algebra}}
-{{DEFAULTSORT:Direct Product}}[[Category:सार बीजगणित]]
+{{DEFAULTSORT:Direct Product}}
 [[hi:प्रत्यक्ष उत्पाद#समूहों का प्रत्यक्ष उत्पाद]]
+[[Category:All accuracy disputes|Direct Product]]
-[[Category: Machine Translated Page]]
+[[Category:Articles with disputed statements from December 2020|Direct Product]]
-[[Category:Created On 30/11/2022]]
+[[Category:Articles with hatnote templates targeting a nonexistent page|Direct Product]]
+[[Category:Articles with invalid date parameter in template|Direct Product]]
+[[Category:Articles with short description|Direct Product]]
+[[Category:CS1 English-language sources (en)]]
+[[Category:CS1 français-language sources (fr)]]
+[[Category:CS1 maint]]
+[[Category:CS1 Ελληνικά-language sources (el)]]
+[[Category:Citation Style 1 templates|W]]
+[[Category:Collapse templates]]
+[[Category:Created On 30/11/2022|Direct Product]]
+[[Category:Machine Translated Page|Direct Product]]
+[[Category:Navigational boxes| ]]
+[[Category:Navigational boxes without horizontal lists]]
+[[Category:Pages with script errors|Direct Product]]
+[[Category:Short description with empty Wikidata description|Direct Product]]
+[[Category:Sidebars with styles needing conversion]]
+[[Category:Template documentation pages|Documentation/doc]]
+[[Category:Templates Vigyan Ready|Direct Product]]
+[[Category:Templates based on the Citation/CS1 Lua module]]
+[[Category:Templates generating COinS|Cite web]]
+[[Category:Templates generating microformats]]
+[[Category:Templates that are not mobile friendly]]
+[[Category:Templates used by AutoWikiBrowser|Cite web]]
+[[Category:Templates using TemplateData]]
+[[Category:Wikipedia fully protected templates|Cite web]]
+[[Category:Wikipedia metatemplates]]
+[[Category:सार बीजगणित|Direct Product]]

Anonymous

Search

प्रत्यक्ष गुणनफल: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 15:10, 26 December 2022

Contents

उदाहरण

समूह प्रत्यक्ष गुणनफल

अनुखंड का प्रत्यक्ष गुणनफल

टोपोलॉजिकल स्पेस प्रत्यक्ष गुणनफल

द्विआधारी संबंधों का प्रत्यक्ष गुणनफल

श्रेणीबद्ध गुणनफल

आंतरिक और बाह्य प्रत्यक्ष गुणनफल

यह भी देखें

टिप्पणियाँ

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

प्रत्यक्ष गुणनफल: Difference between revisions

Latest revision as of 15:10, 26 December 2022

उदाहरण

समूह प्रत्यक्ष गुणनफल

अनुखंड का प्रत्यक्ष गुणनफल

टोपोलॉजिकल स्पेस प्रत्यक्ष गुणनफल

द्विआधारी संबंधों का प्रत्यक्ष गुणनफल

श्रेणीबद्ध गुणनफल

आंतरिक और बाह्य प्रत्यक्ष गुणनफल

यह भी देखें

टिप्पणियाँ

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories