दोहरा (श्रेणी सिद्धांत)

श्रेणी सिद्धांत में, गणित की एक शाखा, द्वंद्व एक श्रेणी सी के गुणों और विपरीत श्रेणी सी के दोहरे गुणों के बीच एक पत्राचार है।सेशन. श्रेणी सी के संबंध में एक बयान दिया गया है, एक फ़ंक्शन के डोमेन और प्रत्येक रूपवाद के कोडोमेन को आपस में बदलने के साथ-साथ फ़ंक्शन संरचना के क्रम को दो रूपवादों में बदलने से, विपरीत श्रेणी सी के संबंध में एक संबंधित दोहरा बयान प्राप्त होता है।सेशन. द्वंद्व, इस तरह, यह दावा है कि बयानों पर इस ऑपरेशन के तहत सत्य अपरिवर्तनीय है। दूसरे शब्दों में, यदि कोई कथन C के बारे में सत्य है, तो उसका दोहरा कथन C के बारे में सत्य हैसेशन. साथ ही, यदि कोई कथन C के बारे में गलत है, तो उसका द्वैत C के बारे में गलत होना चाहिएसेशन.

एक ठोस श्रेणी सी को देखते हुए, अक्सर यह मामला होता है कि विपरीत श्रेणी सीop वास्तव में अमूर्त है। सीop को गणितीय अभ्यास से उत्पन्न होने वाली श्रेणी होने की आवश्यकता नहीं है। इस मामले में, एक अन्य श्रेणी डी को भी सी के साथ द्वंद्व में कहा जाता है यदि डी और सीopश्रेणियों की समतुल्यता है।

उस स्थिति में जब C और उसके विपरीत Copसमतुल्य हैं, ऐसी श्रेणी स्व-द्वैत है।

औपचारिक परिभाषा
हम श्रेणी सिद्धांत की प्रारंभिक भाषा को वस्तुओं और रूपवादों के साथ दो-क्रमबद्ध प्रथम क्रम की भाषा के रूप में परिभाषित करते हैं, साथ ही एक वस्तु के संबंध एक रूपवाद का स्रोत या लक्ष्य और दो रूपवादों की रचना के लिए एक प्रतीक के रूप में परिभाषित करते हैं।

मान लीजिए σ इस भाषा में कोई कथन है। हम दोहरी σ बनाते हैंop इस प्रकार है: अनौपचारिक रूप से, ये स्थितियाँ बताती हैं कि किसी कथन का द्वैत रूपवाद और कार्य संरचना को उलट कर बनता है।
 * 1) σ में स्रोत की प्रत्येक घटना को लक्ष्य के साथ बदलें।
 * 2) आकृतियों की रचना के क्रम को बदलें। अर्थात्, प्रत्येक घटना को प्रतिस्थापित करें $$g \circ f$$ साथ $$f \circ g$$

द्वंद्व यह अवलोकन है कि σ कुछ श्रेणी सी के लिए सत्य है यदि और केवल यदि σop C के लिए सत्य हैऊपर.

उदाहरण

 * एक रूपवाद $$f\colon A \to B$$ यदि एक एकरूपता है $$f \circ g = f \circ h$$ तात्पर्य $$g=h$$. दोहरा ऑपरेशन करने पर हमें यह कथन मिलता है कि $$g \circ f = h \circ f$$ तात्पर्य $$g=h.$$ एक रूपवाद के लिए $$f\colon B \to A$$, एफ के लिए एपिमोर्फिज्म होने का ठीक यही मतलब है। संक्षेप में, एकरूपता होने की संपत्ति एक एपिमोर्फिज्म होने की संपत्ति से दोहरी है।

द्वंद्व को लागू करने पर, इसका मतलब यह है कि कुछ श्रेणी सी में एक रूपवाद एक मोनोमोर्फिज्म है यदि और केवल यदि विपरीत श्रेणी सी में विपरीत रूपवाद हैop एक प्रतीकवाद है।


 * असमानताओं की दिशा को आंशिक क्रम में उलटने से एक उदाहरण मिलता है। इसलिए यदि X एक समुच्चय (गणित) है और ≤ एक आंशिक क्रम संबंध है, तो हम एक नया आंशिक क्रम संबंध परिभाषित कर सकते हैं ≤new द्वारा


 * x ≤new y यदि और केवल यदि y ≤ x.

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


 * सीमा (श्रेणी सिद्धांत) और सीमा (श्रेणी सिद्धांत) दोहरी धारणाएं हैं।
 * बीजगणितीय टोपोलॉजी और होमोटोपी सिद्धांत में कंपन और सह-फ़िब्रेशन दोहरी धारणाओं के उदाहरण हैं। इस संदर्भ में, द्वैत को अक्सर एकमैन-हिल्टन द्वैत कहा जाता है।

यह भी देखें

 * सहायक संचालिका
 * दोहरी वस्तु
 * द्वैत (गणित)
 * विपरीत श्रेणी
 * पुल्लेशन स्क्वायर