Difference between revisions of "आदर्श (आदेश सिद्धांत)"

Latest revision as of 12:44, 31 August 2023

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

परिभाषाएँ

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

$I$ अन्य-रिक्त है,
प्रत्येक x के लिए $I$ एवं y के लिए P में, $y \leq x$ तात्पर्य यह है कि y, $I$ के अंदर है ( $I$ निचला समुच्चय है),
प्रत्येक x, y के लिए, $I$ में कुछ तत्व z है $I$ , जैसे कि $x \leq z$ एवं $y \leq z$ ( $I$ निर्देशित समुच्चय है)।

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

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

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

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

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

सबसे छोटा आदर्श जिसमें दिया गया तत्व p सम्मिलित है, प्रमुख आदर्श है एवं इस स्थिति में p को आदर्श का प्रमुख तत्व कहा जाता है।

प्रमुख आदर्श $\downarrow p$ मूलधन के लिए p इस प्रकार $↓ p = {x \in P | x \leq p}$ दिया जाता है।

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

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

प्राइम आदर्श

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

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

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

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

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

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

अधिकतम आदर्श

आदर्श $I$ अधिकतम आदर्श है यदि यह उचित है एवं कोई उचित आदर्श J नहीं है जो कि $I$ का यह सख्त सुपरसमुच्चय है। इसी प्रकार फिल्टर F अधिकतम है यदि यह उचित है एवं कोई उचित फिल्टर नहीं है जो सख्त सुपरसमुच्चय है।

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

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

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

Proof

मान लें कि फिल्टर M से असंबद्धता के संबंध में आदर्श M अधिकतम है। विरोधाभास के लिए मान लीजिए कि M अभाज्य नहीं है, अर्थात a और b तत्वों की जोड़ी सम्मिलित है जैसे कि $a \land M में b$ परन्तु M में न तो a और न ही b हैं। इस विषय पर विचार करें कि M में सभी m के लिए, $m \lor a$ F में नहीं है।

इस फॉर्म के सभी बाइनरी जॉइन के सेट को नीचे की ओर बंद करके आदर्श N का निर्माण किया जा सकता है, अर्थातTemplate:गणित। यह सरलता से लिया जाता है कि N वास्तव में M से आदर्श विच्छेदन है जो M से सख्ती से बड़ा है। यह M की अधिकतमता का खंडन करता है और इस प्रकार यह धारणा कि M अभाज्य नहीं है।

दूसरे विषय के लिए, मान लें कि M में $m \lor के साथ कुछ m है। a'$ F में। अब यदि M में कोई तत्व n ऐसा है कि n ∨ b F में है, कोई पाता है कि $($ m ∨ n) ∨ b और Template:गणित दोनों F में हैं। तब उनका मिलना F में होता है और, वितरण के अनुसार, Template:गणित F में भी है। दूसरी ओर, एम के तत्वों का यह सीमित जुड़ाव स्पष्ट रूप से M में है, जैसे कि N का अनुमानित अस्तित्व दो सेटों की असंगति का खंडन करता है। इसलिए M के सभी तत्वों n का संबंध b से है जो कि F में नहीं है। कोई उपरोक्त निर्माण को A के स्थान पर B के साथ प्रस्तुत कर सकता है जिससे आदर्श प्राप्त किया जा सके जो F से असंबद्ध होते हुए M से सख्ती से बड़ा हो। इससे प्रमाण समाप्त हो जाता है।

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

अनुप्रयोग

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

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

इतिहास

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

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

यह भी देखें

फ़िल्टर (गणित) – In mathematics, a special subset of a partially ordered set
आदर्श (वलय सिद्धांत)
आदर्श (समुच्चय सिद्धांत) – Non-empty family of sets that is closed under finite unions and subsets
बूलियन प्राइम आदर्श प्रमेय – Ideals in a Boolean algebra can be extended to prime ideals

↑ ^1.0 ^1.1 Burris & Sankappanavar 1981, Def. 8.2.
↑ Davey & Priestley 2002, pp. 20, 44.
↑ Frenchman & Hart 2020, pp. 2, 7.
↑ Partial Order Ideal, Wolfram MathWorld, 2002, retrieved 2023-02-26
↑ George M. Bergman (2008), "On lattices and their ideal lattices, and posets and their ideal posets" (PDF), Tbilisi Math. J., 1: 89
↑ Stone (1934) and Stone (1935)
↑ Frink (1954)

