अधिसमतल की व्यवस्था: Difference between revisions

From Vigyanwiki
(Created page with "{{short description|Partition of space by a hyperplanes}} ज्यामिति और साहचर्य में, hyperplane की व्यवस्...")
 
 
(6 intermediate revisions by 5 users not shown)
Line 1: Line 1:
{{short description|Partition of space by a hyperplanes}}
{{short description|Partition of space by a hyperplanes}}
[[ज्यामिति]] और [[साहचर्य]] में, [[ hyperplane ]] की व्यवस्था एक रेखीय अंतरिक्ष में हाइपरप्लेन के परिमित सेट '''' की एक [[व्यवस्था (अंतरिक्ष विभाजन)]] है, एफ़िन ज्यामिति, या [[प्रक्षेपी ज्यामिति]] अंतरिक्ष ''एस''।
[[ज्यामिति]] और [[साहचर्य]] में, [[ hyperplane |अधिसमतल]] की व्यवस्था एक रैखिक, सजातीय या [[प्रक्षेपी ज्यामिति]] समष्टि ''S'' में अधिसमतल के परिमित समुच्चय ''A'' की [[व्यवस्था (अंतरिक्ष विभाजन)|व्यवस्था]] है। अधिसमतल व्यवस्था के बारे में प्रश्न सामान्यतः ज्यामितीय, सांस्थितिक, या पूरक के अन्य गुणों से संबंधित होते हैं, ''M''(''A''), जो कि वह समुच्चय है जो अधिसमतल को पूरे समष्टि से अलग कर दिए जाने पर बना रहता है। कोई यह पूछ सकता है कि ये गुण व्यवस्था और इसके प्रतिच्छेदन अर्धजालक से कैसे संबंधित हैं। ''A'' का प्रतिच्छेदन अर्धजालक, लिखित ''L''(''A''), सभी उपसमष्‍टि का समुच्चय है जो कुछ अधिसमतल को प्रतिच्छेदन करके प्राप्त किया जाता है; इन उपसमष्‍टि में स्वयं ''S'', सभी अलग अधिसमतल, अधिसमतल के युग्म के सभी प्रतिच्छेदन आदि सम्मलित हैं (सजातीय प्रकरण में, रिक्त समुच्चय को छोड़कर)। ''A'' के इन प्रतिच्छेदन उपसमष्‍टि को ''A'' के समतल भी कहा जाता है। प्रतिच्छेदन अर्धजालक ''L''(''A'') आंशिक रूप से ''उत्क्रम समावेशन'' द्वारा क्रमिक दिया गया है।
हाइपरप्लेन अरेंजमेंट ''ए'' के बारे में प्रश्न आम तौर पर जियोमेट्रिकल, टोपोलॉजिकल, या पूरक के अन्य गुणों से संबंधित होते हैं, ''एम''(''''), जो कि वह सेट है जो तब रहता है जब हाइपरप्लेन को पूरे से हटा दिया जाता है अंतरिक्ष। कोई यह पूछ सकता है कि ये गुण व्यवस्था और इसके प्रतिच्छेदन अर्धजाल से कैसे संबंधित हैं।
'''' का चौराहा अर्धजाल, लिखित ''एल''(''''), सभी यूक्लिडियन उप-स्थान का सेट है जो कुछ हाइपरप्लेन को काटकर प्राप्त किया जाता है; इन उप-स्थानों में स्वयं ''S'', सभी अलग-अलग हाइपरप्लेन, हाइपरप्लेन के जोड़े के सभी इंटरसेक्शन आदि शामिल हैं (एफ़ाइन मामले में, खाली सेट को छोड़कर)। '''' के इन इंटरसेक्शन सबस्पेस को '''' के फ्लैट भी कहा जाता है। चौराहा अर्धजाल ''एल''('''') आंशिक रूप से ''रिवर्स इनक्लूजन'' द्वारा आदेशित है।


यदि संपूर्ण स्थान ''S'' द्वि-आयामी है, तो हाइपरप्लेन [[रेखा (गणित)]] हैं; ऐसी व्यवस्था को अक्सर [[रेखाओं की व्यवस्था]] कहा जाता है। ऐतिहासिक रूप से, लाइनों की वास्तविक व्यवस्था जांच की गई पहली व्यवस्था थी। यदि 'एस' 3-आयामी है तो विमानों की व्यवस्था है।
यदि संपूर्ण समष्टि ''S'' द्वि-आयामी है, तो अधिसमतल [[रेखा (गणित)|रेखाएँ]]; ऐसी व्यवस्था को प्रायः [[रेखाओं की व्यवस्था]] कहा जाता है। ऐतिहासिक रूप से, रेखाएँ वास्तविक व्यवस्था जांच की गई पहली व्यवस्था थी। यदि ''S'' 3-आयामी है तो समतल की व्यवस्था है।
[[File:Arrangement hyperplans.png|thumbnail|अंतरिक्ष में एक हाइपरप्लेन व्यवस्था]]
[[File:Arrangement hyperplans.png|thumbnail|समष्टि में एक अधिसमतल व्यवस्था]]


== सामान्य सिद्धांत ==
== सामान्य सिद्धांत ==


=== चौराहा अर्धजाल और मैट्रॉइड ===
=== प्रतिच्छेदन अर्धजालक और मैट्रॉइड ===


चौराहा अर्ध-जाल एल () एक अर्ध-जाल है और अधिक विशेष रूप से एक ज्यामितीय अर्ध-जाल है। यदि व्यवस्था रेखीय या प्रक्षेपी है, या यदि सभी हाइपरप्लेन का चौराहा खाली नहीं है, तो चौराहा जाली एक [[ज्यामितीय जाली]] है।
प्रतिच्छेदन अर्धजालक ''L''(''A'') एक अर्धजालक है और अधिक विशेष रूप से एक ज्यामितीय अर्धजालक है। यदि व्यवस्था रेखीय या प्रक्षेपी है, या यदि सभी अधिसमतल का प्रतिच्छेदन अरिक्त है, तो प्रतिच्छेदन जालक एक [[ज्यामितीय जाली|ज्यामितीय जालक]] है। (यही कारण है कि अर्धजालक को उत्क्रम समावेशन द्वारा क्रमित किया जाना चाहिए - समावेशन के बदले, जो अधिक प्राकृतिक प्रतीत हो सकता है लेकिन एक ज्यामितीय (अर्ध) जालक उत्पन्न नहीं करेगा।)
(यही कारण है कि सेमिलैटिस को रिवर्स समावेशन द्वारा आदेश दिया जाना चाहिए - समावेशन के बजाय, जो अधिक प्राकृतिक प्रतीत हो सकता है लेकिन एक ज्यामितीय (अर्ध) जाली उत्पन्न नहीं करेगा।)


जब L(A) एक जाली है, तो A का मैट्रॉइड, M(A) लिखा हुआ है, इसके ग्राउंड सेट के लिए A है और इसका रैंक फ़ंक्शन r(S) है: = कोडिम (I), जहां S, A और I का कोई उपसमुच्चय है एस में हाइपरप्लेन का चौराहा है। सामान्य तौर पर, जब एल () एक अर्ध-जाल होता है, तो एक समरूप मैट्रोइड जैसी संरचना होती है जिसे [[semi[[matroid]]]] कहा जाता है, जो एक मैट्रॉइड का सामान्यीकरण होता है (और प्रतिच्छेदन सेमीलैटिस से समान संबंध होता है) जैसा कि जाली मामले में जाली के लिए मैट्रॉइड करता है), लेकिन अगर एल () जाली नहीं है तो मैट्रॉइड नहीं है।
जब L(A) एक जालक है, तो A का मैट्रॉइड, M(A) लिखा हुआ है, इसके आधार समुच्चय के लिए A है और इसका श्रेणी फलन r(S) है: = कोडिम (I), जहां S, A का कोई उपसमुच्चय है और I, S में अधिसमतल का प्रतिच्छेदन है। सामान्य रूप में, जब L(A) एक अर्धजालक होता है, तो एक समरूप मैट्रोइड जैसी संरचना होती है जिसे अर्ध मैट्रोइड कहा जाता है, जो एक मैट्रॉइड का सामान्यीकरण होता है (और प्रतिच्छेदन के अर्धजालक के साथ वैसा ही संबंध है जैसा जालक प्रकरण में जालक के लिए मैट्रॉइड करता है), लेकिन मैट्रॉइड नहीं है यदि ''L''(''A'') एक जालक नहीं है।


=== बहुपद ===
=== बहुपद ===


A के एक उपसमुच्चय B के लिए, आइए हम f(B) := B में हाइपरप्लेन के प्रतिच्छेदन को परिभाषित करें; यह S है अगर B खाली है।
A के एक उपसमुच्चय B के लिए, अनुमान f(B):= B में अधिसमतल के प्रतिच्छेदन को परिभाषित करें; यह S है अगर B रिक्त है। ''A'' की विशेषता बहुपद, लिखित ''p<sub>A</sub>''(''y''), द्वारा परिभाषित की जा सकती है।
'' की विशेषता बहुपद, लिखित पी<sub>A</sub>(y), द्वारा परिभाषित किया जा सकता है


:<math>p_A(y) := \sum_B (-1)^{|B|}y^{\dim f(B)},</math>
:<math>p_A(y) := \sum_B (-1)^{|B|}y^{\dim f(B)},</math>
A के सभी उपसमुच्चय B पर अभिव्यक्त किया जाता है सिवाय, affine मामले में, उपसमुच्चय जिसका प्रतिच्छेदन खाली है। (खाली सेट का आयाम -1 के रूप में परिभाषित किया गया है।) यह बहुपद कुछ बुनियादी प्रश्नों को हल करने में मदद करता है; नीचे देखें।
A के सभी उपसमुच्चय B पर अभिव्यक्त किया जाता है अतिरिक्त, सजातीय प्रकरण में, उपसमुच्चय जिसका प्रतिच्छेदन रिक्त है। (रिक्त समुच्चय का आयाम -1 के रूप में परिभाषित किया गया है।) यह बहुपद कुछ मूलभूत प्रश्नों का समाधान करने में सहायता करते है; नीचे देखें। A से जुड़ा एक अन्य बहुपद ''''व्हिटनी-संख्या बहुपद'''<nowiki/>' ''w<sub>A</sub>''(''x'', ''y'') है, जिसे इसके द्वारा परिभाषित किया गया है
A से जुड़ा एक अन्य बहुपद 'व्हिटनी-संख्या बहुपद' w है<sub>A</sub>(एक्स, वाई), द्वारा परिभाषित


