समूह संरचना और पसंद का स्वयंसिद्ध: Difference between revisions

Revision as of 12:30, 28 May 2023

1904 में अर्नेस्ट ज़र्मेलो ने अच्छी क्रम वाली प्रमेय को साबित किया, जिसे पसंद के स्वयंसिद्ध के रूप में जाना जाता था।

गणित में समूह (गणित) एक समुच्चय होता है जिसमें एक द्विआधारी संक्रिया होती है जिसे गुणा कहा जाता है जो समूह के स्वयंसिद्धों का अनुसरण करता है। पसंद का स्वयंसिद्ध ZFC समुच्चय सिद्धांत का एक स्वयंसिद्ध है जो एक रूप में बताता है कि प्रत्येक समुच्चय को सुव्यवस्थित किया जा सकता है।

जेडएफ समुच्चय सिद्धांत में अर्थात पसंद के स्वयंसिद्ध के बिना जेडएफसी, निम्नलिखित कथन समतुल्य हैं:

प्रत्येक गैर-खाली समुच्चय $X$ के लिए एक बाइनरी संक्रियक सम्मिलित है $•$ जैसे कि $(X, •)$ एक समूह है।^[1]
पसंद का स्वयंसिद्ध सत्य है।

एक समूह संरचना का अर्थ है पसंद का स्वयंसिद्ध

इस खंड में यह माना जाता है कि प्रत्येक समुच्चय $X$ को एक समूह संरचना $(X, •)$ से संपन्न किया जा सकता है।

माना X एक समुच्चय है। चलो $ℵ(X)$ $X$ की हार्टोग्स संख्या है। यह सबसे कम कार्डिनल संख्या है जैसे कि $ℵ(X)$ से $X$ में कोई इंजेक्शन (गणित) नहीं है। यह पसंद के स्वयंसिद्ध की धारणा के बिना सम्मिलित है। प्रमाण की तकनीकी सरलता के लिए यहाँ मान लें कि $X$ का कोई क्रमसूचक नहीं है। माना कि $•$ समूह में गुणन $(X \cup ℵ(X), •)$ को दर्शाता है।

किसी भी $x \in X$ के लिए एक $α \in ℵ(X)$ ऐसा है कि $x • α \in ℵ(X)$ मान लीजिए नहीं। फिर एक $y \in X$ ऐसा है कि $y • α \in X$ सबके लिए $α \in ℵ(X)$ लेकिन प्राथमिक समूह सिद्धांत द्वारा, $y • α$ सभी भिन्न हैं क्योंकि α श्रेणी $ℵ(X)$ से अधिक है। इस प्रकार ऐसा $y$ $ℵ(X)$ से $X$ में एक इंजेक्शन देता है। यह असंभव है क्योंकि $ℵ(X)$ एक ऐसा कार्डिनल है जिससे $X$ में कोई इंजेक्शन सम्मिलित नहीं है।

अब $X$ के एक मानचित्र $j$ को $ℵ(X) \times ℵ(X)$ में परिभाषित करें जो कि $x \in X$ को कम से कम $(α, β) \in ℵ(X) \times ℵ(X)$ भेजकर लेक्सिकोग्राफिक ऑर्डर से संपन्न है जैसे कि $x • α = β$ उपरोक्त तर्क से मानचित्र $j$ सम्मिलित है और अद्वितीय है क्योंकि सुव्यवस्थित समुच्चय के सबसमुच्चय के कम से कम तत्व अद्वितीय हैं। यह प्राथमिक समूह सिद्धांत, इंजेक्शन द्वारा है।

अंत में, $X$ पर $x < y$ यदि $j (x) < j (y)$ हो तो वेलऑर्डरिंग परिभाषित करें। यह इस प्रकार है कि प्रत्येक समुच्चय $X$ को सुव्यवस्थित किया जा सकता है और इस प्रकार पसंद का स्वयंसिद्ध सत्य है।^[2]^[3]

ऊपर (i) में व्यक्त की गई महत्वपूर्ण संपत्ति के लिए धारण करने के लिए, और इसलिए संपूर्ण प्रमाण, यह $X$ के लिए एक रद्दी मैग्मा होने के लिए पर्याप्त है, उदा। एक अर्धसमूह। [4] रद्दीकरण गुण यह सुनिश्चित करने के लिए पर्याप्त है कि $y • α$ सभी भिन्न हैं।^[4]

पसंद का स्वयंसिद्ध एक समूह संरचना

किसी भी गैर-खाली परिमित समुच्चय में किसी भी तत्व द्वारा उत्पन्न चक्रीय समूह के रूप में एक समूह संरचना होती है। पसंद के स्वयंसिद्ध की धारणा के तहत, प्रत्येक अनंत समुच्चय $X$ एक अद्वितीय कार्डिनल संख्या से लैस | $X$ | है जो एक एलेफ के बराबर है।^[5] पसंद के स्वयंसिद्ध का उपयोग करके, कोई यह दिखा सकता है कि समुच्चय के किसी भी परिवार $S$ के लिए $| ⋃ S | \leq | S | \times sup { | s | : s \in S}$ इसके अतिरिक्त तर्स्की के प्रमेय द्वारा पसंद के स्वयंसिद्ध के एक और समकक्ष $| X | n = | X |$ सभी परिमित $n$ (B) के लिए।