संदर्भ

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

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

[FOOTNOTEBurrisSankappanavar1981Def._8.2-1] 1.0 ^1.1 Burris & Sankappanavar 1981, Def. 8.2.

[FOOTNOTEDaveyPriestley200220.2C_44-2] Davey & Priestley 2002, pp. 20, 44.

[FOOTNOTEFrenchmanHart20202.2C_7-3] Frenchman & Hart 2020, pp. 2, 7.

[4] Partial Order Ideal, Wolfram MathWorld, 2002, retrieved 2023-02-26

[5] George M. Bergman (2008), "On lattices and their ideal lattices, and posets and their ideal posets" (PDF), Tbilisi Math. J., 1: 89

[6] Stone (1934) and Stone (1935)

[7] Frink (1954)

[1]

[2]

[3]

[4]

[5]

[6]

[7]

@@ Line 1: / Line 1: @@
-गणितीय क्रम सिद्धांत में, आदर्श आंशिक रूप से क्रमबद्ध सेट (पोसेट) का विशेष उपसमुच्चय है। यद्यपि यह शब्द ऐतिहासिक रूप से [[अमूर्त बीजगणित]] के वलय आदर्श की धारणा से लिया गया था, पश्चात में इसे भिन्न धारणा के लिए सामान्यीकृत किया गया है। क्रम एवं [[जाली सिद्धांत]] में कई निर्माणों के लिए आदर्शों का अधिक महत्व है।
+गणितीय क्रम सिद्धांत में, '''आदर्श''' आंशिक रूप से क्रमबद्ध समुच्चय (पोसेट) का विशेष उपसमुच्चय है। यद्यपि यह शब्द ऐतिहासिक रूप से [[अमूर्त बीजगणित]] के वलय आदर्श की धारणा से लिया गया था, पश्चात में इसे भिन्न धारणा के लिए सामान्यीकृत किया गया है। क्रम एवं [[जाली सिद्धांत|लैटिस सिद्धांत]] में कई निर्माणों के लिए आदर्शों का अधिक महत्व है।
-'''परिभाषाएँ'''
+== परिभाषाएँ ==
 आंशिक रूप से ऑर्डर किए गए उपसमुच्चय <math>(P, \leq)</math> यह आदर्श है यदि निम्नलिखित स्थितियाँ प्रस्तुत होती हैं
 # {{mvar|I}} अन्य-रिक्त है,
