ज्यामितीय जाली: Difference between revisions

From Vigyanwiki
No edit summary
Line 1: Line 1:
{{Short description|Join-meet algebra on matroid flats}}
{{Short description|Join-meet algebra on matroid flats}}
[[matroid|मैट्रोइड]] और [[जाली (आदेश)]] गणित में, '''ज्यामितीय जाली''' [[परिमित सेट]] परमाणु (आदेश सिद्धांत) [[अर्ध-मॉड्यूलर जाली]] है और मैट्रोइड जाली परिमितता की धारणा के बिना परमाणु अर्ध-मॉड्यूलर जाली है। इस प्रकार ज्यामितीय जाली और मैट्रोइड जाली, क्रमशः परिमित और अनंत मैट्रोइड के फ्लैटों की जाली बनाते हैं और प्रत्येक ज्यामितीय या मैट्रोइड जाली इस प्रकार से मैट्रोइड से आती है।
[[matroid|मैट्रोइड]] और [[जाली (आदेश)]] गणित में, '''ज्यामितीय जाली''' [[परिमित सेट]] परमाणु (आदेश सिद्धांत) [[अर्ध-मॉड्यूलर जाली]] है और मैट्रोइड जाली परिमितता की धारणा के बिना परमाणु अर्ध-मॉड्यूलर जाली होती है। इस प्रकार ज्यामितीय जाली और मैट्रोइड जाली, क्रमशः परिमित और अनंत मैट्रोइड के फ्लैटों की जाली बनाते हैं और प्रत्येक ज्यामितीय या मैट्रोइड जाली इस प्रकार से मैट्रोइड से आती है।


== परिभाषा ==
== परिभाषा ==
जाली (आदेश) [[आंशिक रूप से आदेशित सेट|आंशिक रूप से आदेशित समूह]] है जिसमें कोई भी दो तत्व होते हैं जैसे <math>x</math> और <math>y</math> दोनों में कम से कम ऊपरी सीमा होती है, जिसे संयोजित या [[ अंतिम |अंतिम]] कहा जाता है अतः जिसे <math>x\vee y</math> द्वारा निरूपित किया जाता है और सबसे बड़ी निचली सीमा, जिसे मिलना या सबसे कम कहा जाता है, इसे <math>x\wedge y</math> द्वारा दर्शाया जाता है।
जाली (आदेश) [[आंशिक रूप से आदेशित सेट|आंशिक रूप से आदेशित समूह]] है जिसमें कोई भी दो तत्व होते हैं जैसे <math>x</math> और <math>y</math> दोनों में कम से कम ऊपरी सीमा होती है, जिसे संयोजित या [[ अंतिम |अंतिम]] कहा जाता है अतः जिसे <math>x\vee y</math> द्वारा निरूपित किया जाता है और सबसे बड़ी निचली सीमा, जिसे मिलना या सबसे कम कहा जाता है, इसे <math>x\wedge y</math> द्वारा दर्शाया जाता है।
: निम्नलिखित परिभाषाएं सामान्यतः [[आंशिक रूप से आदेशित सेट|आंशिक रूप से आदेशित समूह]] पर प्रयुक्त होती हैं, केवल जाली नहीं, इसके अतिरिक्त कि जहां अन्यथा कहा गया होता है।
: निम्नलिखित परिभाषाएं सामान्यतः [[आंशिक रूप से आदेशित सेट|आंशिक रूप से आदेशित समूह]] पर प्रयुक्त होती हैं, यह केवल जाली नहीं, इसके अतिरिक्त कि जहां अन्यथा कहा गया होता है।
* [[न्यूनतम तत्व]] के लिए <math>x</math>, कोई तत्व नहीं है <math>y</math> ऐसा है कि <math>y < x</math>.
* [[न्यूनतम तत्व]] के लिए <math>x</math>, कोई तत्व नहीं है <math>y</math> ऐसा है कि <math>y < x</math>.
* तत्व <math>x</math> अन्य तत्व को सम्मिलित करता है <math>y</math> (के रूप में लिखा गया है <math>x :> y</math> या <math> y <: x</math>) यदि <math>x > y</math> और कोई तत्व नहीं है तब <math>z</math> दोनों से भिन्न होता है <math>x</math> और <math>y</math> जिससे कि <math>x > z > y</math>.
* तत्व <math>x</math> अन्य तत्व को सम्मिलित करता है <math>y</math> (के रूप में लिखा गया है <math>x :> y</math> या <math> y <: x</math>) यदि <math>x > y</math> और कोई तत्व नहीं है तब <math>z</math> दोनों से भिन्न होता है <math>x</math> और <math>y</math> जिससे कि <math>x > z > y</math>.