:<math>w_A(x,y) := \sum_B x^{n-\dim f(B)} \sum_C (-1)^{|C-B|}y^{\dim f(C)},</math>
:<math>w_A(x,y) := \sum_B x^{n-\dim f(B)} \sum_C (-1)^{|C-B|}y^{\dim f(C)},</math>
B ⊆ C ⊆ A पर योग इस प्रकार किया जाता है कि f(B) रिक्त नहीं है।
B ⊆ C ⊆ A पर योग इस प्रकार किया जाता है कि f(B) रिक्त नहीं है।


एक ज्यामितीय जाली या अर्ध-जाल होने के नाते, एल () में एक विशेषता बहुपद है, पी<sub>''L''(''A'')</sub>(y), जिसका एक व्यापक सिद्धांत है (Matroid#Characteristic_polynomial देखें)। इस प्रकार यह जानना अच्छा है कि p<sub>''A''</sub>(और) = और<sup>मैं </सुप> <sub>''L''(''A'')</sub>(वाई), जहां मैं किसी भी फ्लैट का सबसे छोटा आयाम है, सिवाय इसके कि अनुमानित मामले में यह वाई के बराबर है<sup>आई + 1</सुप>पी<sub>''L''(''A'')</sub>().
एक ज्यामितीय जालक या अर्धजालक होने के कारण, ''L''(''A'') में एक विशेषता बहुपद ''p<sub>L</sub>''<sub>(''A'')</sub>(''y'') है, जिसमें एक व्यापक सिद्धांत है (मैट्रॉइड देखें)। इस प्रकार यह जानना उचित है कि ''p<sub>A</sub>''(''y'') = ''y<sup>i</sup>'' ''p<sub>L</sub>''<sub>(''A'')</sub>(''y'')M, जहां ''i'' किसी भी समतल का सबसे छोटा आयाम है, अतिरिक्त इसके कि प्रक्षेपीय प्रकरण में यह ''y<sup>i</sup>'' <sup>+ 1</sup>''p<sub>L</sub>''<sub>(''A'')</sub>(''y'') के समान है। A का व्हिटनी-संख्या बहुपद समान रूप से L(A) से संबंधित है। (रिक्त समुच्चय को विशेष रूप से सजातीय प्रकरण में अर्धजालक से बाहर रखा गया है ताकि ये संबंध मान्य हों।)
A का व्हिटनी-संख्या बहुपद समान रूप से L(A) से संबंधित है।
(खाली सेट को विशेष रूप से affine मामले में सेमीलेटिस से बाहर रखा गया है ताकि ये रिश्ते मान्य हों।)


=== ऑरलिक-सोलोमन बीजगणित ===
=== ऑरलिक-सोलोमन बीजगणित ===


प्रतिच्छेदन अर्धजाल व्यवस्था के एक और संयोजी अपरिवर्तनीय को निर्धारित करता है, ऑरलिक-सोलोमन बीजगणित। इसे परिभाषित करने के लिए, आधार क्षेत्र के क्रमविनिमेय उपवलय K को ठीक करें और सदिश स्थान के [[बाहरी बीजगणित]] E का निर्माण करें
प्रतिच्छेदन अर्धजालक व्यवस्था के एक और संयोजी अपरिवर्तनीय को निर्धारित करता है, ऑरलिक-सोलोमन बीजगणित को निर्धारित करता है। इसे परिभाषित करने के लिए, आधार क्षेत्र के क्रमविनिमेय उपवलय K को निर्धारित करें और सदिश समष्टि के [[बाहरी बीजगणित]] E का निर्माण करें अधिसमतल द्वारा उत्पन्न करें।
:<math>\bigoplus_{H \in A} K e_H </math>
:<math>\bigoplus_{H \in A} K e_H </math>
हाइपरप्लेन द्वारा उत्पन्न।
एक श्रृंखला सम्मिश्र संरचना ''E'' पर सामान्य सीमा प्रचालक <math>\partial</math> के साथ परिभाषित की जाती है। ऑरलिक-सोलोमन बीजगणित तब <math>e_{H_1} \wedge \cdots \wedge e_{H_p}</math> के तत्वों द्वारा उत्पन्न[[ आदर्श (अंगूठी सिद्धांत) | आदर्श]] द्वारा ''E'' का भागफल है जिसके लिए <math>H_1, \dots, H_p</math> में रिक्त प्रतिच्छेदन है, और उसी रूप के तत्वों की सीमाओं से जिसके लिए <math>H_1 \cap \cdots \cap H_p</math> का सहआयाम p से कम होता है।
एक श्रृंखला जटिल संरचना पर सामान्य सीमा ऑपरेटर के साथ परिभाषित की गई है <math>\partial</math>.
ऑरलिक-सोलोमन बीजगणित तब फॉर्म के तत्वों द्वारा उत्पन्न [[ आदर्श (अंगूठी सिद्धांत) ]] द्वारा ई का अंश है <math>e_{H_1} \wedge \cdots \wedge e_{H_p}</math> जिसके लिए <math>H_1, \dots, H_p</math> खाली चौराहा है, और उसी रूप के तत्वों की सीमाओं से जिसके लिए <math>H_1 \cap \cdots \cap H_p</math> p से कम [[ codimension ]] है।


== वास्तविक व्यवस्था ==
== वास्तविक व्यवस्था ==


[[वास्तविक संख्या]] [[affine अंतरिक्ष]] में, पूरक डिस्कनेक्ट हो गया है: यह कोशिकाओं या क्षेत्रों या कक्षों नामक अलग-अलग टुकड़ों से बना है, जिनमें से प्रत्येक या तो एक घिरा हुआ क्षेत्र है जो [[उत्तल [[बहुभुज]]]] [[ polytope ]] है, या एक असीमित क्षेत्र है जो एक उत्तल पॉलीहेड्रॉन है # सामान्य क्षेत्र जो अनंत तक जाता है।
[[वास्तविक संख्या|वास्तविक]] [[affine अंतरिक्ष|सजातीय समष्टि]] में, पूरक असंबद्ध हो गया है: यह कोशिकाओं या क्षेत्रों या कक्षों नामक अलग-अलग खंड से बना है, जिनमें से प्रत्येक या तो एक घिरा हुआ क्षेत्र है जो एक उत्तल [[बहुभुज|बहुतलीय]] है, या एक असीमित क्षेत्र है जो एक उत्तल बहुतलीय क्षेत्र है जो अनंत तक जाता है। ''A'' के प्रत्येक समतल को भी अधिसमतल द्वारा खंडो में विभाजित किया जाता है जिसमें समतल नहीं होता है; इन खंडो को ''A'' के ​​फलक कहा जाता है। क्षेत्र फलक हैं क्योंकि पूरी जगह एक समतल है। सहआयाम 1 के फलकों को ''A'' का फलक कहा जा सकता है। एक व्यवस्था का फलक अर्धजालक सभी फलकों का समुच्चय है, जिसे समावेशन द्वारा क्रमित किया गया है। फलक की अर्धजालक में एक अतिरिक्त शीर्ष तत्व जोड़ने से फलक जालक हो जाता है।
'''' के प्रत्येक फ्लैट को भी हाइपरप्लेन द्वारा टुकड़ों में विभाजित किया जाता है जिसमें फ्लैट नहीं होता है; इन टुकड़ों को '' के ​​चेहरे कहा जाता है।
क्षेत्र चेहरे हैं क्योंकि पूरी जगह एक फ्लैट है।
कोडिमेंशन 1 के चेहरों को '''' के पहलू कहा जा सकता है।
एक व्यवस्था का चेहरा अर्धजाल सभी चेहरों का सेट है, जिसे 'समावेशी' द्वारा आदेश दिया गया है। चेहरे की अर्धजाल में एक अतिरिक्त शीर्ष तत्व जोड़ने से चेहरा जालीदार हो जाता है।


दो आयामों में (अर्थात, वास्तविक संबंध तल (गणित) में) प्रत्येक क्षेत्र एक उत्तल बहुभुज है (यदि यह घिरा हुआ है) या एक उत्तल बहुभुज क्षेत्र है जो अनंत तक जाता है।
दो आयामों में (अर्थात, वास्तविक संबंध तल (गणित) में) प्रत्येक क्षेत्र एक उत्तल बहुभुज है (यदि यह परिबद्ध है) या एक उत्तल बहुभुज क्षेत्र है जो अनंत तक जाता है।
* एक उदाहरण के रूप में, यदि व्यवस्था में तीन समानांतर रेखाएँ होती हैं, तो प्रतिच्छेदन अर्धजाल में समतल और तीन रेखाएँ होती हैं, लेकिन खाली सेट नहीं। चार क्षेत्र हैं, उनमें से कोई भी परिबद्ध नहीं है।
* एक उदाहरण के रूप में, यदि व्यवस्था में तीन समानांतर रेखाएँ होती हैं, तो प्रतिच्छेदन अर्धजालक में समतल और तीन रेखाएँ होती हैं, लेकिन रिक्त समुच्चय नहीं होती हैं। चार क्षेत्र हैं, उनमें से कोई भी परिबद्ध नहीं है।
* यदि हम तीन समांतर रेखाओं को पार करने वाली एक रेखा जोड़ते हैं, तो प्रतिच्छेदन अर्धजाल में समतल, चार रेखाएँ और तीन प्रतिच्छेदन बिंदु होते हैं। आठ क्षेत्र हैं, फिर भी उनमें से कोई भी परिबद्ध नहीं है।
* यदि हम तीन समांतर रेखाओं को प्रतिच्छेद करने वाली एक रेखा जोड़ते हैं, तो प्रतिच्छेदन अर्धजालक में समतल, चार रेखाएँ और प्रतिच्छेदन के तीन बिंदु होते हैं। आठ क्षेत्र हैं, फिर भी उनमें से कोई भी परिबद्ध नहीं है।
* यदि हम अंतिम रेखा के समानांतर एक और रेखा जोड़ते हैं, तो 12 क्षेत्र होते हैं, जिनमें से दो परिबद्ध समांतर [[चतुर्भुज]] होते हैं।
* यदि हम अंतिम रेखा के समानांतर एक और रेखा जोड़ते हैं, तो 12 क्षेत्र होते हैं, जिनमें से दो परिबद्ध समांतर [[चतुर्भुज]] होते हैं।


''एन''-डायमेंशनल रियल स्पेस में किसी व्यवस्था के बारे में विशिष्ट समस्या यह है कि कितने क्षेत्र हैं, या आयाम 4 के कितने चेहरे हैं, या कितने बंधे हुए क्षेत्र हैं। इन सवालों का जवाब सिर्फ चौराहा अर्धजाल से ही दिया जा सकता है। उदाहरण के लिए, ज़स्लाव्स्की (1975) से दो बुनियादी प्रमेय हैं, जो एक सजातीय व्यवस्था के क्षेत्रों की संख्या के बराबर हैं (-1)<sup>एन</सुप><sub>''A''</sub>(-1) और घिरे क्षेत्रों की संख्या बराबर (-1)<sup>एन</सुप><sub>''A''</sub>(1)इसी तरह, k- डायमेंशनल चेहरों या बंधे हुए चेहरों की संख्या को x के गुणांक के रूप में पढ़ा जा सकता है<sup>n−k</sup> में (−1)<sup>एन</sup> डब्ल्यू<sub>''A''</sub> (−x, −1) या (−1)<sup>एन</sup>डब्ल्यू<sub>''A''</sub>(−x, 1)
''n''-विमीय वास्तविक समष्टि में एक व्यवस्था के बारे में विशिष्ट समस्याएं है कि कितने क्षेत्र हैं, या आयाम 4 के कितने फलक हैं, या कितने परिबद्ध क्षेत्र हैं। इन प्रश्नो का उत्तर सिर्फ प्रतिच्छेदन अर्धजालक से ही दिया जा सकता है। उदाहरण के लिए, ज़स्लाव्स्की (1975) के दो मूल प्रमेय हैं कि एक संबध व्यवस्था के क्षेत्रों की संख्या (−1)<sup>''n''</sup>''p<sub>A</sub>''(−1) के समान होती हैं और परिबद्ध क्षेत्रों की संख्या (−1)<sup>''n''</sup>p<sub>''A''</sub>(1) के समान होती हैं। इसी तरह, k- विमीय फलकों या परिबद्ध फलकों की संख्या को (−1)<sup>''n''</sup> w<sub>''A''</sub> (−''x'', −1) या (−1)<sup>''n''</sup>''w<sub>A</sub>''(−''x'', 1) में ''x<sup>n</sup>''<sup>−''k''</sup> के गुणांक के रूप में पढ़ा जा सकता है।।


{{harvtxt|Meiser|1993}} एक इनपुट बिंदु वाले हाइपरप्लेन की व्यवस्था का चेहरा निर्धारित करने के लिए एक तेज़ एल्गोरिथम डिज़ाइन किया।
{{harvtxt|मेसर|1993}} एक निवेश बिंदु वाले अधिसमतल की व्यवस्था का फलक निर्धारित करने के लिए एक तीव्रकलनविधि प्रारुप किया गया है।


वास्तविक अंतरिक्ष में एक व्यवस्था के बारे में एक और सवाल यह तय करना है कि कितने क्षेत्र [[संकेतन]] हैं ([[त्रिकोण]] और [[चतुर्पाश्वीय]] के एन-आयामी सामान्यीकरण)। इसका उत्तर केवल चौराहों के अर्धजाल के आधार पर नहीं दिया जा सकता है। [[मैकमुलेन समस्या]] [[वास्तविक प्रक्षेप्य स्थान]] में सामान्य स्थिति में दिए गए आयाम की सबसे छोटी व्यवस्था के लिए पूछती है जिसके लिए सभी हाइपरप्लेन द्वारा छुआ गया सेल मौजूद नहीं है।
वास्तविक समष्टि में एक व्यवस्था के बारे में एक और प्रश्न यह तय करता है कि कितने क्षेत्र [[संकेतन|सरल]] हैं ([[त्रिकोण]] और [[चतुर्पाश्वीय|टेट्राहेड्रा]] के ''n''-आयामी सामान्यीकरण)। इसका उत्तर केवल प्रतिच्छेदन के अर्धजालक के आधार पर नहीं दिया जा सकता है। [[मैकमुलेन समस्या]] [[वास्तविक प्रक्षेप्य स्थान|वास्तविक प्रक्षेपीय समष्टि]] में सामान्य स्थिति में दिए गए आयाम की सबसे छोटी व्यवस्था के लिए पूछती है जिसके लिए सभी अधिसमतल द्वारा प्रभावित कोष्ठिका उपस्तिथ नहीं है।


एक वास्तविक रेखीय व्यवस्था में, इसके चेहरे के अर्ध-जाल के अलावा, 'क्षेत्रों का [[ poset ]]', प्रत्येक क्षेत्र के लिए एक अलग होता है। यह पोसेट एक मनमाने आधार क्षेत्र, बी को चुनकर बनाया गया है<sub>0</sub>, और प्रत्येक क्षेत्र R के साथ सेट S(R) को जोड़कर हाइपरप्लेन से मिलकर बनता है जो R को B से अलग करता है। क्षेत्रों को आंशिक रूप से आदेश दिया जाता है ताकि R<sub>1</sub> ≥ आर<sub>2</sub> अगर एस (आर<sub>1</sub>, आर) में एस (आर<sub>2</sub>, आर)विशेष मामले में जब हाइपरप्लेन [[ मूल प्रक्रिया ]] से उत्पन्न होते हैं, परिणामी पॉसेट कमजोर क्रम के साथ संबंधित [[वेइल समूह]] होता है। सामान्य तौर पर, अलग-अलग हाइपरप्लेन की संख्या के आधार पर क्षेत्रों के पॉसेट को पोसेट रैंक दिया जाता है और इसके इंसिडेंस बीजगणित| मोबियस फ़ंक्शन की गणना की गई है {{harv|Edelman|1984}}.
एक वास्तविक रेखीय व्यवस्था में, इसके तल के अर्धजालक के अलावा, क्षेत्रों का एक [[ poset |क्रमित समुच्चय]], प्रत्येक क्षेत्र के लिए अलग होता है। यह क्रमित समुच्चय एक स्वेच्छाचारी आधार क्षेत्र, ''B''<sub>0</sub> का चयन करके और प्रत्येक क्षेत्र R के साथ समुच्चय S(R) को जोड़कर बनाया गया है, जिसमें अधिसमतल सम्मलित हैं जो R को B से अलग करता है। क्षेत्रों को आंशिक रूप से क्रमबद्ध किया गया है इसलिए ''R''<sub>1</sub> ≥ ''R''<sub>2</sub> यदि ''S''(''R''<sub>1</sub>, ''R'') में ''S''(''R''<sub>2</sub>, ''R'') हो सकता है। विशेष प्रकरण में जब अधिसमतल[[ मूल प्रक्रिया ]]से उत्पन्न होते हैं, परिणामी क्रमित समुच्चय निर्बल क्रम के साथ संबंधित [[वेइल समूह]] होते है। सामान्य रूप में, क्षेत्रों के क्रमित समुच्चय को अधिसमतल को अलग करने की संख्या से श्रेणीबद्ध किया जाता है और इसके मोबियस फलन की गणना की जाती है {{harv|एडेलमैन|1984}}.


वादिम शेख्टमैन और [[अलेक्जेंडर वर्चेंको]] ने क्षेत्रों द्वारा अनुक्रमित एक मैट्रिक्स पेश किया। क्षेत्र के लिए मैट्रिक्स तत्व <math>R_i</math> और <math>R_j</math> अनिश्चित चर के उत्पाद द्वारा दिया जाता है <math>a_H</math> प्रत्येक हाइपरप्लेन एच के लिए जो इन दो क्षेत्रों को अलग करता है। यदि ये चर सभी मान q होने के लिए विशिष्ट हैं, तो इसे q-मैट्रिक्स (यूक्लिडियन डोमेन पर) कहा जाता है <math>\mathbb{Q}[q]</math>) व्यवस्था के लिए और बहुत सी जानकारी इसके [[स्मिथ सामान्य रूप]] में समाहित है।
वादिम शेख्टमैन और [[अलेक्जेंडर वर्चेंको]] ने क्षेत्रों द्वारा अनुक्रमित एक आव्यूह प्रस्तावित किया हैं। क्षेत्र <math>R_i</math> और <math>R_j</math> के लिए आव्यूह तत्व प्रत्येक अधिसमतल H के लिए अनिश्चित चर <math>a_H</math> के उत्पाद द्वारा दिया जाता है जो इन दो क्षेत्रों को अलग करता है। यदि ये चर सभी मान ''q'' होने के लिए विशिष्ट हैं, तो इसे व्यवस्था के लिए q-आव्यूह (यूक्लिडियन डोमेन <math>\mathbb{Q}[q]</math> पर) कहा जाता है और इसके [[स्मिथ सामान्य रूप]] में बहुत अधिक जानकारी निहित है।