-# प्रत्येक x के लिए {{mvar|I}} एवं y के लिए P में, {{math|''y'' ≤ ''x''}} तात्पर्य यह है कि y, {{mvar|I}} के अंदर है  ({{mvar|I}} [[निचला सेट]] है),
+# प्रत्येक x के लिए {{mvar|I}} एवं y के लिए P में, {{math|''y'' ≤ ''x''}} तात्पर्य यह है कि y, {{mvar|I}} के अंदर है  ({{mvar|I}} [[निचला सेट|निचला समुच्चय]] है),
-# प्रत्येक x, y के लिए, {{mvar|I}} में कुछ तत्व z है {{mvar|I}}, जैसे कि {{math|''x'' ≤ ''z''}} एवं {{math|''y'' ≤ ''z''}}  ({{mvar|I}} [[निर्देशित सेट]] है)।
+# प्रत्येक x, y के लिए, {{mvar|I}} में कुछ तत्व z है {{mvar|I}}, जैसे कि {{math|''x'' ≤ ''z''}} एवं {{math|''y'' ≤ ''z''}}  ({{mvar|I}} [[निर्देशित सेट|निर्देशित समुच्चय]] है)।
+चूँकि यह मनमाना पोसेट के लिए आदर्श को परिभाषित करने का सबसे सामान्य उपाय है, इसे मूल रूप से केवल [[ जाली (आदेश) |लैटिस (आदेश)]] के लिए परिभाषित किया गया था। इस विषय में, निम्नलिखित समकक्ष परिभाषा दी जा सकती है, उपसमुच्चय {{mvar|I}} लैटिस का <math>(P, \leq)</math> यह आदर्श है यदि एवं केवल यदि यह निचला समुच्चय है जो परिमित जोड़ ([[ उच्चतम |उच्चतम]]) के तहत बंद है; अर्थात्, यह अन्य-रिक्त है एवं सभी x, y के लिए है एवं I में सभी x, y के लिए तत्व है।
-चूँकि यह मनमाना पॉसेट के लिए आदर्श को परिभाषित करने का सबसे सामान्य उपाय है, इसे मूल रूप से केवल [[ जाली (आदेश) | जाली (आदेश)]] के लिए परिभाषित किया गया था। इस विषय में, निम्नलिखित समकक्ष परिभाषा दी जा सकती है, उपसमुच्चय {{mvar|I}} जाली का <math>(P, \leq)</math> यह आदर्श है यदि एवं केवल यदि यह निचला सेट है जो परिमित जोड़ ([[ उच्चतम |उच्चतम]]) के तहत बंद है; अर्थात्, यह अन्य-रिक्त है एवं सभी x, y के लिए है एवं I में सभी x, y के लिए तत्व है।
+ऑर्डर आदर्श की स्थिर धारणा को पोसेट {{mvar|P}} के उपसमुच्चय के रूप में परिभाषित किया गया है जो उपरोक्त शर्तों 1 एवं 2 को संतुष्ट करता है। दूसरे शब्दों में, ऑर्डर आदर्श निचला समुच्चय है। इसी प्रकार, आदर्श को निर्देशित निम्न समुच्चय के रूप में भी परिभाषित किया जा सकता है।
-ऑर्डर आदर्श की कमजोर धारणा को पोसेट {{mvar|P}} के उपसमुच्चय के रूप में परिभाषित किया गया है जो उपरोक्त शर्तों 1 एवं 2 को संतुष्ट करता है। दूसरे शब्दों में, ऑर्डर आदर्श निचला सेट है। इसी प्रकार, आदर्श को निर्देशित निम्न समुच्चय के रूप में भी परिभाषित किया जा सकता है।
+आदर्श की [[द्वैत (आदेश सिद्धांत)]] धारणा, अर्थात्, सभी ≤ को विपरीत कर एवं आदान-प्रदान करके प्राप्त की गई अवधारणा <math>\vee</math> साथ <math>\wedge,</math> [[फ़िल्टर (गणित)]] है।
-आदर्श की [[द्वैत (आदेश सिद्धांत)]] धारणा, अर्थात्, सभी ≤ को विपरीत कर एवं आदान-प्रदान करके प्राप्त की गई अवधारणा <math>\vee</math> साथ <math>\wedge,</math> [[फ़िल्टर (गणित)]] है.
+[[फ्रिंक आदर्श]], छद्म आदर्श एवं डॉयल छद्म आदर्श लैटिस आदर्श की धारणा के विभिन्न सामान्यीकरण हैं।
-[[फ्रिंक आदर्श]], छद्म आदर्श एवं डॉयल छद्म आदर्श जाली आदर्श की धारणा के विभिन्न सामान्यीकरण हैं।
+आदर्श या फ़िल्टर को उचित कहा जाता है यदि यह पूर्ण समुच्चय ''P'' के समान नहीं है।{{sfn|Burris|Sankappanavar|1981|loc=Def. 8.2}}
-आदर्श या फ़िल्टर को उचित कहा जाता है यदि यह पूर्ण सेट  ''P'' के बराबर नहीं है।{{sfn|Burris|Sankappanavar|1981|loc=Def. 8.2}}
+सबसे छोटा आदर्श जिसमें दिया गया तत्व p सम्मिलित है, प्रमुख आदर्श है एवं इस स्थिति में p को आदर्श का प्रमुख तत्व कहा जाता है।
-सबसे छोटा आदर्श जिसमें दिया गया तत्व p सम्मिलित है, प्रमुख आदर्श है एवं इस स्थिति में p को आदर्श का प्रमुख तत्व कहा जाता है। प्रमुख आदर्श <math>\downarrow p</math> मूलधन के लिए p इस प्रकार {{math|↓ ''p'' {{=}} {{mset|''x'' &isin; ''P'' | ''x'' ≤ ''p''}}}} दिया जाता है।
+प्रमुख आदर्श <math>\downarrow p</math> मूलधन के लिए p इस प्रकार {{math|↓ ''p'' {{=}} {{mset|''x'' &isin; ''P'' | ''x'' ≤ ''p''}}}} दिया जाता है।
 == शब्दावली भ्रम ==