मान लीजिए $X$ एक अनंत समुच्चय है और $F$ , $X$ के सभी परिमित उपसमुच्चयों के समुच्चय को निरूपित करता है। F पर एक प्राकृतिक गुणन $•$ है।^[6] $f, g \in F$ के लिए, मान लीजिए $f • g = f Δ g$ , जहाँ $Δ$ सममित अंतर को दर्शाता है। यह $(F, •)$ को खाली समुच्चय वाले समूह में बदल देता है। $Ø$ पहचान होने के नाते और प्रत्येक तत्व का अपना व्युत्क्रम होता है; एफ Δ एफ = Ø। साहचर्य गुण, अर्थात $(f Δ g) Δ h = f Δ (g Δ h)$ को संघ और समुच्चय अंतर के मूल गुणों का उपयोग करके सत्यापित किया जाता है। इस प्रकार $F$ गुणन $Δ$ वाला एक समूह है।

कोई भी समुच्चय जिसे एक समूह के साथ आपत्ति में डाला जा सकता है, वह आपत्ति के माध्यम से एक समूह बन जाता है। यह दिखाया जाएगा कि $| X | = | F |$ और इसलिए X और समूह $(F, •)$ के बीच एक-से-एक पत्राचार सम्मिलित है। $n = 0,1,2, ...$ के लिए, $F n$ को कार्डिनैलिटी के सभी उपसमुच्चयों से मिलकर $F$ का उपसमुच्चय होने दें। तब $F$ , $F n$ का असंयुक्त संघ है। कार्डिनलिटी एन के $X$ के सबसमुच्चय की संख्या अधिकतम है $X n$ क्योंकि एन तत्वों के साथ प्रत्येक सबसमुच्चय $X$ के एन-फोल्ड कार्टेशियन उत्पाद $X n$ का एक तत्व है। इसलिए $| F n | \leq | X | n = | X |$ सभी के लिए एन (सी) द्वारा (बी)।

इन परिणामों को एक साथ रखने पर यह देखा जाता है कि $| F | = | ⋃ n \in ω F n | \leq ℵ 0 \cdot | X | = | X |$ (ए) और (सी) द्वारा। साथ ही $| F | \geq | X |$ क्योंकि F में सभी सिंगलटन हैं। इस प्रकार, | $| X | \leq | F |$ और $| F | \leq | X |$ इसलिए, श्रोडर-बर्नस्टीन प्रमेय द्वारा, $| F | = | X |$ इसका मतलब यह है कि $X$ और $F$ के बीच एक आक्षेप j है। अंत में $x, y \in X$ के लिए $x • y = j -1 (j (x) Δ j (y))$ परिभाषित करें। यह $(X, •)$ को समूह में बदल देता है। इसलिए हर समुच्चय एक समूह संरचना को स्वीकृत करता है।

समूह संरचना के बिना ZF समुच्चय

ZF के ऐसे आंतरिक मॉडल हैं जिनमें पसंद का स्वयंसिद्ध विफल हो जाता है।^[7] ऐसे मॉडल में, ऐसे समुच्चय होते हैं जिन्हें अच्छी तरह से ऑर्डर नहीं किया जा सकता है (इन "नॉन-वेलऑर्डरेबल" समुच्चय को कॉल करें)। माना X ऐसा कोई समुच्चय है। अब समुच्चय $Y = X \cup ℵ(X)$ पर विचार करें। यदि $Y$ के पास एक समूह संरचना होती, तो, पहले खंड में निर्माण द्वारा, $X$ को सुव्यवस्थित किया जा सकता है। यह विरोधाभास दर्शाता है कि समुच्चय $Y$ पर कोई समूह संरचना नहीं है।

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

उदाहरण के लिए यदि $X$ कोई समुच्चय है तो ${\mathcal {P}}(X)$ में एक समूह संरचना होती है, जिसमें समूह संचालन के रूप में सममित अंतर होता है। बेशक, अगर $X$ को सुव्यवस्थित नहीं किया जा सकता है, तो न तो ${\mathcal {P}}(X)$ हो सकता है। समुच्चय का एक दिलचस्प उदाहरण जो समूह संरचना नहीं ले सकता है, समुच्चय $X$ से निम्न दो गुणों के साथ है:

$X$ एक अनंत डेडेकिंड-परिमित समुच्चय है। दूसरे शब्दों में $X$ का कोई गिनने योग्य अपरिमित उपसमुच्चय नहीं है।
यदि $X$ को परिमित समुच्चयों में विभाजित किया जाता है, तो उनमें से बहुत से को छोड़कर सभी एकल हैं।

यह देखने के लिए कि इन दोनों का संयोजन एक समूह संरचना को स्वीकृत नहीं कर सकता है, ध्यान दें कि इस तरह के समुच्चय के किसी भी क्रमपरिवर्तन में केवल परिमित कक्षाएँ होनी चाहिए, और उनमें से लगभग सभी आवश्यक रूप से सिंगलटन हैं, जिसका अर्थ है कि अधिकांश तत्व क्रमचय द्वारा स्थानांतरित नहीं होते हैं।

अब $a$ के लिए $x\mapsto a\cdot x$ द्वारा दिए गए क्रमचय पर विचार करें, जो कि तटस्थ तत्व नहीं है, असीम रूप से कई $x$ ऐसे हैं $a\cdot x=x$ इसलिए उनमें से कम से कम एक तटस्थ तत्व भी नहीं है। $x^{-1}$ से गुणा करने पर यह पता चलता है कि वास्तव में एक पहचान तत्व है जो एक विरोधाभास है।

ऐसे समुच्चय $X$ का अस्तित्व सुसंगत है, उदाहरण के लिए कोहेन के पहले मॉडल में दिया गया है।^[8] हैरानी की बात है, हालांकि, एक अनंत डेडेकिंड-परिमित समुच्चय होना एक समूह संरचना को बाहर करने के लिए पर्याप्त नहीं है, क्योंकि यह सुसंगत है कि डेडेकिंड-परिमित घात समुच्चय के साथ अनंत डेडेकिंड-परिमित समुच्चय हैं।^[9]