== जटिल व्यवस्था ==
== सम्मिश्र व्यवस्था ==


[[जटिल संख्या]] में एफाइन स्पेस (जो कल्पना करना कठिन है क्योंकि यहां तक ​​कि जटिल एफिन प्लेन में भी चार वास्तविक आयाम हैं), पूरक छेद के साथ जुड़ा हुआ है (सभी एक टुकड़ा) जहां हाइपरप्लेन हटा दिए गए थे।
[[जटिल संख्या|सम्मिश्र]] में सजातीय समष्‍टि में (जो कि कल्पना करना कठिन है क्योंकि यहां तक ​​कि सम्मिश्र सजातीय समतल में भी चार वास्तविक आयाम हैं), पूरक जुड़ा हुआ है (सभी एक खंड) छिद्र के साथ जहां सजातीय समतल अलग कर दिए गए थे।


जटिल स्थान में व्यवस्था के बारे में एक विशिष्ट समस्या छिद्रों का वर्णन करना है।
सम्मिश्र समष्टि में व्यवस्था के बारे में एक विशिष्ट समस्या छिद्रों का वर्णन करना है।


जटिल व्यवस्थाओं के बारे में मूल प्रमेय यह है कि पूरक एम () का सह-विज्ञान पूरी तरह से प्रतिच्छेदन अर्ध-जाल द्वारा निर्धारित किया जाता है। सटीक होने के लिए, एम () (पूर्णांक गुणांक के साथ) की [[सह-समरूपता]] रिंग 'जेड' पर ऑरलिक-सोलोमन बीजगणित के लिए [[समरूपी]] है।
सम्मिश्र व्यवस्थाओं के बारे में मूल प्रमेय यह है कि पूरक ''M''(''A'') का सह-विज्ञान पूरी तरह से प्रतिच्छेदन अर्धजालक द्वारा निर्धारित किया जाता है। यथार्थ होने के लिए, ''M''(''A'') (पूर्णांक गुणांक के साथ) की [[सह-समरूपता]] वलय '''Z''' पर ऑरलिक-सोलोमन बीजगणित के लिए [[समरूपी]] है।


