आदर्श (आदेश सिद्धांत)

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

परिभाषाएँ

आंशिक रूप से ऑर्डर किए गए उपसमुच्चय $(P,\leq )$ यह आदर्श है यदि निम्नलिखित स्थितियाँ प्रस्तुत होती हैं

1. I अन्य-रिक्त है,
2. प्रत्येक x के लिए I और y के लिए P में, y ≤ x तात्पर्य यह है कि y, I के अंदर है (I निचला सेट है),
3. प्रत्येक x, y के लिए, I में कुछ तत्व z है I, जैसे कि x ≤ z और y ≤ z  (I निर्देशित सेट है)।

चूँकि यह मनमाना पॉसेट के लिए आदर्श को परिभाषित करने का सबसे सामान्य उपाय है, इसे मूल रूप से केवल जाली (आदेश) के लिए परिभाषित किया गया था। इस विषय में, निम्नलिखित समकक्ष परिभाषा दी जा सकती है, उपसमुच्चय I जाली का $(P,\leq )$ यह आदर्श है यदि और केवल यदि यह निचला सेट है जो परिमित जोड़ (उच्चतम) के तहत बंद है; अर्थात्, यह अन्य-रिक्त है और सभी x, y के लिए है और I में सभी x, y के लिए तत्व है।

ऑर्डर आदर्श की कमजोर धारणा को पोसेट P के उपसमुच्चय के रूप में परिभाषित किया गया है जो उपरोक्त शर्तों 1 और 2 को संतुष्ट करता है। दूसरे शब्दों में, ऑर्डर आदर्श निचला सेट है। इसी प्रकार, आदर्श को निर्देशित निम्न समुच्चय के रूप में भी परिभाषित किया जा सकता है।

आदर्श की द्वैत (आदेश सिद्धांत) धारणा, अर्थात्, सभी ≤ को विपरीत कर और आदान-प्रदान करके प्राप्त की गई अवधारणा $\vee$ साथ $\wedge ,$ फ़िल्टर (गणित) है.

फ्रिंक आदर्श, छद्म आदर्श और डॉयल छद्म आदर्श जाली आदर्श की धारणा के विभिन्न सामान्यीकरण हैं।

आदर्श या फ़िल्टर को उचित कहा जाता है यदि यह पूर्ण सेट P के बराबर नहीं है।

सबसे छोटा आदर्श जिसमें दिया गया तत्व p सम्मिलित है, प्रमुख आदर्श है और इस स्थिति में p को आदर्श का प्रमुख तत्व कहा जाता है। प्रमुख आदर्श $\downarrow p$ मूलधन के लिए p इस प्रकार ↓ p = {x ∈ P | x ≤ p} दिया जाता है।

शब्दावली भ्रम

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

प्रधान आदर्श

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

उपसमुच्चय I जाली का $(P,\leq )$ प्रमुख आदर्श है, यदि और केवल यदि

1. I P का उचित आदर्श है, और
2. P के सभी तत्वों x और y के लिए, $x\wedge y$ में I इसका आशय है x ∈ I या y ∈ I.

यह आसानी से जांचा जा सकता है कि यह वास्तव में यह बताने के बराबर है $P\setminus I$ फिल्टर है (जो दोहरे अर्थ में अभाज्य भी है)।

एक पूर्ण जाली के लिए आगे की धारणाcompletely prime ideal सार्थक है. इसे उचित आदर्श के रूप में परिभाषित किया गया है I अतिरिक्त संपत्ति के साथ, जब भी कुछ मनमाना सेट मिलते हैं (न्यूनतम)। A में है I, A का कुछ अवयव भी अन्दर है I. तो यह सिर्फ विशिष्ट प्रधान आदर्श है जो उपरोक्त शर्तों को अनंत बैठकों तक विस्तारित करता है।

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

अधिकतम आदर्श

एक आदर्श I है maximal ideal यदि यह उचित है और कोई उचित आदर्श J नहीं है तो यह सख्त सुपरसेट है I. इसी तरह, फिल्टर एफ अधिकतम है यदि यह उचित है और कोई उचित फिल्टर नहीं है जो सख्त सुपरसेट है।

जब पोसेट वितरणात्मक जाली होता है, तो अधिकतम आदर्श और फ़िल्टर आवश्यक रूप से अभाज्य होते हैं, जबकि इस कथन का विपरीत सामान्य रूप से गलत है।

