सत्ता स्थापित: Difference between revisions

Power set
	The elements of the power set of {x, y, z} ordered with respect to inclusion.
Type	Set operation
Field	Set theory
Statement	The power set is the set that contains all subsets of a given set.
Symbolic statement

Latest revision as of 11:58, 10 May 2023

गणित में, समुच्चय (गणित) का पावर सेट (या पॉवर समुच्चय) $S$ के सभी उपसमुच्चय का समुच्चय $S$ है, इस प्रकार किसी रिक्त समुच्चय युक्त $S$ का मान अपने आप में समुच्चय हैं।^[1] स्वयंसिद्ध (एक्सयोमेटिक) समुच्चय सिद्धांत में (जैसा कि विकसित किया गया है, उदाहरण के लिए, ZFC स्वयंसिद्धों में), किसी भी समुच्चय के पावर समुच्चय के अस्तित्व को पावर समुच्चय के स्वयंसिद्ध द्वारा पोस्ट किया गया है।^[2] इसकी पावर $S$ के रूप में विभिन्न $P (S)$ , $𝒫(S)$ , $P (S)$ , $\mathbb {P} (S)$ , $\wp (X)$ , या $2 S$ के रूपों से निरूपित की जाती है। $2 S$ के अंकन अर्ताथ जिसका अर्थ है कि सभी फंक्शनों का समुच्चय S से दो तत्वों के दिए गए समुच्चय (जैसे, {0, 1}) के लिए किया जाता है, क्योंकि का उपयोग किया जाता है क्योंकि पॉवरसेट $S$ के साथ पहचाना जा सकता है, जो इसके बराबर, या सभी फंक्शनों के समुच्चय के समुच्चय के बराबर है, जिसमें दिए गए $S$ के दो तत्वों को समुच्चय करने के लिए किया जाता हैं।^[1]

$S$ का कोई उपसमुच्चय $P (S)$ समुच्चय समूह कहा जाता है ।

उदाहरण

यदि $S$ समुच्चय है ${x, y, z}$ , फिर सभी उपसमुच्चय $S$ हैं

${}$ (यह भी निरूपित है $\varnothing$ या $\emptyset$ , रिक्त समुच्चय या अशक्त समुच्चय)
${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)| = 2 n$ के सभी उपसमुच्चयों की संख्या $S$ है। इस तथ्य और इसके साथ ही संकेतन का कारण $2 S$ पावर समुच्चय को दर्शाते हुए $P (S)$ को नीचे दिए गए मानों में प्रदर्शित किया जाता है।

किसी संकेतक फ़ंक्शन या कार्डिनलिटी के साथ समुच्चय S के उपसमुच्चय ए का विशिष्ट फंक्शन | S |= n S से दो तत्वों के लिए फ़ंक्शन {0, 1} है , जिसमें i_A: S → {0, 1} के रूप में निरूपित, और यह इंगित करता है कि S का तत्व A से संबंधित है या नहीं;अगर X इन s से संबंधित है, तो I_A(x) = 1, और 0 अन्यथा।S के प्रत्येक उपसमुच्चय A को संकेतक फ़ंक्शन 'I_A' के बराबर या समतुल्य किया जाता है, और

{0,1} S

S से सभी फंक्शनों के समुच्चय के रूप में

{0,1}

अन्य शब्दों में S के सभी उपसमुच्चय के सभी संकेतक फंक्शन सम्मिलित करता हैं, इस प्रकार

{0,1} S

पावर समुच्चय के बराबर या बायजमेंट

P (S)

है ।चूंकि S में प्रत्येक तत्व किसी भी फ़ंक्शन के अनुसार 0 या 1 से मेल खाता है, इस प्रकार

{0,1} S

में सभी फंक्शनों की संख्या

{0,1} S

2ⁿ है। चूंकि नंबर 2 को

{0,1}

रूप में परिभाषित किया जा सकता है (देखें, उदाहरण के लिए, वॉन न्यूमैन ऑर्डिनल ),

P (S)

के रूप में भी निरूपित है, जो

2 S

को

| 2 S | = 2 | S |

होल्ड्स के रूप में निरूपित करता हैं। सामान्यतः, x^Y y से x और सभी फंक्शनों का समुच्चय

| X Y | = | X | | Y |

है।

कैंटर का विकर्ण तर्क जनरल समुच्चय्स या कैंटर के विकर्ण तर्क से पता चलता है कि समुच्चय का पावर समुच्चय (चाहे अनंत या नहीं) सदैव समुच्चय की तुलना में कड़ाई से उच्च कार्डिनलिटी हो (या अनौपचारिक रूप से, पावर समुच्चय मूल समुच्चय से बड़ा होना चाहिए)। विशेष रूप से, कैंटर के प्रमेय से पता चलता है कि गिनती योग्य समुच्चय समुच्चय का पावर समुच्चय का अत्यधिक अनंत है।प्राकृतिक संख्या ओं के समुच्चय के पावर समुच्चय को बायजेक्शन में रखा जा सकता है। वास्तविक संख्या ओं के समुच्चय के साथ एक-से-एक पत्राचार (कंटिनम की कार्डिनैलिटी देखें) होते हैं।