आइसोमोर्फिज्म को स्पष्ट रूप से वर्णित किया जा सकता है और जनरेटर और संबंधों के संदर्भ में कोहोलॉजी की प्रस्तुति देता है, जहां जनरेटर का प्रतिनिधित्व किया जाता है ([[डॉ कहलमज गर्भाशय]] में) लॉगरिदमिक [[ विभेदक रूप ]] के रूप में
समरूपता को स्पष्ट रूप से वर्णित किया जा सकता है और जनित्र और संबंधों के संदर्भ में सह समरूपता की प्रस्तुति देता है, जहां जनित्र का प्रतिनिधित्व किया जाता है ([[डॉ कहलमज गर्भाशय|डी रम कोहोलॉजी]] में) लघुगणकीय[[ विभेदक रूप | विभेदक रूप]] में


:<math>\frac{1}{2\pi i}\frac{d\alpha}{\alpha}.</math>
:<math>\frac{1}{2\pi i}\frac{d\alpha}{\alpha}</math>
साथ <math>\alpha</math> व्यवस्था के सामान्य हाइपरप्लेन को परिभाषित करने वाला कोई रैखिक रूप।
<math>\alpha</math> के साथ व्यवस्था के सामान्य अधिसमतल को परिभाषित करने वाला कोई रैखिक रूप है।


