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

Revision as of 09:26, 3 May 2023

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

परिभाषा

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

निम्नलिखित परिभाषाएं सामान्यतः आंशिक रूप से आदेशित समूह पर प्रयुक्त होती हैं, केवल जाली नहीं, इसके अतिरिक्त कि जहां अन्यथा कहा गया होता है।

न्यूनतम तत्व के लिए $x$ , कोई तत्व नहीं है $y$ ऐसा है कि $y<x$ .
तत्व $x$ अन्य तत्व को सम्मिलित करता है $y$ (के रूप में लिखा गया है $x:>y$ या $y<:x$ ) यदि $x>y$ और कोई तत्व नहीं है तब $z$ दोनों से भिन्न होता है $x$ और $y$ जिससे कि $x>z>y$ .
न्यूनतम तत्व के आवरण को परमाणु (आदेश सिद्धांत) कहा जाता है।
जाली परमाणुवादी (आदेश सिद्धांत) है यदि प्रत्येक तत्व परमाणुओं के कुछ समूह का सर्वोच्च है।
पोसेट को तब श्रेणीकृत कहा जाता है जब उसे श्रेणी फ़ंक्शन दिया जा सकता है $r(x)$ इसके तत्वों को पूर्णांकों में मानचित्र जाता है, जैसे कि $r(x)>r(y)$ जब कभी भी $x>y$ , और भी $r(x)=r(y)+1$ जब कभी भी $x:>y$ .

जब वर्गीकृत पोसेट में निचला तत्व होता है, तब सामान्यता के हानि के बिना यह मान सकता है कि इसकी श्रेणी शून्य है। इस स्थिति में, परमाणु श्रेणी वाले तत्व हैं।

प्रत्येक के लिए श्रेणीबद्ध जाली अर्ध-मॉड्यूलर होता है, यदि $x$ और $y$ , इसके श्रेणी फ़ंक्शन पहचान का पालन करता है।^[1]

r(x)+r(y)\geq r(x\wedge y)+r(x\vee y).\,

मैट्रोइड जाली वह जाली है जो परमाणु और अर्ध-मॉड्यूलर दोनों है।^[2]^[3] ज्यामितीय जाली परिमित मैट्रोइड जाली है।^[4]

सामान्यतः अनेक लेखक केवल परिमित मैट्रोइड जाली पर विचार करते हैं और दोनों के लिए "ज्यामितीय जाली" और "मैट्रोइड जाली" शब्दों का उपयोग करते हैं।^[5]

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

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

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

r (X) + r (Y) \geq r

[1]

[2]

[3]

[4]

[5]