एक समुच्चय का पावर समुच्चय $S$ , संघ (समुच्चय सिद्धांत), चौराहे (समुच्चय सिद्धांत) और पूरक (समुच्चय सिद्धांत) के संचालन के साथ, बूलियन बीजगणित (संरचना) के प्रोटोटाइपिक उदाहरण के रूप में देखा जा सकता है। वास्तव में, कोई यह दिखा सकता है कि कोई भी परिमित बूलियन बीजगणित परिमित समुच्चय के पावर समुच्चय के बूलियन बीजगणित के लिए आइसोमॉर्फिक है।अनंत बूलियन बीजगणित के लिए, यह अब सच नहीं है, किन्तु प्रत्येक अनंत बूलियन बीजगणित को पावर समुच्चय बूलियन बीजगणित (स्टोन के प्रतिनिधित्व प्रमेय देखें) के उप -क्षेत्र के रूप में दर्शाया जा सकता है।

एक समुच्चय का पावर समुच्चय $S$ एबेलियन समूह बनाता है जब इसे सममित अंतर के संचालन के साथ माना जाता है (पहचान तत्व के रूप में रिक्त समुच्चय के साथ और प्रत्येक समुच्चय अपने स्वयं के व्युत्क्रम के रूप में होता है), और अंतःखण्ड के संचालन के साथ विचार किए जाने पर विनिमेय मोनॉयड को निरूपित करता हैं। इसलिए यह दिखाया जा सकता है, वितरणात्मक संपत्ति को प्रमाणित करके इन दोनों ऑपरेशनों के साथ साथ माना जाने वाला पावर सेट के लिए बूलियन रिंग बनाता है।

फ़ंक्शंस के रूप में उपसमुच्चय का प्रतिनिधित्व करना

समुच्चय सिद्धांत में, $X Y$ से सभी फ़ंक्शन (गणित) के समुच्चय का प्रतिनिधित्व करने वाला संकेतन है $Y$ को $X$ ।के रूप में 2 के रूप में परिभाषित किया जा सकता है ${0,1}$ (देखें, उदाहरण के लिए, वॉन न्यूमैन ऑर्डिनल), $2 S$ (अर्थात, ${0,1} S$ ) से सभी फ़ंक्शन (गणित) का समुच्चय है $S$ को ${0,1}$ ।पावर समुच्चय के रूप में#गुण, $2 S$ और की पावर समुच्चय $S$ , $P (S)$ , समान समुच्चय-सिद्धांत माना जाता है।

इस तुल्यता को उदाहरण पावर समुच्चय उदाहरण पर लागू किया जा सकता है, जिसमें $S = {x, y, z}$ , 0 से संख्याओं के बाइनरी अभ्यावेदन के साथ समाकृतिकता प्राप्त करने के लिए $2 n - 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 तत्वों के साथ उपसमुच्चय (मूल समुच्चय ही)।

इस संबंध का उपयोग करते हुए, हम गणना कर सकते हैं, जिसके लिए ${\textstyle \left|2^{S}\right|}$ सूत्र का उपयोग करना:

\left|2^{S}\right|=\sum _{k=0}^{|S|}{\binom {|S|}{k}}

इसलिए, कोई निम्नलिखित पहचान को कम कर सकता है, यह मानकर

{\textstyle |S|=n}

:

\left|2^{S}\right|=2^{n}=\sum _{k=0}^{n}{\binom {n}{k}}

पुनरावर्ती परिभाषा

यदि $S$ परिमित समुच्चय है, फिर पुनरावर्ती परिभाषा है $P(S)$ निम्नानुसार हैं:

यदि $S=\{\}$ , तब $P(S)=\{\,\{\}\,\}$ ।
अन्यथा, चलो $e\in S$ और $T=S\setminus \{e\}$ ;तब $P(S)=P(T)\cup \{t\cup \{e\}:t\in P(T)\}$ ।

शब्दों में:

रिक्त समुच्चय का पावर समुच्चय सिंगलटन (गणित) है जिसका एकमात्र तत्व रिक्त समुच्चय है।
एक गैर-रिक्त समुच्चय के लिए $S$ , होने देना $e$ समुच्चय का कोई तत्व हो और $T$ इसके समीपस्थ पूरक को पुनः पावर समुच्चय $S$ पावर समुच्चय का संघ समुच्चय सिद्धांत है, इस प्रकार $T$ और का पावर समुच्चय $T$ जिसके प्रत्येक तत्व का विस्तार $e$ तत्व के अनुसार किया जाता है ।

सीमित कार्डिनलिटी के उपसमुच्चय