मैक्सिमम फिल्टर को कभी-कभी अल्ट्राफ़िल्टर कहा जाता है, परन्तु यह शब्दावली अक्सर बूलियन बीजगणित के लिए आरक्षित होती है, जहां मैक्सिमम फिल्टर (आदर्श) फिल्टर (आदर्श) होता है जिसमें प्रत्येक तत्व ए के लिए बिल्कुल तत्व {ए, ¬ए} होता है। बूलियन बीजगणित। बूलियन बीजगणित में, प्राइम आदर्श और मैक्सिमम आदर्श शब्द मेल खाते हैं, जैसे कि प्राइम फिल्टर और मैक्सिमम फिल्टर शब्द मेल खाते हैं।

आदर्शों की अधिकतमता की और दिलचस्प धारणा है: आदर्श पर विचार करें I और फ़िल्टर F ऐसा है I एफ से असंयुक्त समुच्चय है। हम ऐसे आदर्श एम में रुचि रखते हैं जो इसमें सम्मिलित सभी आदर्शों में अधिकतम है I और F से असंयुक्त हैं। वितरणात्मक जालकों के विषय में ऐसा M हमेशा प्रमुख आदर्श होता है। इस कथन का प्रमाण इस प्रकार है।

Proof

Assume the ideal M is maximal with respect to disjointness from the filter F. Suppose for a contradiction that M is not prime, i.e. there exists a pair of elements a and b such that a ∧ b in M but neither a nor b are in M. Consider the case that for all m in M, m ∨ a is not in F. One can construct an ideal N by taking the downward closure of the set of all binary joins of this form, i.e. N = { x | x ≤ m ∨ a for some m ∈ M}. It is readily checked that N is indeed an ideal disjoint from F which is strictly greater than M. But this contradicts the maximality of M and thus the assumption that M is not prime.

For the other case, assume that there is some m in M with m ∨ a in F. Now if any element n in M is such that n ∨ b is in F, one finds that (m ∨ n) ∨ b and (m ∨ n) ∨ a are both in F. But then their meet is in F and, by distributivity, (m ∨ n) ∨ (a ∧ b) is in F too. On the other hand, this finite join of elements of M is clearly in M, such that the assumed existence of n contradicts the disjointness of the two sets. Hence all elements n of M have a join with b that is not in F. Consequently one can apply the above construction with b in place of a to obtain an ideal that is strictly greater than M while being disjoint from F. This finishes the proof.

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

अनुप्रयोग

ऑर्डर सिद्धांत के कई अनुप्रयोगों में आदर्शों और फिल्टर का निर्माण महत्वपूर्ण उपकरण है।

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

इतिहास

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

किसी भी पोसेट का सामान्यीकरण ऑरिन फ्रिंक द्वारा किया गया था।

यह भी देखें

• Filter (mathematics) – In mathematics, a special subset of a partially ordered set
• Ideal (ring theory) – Additive subgroup of a mathematical ring that absorbs multiplication
• Ideal (set theory) – Non-empty family of sets that is closed under finite unions and subsets
• Boolean prime ideal theorem – Ideals in a Boolean algebra can be extended to prime ideals

संदर्भ

• Burris, Stanley N.; Sankappanavar, Hanamantagouda P. (1981). A Course in Universal Algebra. Springer-Verlag. ISBN 3-540-90578-2.
• Davey, Brian A.; Priestley, Hilary Ann (2002). Introduction to Lattices and Order (2nd ed.). Cambridge University Press. ISBN 0-521-78451-4.
• Taylor, Paul (1999), Practical foundations of mathematics, Cambridge Studies in Advanced Mathematics, vol. 59, Cambridge University Press, Cambridge, ISBN 0-521-63107-6, MR 1694820
• Frenchman, Zack; Hart, James (2020), An Introduction to Order Theory, AMS

इतिहास के बारे में

• Stone, M. H. (1934), "Boolean Algebras and Their Application to Topology", Proc. Natl. Acad. Sci. U.S.A., 20: 197–202, doi:10.1073/pnas.20.3.197
• Stone, M. H. (1935), "Subsumption of the Theory of Boolean Algebras under the Theory of Rings", Proc. Natl. Acad. Sci. U.S.A., 21: 103–105, doi:10.1073/pnas.21.2.103
• Frink, Orrin (1954), "Ideals In Partially Ordered Sets", Am. Math. Mon., 61: 223–234, doi:10.1080/00029890.1954.11988449

श्रेणी:साक्ष्य युक्त लेख श्रेणी:आदर्श (रिंग सिद्धांत) श्रेणी:आदेश सिद्धांत