Revision as of 10:59, 4 May 2023

मैट्रोइड और जाली (आदेश) गणित में, ज्यामितीय जाली परिमित सेट परमाणु (आदेश सिद्धांत) अर्ध-मॉड्यूलर जाली है और मैट्रोइड जाली परिमितता की धारणा के बिना परमाणु अर्ध-मॉड्यूलर जाली होती है। इस प्रकार ज्यामितीय जाली और मैट्रोइड जाली, क्रमशः परिमित और अनंत मैट्रोइड के फ्लैटों की जाली बनाते हैं और प्रत्येक ज्यामितीय या मैट्रोइड जाली इस प्रकार से मैट्रोइड से आती है।

परिभाषा

जाली (आदेश) आंशिक रूप से आदेशित समूह है जिसमें कोई भी दो तत्व होते हैं जैसे और दोनों में कम से कम ऊपरी सीमा होती है, जिसे संयोजित या अंतिम कहा जाता है अतः जिसे द्वारा निरूपित किया जाता है और सबसे बड़ी निचली सीमा, जिसे मिलना या सबसे कम कहा जाता है, इसे द्वारा दर्शाया जाता है।

निम्नलिखित परिभाषाएं सामान्यतः आंशिक रूप से आदेशित समूह पर प्रयुक्त होती हैं, यह केवल जाली नहीं, इसके अतिरिक्त कि जहां अन्यथा कहा गया होता है।
  • न्यूनतम तत्व के लिए , कोई तत्व नहीं है ऐसा है कि .
  • तत्व अन्य तत्व को सम्मिलित करता है (के रूप में लिखा गया है या ) यदि और कोई तत्व नहीं है तब दोनों से भिन्न होता है और जिससे कि .
  • न्यूनतम तत्व के आवरण को परमाणु (आदेश सिद्धांत) कहा जाता है।
  • जाली परमाणुवादी (आदेश सिद्धांत) है यदि प्रत्येक तत्व परमाणुओं के कुछ समूह का सर्वोच्च है।
  • पोसेट को तब श्रेणीकृत कहा जाता है जब उसे श्रेणी फलन दिया जा सकता है इसके तत्वों को पूर्णांकों में मानचित्र जाता है, जैसे कि जब कभी भी , और भी जब कभी भी .
जब वर्गीकृत पोसेट में निचला तत्व होता है, तब सामान्यता के हानि के बिना यह मान सकता है कि इसकी श्रेणी शून्य है। इस स्थिति में, परमाणु श्रेणी वाले तत्व हैं।
  • प्रत्येक के लिए श्रेणीबद्ध जाली अर्ध-मॉड्यूलर होता है, यदि और , इसके श्रेणी फलन पहचान का पालन करता है।[1]
  • मैट्रोइड जाली वह जाली है जो परमाणु और अर्ध-मॉड्यूलर दोनों है।[2][3] ज्यामितीय जाली परिमित मैट्रोइड जाली है।[4]
सामान्यतः अनेक लेखक केवल परिमित मैट्रोइड जाली पर विचार करते हैं और दोनों के लिए "ज्यामितीय जाली" और "मैट्रोइड जाली" शब्दों का उपयोग करते हैं।[5]

जाली बनाम मैट्रोइड्स

ज्यामितीय जाली (परिमित, सरल) मैट्रोइड के समान्तर हैं और मैट्रोइड जाली परिमितता की धारणा के बिना सरल मैट्रोइड के समान्तर हैं (अनंत मैट्रोइड की उचित परिभाषा के अनुसार; ऐसी अनेक परिभाषाएं हैं)। पत्राचार यह है कि मैट्रोइड के तत्व जाली के परमाणु हैं और जाली का तत्व x मैट्रोइड के फ्लैट से मेल खाता है जिसमें मैट्रोइड के वह तत्व होते हैं जो परमाणु होते हैं।

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