आदर्श (आदेश सिद्धांत): Difference between revisions
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
गणितीय क्रम सिद्धांत में, आदर्श आंशिक रूप से क्रमबद्ध सेट (पोसेट) का विशेष उपसमुच्चय है। यद्यपि यह शब्द ऐतिहासिक रूप से [[अमूर्त बीजगणित]] के वलय आदर्श की धारणा से लिया गया था, पश्चात में इसे भिन्न धारणा के लिए सामान्यीकृत किया गया है। क्रम | गणितीय क्रम सिद्धांत में, आदर्श आंशिक रूप से क्रमबद्ध सेट (पोसेट) का विशेष उपसमुच्चय है। यद्यपि यह शब्द ऐतिहासिक रूप से [[अमूर्त बीजगणित]] के वलय आदर्श की धारणा से लिया गया था, पश्चात में इसे भिन्न धारणा के लिए सामान्यीकृत किया गया है। क्रम एवं [[जाली सिद्धांत]] में कई निर्माणों के लिए आदर्शों का अधिक महत्व है। | ||
'''परिभाषाएँ''' | '''परिभाषाएँ''' | ||
| Line 5: | Line 5: | ||
आंशिक रूप से ऑर्डर किए गए उपसमुच्चय <math>(P, \leq)</math> यह आदर्श है यदि निम्नलिखित स्थितियाँ प्रस्तुत होती हैं | आंशिक रूप से ऑर्डर किए गए उपसमुच्चय <math>(P, \leq)</math> यह आदर्श है यदि निम्नलिखित स्थितियाँ प्रस्तुत होती हैं | ||
# {{mvar|I}} अन्य-रिक्त है, | # {{mvar|I}} अन्य-रिक्त है, | ||
# प्रत्येक x के लिए {{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''}} | # प्रत्येक x, y के लिए, {{mvar|I}} में कुछ तत्व z है {{mvar|I}}, जैसे कि {{math|''x'' ≤ ''z''}} एवं {{math|''y'' ≤ ''z''}} ({{mvar|I}} [[निर्देशित सेट]] है)। | ||
चूँकि यह मनमाना पॉसेट के लिए आदर्श को परिभाषित करने का सबसे सामान्य उपाय है, इसे मूल रूप से केवल [[ जाली (आदेश) | जाली (आदेश)]] के लिए परिभाषित किया गया था। इस विषय में, निम्नलिखित समकक्ष परिभाषा दी जा सकती है, उपसमुच्चय {{mvar|I}} जाली का <math>(P, \leq)</math> यह आदर्श है यदि | चूँकि यह मनमाना पॉसेट के लिए आदर्श को परिभाषित करने का सबसे सामान्य उपाय है, इसे मूल रूप से केवल [[ जाली (आदेश) | जाली (आदेश)]] के लिए परिभाषित किया गया था। इस विषय में, निम्नलिखित समकक्ष परिभाषा दी जा सकती है, उपसमुच्चय {{mvar|I}} जाली का <math>(P, \leq)</math> यह आदर्श है यदि एवं केवल यदि यह निचला सेट है जो परिमित जोड़ ([[ उच्चतम |उच्चतम]]) के तहत बंद है; अर्थात्, यह अन्य-रिक्त है एवं सभी x, y के लिए है एवं I में सभी x, y के लिए तत्व है। | ||
ऑर्डर आदर्श की कमजोर धारणा को पोसेट {{mvar|P}} के उपसमुच्चय के रूप में परिभाषित किया गया है जो उपरोक्त शर्तों 1 | ऑर्डर आदर्श की कमजोर धारणा को पोसेट {{mvar|P}} के उपसमुच्चय के रूप में परिभाषित किया गया है जो उपरोक्त शर्तों 1 एवं 2 को संतुष्ट करता है। दूसरे शब्दों में, ऑर्डर आदर्श निचला सेट है। इसी प्रकार, आदर्श को निर्देशित निम्न समुच्चय के रूप में भी परिभाषित किया जा सकता है। | ||
आदर्श की [[द्वैत (आदेश सिद्धांत)]] धारणा, अर्थात्, सभी ≤ को विपरीत कर | आदर्श की [[द्वैत (आदेश सिद्धांत)]] धारणा, अर्थात्, सभी ≤ को विपरीत कर एवं आदान-प्रदान करके प्राप्त की गई अवधारणा <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 को आदर्श का प्रमुख तत्व कहा जाता है। प्रमुख आदर्श <math>\downarrow p</math> मूलधन के लिए p इस प्रकार {{math|↓ ''p'' {{=}} {{mset|''x'' ∈ ''P'' | ''x'' ≤ ''p''}}}} दिया जाता है। | ||
== शब्दावली भ्रम == | == शब्दावली भ्रम == | ||
आदर्श | आदर्श एवं क्रम आदर्श की उपरोक्त परिभाषाएँ मानक हैं, {{sfn|Burris|Sankappanavar|1981|loc=Def. 8.2}}{{sfn|Davey|Priestley|2002|pp=20, 44}}{{sfn|Frenchman|Hart|2020|pp=2, 7}} परन्तु शब्दावली में कुछ भ्रम है। कभी-कभी आदर्श, ऑर्डर आदर्श, फ्रिंक आदर्श, या आंशिक ऑर्डर आदर्श जैसे शब्द एवं परिभाषाएँ दूसरे का अर्थ होती हैं।<ref>{{citation | url=https://mathworld.wolfram.com/PartialOrderIdeal.html | title=Partial Order Ideal | publisher=[[Wolfram MathWorld]] | year=2002 | accessdate=2023-02-26}}</ref><ref>{{citation | author=George M. Bergman | title=On lattices and their ideal lattices, and posets and their ideal posets| journal= Tbilisi Math. J. | volume= 1 |year=2008 | p= 89 | url=http://www.tcms.org.ge/Journals/TMJ/Volume1/Xpapers/tmj1_6.pdf}}</ref> | ||
==प्रधान आदर्श== | ==प्रधान आदर्श== | ||
किसी आदर्श का महत्वपूर्ण विशेष विषय उन आदर्शों से बनता है जिनके सेट-सैद्धांतिक पूरक फ़िल्टर होते हैं, अर्थात व्युत्क्रम क्रम में आदर्श है। ऐसे आदर्शों को प्रधान आदर्श कहा जाता है। यह भी ध्यान रखें कि, चूंकि हमें आदर्शों | किसी आदर्श का महत्वपूर्ण विशेष विषय उन आदर्शों से बनता है जिनके सेट-सैद्धांतिक पूरक फ़िल्टर होते हैं, अर्थात व्युत्क्रम क्रम में आदर्श है। ऐसे आदर्शों को प्रधान आदर्श कहा जाता है। यह भी ध्यान रखें कि, चूंकि हमें आदर्शों एवं फिल्टरों को अन्य-रिक्त होने की आवश्यकता है, इसलिए प्रत्येक अभाज्य आदर्श आवश्यक रूप से उचित है। जाली के लिए, प्रमुख आदर्शों को इस प्रकार चित्रित किया जा सकता है: | ||
उपसमुच्चय {{mvar|I}} जाली का <math>(P, \leq)</math> प्रमुख आदर्श है, यदि | उपसमुच्चय {{mvar|I}} जाली का <math>(P, \leq)</math> प्रमुख आदर्श है, यदि एवं केवल यदि | ||
# {{mvar|I}}, P का उचित आदर्श है, | # {{mvar|I}}, P का उचित आदर्श है, एवं | ||
# P के सभी तत्वों x | # P के सभी तत्वों x एवं y के लिए, <math>x \wedge y</math> में {{mvar|I}} का आशय {{math|''x'' ∈ ''I''}} या {{math|''y'' ∈ ''I''}} है। | ||
यह सरलता से जांचा जा सकता है कि यह वास्तव में यह बताने के बराबर है कि <math>P \setminus I</math> फिल्टर है (जो दोहरे अर्थ में अभाज्य भी है)। | यह सरलता से जांचा जा सकता है कि यह वास्तव में यह बताने के बराबर है कि <math>P \setminus I</math> फिल्टर है (जो दोहरे अर्थ में अभाज्य भी है)। | ||
| Line 37: | Line 37: | ||
[[पूर्ण जाली]] के लिए एक पूर्णतः प्रधान आदर्श की आगे की धारणा सार्थक है। इसे अतिरिक्त संपत्ति के साथ उचित आदर्श {{mvar|I}} के रूप में परिभाषित किया गया है, जब भी कुछ मनमाना सेट {{math|''A''}} का मिलन (न्यूनतम) {{math|''I''}} में होता है, तो A का कुछ अवयव भी {{mvar|I}} होता है। इसलिए यह सिर्फ विशिष्ट प्रधान आदर्श है जो उपरोक्त शर्तों को अनंत बैठकों तक विस्तारित करता है। | [[पूर्ण जाली]] के लिए एक पूर्णतः प्रधान आदर्श की आगे की धारणा सार्थक है। इसे अतिरिक्त संपत्ति के साथ उचित आदर्श {{mvar|I}} के रूप में परिभाषित किया गया है, जब भी कुछ मनमाना सेट {{math|''A''}} का मिलन (न्यूनतम) {{math|''I''}} में होता है, तो A का कुछ अवयव भी {{mvar|I}} होता है। इसलिए यह सिर्फ विशिष्ट प्रधान आदर्श है जो उपरोक्त शर्तों को अनंत बैठकों तक विस्तारित करता है। | ||
प्रधान आदर्शों का अस्तित्व सामान्यतः स्पष्ट नहीं है, | प्रधान आदर्शों का अस्तित्व सामान्यतः स्पष्ट नहीं है, एवं प्रायः ZF (पसंद के स्वयंसिद्ध सिद्धांत के बिना ज़र्मेलो-फ्रेंकेल सेट सिद्धांत) के अन्दर प्रमुख आदर्शों की संतोषजनक मात्रा प्राप्त नहीं की जा सकती है। इस विषय पर विभिन्न [[बूलियन प्राइम आदर्श प्रमेय|बूलियन प्राइम आदर्श प्रमेयों]] में चर्चा की गई है, जो कई अनुप्रयोगों के लिए आवश्यक हैं जिनके लिए प्राइम आदर्शों की आवश्यकता होती है। | ||
==अधिकतम आदर्श== | ==अधिकतम आदर्श== | ||
आदर्श {{mvar|I}} अधिकतम आदर्श है यदि यह उचित है एवं कोई उचित आदर्श J नहीं है जो कि {{mvar|I}} का यह सख्त सुपरसेट है। इसी तरह, फिल्टर F अधिकतम है यदि यह उचित है एवं कोई उचित फिल्टर नहीं है जो सख्त सुपरसेट है। | |||
जब पोसेट [[वितरणात्मक जाली]] होता है, तो अधिकतम आदर्श | जब पोसेट [[वितरणात्मक जाली]] होता है, तो अधिकतम आदर्श एवं फ़िल्टर आवश्यक रूप से अभाज्य होते हैं, जबकि इस कथन का विपरीत सामान्य रूप से उचित है। | ||
मैक्सिमम फिल्टर को कभी-कभी [[ अल्ट्राफ़िल्टर ]] कहा जाता है, परन्तु यह शब्दावली प्रायः बूलियन बीजगणित के लिए आरक्षित होती है, जहां मैक्सिमम फिल्टर (आदर्श) फिल्टर (आदर्श) होता है जिसमें प्रत्येक तत्व | मैक्सिमम फिल्टर को कभी-कभी [[ अल्ट्राफ़िल्टर |अल्ट्राफ़िल्टर]] कहा जाता है, परन्तु यह शब्दावली प्रायः बूलियन बीजगणित के लिए आरक्षित होती है, जहां मैक्सिमम फिल्टर (आदर्श), फिल्टर (आदर्श) होता है जिसमें प्रत्येक तत्व ''a'' के लिए बिल्कुल तत्व {''a'', ¬''a''} होता है। बूलियन बीजगणित में, प्राइम आदर्श एवं मैक्सिमम आदर्श शब्द समान होते हैं, जैसे कि प्राइम फिल्टर एवं मैक्सिमम फिल्टर शब्द समान होते हैं। | ||
आदर्शों की अधिकतमता की | आदर्शों की अधिकतमता की दिलचस्प धारणा है: आदर्श {{mvar|I}} एवं फ़िल्टर F पर विचार करें जैसे कि {{mvar|I}}, F से असंयुक्त समुच्चय है। हम ऐसे आदर्श M में रुचि रखते हैं जो सभी आदर्शों में अधिकतम है इसमें {{mvar|I}} सम्मिलित है एवं F से असंयुक्त हैं। वितरणात्मक जालकों के विषय में ऐसा M सदैव प्रमुख आदर्श होता है। इस कथन का प्रमाण इस प्रकार है। | ||
{{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'' ∧ ''b''}} in ''M'' but neither ''a'' nor ''b'' are in ''M''. Consider the case that for all ''m'' in ''M'', {{math|''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. {{math|''N'' {{=}} {{mset| ''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. | {{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'' ∧ ''b''}} in ''M'' but neither ''a'' nor ''b'' are in ''M''. Consider the case that for all ''m'' in ''M'', {{math|''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. {{math|''N'' {{=}} {{mset| ''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. | ||
| Line 53: | Line 53: | ||
For the other case, assume that there is some ''m'' in ''M'' with {{math|''m'' ∨ ''a''}} in ''F''. Now if any element ''n'' in ''M'' is such that {{math|''n'' ∨ ''b''}} is in ''F'', one finds that {{math|(''m'' ∨ ''n'') ∨ ''b''}} and {{math|(''m'' ∨ ''n'') ∨ ''a''}} are both in ''F''. But then their meet is in ''F'' and, by distributivity, {{math|(''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.}} | For the other case, assume that there is some ''m'' in ''M'' with {{math|''m'' ∨ ''a''}} in ''F''. Now if any element ''n'' in ''M'' is such that {{math|''n'' ∨ ''b''}} is in ''F'', one finds that {{math|(''m'' ∨ ''n'') ∨ ''b''}} and {{math|(''m'' ∨ ''n'') ∨ ''a''}} are both in ''F''. But then their meet is in ''F'' and, by distributivity, {{math|(''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 द्वारा उत्पन्न [[मुक्त वस्तु]] निर्देशित पूर्ण आंशिक क्रम उत्पन्न करता है। आदर्श प्रमुख है यदि | * ऑर्डर थ्योरी पॉसेट को अतिरिक्त पूर्णता (ऑर्डर थ्योरी) गुणों के साथ पॉसेट में बदलने के लिए कई पूर्णता (ऑर्डर थ्योरी) जानता है। उदाहरण के लिए, किसी दिए गए आंशिक क्रम 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> | किसी भी पोसेट का सामान्यीकरण [[ऑरिन फ्रिंक]] द्वारा किया गया था।<ref>{{harvtxt|Frink|1954}}</ref> | ||
Revision as of 10:37, 7 July 2023
गणितीय क्रम सिद्धांत में, आदर्श आंशिक रूप से क्रमबद्ध सेट (पोसेट) का विशेष उपसमुच्चय है। यद्यपि यह शब्द ऐतिहासिक रूप से अमूर्त बीजगणित के वलय आदर्श की धारणा से लिया गया था, पश्चात में इसे भिन्न धारणा के लिए सामान्यीकृत किया गया है। क्रम एवं जाली सिद्धांत में कई निर्माणों के लिए आदर्शों का अधिक महत्व है।
परिभाषाएँ
आंशिक रूप से ऑर्डर किए गए उपसमुच्चय यह आदर्श है यदि निम्नलिखित स्थितियाँ प्रस्तुत होती हैं
- I अन्य-रिक्त है,
- प्रत्येक x के लिए I एवं y के लिए P में, y ≤ x तात्पर्य यह है कि y, I के अंदर है (I निचला सेट है),
- प्रत्येक x, y के लिए, I में कुछ तत्व z है I, जैसे कि x ≤ z एवं y ≤ z (I निर्देशित सेट है)।
चूँकि यह मनमाना पॉसेट के लिए आदर्श को परिभाषित करने का सबसे सामान्य उपाय है, इसे मूल रूप से केवल जाली (आदेश) के लिए परिभाषित किया गया था। इस विषय में, निम्नलिखित समकक्ष परिभाषा दी जा सकती है, उपसमुच्चय I जाली का यह आदर्श है यदि एवं केवल यदि यह निचला सेट है जो परिमित जोड़ (उच्चतम) के तहत बंद है; अर्थात्, यह अन्य-रिक्त है एवं सभी x, y के लिए है एवं I में सभी x, y के लिए तत्व है।
ऑर्डर आदर्श की कमजोर धारणा को पोसेट P के उपसमुच्चय के रूप में परिभाषित किया गया है जो उपरोक्त शर्तों 1 एवं 2 को संतुष्ट करता है। दूसरे शब्दों में, ऑर्डर आदर्श निचला सेट है। इसी प्रकार, आदर्श को निर्देशित निम्न समुच्चय के रूप में भी परिभाषित किया जा सकता है।
आदर्श की द्वैत (आदेश सिद्धांत) धारणा, अर्थात्, सभी ≤ को विपरीत कर एवं आदान-प्रदान करके प्राप्त की गई अवधारणा साथ फ़िल्टर (गणित) है.
फ्रिंक आदर्श, छद्म आदर्श एवं डॉयल छद्म आदर्श जाली आदर्श की धारणा के विभिन्न सामान्यीकरण हैं।
आदर्श या फ़िल्टर को उचित कहा जाता है यदि यह पूर्ण सेट P के बराबर नहीं है।[1]
सबसे छोटा आदर्श जिसमें दिया गया तत्व p सम्मिलित है, प्रमुख आदर्श है एवं इस स्थिति में p को आदर्श का प्रमुख तत्व कहा जाता है। प्रमुख आदर्श मूलधन के लिए p इस प्रकार ↓ p = {x ∈ P | x ≤ p} दिया जाता है।
शब्दावली भ्रम
आदर्श एवं क्रम आदर्श की उपरोक्त परिभाषाएँ मानक हैं, [1][2][3] परन्तु शब्दावली में कुछ भ्रम है। कभी-कभी आदर्श, ऑर्डर आदर्श, फ्रिंक आदर्श, या आंशिक ऑर्डर आदर्श जैसे शब्द एवं परिभाषाएँ दूसरे का अर्थ होती हैं।[4][5]
प्रधान आदर्श
किसी आदर्श का महत्वपूर्ण विशेष विषय उन आदर्शों से बनता है जिनके सेट-सैद्धांतिक पूरक फ़िल्टर होते हैं, अर्थात व्युत्क्रम क्रम में आदर्श है। ऐसे आदर्शों को प्रधान आदर्श कहा जाता है। यह भी ध्यान रखें कि, चूंकि हमें आदर्शों एवं फिल्टरों को अन्य-रिक्त होने की आवश्यकता है, इसलिए प्रत्येक अभाज्य आदर्श आवश्यक रूप से उचित है। जाली के लिए, प्रमुख आदर्शों को इस प्रकार चित्रित किया जा सकता है:
उपसमुच्चय I जाली का प्रमुख आदर्श है, यदि एवं केवल यदि
- I, P का उचित आदर्श है, एवं
- P के सभी तत्वों x एवं y के लिए, में I का आशय x ∈ I या y ∈ I है।
यह सरलता से जांचा जा सकता है कि यह वास्तव में यह बताने के बराबर है कि फिल्टर है (जो दोहरे अर्थ में अभाज्य भी है)।
पूर्ण जाली के लिए एक पूर्णतः प्रधान आदर्श की आगे की धारणा सार्थक है। इसे अतिरिक्त संपत्ति के साथ उचित आदर्श I के रूप में परिभाषित किया गया है, जब भी कुछ मनमाना सेट A का मिलन (न्यूनतम) I में होता है, तो A का कुछ अवयव भी I होता है। इसलिए यह सिर्फ विशिष्ट प्रधान आदर्श है जो उपरोक्त शर्तों को अनंत बैठकों तक विस्तारित करता है।
प्रधान आदर्शों का अस्तित्व सामान्यतः स्पष्ट नहीं है, एवं प्रायः ZF (पसंद के स्वयंसिद्ध सिद्धांत के बिना ज़र्मेलो-फ्रेंकेल सेट सिद्धांत) के अन्दर प्रमुख आदर्शों की संतोषजनक मात्रा प्राप्त नहीं की जा सकती है। इस विषय पर विभिन्न बूलियन प्राइम आदर्श प्रमेयों में चर्चा की गई है, जो कई अनुप्रयोगों के लिए आवश्यक हैं जिनके लिए प्राइम आदर्शों की आवश्यकता होती है।
अधिकतम आदर्श
आदर्श I अधिकतम आदर्श है यदि यह उचित है एवं कोई उचित आदर्श J नहीं है जो कि I का यह सख्त सुपरसेट है। इसी तरह, फिल्टर F अधिकतम है यदि यह उचित है एवं कोई उचित फिल्टर नहीं है जो सख्त सुपरसेट है।
जब पोसेट वितरणात्मक जाली होता है, तो अधिकतम आदर्श एवं फ़िल्टर आवश्यक रूप से अभाज्य होते हैं, जबकि इस कथन का विपरीत सामान्य रूप से उचित है।
मैक्सिमम फिल्टर को कभी-कभी अल्ट्राफ़िल्टर कहा जाता है, परन्तु यह शब्दावली प्रायः बूलियन बीजगणित के लिए आरक्षित होती है, जहां मैक्सिमम फिल्टर (आदर्श), फिल्टर (आदर्श) होता है जिसमें प्रत्येक तत्व a के लिए बिल्कुल तत्व {a, ¬a} होता है। बूलियन बीजगणित में, प्राइम आदर्श एवं मैक्सिमम आदर्श शब्द समान होते हैं, जैसे कि प्राइम फिल्टर एवं मैक्सिमम फिल्टर शब्द समान होते हैं।
आदर्शों की अधिकतमता की दिलचस्प धारणा है: आदर्श I एवं फ़िल्टर F पर विचार करें जैसे कि I, F से असंयुक्त समुच्चय है। हम ऐसे आदर्श M में रुचि रखते हैं जो सभी आदर्शों में अधिकतम है इसमें I सम्मिलित है एवं F से असंयुक्त हैं। वितरणात्मक जालकों के विषय में ऐसा M सदैव प्रमुख आदर्श होता है। इस कथन का प्रमाण इस प्रकार है।
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 द्वारा उत्पन्न मुक्त वस्तु निर्देशित पूर्ण आंशिक क्रम उत्पन्न करता है। आदर्श प्रमुख है यदि एवं केवल यदि यह आदर्श पूर्णता में कॉम्पैक्ट तत्व है, तो मूल पोसेट को कॉम्पैक्ट तत्वों से युक्त उप-पोसेट के रूप में पुनर्प्राप्त किया जा सकता है। इसके अलावा, प्रत्येक बीजगणितीय स्थिति को उसके कॉम्पैक्ट तत्वों के सेट के आदर्श समापन के रूप में पुनर्निर्मित किया जा सकता है।
इतिहास
बूलियन बीजगणित (संरचना) के लिए सबसे पहले आदर्श मार्शल एच. स्टोन द्वारा प्रस्तुत किए गए थे,[6] जहां यह नाम अमूर्त बीजगणित के वलय आदर्शों से लिया गया था। उन्होंने इस शब्दावली को इसलिए अपनाया क्योंकि, बूलियन बीजगणित (संरचना) एवं बूलियन रिंगों की श्रेणियों की समरूपता का उपयोग करते हुए, दोनों धारणाएँ वास्तव में मेल खाती हैं।
किसी भी पोसेट का सामान्यीकरण ऑरिन फ्रिंक द्वारा किया गया था।[7]
यह भी देखें
- 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
टिप्पणियाँ
- ↑ 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
श्रेणी:साक्ष्य युक्त लेख श्रेणी:आदर्श (रिंग सिद्धांत) श्रेणी:आदेश सिद्धांत
