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

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

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

ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धान्त सेट थ्योरी में, यानी पसंद के स्वयंसिद्ध के बिना ZFC, निम्नलिखित कथन समतुल्य हैं:

• हर गैर-खाली सेट के लिए X एक बाइनरी ऑपरेशन मौजूद है • ऐसा है कि (X, •) एक समूह है।
• पसंद का स्वयंसिद्ध सत्य है।

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

इस खंड में यह माना जाता है कि प्रत्येक सेट X एक समूह संरचना के साथ संपन्न किया जा सकता है (X, •).

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

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

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

अंत में, एक वेलऑर्डरिंग को परिभाषित करें X द्वारा x < y अगर j(x) < j(y). यह इस प्रकार है कि हर सेट X को सुव्यवस्थित किया जा सकता है और इस प्रकार पसंद का स्वयंसिद्ध सत्य है। ऊपर (i) में व्यक्त महत्वपूर्ण संपत्ति के लिए धारण करने के लिए, और इसलिए पूरे प्रमाण के लिए, यह पर्याप्त है X एक मेग्मा (गणित) होने के लिए # गुणों द्वारा वर्गीकरण, उदा। एक अर्धसमूह। रद्द करने की संपत्ति यह सुनिश्चित करने के लिए पर्याप्त है कि y • α सब अलग हैं।

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

किसी भी गैर-खाली परिमित सेट में किसी भी तत्व द्वारा उत्पन्न चक्रीय समूह के रूप में एक समूह संरचना होती है। पसंद के स्वयंसिद्ध की धारणा के तहत, हर अनंत सेट X एक अद्वितीय कार्डिनल संख्या से लैस है |X| जो एक Aleph के बराबर है। पसंद के स्वयंसिद्ध का उपयोग करके, यह किसी भी परिवार के लिए दिखाया जा सकता है S सेट का |⋃S| ≤ |S| × sup { |s| : s ∈ S} (ए)। इसके अलावा, पसंद पर तर्स्की के प्रमेय द्वारा, पसंद के स्वयंसिद्ध के एक और समकक्ष, |X|ⁿ = |X| सभी परिमित के लिए n (बी)।

होने देना X एक अनंत समुच्चय बनें और मान लें F के सभी परिमित उपसमूहों के समुच्चय को निरूपित करता है X. स्वाभाविक गुणन होता है • पर F. के लिए f, g ∈ F, होने देना f • g = f Δ g, कहाँ Δ सममित अंतर को दर्शाता है। यह मुड़ता है (F, •) खाली सेट वाले समूह में, Ø, पहचान होना और हर तत्व का अपना व्युत्क्रम होना; f Δ f = Ø. सहयोगी संपत्ति, यानी। (f Δ g) Δ h = f Δ (g Δ h) संघ और सेट अंतर के मूल गुणों का उपयोग करके सत्यापित किया गया है। इस प्रकार F गुणा वाला समूह है Δ.

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

इन परिणामों को एक साथ रखने पर पता चलता है |F| = |⋃_{n ∈ ω}F_n| ≤ ℵ₀ · |X| = |X| द्वारा (ए) और (सी)। भी, |F| ≥ |X|, तब से F में सभी सिंगलटन शामिल हैं। इस प्रकार, |X| ≤ |F| और |F| ≤ |X|, इसलिए, श्रोडर-बर्नस्टीन प्रमेय द्वारा, |F| = |X|. इसका ठीक-ठीक मतलब है कि एक आक्षेप है j बीच में X और F. अंत में, के लिए x, y ∈ X परिभाषित करना x • y = j⁻¹(j(x) Δ j(y)). यह मुड़ता है (X, •) एक समूह में। इसलिए हर सेट एक समूह संरचना को स्वीकार करता है।

समूह संरचना के बिना ZF सेट

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

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

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

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

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

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

संदर्भ

• 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.