प्रत्यक्ष उत्पाद
गणित में, अक्सर पहले से ही ज्ञात वस्तुओं के प्रत्यक्ष उत्पाद को परिभाषित कर सकते हैं, एक नया उत्पाद दे सकते हैं। यह उत्पाद सेट पर उपयुक्त रूप से परिभाषित संरचना के साथ अंतर्निहित सेट (गणित) के कार्टेशियन उत्पाद को सामान्यीकृत करता है। अधिक संक्षेप में, कोई उत्पाद (श्रेणी सिद्धांत) के बारे में बात करता है, जो इन धारणाओं को औपचारिक रूप देता है।
उदाहरण सेट, समूह (गणित) (नीचे वर्णित), उत्पाद रिंग और अन्य बीजगणितीय संरचनाओं का उत्पाद हैं। टोपोलॉजिकल स्पेस का उत्पाद टोपोलॉजी एक और उदाहरण है।[dubious ]
प्रत्यक्ष योग भी है - कुछ क्षेत्रों में इसका उपयोग परस्पर विनिमय के लिए किया जाता है, जबकि अन्य में यह एक अलग अवधारणा है।
उदाहरण
- यदि हम विचार करें वास्तविक संख्या के सेट के रूप में, फिर प्रत्यक्ष उत्पाद सिर्फ कार्टेशियन उत्पाद है
- यदि हम विचार करें जोड़ के तहत वास्तविक संख्याओं के समूह (गणित) के रूप में, फिर प्रत्यक्ष उत्पाद अब भी है इसके अंतर्निहित सेट के रूप में। इसमें और पिछले उदाहरण में यही अंतर है अब एक समूह है, और इसलिए हमें यह भी कहना होगा कि उनके तत्वों को कैसे जोड़ा जाए। यह परिभाषित करके किया जाता है
- यदि हम विचार करें वास्तविक संख्या के रिंग (गणित) के रूप में, फिर प्रत्यक्ष उत्पाद फिर से है इसके अंतर्निहित सेट के रूप में। रिंग संरचना में इसके द्वारा परिभाषित जोड़ होते हैं और गुणन द्वारा परिभाषित
- हालांकि अंगूठी एक क्षेत्र है (गणित), एक नहीं है, क्योंकि तत्व गुणनात्मक व्युत्क्रम नहीं है।
इसी तरह, हम बहुत सी बीजगणितीय संरचनाओं के प्रत्यक्ष उत्पाद के बारे में बात कर सकते हैं, उदाहरण के लिए, यह इस तथ्य पर निर्भर करता है कि प्रत्यक्ष उत्पाद समरूपता तक साहचर्य है। वह है, किसी भी बीजगणितीय संरचना के लिए और उसी तरह का। प्रत्यक्ष उत्पाद भी तुल्याकारिता तक क्रमविनिमेय है, अर्थात, किसी भी बीजगणितीय संरचना के लिए और उसी तरह का। हम अपरिमित रूप से अनेक बीजगणितीय संरचनाओं के प्रत्यक्ष गुणनफल के बारे में भी बात कर सकते हैं; उदाहरण के लिए हम अनगिनत अनंत प्रतियों का प्रत्यक्ष उत्पाद ले सकते हैं जिसे हम लिखते हैं
समूह प्रत्यक्ष उत्पाद
समूह (गणित) में दो समूहों के प्रत्यक्ष उत्पाद को परिभाषित किया जा सकता है और द्वारा चिह्नित एबेलियन समूहों के लिए जो योगात्मक रूप से लिखे गए हैं, इसे समूहों का प्रत्यक्ष योग भी कहा जा सकता है, जिसे निरूपित किया जाता है इसे इस प्रकार परिभाषित किया गया है:
- नए समूह के तत्वों का सेट (गणित) तत्वों के सेट का कार्टेशियन उत्पाद है वह है
- इन तत्वों पर एक ऑपरेशन डालें, परिभाषित तत्व-वार:
ध्यान दें कि के समान हो सकता है यह निर्माण एक नया समूह देता है। इसका एक सामान्य उपसमूह आइसोमॉर्फिक है (फॉर्म के तत्वों द्वारा दिया गया ), और एक आइसोमॉर्फिक टू (तत्व शामिल हैं ).
उल्टा भी रहता है। निम्नलिखित मान्यता प्रमेय है: यदि एक समूह दो सामान्य उपसमूह शामिल हैं ऐसा है कि और का चौराहा तब केवल पहचान शामिल है के लिए आइसोमोर्फिक है इन स्थितियों में छूट, सामान्य होने के लिए केवल एक उपसमूह की आवश्यकता होती है, अर्ध-प्रत्यक्ष उत्पाद देता है।
उदाहरण के रूप में लें क्रम 2 के अद्वितीय (समरूपता तक) समूह की दो प्रतियाँ, कहना तब ऑपरेशन तत्व के साथ तत्व द्वारा। उदाहरण के लिए, और एक प्रत्यक्ष उत्पाद के साथ, हमें कुछ प्राकृतिक समूह समरूपता मुफ्त में मिलती है: द्वारा परिभाषित प्रक्षेपण मानचित्र
इसके अलावा, हर समरूपता प्रत्यक्ष उत्पाद के लिए पूरी तरह से इसके घटक कार्यों द्वारा निर्धारित किया जाता है किसी भी समूह के लिए और कोई पूर्णांक प्रत्यक्ष उत्पाद का बार-बार उपयोग सभी के समूह को देता है -टुपल्स (के लिए यह तुच्छ समूह है), उदाहरण के लिए और
मॉड्यूल का प्रत्यक्ष उत्पाद
मॉड्यूल (गणित) के लिए प्रत्यक्ष उत्पाद (मॉड्यूल के टेन्सर उत्पाद के साथ भ्रमित नहीं होना) ऊपर दिए गए समूहों के लिए परिभाषित एक के समान है, कार्टेशियन उत्पाद का उपयोग घटक के अतिरिक्त होने के संचालन के साथ होता है, और स्केलर गुणा बस वितरण करता है सभी घटक। से शुरू हमें यूक्लिडियन अंतरिक्ष मिलता है एक वास्तविक का प्रोटोटाइपिकल उदाहरण -आयामी वेक्टर अंतरिक्ष। का प्रत्यक्ष उत्पाद और है ध्यान दें कि परिमित सूचकांक के लिए प्रत्यक्ष उत्पाद मॉड्यूल के प्रत्यक्ष योग के लिए कैनोनिक रूप से आइसोमोर्फिक है प्रत्यक्ष योग और प्रत्यक्ष उत्पाद अनंत सूचकांकों के लिए समरूप नहीं हैं, जहां प्रत्यक्ष योग के तत्व सभी के लिए शून्य हैं, लेकिन प्रविष्टियों की एक सीमित संख्या के लिए। वे श्रेणी सिद्धांत के अर्थ में दोहरे हैं: प्रत्यक्ष योग प्रतिफल है, जबकि प्रत्यक्ष उत्पाद उत्पाद है।
उदाहरण के लिए विचार करें और अनंत प्रत्यक्ष उत्पाद और वास्तविक संख्याओं का प्रत्यक्ष योग। केवल गैर-शून्य तत्वों की परिमित संख्या वाले अनुक्रम ही अंदर हैं उदाहरण के लिए, में है लेकिन क्या नहीं है। ये दोनों क्रम प्रत्यक्ष उत्पाद में हैं वास्तव में, का उचित उपसमुच्चय है (वह है, ).[1][2]
टोपोलॉजिकल स्पेस डायरेक्ट प्रोडक्ट
टोपोलॉजिकल रिक्त स्थान के संग्रह के लिए प्रत्यक्ष उत्पाद के लिए में कुछ इंडेक्स सेट, एक बार फिर कार्टेशियन उत्पाद का उपयोग करता है
अनंत उत्पादों के लिए उत्पाद टोपोलॉजी में एक मोड़ है, और यह सभी प्रक्षेपण मानचित्रों को निरंतर बनाने में सक्षम होने और उत्पाद में सभी कार्यों को निरंतर बनाने के लिए और केवल अगर इसके सभी घटक कार्य निरंतर हैं (अर्थात संतुष्ट करने के लिए) उत्पाद की श्रेणीबद्ध परिभाषा: यहाँ आकारिकी निरंतर कार्य हैं): हम खुले सेट के आधार के रूप में प्रत्येक कारक से खुले उपसमुच्चय के सभी कार्टेशियन उत्पादों के संग्रह के रूप में लेते हैं, पहले की तरह, अनंतिम के साथ सभी लेकिन बहुत से खुले उपसमुच्चय संपूर्ण कारक हैं:
उत्पाद (उत्पाद टोपोलॉजी के साथ) अपने कारकों के गुणों को संरक्षित करने के संबंध में अच्छे हैं; उदाहरण के लिए, हॉसडॉर्फ स्पेस का उत्पाद हॉसडॉर्फ है; कनेक्टेड रिक्त स्थान का उत्पाद जुड़ा हुआ है, और कॉम्पैक्ट स्पेस का उत्पाद कॉम्पैक्ट है। वह आखिरी वाला, जिसे टाइकोनॉफ प्रमेय कहा जाता है, अभी तक पसंद के स्वयंसिद्ध के लिए एक और समानता है।
अधिक गुणों और समतुल्य योगों के लिए, अलग प्रविष्टि उत्पाद टोपोलॉजी देखें।
द्विआधारी संबंधों का प्रत्यक्ष उत्पाद
द्विआधारी संबंधों के साथ दो सेटों के कार्टेशियन उत्पाद पर परिभाषित करना जैसा अगर प्रतिवर्त संबंध , अविचलित संबंध, सकर्मक संबंध, सममित संबंध या एंटीसिमेट्रिक संबंध दोनों हैं, तो भी होगा।[3] इसी प्रकार, का कुल संबंध से विरासत में मिला है गुणों का संयोजन यह इस प्रकार है कि यह एक पूर्व आदेश होने और समकक्ष संबंध होने के लिए भी लागू होता है। हालांकि, यदि जुड़े हुए रिश्ते हैं, कनेक्ट होने की आवश्यकता नहीं है; उदाहरण के लिए, का प्रत्यक्ष उत्पाद पर स्वयं से संबंध नहीं रखता
== सार्वभौमिक बीजगणित == में प्रत्यक्ष उत्पाद
अगर एक निश्चित हस्ताक्षर (तर्क) है, एक मनमाना (संभवतः अनंत) इंडेक्स सेट है, और का एक अनुक्रमित परिवार है बीजगणित, प्रत्यक्ष उत्पाद एक है बीजगणित को इस प्रकार परिभाषित किया गया है:
- ब्रह्मांड सेट का ब्रह्मांड सेट का कार्टेशियन उत्पाद है का औपचारिक रूप से:
- प्रत्येक के लिए और प्रत्येक -और ऑपरेशन प्रतीक इसकी व्याख्या में घटकवार, औपचारिक रूप से परिभाषित किया गया है: सभी के लिए और प्रत्येक वें घटक परिभाषित किया जाता है प्रत्येक के लिए वें प्रक्षेपण द्वारा परिभाषित किया गया है यह के बीच एक विशेषण समरूपता है अल्जेब्रास [4]
एक विशेष मामले के रूप में, यदि index दो का प्रत्यक्ष उत्पाद अल्जेब्रास प्राप्त होता है, के रूप में लिखा जाता है अगर केवल एक बाइनरी ऑपरेशन होता है #समूह प्रत्यक्ष उत्पाद की परिभाषा, समूहों के प्रत्यक्ष उत्पाद की, संकेतन का उपयोग करके प्राप्त की जाती है इसी तरह, मॉड्यूल के प्रत्यक्ष उत्पाद की परिभाषा यहां सम्मिलित की गई है।
श्रेणीबद्ध उत्पाद
प्रत्यक्ष उत्पाद को एक मनमाना श्रेणी सिद्धांत के रूप में समझा जा सकता है। किसी श्रेणी में, वस्तुओं का संग्रह दिया गया है एक सेट द्वारा अनुक्रमित , इन वस्तुओं का एक उत्पाद एक वस्तु है एक साथ morphisms के साथ सभी के लिए , ऐसा है कि अगर morphisms के साथ कोई अन्य वस्तु है सभी के लिए , एक अद्वितीय रूपवाद मौजूद है जिसकी रचना के साथ के बराबर होती है हरएक के लिए . ऐसा और हमेशा मौजूद नहीं है। यदि वे मौजूद हैं, तो समरूपता तक अद्वितीय है, और निरूपित किया जाता है .
समूहों की श्रेणी के विशेष मामले में, एक उत्पाद हमेशा मौजूद होता है: का अंतर्निहित सेट के अंतर्निहित सेटों का कार्टेशियन उत्पाद है , समूह संचालन घटकवार गुणन है, और (होमो) रूपवाद प्रक्षेपण प्रत्येक टपल को इसके पास भेज रहा है वें समन्वय।
आंतरिक और बाह्य प्रत्यक्ष उत्पाद
कुछ लेखक आंतरिक प्रत्यक्ष उत्पाद और बाह्य प्रत्यक्ष उत्पाद के बीच अंतर करते हैं। अगर और तब हम कहते हैं का आंतरिक प्रत्यक्ष उत्पाद है जबकि अगर सबऑब्जेक्ट नहीं हैं तो हम कहते हैं कि यह एक बाहरी प्रत्यक्ष उत्पाद है।
यह भी देखें
- Direct sum
- Cartesian product
- Coproduct
- Free product
- Semidirect product
- Zappa–Szep product
- Tensor product of graphs
- Orders on the Cartesian product of totally ordered sets
टिप्पणियाँ
- ↑ Weisstein, Eric W. "प्रत्यक्ष उत्पाद". mathworld.wolfram.com. Retrieved 2018-02-10.
- ↑ Weisstein, Eric W. "समूह प्रत्यक्ष उत्पाद". mathworld.wolfram.com. Retrieved 2018-02-10.
- ↑ "Equivalence and Order" (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