प्रतिनिधित्व (गणित)

गणित में, एक निरूपण एक बहुत ही सामान्य संबंध है जो गणितीय वस्तुओं या गणितीय संरचना के बीच समानता (या समानता) को व्यक्त करता है। मोटे तौर पर, गणितीय वस्तुओं के एक संग्रह 'Y' को वस्तुओं के दूसरे संग्रह 'X' का 'प्रतिनिधित्व' करने के लिए कहा जा सकता है, बशर्ते कि प्रतिनिधित्व करने वाली वस्तुओं के बीच मौजूद गुण और संबंध 'y'iअनुरूप, कुछ सुसंगत तरीके से, संबंधित प्रतिनिधित्व वाली वस्तुओं x के बीच विद्यमान हैंi. अधिक विशेष रूप से, गुणों और संबंध (गणित) के एक सेट Π को देखते हुए, कुछ संरचना X का एक Π-प्रतिनिधित्व एक संरचना Y है जो एक समरूपता के तहत X की छवि है जो Π को संरक्षित करता है। लेबल प्रतिनिधित्व कभी-कभी समरूपता पर भी लागू होता है (जैसे समूह सिद्धांत में समूह समरूपता)।

प्रतिनिधित्व सिद्धांत
शायद इस सामान्य धारणा का सबसे अच्छी तरह से विकसित उदाहरण सार बीजगणित का उपक्षेत्र है जिसे प्रतिनिधित्व सिद्धांत कहा जाता है, जो वेक्टर रिक्त स्थान के रैखिक परिवर्तनों द्वारा बीजगणितीय संरचनाओं के तत्वों का प्रतिनिधित्व करता है।

अन्य उदाहरण
यद्यपि शब्द प्रतिनिधित्व सिद्धांत ऊपर चर्चा किए गए बीजगणितीय अर्थों में अच्छी तरह से स्थापित है, पूरे गणित में शब्द प्रतिनिधित्व के कई अन्य उपयोग हैं।

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

आदेश सिद्धांत
उपरोक्त अवलोकन के लिए दोहरी (गणित) तथ्य यह है कि प्रत्येक ग्राफ एक चौराहे वाला ग्राफ है, यह तथ्य है कि प्रत्येक आंशिक रूप से आदेशित सेट (जिसे पॉसेट भी कहा जाता है) सबसेट (या रोकथाम) संबंध ⊆ द्वारा आदेशित सेटों के संग्रह के लिए आइसोमोर्फिक है। वस्तुओं के प्राकृतिक वर्गों के समावेशन आदेश के रूप में उत्पन्न होने वाले कुछ पॉसेट्स में बूलियन जाली और ऑर्डर आयाम शामिल हैं। ज्यामिति वस्तुओं के संग्रह से कई आंशिक आदेश उत्पन्न होते हैं (और इस प्रकार इसका प्रतिनिधित्व किया जा सकता है)। इनमें n-sphere#n-ball|n-ball ऑर्डर हैं। 1-बॉल ऑर्डर अंतराल-रोकथाम ऑर्डर हैं, और 2-बॉल ऑर्डर तथाकथित सर्कल ऑर्डर हैं - विमान में डिस्क के बीच रोकथाम के संदर्भ में प्रतिनिधित्व करने योग्य पोसेट। इस क्षेत्र में एक विशेष रूप से अच्छा परिणाम प्लेनर ग्राफ ़ का लक्षण वर्णन है, क्योंकि वे ग्राफ़ जिनके वर्टेक्स-एज घटना संबंध सर्कल ऑर्डर हैं। ऐसे ज्यामितीय निरूपण भी हैं जो समावेशन पर आधारित नहीं हैं। दरअसल, इनमें से सबसे अच्छी तरह से अध्ययन की जाने वाली कक्षाओं में से एक अंतराल आदेश हैं, जो वास्तविक रेखा पर अंतरालों की असंयुक्त पूर्वता कहलाने के संदर्भ में आंशिक क्रम का प्रतिनिधित्व करता है: पोसेट के प्रत्येक तत्व x को एक अंतराल [x द्वारा दर्शाया गया है1, एक्स2], जैसे कि पोसेट में किसी भी y और z के लिए, y z से नीचे है अगर और केवल अगर y2 <जेड1.

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

पोलीसेमी
कुछ निश्चित परिस्थितियों में, एक एकल फलन f : X → Y एक साथ X पर कई गणितीय संरचनाओं से एक समरूपता है। चूंकि उन संरचनाओं में से प्रत्येक के बारे में सोचा जा सकता है, सहज रूप से, छवि Y के अर्थ के रूप में (चीजों में से एक जो Y हमें बताने की कोशिश कर रहा है), इस घटना को 'अनेक मतलब का गुण' कहा जाता है - एक पॉलीसेमी। पोलीसेमी के कुछ उदाहरणों में शामिल हैं:


 * 'इंटरसेक्शन पोलीसेमी'—ग्राफ़ के जोड़े G1 और जी2 एक सामान्य शीर्ष समुच्चय V पर जिसे एक साथ समुच्चय S के एकल संग्रह द्वारा प्रदर्शित किया जा सकता हैv, जैसे कि V में कोई भी भिन्न शीर्ष u और w G में आसन्न हैं1, अगर और केवल अगर उनके संबंधित सेट प्रतिच्छेद करते हैं ( एसu∩ एसw≠ Ø), और G में आसन्न हैं2 अगर और केवल अगर सेट पूरक करते हैं (एसu सी ∩ एसw सी ≠ Ø).
 * प्रतियोगिता पोलीसेमी-पारिस्थितिकी खाद्य जाल के अध्ययन से प्रेरित है, जिसमें प्रजातियों के जोड़े आम तौर पर शिकार कर सकते हैं या शिकारियों में आम हो सकते हैं। रेखांकन की एक जोड़ी जी1 और जी2 एक वर्टेक्स सेट पर प्रतियोगिता पोलीसेमिक है, अगर और केवल अगर एक ही वर्टेक्स सेट पर एक एकल निर्देशित ग्राफ डी मौजूद है, जैसे कि कोई भी अलग कोने यू और वी जी में आसन्न हैं1, अगर और केवल अगर वहाँ एक शीर्ष w है जैसे कि uw और vw दोनों D में चाप (ग्राफ सिद्धांत) हैं, और G में आसन्न हैं2, यदि और केवल यदि कोई शीर्ष w है जैसे कि w और wv दोनों D में चाप हैं।
 * अंतराल पोलीसेमी-पॉसेट्स पी के जोड़े1 और पी2 एक सामान्य ग्राउंड सेट पर जिसे एक साथ वास्तविक अंतरालों के एकल संग्रह द्वारा दर्शाया जा सकता है, जो कि P का अंतराल-क्रम प्रतिनिधित्व है1 और पी का एक अंतराल-रोकथाम प्रतिनिधित्व2.

यह भी देखें

 * समूह प्रतिनिधित्व
 * प्रतिनिधित्व प्रमेय
 * मॉडल सिद्धांत