@@ Line 24: / Line 25: @@
-==प्रधान आदर्श==
+==प्राइम आदर्श==
-किसी आदर्श का महत्वपूर्ण विशेष विषय उन आदर्शों से बनता है जिनके सेट-सैद्धांतिक पूरक फ़िल्टर होते हैं, अर्थात व्युत्क्रम क्रम में आदर्श है। ऐसे आदर्शों को प्रधान आदर्श कहा जाता है। यह भी ध्यान रखें कि, चूंकि हमें आदर्शों एवं फिल्टरों को अन्य-रिक्त होने की आवश्यकता है, इसलिए प्रत्येक अभाज्य आदर्श आवश्यक रूप से उचित है। जाली के लिए, प्रमुख आदर्शों को इस प्रकार चित्रित किया जा सकता है:
+किसी आदर्श का महत्वपूर्ण विशेष विषय उन आदर्शों से बनता है जिनके समुच्चय सैद्धांतिक पूरक फ़िल्टर होते हैं, अर्थात व्युत्क्रम क्रम में आदर्श है। ऐसे आदर्शों को प्राइम आदर्श कहा जाता है। यह भी ध्यान रखें कि, चूंकि हमें आदर्शों एवं फिल्टरों को अन्य-रिक्त होने की आवश्यकता है, इसलिए प्रत्येक अभाज्य आदर्श आवश्यक रूप से उचित है। लैटिस के लिए, प्रमुख आदर्शों को इस प्रकार चित्रित किया जा सकता है:
-उपसमुच्चय {{mvar|I}} जाली का <math>(P, \leq)</math> प्रमुख आदर्श है, यदि एवं केवल यदि
+उपसमुच्चय {{mvar|I}} लैटिस का <math>(P, \leq)</math> प्रमुख आदर्श है, यदि एवं केवल यदि
 # {{mvar|I}}, P का उचित आदर्श है, एवं
 # P के सभी तत्वों x एवं y के लिए, <math>x \wedge y</math> में {{mvar|I}} का आशय {{math|''x'' &isin; ''I''}} या {{math|''y'' &isin; ''I''}} है।
-यह सरलता से जांचा जा सकता है कि यह वास्तव में यह बताने के बराबर है कि <math>P \setminus I</math> फिल्टर है (जो दोहरे अर्थ में अभाज्य भी है)।
+यह सरलता से परीक्षण किया जा सकता है कि यह वास्तव में यह बताने के समान है कि <math>P \setminus I</math> फिल्टर है (जो दोहरे अर्थ में अभाज्य भी है)।
-[[पूर्ण जाली]] के लिए एक पूर्णतः प्रधान आदर्श की आगे की धारणा सार्थक है। इसे अतिरिक्त संपत्ति के साथ उचित आदर्श {{mvar|I}} के रूप में परिभाषित किया गया है, जब भी कुछ मनमाना सेट {{math|''A''}} का मिलन (न्यूनतम) {{math|''I''}} में होता है, तो  A का कुछ अवयव भी {{mvar|I}} होता है। इसलिए यह सिर्फ विशिष्ट प्रधान आदर्श है जो उपरोक्त शर्तों को अनंत बैठकों तक विस्तारित करता है।
+[[पूर्ण जाली|पूर्ण लैटिस]] के लिए एक पूर्णतः प्राइम आदर्श की आगे की धारणा सार्थक है। इसे अतिरिक्त संपत्ति के साथ उचित आदर्श {{mvar|I}} के रूप में परिभाषित किया गया है, जब भी कुछ मनमाना समुच्चय {{math|''A''}} का मिलन (न्यूनतम) {{math|''I''}} में होता है, तो  A का कुछ अवयव भी {{mvar|I}} होता है। इसलिए यह सिर्फ विशिष्ट प्राइम आदर्श है जो उपरोक्त शर्तों को अनंत बैठकों तक विस्तारित करता है।
-प्रधान आदर्शों का अस्तित्व सामान्यतः स्पष्ट नहीं है, एवं प्रायः ZF (पसंद के स्वयंसिद्ध सिद्धांत के बिना ज़र्मेलो-फ्रेंकेल सेट सिद्धांत) के अन्दर प्रमुख आदर्शों की संतोषजनक मात्रा प्राप्त नहीं की जा सकती है। इस विषय पर विभिन्न [[बूलियन प्राइम आदर्श प्रमेय|बूलियन प्राइम आदर्श प्रमेयों]] में चर्चा की गई है, जो कई अनुप्रयोगों के लिए आवश्यक हैं जिनके लिए प्राइम आदर्शों की आवश्यकता होती है।
+प्राइम आदर्शों का अस्तित्व सामान्यतः स्पष्ट नहीं है, एवं प्रायः ZF (पसंद के स्वयंसिद्ध सिद्धांत के बिना ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत) के अन्दर प्रमुख आदर्शों की संतोषजनक मात्रा प्राप्त नहीं की जा सकती है। इस विषय पर विभिन्न [[बूलियन प्राइम आदर्श प्रमेय|बूलियन प्राइम आदर्श प्रमेयों]] में चर्चा की गई है, जो कई अनुप्रयोगों के लिए आवश्यक हैं जिनके लिए प्राइम आदर्शों की आवश्यकता होती है।
 ==अधिकतम आदर्श==