↑ A cancellative binary operation suffices, i.e. such that $(X, •)$ is a cancellative magma. See below.
↑ Hajnal & Kertész 1972
↑ Rubin & Rubin 1985, p. 111
↑ Hajnal & Kertész 1972
↑ Jech 2002, Lemma 5.2
↑ Adkins & Weintraub 1992
↑ Cohen 1966
↑ Dougherty, Randall (February 1, 2003). "विज्ञान गणित "किसी भी सेट पर समूह संरचना"".
↑ Karagila, Asaf (August 26, 2014). "घातांक और डेडेकिंड-परिमित कार्डिनल". MathOverflow.

संदर्भ

Hajnal, A.; Kertész, A. (1972). "Some new algebraic equivalents of the axiom of choice". Publ. Math. Debrecen. 19: 339–340.
Rubin, Herman; Rubin, Jean E. (July 1985). Equivalents of the Axiom of Choice II. North Holland/Elsevier. ISBN 0-444-87708-8.
Jech, Thomas (2002). Set theory, third millennium edition (revised and expanded). Springer. ISBN 3-540-44085-2.
Cohen, Paul J. (1966). Set theory and the Continuum Hypothesis. Benjamin, New York.
Adkins; Weintraub (1992). Algebra. Graduate Texts in Mathematics. Vol. 136. Springer.

[1] A cancellative binary operation suffices, i.e. such that $(X, •)$ is a cancellative magma. See below.

[2] Hajnal & Kertész 1972

[3] Rubin & Rubin 1985, p. 111

[4] Hajnal & Kertész 1972

[5] Jech 2002, Lemma 5.2

[6] Adkins & Weintraub 1992

[7] Cohen 1966

[8] Dougherty, Randall (February 1, 2003). "विज्ञान गणित "किसी भी सेट पर समूह संरचना"".

[9] Karagila, Asaf (August 26, 2014). "घातांक और डेडेकिंड-परिमित कार्डिनल". MathOverflow.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

@@ Line 1: / Line 1: @@
-[[Image:Ernst Zermelo.jpeg|110px|thumb|right|1904 में [[अर्नेस्ट ज़र्मेलो]] ने अच्छी क्रम वाली प्रमेय को साबित किया, जिसे पसंद के स्वयंसिद्ध के रूप में जाना जाता था।]]गणित में एक [[समूह (गणित)]] एक समुच्चय (गणित) होता है, जिसमें समुच्चय पर एक द्विआधारी संक्रिया होती है जिसे गुणन कहा जाता है जो समूह के स्वयंसिद्धों का पालन करता है। पसंद का स्वयंसिद्ध [[ZFC]] सेट सिद्धांत का एक स्वयंसिद्ध है जो एक रूप में बताता है कि प्रत्येक सेट को सुव्यवस्थित किया जा सकता है।
+[[Image:Ernst Zermelo.jpeg|110px|thumb|right|1904 में [[अर्नेस्ट ज़र्मेलो]] ने अच्छी क्रम वाली प्रमेय को साबित किया, जिसे पसंद के स्वयंसिद्ध के रूप में जाना जाता था।]]गणित में [[समूह (गणित)]] एक समुच्चय होता है जिसमें एक द्विआधारी संक्रिया होती है जिसे गुणा कहा जाता है जो समूह के स्वयंसिद्धों का अनुसरण करता है। पसंद का स्वयंसिद्ध [[ZFC]] समुच्चय सिद्धांत का एक स्वयंसिद्ध है जो एक रूप में बताता है कि प्रत्येक समुच्चय को सुव्यवस्थित किया जा सकता है।
-ज़र्मेलो-फ्रेंकेल [[ समुच्चय सिद्धान्त ]] सेट थ्योरी में, यानी पसंद के स्वयंसिद्ध के बिना ZFC, निम्नलिखित कथन समतुल्य हैं:
+जेडएफ समुच्चय सिद्धांत में अर्थात पसंद के स्वयंसिद्ध के बिना जेडएफसी, निम्नलिखित कथन समतुल्य हैं:
-* हर गैर-खाली सेट के लिए {{math|''X''}} एक बाइनरी ऑपरेशन मौजूद है {{math|•}} ऐसा है कि {{math|(''X'', •)}} एक समूह है।<ref>A [[cancellative]] binary operation suffices, i.e. such that {{math|(''X'', •)}} is a cancellative [[Magma (algebra)|magma]]. See below.</ref>
+* प्रत्येक गैर-खाली समुच्चय {{math|''X''}} के लिए एक बाइनरी संक्रियक सम्मिलित है {{math|•}} जैसे कि {{math|(''X'', •)}} एक समूह है।<ref>A [[cancellative]] binary operation suffices, i.e. such that {{math|(''X'', •)}} is a cancellative [[Magma (algebra)|magma]]. See below.</ref>
 * पसंद का स्वयंसिद्ध सत्य है।
 == एक समूह संरचना का अर्थ है पसंद का स्वयंसिद्ध ==