इस उपसमुच्चय का समुच्चय $S$ कार्डिनलिटी से कम या उसके बराबर $κ$ कभी -कभी $P κ (S)$ या $[S] κ$ द्वारा निरूपित किया जाता है, और कार्डिनलिटी के साथ उपसमुच्चय का समुच्चय सख्ती से कम $κ$ कभी -कभी $P < κ (S)$ या $[S] <κ$ द्वारा निरूपित किया जाता है। इसी प्रकार गैर-रिक्त उपसमुच्चय $P \geq 1 (S)$ या $P + (S)$ का समुच्चय $S$ द्वारा निरूपित किया जा सकता है ।

पावर ऑब्जेक्ट

किसी समुच्चय को बीजगणित के रूप में माना जाता है जिसमें कोई गैर संचालन या समीकरणों को परिभाषित नहीं किया जाता है। इस दृष्टिकोण से पावर समुच्चय का विचार $X$ के उपसमुच्चय के समुच्चय के रूप में $X$ स्वाभाविक रूप से बीजीय संरचना या बीजगणित के सबलेगैब्रस को सामान्यीकृत करता है।

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

चूंकि, उपसमुच्चय के दो महत्वपूर्ण गुण हैं जो सामान्य रूप से सबलेगेब्रस तक नहीं ले जाते हैं। सबसे पहले, चूंकि समुच्चय के उपसमुच्चय समुच्चय (साथ ही ऑर्डर) के रूप में, कुछ वर्गों में बीजगणित के उप -वर्गीकरण को उस वर्ग में बीजगणित के रूप में व्यवस्थित करना संभव नहीं हो सकता है, चूंकि उन्हें सदैव ऑर्डर के रूप में आयोजित किया जा सकता है। दूसरे शब्दों में समुच्चय के उपसमुच्चय्स उस समुच्चय से समुच्चय {0,1} = 2 तक के फंक्शनों के साथ ब्यूचमेंट में प्रकट होता हैं, इस बात की कोई गारंटी नहीं रहती हैं कि बीजगणित के वर्ग में बीजगणित होता है जो इस प्रकार से 2 की भूमिका निभा सकते है।

बीजगणित के कुछ वर्ग इन दोनों गुणों का आनंद लेते हैं। इसके पहले के मान अधिक सामान्य रहते हैं, दोनों स्थितियाँ अपेक्षाकृत दुर्लभ रहती है। इसका एक वर्ग जो दोनों के लिए समान है वह बहुमूल्य अवस्था में रहता है। इसके दो मल्टीग्राफ $G$ और $H$ , समरूपता $h : G \to H$ दिए गए है, जो दो फंक्शनों से मिलकर, मैपिंग अक्षों टू अक्षों और दूसरा मैपिंग किनारों को किनारों पर प्रकट होते हैं। इस प्रकार समुच्चय $H G$ से समरूपता $G$ को $H$ फिर उस ग्राफ के रूप में आयोजित किया जाता है जिसके अक्षों और किनारों को क्रमशः उस समुच्चय में दिखाई देने वाले शीर्ष और किनारे के फंक्शन होते हैं। इसके अतिरिक्त मल्टीग्राफ के सबग्राफ $G$ से ग्राफ होमोमोर्फिज्म के साथ ब्यूचमेंट में हैं, जिसमें $G$ मल्टीग्राफ के लिए $Ω$ दो कोने पर पूर्ण ग्राफ के रूप में निश्चित रहता हैं (इसलिए चार किनारों, अर्थात् दो आत्म-लूप और चक्र बनाने वाले दो और किनारों) को पांचवें किनारे के साथ संवर्धित किया जाता हैं, अर्थात् अक्षों में दूसरा लूप रहता हैं। इसलिए हम सबग्राफ को व्यवस्थित कर सकते हैं, इस कारण $G$ मल्टीग्राफ के रूप में $Ω G$ , $G$ की पावर वस्तु कहा जाता है।

एक बीजगणित के रूप में मल्टीग्राफ के बारे में जो विशेष है, वह यह है कि इसके संचालन असंबद्ध हैं। इस मल्टीग्राफ में समुच्चय बनाने वाले दो प्रकार के तत्व $V$ अक्षों की और $E$ किनारों पर होते हैं, और इसके दो अनियमित संचालन $s, t : E \to V$ प्रत्येक किनारे के स्रोत (प्रारंभ) और लक्ष्य (अंत) कोने देना हैं। इस बीजगणित के सभी जिनके संचालन को अनियमित किया जाता है, उन्हें प्रेसफ कहा जाता है। प्रेसहीव्स के हर वर्ग में प्रीसीफ होता है, जिसमें $Ω$ सबलगेब्रस के लिए भूमिका प्रकट करता है, जो 2 उपसमुच्चय के लिए उपयोग किया जाता हैं। इस प्रकार का वर्ग श्रेणी (गणित) के रूप में प्राथमिक टॉपोस की अधिक सामान्य धारणा की विशेष स्थिति को प्रकट करता है जो बंद श्रेणी (और इसके अतिरिक्त कार्टेशियन बंद श्रेणी ) है और वस्तु है $Ω$ , सबबोजज वर्गीकरणकर्ता कहा जाता है। यद्यपि शब्द पावर ऑब्जेक्ट को कभी -कभी घातीय वस्तु के साथ समानार्थक रूप से उपयोग किया जाता है, इस प्रकार यह $Y X$ , $Ω$ टॉपोस सिद्धांत में $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.