-आदर्श {{mvar|I}} अधिकतम आदर्श है यदि यह उचित है एवं कोई उचित आदर्श J नहीं है जो कि {{mvar|I}} का यह सख्त सुपरसेट है। इसी तरह, फिल्टर F  अधिकतम है यदि यह उचित है एवं कोई उचित फिल्टर नहीं है जो सख्त सुपरसेट है।
+आदर्श {{mvar|I}} अधिकतम आदर्श है यदि यह उचित है एवं कोई उचित आदर्श J नहीं है जो कि {{mvar|I}} का यह सख्त सुपरसमुच्चय है। इसी प्रकार फिल्टर F  अधिकतम है यदि यह उचित है एवं कोई उचित फिल्टर नहीं है जो सख्त सुपरसमुच्चय है।
-जब पोसेट [[वितरणात्मक जाली]] होता है, तो अधिकतम आदर्श एवं फ़िल्टर आवश्यक रूप से अभाज्य होते हैं, जबकि इस कथन का विपरीत सामान्य रूप से उचित है।
+जब पोसेट [[वितरणात्मक जाली|वितरणात्मक लैटिस]] होता है, तो अधिकतम आदर्श एवं फ़िल्टर आवश्यक रूप से अभाज्य होते हैं, जबकि इस कथन का विपरीत सामान्य रूप से उचित है।
 मैक्सिमम फिल्टर को कभी-कभी [[ अल्ट्राफ़िल्टर |अल्ट्राफ़िल्टर]] कहा जाता है, परन्तु यह शब्दावली प्रायः बूलियन बीजगणित के लिए आरक्षित होती है, जहां मैक्सिमम फिल्टर (आदर्श), फिल्टर (आदर्श) होता है जिसमें प्रत्येक तत्व ''a'' के लिए बिल्कुल तत्व {''a'', ¬''a''} होता है। बूलियन बीजगणित में, प्राइम आदर्श एवं मैक्सिमम आदर्श शब्द समान होते  हैं, जैसे कि प्राइम फिल्टर एवं मैक्सिमम फिल्टर शब्द समान होते  हैं।