== तकनीकीताएं ==
== तकनीक ==


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


कभी-कभी व्यवस्था में बार-बार हाइपरप्लेन की अनुमति देना चाहता है। पिछली चर्चा में हमने इस संभावना पर विचार नहीं किया था, लेकिन इससे कोई खास फर्क नहीं पड़ता।
कभी-कभी व्यवस्था में बार-बार अधिसमतल की अनुमति देना चाहता है। पूर्ववर्ती परिचर्चा में हमने इस संभावना पर विचार नहीं किया था, लेकिन इससे कोई भौतिक अंतर नहीं पड़ता है।


== यह भी देखें ==
== यह भी देखें ==
* [[सुपरसॉल्वेबल व्यवस्था]]
* [[सुपरसॉल्वेबल व्यवस्था]]
* [[ओरिएंटेड मैट्रोइड]]
* [[ओरिएंटेड मैट्रोइड|अभिविन्यस्त मैट्रोइड]]


==संदर्भ==
==संदर्भ==
*{{Springer|id=A/a110700|title=Arrangement of hyperplanes}}
*{{Springer|id=A/a110700|title=हाइपरप्लेन की व्यवस्था}}
*{{citation
*{{citation
  | last = Edelman | first = Paul H.
  | last = Edelman | first = Paul H.
  | doi = 10.2307/1999150
  | doi = 10.2307/1999150
  | issue = 2
  | issue = 2
  | journal = [[Transactions of the American Mathematical Society]]
  | journal = [[अमेरिकन मैथमैटिकल सोसाइटी के लेन-देन]]
  | pages = 617–631
  | pages = 617–631
  | title = A partial order on the regions of <math>\mathbb{R}^n</math> dissected by hyperplanes
  | title = A partial order on the regions of <math>\mathbb{R}^n</math> dissected by hyperplanes
Line 103: Line 90:
  | doi = 10.1006/inco.1993.1057
  | doi = 10.1006/inco.1993.1057
  | issue = 2
  | issue = 2
  | journal = Information and Computation
  | journal = सूचना और संगणना
  | pages = 286–303
  | pages = 286–303
  | title = Point location in arrangements of hyperplanes
  | title = हाइपरप्लेन की व्यवस्था में बिंदु स्थान
  | volume = 106
  | volume = 106
  | year = 1993
  | year = 1993
Line 118: Line 105:
  | location = Berlin
  | location = Berlin
  | publisher = Springer-Verlag
  | publisher = Springer-Verlag
  | series = Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]
  | series = ग्रुंडलेह्रेन डेर मैथेमेटिसचेन विस्सेनशाफ्टन [गणितीय विज्ञान के मौलिक सिद्धांत]
  | title = Arrangements of Hyperplanes
  | title = Arrangements of Hyperplanes
  | volume = 300
  | volume = 300
Line 126: Line 113:
*{{cite book|last = Stanley|first=Richard
*{{cite book|last = Stanley|first=Richard
  | author-link = Richard P. Stanley  
  | author-link = Richard P. Stanley  
  |title=Enumerative Combinatorics|volume=1|chapter=3.11 Hyperplane Arrangements|edition=2nd|isbn=978-1107602625|year=2011|publisher=Cambridge University Press}}
  |title=गणनात्मक कॉम्बिनेटरिक्स|volume=1|chapter=3.11 Hyperplane Arrangements|edition=2nd|isbn=978-1107602625|year=2011|publisher=कैम्ब्रिज यूनिवर्सिटी प्रेस}}
*{{citation
*{{citation
  | last = Zaslavsky | first = Thomas
  | last = Zaslavsky | first = Thomas
Line 134: Line 121:
  | location = Providence, R.I.
  | location = Providence, R.I.
  | publisher = [[American Mathematical Society]]
  | publisher = [[American Mathematical Society]]
  | journal = Memoirs of the American Mathematical Society
  | journal = अमेरिकी गणितीय सोसायटी के संस्मरण
  | title = Facing up to arrangements: face-count formulas for partitions of space by hyperplanes
  | title = फेसिंग अप टू अरेंजमेंट्स: फेस-काउंट फॉर्मूला फॉर स्पेस पार्टीशन बाय हाइपरप्लेन्स
  | year = 1975
  | year = 1975
  | volume = 1
  | volume = 1
  | mr = 0357135}}.
  | mr = 0357135}}.
[[Category: असतत ज्यामिति]] [[Category: साहचर्य]] [[Category: ओरिएंटेड मैट्रोइड्स]]


[[Category: Machine Translated Page]]
[[Category:Created On 01/05/2023]]
[[Category:Created On 01/05/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:असतत ज्यामिति]]
[[Category:ओरिएंटेड मैट्रोइड्स]]
[[Category:साहचर्य]]

Latest revision as of 12:07, 18 October 2023

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

यदि संपूर्ण समष्टि S द्वि-आयामी है, तो अधिसमतल रेखाएँ; ऐसी व्यवस्था को प्रायः रेखाओं की व्यवस्था कहा जाता है। ऐतिहासिक रूप से, रेखाएँ वास्तविक व्यवस्था जांच की गई पहली व्यवस्था थी। यदि S 3-आयामी है तो समतल की व्यवस्था है।

समष्टि में एक अधिसमतल व्यवस्था

सामान्य सिद्धांत

प्रतिच्छेदन अर्धजालक और मैट्रॉइड

प्रतिच्छेदन अर्धजालक L(A) एक अर्धजालक है और अधिक विशेष रूप से एक ज्यामितीय अर्धजालक है। यदि व्यवस्था रेखीय या प्रक्षेपी है, या यदि सभी अधिसमतल का प्रतिच्छेदन अरिक्त है, तो प्रतिच्छेदन जालक एक ज्यामितीय जालक है। (यही कारण है कि अर्धजालक को उत्क्रम समावेशन द्वारा क्रमित किया जाना चाहिए - समावेशन के बदले, जो अधिक प्राकृतिक प्रतीत हो सकता है लेकिन एक ज्यामितीय (अर्ध) जालक उत्पन्न नहीं करेगा।)

जब L(A) एक जालक है, तो A का मैट्रॉइड, M(A) लिखा हुआ है, इसके आधार समुच्चय के लिए A है और इसका श्रेणी फलन r(S) है: = कोडिम (I), जहां S, A का कोई उपसमुच्चय है और I, S में अधिसमतल का प्रतिच्छेदन है। सामान्य रूप में, जब L(A) एक अर्धजालक होता है, तो एक समरूप मैट्रोइड जैसी संरचना होती है जिसे अर्ध मैट्रोइड कहा जाता है, जो एक मैट्रॉइड का सामान्यीकरण होता है (और प्रतिच्छेदन के अर्धजालक के साथ वैसा ही संबंध है जैसा जालक प्रकरण में जालक के लिए मैट्रॉइड करता है), लेकिन मैट्रॉइड नहीं है यदि L(A) एक जालक नहीं है।

बहुपद

A के एक उपसमुच्चय B के लिए, अनुमान f(B):= B में अधिसमतल के प्रतिच्छेदन को परिभाषित करें; यह S है अगर B रिक्त है। A की विशेषता बहुपद, लिखित pA(y), द्वारा परिभाषित की जा सकती है।

A के सभी उपसमुच्चय B पर अभिव्यक्त किया जाता है अतिरिक्त, सजातीय प्रकरण में, उपसमुच्चय जिसका प्रतिच्छेदन रिक्त है। (रिक्त समुच्चय का आयाम -1 के रूप में परिभाषित किया गया है।) यह बहुपद कुछ मूलभूत प्रश्नों का समाधान करने में सहायता करते है; नीचे देखें। A से जुड़ा एक अन्य बहुपद 'व्हिटनी-संख्या बहुपद' wA(x, y) है, जिसे इसके द्वारा परिभाषित किया गया है

B ⊆ C ⊆ A पर योग इस प्रकार किया जाता है कि f(B) रिक्त नहीं है।

एक ज्यामितीय जालक या अर्धजालक होने के कारण, L(A) में एक विशेषता बहुपद pL(A)(y) है, जिसमें एक व्यापक सिद्धांत है (मैट्रॉइड देखें)। इस प्रकार यह जानना उचित है कि pA(y) = yi pL(A)(y)M, जहां i किसी भी समतल का सबसे छोटा आयाम है, अतिरिक्त इसके कि प्रक्षेपीय प्रकरण में यह yi + 1pL(A)(y) के समान है। A का व्हिटनी-संख्या बहुपद समान रूप से L(A) से संबंधित है। (रिक्त समुच्चय को विशेष रूप से सजातीय प्रकरण में अर्धजालक से बाहर रखा गया है ताकि ये संबंध मान्य हों।)

ऑरलिक-सोलोमन बीजगणित

प्रतिच्छेदन अर्धजालक व्यवस्था के एक और संयोजी अपरिवर्तनीय को निर्धारित करता है, ऑरलिक-सोलोमन बीजगणित को निर्धारित करता है। इसे परिभाषित करने के लिए, आधार क्षेत्र के क्रमविनिमेय उपवलय K को निर्धारित करें और सदिश समष्टि के बाहरी बीजगणित E का निर्माण करें अधिसमतल द्वारा उत्पन्न करें।

एक श्रृंखला सम्मिश्र संरचना E पर सामान्य सीमा प्रचालक के साथ परिभाषित की जाती है। ऑरलिक-सोलोमन बीजगणित तब के तत्वों द्वारा उत्पन्न आदर्श द्वारा E का भागफल है जिसके लिए में रिक्त प्रतिच्छेदन है, और उसी रूप के तत्वों की सीमाओं से जिसके लिए का सहआयाम p से कम होता है।

वास्तविक व्यवस्था

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

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

  • एक उदाहरण के रूप में, यदि व्यवस्था में तीन समानांतर रेखाएँ होती हैं, तो प्रतिच्छेदन अर्धजालक में समतल और तीन रेखाएँ होती हैं, लेकिन रिक्त समुच्चय नहीं होती हैं। चार क्षेत्र हैं, उनमें से कोई भी परिबद्ध नहीं है।
  • यदि हम तीन समांतर रेखाओं को प्रतिच्छेद करने वाली एक रेखा जोड़ते हैं, तो प्रतिच्छेदन अर्धजालक में समतल, चार रेखाएँ और प्रतिच्छेदन के तीन बिंदु होते हैं। आठ क्षेत्र हैं, फिर भी उनमें से कोई भी परिबद्ध नहीं है।
  • यदि हम अंतिम रेखा के समानांतर एक और रेखा जोड़ते हैं, तो 12 क्षेत्र होते हैं, जिनमें से दो परिबद्ध समांतर चतुर्भुज होते हैं।

n-विमीय वास्तविक समष्टि में एक व्यवस्था के बारे में विशिष्ट समस्याएं है कि कितने क्षेत्र हैं, या आयाम 4 के कितने फलक हैं, या कितने परिबद्ध क्षेत्र हैं। इन प्रश्नो का उत्तर सिर्फ प्रतिच्छेदन अर्धजालक से ही दिया जा सकता है। उदाहरण के लिए, ज़स्लाव्स्की (1975) के दो मूल प्रमेय हैं कि एक संबध व्यवस्था के क्षेत्रों की संख्या (−1)npA(−1) के समान होती हैं और परिबद्ध क्षेत्रों की संख्या (−1)npA(1) के समान होती हैं। इसी तरह, k- विमीय फलकों या परिबद्ध फलकों की संख्या को (−1)n wA (−x, −1) या (−1)nwA(−x, 1) में xnk के गुणांक के रूप में पढ़ा जा सकता है।।

मेसर (1993) एक निवेश बिंदु वाले अधिसमतल की व्यवस्था का फलक निर्धारित करने के लिए एक तीव्रकलनविधि प्रारुप किया गया है।

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

एक वास्तविक रेखीय व्यवस्था में, इसके तल के अर्धजालक के अलावा, क्षेत्रों का एक क्रमित समुच्चय, प्रत्येक क्षेत्र के लिए अलग होता है। यह क्रमित समुच्चय एक स्वेच्छाचारी आधार क्षेत्र, B0 का चयन करके और प्रत्येक क्षेत्र R के साथ समुच्चय S(R) को जोड़कर बनाया गया है, जिसमें अधिसमतल सम्मलित हैं जो R को B से अलग करता है। क्षेत्रों को आंशिक रूप से क्रमबद्ध किया गया है इसलिए R1R2 यदि S(R1, R) में S(R2, R) हो सकता है। विशेष प्रकरण में जब अधिसमतलमूल प्रक्रिया से उत्पन्न होते हैं, परिणामी क्रमित समुच्चय निर्बल क्रम के साथ संबंधित वेइल समूह होते है। सामान्य रूप में, क्षेत्रों के क्रमित समुच्चय को अधिसमतल को अलग करने की संख्या से श्रेणीबद्ध किया जाता है और इसके मोबियस फलन की गणना की जाती है (एडेलमैन 1984).

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

सम्मिश्र व्यवस्था

सम्मिश्र में सजातीय समष्‍टि में (जो कि कल्पना करना कठिन है क्योंकि यहां तक ​​कि सम्मिश्र सजातीय समतल में भी चार वास्तविक आयाम हैं), पूरक जुड़ा हुआ है (सभी एक खंड) छिद्र के साथ जहां सजातीय समतल अलग कर दिए गए थे।

सम्मिश्र समष्टि में व्यवस्था के बारे में एक विशिष्ट समस्या छिद्रों का वर्णन करना है।

सम्मिश्र व्यवस्थाओं के बारे में मूल प्रमेय यह है कि पूरक M(A) का सह-विज्ञान पूरी तरह से प्रतिच्छेदन अर्धजालक द्वारा निर्धारित किया जाता है। यथार्थ होने के लिए, M(A) (पूर्णांक गुणांक के साथ) की सह-समरूपता वलय Z पर ऑरलिक-सोलोमन बीजगणित के लिए समरूपी है।

समरूपता को स्पष्ट रूप से वर्णित किया जा सकता है और जनित्र और संबंधों के संदर्भ में सह समरूपता की प्रस्तुति देता है, जहां जनित्र का प्रतिनिधित्व किया जाता है (डी रम कोहोलॉजी में) लघुगणकीय विभेदक रूप में

के साथ व्यवस्था के सामान्य अधिसमतल को परिभाषित करने वाला कोई रैखिक रूप है।

तकनीक

कभी-कभी अधोगामी अधिसमतल, जो संपूर्ण समष्टि S है, जो एक व्यवस्था से संबंधित होने की अनुमति देना सुविधाजनक होता है। यदि A में पतित अधिसमतल है, तो इसका कोई क्षेत्र नहीं है क्योंकि पूरक रिक्त है। हालाँकि, इसमें अभी भी समतल, एक प्रतिच्छेदन अर्धजालक और तल हैं। पूर्ववर्ती परिचर्चा मानती है कि पतित अधिसमतल व्यवस्था में नहीं है।

कभी-कभी व्यवस्था में बार-बार अधिसमतल की अनुमति देना चाहता है। पूर्ववर्ती परिचर्चा में हमने इस संभावना पर विचार नहीं किया था, लेकिन इससे कोई भौतिक अंतर नहीं पड़ता है।

यह भी देखें

संदर्भ

  • "हाइपरप्लेन की व्यवस्था", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
  • Edelman, Paul H. (1984), "A partial order on the regions of dissected by hyperplanes", अमेरिकन मैथमैटिकल सोसाइटी के लेन-देन, 283 (2): 617–631, doi:10.2307/1999150, JSTOR 1999150, MR 0737888.
  • Meiser, Stefan (1993), "हाइपरप्लेन की व्यवस्था में बिंदु स्थान", सूचना और संगणना, 106 (2): 286–303, doi:10.1006/inco.1993.1057, MR 1241314.
  • Orlik, Peter; Terao, Hiroaki (1992), Arrangements of Hyperplanes, ग्रुंडलेह्रेन डेर मैथेमेटिसचेन विस्सेनशाफ्टन [गणितीय विज्ञान के मौलिक सिद्धांत], vol. 300, Berlin: Springer-Verlag, doi:10.1007/978-3-662-02772-1, ISBN 978-3-642-08137-8, MR 1217488.
  • Stanley, Richard (2011). "3.11 Hyperplane Arrangements". गणनात्मक कॉम्बिनेटरिक्स. Vol. 1 (2nd ed.). कैम्ब्रिज यूनिवर्सिटी प्रेस. ISBN 978-1107602625.
  • Zaslavsky, Thomas (1975), "फेसिंग अप टू अरेंजमेंट्स: फेस-काउंट फॉर्मूला फॉर स्पेस पार्टीशन बाय हाइपरप्लेन्स", अमेरिकी गणितीय सोसायटी के संस्मरण, Providence, R.I.: American Mathematical Society, 1 (154), doi:10.1090/memo/0154, MR 0357135.