बाहरी कड़ियाँ

श्रेणी: समुच्चय पर संचालन

[Weisstein-1] 1.0 ^1.1 Weisstein, Eric W. "सत्ता स्थापित". mathworld.wolfram.com (in English). Retrieved 2020-09-05.

[2] Devlin 1979, p. 50

[3] Puntambekar 2007, pp. 1–2

[4] Saunders Mac Lane, Ieke Moerdijk, (1992) Sheaves in Geometry and Logic Springer-Verlag. ISBN 0-387-97710-4 See page 58

[1]

[2]

[3]

[4]

@@ Line 1: / Line 1: @@
 {{short description|Mathematical set containing all subsets of a given set}}
-{{For|the search engine developer|Powerset (company)}}
+{{For|सर्च इंजन डेवलपर|पावरसेट (कंपनी)}}
 {{Infobox mathematical statement
 | name = Power set
@@ Line 10: / Line 10: @@
 | 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 ]] स्वयंसिद्धों में), किसी भी सेट के पावर सेट के अस्तित्व को पावर सेट के स्वयंसिद्ध द्वारा पोस्ट किया गया है।<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>}}, जिसका अर्थ है कि सभी कार्यों का सेट एस से दो तत्वों के दिए गए सेट (जैसे, {0, 1}) के लिए किया जाता है, क्योंकि का उपयोग किया जाता है क्योंकि पॉवरसेट {{mvar|S}} के साथ पहचाना जा सकता है, के बराबर, या सभी कार्यों के सेट के सेट के बराबर है {{mvar|S}} दिए गए दो तत्वों को सेट करने के लिए।<ref name="Weisstein" />
+गणित में, [[ सेट (गणित) |समुच्चय (गणित)]] का '''पावर सेट''' (या पॉवर समुच्चय) {{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" />
-का कोई सबसेट {{math|{{mathcal|P}}(''S'')}} [[ सेट का परिवार ]] कहा जाता है {{mvar|S}}।
+{{mvar|S}} का कोई उपसमुच्चय {{math|{{mathcal|P}}(''S'')}} [[ सेट का परिवार |समुच्चय समूह]] कहा जाता है ।
 == उदाहरण ==
-यदि {{mvar|S}} सेट है {{math|{{mset|''x'', ''y'', ''z''}}}}, फिर सभी सबसेट {{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|''y''}}}}
@@ Line 25: / Line 25: @@
 * {{math|{{mset|''y'', ''z''}}}}
 * {{math|{{mset|''x'', ''y'', ''z''}}}}