-आदर्शों की अधिकतमता की दिलचस्प धारणा है: आदर्श {{mvar|I}} एवं फ़िल्टर F पर विचार करें जैसे कि  {{mvar|I}}, F से असंयुक्त समुच्चय है। हम ऐसे आदर्श M  में रुचि रखते हैं जो सभी आदर्शों में अधिकतम है इसमें {{mvar|I}} सम्मिलित है एवं F से असंयुक्त हैं। वितरणात्मक जालकों के विषय में ऐसा M सदैव प्रमुख आदर्श होता है। इस कथन का प्रमाण इस प्रकार है।
+आदर्शों की अधिकतमता की दिलचस्प धारणा है: आदर्श {{mvar|I}} एवं फ़िल्टर F पर विचार करें जैसे कि  {{mvar|I}}, F से असंयुक्त समुच्चय है। हम ऐसे आदर्श M में रुचि रखते हैं जो सभी आदर्शों में अधिकतम है इसमें {{mvar|I}} सम्मिलित है एवं F से असंयुक्त हैं। वितरणात्मक जालकों के विषय में ऐसा M सदैव प्रमुख आदर्श होता है। इस कथन का प्रमाण इस प्रकार है।
+{{math proof|1=मान लें कि फिल्टर ''M'' से असंबद्धता के संबंध में आदर्श ''M'' अधिकतम है। विरोधाभास के लिए मान लीजिए कि ''M'' अभाज्य नहीं है, अर्थात ''a'' और ''b'' तत्वों की जोड़ी सम्मिलित है जैसे कि {{math|''a'' &and; ''M'' में ''b''}} परन्तु ''M'' में न तो ''a'' और न ही ''b'' हैं। इस विषय पर विचार करें कि ''M'' में सभी ''m'' के लिए, {{math|''m'' &or; ''a''}} ''F'' में नहीं है।
-{{math proof|1=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 {{math|''a'' &and; ''b''}} in ''M'' but neither ''a'' nor ''b'' are in ''M''. Consider the case that for all ''m'' in ''M'', {{math|''m'' &or; ''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. {{math|''N'' {{=}} {{mset| ''x'' | ''x'' ≤ ''m'' &or; ''a'' for some ''m'' &isin; ''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.
+इस फॉर्म के सभी बाइनरी जॉइन के सेट को नीचे की ओर बंद करके आदर्श ''N'' का निर्माण किया जा सकता है, अर्थात{{गणित|''एन'' {{=}} {{Mसेट| ''X'' | ''x'' ≤ ''m'' &or; ''a'' कुछ ''M'' के लिए &isin; ''M''}}}}। यह सरलता से लिया जाता है कि ''N'' वास्तव में ''M'' से आदर्श विच्छेदन है जो ''M'' से सख्ती से बड़ा है। यह ''M'' की अधिकतमता का खंडन करता है और इस प्रकार यह धारणा कि ''M'' अभाज्य नहीं है।
-For the other case, assume that there is some ''m'' in ''M'' with {{math|''m'' &or; ''a''}} in ''F''. Now if any element ''n'' in ''M'' is such that {{math|''n'' &or; ''b''}} is in ''F'', one finds that {{math|(''m'' &or; ''n'') &or; ''b''}} and {{math|(''m'' &or; ''n'') &or; ''a''}} are both in ''F''. But then their meet is in ''F'' and, by distributivity, {{math|(''m'' &or; ''n'') &or; (''a'' &and; ''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.}}
+दूसरे विषय के लिए, मान लें कि ''M'' में {{math|''m'' &or; के साथ कुछ ''m'' है। ''a'}} ''F'' में। अब यदि ''M'' में कोई तत्व ''n'' ऐसा है कि {{math|''n'' &or; ''b''}} ''F'' में है, कोई पाता है कि {{math|(''m'' &or; ''n'') &or; ''b''}} और {{गणित|(''M'' &या; ''N'') &या; ''a''}} दोनों ''F'' में हैं।  तब उनका मिलना ''F'' में होता है और, वितरण के अनुसार, {{गणित|(''M'' &या; ''N'') &या; (''a'' &and; ''b'')}} ''F'' में भी है। दूसरी ओर, ''एम'' के तत्वों का यह सीमित जुड़ाव स्पष्ट रूप से ''M'' में है, जैसे कि ''N'' का अनुमानित अस्तित्व दो सेटों की असंगति का खंडन करता है। इसलिए ''M'' के सभी तत्वों ''n'' का संबंध ''b'' से है जो कि ''F'' में नहीं है। कोई उपरोक्त निर्माण को ''A'' के स्थान पर ''B'' के साथ प्रस्तुत कर सकता है जिससे आदर्श प्राप्त किया जा सके जो ''F'' से असंबद्ध होते हुए ''M'' से सख्ती से बड़ा हो। इससे प्रमाण समाप्त हो जाता है।}}
-चूँकि, सामान्य तौर पर यह स्पष्ट नहीं है कि क्या कोई आदर्श एम मौजूद है जो इस अर्थ में अधिकतम है। फिर भी, यदि हम अपने सेट सिद्धांत में पसंद के सिद्धांत को मानते हैं, तो प्रत्येक असंयुक्त फिल्टर-आदर्श-जोड़ी के लिए एम का अस्तित्व दिखाया जा सकता है। विशेष विषय में कि माना गया क्रम [[बूलियन बीजगणित (संरचना)]] है, इस प्रमेय को बूलियन प्राइम आदर्श प्रमेय कहा जाता है। यह पसंद के स्वयंसिद्ध से सख्ती से कमजोर है एवं यह पता चलता है कि आदर्शों के कई आदेश-सैद्धांतिक अनुप्रयोगों के लिए एवं कुछ भी आवश्यक नहीं है।
+चूँकि, सामान्यतः यह स्पष्ट नहीं है कि क्या कोई आदर्श M सम्मिलित है जो इस अर्थ में अधिकतम है। फिर भी, यदि हम अपने समुच्चय सिद्धांत में पसंद के सिद्धांत को मानते हैं, तो प्रत्येक असंयुक्त फिल्टर आदर्श जोड़ी के लिए M का अस्तित्व प्रदर्शित किया जा सकता है। विशेष विषय में कि माना गया क्रम [[बूलियन बीजगणित (संरचना)]] है, इस प्रमेय को बूलियन प्राइम आदर्श प्रमेय कहा जाता है। यह पसंद के स्वयंसिद्ध से सख्ती से स्थिर है एवं यह पता चलता है कि आदर्शों के कई आदेश-सैद्धांतिक अनुप्रयोगों के लिए एवं कुछ भी आवश्यक नहीं है।
 ==अनुप्रयोग==
 ऑर्डर सिद्धांत के कई अनुप्रयोगों में आदर्शों एवं फिल्टर का निर्माण महत्वपूर्ण उपकरण है।
-* बूलियन बीजगणित के लिए स्टोन के प्रतिनिधित्व प्रमेय में, अधिकतम आदर्शों (या, समकक्ष रूप से निषेध मानचित्र, अल्ट्राफिल्टर के माध्यम से) का उपयोग [[टोपोलॉजिकल स्पेस]] के बिंदुओं के सेट को प्राप्त करने के लिए किया जाता है, जिनके [[क्लोपेन सेट]] मूल बूलियन बीजगणित के समरूपता हैं।
+* बूलियन बीजगणित के लिए स्टोन के प्रतिनिधित्व प्रमेय में, अधिकतम आदर्शों (या, समकक्ष रूप से निषेध मानचित्र, अल्ट्राफिल्टर के माध्यम से) का उपयोग [[टोपोलॉजिकल स्पेस]] के बिंदुओं के समुच्चय को प्राप्त करने के लिए किया जाता है, जिनके [[क्लोपेन सेट|क्लोपेन समुच्चय]] मूल बूलियन बीजगणित के समरूपता हैं।
-* ऑर्डर थ्योरी पॉसेट को अतिरिक्त पूर्णता (ऑर्डर थ्योरी) गुणों के साथ पॉसेट में बदलने के लिए कई पूर्णता (ऑर्डर थ्योरी) जानता है। उदाहरण के लिए, किसी दिए गए आंशिक क्रम P का [[आदर्श समापन]] उपसमुच्चय समावेशन द्वारा क्रमित P के सभी आदर्शों का समुच्चय है। यह निर्माण  P द्वारा उत्पन्न [[मुक्त वस्तु]] निर्देशित पूर्ण आंशिक क्रम उत्पन्न करता है। आदर्श प्रमुख है यदि एवं केवल यदि यह आदर्श पूर्णता में कॉम्पैक्ट तत्व है, तो मूल पोसेट को कॉम्पैक्ट तत्वों से युक्त उप-पोसेट के रूप में पुनर्प्राप्त किया जा सकता है। इसके अलावा, प्रत्येक [[बीजगणितीय स्थिति]] को उसके कॉम्पैक्ट तत्वों के सेट के आदर्श समापन के रूप में पुनर्निर्मित किया जा सकता है।
+* आदेश सिद्धांत पोसेट को अतिरिक्त पूर्णता (आदेश सिद्धांत) गुणों के साथ पोसेट में परिवर्तित करने के लिए कई पूर्णता (आदेश सिद्धांत) जानता है। उदाहरण के लिए, किसी दिए गए आंशिक क्रम P का [[आदर्श समापन]] उपसमुच्चय समावेशन द्वारा क्रमित P के सभी आदर्शों का समुच्चय है। यह निर्माण  P द्वारा उत्पन्न [[मुक्त वस्तु]] निर्देशित पूर्ण आंशिक क्रम उत्पन्न करता है। आदर्श प्रमुख है यदि एवं केवल यदि यह आदर्श पूर्णता में सघन तत्व है, तो मूल पोसेट को सघन तत्वों से युक्त उपपोसेट के रूप में पुनर्प्राप्त किया जा सकता है। इसके अतिरिक्त, प्रत्येक [[बीजगणितीय स्थिति]] को उसके सघन तत्वों के समुच्चय के आदर्श समापन के रूप में पुनर्निर्मित किया जा सकता है।
 ==इतिहास==
-बूलियन बीजगणित (संरचना) के लिए सबसे पहले आदर्श मार्शल एच. स्टोन द्वारा प्रस्तुत किए गए थे,<ref>{{harvtxt|Stone|1934}} and {{harvtxt|Stone|1935}}</ref> जहां यह नाम अमूर्त बीजगणित के वलय आदर्शों से लिया गया था। उन्होंने इस शब्दावली को इसलिए अपनाया क्योंकि, बूलियन बीजगणित (संरचना) एवं [[बूलियन रिंग]]ों की [[श्रेणियों की समरूपता]] का उपयोग करते हुए, दोनों धारणाएँ वास्तव में मेल खाती हैं।
+बूलियन बीजगणित (संरचना) के लिए सबसे पूर्व आदर्श मार्शल एच. स्टोन द्वारा प्रस्तुत किए गए थे,<ref>{{harvtxt|Stone|1934}} and {{harvtxt|Stone|1935}}</ref> जहां यह नाम अमूर्त बीजगणित के वलय आदर्शों से लिया गया था। उन्होंने इस शब्दावली को इसलिए स्वीकारा क्योंकि, बूलियन बीजगणित (संरचना) एवं [[बूलियन रिंग|बूलियन रिंगों]] की [[श्रेणियों की समरूपता]] का उपयोग करते हुए, दोनों धारणाएँ वास्तव में समान होती हैं।
 किसी भी पोसेट का सामान्यीकरण [[ऑरिन फ्रिंक]] द्वारा किया गया था।<ref>{{harvtxt|Frink|1954}}</ref>
@@ Line 70: / Line 74: @@
 ==यह भी देखें==
-* {{annotated link|Filter (mathematics)}}
+* {{annotated link|फ़िल्टर (गणित)}}
-* {{annotated link|Ideal (ring theory)}}
+* {{annotated link|आदर्श (वलय सिद्धांत)}}
-* {{annotated link|Ideal (set theory)}}
+* {{annotated link|आदर्श (समुच्चय सिद्धांत)}}
-* {{annotated link |Boolean prime ideal theorem}}
+* {{annotated link |बूलियन प्राइम आदर्श प्रमेय}}
 ==टिप्पणियाँ==
@@ Line 112: / Line 116: @@
 [[Category: Machine Translated Page]]
 [[Category:Created On 01/07/2023]]
+[[Category:Vigyan Ready]]

v t e Order theory
Topics Glossary Category
Key concepts	Binary relation Boolean algebra Cyclic order Lattice Partial order Preorder Total order Weak ordering
Results	Boolean prime ideal theorem Cantor–Bernstein theorem Cantor's isomorphism theorem Dilworth's theorem Dushnik–Miller theorem Hausdorff maximal principle Knaster–Tarski theorem Kruskal's tree theorem Laver's theorem Mirsky's theorem Szpilrajn extension theorem Zorn's lemma
Properties & Types (list)	Antisymmetric Asymmetric Boolean algebra topics Completeness Connected Covering Dense Directed (Partial) Equivalence Foundational Heyting algebra Homogeneous Idempotent Lattice Bounded Complemented Complete Distributive Join and meet Reflexive Partial order Chain-complete Graded Eulerian Strict Prefix order Preorder Total Semilattice Semiorder Symmetric Total Tolerance Transitive Well-founded Well-quasi-ordering (Better) (Pre) Well-order
Constructions	Composition Converse/Transpose Lexicographic order Linear extension Product order Reflexive closure Series-parallel partial order Star product Symmetric closure Transitive closure
Topology & Orders	Alexandrov topology & Specialization preorder Ordered topological vector space Normal cone Order topology Order topology Topological vector lattice Banach Fréchet Locally convex Normed
Related	Antichain Cofinal Cofinality Comparability Graph Duality Filter Hasse diagram Ideal Net Subnet Order morphism Embedding Isomorphism Order type Ordered field Ordered vector space Partially ordered Positive cone Riesz space Upper set Young's lattice