-इस खंड में यह माना जाता है कि प्रत्येक सेट {{math|''X''}} एक समूह संरचना के साथ संपन्न किया जा सकता है {{math|(''X'', •)}}.
+इस खंड में यह माना जाता है कि प्रत्येक समुच्चय {{math|''X''}} को एक समूह संरचना {{math|(''X'', •)}} से संपन्न किया जा सकता है।
-होने देना {{math|''X''}} एक समुच्चय हो। होने देना {{math|ℵ(''X'')}} की हार्टोग्स संख्या हो {{math|''X''}}. यह कम से कम कार्डिनल संख्या है जिससे कोई [[इंजेक्शन (गणित)]] नहीं है {{math|ℵ(''X'')}} में {{math|''X''}}. यह पसंद के स्वयंसिद्ध की धारणा के बिना मौजूद है। प्रमाण की तकनीकी सरलता के लिए यहाँ मान लें कि {{math|''X''}} का कोई क्रमांक नहीं है। होने देना {{math|•}} समूह में गुणन को दर्शाता है {{math|(''X'' ∪ ℵ(''X''), •)}}.
+माना X एक समुच्चय है। चलो {{math|ℵ(''X'')}} {{math|''X''}} की हार्टोग्स संख्या है। यह सबसे कम कार्डिनल संख्या है जैसे कि {{math|ℵ(''X'')}} से {{math|''X''}} में कोई [[इंजेक्शन (गणित)]] नहीं है। यह पसंद के स्वयंसिद्ध की धारणा के बिना सम्मिलित है। प्रमाण की तकनीकी सरलता के लिए यहाँ मान लें कि {{math|''X''}} का कोई क्रमसूचक नहीं है। माना कि {{math|•}} समूह में गुणन {{math|(''X'' ∪ ℵ(''X''), •)}} को दर्शाता है।
-किसी के लिए {{math|''x'' ∈ ''X''}} वहाँ है एक {{math|α ∈ ℵ(''X'')}} ऐसा है कि {{math|''x'' • α ∈ ℵ(''X'')}}. मान लीजिए नहीं। फिर एक है {{math|''y'' ∈ ''X''}} ऐसा है कि {{math|''y'' • α ∈ ''X''}} सभी के लिए {{math|α ∈ ℵ(''X'')}}. लेकिन [[प्राथमिक समूह सिद्धांत]] द्वारा, द {{math|''y'' • α}} सभी अलग-अलग हैं क्योंकि α रेंज खत्म हो गई है {{math|ℵ(''X'')}} (मैं)। इस प्रकार ए {{math|''y''}} से एक इंजेक्शन देता है {{math|ℵ(''X'')}} में {{math|''X''}}. यह तब से असंभव है {{math|ℵ(''X'')}} ऐसा कार्डिनल है जिसमें कोई इंजेक्शन नहीं है {{math|''X''}} मौजूद।
+किसी भी {{math|''x'' ∈ ''X''}} के लिए एक {{math|α ∈ ℵ(''X'')}} ऐसा है कि {{math|''x'' • α ∈ ℵ(''X'')}} मान लीजिए नहीं। फिर एक {{math|''y'' ∈ ''X''}} ऐसा है कि {{math|''y'' • α ∈ ''X''}} सबके लिए {{math|α ∈ ℵ(''X'')}} लेकिन [[प्राथमिक समूह सिद्धांत]] द्वारा, {{math|''y'' • α}} सभी भिन्न हैं क्योंकि α श्रेणी {{math|ℵ(''X'')}} से अधिक है। इस प्रकार ऐसा {{math|''y''}} {{math|ℵ(''X'')}} से {{math|''X''}} में एक इंजेक्शन देता है। यह असंभव है क्योंकि {{math|ℵ(''X'')}} एक ऐसा कार्डिनल है जिससे {{math|''X''}} में कोई इंजेक्शन सम्मिलित नहीं है।
-अब एक नक्शा परिभाषित करें {{math|''j''}} का {{math|''X''}} में {{math|ℵ(''X'') × ℵ(''X'')}} भेजकर [[ लेक्सिकोग्राफिक ऑर्डर ]] के साथ संपन्न हुआ {{math|''x'' ∈ ''X''}} कम से कम {{math|(α, β) ∈ ℵ(''X'') × ℵ(''X'')}} ऐसा है कि {{math|1=''x'' • α = β}}. उपरोक्त तर्क द्वारा मानचित्र {{math|''j''}} मौजूद है और अद्वितीय है क्योंकि सुव्यवस्थित सेट के सबसेट के कम से कम तत्व अद्वितीय हैं। यह प्राथमिक समूह सिद्धांत, इंजेक्शन द्वारा है।
+अब {{math|''X''}} के एक मानचित्र {{math|''j''}} को {{math|ℵ(''X'') × ℵ(''X'')}} में परिभाषित करें जो कि {{math|''x'' ∈ ''X''}} को कम से कम {{math|(α, β) ∈ ℵ(''X'') × ℵ(''X'')}} भेजकर [[ लेक्सिकोग्राफिक ऑर्डर |लेक्सिकोग्राफिक ऑर्डर]] से संपन्न है जैसे कि {{math|1=''x'' • α = β}} उपरोक्त तर्क से मानचित्र {{math|''j''}} सम्मिलित है और अद्वितीय है क्योंकि सुव्यवस्थित समुच्चय के सबसमुच्चय के कम से कम तत्व अद्वितीय हैं। यह प्राथमिक समूह सिद्धांत, इंजेक्शन द्वारा है।
-अंत में, एक वेलऑर्डरिंग को परिभाषित करें {{math|''X''}} द्वारा {{math|''x'' < ''y''}} अगर {{math|''j''(''x'') < ''j''(''y'')}}. यह इस प्रकार है कि हर सेट {{math|''X''}} को सुव्यवस्थित किया जा सकता है और इस प्रकार पसंद का स्वयंसिद्ध सत्य है।<ref>{{harvnb|Hajnal|Kertész|1972}}</ref><ref>{{harvnb|Rubin|Rubin|1985|loc=p. 111}}</ref>
+अंत में, {{math|''X''}} पर {{math|''x'' < ''y''}} यदि {{math|''j''(''x'') < ''j''(''y'')}} हो तो वेलऑर्डरिंग परिभाषित करें। यह इस प्रकार है कि प्रत्येक समुच्चय {{math|''X''}} को सुव्यवस्थित किया जा सकता है और इस प्रकार पसंद का स्वयंसिद्ध सत्य है।<ref>{{harvnb|Hajnal|Kertész|1972}}</ref><ref>{{harvnb|Rubin|Rubin|1985|loc=p. 111}}</ref>
-ऊपर (i) में व्यक्त महत्वपूर्ण संपत्ति के लिए धारण करने के लिए, और इसलिए पूरे प्रमाण के लिए, यह पर्याप्त है {{math|''X''}} एक मेग्मा (गणित) होने के लिए # गुणों द्वारा वर्गीकरण, उदा। एक अर्धसमूह।<ref>{{harvnb|Hajnal|Kertész|1972}}</ref> रद्द करने की संपत्ति यह सुनिश्चित करने के लिए पर्याप्त है कि {{math|''y'' • α}} सब अलग हैं।
-== पसंद का स्वयंसिद्ध एक समूह संरचना == का तात्पर्य है
+ऊपर (i) में व्यक्त की गई महत्वपूर्ण संपत्ति के लिए धारण करने के लिए, और इसलिए संपूर्ण प्रमाण, यह {{math|''X''}} के लिए एक रद्दी मैग्मा होने के लिए पर्याप्त है, उदा। एक अर्धसमूह। [4] रद्दीकरण गुण यह सुनिश्चित करने के लिए पर्याप्त है कि {{math|''y'' • α}} सभी भिन्न हैं।<ref>{{harvnb|Hajnal|Kertész|1972}}</ref>
-किसी भी गैर-खाली परिमित सेट में किसी भी तत्व द्वारा उत्पन्न [[चक्रीय समूह]] के रूप में एक समूह संरचना होती है। पसंद के स्वयंसिद्ध की धारणा के तहत, हर अनंत सेट {{math|''X''}} एक अद्वितीय कार्डिनल संख्या से [[लैस]] है {{abs|{{math|''X''}}}} जो एक [[ Aleph ]] के बराबर है। पसंद के स्वयंसिद्ध का उपयोग करके, यह किसी भी परिवार के लिए दिखाया जा सकता है {{math|''S''}} सेट का {{math|{{abs|⋃''S''}} ≤ {{abs|''S''}} × [[supremum|sup]] { {{!}}''s''{{!}} : ''s'' ∈ ''S''} }} (ए)।<ref>{{harvnb|Jech|2002|loc=Lemma 5.2}}</ref> इसके अलावा, पसंद पर तर्स्की के प्रमेय द्वारा, पसंद के स्वयंसिद्ध के एक और समकक्ष, {{math|1={{abs|''X''}}<sup>''n''</sup> = {{abs|''X''}}}} सभी परिमित के लिए {{math|''n''}} (बी)।
+== पसंद का स्वयंसिद्ध एक समूह संरचना ==
+किसी भी गैर-खाली परिमित समुच्चय में किसी भी तत्व द्वारा उत्पन्न चक्रीय समूह के रूप में एक समूह संरचना होती है। पसंद के स्वयंसिद्ध की धारणा के तहत, प्रत्येक अनंत समुच्चय {{math|''X''}} एक अद्वितीय कार्डिनल संख्या से लैस {{abs|{{math|''X''}}}} है जो एक एलेफ के बराबर है।<ref>{{harvnb|Jech|2002|loc=Lemma 5.2}}</ref> पसंद के स्वयंसिद्ध का उपयोग करके, कोई यह दिखा सकता है कि समुच्चय के किसी भी परिवार {{math|''S''}} के लिए {{math|{{abs|⋃''S''}} ≤ {{abs|''S''}} × [[supremum|sup]] { {{!}}''s''{{!}} : ''s'' ∈ ''S''} }} इसके अतिरिक्त तर्स्की के प्रमेय द्वारा पसंद के स्वयंसिद्ध के एक और समकक्ष {{math|1={{abs|''X''}}<sup>''n''</sup> = {{abs|''X''}}}} सभी परिमित {{math|''n''}} (B) के लिए।
-होने देना {{math|''X''}} एक अनंत समुच्चय बनें और मान लें {{math|''F''}} के सभी परिमित उपसमूहों के समुच्चय को निरूपित करता है {{math|''X''}}. स्वाभाविक गुणन होता है {{math|•}} पर {{math|''F''}}.<ref>{{harvnb|Adkins | Weintraub|1992}}</ref> के लिए {{math|''f'', ''g'' ∈ ''F''}}, होने देना {{math|1=''f'' • ''g'' = ''f'' Δ ''g''}}, कहाँ {{math|Δ}} [[सममित अंतर]] को दर्शाता है। यह मुड़ता है {{math|(''F'', •)}} खाली सेट वाले समूह में, {{math|Ø}}, पहचान होना और हर तत्व का अपना व्युत्क्रम होना; {{math|1=''f'' Δ ''f'' = Ø}}. सहयोगी संपत्ति, यानी। {{math|1=(''f'' Δ ''g'') Δ ''h'' = ''f'' Δ (''g'' Δ ''h'')}} संघ और सेट अंतर के मूल गुणों का उपयोग करके सत्यापित किया गया है। इस प्रकार {{math|''F''}} गुणा वाला समूह है {{math|Δ}}.
+मान लीजिए {{math|''X''}} एक अनंत समुच्चय है और {{math|''F''}}, {{math|''X''}} के सभी परिमित उपसमुच्चयों के समुच्चय को निरूपित करता है। F पर एक प्राकृतिक गुणन {{math|•}} है।<ref>{{harvnb|Adkins | Weintraub|1992}}</ref> {{math|''f'', ''g'' ∈ ''F''}} के लिए, मान लीजिए {{math|1=''f'' • ''g'' = ''f'' Δ ''g''}}, जहाँ {{math|Δ}} [[सममित अंतर]] को दर्शाता है। यह {{math|(''F'', •)}} को खाली समुच्चय वाले समूह में बदल देता है। {{math|Ø}} पहचान होने के नाते और प्रत्येक तत्व का अपना व्युत्क्रम होता है; एफ Δ एफ = Ø। साहचर्य गुण, अर्थात {{math|1=(''f'' Δ ''g'') Δ ''h'' = ''f'' Δ (''g'' Δ ''h'')}} को संघ और समुच्चय अंतर के मूल गुणों का उपयोग करके सत्यापित किया जाता है। इस प्रकार {{math|''F''}} गुणन {{math|Δ}} वाला एक समूह है।
-कोई भी सेट जिसे एक समूह के साथ आपत्ति में डाला जा सकता है, वह आपत्ति के माध्यम से एक समूह बन जाता है। यह दिखाया जाएगा {{math|1={{abs|''X''}} = {{abs|''F''}}}}, और इसलिए एक-से-एक पत्राचार {{math|''X''}} और समूह {{math|(''F'', •)}} मौजूद। के लिए {{math|1=''n'' = 0,1,2, ...}}, होने देना {{math|''F''<sub>''n''</sub>}} का सबसेट हो {{math|''F''}} कार्डिनैलिटी के सभी उपसमुच्चय शामिल हैं {{math|''n''}}. तब {{math|''F''}} का असंयुक्त संघ है {{math|''F''<sub>''n''</sub>}}. के उपसमूहों की संख्या {{math|''X''}} कार्डिनैलिटी का {{math|''n''}} ज्यादा से ज्यादा है {{math|1={{abs|''X''}}<sup>''n''</sup>}} क्योंकि हर सबसेट के साथ {{math|''n''}} तत्व का एक तत्व है {{math|''n''}}-गुना कार्तीय उत्पाद {{math|''X''<sup>''n''</sup>}} का {{math|''X''}}. इसलिए {{math|1={{abs|''F''<sub>''n''</sub>}} ≤ {{abs|''X''}}<sup>''n''</sup> = {{abs|''X''}}}} सभी के लिए {{math|''n''}} (सी) द्वारा (बी)।
+कोई भी समुच्चय जिसे एक समूह के साथ आपत्ति में डाला जा सकता है, वह आपत्ति के माध्यम से एक समूह बन जाता है। यह दिखाया जाएगा कि {{math|1={{abs|''X''}} = {{abs|''F''}}}} और इसलिए X और समूह {{math|(''F'', •)}} के बीच एक-से-एक पत्राचार सम्मिलित है। {{math|1=''n'' = 0,1,2, ...}} के लिए, {{math|''F''<sub>''n''</sub>}} को कार्डिनैलिटी के सभी उपसमुच्चयों से मिलकर {{math|''F''}} का उपसमुच्चय होने दें। तब {{math|''F''}}, {{math|''F''<sub>''n''</sub>}} का असंयुक्त संघ है। कार्डिनलिटी एन के {{math|''X''}} के सबसमुच्चय की संख्या अधिकतम है {{math|''X''<sup>''n''</sup>}} क्योंकि एन तत्वों के साथ प्रत्येक सबसमुच्चय {{math|''X''}} के एन-फोल्ड कार्टेशियन उत्पाद {{math|''X''<sup>''n''</sup>}} का एक तत्व है। इसलिए {{math|1={{abs|''F''<sub>''n''</sub>}} ≤ {{abs|''X''}}<sup>''n''</sup> = {{abs|''X''}}}} सभी के लिए एन (सी) द्वारा (बी)।
-इन परिणामों को एक साथ रखने पर पता चलता है {{math|1={{abs|''F''}} = {{abs|⋃<sub>''n'' ∈ ω</sub>''F''<sub>''n''</sub>}} ≤ ℵ<sub>0</sub> · {{abs|''X''}} = {{abs|''X''}}}} द्वारा (ए) और (सी)। भी, {{math|{{abs|''F''}} ≥ {{abs|''X''}}}}, तब से {{math|''F''}} में सभी सिंगलटन शामिल हैं। इस प्रकार, {{math|{{abs|''X''}} ≤ {{abs|''F''}}}} और {{math|{{abs|''F''}} ≤ {{abs|''X''}}}}, इसलिए, श्रोडर-बर्नस्टीन प्रमेय द्वारा, {{math|1={{abs|''F''}} = {{abs|''X''}}}}. इसका ठीक-ठीक मतलब है कि एक आक्षेप है {{math|''j''}} बीच में {{math|''X''}} और {{math|''F''}}. अंत में, के लिए {{math|''x'', ''y'' ∈ ''X''}} परिभाषित करना {{math|1=''x'' • ''y'' = ''j''<sup>−1</sup>(''j''(''x'') Δ ''j''(''y''))}}. यह मुड़ता है {{math|(''X'', •)}} एक समूह में। इसलिए हर सेट एक समूह संरचना को स्वीकार करता है।
+इन परिणामों को एक साथ रखने पर यह देखा जाता है कि {{math|1={{abs|''F''}} = {{abs|⋃<sub>''n'' ∈ ω</sub>''F''<sub>''n''</sub>}} ≤ ℵ<sub>0</sub> · {{abs|''X''}} = {{abs|''X''}}}} (ए) और (सी) द्वारा। साथ ही {{math|{{abs|''F''}} ≥ {{abs|''X''}}}} क्योंकि F में सभी सिंगलटन हैं। इस प्रकार, |{{math|{{abs|''X''}} ≤ {{abs|''F''}}}} और {{math|{{abs|''F''}} ≤ {{abs|''X''}}}} इसलिए, श्रोडर-बर्नस्टीन प्रमेय द्वारा,{{math|1={{abs|''F''}} = {{abs|''X''}}}} इसका मतलब यह है कि {{math|''X''}} और {{math|''F''}} के बीच एक आक्षेप j है। अंत में {{math|''x'', ''y'' ∈ ''X''}} के लिए {{math|1=''x'' • ''y'' = ''j''<sup>−1</sup>(''j''(''x'') Δ ''j''(''y''))}} परिभाषित करें। यह {{math|(''X'', •)}} को समूह में बदल देता है। इसलिए हर समुच्चय एक समूह संरचना को स्वीकृत करता है।
-== समूह संरचना के बिना ZF सेट ==
+== समूह संरचना के बिना ZF समुच्चय ==
-ZF के [[ आंतरिक मॉडल ]] हैं जिसमें पसंद का स्वयंसिद्ध विफल हो जाता है।<ref>{{harvnb|Cohen|1966}}</ref> इस तरह के एक मॉडल में, ऐसे सेट होते हैं जिन्हें अच्छी तरह से ऑर्डर नहीं किया जा सकता है (इन नॉन-वेलऑर्डरेबल सेट को कॉल करें)। होने देना {{math|''X''}} ऐसा कोई सेट हो। अब सेट पर विचार करें {{math|''Y'' {{=}} ''X'' ∪ ℵ(''X'')}}. अगर {{math|''Y''}} के पास एक समूह संरचना होनी थी, फिर, पहले खंड में निर्माण द्वारा, {{math|''X''}} सुव्यवस्थित किया जा सकता है। यह विरोधाभास दर्शाता है कि सेट पर कोई समूह संरचना नहीं है {{math|''Y''}}.
+ZF के ऐसे [[ आंतरिक मॉडल |आंतरिक मॉडल]] हैं जिनमें पसंद का स्वयंसिद्ध विफल हो जाता है।<ref>{{harvnb|Cohen|1966}}</ref> ऐसे मॉडल में, ऐसे समुच्चय होते हैं जिन्हें अच्छी तरह से ऑर्डर नहीं किया जा सकता है (इन "नॉन-वेलऑर्डरेबल" समुच्चय को कॉल करें)। माना X ऐसा कोई समुच्चय है। अब समुच्चय {{math|''Y'' {{=}} ''X'' ∪ ℵ(''X'')}} पर विचार करें। यदि {{math|''Y''}} के पास एक समूह संरचना होती, तो, पहले खंड में निर्माण द्वारा, {{math|''X''}} को सुव्यवस्थित किया जा सकता है। यह विरोधाभास दर्शाता है कि समुच्चय {{math|''Y''}} पर कोई समूह संरचना नहीं है।
-यदि एक समुच्चय ऐसा है कि इसे समूह संरचना से संपन्न नहीं किया जा सकता है, तो यह आवश्यक रूप से गैर-क्रमबद्ध है। अन्यथा दूसरे खंड में निर्माण समूह संरचना उत्पन्न करता है। हालाँकि ये गुण समतुल्य नहीं हैं। अर्थात्, यह उन सेटों के लिए संभव है जिन्हें समूह संरचना के लिए सुव्यवस्थित नहीं किया जा सकता है।
+यदि एक समुच्चय ऐसा है कि इसे समूह संरचना से संपन्न नहीं किया जा सकता है, तो यह आवश्यक रूप से गैर-क्रमबद्ध है। अन्यथा दूसरे खंड में निर्माण समूह संरचना उत्पन्न करता है। हालाँकि ये गुण समतुल्य नहीं हैं। अर्थात्, यह उन समुच्चयों के लिए संभव है जिन्हें समूह संरचना के लिए सुव्यवस्थित नहीं किया जा सकता है।
-उदाहरण के लिए, यदि <math>X</math> कोई सेट है, तो <math>\mathcal P(X)</math> समूह संचालन के रूप में सममित अंतर के साथ एक समूह संरचना है। बेशक अगर <math>X</math> सुव्यवस्थित नहीं हो सकता, तो न ही हो सकता है <math>\mathcal P(X)</math>. सेट का एक दिलचस्प उदाहरण जो समूह संरचना नहीं ले सकता है, सेट से है <math>X</math> निम्नलिखित दो गुणों के साथ:
+उदाहरण के लिए यदि <math>X</math> कोई समुच्चय है तो <math>\mathcal P(X)</math> में एक समूह संरचना होती है, जिसमें समूह संचालन के रूप में सममित अंतर होता है। बेशक, अगर <math>X</math> को सुव्यवस्थित नहीं किया जा सकता है, तो न तो <math>\mathcal P(X)</math> हो सकता है। समुच्चय का एक दिलचस्प उदाहरण जो समूह संरचना नहीं ले सकता है, समुच्चय <math>X</math> से निम्न दो गुणों के साथ है:
-# <math>X</math> एक अनंत Dedekind-परिमित सेट है। दूसरे शब्दों में, <math>X</math> कोई गिनती में अनंत उपसमुच्चय नहीं है।
+# <math>X</math> एक अनंत डेडेकिंड-परिमित समुच्चय है। दूसरे शब्दों में <math>X</math> का कोई गिनने योग्य अपरिमित उपसमुच्चय नहीं है।
-# अगर <math>X</math> परिमित समुच्चयों में विभाजित किया जाता है, तो उनमें से बहुत से एकल को छोड़कर सभी एकल हैं।
+# यदि <math>X</math> को परिमित समुच्चयों में विभाजित किया जाता है, तो उनमें से बहुत से को छोड़कर सभी एकल हैं।
-यह देखने के लिए कि इन दोनों का संयोजन एक समूह संरचना को स्वीकार नहीं कर सकता है, ध्यान दें कि इस तरह के सेट के किसी भी क्रमपरिवर्तन में केवल परिमित कक्षाएँ होनी चाहिए, और उनमें से लगभग सभी आवश्यक रूप से सिंगलटन हैं, जिसका अर्थ है कि अधिकांश तत्व क्रमचय द्वारा स्थानांतरित नहीं होते हैं। अब द्वारा दिए गए क्रमचय पर विचार करें <math>x\mapsto a\cdot x</math>, के लिए <math>a</math> जो तटस्थ तत्त्व नहीं है, अपरिमित रूप से अनेक हैं <math>x</math> ऐसा है कि <math>a\cdot x=x</math>, तो उनमें से कम से कम एक तटस्थ तत्व भी नहीं है। से गुणा करना <math>x^{-1}</math> देता है <math>a</math> वास्तव में पहचान तत्व है जो एक विरोधाभास है।
+यह देखने के लिए कि इन दोनों का संयोजन एक समूह संरचना को स्वीकृत नहीं कर सकता है, ध्यान दें कि इस तरह के समुच्चय के किसी भी क्रमपरिवर्तन में केवल परिमित कक्षाएँ होनी चाहिए, और उनमें से लगभग सभी आवश्यक रूप से सिंगलटन हैं, जिसका अर्थ है कि अधिकांश तत्व क्रमचय द्वारा स्थानांतरित नहीं होते हैं।
-ऐसे सेट का अस्तित्व <math>X</math> सुसंगत है, उदाहरण के लिए कोहेन के पहले मॉडल में दिया गया है।<ref>{{Cite web|url=https://groups.google.com/forum/#!msg/sci.math/_1Qeebd0kV0/7bas3wCn6wYJ|title=विज्ञान गणित "किसी भी सेट पर समूह संरचना"|last=Dougherty|first=Randall|date=February 1, 2003}}</ref> हैरानी की बात है, हालांकि, एक अनंत Dedekind-परिमित सेट होने के नाते एक समूह संरचना को बाहर करने के लिए पर्याप्त नहीं है, क्योंकि यह सुसंगत है कि Dedekind-परिमित शक्ति सेट के साथ अनंत Dedekind-परिमित सेट हैं।<ref>{{Cite web|url=https://mathoverflow.net/a/179438/|title=घातांक और डेडेकिंड-परिमित कार्डिनल|last=Karagila|first=Asaf|date=August 26, 2014|website=MathOverflow}}</ref>
+अब <math>a</math> के लिए <math>x\mapsto a\cdot x</math> द्वारा दिए गए क्रमचय पर विचार करें, जो कि तटस्थ तत्व नहीं है, असीम रूप से कई <math>x</math> ऐसे हैं <math>a\cdot x=x</math> इसलिए उनमें से कम से कम एक तटस्थ तत्व भी नहीं है। <math>x^{-1}</math> से गुणा करने पर यह पता चलता है कि वास्तव में एक पहचान तत्व है जो एक विरोधाभास है।
+ऐसे समुच्चय <math>X</math> का अस्तित्व सुसंगत है, उदाहरण के लिए कोहेन के पहले मॉडल में दिया गया है।<ref>{{Cite web|url=https://groups.google.com/forum/#!msg/sci.math/_1Qeebd0kV0/7bas3wCn6wYJ|title=विज्ञान गणित "किसी भी सेट पर समूह संरचना"|last=Dougherty|first=Randall|date=February 1, 2003}}</ref> हैरानी की बात है, हालांकि, एक अनंत डेडेकिंड-परिमित समुच्चय होना एक समूह संरचना को बाहर करने के लिए पर्याप्त नहीं है, क्योंकि यह सुसंगत है कि डेडेकिंड-परिमित घात समुच्चय के साथ अनंत डेडेकिंड-परिमित समुच्चय हैं।<ref>{{Cite web|url=https://mathoverflow.net/a/179438/|title=घातांक और डेडेकिंड-परिमित कार्डिनल|last=Karagila|first=Asaf|date=August 26, 2014|website=MathOverflow}}</ref>
 ==टिप्पणियाँ==
 {{reflist|3}}

Anonymous

Search

समूह संरचना और पसंद का स्वयंसिद्ध: Difference between revisions

Namespaces

More

Page actions

Revision as of 12:30, 28 May 2023

Contents

एक समूह संरचना का अर्थ है पसंद का स्वयंसिद्ध

पसंद का स्वयंसिद्ध एक समूह संरचना

समूह संरचना के बिना ZF समुच्चय

टिप्पणियाँ

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

समूह संरचना और पसंद का स्वयंसिद्ध: Difference between revisions

Revision as of 12:30, 28 May 2023

एक समूह संरचना का अर्थ है पसंद का स्वयंसिद्ध

पसंद का स्वयंसिद्ध एक समूह संरचना

समूह संरचना के बिना ZF समुच्चय

टिप्पणियाँ

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories