सत्ता स्थापित: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
{{short description|Mathematical set containing all subsets of a given set}} | {{short description|Mathematical set containing all subsets of a given set}} | ||
{{For| | {{For|सर्च इंजन डेवलपर|पावरसेट (कंपनी)}} | ||
{{Infobox mathematical statement | {{Infobox mathematical statement | ||
| name = Power set | | name = Power set | ||
Line 10: | Line 10: | ||
| symbolic statement = <math>x\in P(S) \iff x\subseteq S</math> | | symbolic statement = <math>x\in P(S) \iff x\subseteq S</math> | ||
}} | }} | ||
गणित में, [[ सेट (गणित) | | गणित में, [[ सेट (गणित) |समुच्चय (गणित)]] का '''पावर सेट''' (या पॉवर समुच्चय) {{mvar|S}} के सभी [[ सबसेट |उपसमुच्चय]] का समुच्चय {{mvar|S}} है, इस प्रकार किसी [[ खाली सेट |रिक्त समुच्चय]] युक्त {{mvar|S}} का मान अपने आप में समुच्चय हैं।<ref name="Weisstein">{{Cite web|last=Weisstein|first=Eric W.| title=सत्ता स्थापित| url=https://mathworld.wolfram.com/PowerSet.html|access-date=2020-09-05| website=mathworld.wolfram.com| language=en}}</ref> [[ स्वयंसिद्ध सेट सिद्धांत |स्वयंसिद्ध (एक्सयोमेटिक) समुच्चय सिद्धांत]] में (जैसा कि विकसित किया गया है, उदाहरण के लिए, [[ ZFC |ZFC]] स्वयंसिद्धों में), किसी भी समुच्चय के पावर समुच्चय के अस्तित्व को पावर समुच्चय के स्वयंसिद्ध द्वारा पोस्ट किया गया है।<ref>{{harvnb|Devlin|1979|page=50}}</ref> इसकी पावर {{mvar|S}} के रूप में विभिन्न {{math|{{mathcal|P}}(''S'')}} , {{math|𝒫(''S'')}}, {{math|''P''(''S'')}}, <math>\mathbb{P}(S)</math>, <math>\wp(X)</math>, या {{math|2<sup>''S''</sup>}} के रूपों से निरूपित की जाती है। {{math|2<sup>''S''</sup>}} के अंकन अर्ताथ जिसका अर्थ है कि सभी फंक्शनों का समुच्चय S से दो तत्वों के दिए गए समुच्चय (जैसे, {0, 1}) के लिए किया जाता है, क्योंकि का उपयोग किया जाता है क्योंकि पॉवरसेट {{mvar|S}} के साथ पहचाना जा सकता है, जो इसके बराबर, या सभी फंक्शनों के समुच्चय के समुच्चय के बराबर है, जिसमें दिए गए {{mvar|S}} के दो तत्वों को समुच्चय करने के लिए किया जाता हैं।<ref name="Weisstein" /> | ||
का कोई | {{mvar|S}} का कोई उपसमुच्चय {{math|{{mathcal|P}}(''S'')}} [[ सेट का परिवार |समुच्चय समूह]] कहा जाता है । | ||
== उदाहरण == | == उदाहरण == | ||
यदि {{mvar|S}} | यदि {{mvar|S}} समुच्चय है {{math|{{mset|''x'', ''y'', ''z''}}}}, फिर सभी उपसमुच्चय {{mvar|S}} हैं | ||
* {{math|{{mset}}}} (यह भी निरूपित है <math>\varnothing</math> या <math>\empty</math>, | * {{math|{{mset}}}} (यह भी निरूपित है <math>\varnothing</math> या <math>\empty</math>, रिक्त समुच्चय या अशक्त समुच्चय) | ||
* {{math|{{mset|''x''}}}} | * {{math|{{mset|''x''}}}} | ||
* {{math|{{mset|''y''}}}} | * {{math|{{mset|''y''}}}} | ||
Line 25: | Line 25: | ||
* {{math|{{mset|''y'', ''z''}}}} | * {{math|{{mset|''y'', ''z''}}}} | ||
* {{math|{{mset|''x'', ''y'', ''z''}}}} | * {{math|{{mset|''x'', ''y'', ''z''}}}} | ||
{{math|{{mset|{{mset}}, | |||
{{mset|''x''}}, | {{mset|''x''}}, | ||
{{mset|''y''}}, | {{mset|''y''}}, | ||
Line 32: | Line 32: | ||
{{mset|''x'', ''z''}}, | {{mset|''x'', ''z''}}, | ||
{{mset|''y'', ''z''}}, | {{mset|''y'', ''z''}}, | ||
{{mset|''x'', ''y'', ''z''}}}}}}।<ref>{{harvnb|Puntambekar|2007|pages=1–2}}</ref> | {{mset|''x'', ''y'', ''z''}}}}}} और इसलिए की पावर समुच्चय {{mvar|S}} है ।<ref>{{harvnb|Puntambekar|2007|pages=1–2}}</ref> | ||
== गुण == | == गुण == | ||
यदि {{mvar|''S''}} [[ प्रमुखता |प्रमुखता]] के साथ परिमित | यदि {{mvar|''S''}} [[ प्रमुखता |प्रमुखता]] के साथ परिमित समुच्चय {{math|1={{!}}''S''{{!}} = ''n''}} है, (अर्ताथ किसी समुच्चय में सभी {{math|1=''n''}} तत्वों की संख्या {{math|1=''S''}} है), फिर {{math|1={{!}}{{mathcal|P}}(''S''){{!}} = 2<sup>''n''</sup>}} के सभी उपसमुच्चयों की संख्या {{mvar|''S''}} है। इस तथ्य और इसके साथ ही संकेतन का कारण {{math|2<sup>''S''</sup>}} पावर समुच्चय को दर्शाते हुए {{math|1={{mathcal|P}}(''S'')}} को नीचे दिए गए मानों में प्रदर्शित किया जाता है। | ||
: | : किसी संकेतक फ़ंक्शन या कार्डिनलिटी के साथ समुच्चय S के उपसमुच्चय ए का विशिष्ट फंक्शन | S |= n S से दो तत्वों के लिए फ़ंक्शन {0, 1} है , जिसमें i<sub>A</sub>: S → {0, 1} के रूप में निरूपित, और यह इंगित करता है कि S का तत्व A से संबंधित है या नहीं;अगर X इन s से संबंधित है, तो I<sub>A</sub>(x) = 1, और 0 अन्यथा।S के प्रत्येक उपसमुच्चय A को संकेतक फ़ंक्शन 'I<sub>A</sub>' के बराबर या समतुल्य किया जाता है, और {{math|{{mset|0,1}}<sup>''S''</sup>}} S से सभी फंक्शनों के समुच्चय के रूप में {{math|{{mset|0,1}}}} अन्य शब्दों में S के सभी उपसमुच्चय के सभी संकेतक फंक्शन सम्मिलित करता हैं, इस प्रकार {{math|{{mset|0,1}}<sup>''S''</sup>}} पावर समुच्चय के बराबर या बायजमेंट {{math|1={{mathcal|P}}(''S'')}} है ।चूंकि S में प्रत्येक तत्व किसी भी फ़ंक्शन के अनुसार 0 या 1 से मेल खाता है, इस प्रकार {{math|{{mset|0,1}}<sup>''S''</sup>}} में सभी फंक्शनों की संख्या {{math|{{mset|0,1}}<sup>''S''</sup>}} 2<sup>n</sup> है। चूंकि नंबर 2 को {{math|{{mset|0,1}}}} रूप में परिभाषित किया जा सकता है (देखें, उदाहरण के लिए, [[ वॉन न्यूमैन ऑर्डिनल |वॉन न्यूमैन ऑर्डिनल]] ), {{math|1={{mathcal|P}}(''S'')}} के रूप में भी निरूपित है, जो {{math|2<sup>''S''</sup>}} को {{math|1={{abs|2<sup>''S''</sup>}} = 2<sup>{{abs|''S''}}</sup>}} होल्ड्स के रूप में निरूपित करता हैं। सामान्यतः, x<sup>Y</sup> y से x और सभी फंक्शनों का समुच्चय {{math|1={{!}}''X''<sup>''Y''</sup>{{!}} = {{!}}''X''{{!}}<sup>{{!}}''Y''{{!}}</sup>}}है। | ||
कैंटर का विकर्ण तर्क | कैंटर का विकर्ण तर्क जनरल समुच्चय्स या कैंटर के विकर्ण तर्क से पता चलता है कि समुच्चय का पावर समुच्चय (चाहे अनंत या नहीं) सदैव समुच्चय की तुलना में कड़ाई से उच्च कार्डिनलिटी हो (या अनौपचारिक रूप से, पावर समुच्चय मूल समुच्चय से बड़ा होना चाहिए)। विशेष रूप से, कैंटर के प्रमेय से पता चलता है कि [[ गिनती योग्य सेट |गिनती योग्य समुच्चय]] समुच्चय का पावर समुच्चय का [[ बेशुमार |अत्यधिक]] अनंत है।[[ प्राकृतिक संख्या ]]ओं के समुच्चय के पावर समुच्चय को बायजेक्शन में रखा जा सकता है। [[ वास्तविक संख्या |वास्तविक संख्या]] ओं के समुच्चय के साथ एक-से-एक पत्राचार (कंटिनम की कार्डिनैलिटी देखें) होते हैं। | ||
एक | एक समुच्चय का पावर समुच्चय {{mvar|''S''}}, संघ (समुच्चय सिद्धांत), चौराहे (समुच्चय सिद्धांत) और पूरक (समुच्चय सिद्धांत) के संचालन के साथ, [[ बूलियन बीजगणित |बूलियन बीजगणित]] (संरचना) के प्रोटोटाइपिक उदाहरण के रूप में देखा जा सकता है। वास्तव में, कोई यह दिखा सकता है कि कोई भी परिमित बूलियन बीजगणित परिमित समुच्चय के पावर समुच्चय के बूलियन बीजगणित के लिए [[ आइसोमॉर्फिक |आइसोमॉर्फिक]] है।अनंत बूलियन बीजगणित के लिए, यह अब सच नहीं है, किन्तु प्रत्येक अनंत बूलियन बीजगणित को पावर समुच्चय बूलियन बीजगणित (स्टोन के प्रतिनिधित्व प्रमेय देखें) के उप -क्षेत्र के रूप में दर्शाया जा सकता है। | ||
एक | एक समुच्चय का पावर समुच्चय {{mvar|''S''}} एबेलियन समूह बनाता है जब इसे सममित अंतर के संचालन के साथ माना जाता है (पहचान तत्व के रूप में रिक्त समुच्चय के साथ और प्रत्येक समुच्चय अपने स्वयं के व्युत्क्रम के रूप में होता है), और अंतःखण्ड के संचालन के साथ विचार किए जाने पर [[ विनिमेय |विनिमेय]] मोनॉयड को निरूपित करता हैं। इसलिए यह दिखाया जा सकता है, वितरणात्मक संपत्ति को प्रमाणित करके इन दोनों ऑपरेशनों के साथ साथ माना जाने वाला पावर सेट के लिए [[ बूलियन रिंग |बूलियन रिंग]] बनाता है। | ||
== फ़ंक्शंस के रूप में | == फ़ंक्शंस के रूप में उपसमुच्चय का प्रतिनिधित्व करना == | ||
समुच्चय सिद्धांत में, {{math|[[Function (mathematics)#Function space|''X''<sup>''Y''</sup>]]}} से सभी फ़ंक्शन (गणित) के समुच्चय का प्रतिनिधित्व करने वाला संकेतन है {{mvar|Y}} को {{mvar|X}}।के रूप में 2 के रूप में परिभाषित किया जा सकता है {{math|{{mset|0,1}}}} (देखें, उदाहरण के लिए, वॉन न्यूमैन ऑर्डिनल), {{math|2<sup>''S''</sup>}} (अर्थात, {{math|{{mset|0,1}}<sup>''S''</sup>}}) से सभी फ़ंक्शन (गणित) का समुच्चय है {{mvar|''S''}} को {{math|{{mset|0,1}}}}।पावर समुच्चय के रूप में#गुण, {{math|2<sup>''S''</sup>}} और की पावर समुच्चय {{mvar|''S''}}, {{math|1={{mathcal|P}}(''S'')}}, समान समुच्चय-सिद्धांत माना जाता है। | |||
इस तुल्यता को उदाहरण पावर | इस तुल्यता को उदाहरण पावर समुच्चय उदाहरण पर लागू किया जा सकता है, जिसमें {{math|1=''S'' = {{mset|''x'', ''y'', ''z''}}}}, 0 से संख्याओं के बाइनरी अभ्यावेदन के साथ [[ समाकृतिकता |समाकृतिकता]] प्राप्त करने के लिए {{math|2<sup>''n''</sup> − 1}}, साथ {{mvar|n}} समुच्चय में तत्वों की संख्या होने के साथ-साथ {{mvar|''S''}} या {{mvar|1={{!}}''S''{{!}} = n}}। सबसे पहले, एन्यूमरेटेड समुच्चय {{math|1={{mset| (''x'', 1), (''y'', 2), (''z'', 3) }}}} को परिभाषित किया गया है जिसमें प्रत्येक आदेशित जोड़ी में संख्या युग्मित तत्व की स्थिति का प्रतिनिधित्व करती है, जिसमें {{mvar|''S''}} मान के अनुसार इसके जैसे बाइनरी अंकों के अनुक्रम में {{math|1={{mset|''x'', ''y''}} = 011<sub>(2)</sub>}}; {{math|1=''x''}} का {{mvar|''S''}} इस अनुक्रम के दाईं ओर से पहले स्थित है और {{mvar|''y''}} दाईं ओर से दूसरे पर है, और अनुक्रम में 1 का अर्थ है तत्व {{mvar|''S''}} अनुक्रम में इसकी स्थिति के अनुरूप उपसमुच्चय में सम्मिलित है, इस प्रकार {{mvar|''S''}} अनुक्रम के लिए जबकि 0 का अर्थ है कि नहीं है। | ||
इसकी पूरी पावर समुच्चय के लिए {{mvar|''S''}}, हम पाते हैं: | |||
{|class="wikitable" | {|class="wikitable" | ||
|- | |- | ||
!scope="col"| | !scope="col"| उपसमुच्चय | ||
!scope="col"| | !scope="col"| बाइनरी अंकों का अनुक्रम | ||
!scope="col"| | !scope="col"| बाइनरी | ||
!scope="col"| | व्याख्या | ||
!scope="col"| बराबर दशमलव | |||
|- | |- | ||
| {{math|1={{mset| }} }} || {{math|0, 0, 0}} || {{math|000<sub>(2)</sub>}} || {{math|0<sub>(10)</sub>}} | | {{math|1={{mset| }} }} || {{math|0, 0, 0}} || {{math|000<sub>(2)</sub>}} || {{math|0<sub>(10)</sub>}} | ||
Line 73: | Line 72: | ||
| {{math|1={{mset| ''x'', ''y'', ''z'' }} }} || {{math|1, 1, 1}} || {{math|111<sub>(2)</sub>}} || {{math|7<sub>(10)</sub>}} | | {{math|1={{mset| ''x'', ''y'', ''z'' }} }} || {{math|1, 1, 1}} || {{math|111<sub>(2)</sub>}} || {{math|7<sub>(10)</sub>}} | ||
|} | |} | ||
इस प्रकार {{math|1={{mathcal|P}}(''S'')}} का मान इसके पूर्णांकों के समान रहता है, इसलिए सभी उपसमुच्चयों का यह प्रतिनिधित्व {{mvar|''S''}} करता है जिसका मान अद्वितीय नहीं है, किन्तु एन्यूमरेटेड समुच्चय का क्रम क्रम इसके कार्डिनैलिटी को परिवर्तित नहीं करता है।(उदाहरण के लिए {{math|1={{mset| (''y'', 1), (''z'', 2), (''x'', 3) }}}} का उपयोग और द्विध्रुव के निर्माण के लिए किया जा सकता है, जिसमें {{math|1={{mathcal|P}}(''S'')}} एक-से-एक पत्राचार की संख्या को परिवर्तित किए बिना पूर्णांक के लिए उपयोग करता हैं।) | |||
चूंकि, इस प्रकार के परिमित बाइनरी प्रतिनिधित्व केवल तभी संभव है जब S को गणना की जा सकती है। (इस उदाहरण में, {{math|1=''x''}}, {{math|1=''y''}}, और {{math|1=''z''}} बाइनरी अंक अनुक्रमों की स्थिति के रूप में क्रमशः 1, 2, और 3 के साथ गणना की जाती है।) इस प्रकार एन्यूमरेशन संभव है भले ही संभव हो {{mvar|''S''}} अनंत कार्डिनैलिटी है (अर्ताथ, इसके तत्वों की संख्या {{mvar|''S''}} के लिए अनंत है), जैसे कि पूर्णांक या तर्कसंगत का समुच्चय, किन्तु उदाहरण के लिए संभव नहीं है यदि S वास्तविक संख्याओं का समुच्चय है, तो जिस स्थिति में हम सभी तर्कहीन संख्याओं की गणना नहीं कर सकते हैं। | |||
== [[ द्विपद प्रमेय | द्विपद प्रमेय]] से संबंध == | == [[ द्विपद प्रमेय | द्विपद प्रमेय]] से संबंध == | ||
द्विपद प्रमेय पावर | द्विपद प्रमेय पावर समुच्चय से निकटता से संबंधित है। किसी {{math|k}} के लिए इसके कुछ समुच्चयों से संयोजन के लिए और {{math|k}}-लमेंट्स उपसमुच्चय के नाम रहते हैं, इसलिए संयोजनों की संख्या के रूप में निरूपित होने वाले {{math|C(''n'', ''k'')}} (जिसे बिनोमियल गुणांक भी कहा जाता है) के साथ कई उपसमुच्चय है, इस प्रकार {{mvar|k}} के साथ समुच्चय में तत्व {{mvar|n}} तत्व;दूसरे शब्दों में यह समुच्चय की संख्या है, {{math|k}} तत्व जो समुच्चय के {{math|n}} तत्वों के पावर सेट के तत्व हैं। | ||
उदाहरण के लिए, तीन तत्वों के साथ | उदाहरण के लिए, तीन तत्वों के साथ समुच्चय का पावर समुच्चय है: | ||
*C (3, 0) = 1 | *C (3, 0) = 1 उपसमुच्चय 0 तत्वों के साथ (रिक्त उपसमुच्चय), | ||
*C (3, 1) = 3 | *C (3, 1) = 3 उपसमुच्चय 1 तत्व के साथ (सिंगलटन उपसमुच्चय), | ||
*C (3, 2) = 3 | *C (3, 2) = 3 उपसमुच्चय 2 तत्वों के साथ (सिंगलटन उपसमुच्चय का पूरक), | ||
*C (3, 3) = 1 3 तत्वों के साथ | *C (3, 3) = 1 3 तत्वों के साथ उपसमुच्चय (मूल समुच्चय ही)। | ||
इस संबंध का उपयोग करते हुए, हम गणना कर सकते हैं <math display="inline">\left|2^S \right|</math> सूत्र का उपयोग करना: | इस संबंध का उपयोग करते हुए, हम गणना कर सकते हैं, जिसके लिए <math display="inline">\left|2^S \right|</math> सूत्र का उपयोग करना: | ||
<math display="block">\left|2^S \right | = \sum_{k=0}^{|S|} \binom{|S|}{k} </math> | <math display="block">\left|2^S \right | = \sum_{k=0}^{|S|} \binom{|S|}{k} </math> | ||
इसलिए, कोई निम्नलिखित पहचान को कम कर सकता है, यह मानकर <math display="inline">|S| = n</math>: | इसलिए, कोई निम्नलिखित पहचान को कम कर सकता है, यह मानकर <math display="inline">|S| = n</math>: | ||
Line 94: | Line 93: | ||
== पुनरावर्ती परिभाषा == | == पुनरावर्ती परिभाषा == | ||
यदि <math>S</math> [[ परिमित सेट |परिमित | यदि <math>S</math> [[ परिमित सेट |परिमित समुच्चय]] है, फिर [[ पुनरावर्ती परिभाषा |पुनरावर्ती परिभाषा]] है <math>P(S)</math> निम्नानुसार हैं: | ||
*यदि <math>S = \{\}</math>, तब <math>P(S) = \{\,\{\}\,\}</math>। | *यदि <math>S = \{\}</math>, तब <math>P(S) = \{\,\{\}\,\}</math>। | ||
Line 100: | Line 99: | ||
शब्दों में: | शब्दों में: | ||
* | * रिक्त समुच्चय का पावर समुच्चय [[ सिंगलटन (गणित) |सिंगलटन (गणित)]] है जिसका एकमात्र तत्व रिक्त समुच्चय है। | ||
* एक गैर- | * एक गैर-रिक्त समुच्चय के लिए <math>S</math>, होने देना <math>e</math> समुच्चय का कोई तत्व हो और <math>T</math> इसके समीपस्थ पूरक को पुनः पावर समुच्चय <math>S</math> पावर समुच्चय का संघ समुच्चय सिद्धांत है, इस प्रकार <math>T</math> और का पावर समुच्चय <math>T</math> जिसके प्रत्येक तत्व का विस्तार <math>e</math> तत्व के अनुसार किया जाता है । | ||
== सीमित कार्डिनलिटी के | == सीमित कार्डिनलिटी के उपसमुच्चय == | ||
इस उपसमुच्चय का समुच्चय {{mvar|''S''}} कार्डिनलिटी से कम या उसके बराबर {{math|κ}} कभी -कभी {{math|{{mathcal|P}}<sub>κ</sub>(''S'')}} या {{math|[''S'']<sup>κ</sup>}} द्वारा निरूपित किया जाता है, और कार्डिनलिटी के साथ उपसमुच्चय का समुच्चय सख्ती से कम {{math|κ}} कभी -कभी {{math|{{mathcal|P}}<sub>< κ</sub>(''S'')}} या {{math|[''S'']<sup><κ</sup>}} द्वारा निरूपित किया जाता है। इसी प्रकार गैर-रिक्त उपसमुच्चय {{math|{{mathcal|P}}<sub>≥ 1</sub>(''S'')}} या {{math|{{mathcal|P}}<sup>+</sup>(''S'')}} का समुच्चय {{mvar|''S''}} द्वारा निरूपित किया जा सकता है । | |||
== पावर ऑब्जेक्ट == | == पावर ऑब्जेक्ट == | ||
किसी समुच्चय को बीजगणित के रूप में माना जाता है जिसमें कोई गैर संचालन या समीकरणों को परिभाषित नहीं किया जाता है। इस दृष्टिकोण से पावर समुच्चय का विचार {{mvar|''X''}} के उपसमुच्चय के समुच्चय के रूप में {{mvar|''X''}} स्वाभाविक रूप से बीजीय संरचना या [[ बीजगणित |बीजगणित]] के सबलेगैब्रस को सामान्यीकृत करता है। | |||
एक | एक समुच्चय का पावर समुच्चय, जब समावेश द्वारा आदेश दिया जाता है, सदैव पूर्ण परमाणु बूलियन बीजगणित होता है, और हर पूर्ण परमाणु बूलियन बीजगणित कुछ समुच्चय के सभी उपसमुच्चय के ऑर्डर के रूप में उत्पन्न होता है। इस विधि से बीजगणित करने के लिए सामान्यीकरण यह है कि बीजगणित के उप -समूह का समुच्चय, फिर से समावेश द्वारा आदेश दिया जाता है, इस प्रकार सदैव बीजगणितीय ऑर्डर होता है, और हर बीजीय ऑर्डर कुछ बीजगणित के सबलेगैब्रस की ऑर्डर के रूप में उत्पन्न होती है। तो इस संबंध में, सबलगेब्रस उपसमुच्चय के अनुरूप व्यवहार करते हैं। | ||
चूंकि, उपसमुच्चय के दो महत्वपूर्ण गुण हैं जो सामान्य रूप से सबलेगेब्रस तक नहीं ले जाते हैं। सबसे पहले, चूंकि समुच्चय के उपसमुच्चय समुच्चय (साथ ही ऑर्डर) के रूप में, कुछ वर्गों में बीजगणित के उप -वर्गीकरण को उस वर्ग में बीजगणित के रूप में व्यवस्थित करना संभव नहीं हो सकता है, चूंकि उन्हें सदैव ऑर्डर के रूप में आयोजित किया जा सकता है। दूसरे शब्दों में समुच्चय के उपसमुच्चय्स उस समुच्चय से समुच्चय {0,1} = 2 तक के फंक्शनों के साथ ब्यूचमेंट में प्रकट होता हैं, इस बात की कोई गारंटी नहीं रहती हैं कि बीजगणित के वर्ग में बीजगणित होता है जो इस प्रकार से 2 की भूमिका निभा सकते है। | |||
बीजगणित के कुछ वर्ग इन दोनों गुणों का आनंद लेते | बीजगणित के कुछ वर्ग इन दोनों गुणों का आनंद लेते हैं। इसके पहले के मान अधिक सामान्य रहते हैं, दोनों स्थितियाँ अपेक्षाकृत दुर्लभ रहती है। इसका एक वर्ग जो दोनों के लिए समान है वह [[ बहुमूल्य |बहुमूल्य]] अवस्था में रहता है। इसके दो मल्टीग्राफ {{mvar|''G''}} और {{mvar|''H''}}, [[ समरूपता |समरूपता]] {{math|''h'': ''G'' → ''H''}} दिए गए है, जो दो फंक्शनों से मिलकर, मैपिंग अक्षों टू अक्षों और दूसरा मैपिंग किनारों को किनारों पर प्रकट होते हैं। इस प्रकार समुच्चय {{math|''H''<sup>''G''</sup>}} से समरूपता {{mvar|''G''}} को {{mvar|''H''}} फिर उस ग्राफ के रूप में आयोजित किया जाता है जिसके अक्षों और किनारों को क्रमशः उस समुच्चय में दिखाई देने वाले शीर्ष और किनारे के फंक्शन होते हैं। इसके अतिरिक्त मल्टीग्राफ के सबग्राफ {{mvar|''G''}} से ग्राफ होमोमोर्फिज्म के साथ ब्यूचमेंट में हैं, जिसमें {{mvar|''G''}} मल्टीग्राफ के लिए {{math|Ω}} दो कोने पर [[ पूर्ण ग्राफ |पूर्ण ग्राफ]] के रूप में निश्चित रहता हैं (इसलिए चार किनारों, अर्थात् दो आत्म-लूप और चक्र बनाने वाले दो और किनारों) को पांचवें किनारे के साथ संवर्धित किया जाता हैं, अर्थात् अक्षों में दूसरा लूप रहता हैं। इसलिए हम सबग्राफ को व्यवस्थित कर सकते हैं, इस कारण {{mvar|''G''}} मल्टीग्राफ के रूप में {{math|Ω<sup>''G''</sup>}}, {{mvar|''G''}} की पावर वस्तु कहा जाता है। | ||
एक बीजगणित के रूप में मल्टीग्राफ के बारे में जो विशेष है, वह यह है कि इसके संचालन असंबद्ध | एक बीजगणित के रूप में मल्टीग्राफ के बारे में जो विशेष है, वह यह है कि इसके संचालन असंबद्ध हैं। इस मल्टीग्राफ में समुच्चय बनाने वाले दो प्रकार के तत्व {{mvar|''V''}} अक्षों की और {{mvar|''E''}} किनारों पर होते हैं, और इसके दो अनियमित संचालन {{math|''s'',''t'': ''E'' → ''V''}} प्रत्येक किनारे के स्रोत (प्रारंभ) और लक्ष्य (अंत) कोने देना हैं। इस बीजगणित के सभी जिनके संचालन को अनियमित किया जाता है, उन्हें प्रेसफ कहा जाता है। प्रेसहीव्स के हर वर्ग में प्रीसीफ होता है, जिसमें {{math|Ω}} सबलगेब्रस के लिए भूमिका प्रकट करता है, जो 2 उपसमुच्चय के लिए उपयोग किया जाता हैं। इस प्रकार का वर्ग [[ श्रेणी (गणित) |श्रेणी (गणित)]] के रूप में प्राथमिक [[ टॉपोस |टॉपोस]] की अधिक सामान्य धारणा की विशेष स्थिति को प्रकट करता है जो [[ बंद श्रेणी |बंद श्रेणी]] (और इसके अतिरिक्त [[ कार्टेशियन बंद श्रेणी |कार्टेशियन बंद श्रेणी]] ) है और वस्तु है {{math|Ω}}, [[ सबबोजज वर्गीकरणकर्ता |सबबोजज वर्गीकरणकर्ता]] कहा जाता है। यद्यपि शब्द पावर ऑब्जेक्ट को कभी -कभी [[ घातीय वस्तु |घातीय वस्तु]] के साथ समानार्थक रूप से उपयोग किया जाता है, इस प्रकार यह {{math|''Y''<sup>''X''</sup>}}, {{math|Ω}} टॉपोस सिद्धांत में {{mvar|''Y''}} होना आवश्यक है । | ||
== फंक्शनर्स और क्वांटिफ़ायर == | == फंक्शनर्स और क्वांटिफ़ायर == | ||
[[ श्रेणी सिद्धांत | श्रेणी सिद्धांत]] और प्राथमिक टॉपोस के सिद्धांत में, [[ सार्वभौमिक परिमाणक |सार्वभौमिक परिमाणक]] को पावर | [[ श्रेणी सिद्धांत | श्रेणी सिद्धांत]] और प्राथमिक टॉपोस के सिद्धांत में, [[ सार्वभौमिक परिमाणक |सार्वभौमिक परिमाणक]] को पावर समुच्चय के बीच फ़ंक्शनर के [[ सही |सही]] आसन्न के रूप में समझा जा सकता है, समुच्चय के बीच फ़ंक्शन की [[ उलटा छवि |व्युत्क्रम प्रतिबिंब]] फ़न्क्टर, इसी प्रकार, अस्तित्वगत क्वांटिफायर बाएं आसन्न रहते है।<ref>[[Saunders Mac Lane]], [[Ieke Moerdijk]], (1992) ''Sheaves in Geometry and Logic'' Springer-Verlag. {{isbn|0-387-97710-4}} ''See page 58''</ref> | ||
== यह भी देखें == | == यह भी देखें == | ||
* कैंटर का प्रमेय | * कैंटर का प्रमेय | ||
* | * समुच्चय का समूह | ||
* [[ सेट का क्षेत्र ]] | * [[ सेट का क्षेत्र | समुच्चय का क्षेत्र]] | ||
*सभी कश्मीर के लिए के-कॉम्बिनेशन की संयोजन | *सभी कश्मीर के लिए के-कॉम्बिनेशन की संयोजन संख्या | ||
==संदर्भ== | ==संदर्भ== | ||
Line 149: | Line 146: | ||
{{Mathematical logic}} | {{Mathematical logic}} | ||
{{Set theory}} | {{Set theory}} | ||
[[श्रेणी: सेट पर संचालन]] | [[श्रेणी: सेट पर संचालन|श्रेणी: समुच्चय पर संचालन]] | ||
[[Category: Machine Translated Page]] | [[Category: Machine Translated Page]] | ||
[[Category:Created On 28/12/2022]] | [[Category:Created On 28/12/2022]] |
Revision as of 00:27, 7 May 2023
Type | Set operation |
---|---|
Field | Set theory |
Statement | The power set is the set that contains all subsets of a given set. |
Symbolic statement |
गणित में, समुच्चय (गणित) का पावर सेट (या पॉवर समुच्चय) S के सभी उपसमुच्चय का समुच्चय S है, इस प्रकार किसी रिक्त समुच्चय युक्त S का मान अपने आप में समुच्चय हैं।[1] स्वयंसिद्ध (एक्सयोमेटिक) समुच्चय सिद्धांत में (जैसा कि विकसित किया गया है, उदाहरण के लिए, ZFC स्वयंसिद्धों में), किसी भी समुच्चय के पावर समुच्चय के अस्तित्व को पावर समुच्चय के स्वयंसिद्ध द्वारा पोस्ट किया गया है।[2] इसकी पावर S के रूप में विभिन्न P(S) , 𝒫(S), P(S), , , या 2S के रूपों से निरूपित की जाती है। 2S के अंकन अर्ताथ जिसका अर्थ है कि सभी फंक्शनों का समुच्चय S से दो तत्वों के दिए गए समुच्चय (जैसे, {0, 1}) के लिए किया जाता है, क्योंकि का उपयोग किया जाता है क्योंकि पॉवरसेट S के साथ पहचाना जा सकता है, जो इसके बराबर, या सभी फंक्शनों के समुच्चय के समुच्चय के बराबर है, जिसमें दिए गए S के दो तत्वों को समुच्चय करने के लिए किया जाता हैं।[1]
S का कोई उपसमुच्चय P(S) समुच्चय समूह कहा जाता है ।
उदाहरण
यदि S समुच्चय है {x, y, z}, फिर सभी उपसमुच्चय S हैं
- {} (यह भी निरूपित है या , रिक्त समुच्चय या अशक्त समुच्चय)
- {x}
- {y}
- {z}
- {x, y}
- {x, z}
- {y, z}
- {x, y, z}
{{}, {x}, {y}, {z}, {x, y}, {x, z}, {y, z}, {x, y, z}} और इसलिए की पावर समुच्चय S है ।[3]
गुण
यदि S प्रमुखता के साथ परिमित समुच्चय |S| = n है, (अर्ताथ किसी समुच्चय में सभी n तत्वों की संख्या S है), फिर |P(S)| = 2n के सभी उपसमुच्चयों की संख्या S है। इस तथ्य और इसके साथ ही संकेतन का कारण 2S पावर समुच्चय को दर्शाते हुए P(S) को नीचे दिए गए मानों में प्रदर्शित किया जाता है।
- किसी संकेतक फ़ंक्शन या कार्डिनलिटी के साथ समुच्चय S के उपसमुच्चय ए का विशिष्ट फंक्शन | S |= n S से दो तत्वों के लिए फ़ंक्शन {0, 1} है , जिसमें iA: S → {0, 1} के रूप में निरूपित, और यह इंगित करता है कि S का तत्व A से संबंधित है या नहीं;अगर X इन s से संबंधित है, तो IA(x) = 1, और 0 अन्यथा।S के प्रत्येक उपसमुच्चय A को संकेतक फ़ंक्शन 'IA' के बराबर या समतुल्य किया जाता है, और {0,1}S S से सभी फंक्शनों के समुच्चय के रूप में {0,1} अन्य शब्दों में S के सभी उपसमुच्चय के सभी संकेतक फंक्शन सम्मिलित करता हैं, इस प्रकार {0,1}S पावर समुच्चय के बराबर या बायजमेंट P(S) है ।चूंकि S में प्रत्येक तत्व किसी भी फ़ंक्शन के अनुसार 0 या 1 से मेल खाता है, इस प्रकार {0,1}S में सभी फंक्शनों की संख्या {0,1}S 2n है। चूंकि नंबर 2 को {0,1} रूप में परिभाषित किया जा सकता है (देखें, उदाहरण के लिए, वॉन न्यूमैन ऑर्डिनल ), P(S) के रूप में भी निरूपित है, जो 2S को |2S| = 2|S| होल्ड्स के रूप में निरूपित करता हैं। सामान्यतः, xY y से x और सभी फंक्शनों का समुच्चय |XY| = |X||Y|है।
कैंटर का विकर्ण तर्क जनरल समुच्चय्स या कैंटर के विकर्ण तर्क से पता चलता है कि समुच्चय का पावर समुच्चय (चाहे अनंत या नहीं) सदैव समुच्चय की तुलना में कड़ाई से उच्च कार्डिनलिटी हो (या अनौपचारिक रूप से, पावर समुच्चय मूल समुच्चय से बड़ा होना चाहिए)। विशेष रूप से, कैंटर के प्रमेय से पता चलता है कि गिनती योग्य समुच्चय समुच्चय का पावर समुच्चय का अत्यधिक अनंत है।प्राकृतिक संख्या ओं के समुच्चय के पावर समुच्चय को बायजेक्शन में रखा जा सकता है। वास्तविक संख्या ओं के समुच्चय के साथ एक-से-एक पत्राचार (कंटिनम की कार्डिनैलिटी देखें) होते हैं।
एक समुच्चय का पावर समुच्चय S, संघ (समुच्चय सिद्धांत), चौराहे (समुच्चय सिद्धांत) और पूरक (समुच्चय सिद्धांत) के संचालन के साथ, बूलियन बीजगणित (संरचना) के प्रोटोटाइपिक उदाहरण के रूप में देखा जा सकता है। वास्तव में, कोई यह दिखा सकता है कि कोई भी परिमित बूलियन बीजगणित परिमित समुच्चय के पावर समुच्चय के बूलियन बीजगणित के लिए आइसोमॉर्फिक है।अनंत बूलियन बीजगणित के लिए, यह अब सच नहीं है, किन्तु प्रत्येक अनंत बूलियन बीजगणित को पावर समुच्चय बूलियन बीजगणित (स्टोन के प्रतिनिधित्व प्रमेय देखें) के उप -क्षेत्र के रूप में दर्शाया जा सकता है।
एक समुच्चय का पावर समुच्चय S एबेलियन समूह बनाता है जब इसे सममित अंतर के संचालन के साथ माना जाता है (पहचान तत्व के रूप में रिक्त समुच्चय के साथ और प्रत्येक समुच्चय अपने स्वयं के व्युत्क्रम के रूप में होता है), और अंतःखण्ड के संचालन के साथ विचार किए जाने पर विनिमेय मोनॉयड को निरूपित करता हैं। इसलिए यह दिखाया जा सकता है, वितरणात्मक संपत्ति को प्रमाणित करके इन दोनों ऑपरेशनों के साथ साथ माना जाने वाला पावर सेट के लिए बूलियन रिंग बनाता है।
फ़ंक्शंस के रूप में उपसमुच्चय का प्रतिनिधित्व करना
समुच्चय सिद्धांत में, XY से सभी फ़ंक्शन (गणित) के समुच्चय का प्रतिनिधित्व करने वाला संकेतन है Y को X।के रूप में 2 के रूप में परिभाषित किया जा सकता है {0,1} (देखें, उदाहरण के लिए, वॉन न्यूमैन ऑर्डिनल), 2S (अर्थात, {0,1}S) से सभी फ़ंक्शन (गणित) का समुच्चय है S को {0,1}।पावर समुच्चय के रूप में#गुण, 2S और की पावर समुच्चय S, P(S), समान समुच्चय-सिद्धांत माना जाता है।
इस तुल्यता को उदाहरण पावर समुच्चय उदाहरण पर लागू किया जा सकता है, जिसमें S = {x, y, z}, 0 से संख्याओं के बाइनरी अभ्यावेदन के साथ समाकृतिकता प्राप्त करने के लिए 2n − 1, साथ n समुच्चय में तत्वों की संख्या होने के साथ-साथ S या |S| = n। सबसे पहले, एन्यूमरेटेड समुच्चय { (x, 1), (y, 2), (z, 3) } को परिभाषित किया गया है जिसमें प्रत्येक आदेशित जोड़ी में संख्या युग्मित तत्व की स्थिति का प्रतिनिधित्व करती है, जिसमें S मान के अनुसार इसके जैसे बाइनरी अंकों के अनुक्रम में {x, y} = 011(2); x का S इस अनुक्रम के दाईं ओर से पहले स्थित है और y दाईं ओर से दूसरे पर है, और अनुक्रम में 1 का अर्थ है तत्व S अनुक्रम में इसकी स्थिति के अनुरूप उपसमुच्चय में सम्मिलित है, इस प्रकार S अनुक्रम के लिए जबकि 0 का अर्थ है कि नहीं है।
इसकी पूरी पावर समुच्चय के लिए S, हम पाते हैं:
उपसमुच्चय | बाइनरी अंकों का अनुक्रम | बाइनरी
व्याख्या |
बराबर दशमलव |
---|---|---|---|
{ } | 0, 0, 0 | 000(2) | 0(10) |
{ x } | 0, 0, 1 | 001(2) | 1(10) |
{ y } | 0, 1, 0 | 010(2) | 2(10) |
{ x, y } | 0, 1, 1 | 011(2) | 3(10) |
{ z } | 1, 0, 0 | 100(2) | 4(10) |
{ x, z } | 1, 0, 1 | 101(2) | 5(10) |
{ y, z } | 1, 1, 0 | 110(2) | 6(10) |
{ x, y, z } | 1, 1, 1 | 111(2) | 7(10) |
इस प्रकार P(S) का मान इसके पूर्णांकों के समान रहता है, इसलिए सभी उपसमुच्चयों का यह प्रतिनिधित्व S करता है जिसका मान अद्वितीय नहीं है, किन्तु एन्यूमरेटेड समुच्चय का क्रम क्रम इसके कार्डिनैलिटी को परिवर्तित नहीं करता है।(उदाहरण के लिए { (y, 1), (z, 2), (x, 3) } का उपयोग और द्विध्रुव के निर्माण के लिए किया जा सकता है, जिसमें P(S) एक-से-एक पत्राचार की संख्या को परिवर्तित किए बिना पूर्णांक के लिए उपयोग करता हैं।)
चूंकि, इस प्रकार के परिमित बाइनरी प्रतिनिधित्व केवल तभी संभव है जब S को गणना की जा सकती है। (इस उदाहरण में, x, y, और z बाइनरी अंक अनुक्रमों की स्थिति के रूप में क्रमशः 1, 2, और 3 के साथ गणना की जाती है।) इस प्रकार एन्यूमरेशन संभव है भले ही संभव हो S अनंत कार्डिनैलिटी है (अर्ताथ, इसके तत्वों की संख्या S के लिए अनंत है), जैसे कि पूर्णांक या तर्कसंगत का समुच्चय, किन्तु उदाहरण के लिए संभव नहीं है यदि S वास्तविक संख्याओं का समुच्चय है, तो जिस स्थिति में हम सभी तर्कहीन संख्याओं की गणना नहीं कर सकते हैं।
द्विपद प्रमेय से संबंध
द्विपद प्रमेय पावर समुच्चय से निकटता से संबंधित है। किसी k के लिए इसके कुछ समुच्चयों से संयोजन के लिए और k-लमेंट्स उपसमुच्चय के नाम रहते हैं, इसलिए संयोजनों की संख्या के रूप में निरूपित होने वाले C(n, k) (जिसे बिनोमियल गुणांक भी कहा जाता है) के साथ कई उपसमुच्चय है, इस प्रकार k के साथ समुच्चय में तत्व n तत्व;दूसरे शब्दों में यह समुच्चय की संख्या है, k तत्व जो समुच्चय के n तत्वों के पावर सेट के तत्व हैं।
उदाहरण के लिए, तीन तत्वों के साथ समुच्चय का पावर समुच्चय है:
- C (3, 0) = 1 उपसमुच्चय 0 तत्वों के साथ (रिक्त उपसमुच्चय),
- C (3, 1) = 3 उपसमुच्चय 1 तत्व के साथ (सिंगलटन उपसमुच्चय),
- C (3, 2) = 3 उपसमुच्चय 2 तत्वों के साथ (सिंगलटन उपसमुच्चय का पूरक),
- C (3, 3) = 1 3 तत्वों के साथ उपसमुच्चय (मूल समुच्चय ही)।
इस संबंध का उपयोग करते हुए, हम गणना कर सकते हैं, जिसके लिए सूत्र का उपयोग करना:
पुनरावर्ती परिभाषा
यदि परिमित समुच्चय है, फिर पुनरावर्ती परिभाषा है निम्नानुसार हैं:
- यदि , तब ।
- अन्यथा, चलो और ;तब ।
शब्दों में:
- रिक्त समुच्चय का पावर समुच्चय सिंगलटन (गणित) है जिसका एकमात्र तत्व रिक्त समुच्चय है।
- एक गैर-रिक्त समुच्चय के लिए , होने देना समुच्चय का कोई तत्व हो और इसके समीपस्थ पूरक को पुनः पावर समुच्चय पावर समुच्चय का संघ समुच्चय सिद्धांत है, इस प्रकार और का पावर समुच्चय जिसके प्रत्येक तत्व का विस्तार तत्व के अनुसार किया जाता है ।
सीमित कार्डिनलिटी के उपसमुच्चय
इस उपसमुच्चय का समुच्चय S कार्डिनलिटी से कम या उसके बराबर κ कभी -कभी Pκ(S) या [S]κ द्वारा निरूपित किया जाता है, और कार्डिनलिटी के साथ उपसमुच्चय का समुच्चय सख्ती से कम κ कभी -कभी P< κ(S) या [S]<κ द्वारा निरूपित किया जाता है। इसी प्रकार गैर-रिक्त उपसमुच्चय P≥ 1(S) या P+(S) का समुच्चय S द्वारा निरूपित किया जा सकता है ।
पावर ऑब्जेक्ट
किसी समुच्चय को बीजगणित के रूप में माना जाता है जिसमें कोई गैर संचालन या समीकरणों को परिभाषित नहीं किया जाता है। इस दृष्टिकोण से पावर समुच्चय का विचार X के उपसमुच्चय के समुच्चय के रूप में X स्वाभाविक रूप से बीजीय संरचना या बीजगणित के सबलेगैब्रस को सामान्यीकृत करता है।
एक समुच्चय का पावर समुच्चय, जब समावेश द्वारा आदेश दिया जाता है, सदैव पूर्ण परमाणु बूलियन बीजगणित होता है, और हर पूर्ण परमाणु बूलियन बीजगणित कुछ समुच्चय के सभी उपसमुच्चय के ऑर्डर के रूप में उत्पन्न होता है। इस विधि से बीजगणित करने के लिए सामान्यीकरण यह है कि बीजगणित के उप -समूह का समुच्चय, फिर से समावेश द्वारा आदेश दिया जाता है, इस प्रकार सदैव बीजगणितीय ऑर्डर होता है, और हर बीजीय ऑर्डर कुछ बीजगणित के सबलेगैब्रस की ऑर्डर के रूप में उत्पन्न होती है। तो इस संबंध में, सबलगेब्रस उपसमुच्चय के अनुरूप व्यवहार करते हैं।
चूंकि, उपसमुच्चय के दो महत्वपूर्ण गुण हैं जो सामान्य रूप से सबलेगेब्रस तक नहीं ले जाते हैं। सबसे पहले, चूंकि समुच्चय के उपसमुच्चय समुच्चय (साथ ही ऑर्डर) के रूप में, कुछ वर्गों में बीजगणित के उप -वर्गीकरण को उस वर्ग में बीजगणित के रूप में व्यवस्थित करना संभव नहीं हो सकता है, चूंकि उन्हें सदैव ऑर्डर के रूप में आयोजित किया जा सकता है। दूसरे शब्दों में समुच्चय के उपसमुच्चय्स उस समुच्चय से समुच्चय {0,1} = 2 तक के फंक्शनों के साथ ब्यूचमेंट में प्रकट होता हैं, इस बात की कोई गारंटी नहीं रहती हैं कि बीजगणित के वर्ग में बीजगणित होता है जो इस प्रकार से 2 की भूमिका निभा सकते है।
बीजगणित के कुछ वर्ग इन दोनों गुणों का आनंद लेते हैं। इसके पहले के मान अधिक सामान्य रहते हैं, दोनों स्थितियाँ अपेक्षाकृत दुर्लभ रहती है। इसका एक वर्ग जो दोनों के लिए समान है वह बहुमूल्य अवस्था में रहता है। इसके दो मल्टीग्राफ G और H, समरूपता h: G → H दिए गए है, जो दो फंक्शनों से मिलकर, मैपिंग अक्षों टू अक्षों और दूसरा मैपिंग किनारों को किनारों पर प्रकट होते हैं। इस प्रकार समुच्चय HG से समरूपता G को H फिर उस ग्राफ के रूप में आयोजित किया जाता है जिसके अक्षों और किनारों को क्रमशः उस समुच्चय में दिखाई देने वाले शीर्ष और किनारे के फंक्शन होते हैं। इसके अतिरिक्त मल्टीग्राफ के सबग्राफ G से ग्राफ होमोमोर्फिज्म के साथ ब्यूचमेंट में हैं, जिसमें G मल्टीग्राफ के लिए Ω दो कोने पर पूर्ण ग्राफ के रूप में निश्चित रहता हैं (इसलिए चार किनारों, अर्थात् दो आत्म-लूप और चक्र बनाने वाले दो और किनारों) को पांचवें किनारे के साथ संवर्धित किया जाता हैं, अर्थात् अक्षों में दूसरा लूप रहता हैं। इसलिए हम सबग्राफ को व्यवस्थित कर सकते हैं, इस कारण G मल्टीग्राफ के रूप में ΩG, G की पावर वस्तु कहा जाता है।
एक बीजगणित के रूप में मल्टीग्राफ के बारे में जो विशेष है, वह यह है कि इसके संचालन असंबद्ध हैं। इस मल्टीग्राफ में समुच्चय बनाने वाले दो प्रकार के तत्व V अक्षों की और E किनारों पर होते हैं, और इसके दो अनियमित संचालन s,t: E → V प्रत्येक किनारे के स्रोत (प्रारंभ) और लक्ष्य (अंत) कोने देना हैं। इस बीजगणित के सभी जिनके संचालन को अनियमित किया जाता है, उन्हें प्रेसफ कहा जाता है। प्रेसहीव्स के हर वर्ग में प्रीसीफ होता है, जिसमें Ω सबलगेब्रस के लिए भूमिका प्रकट करता है, जो 2 उपसमुच्चय के लिए उपयोग किया जाता हैं। इस प्रकार का वर्ग श्रेणी (गणित) के रूप में प्राथमिक टॉपोस की अधिक सामान्य धारणा की विशेष स्थिति को प्रकट करता है जो बंद श्रेणी (और इसके अतिरिक्त कार्टेशियन बंद श्रेणी ) है और वस्तु है Ω, सबबोजज वर्गीकरणकर्ता कहा जाता है। यद्यपि शब्द पावर ऑब्जेक्ट को कभी -कभी घातीय वस्तु के साथ समानार्थक रूप से उपयोग किया जाता है, इस प्रकार यह YX, Ω टॉपोस सिद्धांत में Y होना आवश्यक है ।
फंक्शनर्स और क्वांटिफ़ायर
श्रेणी सिद्धांत और प्राथमिक टॉपोस के सिद्धांत में, सार्वभौमिक परिमाणक को पावर समुच्चय के बीच फ़ंक्शनर के सही आसन्न के रूप में समझा जा सकता है, समुच्चय के बीच फ़ंक्शन की व्युत्क्रम प्रतिबिंब फ़न्क्टर, इसी प्रकार, अस्तित्वगत क्वांटिफायर बाएं आसन्न रहते है।[4]
यह भी देखें
- कैंटर का प्रमेय
- समुच्चय का समूह
- समुच्चय का क्षेत्र
- सभी कश्मीर के लिए के-कॉम्बिनेशन की संयोजन संख्या
संदर्भ
- ↑ 1.0 1.1 Weisstein, Eric W. "सत्ता स्थापित". mathworld.wolfram.com (in English). Retrieved 2020-09-05.
- ↑ Devlin 1979, p. 50
- ↑ Puntambekar 2007, pp. 1–2
- ↑ Saunders Mac Lane, Ieke Moerdijk, (1992) Sheaves in Geometry and Logic Springer-Verlag. ISBN 0-387-97710-4 See page 58
ग्रन्थसूची
- Devlin, Keith J. (1979). Fundamentals of contemporary set theory. Universitext. Springer-Verlag. ISBN 0-387-90441-7. Zbl 0407.04003.
- Halmos, Paul R. (1960). Naive set theory. The University Series in Undergraduate Mathematics. van Nostrand Company. Zbl 0087.04403.
- Puntambekar, A. A. (2007). Theory Of Automata And Formal Languages. Technical Publications. ISBN 978-81-8431-193-8.
बाहरी कड़ियाँ
- Power set at PlanetMath.
- Power set at the nLab
- Power object at the nLab
- Power set Algorithm in C++