परिमित संबंध: Difference between revisions
From Vigyanwiki
(Created page with "{{short description|Property that assigns truth values to k-tuples of individuals}} गणित में, समुच्चयों पर परिमित संबं...") |
No edit summary |
||
| Line 1: | Line 1: | ||
{{short description|Property that assigns truth values to k-tuples of individuals}} | {{short description|Property that assigns truth values to k-tuples of individuals}} | ||
गणित में, | गणित में, समुच्चय {{nowrap|''X''<sub>1</sub>, ..., ''X''<sub>''n''</sub>}} पर परिमित संबंध कार्तीय गुणनफल {{nowrap|''X''<sub>1</sub> × ⋯ × ''X''<sub>''n''</sub>}} का एक उपसमुच्चय है; अर्थात यह n-tuples का एक समुच्चय है {{nowrap|(''x''<sub>1</sub>, ..., ''x''<sub>''n''</sub>)}} तत्व x से मिलकर<sub>''i''</sub> एक्स में<sub>''i''</sub>.<ref name="Codd1970">{{cite journal |last1=Codd |first1=Edgar Frank |date=June 1970 |title=बड़े साझा डेटा बैंकों के लिए डेटा का एक संबंधपरक मॉडल|url=https://www.seas.upenn.edu/~zives/03f/cis550/codd.pdf |journal=Communications of the ACM |volume=13 |issue=6 |pages=377–387 |doi=10.1145/362384.362685 |s2cid=207549016 |access-date=2020-04-29}}</ref><ref>{{Cite web|url=https://www.encyclopediaofmath.org/index.php/Relation|title=संबंध - गणित का विश्वकोश|website=www.encyclopediaofmath.org|access-date=2019-12-12}}</ref><ref>{{Cite web|url=https://www.cs.odu.edu/~toida/nerzic/content/relation/definition/cp_gen/index.html|title=एन-आरी संबंध की परिभाषा|website=cs.odu.edu|access-date=2019-12-12}}</ref> विशिष्ट रूप से, संबंध n-ट्यूपल के तत्वों के बीच एक संभावित संबंध का वर्णन करता है। उदाहरण के लिए, संबंध x, y से विभाज्य है और z में 3-ट्यूपल्स का समुच्चय होता है जैसे कि जब क्रमशः x, y और z को प्रतिस्थापित किया जाता है, तो वाक्य को सत्य बनाते हैं। | ||
संबंध में स्थानों की संख्या देने वाले गैर-ऋणात्मक पूर्णांक n को संबंध की विषमता, अनुकूलता या डिग्री कहा जाता है। n स्थानों के साथ संबंध को विभिन्न प्रकार से 'n-ary संबंध', 'n-adic संबंध' या 'n डिग्री का संबंध' कहा जाता है। स्थानों की एक सीमित संख्या के साथ संबंधों को परिमित संबंध कहा जाता है (या संदर्भ स्पष्ट होने पर केवल संबंध)। [[अनुक्रम]] के साथ असीमित संबंधों की अवधारणा को सामान्यीकृत करना भी संभव है।<ref>{{Cite journal|last=Nivat|first=Maurice|date=1981|editor-last=Astesiano|editor-first=Egidio|editor2-last=Böhm|editor2-first=Corrado|title=अनंत संबंध|url=https://link.springer.com/chapter/10.1007/3-540-10828-9_54|journal=Caap '81|series=Lecture Notes in Computer Science|volume=112|language=en|publisher=Springer Berlin Heidelberg|pages=46–75|doi=10.1007/3-540-10828-9_54|isbn=978-3-540-38716-9}}</ref> | संबंध में स्थानों की संख्या देने वाले गैर-ऋणात्मक पूर्णांक n को संबंध की विषमता, अनुकूलता या डिग्री कहा जाता है। n स्थानों के साथ संबंध को विभिन्न प्रकार से 'n-ary संबंध', 'n-adic संबंध' या 'n डिग्री का संबंध' कहा जाता है। स्थानों की एक सीमित संख्या के साथ संबंधों को परिमित संबंध कहा जाता है (या संदर्भ स्पष्ट होने पर केवल संबंध)। [[अनुक्रम]] के साथ असीमित संबंधों की अवधारणा को सामान्यीकृत करना भी संभव है।<ref>{{Cite journal|last=Nivat|first=Maurice|date=1981|editor-last=Astesiano|editor-first=Egidio|editor2-last=Böhm|editor2-first=Corrado|title=अनंत संबंध|url=https://link.springer.com/chapter/10.1007/3-540-10828-9_54|journal=Caap '81|series=Lecture Notes in Computer Science|volume=112|language=en|publisher=Springer Berlin Heidelberg|pages=46–75|doi=10.1007/3-540-10828-9_54|isbn=978-3-540-38716-9}}</ref> | ||
समुच्चय पर एक एन-आरी संबंध {{nowrap|''X''<sub>1</sub>, ..., ''X''<sub>''n''</sub>}} के [[ सत्ता स्थापित ]] का एक तत्व है {{nowrap|''X''<sub>1</sub> × ⋯ × ''X''<sub>''n''</sub>}}. | |||
0-आर्य संबंध केवल दो सदस्यों की गिनती करते हैं: एक जो हमेशा धारण करता है, और वह जो कभी धारण नहीं करता। ऐसा इसलिए है क्योंकि केवल एक 0-टुपल, खाली टपल () है। वे कभी-कभी [[गणितीय प्रेरण]] तर्क के आधार मामले के निर्माण के लिए उपयोगी होते हैं। | 0-आर्य संबंध केवल दो सदस्यों की गिनती करते हैं: एक जो हमेशा धारण करता है, और वह जो कभी धारण नहीं करता। ऐसा इसलिए है क्योंकि केवल एक 0-टुपल, खाली टपल () है। वे कभी-कभी [[गणितीय प्रेरण]] तर्क के आधार मामले के निर्माण के लिए उपयोगी होते हैं। | ||
| Line 37: | Line 37: | ||
यहाँ, प्रत्येक पंक्ति R के एक ट्रिपल का प्रतिनिधित्व करती है, अर्थात यह x के रूप में एक बयान देती है जो सोचती है कि y को z पसंद है। उदाहरण के लिए, पहली पंक्ति बताती है कि ऐलिस सोचती है कि बॉब डेनिस को पसंद करता है। सभी पंक्तियां अलग हैं। पंक्तियों का क्रम नगण्य है लेकिन स्तंभों का क्रम महत्वपूर्ण है।<ref name="Codd1970" /> | यहाँ, प्रत्येक पंक्ति R के एक ट्रिपल का प्रतिनिधित्व करती है, अर्थात यह x के रूप में एक बयान देती है जो सोचती है कि y को z पसंद है। उदाहरण के लिए, पहली पंक्ति बताती है कि ऐलिस सोचती है कि बॉब डेनिस को पसंद करता है। सभी पंक्तियां अलग हैं। पंक्तियों का क्रम नगण्य है लेकिन स्तंभों का क्रम महत्वपूर्ण है।<ref name="Codd1970" /> | ||
उपरोक्त तालिका एक संबंधपरक डेटाबेस का एक सरल उदाहरण भी है, एक ऐसा क्षेत्र जिसमें [[संबंधपरक बीजगणित]] में निहित सिद्धांत और डेटा प्रबंधन में अनुप्रयोग हैं।<ref>{{Cite web|url=http://www.pitt.edu/~bonidie/cs441/relations.pdf|title=Relations — CS441|website=www.pitt.edu|access-date=2019-12-11}}</ref> हालाँकि, कंप्यूटर वैज्ञानिक, तर्कशास्त्री और गणितज्ञ अलग-अलग धारणाएँ रखते हैं कि एक सामान्य संबंध क्या है और इसमें क्या शामिल है। उदाहरण के लिए, डेटाबेस को अनुभवजन्य डेटा से निपटने के लिए डिज़ाइन किया गया है, जो कि परिभाषा के अनुसार परिमित है, जबकि गणित में, अनंत arity ( | उपरोक्त तालिका एक संबंधपरक डेटाबेस का एक सरल उदाहरण भी है, एक ऐसा क्षेत्र जिसमें [[संबंधपरक बीजगणित]] में निहित सिद्धांत और डेटा प्रबंधन में अनुप्रयोग हैं।<ref>{{Cite web|url=http://www.pitt.edu/~bonidie/cs441/relations.pdf|title=Relations — CS441|website=www.pitt.edu|access-date=2019-12-11}}</ref> हालाँकि, कंप्यूटर वैज्ञानिक, तर्कशास्त्री और गणितज्ञ अलग-अलग धारणाएँ रखते हैं कि एक सामान्य संबंध क्या है और इसमें क्या शामिल है। उदाहरण के लिए, डेटाबेस को अनुभवजन्य डेटा से निपटने के लिए डिज़ाइन किया गया है, जो कि परिभाषा के अनुसार परिमित है, जबकि गणित में, अनंत arity (अर्थात, अनन्त संबंध) के साथ संबंधों पर भी विचार किया जाता है। | ||
== परिभाषाएँ == | == परिभाषाएँ == | ||
| Line 44: | Line 44: | ||
गणित में सामने आई संबंधों की पहली परिभाषा है: | गणित में सामने आई संबंधों की पहली परिभाषा है: | ||
; परिभाषा 1: एक एन-आरी 'रिलेशन' आर ओवर | ; परिभाषा 1: एक एन-आरी 'रिलेशन' आर ओवर समुच्चय {{math|''X''<sub>1</sub>, ⋯, ''X''<sub>''n''</sub>}} कार्तीय गुणनफल का एक उपसमुच्चय है {{math|''X''<sub>1</sub> × ⋯ × ''X''<sub>''n''</sub>}}.<ref name="Codd1970" /> | ||
संबंधों की दूसरी परिभाषा एक मुहावरे का उपयोग करती है जो गणित में आम है, यह निर्धारित करते हुए कि फलां और फलां एक n-ट्यूपल है ताकि यह सुनिश्चित किया जा सके कि फलां गणितीय वस्तु n तत्वों के साथ गणितीय वस्तुओं के विनिर्देश द्वारा निर्धारित होती है। n समुच्चयों पर संबंध R के मामले में, हैं {{math|''n'' + 1}} चीजें निर्दिष्ट करने के लिए, अर्थात्, एन | संबंधों की दूसरी परिभाषा एक मुहावरे का उपयोग करती है जो गणित में आम है, यह निर्धारित करते हुए कि फलां और फलां एक n-ट्यूपल है ताकि यह सुनिश्चित किया जा सके कि फलां गणितीय वस्तु n तत्वों के साथ गणितीय वस्तुओं के विनिर्देश द्वारा निर्धारित होती है। n समुच्चयों पर संबंध R के मामले में, हैं {{math|''n'' + 1}} चीजें निर्दिष्ट करने के लिए, अर्थात्, एन समुच्चय प्लस उनके कार्तीय गुणनफल का एक उपसमुच्चय। मुहावरे में, यह कहकर व्यक्त किया जाता है कि R एक ({{math|''n'' + 1}})-टुपल। | ||
; परिभाषा 2: एक एन-एरी 'रिलेशन' आर ओवर | ; परिभाषा 2: एक एन-एरी 'रिलेशन' आर ओवर समुच्चय {{math|''X''<sub>1</sub>, ⋯, ''X''<sub>''n''</sub>}} एक ({{math|''n'' + 1}})-टुपल {{math|(''X''<sub>1</sub>, ⋯, ''X''<sub>''n''</sub>, ''G'')}} जहां जी कार्तीय गुणनफल का एक उपसमुच्चय है {{math|''X''<sub>1</sub> × ⋯ × ''X''<sub>''n''</sub>}} को R का ग्राफ कहा जाता है। | ||
एक नियम के रूप में, जो भी परिभाषा सबसे उपयुक्त होती है, उसे उस उद्देश्य के लिए चुना जाएगा, और यदि कभी भी दो परिभाषाओं के बीच अंतर करना आवश्यक हो जाता है, तो दूसरी परिभाषा को संतुष्ट करने वाली इकाई को एक एम्बेडेड या शामिल संबंध कहा जा सकता है। | एक नियम के रूप में, जो भी परिभाषा सबसे उपयुक्त होती है, उसे उस उद्देश्य के लिए चुना जाएगा, और यदि कभी भी दो परिभाषाओं के बीच अंतर करना आवश्यक हो जाता है, तो दूसरी परिभाषा को संतुष्ट करने वाली इकाई को एक एम्बेडेड या शामिल संबंध कहा जा सकता है। | ||
| Line 55: | Line 55: | ||
निम्नलिखित विचार या तो परिभाषा के तहत लागू होते हैं: | निम्नलिखित विचार या तो परिभाषा के तहत लागू होते हैं: | ||
* | * समुच्चय एक्स<sub>''i''</sub> कहा जाता है {{mvar|i}}वां डोमेन R.<ref name="Codd1970" />पहली परिभाषा के तहत, संबंध विशिष्ट रूप से डोमेन के दिए गए अनुक्रम को निर्धारित नहीं करता है। ऐसे मामले में जहां आर एक द्विआधारी संबंध है, एक्स<sub>1</sub> इसे बस बाइनरी रिलेशन # परिभाषा या R, और X के प्रस्थान का समुच्चय भी कहा जाता है<sub>2</sub> इसे बाइनरी रिलेशन # परिभाषा या आर के गंतव्य का समुच्चय भी कहा जाता है। | ||
* जब एक्स के तत्व<sub>''i''</sub> रिश्ते हैं, एक्स<sub>''i''</sub> R का एक सरल डोमेन कहा जाता है।<ref name="Codd1970" />* के समुच्चय {{math|∀''x''<sub>''i''</sub> ∈ ''X''<sub>''i''</sub>}} जिसके लिए मौजूद है {{math|(''x''<sub>1</sub>, ⋯, ''x''<sub>''i'' − 1</sub>, ''x''<sub>''i'' + 1</sub>, ⋯, ''x''<sub>''n''</sub>) ∈ ''X''<sub>1</sub> × ⋯ × ''X''<sub>''i'' − 1</sub> × ''X''<sub>''i'' + 1</sub> × ⋯ × ''X''<sub>''n''</sub>}} ऐसा है कि {{math|''Rx''<sub>1</sub>⋯''x''<sub>''i'' − 1</sub>''x''<sub>''i''</sub>''x''<sub>''i'' + 1</sub>⋯''x''<sub>''n''</sub>}} को परिभाषा का वां डोमेन या R का सक्रिय डोमेन कहा जाता है।<ref name="Codd1970" />ऐसे मामले में जहां आर एक द्विआधारी संबंध है, इसकी परिभाषा के पहले डोमेन को केवल बाइनरी रिलेशन#परिभाषा या आर का सक्रिय डोमेन भी कहा जाता है, और इसकी परिभाषा के दूसरे डोमेन को बाइनरी रिलेशन#परिभाषा या आर का सक्रिय कोडोमेन भी कहा जाता है। | * जब एक्स के तत्व<sub>''i''</sub> रिश्ते हैं, एक्स<sub>''i''</sub> R का एक सरल डोमेन कहा जाता है।<ref name="Codd1970" />* के समुच्चय {{math|∀''x''<sub>''i''</sub> ∈ ''X''<sub>''i''</sub>}} जिसके लिए मौजूद है {{math|(''x''<sub>1</sub>, ⋯, ''x''<sub>''i'' − 1</sub>, ''x''<sub>''i'' + 1</sub>, ⋯, ''x''<sub>''n''</sub>) ∈ ''X''<sub>1</sub> × ⋯ × ''X''<sub>''i'' − 1</sub> × ''X''<sub>''i'' + 1</sub> × ⋯ × ''X''<sub>''n''</sub>}} ऐसा है कि {{math|''Rx''<sub>1</sub>⋯''x''<sub>''i'' − 1</sub>''x''<sub>''i''</sub>''x''<sub>''i'' + 1</sub>⋯''x''<sub>''n''</sub>}} को परिभाषा का वां डोमेन या R का सक्रिय डोमेन कहा जाता है।<ref name="Codd1970" />ऐसे मामले में जहां आर एक द्विआधारी संबंध है, इसकी परिभाषा के पहले डोमेन को केवल बाइनरी रिलेशन#परिभाषा या आर का सक्रिय डोमेन भी कहा जाता है, और इसकी परिभाषा के दूसरे डोमेन को बाइनरी रिलेशन#परिभाषा या आर का सक्रिय कोडोमेन भी कहा जाता है। | ||
* जब {{mvar|i}R की परिभाषा का वां डोमेन X के बराबर है<sub>''i''</sub>, R को X पर कुल कहा जाता है<sub>''i''</sub>. ऐसे मामले में जहां R एक द्विआधारी संबंध है, जब R, X पर कुल है<sub>1</sub>, इसे बाइनरी रिलेशन#विशेष प्रकार के बाइनरी रिलेशंस भी कहा जाता है|बाएं-कुल या सीरियल, और जब आर एक्स पर कुल होता है<sub>2</sub>, इसे बाइनरी संबंध#विशेष प्रकार के बाइनरी संबंध|सही-कुल या विशेषण भी कहा जाता है। | * जब {{mvar|i}R की परिभाषा का वां डोमेन X के बराबर है<sub>''i''</sub>, R को X पर कुल कहा जाता है<sub>''i''</sub>. ऐसे मामले में जहां R एक द्विआधारी संबंध है, जब R, X पर कुल है<sub>1</sub>, इसे बाइनरी रिलेशन#विशेष प्रकार के बाइनरी रिलेशंस भी कहा जाता है|बाएं-कुल या सीरियल, और जब आर एक्स पर कुल होता है<sub>2</sub>, इसे बाइनरी संबंध#विशेष प्रकार के बाइनरी संबंध|सही-कुल या विशेषण भी कहा जाता है। | ||
* कब {{math|∀''x'' ∀''y'' ∈ ''X''<sub>''i''</sub>.}} {{math|∀''z'' ∈ ''X''<sub>''j''</sub>.}} {{math|1=''xR''<sub>''ij''</sub>''z'' ∧ ''yR''<sub>''ij''</sub>''z'' ⇒ ''x'' = ''y''}}, कहाँ {{math|''i'' ∈ ''I''}}, {{math|''j'' ∈ ''J''}}, {{math|1=''R''<sub>''ij''</sub> = ''π''<sub>''ij''</sub> ''R''}}, और {{math|{{mset|''I'', ''J''}}}} के समुच्चय का विभाजन है {{math|{{mset|1, ..., ''n''}}}}, R को अद्वितीय कहा जाता है {{math|{{mset|''X''<sub>''i''</sub>}}<sub>''i'' ∈ ''I''</sub>}}, और {{math|{{mset|''X''<sub>''i''</sub>}}<sub>''i'' ∈ ''J''</sub>}} [[प्राथमिक कुंजी]] कहलाती है<ref name="Codd1970" />आर का। उस मामले में जहां आर एक द्विआधारी संबंध है, जब आर {एक्स पर अद्वितीय है<sub>1</sub>}, इसे बाइनरी संबंध#विशेष प्रकार के बाइनरी संबंध|बाएं-अद्वितीय या अंतःक्षेपी भी कहा जाता है, और जब {X पर R अद्वितीय होता है<sub>2</sub>}, इसे बाइनरी संबंध#विशेष प्रकार के बाइनरी संबंध|सही-अद्वितीय या कार्यात्मक भी कहा जाता है। | * कब {{math|∀''x'' ∀''y'' ∈ ''X''<sub>''i''</sub>.}} {{math|∀''z'' ∈ ''X''<sub>''j''</sub>.}} {{math|1=''xR''<sub>''ij''</sub>''z'' ∧ ''yR''<sub>''ij''</sub>''z'' ⇒ ''x'' = ''y''}}, कहाँ {{math|''i'' ∈ ''I''}}, {{math|''j'' ∈ ''J''}}, {{math|1=''R''<sub>''ij''</sub> = ''π''<sub>''ij''</sub> ''R''}}, और {{math|{{mset|''I'', ''J''}}}} के समुच्चय का विभाजन है {{math|{{mset|1, ..., ''n''}}}}, R को अद्वितीय कहा जाता है {{math|{{mset|''X''<sub>''i''</sub>}}<sub>''i'' ∈ ''I''</sub>}}, और {{math|{{mset|''X''<sub>''i''</sub>}}<sub>''i'' ∈ ''J''</sub>}} [[प्राथमिक कुंजी]] कहलाती है<ref name="Codd1970" />आर का। उस मामले में जहां आर एक द्विआधारी संबंध है, जब आर {एक्स पर अद्वितीय है<sub>1</sub>}, इसे बाइनरी संबंध#विशेष प्रकार के बाइनरी संबंध|बाएं-अद्वितीय या अंतःक्षेपी भी कहा जाता है, और जब {X पर R अद्वितीय होता है<sub>2</sub>}, इसे बाइनरी संबंध#विशेष प्रकार के बाइनरी संबंध|सही-अद्वितीय या कार्यात्मक भी कहा जाता है। | ||
* जब सभी एक्स<sub>''i''</sub> समान समुच्चय X हैं, तो R को X के ऊपर एक n-ऐरी संबंध के रूप में संदर्भित करना आसान है, जिसे सजातीय संबंध कहा जाता है। अन्यथा R को विषमांगी संबंध कहा जाता है। | * जब सभी एक्स<sub>''i''</sub> समान समुच्चय X हैं, तो R को X के ऊपर एक n-ऐरी संबंध के रूप में संदर्भित करना आसान है, जिसे सजातीय संबंध कहा जाता है। अन्यथा R को विषमांगी संबंध कहा जाता है। | ||
* जब कोई X<sub>''i''</sub> खाली है, परिभाषित | * जब कोई X<sub>''i''</sub> खाली है, परिभाषित कार्तीय गुणनफल खाली है, और डोमेन के ऐसे अनुक्रम पर एकमात्र संबंध खाली संबंध है {{math|1=''R'' = ∅}}. इसलिए यह आमतौर पर निर्धारित किया जाता है कि सभी डोमेन खाली नहीं हैं। | ||
एक [[बूलियन डोमेन]] बी को दो-तत्व | एक [[बूलियन डोमेन]] बी को दो-तत्व समुच्चय होने दें, कहें, {{math|1='''B''' = {0, 1}}}, जिनके तत्वों की व्याख्या आमतौर पर तार्किक मानों के रूप में की जा सकती है {{math|1=0 = false}} और {{math|1=1 = true}}. R का संकेतक कार्य, χ द्वारा निरूपित<sub>''R''</sub>, [[बूलियन-मूल्यवान फ़ंक्शन]] है {{math|χ<sub>''R''</sub>: ''X''<sub>1</sub> × ⋯ × ''X''<sub>''n''</sub> → '''B'''}}, द्वारा परिभाषित {{math|1=χ<sub>''R''</sub>({{math|(''x''<sub>1</sub>, ⋯, ''x''<sub>''n''</sub>)}}) = 1}} अगर {{math|''Rx''<sub>1</sub>⋯''x''<sub>''n''</sub>}} और {{math|1=χ<sub>''R''</sub>({{math|(''x''<sub>1</sub>, ⋯, ''x''<sub>''n''</sub>)}}) = 0}} अन्यथा। | ||
अनुप्रयुक्त गणित, [[कंप्यूटर विज्ञान]] और सांख्यिकी में, बूलियन-मूल्यवान फ़ंक्शन को एन-आरी विधेय (गणित) के रूप में संदर्भित करना आम है। [[औपचारिक [[तर्क]]]] और [[मॉडल सिद्धांत]] के अधिक अमूर्त दृष्टिकोण से, संबंध आर एक तार्किक मॉडल या एक संबंधपरक संरचना का गठन करता है, जो कुछ एन-आरी विधेय प्रतीक के कई संभावित [[व्याख्या (तर्क)]] में से एक के रूप में कार्य करता है। | अनुप्रयुक्त गणित, [[कंप्यूटर विज्ञान]] और सांख्यिकी में, बूलियन-मूल्यवान फ़ंक्शन को एन-आरी विधेय (गणित) के रूप में संदर्भित करना आम है। [[औपचारिक [[तर्क]]]] और [[मॉडल सिद्धांत]] के अधिक अमूर्त दृष्टिकोण से, संबंध आर एक तार्किक मॉडल या एक संबंधपरक संरचना का गठन करता है, जो कुछ एन-आरी विधेय प्रतीक के कई संभावित [[व्याख्या (तर्क)]] में से एक के रूप में कार्य करता है। | ||
क्योंकि कई वैज्ञानिक विषयों के साथ-साथ गणित और तर्क की कई शाखाओं में संबंध उत्पन्न होते हैं, इसलिए शब्दावली में काफी भिन्नता है। एक संबंधपरक अवधारणा या शब्द के | क्योंकि कई वैज्ञानिक विषयों के साथ-साथ गणित और तर्क की कई शाखाओं में संबंध उत्पन्न होते हैं, इसलिए शब्दावली में काफी भिन्नता है। एक संबंधपरक अवधारणा या शब्द के समुच्चय सिद्धांत | समुच्चय-सैद्धांतिक [[विस्तार (शब्दार्थ)]] के अलावा, शब्द संबंध का उपयोग संबंधित तार्किक इकाई, या तो [[समझ (तर्क)]] को संदर्भित करने के लिए भी किया जा सकता है, जो कि गहनता या सार की समग्रता है। संबंध में सभी तत्वों द्वारा साझा किए गए गुण, या फिर इन तत्वों और इरादों को दर्शाने वाले प्रतीक। इसके अलावा, बाद के अनुनय के कुछ लेखक अधिक ठोस अर्थों के साथ शब्दों का परिचय देते हैं (जैसे किसी दिए गए संबंधपरक अवधारणा के समुच्चय-सैद्धांतिक विस्तार के लिए संबंधपरक संरचना)। | ||
== इतिहास == | == इतिहास == | ||
Revision as of 08:56, 7 March 2023
गणित में, समुच्चय X1, ..., Xn पर परिमित संबंध कार्तीय गुणनफल X1 × ⋯ × Xn का एक उपसमुच्चय है; अर्थात यह n-tuples का एक समुच्चय है (x1, ..., xn) तत्व x से मिलकरi एक्स मेंi.[1][2][3] विशिष्ट रूप से, संबंध n-ट्यूपल के तत्वों के बीच एक संभावित संबंध का वर्णन करता है। उदाहरण के लिए, संबंध x, y से विभाज्य है और z में 3-ट्यूपल्स का समुच्चय होता है जैसे कि जब क्रमशः x, y और z को प्रतिस्थापित किया जाता है, तो वाक्य को सत्य बनाते हैं।
संबंध में स्थानों की संख्या देने वाले गैर-ऋणात्मक पूर्णांक n को संबंध की विषमता, अनुकूलता या डिग्री कहा जाता है। n स्थानों के साथ संबंध को विभिन्न प्रकार से 'n-ary संबंध', 'n-adic संबंध' या 'n डिग्री का संबंध' कहा जाता है। स्थानों की एक सीमित संख्या के साथ संबंधों को परिमित संबंध कहा जाता है (या संदर्भ स्पष्ट होने पर केवल संबंध)। अनुक्रम के साथ असीमित संबंधों की अवधारणा को सामान्यीकृत करना भी संभव है।[4] समुच्चय पर एक एन-आरी संबंध X1, ..., Xn के सत्ता स्थापित का एक तत्व है X1 × ⋯ × Xn.
0-आर्य संबंध केवल दो सदस्यों की गिनती करते हैं: एक जो हमेशा धारण करता है, और वह जो कभी धारण नहीं करता। ऐसा इसलिए है क्योंकि केवल एक 0-टुपल, खाली टपल () है। वे कभी-कभी गणितीय प्रेरण तर्क के आधार मामले के निर्माण के लिए उपयोगी होते हैं।
यूनरी संबंधों को सदस्यों के संग्रह के रूप में देखा जा सकता है (जैसे [[नोबेल पुरस्कार]] विजेताओं का संग्रह) जिसमें कुछ संपत्ति होती है (जैसे कि नोबेल पुरस्कार से सम्मानित किया गया)।
बाइनरी संबंध अंतिम संबंधों का सबसे अधिक अध्ययन किया जाने वाला रूप है। जब एक्स1 = एक्स2 इसे सजातीय संबंध कहा जाता है, उदाहरण के लिए:
- समानता (गणित) और असमानता (गणित), जैसे बयानों में = और < जैसे संकेतों द्वारा निरूपित5 < 12 , या
- भाजक, चिह्न द्वारा निरूपित | 13|143 जैसे बयानों में।
अन्यथा यह एक विषम संबंध है, उदाहरण के लिए:
- तत्व (गणित), जैसे बयानों में ∈ चिह्न द्वारा दर्शाया गया है1 ∈ N .
उदाहरण
त्रैमासिक संबंध पर विचार करें R x सोचता है कि y लोगों के समूह पर z को पसंद करता है P = {Alice, Bob, Charles, Denise}, द्वारा परिभाषित:
- R = {(Alice, Bob, Denise), (Charles, Alice, Bob), (Charles, Charles, Alice), (Denise, Denise, Denise)}.
R को निम्न तालिका द्वारा समान रूप से दर्शाया जा सकता है:
| P | P | P |
|---|---|---|
| Alice | Bob | Denise |
| Charles | Alice | Bob |
| Charles | Charles | Alice |
| Denise | Denise | Denise |
यहाँ, प्रत्येक पंक्ति R के एक ट्रिपल का प्रतिनिधित्व करती है, अर्थात यह x के रूप में एक बयान देती है जो सोचती है कि y को z पसंद है। उदाहरण के लिए, पहली पंक्ति बताती है कि ऐलिस सोचती है कि बॉब डेनिस को पसंद करता है। सभी पंक्तियां अलग हैं। पंक्तियों का क्रम नगण्य है लेकिन स्तंभों का क्रम महत्वपूर्ण है।[1]
उपरोक्त तालिका एक संबंधपरक डेटाबेस का एक सरल उदाहरण भी है, एक ऐसा क्षेत्र जिसमें संबंधपरक बीजगणित में निहित सिद्धांत और डेटा प्रबंधन में अनुप्रयोग हैं।[5] हालाँकि, कंप्यूटर वैज्ञानिक, तर्कशास्त्री और गणितज्ञ अलग-अलग धारणाएँ रखते हैं कि एक सामान्य संबंध क्या है और इसमें क्या शामिल है। उदाहरण के लिए, डेटाबेस को अनुभवजन्य डेटा से निपटने के लिए डिज़ाइन किया गया है, जो कि परिभाषा के अनुसार परिमित है, जबकि गणित में, अनंत arity (अर्थात, अनन्त संबंध) के साथ संबंधों पर भी विचार किया जाता है।
परिभाषाएँ
When two objects, qualities, classes, or attributes, viewed together by the mind, are seen under some connexion, that connexion is called a relation.
गणित में सामने आई संबंधों की पहली परिभाषा है:
- परिभाषा 1
- एक एन-आरी 'रिलेशन' आर ओवर समुच्चय X1, ⋯, Xn कार्तीय गुणनफल का एक उपसमुच्चय है X1 × ⋯ × Xn.[1]
संबंधों की दूसरी परिभाषा एक मुहावरे का उपयोग करती है जो गणित में आम है, यह निर्धारित करते हुए कि फलां और फलां एक n-ट्यूपल है ताकि यह सुनिश्चित किया जा सके कि फलां गणितीय वस्तु n तत्वों के साथ गणितीय वस्तुओं के विनिर्देश द्वारा निर्धारित होती है। n समुच्चयों पर संबंध R के मामले में, हैं n + 1 चीजें निर्दिष्ट करने के लिए, अर्थात्, एन समुच्चय प्लस उनके कार्तीय गुणनफल का एक उपसमुच्चय। मुहावरे में, यह कहकर व्यक्त किया जाता है कि R एक (n + 1)-टुपल।
- परिभाषा 2
- एक एन-एरी 'रिलेशन' आर ओवर समुच्चय X1, ⋯, Xn एक (n + 1)-टुपल (X1, ⋯, Xn, G) जहां जी कार्तीय गुणनफल का एक उपसमुच्चय है X1 × ⋯ × Xn को R का ग्राफ कहा जाता है।
एक नियम के रूप में, जो भी परिभाषा सबसे उपयुक्त होती है, उसे उस उद्देश्य के लिए चुना जाएगा, और यदि कभी भी दो परिभाषाओं के बीच अंतर करना आवश्यक हो जाता है, तो दूसरी परिभाषा को संतुष्ट करने वाली इकाई को एक एम्बेडेड या शामिल संबंध कहा जा सकता है।
दोनों कथन (x1, ⋯, xn) ∈ R (पहली परिभाषा के तहत) और (x1, ⋯, xn) ∈ G (दूसरी परिभाषा के तहत) x पढ़ें1, ⋯, एक्सn आर-संबंधित हैं और पोलिश संकेतन का उपयोग करके निरूपित किए जाते हैं Rx1⋯xn और इसके द्वारा रिवर्स पोलिश नोटेशन का उपयोग करना x1⋯xnR. ऐसे मामले में जहां आर एक द्विआधारी संबंध है, उन बयानों को इंफिक्स नोटेशन द्वारा भी निरूपित किया जाता है x1Rx2.
निम्नलिखित विचार या तो परिभाषा के तहत लागू होते हैं:
- समुच्चय एक्सi कहा जाता है iवां डोमेन R.[1]पहली परिभाषा के तहत, संबंध विशिष्ट रूप से डोमेन के दिए गए अनुक्रम को निर्धारित नहीं करता है। ऐसे मामले में जहां आर एक द्विआधारी संबंध है, एक्स1 इसे बस बाइनरी रिलेशन # परिभाषा या R, और X के प्रस्थान का समुच्चय भी कहा जाता है2 इसे बाइनरी रिलेशन # परिभाषा या आर के गंतव्य का समुच्चय भी कहा जाता है।
- जब एक्स के तत्वi रिश्ते हैं, एक्सi R का एक सरल डोमेन कहा जाता है।[1]* के समुच्चय ∀xi ∈ Xi जिसके लिए मौजूद है (x1, ⋯, xi − 1, xi + 1, ⋯, xn) ∈ X1 × ⋯ × Xi − 1 × Xi + 1 × ⋯ × Xn ऐसा है कि Rx1⋯xi − 1xixi + 1⋯xn को परिभाषा का वां डोमेन या R का सक्रिय डोमेन कहा जाता है।[1]ऐसे मामले में जहां आर एक द्विआधारी संबंध है, इसकी परिभाषा के पहले डोमेन को केवल बाइनरी रिलेशन#परिभाषा या आर का सक्रिय डोमेन भी कहा जाता है, और इसकी परिभाषा के दूसरे डोमेन को बाइनरी रिलेशन#परिभाषा या आर का सक्रिय कोडोमेन भी कहा जाता है।
- जब {{mvar|i}R की परिभाषा का वां डोमेन X के बराबर हैi, R को X पर कुल कहा जाता हैi. ऐसे मामले में जहां R एक द्विआधारी संबंध है, जब R, X पर कुल है1, इसे बाइनरी रिलेशन#विशेष प्रकार के बाइनरी रिलेशंस भी कहा जाता है|बाएं-कुल या सीरियल, और जब आर एक्स पर कुल होता है2, इसे बाइनरी संबंध#विशेष प्रकार के बाइनरी संबंध|सही-कुल या विशेषण भी कहा जाता है।
- कब ∀x ∀y ∈ Xi. ∀z ∈ Xj. xRijz ∧ yRijz ⇒ x = y, कहाँ i ∈ I, j ∈ J, Rij = πij R, और {I, J} के समुच्चय का विभाजन है {1, ..., n}, R को अद्वितीय कहा जाता है {Xi}i ∈ I, और {Xi}i ∈ J प्राथमिक कुंजी कहलाती है[1]आर का। उस मामले में जहां आर एक द्विआधारी संबंध है, जब आर {एक्स पर अद्वितीय है1}, इसे बाइनरी संबंध#विशेष प्रकार के बाइनरी संबंध|बाएं-अद्वितीय या अंतःक्षेपी भी कहा जाता है, और जब {X पर R अद्वितीय होता है2}, इसे बाइनरी संबंध#विशेष प्रकार के बाइनरी संबंध|सही-अद्वितीय या कार्यात्मक भी कहा जाता है।
- जब सभी एक्सi समान समुच्चय X हैं, तो R को X के ऊपर एक n-ऐरी संबंध के रूप में संदर्भित करना आसान है, जिसे सजातीय संबंध कहा जाता है। अन्यथा R को विषमांगी संबंध कहा जाता है।
- जब कोई Xi खाली है, परिभाषित कार्तीय गुणनफल खाली है, और डोमेन के ऐसे अनुक्रम पर एकमात्र संबंध खाली संबंध है R = ∅. इसलिए यह आमतौर पर निर्धारित किया जाता है कि सभी डोमेन खाली नहीं हैं।
एक बूलियन डोमेन बी को दो-तत्व समुच्चय होने दें, कहें, B = {0, 1}, जिनके तत्वों की व्याख्या आमतौर पर तार्किक मानों के रूप में की जा सकती है 0 = false और 1 = true. R का संकेतक कार्य, χ द्वारा निरूपितR, बूलियन-मूल्यवान फ़ंक्शन है χR: X1 × ⋯ × Xn → B, द्वारा परिभाषित χR((x1, ⋯, xn)) = 1 अगर Rx1⋯xn और χR((x1, ⋯, xn)) = 0 अन्यथा।
अनुप्रयुक्त गणित, कंप्यूटर विज्ञान और सांख्यिकी में, बूलियन-मूल्यवान फ़ंक्शन को एन-आरी विधेय (गणित) के रूप में संदर्भित करना आम है। [[औपचारिक तर्क]] और मॉडल सिद्धांत के अधिक अमूर्त दृष्टिकोण से, संबंध आर एक तार्किक मॉडल या एक संबंधपरक संरचना का गठन करता है, जो कुछ एन-आरी विधेय प्रतीक के कई संभावित व्याख्या (तर्क) में से एक के रूप में कार्य करता है।
क्योंकि कई वैज्ञानिक विषयों के साथ-साथ गणित और तर्क की कई शाखाओं में संबंध उत्पन्न होते हैं, इसलिए शब्दावली में काफी भिन्नता है। एक संबंधपरक अवधारणा या शब्द के समुच्चय सिद्धांत | समुच्चय-सैद्धांतिक विस्तार (शब्दार्थ) के अलावा, शब्द संबंध का उपयोग संबंधित तार्किक इकाई, या तो समझ (तर्क) को संदर्भित करने के लिए भी किया जा सकता है, जो कि गहनता या सार की समग्रता है। संबंध में सभी तत्वों द्वारा साझा किए गए गुण, या फिर इन तत्वों और इरादों को दर्शाने वाले प्रतीक। इसके अलावा, बाद के अनुनय के कुछ लेखक अधिक ठोस अर्थों के साथ शब्दों का परिचय देते हैं (जैसे किसी दिए गए संबंधपरक अवधारणा के समुच्चय-सैद्धांतिक विस्तार के लिए संबंधपरक संरचना)।
इतिहास
तर्कशास्त्री ऑगस्टस डी मॉर्गन, 1860 के आसपास प्रकाशित अपने काम में, अपने वर्तमान अर्थों की तरह किसी भी चीज़ में संबंध की धारणा को स्पष्ट करने वाले पहले व्यक्ति थे। उन्होंने संबंधों के सिद्धांत में पहला औपचारिक परिणाम भी बताया (डी मॉर्गन और संबंधों पर, मेरिल 1990 देखें)।
चार्ल्स सैंडर्स पियर्स, भगवान फ्रीज का शुक्र है, जॉर्ज कैंटर, रिचर्ड डेडेकिंड और अन्य ने संबंधों के सिद्धांत को आगे बढ़ाया। उनके कई विचार, विशेष रूप से आदेश सिद्धांत कहे जाने वाले संबंधों पर, गणित के सिद्धांत (1903) में संक्षेपित किए गए थे जहां बर्ट्रेंड रसेल ने इन परिणामों का मुफ्त उपयोग किया था।
1970 में, एडगर एफ. कॉड ने डेटाबेस के लिए एक संबंधपरक मॉडल प्रस्तावित किया, इस प्रकार डेटा बेस प्रबंधन प्रणालियों के विकास की आशा की।[1]
यह भी देखें
- घटना संरचना
- हाइपरग्राफ
- रिश्तेदारों का तर्क
- तार्किक मैट्रिक्स
- आंशिक आदेश
- विधेय (गणितीय तर्क)
- प्रोजेक्शन (सेट सिद्धांत)
- प्रतिवर्त संबंध
- संबंध बीजगणित
- संबंधपरक बीजगणित
- संबंधपरक मॉडल
- संबंध (दर्शन)
संदर्भ
- ↑ 1.0 1.1 1.2 1.3 1.4 1.5 1.6 1.7 Codd, Edgar Frank (June 1970). "बड़े साझा डेटा बैंकों के लिए डेटा का एक संबंधपरक मॉडल" (PDF). Communications of the ACM. 13 (6): 377–387. doi:10.1145/362384.362685. S2CID 207549016. Retrieved 2020-04-29.
- ↑ "संबंध - गणित का विश्वकोश". www.encyclopediaofmath.org. Retrieved 2019-12-12.
- ↑ "एन-आरी संबंध की परिभाषा". cs.odu.edu. Retrieved 2019-12-12.
- ↑ Nivat, Maurice (1981). Astesiano, Egidio; Böhm, Corrado (eds.). "अनंत संबंध". Caap '81. Lecture Notes in Computer Science (in English). Springer Berlin Heidelberg. 112: 46–75. doi:10.1007/3-540-10828-9_54. ISBN 978-3-540-38716-9.
- ↑ "Relations — CS441" (PDF). www.pitt.edu. Retrieved 2019-12-11.
- ↑ De Morgan, A. (1858) "On the syllogism, part 3" in Heath, P., ed. (1966) On the syllogism and other logical writings. Routledge. P. 119,
ग्रन्थसूची
- Codd, Edgar Frank (1990). The Relational Model for Database Management: Version 2 (PDF). Boston: Addison-Wesley. ISBN 978-0201141924.
- Bourbaki, N. (1994) Elements of the History of Mathematics, John Meldrum, trans. Springer-Verlag.
- Carnap, Rudolf (1958) Introduction to Symbolic Logic with Applications. Dover Publications.
- Halmos, P.R. (1960) Naive Set Theory. Princeton NJ: D. Van Nostrand Company.
- Lawvere, F.W., and R. Rosebrugh (2003) Sets for Mathematics, Cambridge Univ. Press.
- Lewis, C.I. (1918) A Survey of Symbolic Logic, Chapter 3: Applications of the Boole—Schröder Algebra, via Internet Archive
- Lucas, J. R. (1999) Conceptual Roots of Mathematics. Routledge.
- Maddux, R.D. (2006) Relation Algebras, vol. 150 in "Studies in Logic and the Foundations of Mathematics". Elsevier Science.
- Merrill, Dan D. (1990) Augustus De Morgan and the logic of relations. Kluwer.
- Peirce, C.S. (1870), "Description of a Notation for the Logic of Relatives, Resulting from an Amplification of the Conceptions of Boole's Calculus of Logic", Memoirs of the American Academy of Arts and Sciences 9, 317–78, 1870. Reprinted, Collected Papers CP 3.45–149, Chronological Edition CE 2, 359–429.
- Peirce, C.S. (1984) Writings of Charles S. Peirce: A Chronological Edition, Volume 2, 1867-1871. Peirce Edition Project, eds. Indiana University Press.
- Russell, Bertrand (1903/1938) The Principles of Mathematics, 2nd ed. Cambridge Univ. Press.
- Suppes, Patrick (1960/1972) Axiomatic Set Theory. Dover Publications.
- Tarski, A. (1956/1983) Logic, Semantics, Metamathematics, Papers from 1923 to 1938, J.H. Woodger, trans. 1st edition, Oxford University Press. 2nd edition, J. Corcoran, ed. Indianapolis IN: Hackett Publishing.
- Ulam, S.M. and Bednarek, A.R. (1990), "On the Theory of Relational Structures and Schemata for Parallel Computation", pp. 477–508 in A.R. Bednarek and Françoise Ulam (eds.), Analogies Between Analogies: The Mathematical Reports of S.M. Ulam and His Los Alamos Collaborators, University of California Press, Berkeley, CA.
- Ulam, S.M. (1990) Analogies Between Analogies: The Mathematical Reports of S.M. Ulam and His Los Alamos Collaborators in A.R. Bednarek and Françoise Ulam, eds., University of California Press.
- Roland Fraïssé (2000) [1986] Theory of Relations, North Holland
