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

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

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

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

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

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

द्वंद्व यह अवलोकन होता है कि σ कुछ श्रेणी सी के लिए सत्य है और यदि σओपी ,सीओपी के लिए सत्य होता है।

उदाहरण

 * रूपवाद $$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.

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


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

यह भी देखें

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