@@ Line 1: / Line 1: @@
 {{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>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>r(x)</math> इसके तत्वों को पूर्णांकों में मानचित्र जाता है, जैसे कि <math>r(x)>r(y)</math> जब कभी भी <math>x>y</math>, और भी <math>r(x)=r(y)+1</math> जब कभी भी <math>x :> y</math>.
+* पोसेट को तब श्रेणीकृत कहा जाता है जब उसे श्रेणी फ़ंक्शन दिया जा सकता है <math>r(x)</math> इसके तत्वों को पूर्णांकों में मानचित्र जाता है, जैसे कि <math>r(x)>r(y)</math> जब कभी भी <math>x>y</math>, और भी <math>r(x)=r(y)+1</math> जब कभी भी <math>x :> y</math>.
-: जब वर्गीकृत पोसेट में निचला तत्व होता है, तब सामान्यता के हानि के बिना यह मान सकता है कि इसकी रैंक शून्य है। इस स्थिति में, परमाणु रैंक वाले तत्व हैं।
+: जब वर्गीकृत पोसेट में निचला तत्व होता है, तब सामान्यता के हानि के बिना यह मान सकता है कि इसकी श्रेणी शून्य है। इस स्थिति में, परमाणु श्रेणी वाले तत्व हैं।
-* प्रत्येक के लिए श्रेणीबद्ध जाली अर्ध-मॉड्यूलर होता है, यदि <math>x</math> और <math>y</math>, इसका रैंक फ़ंक्शन पहचान का पालन करता है।<ref>{{harvtxt|Birkhoff|1995}}, Theorem 15, p.&nbsp;40. More precisely, Birkhoff's definition reads "We shall call P (upper) semimodular when it satisfies: If ''a''≠''b'' both cover ''c'', then there exists a ''d''∈''P'' which covers both ''a'' and ''b''" (p.39). Theorem 15 states: "A graded lattice of finite length is semimodular if and only if ''r''(''x'')+''r''(''y'')≥''r''(''x''∧''y'')+''r''(''x''∨''y'')".</ref>
+* प्रत्येक के लिए श्रेणीबद्ध जाली अर्ध-मॉड्यूलर होता है, यदि <math>x</math> और <math>y</math>, इसके श्रेणी फ़ंक्शन पहचान का पालन करता है।<ref>{{harvtxt|Birkhoff|1995}}, Theorem 15, p.&nbsp;40. More precisely, Birkhoff's definition reads "We shall call P (upper) semimodular when it satisfies: If ''a''≠''b'' both cover ''c'', then there exists a ''d''∈''P'' which covers both ''a'' and ''b''" (p.39). Theorem 15 states: "A graded lattice of finite length is semimodular if and only if ''r''(''x'')+''r''(''y'')≥''r''(''x''∧''y'')+''r''(''x''∨''y'')".</ref>
 :: <math>r(x)+r(y)\ge r(x\wedge y)+r(x\vee y). \, </math>
 * मैट्रोइड जाली वह जाली है जो परमाणु और अर्ध-मॉड्यूलर दोनों है।<ref>{{citation
@@ Line 32: / Line 32: @@
 ज्यामितीय जाली (परिमित, सरल) मैट्रोइड के समान्तर हैं और मैट्रोइड जाली परिमितता की धारणा के बिना सरल मैट्रोइड के समान्तर हैं (अनंत मैट्रोइड की उचित परिभाषा के अनुसार; ऐसी अनेक परिभाषाएं हैं)। पत्राचार यह है कि मैट्रोइड के तत्व जाली के परमाणु हैं और जाली का तत्व x मैट्रोइड के फ्लैट से मेल खाता है जिसमें मैट्रोइड के वह तत्व होते हैं जो परमाणु <math>a \leq x.</math> होते हैं।
-ज्यामितीय जाली की भांति, मैट्रोइड को [[मैट्रोइड रैंक]] के साथ संपन्न किया जाता है, किन्तु यह फ़ंक्शन मेट्रॉइड तत्वों के समूह को जाली तत्व को इसके तर्क के रूप में लेने के अतिरिक्त संख्या में मैप करता है। इस प्रकार मैट्रोइड का रैंक फ़ंक्शन मोनोटोनिक होना चाहिए (समूह में तत्व जोड़ने से इसकी रैंक कभी कम नहीं हो सकती है) और यह [[सबमॉड्यूलर फ़ंक्शन]] होता है। जिसका अर्थ है कि यह अर्ध-मॉड्यूलर रैंक वाले जाली के समान असमानता का पालन करता है।
+ज्यामितीय जाली की भांति, मैट्रोइड को [[मैट्रोइड रैंक|मैट्रोइड श्रेणी]] के साथ संपन्न किया जाता है, किन्तु यह फ़ंक्शन मेट्रॉइड तत्वों के समूह को जाली तत्व को इसके तर्क के रूप में लेने के अतिरिक्त संख्या में मैप करता है। इस प्रकार मैट्रोइड का श्रेणी फ़ंक्शन मोनोटोनिक होना चाहिए (समूह में तत्व जोड़ने से इसकी श्रेणी कभी कम नहीं हो सकती है) और यह [[सबमॉड्यूलर फ़ंक्शन]] होता है। जिसका अर्थ है कि यह अर्ध-मॉड्यूलर श्रेणी वाले जाली के समान असमानता का पालन करता है।
 :<math>r(X)+r(Y)\ge r(X\cap Y)+r(X\cup Y)</math>
-मैट्रोइड तत्वों के X और Y समूह के लिए किसी दिए गए रैंक के [[अधिकतम तत्व]] समूह को 'फ्लैट्स' कहा जाता है। दो फ्लैटों का चौराहा फिर से फ्लैट है, जो फ्लैटों के जोड़े पर सबसे बड़ी निचली बाध्य कार्रवाई को परिभाषित करता है। चूँकि कोई भी फ्लैटों की जोड़ी के कम से कम ऊपरी बाउंड को उनके संघ के (अद्वितीय) अधिकतम समूहों के रूप में परिभाषित कर सकता है जिसमें उनके संघ के समान रैंक है। इस प्रकार मैट्रोइड के फ्लैट मैट्रोइड जाली बनाते हैं या (यदि मैट्रोइड परिमित है) ज्यामितीय जाली बनाते है।<ref name="w10-51" />
+मैट्रोइड तत्वों के X और Y समूह के लिए किसी दिए गए श्रेणी के [[अधिकतम तत्व]] समूह को 'फ्लैट्स' कहा जाता है। दो फ्लैटों का चौराहा फिर से फ्लैट है, जो फ्लैटों के जोड़े पर सबसे बड़ी निचली बाध्य क्रिया को परिभाषित करता है। चूँकि कोई भी फ्लैटों की जोड़ी के कम से कम ऊपरी बाउंड को उनके संघ के (अद्वितीय) अधिकतम समूहों के रूप में परिभाषित कर सकता है जिसमें उनके संघ के समान श्रेणी है। इस प्रकार मैट्रोइड के फ्लैट मैट्रोइड जाली बनाते हैं या (यदि मैट्रोइड परिमित है) ज्यामितीय जाली बनाते है।<ref name="w10-51" />
-इसके विपरीत यदि <math>L</math> मैट्रोइड जाली है, कोई भी अपने परमाणुओं के समूह पर रैंक फ़ंक्शन को परिभाषित कर सकता है, परमाणुओं के समूह के रैंक को समूह के सबसे बड़े निचले बाउंड के जाली रैंक के रूप में परिभाषित कर सकता है। यह रैंक फ़ंक्शन आवश्यक रूप से मोनोटोनिक और सबमॉड्यूलर है, इसलिए यह मैट्रोइड को परिभाषित करता है। यह मैट्रोइड आवश्यक रूप से सरल है, जिसका अर्थ है कि प्रत्येक दो-तत्व समूह में रैंक दो है।<ref name="w10-51" />
+इसके विपरीत यदि <math>L</math> मैट्रोइड जाली है, कोई भी अपने परमाणुओं के समूह पर श्रेणी फ़ंक्शन को परिभाषित कर सकता है, परमाणुओं के समूह के श्रेणी को समूह के सबसे बड़े निचले बाउंड के जाली श्रेणी के रूप में परिभाषित कर सकता है। यह श्रेणी फ़ंक्शन आवश्यक रूप से मोनोटोनिक और सबमॉड्यूलर है, इसलिए यह मैट्रोइड को परिभाषित करता है। यह मैट्रोइड आवश्यक रूप से सरल है, जिसका अर्थ है कि प्रत्येक दो-तत्व समूह में श्रेणी दो है।<ref name="w10-51" />
-यह दो निर्माण, जाली से साधारण मैट्रोइड और मैट्रोइड से जाली के, दूसरे के विपरीत होते हैं। इस प्रकार ज्यामितीय जाली या साधारण मैट्रोइड से प्रारंभ होकर और बाद के दोनों निर्माण करते हुए जाली या मैट्रोइड देता है, मूल के लिए आइसोमोर्फिक है।<ref name="w10-51" />
+यह दो निर्माण, जाली से साधारण मैट्रोइड और मैट्रोइड से जाली के, दूसरे के विपरीत होते हैं। इस प्रकार ज्यामितीय जाली या साधारण मैट्रोइड से प्रारंभ होकर और बाद के दोनों निर्माण करते हुए जाली या मैट्रोइड देता है, जो मूल के लिए आइसोमोर्फिक है।<ref name="w10-51" />
 == द्वैत ==
 ज्यामितीय जाली के लिए द्वैत की दो भिन्न-भिन्न प्राकृतिक धारणाएँ हैं ।
@@ Line 45: / Line 45: @@
 * <math>L</math>: दोहरी मैट्रोइड, जिसका आधार इसके अनुरूप मैट्रोइड के आधार के [[पूरक (सेट सिद्धांत)|पूरक (समूह सिद्धांत)]] समूह करता है।
 * <math>L</math> और [[द्वैत (आदेश सिद्धांत)]], वह जाली जिसमें समान तत्व होते हैं।
-* <math>L</math> विपरीत क्रम में। वह समान नहीं हैं, और वास्तव में दोहरी जाली सामान्यतः ज्यामितीय जाली नहीं होती है: परमाणु होने की संपत्ति ऑर्डर-रिवर्सल द्वारा संरक्षित नहीं होती है। {{harvtxt|चेउंग|1974}} ज्यामितीय जाली के आसन्न को परिभाषित करता है।
+* <math>L</math> विपरीत क्रम में। वह समान नहीं हैं और वास्तव में दोहरी जाली सामान्यतः ज्यामितीय जाली नहीं होती है अतः परमाणु होने की संपत्ति विपरीत-क्रम द्वारा संरक्षित नहीं होती है। इस प्रकार {{harvtxt|चेउंग|1974}} ज्यामितीय जाली के आसन्न को परिभाषित करता है।
 * <math>L</math> (या इससे परिभाषित मैट्रोइड) न्यूनतम ज्यामितीय जाली है जिसमें दोहरी जाली है।
 * <math>L</math> ऑर्डर-एम्बेडेड है। अतः कुछ मैट्रोइड्स में संलग्नक नहीं होते हैं; उदाहरण के लिए, वामोस मैट्रोइड है।<ref>{{citation
@@ Line 57: / Line 57: @@
   | volume = 17
   | year = 1974}}.</ref>
 == अतिरिक्त गुण ==
 ज्यामितीय जाली का प्रत्येक अंतराल (दिए गए निचले और ऊपरी बाध्य तत्वों के मध्य जाली का समूह) स्वयं ज्यामितीय है। इस प्रकार ज्यामितीय जाली का अंतराल लेना संबंधित मैट्रोइड के [[ माथेरॉइड माइनर |माथेरॉइड माइनर]] बनाने के अनुरूप है। ज्यामितीय जाली जाली के पूरक हैं और अंतराल संपत्ति के कारण वे अपेक्षाकृत पूरक भी हैं।<ref>{{harvtxt|Welsh|2010}}, pp. 55, 65–67.</ref>

Anonymous

Search

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

Namespaces

More

Page actions

Revision as of 09:26, 3 May 2023

Contents

परिभाषा

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