-और इसलिए की शक्ति सेट {{mvar|S}} है {{math|{{mset|{{mset}},
+{{math|{{mset|{{mset}},
 {{mset|''x''}},
 {{mset|''y''}},
@@ Line 32: / Line 32: @@
 {{mset|''x'', ''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''}} [[ प्रमुखता ]] के साथ एक परिमित सेट है {{math|1={{!}}''S''{{!}} = ''n''}} (यानी, सेट में सभी तत्वों की संख्या {{math|1=''S''}} है {{math|1=''n''}}), फिर सभी सबसेटों की संख्या {{mvar|''S''}} है {{math|1={{!}}{{mathcal|P}}(''S''){{!}} = 2<sup>''n''</sup>}}।यह तथ्य और साथ ही संकेतन का कारण {{math|2<sup>''S''</sup>}} पावर सेट को दर्शाते हुए {{math|1={{mathcal|P}}(''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'')}} को नीचे दिए गए मानों में प्रदर्शित किया जाता है।
-: एक संकेतक फ़ंक्शन या कार्डिनलिटी के साथ एक सेट एस के सबसेट ए का एक विशिष्ट कार्य | एस |= n S से दो तत्वों के लिए एक फ़ंक्शन है {0, 1}, i के रूप में निरूपित<sub>A</sub>: S → {0, 1}, और यह इंगित करता है कि S का एक तत्व A से संबंधित है या नहीं;अगर X इन s से संबंधित है, तो मैं<sub>A</sub>(x) = 1, और 0 अन्यथा।S के प्रत्येक सबसेट A को संकेतक फ़ंक्शन I के बराबर या समतुल्य किया जाता है<sub>A</sub>, और {{math|{{mset|0,1}}<sup>''S''</sup>}} एस से सभी कार्यों के सेट के रूप में {{math|{{mset|0,1}}}} अन्य शब्दों में एस के सभी सबसेट के सभी संकेतक कार्य शामिल हैं, {{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>}} होल्ड्स।सामान्यतया, एक्स<sup>Y </sup> y से x और सभी कार्यों का सेट है {{math|1={{!}}''X''<sup>''Y''</sup>{{!}} = {{!}}''X''{{!}}<sup>{{!}}''Y''{{!}}</sup>}}।
+: किसी संकेतक फ़ंक्शन या कार्डिनलिटी के साथ समुच्चय 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''}}, संघ (समुच्चय सिद्धांत), चौराहे (समुच्चय सिद्धांत) और पूरक (समुच्चय सिद्धांत) के संचालन के साथ, [[ बूलियन बीजगणित |बूलियन बीजगणित]] (संरचना) के प्रोटोटाइपिक उदाहरण के रूप में देखा जा सकता है। वास्तव में, कोई यह दिखा सकता है कि कोई भी परिमित बूलियन बीजगणित परिमित समुच्चय के पावर समुच्चय के बूलियन बीजगणित के लिए [[ आइसोमॉर्फिक |आइसोमॉर्फिक]] है।अनंत बूलियन बीजगणित के लिए, यह अब सच नहीं है, किन्तु प्रत्येक अनंत बूलियन बीजगणित को पावर समुच्चय बूलियन बीजगणित (स्टोन के प्रतिनिधित्व प्रमेय देखें) के उप -क्षेत्र के रूप में दर्शाया जा सकता है।
-एक सेट का पावर सेट {{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|[[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 का मतलब है कि यह नहीं है।
+इस तुल्यता को उदाहरण पावर समुच्चय उदाहरण पर लागू किया जा सकता है, जिसमें {{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''}}, हम पाते हैं:
+इसकी पूरी पावर समुच्चय के लिए {{mvar|''S''}}, हम पाते हैं:
 {|class="wikitable"
 |-
-!scope="col"| Subset
+!scope="col"| उपसमुच्चय
-!scope="col"| Sequence<br /> of binary digits
+!scope="col"| बाइनरी अंकों का अनुक्रम
-!scope="col"| Binary<br /> interpretation
+!scope="col"| बाइनरी
-!scope="col"| Decimal<br /> equivalent
+व्याख्या
+!scope="col"| बराबर दशमलव
 |-
 | {{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={{mathcal|P}}(''S'')}} पूर्णांक मनमाना है, इसलिए सभी सबसेटों का यह प्रतिनिधित्व करता है {{mvar|''S''}} अद्वितीय नहीं है, लेकिन एन्यूमरेटेड सेट का क्रम क्रम इसके कार्डिनैलिटी को नहीं बदलता है।(उदा। {{math|1={{mset| (''y'', 1), (''z'', 2), (''x'', 3) }}}} का उपयोग एक और द्विध्रुव के निर्माण के लिए किया जा सकता है {{math|1={{mathcal|P}}(''S'')}} एक-से-एक पत्राचार की संख्या को बदलने के बिना पूर्णांक के लिए।)
+इस प्रकार {{math|1={{mathcal|P}}(''S'')}} का मान इसके पूर्णांकों के समान रहता है, इसलिए सभी उपसमुच्चयों का यह प्रतिनिधित्व {{mvar|''S''}} करता है जिसका मान अद्वितीय नहीं है, किन्तु एन्यूमरेटेड समुच्चय का क्रम क्रम इसके कार्डिनैलिटी को परिवर्तित नहीं करता है।(उदाहरण के लिए {{math|1={{mset| (''y'', 1), (''z'', 2), (''x'', 3) }}}} का उपयोग और द्विध्रुव के निर्माण के लिए किया जा सकता है, जिसमें {{math|1={{mathcal|P}}(''S'')}} एक-से-एक पत्राचार की संख्या को परिवर्तित किए बिना पूर्णांक के लिए उपयोग करता हैं।)
-हालांकि, इस तरह के परिमित बाइनरी प्रतिनिधित्व केवल तभी संभव है जब एस को गणना की जा सकती है।(इस उदाहरण में, {{math|1=''x''}}, {{math|1=''y''}}, और {{math|1=''z''}} बाइनरी अंक अनुक्रमों की स्थिति के रूप में क्रमशः 1, 2, और 3 के साथ गणना की जाती है।) एन्यूमरेशन संभव है भले ही संभव हो {{mvar|''S''}} एक अनंत कार्डिनैलिटी है (यानी, तत्वों की संख्या {{mvar|''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}} तत्व।
+द्विपद प्रमेय पावर समुच्चय से निकटता से संबंधित है। किसी {{math|k}} के लिए इसके कुछ समुच्चयों से संयोजन के लिए और {{math|k}}-लमेंट्स उपसमुच्चय के नाम रहते हैं, इसलिए संयोजनों की संख्या के रूप में निरूपित होने वाले {{math|C(''n'', ''k'')}} (जिसे बिनोमियल गुणांक भी कहा जाता है) के साथ कई उपसमुच्चय है, इस प्रकार {{mvar|k}} के साथ समुच्चय में तत्व {{mvar|n}} तत्व;दूसरे शब्दों में यह समुच्चय की संख्या है,  {{math|k}} तत्व जो समुच्चय  के {{math|n}} तत्वों के पावर सेट के तत्व हैं।
-उदाहरण के लिए, तीन तत्वों के साथ एक सेट का पावर सेट है:
+उदाहरण के लिए, तीन तत्वों के साथ समुच्चय का पावर समुच्चय है:
-*C (3, 0) = 1 सबसेट 0 तत्वों के साथ (खाली सबसेट),
+*C (3, 0) = 1 उपसमुच्चय 0 तत्वों के साथ (रिक्त उपसमुच्चय),
-*C (3, 1) = 3 सबसेट 1 तत्व के साथ (सिंगलटन सबसेट),
+*C (3, 1) = 3 उपसमुच्चय 1 तत्व के साथ (सिंगलटन उपसमुच्चय),
-*C (3, 2) = 3 सबसेट 2 तत्वों के साथ (सिंगलटन सबसेट का पूरक),
+*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="inline">|S| = n</math>:
@@ Line 94: / Line 93: @@
 == पुनरावर्ती परिभाषा ==
-यदि <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> तत्व।
+* एक गैर-रिक्त समुच्चय के लिए <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>}}।इसी तरह, गैर-खाली सबसेट का सेट {{mvar|''S''}} द्वारा निरूपित किया जा सकता है {{math|{{mathcal|P}}<sub>≥ 1</sub>(''S'')}} या {{math|{{mathcal|P}}<sup>+</sup>(''S'')}}।
+इस उपसमुच्चय का समुच्चय {{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''}} स्वाभाविक रूप से एक बीजीय संरचना या [[ बीजगणित ]] के सबलेगैब्रस को सामान्यीकृत करता है।
+किसी समुच्चय को बीजगणित के रूप में माना जाता है जिसमें कोई गैर संचालन या समीकरणों को परिभाषित नहीं किया जाता है। इस दृष्टिकोण से पावर समुच्चय का विचार {{mvar|''X''}} के उपसमुच्चय के समुच्चय के रूप में {{mvar|''X''}} स्वाभाविक रूप से बीजीय संरचना या [[ बीजगणित |बीजगणित]] के सबलेगैब्रस को सामान्यीकृत करता है।
-एक सेट का पावर सेट, जब समावेश द्वारा आदेश दिया जाता है, हमेशा एक पूर्ण परमाणु बूलियन बीजगणित होता है, और हर पूर्ण परमाणु बूलियन बीजगणित कुछ सेट के सभी सबसेट के जाली (ऑर्डर) के रूप में उत्पन्न होता है।मनमाने ढंग से बीजगणित करने के लिए सामान्यीकरण यह है कि एक बीजगणित के उप -समूह का सेट, फिर से समावेश द्वारा आदेश दिया जाता है, हमेशा एक बीजगणितीय जाली होता है, और हर बीजीय जाली कुछ बीजगणित के सबलेगैब्रस की जाली के रूप में उत्पन्न होती है।तो उस संबंध में, सबलगेब्रस उपसमुच्चय के अनुरूप व्यवहार करते हैं।
+एक समुच्चय का पावर समुच्चय, जब समावेश द्वारा आदेश दिया जाता है, सदैव पूर्ण परमाणु बूलियन बीजगणित होता है, और हर पूर्ण परमाणु बूलियन बीजगणित कुछ समुच्चय के सभी उपसमुच्चय के ऑर्डर के रूप में उत्पन्न होता है। इस विधि से बीजगणित करने के लिए सामान्यीकरण यह है कि बीजगणित के उप -समूह का समुच्चय, फिर से समावेश द्वारा आदेश दिया जाता है, इस प्रकार सदैव बीजगणितीय ऑर्डर होता है, और हर बीजीय ऑर्डर कुछ बीजगणित के सबलेगैब्रस की ऑर्डर के रूप में उत्पन्न होती है। तो इस संबंध में, सबलगेब्रस उपसमुच्चय के अनुरूप व्यवहार करते हैं।
-हालांकि, सबसेट के दो महत्वपूर्ण गुण हैं जो सामान्य रूप से सबलेगेब्रस तक नहीं ले जाते हैं।सबसे पहले, हालांकि एक सेट के सबसेट एक सेट (साथ ही एक जाली) के रूप में, कुछ वर्गों में एक बीजगणित के उप -वर्गीकरण को उस वर्ग में एक बीजगणित के रूप में व्यवस्थित करना संभव नहीं हो सकता है, हालांकि उन्हें हमेशा एक के रूप में आयोजित किया जा सकता हैजाली।दूसरे, जबकि एक सेट के सबसेट्स उस सेट से सेट {0,1} = 2 तक के कार्यों के साथ ब्यूचमेंट में हैं, इस बात की कोई गारंटी नहीं है कि बीजगणित के एक वर्ग में एक बीजगणित होता है जो इस तरह से 2 की भूमिका निभा सकता है।
+चूंकि, उपसमुच्चय के दो महत्वपूर्ण गुण हैं जो सामान्य रूप से सबलेगेब्रस तक नहीं ले जाते हैं। सबसे पहले, चूंकि समुच्चय के उपसमुच्चय समुच्चय (साथ ही ऑर्डर) के रूप में, कुछ वर्गों में बीजगणित के उप -वर्गीकरण को उस वर्ग में बीजगणित के रूप में व्यवस्थित करना संभव नहीं हो सकता है, चूंकि उन्हें सदैव ऑर्डर के रूप में आयोजित किया जा सकता है। दूसरे शब्दों में समुच्चय के उपसमुच्चय्स उस समुच्चय से समुच्चय {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|''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''}} प्रत्येक किनारे के स्रोत (प्रारंभ) और लक्ष्य (अंत) कोने देना।एक बीजगणित के सभी जिनके संचालन को अनियमित किया जाता है, उन्हें एक प्रेसफ कहा जाता है।Presheaves के हर वर्ग में एक preseaf होता है {{math|Ω}} यह सबलगेब्रस के लिए भूमिका निभाता है जो 2 सबसेट के लिए खेलता है।इस तरह का वर्ग एक [[ श्रेणी (गणित) ]] के रूप में प्राथमिक [[ टॉपोस ]] की अधिक सामान्य धारणा का एक विशेष मामला है जो [[ बंद श्रेणी ]] (और इसके अलावा [[ कार्टेशियन बंद श्रेणी ]]) है और एक वस्तु है {{math|Ω}}, एक [[ सबबोजज वर्गीकरणकर्ता ]] कहा जाता है।यद्यपि शब्द पावर ऑब्जेक्ट को कभी -कभी [[ घातीय वस्तु ]] के साथ समानार्थक रूप से उपयोग किया जाता है {{math|''Y''<sup>''X''</sup>}}, टॉपोस सिद्धांत में {{mvar|''Y''}} होना आवश्यक है {{math|Ω}}।
+एक बीजगणित के रूप में मल्टीग्राफ के बारे में जो विशेष है, वह यह है कि इसके संचालन असंबद्ध हैं। इस मल्टीग्राफ में समुच्चय बनाने वाले दो प्रकार के तत्व {{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>
+[[ श्रेणी सिद्धांत | श्रेणी सिद्धांत]] और प्राथमिक टॉपोस के सिद्धांत में, [[ सार्वभौमिक परिमाणक |सार्वभौमिक परिमाणक]] को पावर समुच्चय के बीच फ़ंक्शनर के [[ सही |सही]] आसन्न के रूप में समझा जा सकता है, समुच्चय के बीच फ़ंक्शन की [[ उलटा छवि |व्युत्क्रम प्रतिबिंब]] फ़न्क्टर, इसी प्रकार, अस्तित्वगत क्वांटिफायर बाएं आसन्न रहते है।<ref>[[Saunders Mac Lane]], [[Ieke Moerdijk]], (1992) ''Sheaves in Geometry and Logic'' Springer-Verlag. {{isbn|0-387-97710-4}} ''See page 58''</ref>
 == यह भी देखें ==
 * कैंटर का प्रमेय
-* सेट का परिवार
+* समुच्चय का समूह
-* [[ सेट का क्षेत्र ]]
+* [[ सेट का क्षेत्र | समुच्चय का क्षेत्र]]
-*सभी कश्मीर के लिए के-कॉम्बिनेशन की संयोजन#संख्या
+*सभी कश्मीर के लिए के-कॉम्बिनेशन की संयोजन संख्या
 ==संदर्भ==
@@ Line 139: / Line 136: @@
-==इस पृष्ठ में गुम आंतरिक लिंक की सूची==
+*
-*अंक शास्त्र
-*बिजली सेट का स्वयंसीन
-*माने
-*सूचक फ़ंक्शन
-*द्विभाजन
-*निरंतरता का कार्डिनलिटी
-*अनुपूरक (निर्धारित सिद्धांत)
-*संघ (निर्धारित सिद्धांत)
-*प्रतिष्ठान (निर्धारित सिद्धांत)
-*सबलजबरा
-*एबेलियन ग्रुप
-*सममितीय अंतर
-*मोनोइड
-*वितरण की जाने वाली संपत्ति
-*समुच्चय सिद्धान्त
-*समारोह (गणित)
-*मेल
-*द्विपद गुणांक
-*सापेक्ष पूरक
-*जाली (आदेश)
-*बीजगणित संरचना
-*पूर्वाभास
-*फंक्टर
-*अस्तित्व संबंधी परिमाणक
-*छोड़ दिया गया
-*प्राथमिक टोपो
 ==बाहरी कड़ियाँ==
 {{Wiktionary|power set}}
@@ Line 176: / Line 146: @@
 {{Mathematical logic}}
 {{Set theory}}
-[[श्रेणी: सेट पर संचालन]]
+[[श्रेणी: सेट पर संचालन|श्रेणी: समुच्चय पर संचालन]]
-[[Category: Machine Translated Page]]
+[[Category:Articles with hatnote templates targeting a nonexistent page]]
+[[Category:CS1 English-language sources (en)]]
+[[Category:Collapse templates]]
 [[Category:Created On 28/12/2022]]
+[[Category:Lua-based templates]]
+[[Category:Machine Translated Page]]
+[[Category:Mathematics navigational boxes]]
+[[Category:Navbox orphans]]
+[[Category:Navigational boxes| ]]
+[[Category:Navigational boxes without horizontal lists]]
+[[Category:Pages with empty portal template]]
+[[Category:Pages with maths render errors]]
+[[Category:Pages with script errors]]
+[[Category:Philosophy and thinking navigational boxes]]
+[[Category:Portal-inline template with redlinked portals]]
+[[Category:Sidebars with styles needing conversion]]
+[[Category:Template documentation pages|Documentation/doc]]
+[[Category:Templates Translated in Hindi]]
+[[Category:Templates Vigyan Ready]]
+[[Category:Templates generating microformats]]
+[[Category:Templates that add a tracking category]]
+[[Category:Templates that are not mobile friendly]]
+[[Category:Templates that generate short descriptions]]
+[[Category:Templates using TemplateData]]
+[[Category:Wikipedia metatemplates]]

v t e समुच्चय सिद्धान्त
अवलोकन	सेट (गणित)
स्वयंसिद्ध	adjunction पसंद गणना योग्य आश्रित ग्लोबल निर्माण (v = l) निर्धारण एक्सटेंशनलिटी अनंत आकार की सीमा जोड़ी पावर सेट नियमितता संघ मार्टिन का स्वयंसिद्ध स्वयंसिद्ध स्कीमा प्रतिस्थापन विनिर्देश
संचालन	कार्तीय गुणन पूरक (यानी सेट अंतर) डे मॉर्गन के कानून असंतुष्ट संघ पहचान चौराहा सत्ता स्थापित सममित अंतर संघ
Concepts Methods	लगभग कार्डिनैलिटी कार्डिनल नंबर ( बड़ा) वर्ग रचनात्मक ब्रह्मांड सातत्य परिकल्पना विकर्ण तर्क तत्व क्रमित युग्म ट्यूपल परिवार फोर्सिंग एक-से-एक पत्राचार क्रमसूचक संख्या सेट-बिल्डर नोटेशन ट्रांसफिनाइट इंडक्शन वेन आरेख
सेट प्रकार	अनाकार काउंट करने योग्य खाली परिमित ( वंशानुगत रूप से) फ़िल्टर आधार सबबेस अल्ट्राफिल्टर फजी अनंत पुनरावर्ती सिंगलटन सबसेट⧼dot-separator⧽सुपरसेट सकर्मक बेशुमार यूनिवर्सल
सिद्धांतों	वैकल्पिक स्वयंसिद्ध भोला कैंटर का प्रमेय* Zermelo** सामान्य* प्रिंसिपिया मैथमेटिक '** नई नींव* Zermelo -fraenkel न्यूमैन से - बर्नेज़ - गोडेल* मोर्स -केली क्रिपे-प्लेटेक टार्स्की -ग्रोथेन्डीक
Paradoxes Problems	रसेल का विरोधाभास सुस्लिन की समस्या Burali-Forti विरोधाभास
सिद्धांतकार सेट	अब्राहम फ्रेंकेल बर्ट्रेंड रसेल अर्नस्ट ज़रमेलो जॉर्ज कैंटर जॉन वॉन न्यूमैन कर्ट गोडेल पॉल बर्नस पॉल कोहेन रिचर्ड डेडेकिंड थॉमस जेक थोरलफ स्कोलेम विलार्ड क्वीन लोरेंज हैलबिसेन

Anonymous

Search

सत्ता स्थापित: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 11:58, 10 May 2023

Contents

उदाहरण

गुण

फ़ंक्शंस के रूप में उपसमुच्चय का प्रतिनिधित्व करना

द्विपद प्रमेय से संबंध

पुनरावर्ती परिभाषा

सीमित कार्डिनलिटी के उपसमुच्चय

पावर ऑब्जेक्ट

फंक्शनर्स और क्वांटिफ़ायर

यह भी देखें

संदर्भ

ग्रन्थसूची

बाहरी कड़ियाँ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

सत्ता स्थापित: Difference between revisions

Latest revision as of 11:58, 10 May 2023

उदाहरण

गुण

फ़ंक्शंस के रूप में उपसमुच्चय का प्रतिनिधित्व करना

द्विपद प्रमेय से संबंध

पुनरावर्ती परिभाषा

सीमित कार्डिनलिटी के उपसमुच्चय

पावर ऑब्जेक्ट

फंक्शनर्स और क्वांटिफ़ायर

यह भी देखें

संदर्भ

ग्रन्थसूची

बाहरी कड़ियाँ

Navigation

Wiki tools

Page tools

Other projects

Hidden categories